← Back to arXiv
arXivCombinatoricsarXiv:2609.10609

Real stability of layer-refined antichain polynomials for three-chain products with a two-element factor

The paper is about polynomials that count certain combinatorial objects called antichains. An antichain is a collection of elements in a partially ordered set (a "poset") where no element is above or below another. The specific posets studied here are three-dimensional grid-like structures built by combining simpler ordered sets, one of which always has just two elements. The polynomials in question encode how many antichains of each possible size exist in these grids. A refined version also tracks which "layer" of the structure each antichain sits in.

The central result is that these refined polynomials have a property called real stability, which is a strong and useful condition meaning, roughly, that the polynomial behaves very nicely when you plug in real numbers and that its roots are all real. From this, the authors derive that a simpler related polynomial, obtained by collapsing the refinement, has all its roots real, negative, and distinct. For a special symmetric subfamily of these grids, the polynomials are palindromic, meaning their coefficients read the same forwards and backwards, and this forces the roots to come in reciprocal pairs. That symmetry leads to a further result called gamma-positivity, which means the polynomial can be rewritten in a particular basis where all the new coefficients are strictly positive. Gamma-positivity is a desirable property in combinatorics because it often reflects hidden symmetry in the objects being counted.

Along the way, the authors resolve two open conjectures posed by Ding and Dong, including one they actually strengthen beyond what was originally claimed. The key counting tool they use is a classical technique called the reflection principle applied to pairs of lattice paths, drawing on earlier work by Krattenthaler and Sulanke. Overall, the paper connects enumerative combinatorics, the theory of polynomials with real roots, and the structure of partially ordered sets in a tightly integrated way.

Read original →