-
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.
-
Maximal chain descent orders
Authors:
Stephen Lacina
Abstract:
This paper introduces a partial order on the maximal chains of any finite bounded poset $P$ which has a CL-labeling $λ$. We call this the maximal chain descent order induced by $λ$, denoted $P_λ(2)$. As a first example, letting $P$ be the Boolean lattice and $λ$ its standard EL-labeling gives $P_λ(2)$ isomorphic to the weak order of type A. We discuss in depth other seemingly well-structured examp…
▽ More
This paper introduces a partial order on the maximal chains of any finite bounded poset $P$ which has a CL-labeling $λ$. We call this the maximal chain descent order induced by $λ$, denoted $P_λ(2)$. As a first example, letting $P$ be the Boolean lattice and $λ$ its standard EL-labeling gives $P_λ(2)$ isomorphic to the weak order of type A. We discuss in depth other seemingly well-structured examples: the max-min EL-labeling of the partition lattice gives maximal chain descent order isomorphic to a partial order on certain labeled trees, and particular cases of the linear extension EL-labelings of finite distributive lattices produce maximal chain descent orders isomorphic to partial orders on standard Young tableaux. We observe that the order relations which one might expect to be the cover relations, those given by the "polygon moves" whose transitive closure defines the maximal chain descent order, are not always cover relations. Several examples illustrate this fact. Nonetheless, we characterize the EL-labelings for which every polygon move gives a cover relation, and we prove many well known EL-labelings do have the expected cover relations. One motivation for $P_λ(2)$ is that its linear extensions give all of the shellings of the order complex of $P$ whose restriction maps are defined by the descents with respect to $λ$. This yields strictly more shellings of $P$ than the lexicographic ones induced by $λ$. Thus, the maximal chain descent order $P_λ(2)$ might be thought of as encoding the structure of the set of shellings induced by $λ$.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Tiling of rectangles with squares via Diophantine approximation
Authors:
Tamás Keleti,
Stephen Lacina,
Changshuo Liu,
Mengzhen Liu,
José Ramón Tuirán Rangel
Abstract:
This article shines new light on the classical problem of tiling rectangles with squares efficiently with a novel method. With a twist on the traditional approach of resistor networks, we provide new and improved results on the matter using the theory of Diophantine Approximation, hence overcoming long-established difficulties, such as generalizations to higher-dimensional analogues. The universal…
▽ More
This article shines new light on the classical problem of tiling rectangles with squares efficiently with a novel method. With a twist on the traditional approach of resistor networks, we provide new and improved results on the matter using the theory of Diophantine Approximation, hence overcoming long-established difficulties, such as generalizations to higher-dimensional analogues. The universality of the method is demonstrated through its applications to different tiling problems. These include tiling rectangles with other rectangles, with their respective higher-dimensional counterparts, as well as tiling equilateral triangles, parallelograms, and trapezoids with equilateral triangles.
△ Less
Submitted 30 October, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Poset topology of $s$-weak order via SB-labelings
Authors:
Stephen Lacina
Abstract:
Ceballos and Pons generalized weak order on permutations to a partial order on certain labeled trees, thereby introducing a new class of lattices called $s$-weak order. They also generalized the Tamari lattice by defining a particular sublattice of $s$-weak order called the $s$-Tamari lattice. We prove that the homotopy type of each open interval in $s$-weak order and in the $s$-Tamari lattice is…
▽ More
Ceballos and Pons generalized weak order on permutations to a partial order on certain labeled trees, thereby introducing a new class of lattices called $s$-weak order. They also generalized the Tamari lattice by defining a particular sublattice of $s$-weak order called the $s$-Tamari lattice. We prove that the homotopy type of each open interval in $s$-weak order and in the $s$-Tamari lattice is either a ball or sphere. We do this by giving $s$-weak order and the $s$-Tamari lattice a type of edge labeling known as an SB-labeling. We characterize which intervals are homotopy equivalent to spheres and which are homotopy equivalent to balls; we also determine the dimension of the spheres for the intervals yielding spheres.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Frog model wakeup time on the complete graph
Authors:
Nikki Cartern,
Brittany Dygert,
Matthew Junge,
Stephen Lacina,
Collin Litterell,
Austin Stromme,
Andrew You
Abstract:
The frog model is a system of random walks where active particles set sleeping particles in motion. On the complete graph with n vertices it is equivalent to a well-understood rumor spreading model. We given an alternate and elementary proof that the wake-up time, i.e. the expected time for every particle to be activated, is Theta(log n). Additionally, we give an explicit distributional equation f…
▽ More
The frog model is a system of random walks where active particles set sleeping particles in motion. On the complete graph with n vertices it is equivalent to a well-understood rumor spreading model. We given an alternate and elementary proof that the wake-up time, i.e. the expected time for every particle to be activated, is Theta(log n). Additionally, we give an explicit distributional equation for the wakeup time as a weighted sum of geometric random variables. This project was part of the University of Washington Research Experience for Undergraduates program.
△ Less
Submitted 20 October, 2015;
originally announced October 2015.
