---
title: Ehrhart h*-Polynomial
url: https://www.emergentmind.com/topics/ehrhart-h-polynomial
type: topic
---

# Ehrhart h*-Polynomial

The Ehrhart $h^*$-polynomial is a central invariant in Ehrhart theory, encoding key combinatorial and geometric information about a lattice polytope through the numerators of its Ehrhart generating series. Recent work provides explicit combinatorial interpretations in various classes, with particular impact on the structure theory for order polytopes, zonotopes, matroid polytopes, and related families.

## 1. Definition and General Properties

Let $P\subset\mathbb{R}^n$ be a $d$-dimensional lattice polytope. The Ehrhart function $i_P(m) = |\mathbb{Z}^n \cap mP|$ is a polynomial in $m$ of degree $d$. The generating function, the Ehrhart series,
\[
\mathrm{Ehr}_P(t) = \sum_{m\geq 0} i_P(m) t^m = \frac{h^*_P(t)}{(1-t)^{d+1}}
\]
uniquely determines the numerator $h^*_P(t)\in\mathbb{Z}_{\geq 0}[t]$, called the Ehrhart $h^*$-polynomial (alternatively, the $\delta$-polynomial or $h^*$-vector) of $P$ [1901.07443]. The degree satisfies $\deg h^*_P \le d$, and the sequence $(h^*_0,\ldots,h^*_d)$ gathers refined data about the appearance of new lattice points in successive dilates of $P$ [1411.7736, 1804.08258].

Normalization conditions include $h^*_0=1$ and $h^*_d=|\operatorname{int}(P)\cap\mathbb{Z}^n|$. Stanley's nonnegativity theorem ensures all coefficients $h^*_i\ge0$ [1411.7736, 1804.08258].

## 2. Combinatorial Formulas: The Zig-Zag Poset and Swap Statistic

A paradigmatic case arises for the order polytope of the zig-zag poset $Z_n$ [1901.07443]. Here,
- The order polytope $\mathcal{O}(Z_n)$ is defined by
  \[
  \mathcal O(Z_n) = \{ (x_1,\dots,x_n)\in\mathbb R^n\,|\, 0\leq x_i\leq 1;\, x_i \leq x_j \text{ whenever } z_i<z_j\}.
  \]
- Stanley's canonical triangulation for order polytopes is indexed by the linear extensions; for $Z_n$ these are the alternating permutations $A_n = \{\sigma\in S_n:\, \sigma(1)<\sigma(2)>\sigma(3)<\dots\}$.

The $h^*$-polynomial for $\mathcal{O}(Z_n)$ admits a closed combinatorial expansion via the swap statistic:
\[
h^*_{\mathcal O(Z_n)}(t) = \sum_{\sigma\in A_n} t^{\operatorname{swap}(\sigma)} = \sum_{k=0}^{n-2} a_k t^k
\]
where $a_k = |\{\,\sigma\in A_n : \operatorname{swap}(\sigma)=k\,\}|$ and
\[
i\in \operatorname{Swap}(\sigma) \iff \sigma^{-1}(i) < \sigma^{-1}(i+1)-1
\]
with $\operatorname{swap}(\sigma) = |\operatorname{Swap}(\sigma)|$ [1901.07443].

Each $a_k$ thus counts alternating permutations of length $n$ with swap-value $k$, making $h^*_{\mathcal O(Z_n)}(t)$ the swap-distribution generating function on $A_n$.

## 3. Shellings, Triangulations, and Permutation Statistics

Stanley's theory [BR07] applied to order polytopes provides, for any shelling, a rule that each maximal simplex contributes a monomial $t^a$ to $h^*$, with $a$ the number of facets it is glued on. For $\mathcal{O}(Z_n)$, ordering the corresponding simplices $\Delta^\sigma$ by nonincreasing inversion number of $\sigma$ gives a valid shelling.

Other classes (zonotopes [1609.08596], positroid polytopes [2410.01743], type $C$ hypersimplices [2504.03898]) provide remarkable formulas in terms of refined permutation statistics:
- For zonotopes, $h^*_{Z(V)}(t) = \sum_{I\,\mathrm{indep}} A_{|I|+1}(d+1, t)$, a sum over independent sets $I$ and refined Eulerian polynomials $A_j$ [1609.08596].
- Type $C$ hypersimplices admit formulas involving circular descents and big ascent statistics on the hyperoctahedral group; e.g., $h^*_{\Delta'_{C_n,k}}(t) = \sum_{w\in X_n,\, \mathrm{cdes}(w^{-1})=k} t^{\mathrm{basc}(w)}$ [2504.03898].
- For positroid polytopes, the $h^*$-polynomial can be expressed in terms of descents in a set of permutations parametrizing the triangulation [2410.01743].

The emergence of these connections underscores the role of $h^*$-polynomials as combinatorial statistics generating functions associated with shellable polyhedral subdivisions.

## 4. Structural Properties: Symmetry, Unimodality, and Real-Rootedness

Many families exhibit deep algebraic properties:
- For zonotopes, $h^*_Z(t)$ is real-rooted, hence unimodal [1609.08596].
- For $\mathcal{O}(Z_n)$, the $h^*$-vector is symmetric and unimodal as a consequence of Gorenstein properties and the existence of regular unimodular triangulations [1901.07443].
- In general, for polytopes with suitable Gorenstein and triangulation properties, the $h^*$-polynomial is palindromic.

A key open question in [1901.07443] remains: to provide a direct combinatorial involution accounting for the symmetry/unimodality of the swap distribution. For many other classes (e.g., matroid polytopes, $s$-lecture hall simplices), $h^*$-real-rootedness is often observed or conjectured, directly implying unimodality [1804.08258].

## 5. Examples and Explicit Calculations

For $n=4$:
- The alternating permutations $A_4 = \{1324,\,1423,\,2314,\,2413,\,3412\}$
- One computes swap values as: $\operatorname{swap}(1324)=1$, $\operatorname{swap}(1423)=1$, $\operatorname{swap}(2314)=1$, $\operatorname{swap}(2413)=2$, $\operatorname{swap}(3412)=0$,
and thus
\[
h^*_{\mathcal{O}(Z_4)}(t) = 1 + 3t + t^2
\]
For $n=5$, $|A_5|=16$ and $h^*_{\mathcal{O}(Z_5)}(t) = 1 + 7t + 7t^2 + t^3$ [1901.07443].

These explicit enumerations illustrate the correspondence between $h^*$-coefficients and underlying combinatorics.

## 6. Connections, Generalizations, and Open Problems

The theory of Ehrhart $h^*$-polynomials interfaces with diverse domains:
- The $h^*$-polynomial for $\mathcal{O}(Z_n)$ coincides with that of the CFN–MC phylogenetic polytope, connecting algebraic statistics and phylogenetic inference [1901.07443].
- For regular Gorenstein order polytopes, Bruns–Römer guarantees symmetry/unimodality of $h^*$ [1901.07443].
- Open problems include finding explicit combinatorial proofs of these properties and characterizing the image of $h^*$-vectors arising from specific families.

Known results do not in general guarantee that all $h^*$-vectors are unimodal or real-rooted. The appearance of $h^*$-polynomials as permutation statistics generating functions provides a powerful tool for explicit enumeration and structural study, but the full set of constraints and achievable forms remains an active topic [1901.07443, 1804.08258].

## 7. Significance and Broader Implications

The Ehrhart $h^*$-polynomial encodes subtle geometric and combinatorial features of polytopes, often serving as a unifying framework for disparate counting problems. Its interplay with triangulations, shellings, permutation statistics, and polyhedral geometry has led to deep insights into the structure of polytopes and the distribution of lattice points. In the poset and matroid context, $h^*$-polynomials serve as generating series for statistics of linear extensions, descents, and related enumerative features. Their algebraic properties, such as symmetry, unimodality, and real-rootedness, yield connections to toric geometry, commutative algebra, and the theory of permutation statistics.

Continued investigation into $h^*$-polynomials and their combinatorial interpretations promises to further elucidate the combinatorial and geometric landscape of lattice polytopes and their applications across algebra, statistics, and geometry [1901.07443, 2410.01743, 1609.08596, 2504.03898].

Source: https://www.emergentmind.com/topics/ehrhart-h-polynomial