poset ↗ reference
2214 papers tagged with this keyword
K-promotion on m-packed labelings of posets
Schutzenberger's promotion operator, pro, is a fundamental map in dynamical algebraic combinatorics. At first, its action was mainly considered on standard Young tableaux. But pro was subsequently shown to have interesting properties when applied to natural labelings of other posets. Pechenik defined a K-theoretic version of promotion, pro_K, on m-packed labelings of tableaux. The operator pro was then extended to increasing labelings of other posets. The purpose of the current work is to show that the original action of pro_K on m-packed labelings yields interesting results when applied to partially ordered sets in general, and to rooted trees in particular. We show that under certain conditions, the sizes of the orbits and order of pro_K exhibit nice divisibility properties. We also completely determine, for certain values of m, the orbit sizes for the action on various types of rooted trees such as extended stars, combs, zippers, and a type of three-leaved tree.
Unimodality and Cluster Algebras from Surfaces
We prove that the rank polynomial of the lattice of order ideals of a loop fence poset is unimodal. This poset arises as the poset of join-irreducibles in the lattice of good matchings of loop graphs associated with notched arcs. Equivalently, such polynomials can be obtained by evaluating all coefficient variables in an F-polynomial at a single variable q. We also conclude that the rank polynomial of any tagged arc, whether plain or notched, is not only unimodal but also satisfies a symmetry condition known as almost interlacing. Furthermore, when the lamination consists of a single curve, the cluster expansion-evaluated by setting all cluster variables to 1 and all coefficient variables to q-is also unimodal. We conjecture that polynomials in this case are log-concave.
Ornamentation lattices and intreeval hypergraphic lattices
Given a directed graph $D$ with transitive closure $\operatorname{tc}(D)$ and path hypergraph $\mathbb{P}(D)$, we study the connections between the (acyclic) reorientation poset of $\operatorname{tc}(D)$, the (acyclic) sourcing poset of $\mathbb{P}(D)$, and the (acyclic) ornamentation poset of $D$. Geometrically, the acyclic reorientation poset of $\operatorname{tc}(D)$ (resp. the acyclic sourcing poset of $\mathbb{P}(D)$) is the transitive closure of the skeleton of the graphical zonotope of $\operatorname{tc}(D)$ (resp. of the hypergraphic polytope of $\mathbb{P}(D)$) oriented in a linear direction. When $D$ is a rooted (or even unstarred) increasing tree, we show that the acyclic sourcing poset of $\mathbb{P}(D)$ is isomorphic to the ornamentation lattice of $D$, and that they form a lattice quotient of the acyclic reorientation lattice of $\operatorname{tc}(D)$. As a consequence, we obtain polytopal realizations of the ornamentation lattices of rooted (or even unstarred) increasing trees, answering an open question of C. Defant and A. Sack. When $D$ is an increasing tree, we show that the ornamentation lattice of $D$ is the MacNeille completion of the acyclic sourcing poset of $\mathbb{P}(D)$. Finally, still when $D$ is an increasing tree, we use the ornamentation lattice of $D$ to characterize the subhypergraphs of the path hypergraph $\mathbb{P}(D)$ whose acyclic sourcing poset is a lattice.
Coh zeta functions for inert quadratic orders
We study the Coh zeta function for a family of inert quadratic orders, which we conjecture to be given by $t$-deformed Bressoud $q$-series. This completes a trilogy connecting the zeta functions of ramified and split quadratic orders to the classical Andrews--Gordon and Bressoud identities, respectively. We provide strong evidence for this conjecture by deriving the first explicit formulas for the finitized Coh zeta function of the simplest order in the family, and for the $t=1$ specialization of the finitized Coh zeta functions for all orders in the family. Our primary tool is a new method based on Möbius inversion on posets.
A Proof of Rubey's Lattice Conjecture
In 2011, Rubey generalized chute and ladder moves on the set of reduced pipe dreams for a permutation $w$ and conjectured that the induced poset on reduced pipe dreams is a lattice. In this paper, we prove this conjecture. Our key tool is a new type of move operation $\mathcal{M}_{ij}$, defined as a composite of certain general ladder moves in Rubey's poset. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations. In addition, we give an explicit criterion to determine if two elements of Rubey's poset are comparable.
Rowmotion and Echelonmotion
Given a linear extension $σ$ of a finite poset $R$, we consider the permutation matrix indexing the Schubert cell containing the Cartan matrix of $R$ with respect to $σ$. This yields a bijection $\mathrm{Ech}_σ\colon R\to R$ that we call echelonmotion; it is the inverse of the Coxeter permutation studied by Klász, Marczinzik, and Thomas. Those authors proved that echelonmotion agrees with rowmotion when $R$ is a distributive lattice. We generalize this result to semidistributive lattices. In addition, we prove that every trim lattice has a linear extension with respect to which echelonmotion agrees with rowmotion. We also show that echelonmotion on an Eulerian poset (with respect to any linear extension) is an involution. Finally, we initiate the study of echelon-independent posets, which are posets for which echelonmotion is independent of the chosen linear extension. We prove that a lattice is echelon-independent if and only if it is semidistributive. Moreover, we show that echelon-independent connected posets are bounded and have semidistributive MacNeille completions.
Combinatorial generation via permutation languages. VII. Supersolvable hyperplane arrangements
For an arrangement $\mathcal{H}$ of hyperplanes in $\mathbb{R}^n$ through the origin, a region is a connected subset of $\mathbb{R}^n\setminus\mathcal{H}$. The graph of regions $G(\mathcal{H})$ has a vertex for every region, and an edge between any two vertices whose corresponding regions are separated by a single hyperplane from $\mathcal{H}$. We aim to compute a Hamiltonian path or cycle in the graph $G(\mathcal{H})$, i.e., a path or cycle that visits every vertex (=region) exactly once. Our first main result is that if $\mathcal{H}$ is a supersolvable arrangement, then the graph of regions $G(\mathcal{H})$ has a Hamiltonian cycle. More generally, we consider quotients of lattice congruences of the poset of regions $P(\mathcal{H},R_0)$, obtained by orienting the graph $G(\mathcal{H})$ away from a particular base region $R_0$. Our second main result is that if $\mathcal{H}$ is supersolvable and $R_0$ is a canonical base region, then for any lattice congruence $\equiv$ on $P(\mathcal{H},R_0)=:L$, the cover graph of the quotient lattice $L/\equiv$ has a Hamiltonian path. [...]
Chute Move Posets are Lattices
For each permutation $w$, we consider the set $\mathrm{PD}(w)$ of reduced pipe dreams for $w$, partially ordered so that cover relations correspond to (generalized) chute moves. Settling a conjecture of Rubey from 2012, we prove that $\mathrm{PD}(w)$ is a lattice. To establish this result, we provide a global description of the partial order on $\mathrm{PD}(w)$ by showing that $\mathrm{PD}(w)$ is isomorphic to a poset consisting of objects called Lehmer tableaux. In addition, we prove that $\mathrm{PD}(w)$ is a semidistributive polygonal lattice whose polygons are all diamonds or pentagons.
Every Poset has a Large Cut
We prove that every finite poset has a directed cut with at least one half of the poset's pairwise order relations. The bound is tight. Also, the largest directed cut in a poset can be found in linear time.
Framing Triangulations and Framing Posets of Planar DAGs with Nontrivial Netflow Vectors
The space of unit flows on a directed acyclic graph (DAG) with one source and one sink is known to admit regular unimodular triangulations induced by framings of the DAG. The dual graph of any of these triangulations may be given the structure of the Hasse diagram of a lattice, generalizing many variations of the Tamari lattice and the weak order. We extend this theory to flow polytopes of DAGs which may have multiple sources, multiple sinks, and nontrivial netflow vectors under certain planarity conditions. We construct a unimodular triangulation of such a flow polytope indexed by combinatorial data and give a poset structure on its maximal simplices generalizing the strongly planar one-source-one-sink case.
The Induced Saturation Number for $\mathcal{V}_3$ is Linear
Given a poset $\mathcal{P}$, a family $\mathcal{F}$ of elements in the Boolean lattice is said to be $\mathcal{P}$-saturated if $\mathcal{F}$ does not contain an induced copy $\mathcal P$, but every proper superset of $\mathcal{F}$ contains one. The minimum size of a $\mathcal P$-saturated family in the $n$-dimensional Boolean lattice is denoted by $sat^*(n,\mathcal{P})$.\par In this paper, we consider the poset $\mathcal V_3$ (the four element poset with one minimal element and three incomparable maximal elements) and show that $sat^*(n,\mathcal{V}_3)\geq \frac{n}{2}$. This represents the first linear lower bound for $sat^*(n,\mathcal{V}_3)$, improving upon the previously best-known bound of $2\sqrt{n}$. Our result establishes that $sat^*(n,\mathcal{V}_3) = Θ(n)$.
Cluster algebraic interpretation of generalized Markov numbers and their matrixizations
Markov numbers, i.e. positive integers appearing in solutions to $x^2 + y^2 + z^2 = 3xyz$, can be viewed as specializations of cluster variables. The second author and Matsushita gave a generalization of the Markov equation, $x^2 + y^2 + z^2 + k_1yz + k_2xz + k_3xy = (3+k_1+k_2+k_3)xyz$, whose solutions can be viewed as specializations of cluster variables in generalized cluster algebras. We give two families of matrices in $SL(2,\mathbb{Z}[x_1^\pm,x_2^\pm,x_3^\pm])$ associated to these cluster structures. These matrix formulas relate to previous matrices appearing in the context of Markov numbers, including Cohn matrices and generalized Cohn matrices given by the second author, Maruyama, and Sato, as well as matrices appearing in the context of cluster algebras, including matrix formulas given by Kanatarcı Oğuz and Yıldırım. We provide a classification of the two families of matrices and exhibit an explicit family of each. The latter is done by realizing cluster variables in generalized Markov cluster algebras as weight-generating functions of order ideals in certain fence posets which are related to Christoffel words. An interesting observation is that these functions resemble Caldero-Chapoton functions for string modules, and a byproduct of our proofs is a new skein-like formula for such functions.
Metrics on Permutation Families Defined by a Restriction Graph
Understanding the metric structure of permutation families is fundamental to combinatorics and has applications in social choice theory, bioinformatics, and coding theory. We study permutation families defined by restriction graphs--oriented graphs that constrain the relative order of elements in valid permutations. For any restriction graph $G$, we determine the maximum distance achievable by two permutations under the $\ell_\infty$-metric and provide an explicit algorithm that constructs optimal permutation pairs. Our main contribution characterizes when the Kendall-Tau metric achieves its combinatorial upper bound: this occurs if and only if the poset induced by $G$ has dimension at most 2. When this condition holds, the extremal permutations form a minimal realizer of the poset, revealing a deep connection between metric geometry and poset dimension theory. We apply these results to classical permutation statistics including descent sets and Hessenberg varieties, obtaining explicit formulas and efficient algorithms for computing metric diameters.
The Saturation Number for the Diamond is Linear
For a fixed poset $\mathcal P$ we say that a family $\mathcal F\subseteq\mathcal P([n])$ is $\mathcal P$-saturated if it does not contain an induced copy of $\mathcal P$, but whenever we add a new set to $\mathcal F$, we form an induced copy of $\mathcal P$. The size of the smallest such family is denoted by $\text{sat}^*(n, \mathcal P)$.\par For the diamond poset $\mathcal D_2$ (the two-dimensional Boolean lattice), while it is easy to see that the saturation number is at most $n+1$, the best known lower bound has stayed at $O(\sqrt n)$ since the introduction of the area of poset saturation. In this paper we prove that $\text{sat}^*(n, \mathcal D_2)\geq \frac{n+1}{5}$, establishing that the saturation number for the diamond is linear. The proof uses a result about certain pairs of set systems which may be of independent interest.
Dimension-Preserving Saturated Embeddings of Finite Posets into the Spectra of Noetherian UFDs
Given a finite poset $X$, we find necessary and sufficient conditions for there to exist a local Noetherian UFD $A$ and a saturated embedding of posets $φ: X \longrightarrow \mbox{Spec}(A)$ such that $\dim(X)=\dim(A)$. The conditions imposed on $X$ in our characterization are remarkably mild, demonstrating that there is a large class of finite posets that can be embedded into the spectrum of a local Noetherian UFD of the same dimension as $X$ in a way that preserves saturated chains. We also show that given any finite poset $Y$, there exists a semi-local quasi-excellent ring $S$ and a saturated embedding $ψ: Y \longrightarrow \mbox{Spec}(S)$ such that if $z$ is a minimal element of $Y$, then $ψ(z)$ is a minimal prime ideal of $S$ and the coheight of $ψ(z)$ is the same as the length of the longest chain in $Y$ that starts at $z$ and ends at a maximal element of $Y$.
Fundamental and homogeneous bases of Hopf algebras built from nonsymmetric operads
We introduce new partial order structures on the underlying sets of free nonsymmetric operads. These posets involve decorated ordered rooted trees, and their terminal intervals are lattices. These lattices are not graded, not self-dual, and not semi-distributive, but they are EL-shellable, and their Mbius functions take values in $\{-1, 0, 1\}$. They admit sublattices on the families of $m$-Fuss-Catalan objects and of forests of trees. This latter order structure is used to construct two new bases for the natural Hopf algebras of free nonsymmetric operads: a fundamental basis and a homogeneous basis. Along with the already known elementary basis of these Hopf algebras, this yields a triple of bases. The situation is similar to what is observed in the Hopf algebras of Malvenuto-Reutenauer, Loday-Ronco, and noncommutative symmetric functions, each of which presents such triples of bases and basis changes involving, respectively, the right weak partial order, the Tamari partial order, and the Boolean lattice partial order.
Continuous Noncrossing Partitions and Weighted Circular Factorizations
This article examines noncrossing partitions of the unit circle in the complex plane; we call these continuous noncrossing partitions. More precisely, we focus on the degree-$d$ continuous noncrossing partitions where unit complex numbers in the same block have identical $d$-th powers. We prove that the degree-$d$ continuous noncrossing partitions form a topological poset whose uncountable set of elements can be indexed by equivalence classes of objects we call weighted linear factorizations of factors of a $d$-cycle. Moreover, the maximal elements in this poset form a subspace homeomorphic to the dual Garside classifying space for the $d$-strand braid group.
The degree-$d$ continuous noncrossing partitions of the unit circle are a special case of a more general construction. For every choice of Coxeter element $c$ in any Coxeter group $W$ we define a topological poset of equivalence classes of weighted linear factorizations of factors of $c$ in $W$ whose elements we call continuous $c$-noncrossing partitions. The maximal elements in this poset form a subspace homeomorphic to the one-vertex complex whose fundamental group is the corresponding dual Artin group.
Ordered set partition posets
The lattice of partitions of a set and its d-divisible generalization have been much studied for their combinatorial, topological, and representation-theoretic properties. An ordered set partition is a set partition where the subsets are listed in a specific order. Ordered set partitions appear in combinatorics, number theory, permutation polytopes, and the study of coinvariant algebras. The ordered set partitions of {1,\ldots,n} can be partially ordered by refinement and then a unique minimal element attached, resulting in a lattice Omega_n. This lattice has appeared while studying other combinatorial objects, but not as the central focus. The purpose of this paper is to provide the first comprehensive look at Omega_n. In particular, we show that it admits a recursive atom ordering, and study the action of the symmetric group S_n on associated homology groups, looking in particular at the multiplicity of the trivial representation. We also consider the related posets where every block has size either divisible by some fixed d at least 2 or congruent to 1 modulo d. Open problems and avenues for future research are scattered throughout.
Matrix Invariants as Homotopy Invariants in Finite $T_0$-spaces
We establish a bijection between the set of finite topological $T_0$-spaces (or partially ordered sets) and equivalence classes of square matrices. The absolute value of the determinant or the rank of these matrices serve as simple homotopy invariants for the corresponding topological spaces, and consequently, for finite simplicial complexes. To conclude, we explore further relationships and problems concerning finite posets within the context of these matrices.
Posets for Specht ideals of essential real reflection groups
Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection groups.