Showing 1–6 of 6 results for author: Stadnyk, G

Equivalences and Distinctions in Lexicographic Shellability of Posets

Authors: Stephen Lacina, Grace Stadnyk

Abstract: We present two perhaps surprisingly small posets, one graded and one non-graded, that are CC-shellable in the sense of Kozlov and TCL-shellable in the sense of Hersh, but not CL-shellable in the sense of Björner and Wachs. In the spirit of Björner and Wachs' recursive atom orderings (RAO) and Hersh and Stadnyk's generalized recursive atom orderings (GRAO), we also introduce a notion called recursi… ▽ More We present two perhaps surprisingly small posets, one graded and one non-graded, that are CC-shellable in the sense of Kozlov and TCL-shellable in the sense of Hersh, but not CL-shellable in the sense of Björner and Wachs. In the spirit of Björner and Wachs' recursive atom orderings (RAO) and Hersh and Stadnyk's generalized recursive atom orderings (GRAO), we also introduce a notion called recursive first atom sets (RFAS). An RFAS is a set of conditions on the atoms of each interval in a finite bounded poset $P$ that are necessary for CC-shellability of $P$ and sufficient for shellability of $P$. We also prove that under an extra condition, $P$ is CC-shellable if and only if it admits an RFAS, in the same way that RAOs provide a reformulation of CL-shellability. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Comments: 26 pages, 9 figures

MSC Class: 05; 06A07

Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model

Authors: Lora Bailey, Heather Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Inne Singgih, Grace Stadnyk, Alexander Wiedemann

Abstract: Genome rearrangement is a common model for molecular evolution. In this paper, we consider the Pairwise Rearrangement problem, which takes as input two genomes and asks for the number of minimum-length sequences of permissible operations transforming the first genome into the second. In the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010), Pairwise Rearrangement is… ▽ More Genome rearrangement is a common model for molecular evolution. In this paper, we consider the Pairwise Rearrangement problem, which takes as input two genomes and asks for the number of minimum-length sequences of permissible operations transforming the first genome into the second. In the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010), Pairwise Rearrangement is $\#\textsf{P}$-complete (Bailey, et. al., COCOON 2023), which implies that exact sampling is intractable. In order to cope with this intractability, we investigate the parameterized complexity of this problem. We exhibit a fixed-parameter tractable algorithm with respect to the number of components in the adjacency graph that are not cycles of length $2$ or paths of length $1$. As a consequence, we obtain that Pairwise Rearrangement in the Single Cut-and-Join model is fixed-parameter tractable by distance. Our results suggest that the number of nontrivial components in the adjacency graph serves as the key obstacle for efficient sampling. △ Less

Submitted 28 May, 2025; v1 submitted 2 February, 2024; originally announced February 2024.

Comments: Full version of paper that appeared in SWAT 2024; arXiv admin note: text overlap with arXiv:2305.01851

MSC Class: 92-08; 92D10; 92D20; 68Q17 ACM Class: F.2.2

Complexity and Enumeration in Models of Genome Rearrangement

Authors: Lora Bailey, Heather Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander Wiedemann

Abstract: In this paper, we examine the computational complexity of enumeration in certain genome rearrangement models. We first show that the Pairwise Rearrangement problem in the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010) is $\#\textsf{P}$-complete under polynomial-time Turing reductions. Next, we show that in the Single Cut or Join model (Feijao & Meidanis, IEEE ACM Tr… ▽ More In this paper, we examine the computational complexity of enumeration in certain genome rearrangement models. We first show that the Pairwise Rearrangement problem in the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010) is $\#\textsf{P}$-complete under polynomial-time Turing reductions. Next, we show that in the Single Cut or Join model (Feijao & Meidanis, IEEE ACM Trans. Comp. Biol. Bioinf. 2011), the problem of enumerating all medians ($\#$Median) is logspace-computable ($\textsf{FL}$), improving upon the previous polynomial-time ($\textsf{FP}$) bound of Miklós & Smith (RECOMB 2015). △ Less

Submitted 8 September, 2024; v1 submitted 2 May, 2023; originally announced May 2023.

Comments: Full version of paper that appeared in COCOON 2023: https://doi.org/10.1007/978-3-031-49190-0_1

MSC Class: 92-08; 92D10; 92D20; 68Q17 ACM Class: F.2.2

Journal ref: Theoretical Computer Science (2024)

Generalized recursive atom ordering and equivalence to CL-shellability

Authors: Patricia Hersh, Grace Stadnyk

Abstract: Björner and Wachs introduced CL-shellability as a technique for studying the topological structure of order complexes of partially ordered sets (posets). They also introduced the notion of recursive atom ordering, and they proved that a finite bounded poset is CL-shellable if and only if it admits a recursive atom ordering. In this paper, a generalization of the notion of recursive atom ordering… ▽ More Björner and Wachs introduced CL-shellability as a technique for studying the topological structure of order complexes of partially ordered sets (posets). They also introduced the notion of recursive atom ordering, and they proved that a finite bounded poset is CL-shellable if and only if it admits a recursive atom ordering. In this paper, a generalization of the notion of recursive atom ordering is introduced. A finite bounded poset is proven to admit such a generalized recursive atom ordering if and only if it admits a traditional recursive atom ordering. This is also proven equivalent to admitting a CC-shelling (a type of shelling introduced by Kozlov) with a further property called self-consistency. Thus, CL-shellability is proven equivalent to self-consistent CC-shellability. As an application, the uncrossing posets, namely the face posets for stratified spaces of planar electrical networks, are proven to be dual CL-shellable. △ Less

Submitted 21 August, 2024; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: Significant revisions, version accepted to Combinatorial Theory

MSC Class: 05E45; 06A07

Journal ref: Combinatorial Theory 4 (1) (2024), 44 pages

The Edge-Product Space of Phylogenetic Trees is Not Shellable

Authors: Grace Stadnyk

Abstract: The edge-product space of phylogenetic trees is a regular CW complex whose maximal closed cells correspond to trivalent trees with leaves labeled by a finite set $X$. The face poset of this cell decomposition is isomorphic to the Tuffley poset, a poset of labeled forests, with a unique minimum adjoined. We show that the edge-product space of phylogenetic trees is gallery-connected. We then use c… ▽ More The edge-product space of phylogenetic trees is a regular CW complex whose maximal closed cells correspond to trivalent trees with leaves labeled by a finite set $X$. The face poset of this cell decomposition is isomorphic to the Tuffley poset, a poset of labeled forests, with a unique minimum adjoined. We show that the edge-product space of phylogenetic trees is gallery-connected. We then use combinatorial properties of the Tuffley poset and a related graph known as NNI-tree space to show that, although open intervals of the Tuffley poset were proven to be shellable by Gill, Linusson, Moulton, and Steel, the edge-product space is not shellable. △ Less

Submitted 19 March, 2022; v1 submitted 17 December, 2021; originally announced December 2021.

Modified Hanoi Towers Groups and Limit Spaces

Authors: Shotaro Makisumi, Grace Stadnyk, Benjamin Steinhurst

Abstract: We introduce the $k$-peg Hanoi automorphisms and Hanoi self-similar groups, a generalization of the Hanoi Towers groups, and give conditions for them to be contractive. We analyze the limit spaces of a particular family of contracting Hanoi groups, $H_c^{(k)}$, and show that these are the unique maximal contracting Hanoi groups under a suitable symmetry condition. Finally, we provide partial res… ▽ More We introduce the $k$-peg Hanoi automorphisms and Hanoi self-similar groups, a generalization of the Hanoi Towers groups, and give conditions for them to be contractive. We analyze the limit spaces of a particular family of contracting Hanoi groups, $H_c^{(k)}$, and show that these are the unique maximal contracting Hanoi groups under a suitable symmetry condition. Finally, we provide partial results on the contraction of Hanoi groups with weaker symmetry. △ Less

Submitted 18 September, 2009; originally announced September 2009.

Comments: 28 Pages, 6 Figures

MSC Class: 20E08

Journal ref: Internat. J. Algebra Comput. 21 (2011), no. 6, 867-887