Combinatorial Gamma-Vectors

• Combinatorial gamma-vectors are integer invariants that uniquely expand palindromic h-polynomials via a gamma-expansion, revealing inherent symmetry and unimodality.
• They are key in flag homology spheres and polytopes, with combinatorial realizations supporting conjectures like Gal's and Nevo-Petersen by encoding structural bounds.
• A mix of combinatorial and algebraic methods, such as derivative polynomials and Chebyshev expansions, provides explicit constructions and bounds for gamma-vectors.

Combinatorial gamma-vectors, typically denoted $\gamma(\cdot)$, are integer invariants associated to palindromic polynomials that appear in algebraic and geometric combinatorics, notably in the theory of flag simplicial spheres, polytopes, Coxeter complexes, and their subdivisions. The gamma-vector refines the classical unimodality and symmetry properties of $h$-polynomials, encoding deeper combinatorial and geometric structure.

1. Definitions and Gamma-Expansion

Given a polynomial $P(t) = \sum_{i=0}^d h_i t^i$ of degree $d$ with palindromic coefficients ($h_i = h_{d-i}$), the gamma-expansion is the unique representation

$$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$

for integers $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$, collectively called the gamma-vector of $P$ (or of combinatorial or geometric objects associated to $P$) (Athanasiadis, 2017, Ma, 2013). For simplicial complexes $\Delta$ (typically (homology) spheres), the $h$0-polynomial $h$1 is symmetric if and only if $h$2 is a homology sphere, and then the gamma-expansion exists and is unique.

The significance of the gamma-vector is its refinement of unimodality: each basis polynomial $h$3 is symmetric and unimodal about $h$4. Nonnegativity of all $h$5 implies unimodality of $h$6. In much of contemporary combinatorics, the focus is on proving the nonnegativity—or stronger, combinatorial interpretability—of gamma-vectors arising from naturally palindromic objects.

2. Gamma-Vectors in Flag Homology Spheres

A central theme is the study of gamma-vectors on flag homology spheres—the clique complexes of graphs whose links combine to give spheres in homology:

• For a flag homology sphere $h$7, the $h$8-polynomial $h$9 is palindromic and the gamma-vector $P(t) = \sum_{i=0}^d h_i t^i$0 is defined as above.
• Gal's conjecture: $P(t) = \sum_{i=0}^d h_i t^i$1 for all $P(t) = \sum_{i=0}^d h_i t^i$2 (Athanasiadis, 2017).
• Nevo–Petersen conjecture: $P(t) = \sum_{i=0}^d h_i t^i$3 is the $P(t) = \sum_{i=0}^d h_i t^i$4-vector of a flag simplicial complex; i.e., there exists a flag complex $P(t) = \sum_{i=0}^d h_i t^i$5 with $P(t) = \sum_{i=0}^d h_i t^i$6 for all $P(t) = \sum_{i=0}^d h_i t^i$7 (Labbé et al., 2016).
• Necessary numerical bounds for $P(t) = \sum_{i=0}^d h_i t^i$8-vector entries in flag spheres have been established:
  • $P(t) = \sum_{i=0}^d h_i t^i$9 for all $d$0;
  • $d$1;
  • $d$2 and $d$3 (Labbé et al., 2016).
• Extremal cases for these bounds completely classify the structure of flag spheres achieving equality.
• Combinatorial realization: In specific classes (nestohedra (Aisbett, 2012), 2-truncated cubes (Volodin, 2012), edge subdivisions of cross polytopes (Aisbett, 2012)), explicit constructions of flag simplicial complexes whose $d$4-vectors realize the gamma-vector have been obtained, verifying the Nevo–Petersen conjecture for those classes.

Table: Key Structural Constraints for Gamma-Vectors of Flag Homology Spheres

Constraint Type	Bound/Structure	Classification/Equality
Support	$d$5 for $d$6
Second entry	$d$7	Equality iff join of $d$8's (Labbé et al., 2016)
Top coefficient	$d$9	$h_i = h_{d-i}$0 only for join of $h_i = h_{d-i}$1's
Next-to-top coefficient	$h_i = h_{d-i}$2	$h_i = h_{d-i}$3 for specific two extremal families

3. Methods: Combinatorial and Algebraic Realizations

Combinatorial Constructions

• Flag nestohedra: Aisbett constructs an explicit flag complex $h_i = h_{d-i}$4 for any flag building set $h_i = h_{d-i}$5 whose $h_i = h_{d-i}$6-vector gives the gamma-vector of the corresponding nestohedron (Aisbett, 2012).
• 2-truncated cubes: Volodin gives an inductive construction of a flag simplicial complex $h_i = h_{d-i}$7 such that $h_i = h_{d-i}$8 for any 2-truncated cube $h_i = h_{d-i}$9 (Volodin, 2012).
• Edge subdivisions: For any flag triangulation $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$0 of the boundary of the cross-polytope via edge subdivisions, one constructs a flag complex $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$1 such that $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$2 (Aisbett, 2012).
• Barycentric subdivisions: For barycentric subdivisions of spheres, the gamma-vector is always the $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$3-vector of a balanced simplicial complex, with construction via refined Eulerian numbers and Frankl–Füredi–Kalai compressions (Nevo et al., 2010).

Analytical and algebraic approaches

• Derivative polynomials: For type A and B Coxeter complexes and associahedra, gamma-vectors coincide with coefficients in expansions of derivative polynomials of the tangent and secant functions (Ma, 2013).
• Explicit Catalan/binomial formulas: For any reciprocal polynomial $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$4, $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$5 can be computed as a linear combination of $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$6's coefficients with Catalan number and binomial coefficient weights, and as a derivative evaluation at $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$7 (Park, 2024).
• Chebyshev expansions: For even-degree reciprocal polynomials, $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$8 is given by the inverted Chebyshev expansion of the coefficients, connecting the gamma-vector to Chebyshev polynomial combinatorics, poset subdivision theory, and Hopf algebraic structures (Park, 2024).

4. Gamma-Vectors in Coxeter Theory and Polytope Combinatorics

The theory of gamma-vectors is tightly linked to Coxeter group and polytope theory:

• Coxeter complexes of type A and B: The gamma-vector entries enumerate permutations with given peak statistics; for type A, $$P(t) = \sum_{k=0}^{\lfloor d/2 \rfloor} \gamma_k \, t^k (1 + t)^{d - 2k}$$9 counts $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$0-permutations with $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$1 peaks (Ma, 2013, Degen et al., 16 Nov 2025).
• Associahedra and Narayana/Catalan structures: The gamma-vector of the type A associahedron is given by Narayana numbers, and for type B by explicit Motzkin/Hermite number sequences (Ma, 2013, Barry, 2018).
• Reflection arrangements: All restrictions of reflection hyperplane arrangements are $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$2-positive; restrictions interpolate between types B and D, and $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$3 has enumerative symmetry statistics (Degen et al., 16 Nov 2025).
• Gamma triangles: Chapoton's two-variable gamma-triangle refines $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$4-vectors for cluster complexes, decomposing global $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$5 into sums of local gamma-vectors (Chapoton, 2018).

5. Structural Inequalities and Positivity

For broad classes of flag simplicial complexes and polytopes:

• Frankl–Füredi–Kalai inequalities: Gamma-vectors (as $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$6-vectors of flag complexes) must satisfy strong Kruskal–Katona–type and colorability inequalities; these are verified for nestohedra, 2-truncated cubes, barycentric subdivisions, and edge subdivisions of cross polytopes (Aisbett, 2012, Volodin, 2012, Nevo et al., 2010, Aisbett, 2012).
• Real-rootedness criteria: Inverted Chebyshev expansions provide effective criteria for real-rootedness of polynomials via corresponding gamma-vectors (Park, 2024).
• Bounds on entries: Within flag homology spheres, explicit upper bounds for initial $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$7's restrict possible combinatorics (Labbé et al., 2016).
• Sign-alternation and alternating sums: In more general settings, the sign of $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$8 can be controlled via monotonicity or sign patterns in the original (e.g., $\gamma_0, \dots, \gamma_{\lfloor d/2 \rfloor}$9-vector) sequence (Park, 2024).

6. Applications and Broader Frameworks

• Unimodality proofs: Gamma-positivity provides a powerful route to unimodality, with sign-reversing involutions enabling explicit combinatorial proofs even when $P$0-vectors may alternate in sign (Brittenham et al., 2016).
• Subdivision invariants: Explicit interpretation of gamma-vectors in terms of local-global differences in $P$1-vector entries links to face enumeration in subdivisions and to characteristic classes in algebraic geometry (Segre and Schur positivity phenomena) (Park, 2024).
• Hopf algebras, poset combinatorics, and quasisymmetric functions: Gamma-vector and Chebyshev-based transforms fit into the structure of the incidence algebra of posets and are reflected in the theory of quasisymmetric functions (Park, 2024).
• Graphical/combinatorial polytopes: In the context of Ehrhart theory, the gamma-vectors of symmetric edge polytopes associated with graphs exhibit deterministic and probabilistic positivity, confirming Gal's conjecture generically in random settings (D'Alì et al., 2022).

7. Open Problems and Future Directions

• Gal's conjecture remains open for general flag homology spheres, with many classes confirmed through combinatorial or algebraic realizations, but no universal proof (Athanasiadis, 2017, Labbé et al., 2016).
• Combinatorial realizability: While proven for nestohedra, 2-truncated cubes, and subdivision-derivative complexes, the extent to which all flag spheres' gamma-vectors can be realized as $P$2-vectors of flag complexes is unknown.
• Broader algebraic-geometric connections: Exploration of gamma-vectors via intersection theory, volume polynomials, and characteristic classes continues, especially regarding positivity, log-concavity, and Schur positivity criteria (Park, 2024).
• Refinement and generalization: Local gamma-vectors and gamma-triangles (e.g., in cluster complexes) suggest deeper refinements whose full significance and positivity range remain under investigation (Chapoton, 2018).
• Real-rootedness, shellability, and extremal phenomena: Criteria that simultaneously control real-rootedness and combinatorial/structural gamma bounds remain active areas of research (Park, 2024, Labbé et al., 2016).

In summary, combinatorial gamma-vectors form a central invariant at the intersection of enumerative, algebraic, and topological combinatorics, offering a unifying framework for symmetry, positivity, and unimodality phenomena across polytopes, simplicial complexes, Coxeter groups, and beyond.