arXiv++ Combinatorics

Birkhoff's representation theorem identifies a finite distributive lattice with the lattice of order ideals of its poset of join-irreducible elements This can be extended to identifying a finitary distributive lattice with the lattice of finite order ideals of its poset of join-irreducible elements. Each of these representations can be extended into a duality, where the representation and reconstruction are inverse constructions between the isomorphism classes of the selected class of distributive lattices and the isomorphism classes of of the selected class of posets. Many lattices arising in combinatorics are locally finite but not finitary (where ``locally-finite'' means all intervals contain a finite number of elements). The main result of this paper is an analogous representation duality for locally-finite distributive lattices: A locally-finite distributive lattice is dual to a \emph{pair}, consisting of a poset (the poset of prime filters of the lattice) and a distinguished subset of the order ideals of the poset. The distinguished subset is (1) a sublattice that is a maximal collection of order ideals whose mutual symmetric differences are finite, and (2) for every element of the poset, the subset contains ideals that both include and exclude the element. An alternative duality is given where, in the pairs, the subset of order ideals is replaced by a single order ideal, and where isomorphism on the class of pairs is correspondingly made broader. We further show that when the Hasse diagram of the lattice of order ideals of a poset is regarded as a graph, any dual lattice is exactly one connected component of the graph.

We prove the alternating Cauchy identity for staircase matrices conjectured in arXiv:2411.03117, together with an explicit description of the coefficients occurring in it. As a byproduct, our approach also yields a new, independent (more combinatorial) proof of the Cauchy identities for staircase matrices established in arXiv:2411.03117. The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part centers on representation theory. We propose a generalization of the classical Howe duality for staircase matrices in terms of the distributive lattice of Demazure submodules within a given integrable representation. Computing the associated character yields all desired Cauchy identities for staircase matrices.

Using the equivalence of sphere order representations of posets with Minkowski space embeddings, we show that the Boolean lattice $\mathcal{B}_6$ is not a sphere order. This is the first explicit finite example of a poset that is not a sphere order.

For a positive integer $n$, let $S(n)=\{σ(d): d\mid n\}$ be ordered by divisibility, and let $a(n)$ be its width. We study how much of the divisor lattice of $n$ survives under the map $d\mapsto σ(d)$. For every fixed prime-exponent pattern, the largest possible value of $a(n)$ is the width of a corresponding product of divisibility posets, and this maximum is attained infinitely often. In the squarefree case with $ω(n)=r$, every width from $1$ to $\binom{r}{\lfloor r/2\rfloor}$ occurs, again infinitely often. For repeated exponent patterns, Engel's limit theory reduces the asymptotic width problem to optimal representation variance. We show that for the divisibility poset $D_m=(\{1,\ldots,m\},\mid)$, the prime directions $2$ and $3$ already determine the exact variance. The structural reason is the critical dilation $4$, lying strictly between $3$ and the next prime $5$. This yields an exact finite formula, the limit $V(D_m)\to 1.0367934201598\ldots$, and asymptotics for repeated exponent patterns. The complementary minimum-width problem remains largely open.

We investigate the structural, combinatorial, ideal-theoretic and Krohn-Rhodes complexity of the Margolis-Rhodes monoid, MR(G), of a finite simple graph G, viewed topologically as a 1-dimensional simplicial complex. Alongside the full monoid, we examine some subsemigroups including St(G), defined by the condition that the full inverse image is an edge or the empty set and Inj(G), the monoid of all partial 1-1 continuous functions. We provide explicit combinatorial enumerations and struture for paths and cycles. We compute Green's relations showing in particular that the partial order of regular J-classes is isomorphic to the poset of induced subgraphs of G. Finally, we apply these structural invariants to Krohn-Rhodes complexity theory. It is known that the Margolis-Rhodes monoid has complexity at most 2 and 1 for St(G) and Inj(G). We show that for cycles the complexity of its Margolis-Rhodes monoid is 2 if and only if the cycle is of length at least 4. For paths, we prove that the complexity of its Margolis-Rhodes monoid is 2 if the path length is at least 13.

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 generalized ladder moves and then simplified in terms of swaps on a partition shape. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations, so we refer to the poset as the Rubey lattice henceforth. In addition, we give an explicit criterion to determine if two elements of the Rubey lattice are comparable using an injective map from reduced pipe dreams to tableaux on the diagram of a permutation. The pipe dream tableaux construction also gives an exact formula for the maximum length of any chain in the Rubey lattice and bounds on the number of reduced pipe dreams for $w$, or equivalently the sum of the coefficients in the corresponding Schubert polynomial. Several open problems for further development of the Rubey lattice related to Markov processes, Schubert polynomials, and Grothendieck polynomials are given.

In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called \emph{crown poset}, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their $f$-polynomials, and show that the sequence of coefficients of each $f$-polynomial is log-concave and asymptotically normal. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen--Zhuang (2025). We use these formulas to simplify a computation by Ferroni--Morales--Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the $h^*$-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons--Sullivant (2023).

For a graph G, the Boolean quadric polytope P(G) is the convex hull of the binary solutions of $y_{ij}=x_ix_j$ for $ij\in E(G)$, and Q(G) is its standard linear relaxation. For series-parallel graphs, Q(G) together with the odd-cycle inequalities describes P(G). Lee and Skipper showed vol(Q(G)) is polynomial-time computable for bounded treewidth and gave a closed formula for vol(P(G)) when G is a cycle. We resolve their question of giving an efficient algorithm for vol(P(G)) on series-parallel graphs. With $d=|V(G)|+|E(G)|$, we compute it with $O(d^7)$ arithmetic operations, and $O(d^5)$ if G is a cactus. The algorithm is a dynamic program over the series-parallel decomposition. The same framework computes vol(Q(G)) (hence the number of linear extensions of the incidence poset of G) with $O(d^4)$ operations, and $O(d^3)$ for cacti. With every $x_v$ fixed at 1/2, the recursion reduces to convolutions of univariate polynomials and computes the cut polytope volume of every series-parallel graph with m edges in $O(m^3)$ operations. We also study how much of Q(G) the polytope P(G) occupies. Short odd cycles matter more than long ones: in every graph, the odd-cycle inequalities of a cycle of length $\ell$ cut off at most a fraction $2^{\ell-1}/\ell!$ of Q(G). Hence vol(P(G))/vol(Q(G)) $\ge 1-\sum_C 2^{|C|-1}/|C|!$ for series-parallel G, with C ranging over its cycles. The ratio does not factor over cycles sharing a vertex: in a flower of $k$ copies of $C_\ell$ it decays like $ρ_\ell^k$ for an explicit rational $ρ_\ell$ below the ratio of $C_\ell$. Nevertheless, the small fractions cut off by many long cycles compound: in the worst case, triangle inequalities, or odd-cycle inequalities up to any fixed length, close no fixed fraction of the gap between Q(G) and P(G), and the volume ratio can be exponentially small in d.

Let $X$ be a nodal curve, and $G$ be the graph dual to $X$. A stability condition on a graph $G$ is an assignment of integers to the biconnected subsets of vertices of $G$ satisfying some desired properties. Stability conditions yield degeneracy sets, which are certain collections of biconnected subsets of $G$, but degeneracy sets can also be described without a reference stability condition. We show that the degeneracy sets of a graph $G$ correspond to the single-element extensions of the graphic matroid $M(G)$. Some single-element extensions of the graphic matroid $M(G)$ can be oriented to be single-element extensions of the oriented graphic matroid $\mathcal{M}(G)$. Single-element extensions of oriented matroids are in bijection with subdivisions of the Lawrence polytope of the dual oriented matroid. We construct stability conditions on $G$ from subdivisions of the Lawrence polytope of the cographic matroid $\mathcal{M}^\ast(G)$. Finally, we show that any degeneracy set $\mathcal{D}$ of a graph $G$ that has the set of all biconnected subsets of $G$ as a lower bound in the poset of degeneracy sets corresponds to an orientable extension of $M(G)$.

Børve, Horiatakis, and Kalck defined the magnitude of the module category of a representation-finite algebra as the sum of the entries of the inverse of the matrix of Hom dimensions between indecomposable modules. They showed it is an Euler characteristic, the alternating count of vertices, arrows, and meshes of the Auslander--Reiten quiver, and conjectured that it is at least the number of simple modules, with equality precisely for special biserial algebras. We prove this conjecture over an algebraically closed field. For a representation-directed algebra, we relate the magnitudes of the module category, the subcategory of modules without a given simple composition factor, and the ideal quotient by it. By the theory of hammocks of Ringel and Vossieck, this quotient is equivalent to a category of representations of a finite poset, whose magnitude we compute. The general case reduces to the representation-directed case through algebras obtained by grading a standard form.

Beke, Csáji, Csikvári, and Pituk showed that the Merino--Welsh quotient $Φ(M)=T_M(1,1)^2/(T_M(2,0)T_M(0,2))$ can be arbitrarily large, so the multiplicative Merino-Welsh inequality fails for matroids in general. We show that $Φ$ is uniformly bounded on the class of matroids whose cyclic-flat lattice avoids any fixed finite poset $P$ as an induced subposet. We further prove $Φ(M)\leq1$ for matroids of cyclic width at most $7$, cyclic height at most $6$, and for loop- and coloop-free $4$-paving or $4$-copaving matroids.

The interval $[1,c]_T$ between the identity element and a Coxeter element $c$ in the absolute order on a Coxeter group $W$ is a generalization of the poset of noncrossing partitions arising when $W$ is the symmetric group. When $W$ is finite, this poset is always a lattice, and it is natural to associate to every element $w\in [1,c]_T$ its \textit{moved space} $\mathsf{Mov}(w)=\mathrm{Im}(w - \mathrm{Id}_V)$ in the geometric representation $V$ of $W$. It has dimension equal to the reflection length $\ell_T(w)$ of $w$, and gives a realization of $[1,c]_T$ inside the lattice of subspaces of $V$. It is an important tool in the study of $[1,c]_T$. When $W$ is infinite, the moved space of an element $w\in [1,c]_T$ no longer has dimension $\ell_T(w)$ in general, and distinct elements may have the same moved space. We propose a replacement for the moved space of an element $w\in [1,c]_T$ in an arbitrary Coxeter group, that we call \textit{absolute moved space} of $w$. This subspace $\mathsf{AM}(w)$ of $V$ always contains $\mathsf{Mov}(w)$ and has dimension equal to $\ell_T(w)$, and distinct elements have distinct absolute moved spaces. This allows us to derive several properties of noncrossing partition posets that hold in full generality, and to show that the natural map from $[1,c]_T$ to reflection subgroups of $W$, which to $w\in [1,c]_T$ associates the subgroup $P(w)$ generated by reflections lying below $w$ in the absolute order, is always injective. Among others, we also derive a new proof of the lattice property of $[1,c]_T$ when $W$ has rank three, and exhibit infinitely many new examples of infinite Coxeter groups of rank four and choices of Coxeter elements for which $[1,c]_T$ fails to be a lattice.

The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in \cite{ACGK} that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar dual $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart quasi-polynomial. To extend this framework, we introduce combinatorial mutation for rational pointed polyhedra in $N_\mathbb{R}$ containing the origin in their interiors. Such polyhedra are Minkowski sums of rational polytopes and rational polyhedral pointed cones. On the dual side $M_\mathbb{R}$, the construction applies to full-dimensional rational polytopes containing the origin, not necessarily in their interiors. As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of combinatorial mutations in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.

Motivated by the structure of various standard statistical arrays, Bailey, Praeger, Rowley and Speed (1983) described the automorphism groups of poset block structures as generalized wreath products. We observe that these are exactly the groups used to define DAG exchangeability in Jung, Lee, Staton and Yang (2021), and we restate the representation theorem of the latter work in this language. As a concrete example, we write out the resulting representation for block matrices whose block rows and block columns are separately exchangeable, and whose rows and columns may also be permuted independently inside each block.

We introduce a transformation on partially ordered sets, termed the \emph{stellahedral transform}, with notable features. It preserves the properties of being Eulerian, Cohen--Macaulay, and of being the face poset of a polytope. Furthermore, it admits an explicit geometric realization for convex polytopes and specializes to the construction that takes a simplex to the stellahedron. One motivation for this definition comes from the theory of toric $h$-polynomials and (augmented) Chow polynomials of Eulerian posets. We show that the right augmented Chow polynomial of an Eulerian poset $P$ agrees with the toric $h$-polynomial of the stellahedral transform of $P$. We use this perspective, together with $\mathbf{cd}$-index results due to Ehrenborg (2005) and Karu (2006), to prove two positivity results for augmented Chow polynomials: for Gorenstein* posets they are unimodal, and for face posets of polytopes they are $γ$-positive. Along the way we provide negative answers to two open questions concerning Eulerian and Gorenstein* posets. First, the question on the nonnegativity of Eulerian Chow polynomials, posed by Ferroni, Matherne, and Vecchi (2024). Second, the question posed by Athanasiadis and Kalampogia-Evangelinou (2023) on the real-rootedness of chain and Chow polynomials of Gorenstein* posets: these examples provide a novel application of a technique introduced by Murai and Nevo (2014).

We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement. We further exhibit a family of abelian arrangements whose integer cohomology has torsion.

Let ${S}_n(321)$ and ${S}_n(\underline{321})$ denote the sets of $n$-permutations avoiding the classical pattern $321$ and the consecutive pattern $\underline{321}$, respectively. Permutations are in bijection with Lehmer codes, a type of inversion sequence. Using Lehmer codes, we create the corresponding weighted posets ${L}_n(321)$ and ${L}_n(\underline{321})$, where the weight of a code is the inversion number of its permutation. We show that there are $2^{n-2}$ maximal elements of ${L}_n(321)$, while the maximal elements of ${L}_n(\underline{321})$ are enumerated by the Padovan numbers. We also show that when $n$ is even, each of these posets has a unique maximum weight element, and that when $n$ is odd, there are two maximum weight elements. These maximum weight Lehmer codes correspond to the pattern avoiding permutations with maximum inversion number.

Hyun, Kim, Wu and Yue constructed optimal and minimal binary linear codes from order ideals of hierarchical posets with two levels. Two different generalizations of the underlying antichain (simplicial complex) setting to odd characteristic are known: down-sets of $\mathbb{F}_p^n$ under the componentwise order, and support-closed subsets of $\mathbb{F}_q^m$. No generalization of the poset setting itself has appeared. We introduce generalized order ideals of a poset of order $p-1$, obtained by attaching multiplicities in ${0,\dots,p-1}$ to the elements of a poset, and study the two natural notions of order ideal that arise for hierarchical posets with two levels. Whenever the ideal meets the upper level, the resulting defining sets are neither down-sets nor support-closed. We determine the weight distributions of the associated complement codes, exhibit a family of Griesmer codes in which the upper element carries an arbitrary multiplicity, and, via the characteristic function of a generalized order ideal, obtain an infinite family of minimal $p$-ary codes of length $p^n-1$ and dimension $n+1$ violating the Ashikhmin--Barg condition.

A well known result due to Lakshmibai and Sandhya states that smooth Schubert varieties of type A correspond to permutations that avoid the patterns 3412 and 4231. It was later shown by the second author and Slofstra that staircase diagrams over a simply-laced Dynkin diagram are in bijection with smooth Schubert varieties of the corresponding type. We explore how the poset structure of staircase diagrams is connected with pattern avoidance on smooth permutations. As an application, we enumerate several subclasses of smooth permutations which are characterized by pattern avoidance. These subclasses include the class of polished permutations which were studied by Gaetz and Gao.

We prove that if a finite poset $Q$ satisfies the Gold Partition Conjecture, and $P$ is a finite poset, then for any $i\in P$ the lexicographic sum $P\circ_iQ$ of $P$ with $Q$ on the point $i$, satisfies the Gold Partition Conjecture. Let $L(P)$ be the set of linearizations of $P$, $e(P)=\#L(P)$, $ \mathbb{P}(x<y)=\frac{\#\{f\in L(P)|x<_f y\}|}{e(P)}$, and $δ(P)=\max_{x,y\in P}\min\{\mathbb{P}(x<y),$ $\mathbb{P}(y<x)\}$. We describe the behavior of those numbers when $P$ is a lexicographic sum. Namely, $\prod_{i=1}^n e(Q_i)\,$ divides $\,e(P( Q_1,\dots,Q_{|P|}))$, and $δ(P(Q_1,\dots,Q_n))\geq \max_{1\leq i\leq n}\{ δ(Q_i)\}$.