Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Ehrhart $h^*$-distributions

T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Every lattice polytope yields an h*-distribution, whose dilates converge to the descent-statistic distribution.

desk verdict Useful distributional take on Ehrhart h*-polynomials with a correct core; the asymptotic-normality theorem has a fixable but real proof error. read the letter →

arxiv 2607.15886 v1 pith:53TLIK3O submitted 2026-07-17 math.CO

Benjamin Braun , Max Hlavacek , Cesar J. Meza , Santiago Morales , Andrés R. Vindas-Meléndez This is my paper
classification math.CO MSC 52B2005A1560F05
keywords Ehrharth*-polynomiallatticepolytopefiniteprobabilitydistributionEulerianreal-rootedpolynomialasymptoticnormalityzonotopesreflexivepolytopes
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper defines the h*-distribution of a lattice polytope by normalizing the coefficients of its Ehrhart h*-polynomial to sum to one, turning an integer-encoding polynomial into a probability law. It proves closed formulas for the mean and variance of this distribution in terms of normalized boundary volume and the Ehrhart coefficient c_{d-2}, and it shows that moments of the distribution and Ehrhart coefficients determine each other through a triangular system. The central structural result is that the h*-distributions of dilates tP converge, as t tends to infinity, to the distribution of the descent statistic on permutations, regardless of the original polytope. The paper then specializes to real-rooted h*-polynomials, transferring tail bounds to obtain linear inequalities for h*-vectors (including a 2^d volume lower bound for reflexive polytopes) and giving sufficient conditions for sequences of h*-distributions to be asymptotically normal, with applications to zonotopes and related families.

What carries the argument

The central object is hdis(P), the normalized coefficient vector of the h*-polynomial. Its distributional moments are connected to Ehrhart polynomial coefficients through the binomial-basis identity L_P(t) = Σ_j h_j^* binom(t+d-j,d), which makes the moment/coefficient correspondence triangular and invertible. The limit theorem rests on a root-continuity theorem for h*(tP;z) as t→∞, transferring roots to those of the Eulerian polynomial. The real-rooted results use the equivalence between real-rooted distributions and sums of independent Bernoulli trials, which supplies tail inequalities and a variance-divergence criterion for asymptotic normality.

What would settle it

For P=[0,1]^d, the h*-distributions of tP are known explicitly as wreath-product Eulerian distributions; checking whether these normalized coefficients converge to the descent distribution as t→∞ at fixed d would directly test Theorem 3.21. For the asymptotic-normality criterion, evaluating the variance formula from Theorem 3.5 on a sequence of reflexive zonotopes with interior lattice points and checking whether the variance diverges would test Corollary 4.5.

Watch

Extended reading notes

Core claim

Every d-dimensional lattice polytope P yields a finite distribution hdis(P) = (h_0^*/Vol(P), …, h_d^*/Vol(P)). Its mean is (d+1)/2 − B(P)/(2Vol(P)) and its variance is an explicit rational expression in the Ehrhart coefficient c_{d-2}, the mean, and d; conversely, all Ehrhart coefficients are recoverable from the first moments. The paper's main limit theorem states that hdis(tP) tends to the Eulerian distribution Eul_d as t→∞, meaning the scaled coefficient vector of h*(tP;z) approaches the polynomial that counts descents in permutations. This is proved via a root-continuity result: the roots of h*(tP;z) approach the roots of the Eulerian polynomial. For real-rooted h*-polynomials, the paper

Load-bearing premise

The asymptotic-normality results assume real-rooted h*-polynomials, B(P) ≤ Vol(P), and c_{d-2} ≥ 0; moreover, the printed variance lower bound in the proof is invalid because E[X_P]^2 grows like d^2, so the stated sufficient condition (7) does not actually follow from the assumptions.

Editorial extensions

If this is right

  • The mean and variance formulas convert Ehrhart-theoretic quantities (boundary volume, c_{d-2}) into probabilistic facts about a lattice point sampled with probability equal to its height in the fundamental parallelepiped.
  • The convergence hdis(tP) → Eul_d gives a universal asymptotic shape for all sufficiently large dilates of any polytope, independent of the original polytope.
  • For real-rooted reflexive polytopes, normalized volume must be at least 2^d, with the crosspolytope being the extremal case; this is a new lower bound from probabilistic tail bounds.
  • Sequences of real-rooted h*-polynomials whose variance grows without bound have asymptotically normal h*-distributions, allowing normal approximations to Ehrhart coefficient sums.
  • The formulas specialize to exact statistics for lattice zonotopes in terms of gcds of minors, so the h*-distribution can be computed from the generators alone.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The limit theorem suggests a quantitative refinement: the rate at which hdis(tP) approaches Eul_d likely depends on the distance between the roots of h*(tP;·) and the Eulerian roots; the paper does not address rates, and a bound here could yield finite-dilation error estimates.
  • The cluster-point analysis only shows all limits with nonzero first coordinate must have that coordinate zero; a natural research program would be to characterize the subset of that facet attainable as limits, using the one-row Hermite normal form families as building blocks.
  • The paper's sufficient condition for asymptotic normality is stated with a variance lower bound that, as written, is not valid at large dimension because E[X]^2 is Θ(d^2) rather than ≤ 1/4; the corrected bound Var ≥ 2c_{d-2}/(d(d-1)c_d) + (d-2)/12 would still support the corollary for the cited families.
  • Treating h*-vectors as distributions gives a probabilistic language for Ehrhart positivity: asking when c_{d-2} ≥ 0 becomes asking when the distribution has enough spread, and higher cumulants could be mapped onto higher Ehrhart coefficients.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper defines the h*-distribution of a lattice polytope by normalizing the coefficient vector of its h*-polynomial, and studies this distribution: closed-form mean and variance in terms of Ehrhart coefficients and boundary volume (Thm 3.5), convergence of the h*-distributions of dilates to the Eulerian distribution (Thm 3.21), tail inequalities for real-rooted h*-polynomials with applications to reflexive polytopes, and a sufficient condition for asymptotic normality of sequences of real-rooted h*-distributions (Thm 4.4, Cor 4.5). It also gives explicit formulas for zonotopes and connects the results to Pitman-Stanley polytopes and permutation statistics.

Significance. The paper introduces a useful distributional perspective on h*-vectors, with parameter-free formulas for mean and variance (Thm 3.5) that are derived cleanly from the binomial-basis expansion of the Ehrhart polynomial. The cluster-point theorem (Thm 3.21) is true and the use of Beck-Stapledon root convergence is appropriate. The real-rooted tail inequalities and the applications to zonotopes and Pitman-Stanley polytopes are interesting. However, the asymptotic-normality theorem (Thm 4.4) as stated is not correctly proved, and its sufficient condition is vacuous; this is a central stated contribution and requires revision.

major comments (2)
  1. [§4.2, Theorem 4.4 and Eq. (7)] The proof of Theorem 4.4 lower-bounds Var[X_{P_j}] by replacing E[X]^2 with 1/4 after using E[X] ≥ d_j/2. This is invalid: E[X] is Θ(d_j), so E[X]^2 is Θ(d_j^2), and discarding it introduces the spurious (3d_j^2+d_j−5)/12 term in (7). That term diverges for any sequence with d_j→∞, so condition (7) is vacuous and the theorem as stated gives no control from the Ehrhart coefficients. The correct reduction minimizes (d+1)E − E^2 over E∈[d/2,(d+1)/2], yielding Var ≥ 2c_{d−2}/(d(d−1)c_d) + (d−2)/12. Theorem 4.4 and the proof of Corollary 4.5 should be restated with this corrected bound; the corollary remains supported when c_{d_j−2}≥0, but the current derivation is invalid.
  2. [§3.3, proof of Theorem 3.21] The proof asserts that h*(tP;z) has d+1 roots β_{t,1},…,β_{t,d+1}, but h*(tP;z) has degree at most d and hence at most d roots; the Eulerian polynomial as defined also has degree d (with one root at 0). The product formula and the limit of the normalized product are therefore not justified as written. The convergence statement itself is true, but the argument needs a rigorous derivation, e.g. by working with the reciprocal polynomial or by treating missing roots as tending to infinity before applying Vieta's formulas.
minor comments (4)
  1. [Proposition 3.16] The proof says that finiteness of lattice simplices of bounded volume implies finiteness of h*-distributions for all lattice polytopes. The implication is not immediate; however, the conclusion follows from the simpler observation that each h_i^* ≤ Vol(P), so for fixed d and V there are at most (V+1)^{d+1} possible h*-vectors. Please replace the justification.
  2. [Theorem 3.21 notation] The indexing ρ_{d+1}=0 is confusing, since a degree-d polynomial has d roots. Clarify that the Eulerian polynomial has a root at 0 and that the root set has d elements, or explain the extended-root convention.
  3. [Example 3.3 / Figure 3] The isolated point corresponding to (1,7,1) is described as a black 'Y', but the grayscale plot makes it hard to locate. Consider adding a legend or an arrow for this point.
  4. [Title and author block] Typos: 'EHRHARTh ∗-DISTRIBUTIONS' and 'HLA V ACEK' should be fixed; also the L= lcm line in Example 3.17 has a formatting break.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: central derivations are self-contained or externally grounded; Theorem 4.4 has an algebraic flaw but not circularity.

full rationale

The central derivation is self-contained. Theorem 3.5 obtains the mean and variance formulas by equating coefficients of t^{d-1} and t^{d-2} in the binomial-basis expansion L_P(t) = sum_j h_j^* binom(t+d-j,d) with the Ehrhart coefficients c_{d-1} and c_{d-2}; no fitted parameter or target conclusion is fed back into the derivation. Theorem 3.14 is a triangular linear equivalence between moments and Ehrhart coefficients, not a prediction that reduces to its input. Theorem 3.21 is proved using the external Beck–Stapledon root-convergence theorem [8]; the remark that Corollary 3.9 'predicts' the theorem is only motivational, and the proof does not rely on the authors' own results. The real-rooted inequalities in Section 4.1 use Pitman/Hoeffding tail bounds and standard Ehrhart identities, all external. The self-citations ([3], [12], [5]) appear only in examples, remarks, or background and are not load-bearing for the main claims. There is a genuine mathematical concern in Theorem 4.4: the proof replaces E[X]^2 by 1/4 when deriving the variance lower bound, discarding a Theta(d^2) term and making condition (7) automatically divergent. However, this is an algebraic error in a sufficient-condition argument, not a circular reduction of the theorem's conclusion to its own definition or fitted value, so it does not raise the circularity score beyond the minor self-citation level.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted parameters; the central claims are derived from standard Ehrhart theory (binomial-basis expansion, h*-nonnegativity, boundary-volume formula) and the published Beck–Stapledon root-convergence theorem. The Section 4 results additionally assume h*-real-rootedness and B(P) ≤ Vol(P), which are domain restrictions, not universal facts; the paper notes B ≤ Vol fails for the unit cube.

assumptions (4)
  • standard math Ehrhart polynomial L_P(t) has degree d and binomial-basis expansion L_P(t)=Σ h*_j binom(t+d−j,d), with h*-nonnegativity by Stanley.
    Used throughout Section 3; Theorem 3.5 and Theorem 3.14 rest on it. Cited to [7,14,25].
  • standard math Beck–Stapledon: roots of h*(tP;z) converge to roots of the Eulerian polynomial as t→∞.
    Load-bearing for Theorem 3.21 (the Eulerian limit) and Theorem 3.23; cited to [8].
  • domain assumption h*(P;z) is real-rooted for the distributions in Section 4.
    Assumed for all of Section 4 to apply Hoeffding's inequalities and the Var→∞ normality criterion; not automatic for general lattice polytopes.
  • domain assumption B(P_j) ≤ Vol(P_j) in Theorem 4.4.
    Used to lower-bound E[X]; fails e.g. for unit cubes (B=2Vol). Paper acknowledges this restriction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ehrhart $h^*$-distributions." pith.science (2026). https://pith.science/paper/53TLIK3O

@misc{pith2026260715886,
  author       = {Pith},
  title        = {Pith review of: Ehrhart $h^*$-distributions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/53TLIK3O}},
  note         = {Machine review of arXiv:2607.15886}
}
abstract

Every polynomial with real non-negative coefficients yields a finite probability distribution after normalization. The Ehrhart $h^*$-polynomial of a lattice polytope $P$ is a non-negative integer polynomial that encodes the integer-point counts for positive integer dilations of $P$. We study the corresponding finite distributions, which we call $h^*$-distributions. We determine the mean and variance of these distributions, establish a connection between higher moments and Ehrhart polynomial coefficients, and study their cluster points in the $d$-dimensional probability simplex. We consider the special case of real-rooted $h^*$-distributions, applying existing tail bounds to obtain new linear inequalities for the coefficients of real-rooted $h^*$-polynomials arising from reflexive polytopes. We conclude by establishing sufficient conditions under which a sequence of real-rooted $h^*$-distributions is asymptotically normal, and we apply our results to various families of polytopes, including zonotopes and Pitman-Stanley polytopes.

Figures

Figures reproduced from arXiv: 2607.15886 by the authors.

Figure 2
Figure 2. Line plots of all h ∗ - distributions for flow poly￾topes of full DAGs with 9 ver￾tices. The horizontal axis is the index of h ∗/ Pd i=0 h ∗ i while the vertical axis is the value of h ∗ j / Pd i=0 h ∗ i . informative. However, when the corresponding distributions for these vectors are plotted in [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. A plot of (h ∗ 1 /V, h∗ 2 /V ) for all h ∗ distributions of two-dimensional lattice polygons with h ∗ 2 < 200, as described in Example 3.3. The horizontal axis corresponds to the value h ∗ 1 /V while the vertical axis corresponds to the value h ∗ 2 /V . of objects. Given a lattice simplex P with vertices v0, . . . , vd, the half-open fundamental parallelepiped for P is ΠP := (X d i=0 λi(1, vi) : 0 ≤ λi < 1 ) . Propo… view at source ↗
Figure 4
Figure 4. For 100 random 3-dimensional simplices, a plot of the trajecto￾ries of the last two coordinates of the h ∗ -distributions for the dilates of each simplex. The horizontal axis corresponds to the value h ∗ 2 /V while the vertical axis corresponds to the value h ∗ 3 /V . This illustrates that the truncated h ∗ - distributions for dilates of P approach the point (4/6, 1/6). As suggested by Example 3.19, we will prove ne… view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Eventually nondecreasing quasi-polynomials

    math.CO 2026-07 accept novelty 7.0 of 10

    A quasi-polynomial is eventually nondecreasing exactly when certain moment inequalities on its h-vector hold, and the number of such nonnegative h-vectors of fixed degree and period is a quasi-polynomial in the volume.

Reference graph

Works this paper leans on

26 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    Athanasiadis, Qiqi Xiao, and Xue Yan,Lattice point enumeration of some arbor polytopes, 2026, Preprint,https://arxiv.org/abs/2603.11654

    Christos A. Athanasiadis, Qiqi Xiao, and Xue Yan,Lattice point enumeration of some arbor polytopes, 2026, Preprint,https://arxiv.org/abs/2603.11654

    arXiv 2026

  2. [2]

    Morales,Luck and magic for Pitman-Stanley polytopes and parking functions, 2026, https://arxiv.org/abs/2603.19194

    Nicolas Avila, Luis Ferroni, and Alejandro H. Morales,Luck and magic for Pitman-Stanley polytopes and parking functions, 2026, https://arxiv.org/abs/2603.19194

    arXiv 2026

  3. [3]

    Vindas-Mel´ endez, Localh ∗-polynomials for one-row Hermite normal form simplices, Beitr

    Esme Bajo, Benjamin Braun, Giulia Codenotti, Johannes Hofscheier, and Andr´ es R. Vindas-Mel´ endez, Localh ∗-polynomials for one-row Hermite normal form simplices, Beitr. Algebra Geom. (2025), published online

    2025

  4. [4]

    Gabriele Balletti and Akihiro Higashitani,Universal inequalities in Ehrhart theory, Isr. J. Math.227 (2018), 843–859

    2018

  5. [5]

    Math.244 (2013), 925–954

    Matthias Beck and Benjamin Braun,Euler-Mahonian statistics via polyhedral geometry, Adv. Math.244 (2013), 925–954

    2013

  6. [6]

    Matthias Beck, Katharina Jochemko, and Emily McCullough,h ∗-polynomials of zonotopes, Trans. Amer. Math. Soc.371(2019), no. 3, 2021–2042

    2019

  7. [7]

    Matthias Beck and Sinai Robins,Computing the continuous discretely, second ed., Undergraduate Texts in Mathematics, Springer, New York, 2015, Integer-point enumeration in polyhedra, With illustrations by David Austin

    2015

  8. [8]

    Z.264(2010), no

    Matthias Beck and Alan Stapledon,On the log-concavity of Hilbert series of Veronese subrings and Ehrhart series, Math. Z.264(2010), no. 1, 195–207

    2010

Show all 26 references
  1. [9]

    (N.S.)30(2024), no

    Matias von Bell, Benjamin Braun, Kaitlin Bruegge, Derek Hanely, Zachery Peterson, Khrystyna Ser- hiyenko, and Martha Yip,Triangulations of flow polytopes, ample framings, and gentle algebras, Selecta Math. (N.S.)30(2024), no. 3, Paper No. 55, 34

    2024

  2. [10]

    Petter Br¨ and´ en,Unimodality, log-concavity, real-rootedness and beyond, Handbook of enumerative com- binatorics, Discrete Math. Appl. (Boca Raton), CRC Press, Boca Raton, FL, 2015, pp. 437–483

    2015

  3. [11]

    Benjamin Braun,Unimodality problems in Ehrhart theory, Recent trends in combinatorics, IMA Vol. Math. Appl., vol. 159, Springer, [Cham], 2016, pp. 687–711

    2016

  4. [12]

    Benjamin Braun, Christopher O’Neill, and Antwon Park,Eventually nondecreasing quasi-polynomials, preprint, 2026

    2026

  5. [13]

    Winfried Bruns and Joseph Gubeladze,Polytopes, rings, andK-theory, Springer Monographs in Math- ematics, Springer, Dordrecht, 2009

    2009

  6. [14]

    Eug` ene Ehrhart,Sur les poly` edres rationnels homoth´ etiques ` andimensions, C. R. Acad. Sci. Paris254 (1962), 616–618

    1962

  7. [15]

    Luis Ferroni and Akihiro Higashitani,Examples and counterexamples in Ehrhart theory, EMS Surveys in Mathematical Sciences (2024), Published online first, https://doi.org/10.4171/emss/86

    2024 doi

  8. [16]

    Takayuki Hibi,Algebraic combinatorics on convex polytopes, Carslaw Publications, Glebe, 1992

    1992

  9. [17]

    Geom.47(2012), no

    Akihiro Higashitani,Counterexamples of the conjecture on roots of Ehrhart polynomials, Discrete Com- put. Geom.47(2012), no. 3, 618–623

    2012

  10. [18]

    Vindas-Mel´ endez,Lattice slices, Ehrhart polyno- mials, and magic positivity of generalized parking-function polytopes, 2026, in preparation

    Charlie Hill, Ambrose Luo, Vu Trinh, and Andr´ es R. Vindas-Mel´ endez,Lattice slices, Ehrhart polyno- mials, and magic positivity of generalized parking-function polytopes, 2026, in preparation

    2026

  11. [19]

    Masato Konoike,A new class of magic positive Ehrhart polynomials of reflexive polytopes, S´ em. Lothar. Combin.93B(2025), Art. 148, 11. MR 4975683

    2025

  12. [20]

    Lagarias and G¨ unter M

    Jeffrey C. Lagarias and G¨ unter M. Ziegler,Bounds for lattice polytopes containing a fixed number of interior points in a sublattice, Canad. J. Math.43(1991), no. 5, 1022–1035

    1991

  13. [21]

    Feihu Liu and Zihao Zhang,Magic positivity for the Ehrhart polynomials of partial permutohedra, 2026, Preprint,https://arxiv.org/abs/2607.03854

    2026 arXiv

  14. [22]

    Jim Pitman,Probabilistic bounds on the coefficients of polynomials with only real zeros, J. Combin. Theory Ser. A77(1997), no. 2, 279–303. 18 BRAUN, HLA V ACEK, MEZA, MORALES, AND VINDAS-MEL ´ENDEZ

    1997

  15. [23]

    Alexander Schrijver,Theory of linear and integer programming, Wiley-Interscience Series in Discrete Mathematics, John Wiley & Sons, Ltd., Chichester, 1986, A Wiley-Interscience Publication

    1986

  16. [24]

    Scott,On convex lattice polygons, Bull

    P.R. Scott,On convex lattice polygons, Bull. Austral. Math. Soc.15(1976), no. 3, 395–399

    1976

  17. [25]

    Stanley,Decompositions of rational convex polytopes, Ann

    Richard P. Stanley,Decompositions of rational convex polytopes, Ann. Discrete Math.6(1980), 333–342

    1980

  18. [26]

    Discrete Math

    ,A zonotope associated with graphical degree sequences, Applied geometry and discrete mathe- matics, DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 4, Amer. Math. Soc., Providence, RI, 1991, pp. 555–570. Department of Mathematics, University of Kentucky Email address:b...

    1991

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.