Zig-Zag Posets: Theory & Applications

• Zig-zag posets are finite partially ordered sets defined by alternating cover relations, naturally corresponding to alternating permutations and graded chain structures.
• Their structure facilitates rigorous combinatorial analysis, exemplified by their role in Ehrhart theory, W-polynomials, and unimodal generating functions.
• These posets intersect with schemoid algebras and polyhedral geometry, offering applications in permutation statistics, magic labelings, and even chemical graph theory.

A zig-zag poset is a finite partially ordered set (poset) characterized by alternating cover relations, typically of the form $z_1 < z_2 > z_3 < z_4 > \ldots$ along a chain of elements. Zig-zag posets serve as a central object in enumerative combinatorics, polyhedral geometry, and algebraic combinatorics, connecting permutation statistics (especially alternating permutations), polytopal invariants, schemoids, and generalized Eulerian polynomials. They feature prominently in the study of W-polynomials, Ehrhart theory of polytopes, and the gamma-nonnegativity and unimodality phenomena of poset-associated generating functions.

1. Definition and Structural Properties

The classical zig-zag poset $Z_n$ on $n$ elements $\{z_1, z_2, \ldots, z_n\}$ is defined by the cover relations:

• $z_1 < z_2$,
• $z_2 > z_3$,
• $z_3 < z_4$,
• $z_4 > z_5$, $\ldots$

This alternation endows $Z_n$ with a graded structure of rank $Z_n$0, in which all maximal chains have the same length. Zig-zag posets are naturally labeled and their linear extensions are in bijection with alternating (up-down) permutations. The canonical small category derived from a poset translates this order structure into categorical morphisms: objects are elements of $Z_n$1, and for $Z_n$2, there exists exactly one morphism from $Z_n$3 to $Z_n$4 [(Numata, 2016)].

The extended construction can include additional structure, such as a rank function $Z_n$5 and a join operation $Z_n$6, where, for $Z_n$7 with $Z_n$8, morphisms $Z_n$9 are introduced and compose additively via the join. Zig-zag behavior manifests in such categories as oscillations in composable join paths and difference operations.

2. Schemoids From Zig-Zag Posets

Schemoids are categorical generalizations of association schemes, aiming to encode combinatorial regularity in the structure of a small category. For a poset $n$0, the canonical small category $n$1 has morphisms $n$2 for $n$3. Morphism labeling via a difference operation $n$4 sets up a partition analogous to color classes in association schemes. The triple $n$5 forms a schemoid under specific consistency conditions, such as the existence of bijections $n$6 between intervals in $n$7, satisfying $n$8 [(Numata, 2016)].

For zig-zag posets, especially when interpreted as ranked posets with specific join properties, these join and difference operations encode the characteristic alternation. Schemoid algebras constructed from these categories generalize the Bose–Mesner algebra, with algebraic invariants capturing intersection numbers and combinatorial symmetries.

3. Ehrhart Theory: Chain and Order Polytopes

The chain polytope $n$9 and the order polytope $\{z_1, z_2, \ldots, z_n\}$0 associated to a poset $\{z_1, z_2, \ldots, z_n\}$1 are convex polytopes in $\{z_1, z_2, \ldots, z_n\}$2 defined by inequalities reflecting the poset relations. For zig-zag posets, the set of inequalities alternates, encoding their combinatorial structure. Stanley's foundational result shows that the Ehrhart $\{z_1, z_2, \ldots, z_n\}$3-polynomial of $\{z_1, z_2, \ldots, z_n\}$4 is identical to the W-polynomial of $\{z_1, z_2, \ldots, z_n\}$5: $\{z_1, z_2, \ldots, z_n\}$6 [(Chen et al., 2016)].

For the zig-zag poset $\{z_1, z_2, \ldots, z_n\}$7, the unimodality of the Ehrhart $\{z_1, z_2, \ldots, z_n\}$8-polynomial of $\{z_1, z_2, \ldots, z_n\}$9 was established. This result confirms Kirillov’s conjecture, situating the $z_1 < z_2$0-polynomial within the framework of naturally labeled graded poset W-polynomials, whose unimodality follows from Gasharov's theorem for rank $z_1 < z_2$1 or $z_1 < z_2$2 [(Chen et al., 2016)]. The implication is a symmetric and "well-behaved" enumeration of lattice points in dilates of the chain polytope, enabling connections to Kostka numbers and partition functions.

4. Permutation Statistics, Swap Statistic, and h*-Polynomials

Alternating permutations index the linear extensions of the zig-zag poset, giving rise to the Euler zig-zag numbers. The canonical unimodular triangulation of the order polytope $z_1 < z_2$3 yields simplices parametrized by these permutations [(Coons et al., 2019)]. The shelling process induces a combinatorial interpretation for the h*-polynomial of $z_1 < z_2$4: each simplex, corresponding to permutation $z_1 < z_2$5, is glued along exactly $z_1 < z_2$6 facets, where $z_1 < z_2$7 counts positions $z_1 < z_2$8 such that swapping $z_1 < z_2$9 and $z_2 > z_3$0 produces another alternating permutation.

$z_2 > z_3$1

This correspondence conveys geometric and combinatorial information about the polytope and the poset and has implications for symmetric and unimodal distribution of swap numbers. The swap statistic shares a bijection with rank-selected chains of order ideals, linking permutation statistics with flag h-vectors in lattice structures.

5. Zig-Zag Eulerian Polynomials and Gamma-Nonnegativity

For any poset $z_2 > z_3$2, the $z_2 > z_3$3-Eulerian polynomial is the descent generating function over linear extensions of $z_2 > z_3$4, closely related to the order polynomial via $z_2 > z_3$5-partition theory. Zig-zag Eulerian polynomials $z_2 > z_3$6, associated to naturally labeled zig-zag posets, are proven to be gamma-nonnegative, thus have symmetric and unimodal coefficients [(Petersen et al., 2024)]. The gamma-nonnegative expansion is explicitly

$z_2 > z_3$7

with $z_2 > z_3$8.

A plausible implication is conjectured real-rootedness for $z_2 > z_3$9 and its $z_3 < z_4$0-generalizations, which, if validated, would strengthen log-concavity and combinatorial regularity. These polynomials encode the distribution of "big returns" over alternating permutations and provide a unifying lens on statistics such as Entringer numbers, Narayana polynomials, and Catalan structures.

6. Combinatorial and Geometric Interpretations

The theory discerns rich connections between zig-zag posets and a variety of combinatorial and geometric objects:

• Both order and chain polytopes of $z_3 < z_4$1 have identical Ehrhart polynomials (up to a shift), with their $z_3 < z_4$2-polynomial given by $z_3 < z_4$3 [(Petersen et al., 2024)].
• Magic labelings of path graphs and enumerations of Kekulé structures in chemistry (perfect matchings of benzenoid hydrocarbons) can be equivalently counted by the order polynomial values $z_3 < z_4$4.
• Decreasing binary trees and Jacobi permutations are in bijection with alternating permutations possessing specific statistics (e.g., big returns), providing yet another interpretation for $z_3 < z_4$5.
• The h-polynomial of the simplicial complex induced by a Coxeter cone of a poset equals $z_3 < z_4$6.

This multifaceted viewpoint consolidates different domains—combinatorics, geometry, chemistry—demonstrating the unifying power of zig-zag poset theory.

7. Open Problems and Research Directions

Several conjectures and open questions frame ongoing research:

• Are zig-zag Eulerian polynomials $z_3 < z_4$7 and their generalizations real-rooted for all $z_3 < z_4$8 and $z_3 < z_4$9? Does the coefficient sequence always become log-concave?
• Can the $z_4 > z_5$0-vector satisfy the Frankl–Füredi–Kalai inequalities, indicating it is the $z_4 > z_5$1-vector of a balanced simplicial complex?
• Is there a direct combinatorial explanation for the symmetric and unimodal distribution of big returns on alternating permutations?
• What are the linear recurrence relations for refined Entringer-number polynomials $z_4 > z_5$2, and how do these interact with big return statistics and alternation?

Continued investigation in the literature, including computational explorations and extension to refined statistics, motivates further research at the intersection of algebraic combinatorics, geometric enumeration, and applied disciplines.

---

Zig-zag posets thus crystallize essential combinatorial phenomena: their deployment in the construction of schemoid algebras, explorations of unimodality and symmetric polynomial expansions, and combinatorial-geometric equivalences offer a robust framework for both theoretical inquiry and application across mathematics and related fields.