arXiv++ Combinatorics

For a finite poset, we partition the edges of the order polytope and of the chain polytope into classes indexed by the connected convex subsets of the poset, and we establish that corresponding classes have the same cardinality. This yields a closed formula for the common number of edges, and it identifies the bijection of Hibi, Li, Sahara and Shikama, given by them through an explicit formula, as a disjoint union of simple bijections between corresponding classes, which explains why it is a bijection and how it acts on edge directions and lengths. As consequences, the two polytopes have equally many edge directions, with matching multiplicities; the chain polytope has at least as many edges parallel to each coordinate subspace as the order polytope; and the edge lengths of the chain polytope are dominated by those of the order polytope. Strict inequality occurs in the last two comparisons exactly when the poset contains a three-element chain. We discuss implications for linear and convex combinatorial optimization over ideals and antichains. We also express the number of edges in terms of the comparability graph, in a form that extends to stable-set polytopes of arbitrary graphs, give a recursion for series-parallel posets and closed formulas for layered, zigzag and crown posets, characterize the distributive lattices for which the two polytopes are unimodularly equivalent, and demonstrate that, although the two polytopes have the same number of edges, either one can have the larger diameter, by an arbitrary amount; on the other hand, both diameters are bounded by the width of the poset, and they coincide for ordinal sums, series-parallel posets, and zigzag and crown posets.

Given a finite poset $\mathcal P$, its induced saturation number, $\text{sat}^*(n,\mathcal P)$ is the smallest size a family of subsets of $[n]$ can have such that it does not contain an induced copy of $\mathcal P$, but adding any other set to it creates one. The saturation numbers already show a sharp dichotomy -- Freschi, Piga, Sharifzadeh and Treglown showed that for any given poset its saturation number is either bounded or at least $2\sqrt n$. The dominant conjecture is that in fact, the saturation numbers are either bounded, or exactly linear. In this paper we show that this dichotomy is true for all posets on at most 4 points. Most of these posets, most notably the butterfly and the diamond, had individually long resisted analysis, and the missing piece which this paper tackles is the poset comprised of a $\mathcal V$ and an isolated point, denoted by $\widehat{\mathcal V}$, for which we show linear saturation. The architecture of the proof uncovers the structure of an arbitrary $\widehat{\mathcal V}$- saturated family, namely an antichain with at most two chains above it, and an upside-down forest below it. Moreover, we anticipate that, at least partially, this structure is relevant to the wider class of posets that contain an isolated point.

We provide in this text a new framework for a family of combinatorial Hopf algebras. We adopt for this the language of species and twisted bialgebras (also known as Hopf monoids). We define the category of combinatorial twisted bialgebras (briefly, CTBs), a class of twisted bialgebras satisfying strong combinatorial conditions of compatibilities of the product and the coproduct with the underlying combinatorial structure. The considered morphisms also have to respect the combinatorial structure, in some sense. Many classical examples fit into this framework, including Hopf algebras of graphs, rooted trees, posets, hypergraphs, symmetric functions, boolean maps, etc. Most of known combinatorial Hopf algebras can be obtained from a CTB by application of a Fock functor, or by duality. A central result is the introduction of a universal CTB denoted by $\mathbf{Exch}$, built from collections of compositions satisfying a certain exchange condition. It has a special character $ε$, such that the pair $(\mathbf{Exch},ε)$ plays a role analogous to that of quasi-symmetric functions for graded and connected Hopf algebras: it is the terminal object in the category of CTBs equipped with combinatorial characters. This leads to universal morphisms that encode important information about the combinatorial structure of coproducts. The natural order on the set of compositions on a fixed set is used to define three important sub-objects $\mathbf{Exch}\_-$, $\mathbf{Exch}\_+$ and $\mathbf{Exch}\_{+\hspace{-2mm}+}$ of $\mathbf{Exch}$. We also studies polynomial invariants associated with CTBs. It establishes a correspondence between characters and polynomial invariants. Well-known invariants such as the chromatic polynomial of graphs and the Ehrhart polynomials of posets arise naturally within this framework. We show that, for a given degree, only finitely many polynomial invariants can occur. We show that these universal polynomial invariants can be used to give cancellation-free formulas for the antipode or the Eulerian idempotent, under conditions on the CTB, and use this for an example based on rooted trees, coming from a Hopf algebra used in linguistics. Results are also obtained for families of polynomial invariants with the alternating sign condition, or satisfying a reciprocity principle. We also extend the theory to combinatorial twisted double bialgebras (briefly, CTDBs), which involve two interacting coproduct structures. These generalize previously known examples arising from graphs, posets, hypergraphs, and rooted trees. The twisted approach preserves the combinatorial richness of these structures while providing a unified algebraic framework. We show that not any CTB can be made a CTDB, leading to the introduction of the notion of quasi-cocommutativity. In particular, we show that $\mathbf{Exch}\_+$ is not a CTDB, and construct a sub-object which is, in a unique way, and maximal for the inclusion. In the cocommutative case, simplifications naturally occur, and we show that in this case, a CTB of hypergraphs plays a central role, especially two sub-objects based on connectedness systems and antichain covers. We also show that, in the cocommutative case, the universal polynomial invariants are always chromatic polynomials of hypergraphs, no matter which CTB is considered. Finally, forgetting the combinatorial underlying structure, we study the algebraic structure of $\mathrm{Exch}$, with the help of a twisted version of Loday and Ronco's rigidity theorem for infinitesimal bialgebras.

We study the average sizes of ideals and antichains in several families of posets arising from rooted unlabeled trees. For ideals, we encode order ideals by coloring vertices red, with the condition that every descendant of a red vertex is also red. Using generating functions and singularity analysis, we show that for every family governed by a quadratic root decomposition, the average number of red vertices in a tree of size $n$ is asymptotic to $n/3$. This includes binary plane trees, plane 1-2 trees, plane 2-trees, and 0-1-trees, while unrestricted rooted plane trees instead have average ideal size asymptotic to $2n/5$. For antichains, represented by pairwise incomparable blue vertices, the corresponding asymptotic constants depend on the particular branching function; for example, binary plane trees have average antichain size asymptotic to $n/6$. We also consider plane trees in which every vertex has at most $k$ children and prove that the asymptotic proportion of red vertices increases strictly with $k$, from $1/3$ when $k=2$ to the limiting value $2/5$ for unrestricted rooted plane trees. The asymptotic proportion of blue vertices also increases strictly with $k$, tending to $3/10$. The proofs are based on bivariate generating functions together with the analytic implicit-function and smooth implicit-function methods of analytic combinatorics.

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.

For ordered sets $X$ and $Y$, let $Y^X$ denote the ordered set of order-preserving maps from $X$ to $Y$, where $f\le g$ in $Y^X$ if $f(x)\le g(x)$ for all $x\in X$. Let $P$ and $Q$ be finite ordered sets such that $P^P\cong Q^Q$. It is proven that $P\cong Q$ if $P$ or $Q$ has height at most $1$ or if $P$ and $Q$ are ordered sets of the following form: replace each element of an ordered set with a three-element antichain. The latter is an elaboration of a proof of Tim Campion.

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.

Let $\mathbb{P}(x\prec y)$ be the probability that $x$ precedes $y$ in a uniformly random linear extension of an $n$-element poset $P$, and define the balancing coefficient to be $δ(x,y)=\min(\mathbb{P}(x\prec y),\mathbb{P}(y\prec x))$ with $δ(P)=\max_{x,y}δ(x,y)$. We prove (Theorem 1) that sufficiently large width forces $δ(P)$ to be arbitrarily close to $1/2$, answering a long-standing conjecture of Kahn and Saks. In fact, we prove the stronger result (Theorem 2) that large width forces one of two configurations in our poset: either a nearly uniform order on $k$ vertices, or an almost fixed order on $t$ vertices with one further vertex inserted uniformly among the $t+1$ slots. We also show that, for fixed $k$, the first possibility must occur within any antichain $X$ of size $Ω(n^{2/3})$.

Let $G$ be the incomparability graph of a natural unit interval order $P$ on $[n]$ with the associated Dyck path $\mathbf{d}$. Let $X_G(\mathbf{x},q)$ be its chromatic quasisymmetric function. Shareshian and Wachs conjectured that $X_G(\mathbf{x},q)$ is $e$-positive. At $q=1$, this is the Stanley--Stembridge conjecture, which was proved by Hikita in 2024. Using the combinatorial interpretation of the inverse Kostka matrix by Eğecioğlu and Remmel, we expand $X_G(\mathbf{x},q)$ in the elementary basis when $\mathbf{d}$ has bounce number three. In our expansion, every coefficient is an alternating sum of at most seven generating functions of $P$-tableaux in terms of the number of inversions. We then construct sign reversing injections between sets of $P$-tableaux preserving inversions. We prove that the coefficient of $e_λ$ lies in $\mathbb{N}[q]$ for every partition $λ=(λ_1,λ_2,λ_3)$ with $λ_2-λ_3\leq1$, and that $X_G(\mathbf{x},q)$ is $e$-positive whenever $P$ contains an antichain with $n-3$ elements, which extends the hook shape case of Cho and Huh.

The Delannoy numbers $d(n,k)$ count lattice paths from $(0,0)$ to $(n-k,k)$ using steps $(1,0),(0,1)$ and $(1,1)$. This paper introduces a graded poset $\mathcal{D}_n$ on the Delannoy paths ending on the line $x+y=n$, whose rank-generating function is the Delannoy polynomial $d_n(x)=\sum_{k=0}^n d(n,k)x^k$. We prove that $\\mathcal{D}_n$ is a self-dual lattice, which is call the Delannoy lattice. By establishing an explicit symmetric Boolean decomposition, we show that $\mathcal{D}_n$ is a symmetric Boolean order, thereby recovering the $γ$-positivity of $d_n(x)$. Such a decomposition is refined to a symmetric chain decomposition with the chain cover property, and is applied to determine all maximum antichains. We also investigate other combinatorial aspects of $\mathcal{D}_n$, including supersolvability, the Möbius number, characteristic polynomials, and zeta polynomials.

This paper studies the antichain polynomials of $[k]\times P$, where $P$ is a connected minuscule poset. We give a formula for the number of antichains, counted by size, of an arbitrary poset. Using this formula, we present necessary and sufficient conditions for the palindromicity of antichain polynomials for two infinite families of connected minuscule posets. We show that, for every connected minuscule poset $P$, if the antichain polynomial of $[k]\times P$ is palindromic, then it has only real and strictly negative zeros. This result, in particular, gives an affirmative answer to Ding-Dong's conjecture about $γ$-positivity of the antichain polynomial of $[k]\times P$. By constructing a bijection between antichains and labeled Dyck paths, we also give a layer-refined enumeration of the antichains in $[2]\times[m]\times[n]$. We establish a relation between such antichains and Clar covers of the hexagonal flakes $O(2,m,n)$, thus prove a conjectured determinantal formula for a family of Zhang-Zhang polynomials. Real-rootedness and stability results are also obtained when the shortest chain has length at most two. Finally, we present infinitely many connected Peck posets whose antichain polynomials are not unimodal, disproving the log-concavity conjecture of Ding and Dong.

The first author and Dong \cite{DD} proposed three conjectures on antichain generating polynomials. Jiang \cite{Jiang} recently proved Conjectures 4.3 and 4.5, concerning real-rootedness and \(γ\)-positivity. We prove Conjecture 4.2 by adapting his method from \([k]\times [2] \times [n]\) to \([k]\times P_{n,s} \), where \(P_{n,s}\) is a two-row Ferrers shape. We establish real stability for a family of bivariate polynomials associated with adjacent shapes, then apply the Chudnovsky-Seymour compatibility criterion to obtain a common interleaver. As noted in \cite{DD}, Conjecture 4.2 also implies Conjecture 4.3.

For a crystallographic root system ${\mathfrak D}$ we consider the simplicial complex $Δ_{\mathfrak D}$ of all antichains in the root poset of ${\mathfrak D}$. We show that $Δ_{\mathfrak D}$ is shellable if and only if ${\mathfrak D}$ is $A_n$, $B_n$, $D_3$ or $G_2$. Since antichains in types $A_n$ and $B_n$ can be identified with Dyck paths and symmetric Dyck paths, respectively, this yields a simplicial complex on Dyck paths. Indeed, in type $A_n$, shellability can be extended to rational Dyck paths. The $f$- and $h$-triangles then yield statistics on (symmetric/rational) Dyck paths. We determine these statistics for $A_n$ and $B_n$ and leave the case of rational Dyck paths as an open problem.

We give an explicit finite sum for the number of ideals of the Lie algebra of strictly lower triangular $n\times n$ matrices over $\mathbb F_q$, valid for every prime power $q$. The sum runs over integer compositions, with weights expressed using ordinary and Gaussian binomial coefficients. A contraction bijection transforms Gagnon's configuration sum into a weighted enumeration of nonnesting partitions, with antichains of intervals chosen independently in each block. We derive a Stieltjes continued fraction for the block weights. Lagrange inversion and the coefficient formula for Stieltjes--Rogers polynomials then yield the explicit sum.

For all positive integers $n,k$, we prove that the layer-refined antichain polynomial of the product poset $[2]\times[n]\times[k]$ is real stable. Jacobi-polynomial interlacing further shows that its diagonal specialization, the ordinary antichain polynomial of the same poset, has only simple, strictly negative zeros. For the special family $[2]\times[m]\times[m+1]$, explicit reciprocal identities give palindromicity; reciprocal pairing of the simple negative zeros then shows that every coefficient in the gamma expansion is strictly positive. Thus we prove Conjecture 4.3 of Ding and Dong and resolve all parts of their Conjecture 4.5, while strengthening its stated gamma-positivity consequence. The enumerative input is an explicit first-crossing reflection for two lattice paths, specialized from work of Krattenthaler and Sulanke.

The independent set polytope, or stable set polytope, of a graph $G$ is the 0/1-polytope defined by the convex hull of the characteristic vectors of all independent sets of $G$. We present a simple algorithm for computing a Hamilton path on the independent set polytope of a given $n$-vertex graph $G$ with amortized delay $\mathcal{O}(n)$. The independent sets are listed such that two consecutive sets differ either in removing a vertex, or adding a vertex and removing its neighbors from the independent set, i.e., the symmetric difference between two consecutive independent sets induces a star in $G$. As applications of this result, we obtain an algorithm to compute a Hamilton path on the matching polytope of an $m$-edge graph $G$ with worst-case delay $\mathcal{O}(m)$, which lists all matchings of $G$ in such a way that the symmetric difference between two consecutive matchings is a path on at most three edges. Furthermore, we obtain an algorithm to compute a Hamilton path on the chain polytope and order polytope of an $n$-element poset $P$ with amortized delay $\mathcal{O}(n)$, which lists all antichains of $P$ or all ideals of $P$, respectively, by star exchanges. Our algorithms are derived from the generic framework proposed by Merino and Mütze (FOCS'23+SICOMP'24) for computing Hamilton paths on arbitrary 0/1-polytopes, which uses a linear optimization procedure as a black box. Our algorithms bypass solving the computationally intractable maximum weight independent set problem by a simple and purely combinatorial greedy rule.

We study the forbidden poset analog of the maximal anti-Ramsey problem introduced for graphs by Burr, Erd\H os, Graham, and Sós. For integers $m\le 2^n$ and poset $P=(P,\preceq)$, we introduce $\mathrm{ar_m}(n,m,P)$ (and $\mathrm{ar^*_m}(n,m,P)$) to denote the minimum integer $k$ such that there exists a family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|=m$ and a coloring $\mathcal{F}\rightarrow [k]$ with all weak (strong) copies of $P$ being rainbow. As long as there exist $P$-free families of size $m$, these parameters equal 1. It is known that the largest size $La(n,P)$ ($La^*(n,P)$) of weak (strong) $P$-free families has order of magnitude $Θ(\binom{n}{\lfloor n/2\rfloor})$ unless $P$ is the antichain $A_k$ on $k$ elements. In this paper we study $\mathrm{ar_m}(n,m,P)$ and $\mathrm{ar^*_m}(n,m,P)$ in two regimes of $m$. We determine the asymptotics of these parameters for all posets $P$ when $m=2^n$. We also consider the case $m=Θ(\binom{n}{\lfloor n/2\rfloor})$. It is shown that for any connected poset $P$ and integer $k$, there exist integers $m_{P,k}$ and $m^*_{P,k}$ such that to color the middle $k$ layers of the Boolean lattice with all weak or strong copies of $P$ being rainbow, one needs $Θ(n^{m_{P,k}})$ or $Θ(n^{m^*_{P,k}})$ colors. For tree posets $T$, one has $m_{T,k}=m^*_{T,k}$. We conjecture that for any tree poset $T$, and positive real $\varepsilon$, $\mathrm{ar_m}(n,m,T),\mathrm{ar^*_m}(n,m,T)=Ω(n^{m_{T,k}})$ holds provided $m\ge (k-1+\varepsilon)\binom{n}{\lfloor n/2\rfloor}$. We prove our conjecture on $\mathrm{ar_m}(n,m,T)$ for an infinite class of tree posets.

We say that an antichain in a lattice $L$ is Boolean if it generates a Boolean sublattice in $L$ in a particularly nice way. These purely combinatorial objects play a role in the representation theory of the incidence algebra of the lattice $L$, as indicated by recent results of Rognerud, Yıldırım and of the last author with Klász, Kleinau and Marczinzik. Given these motivations, it is natural to ask: Can we count and construct Boolean antichains in certain lattices? In this paper we give a construction of Boolean antichains in Boolean lattices, partition lattices and Tamari lattices. Furthermore, we share the surprisingly elegant formulas we found for the number of these Boolean antichains.

For a natural number $n$ let $[n] = \{1,\ldots,n\}$. We say that a family ${\cal{S}}\subseteq 2^{[n]}$ is \emph{representing} if every singleton set of $[n]$ is an intersection of some sets from ${\cal{S}}$. We show that the smallest possible cardinality of a representing set for $[n]$ is the discrete inverse $s(n)$ of the Sperner's function $n\mapsto \binom{n}{\lfloor n/2\rfloor}$, which by Sperner's Theorem is the maximum number of elements in an antichain in $2^{[n]}$ when viewed as subset (or boolean) lattice. Specifically, $s(n)$ is then the smallest positive integer such that $2^{[n]}$ contains an $n$-element antichain. Some generalization, further applications and asymptotics in terms of the second real branch of the Lambert $W$ function are presented.

The Fomin-Greene Duality Theorem for finite posets and Wei's Duality Theorem for demimatroids each relate sets of extremal invariants via seemingly similar dualities. This paper describes precisely how these two dualities relate. It is shown that the chain and antichain numbers each satisfy a Wei-type duality with antichain- and chain-deletion numbers, respectively, and that, for each poset with at least two elements, its chain and antichain demimatroids are not related by any composition of standard demimatroid duality operations. Their upper Wei-number numbers do however determine each other via Fomin-Greene duality. The two dualities thereby coincide for Wei numbers but not for the underlying rank functions.