pith. sign in

arxiv: 2604.24377 · v1 · submitted 2026-04-27 · 🧮 math.CO · math.AC

Boundary h^ast-vectors and unimodular triangulations

Martina Juhnke , Steffen Schlie This is my paper

Pith reviewed 2026-05-08 02:38 UTC · model grok-4.3

classification 🧮 math.CO math.AC
keywords lattice polytopesEhrhart h*-polynomialunimodular triangulationsSturmfels correspondenceDehn-Sommerville relationsboundary h*-vectortoric idealsGröbner degenerations
0
0 comments X

The pith

A boundary analogue of the Sturmfels correspondence relates the h*-polynomial of a lattice polytope boundary to the h-polynomial of any regular unimodular triangulation.

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

The paper develops a direct connection between the Ehrhart h*-polynomial, which tracks the number of lattice points in dilates of a polytope, and the face-counting h-polynomial of triangulations of its boundary. It proves this link by establishing a boundary version of the Sturmfels correspondence that uses Gröbner degenerations of toric ideals. This link transfers classical results on symmetry, unimodality, and coefficient bounds from simplicial polytopes into the lattice setting. A sympathetic reader would care because the connection supplies concrete Dehn-Sommerville-type identities that relate interior and boundary lattice-point data without needing full interior triangulations.

Core claim

Our main result is a boundary analogue of the well-known Sturmfels correspondence. This allows us to connect the boundary h*-polynomial to the h-polynomial of any regular unimodular triangulation, in analogy to the classical Betke-McMullen Theorem. Providing a direct link between Ehrhart theory and the face enumeration of simplicial complexes, we then transfer structural results from the theory of simplicial polytopes to the setting of lattice polytopes. In particular, we derive general Dehn-Sommerville-type relations between h*(P) and h*(∂P). Under the additional assumption of ∂P admitting a regular unimodular triangulation, we recover old and prove new characterization results concerning s

What carries the argument

The boundary analogue of the Sturmfels correspondence, which identifies the boundary h*-polynomial with the h-polynomial of a regular unimodular triangulation of the boundary via Gröbner bases of the associated toric ideal.

If this is right

  • General Dehn-Sommerville-type relations hold between the h*-polynomials of any lattice polytope and its boundary.
  • When the boundary admits a regular unimodular triangulation, the boundary h*-polynomial is symmetric.
  • Under the same assumption the boundary h*-polynomial is unimodal.
  • Coefficient-wise upper and lower bounds on the differences between h*(P) and h*(∂P) become available once a regular unimodular triangulation exists.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The general Dehn-Sommerville relations may still be useful for lattice polytopes whose boundaries lack regular unimodular triangulations.
  • The correspondence supplies a combinatorial route to verify unimodality of Ehrhart h*-vectors by inspecting a single triangulation.
  • Similar boundary versions of other correspondences in toric geometry might be obtainable by the same Gröbner-degeneration technique.

Load-bearing premise

The results on symmetry, unimodality, and coefficient-wise bounds require the additional assumption that the boundary admits a regular unimodular triangulation.

What would settle it

An explicit lattice polytope whose boundary possesses a regular unimodular triangulation yet whose boundary h*-polynomial differs from the h-polynomial of that triangulation would falsify the main correspondence.

Figures

Figures reproduced from arXiv: 2604.24377 by Martina Juhnke, Steffen Schlie.

Figure 1
Figure 1. Figure 1: Unimodular triangulations of a lattice polygon (Example 1.1) and the 3-dimensional octahedron (Example 1.2). triangulate P unimodularly by coning over all facets of P with the origin as apex (see view at source ↗
Figure 2
Figure 2. Figure 2: Triangulations of the closed manifold S 1 through polygons with n = 3, 6 and 12 vertices. (i) hj = hd−j for all j, (ii) 1 = h0 ≤ h1 ≤ · · · ≤ h⌊d/2⌋, and (iii) the numbers g := (g0, g1, . . . , g⌊d/2⌋), where gj := hj − hj−1, form an M-sequence. We will provide the definition of an M-sequence in Section 4.2. The Generalized Lower Bound Theorem characterizes the equality cases in (ii) of Theorem 2.2 as foll… view at source ↗
Figure 3
Figure 3. Figure 3: Illustration of binomial relations eliminated by component IP of toric boundary ideal I∂P of P = conv{(0, 0),(2, 0),(2, 1),(1, 2),(0, 2)}. 16 view at source ↗
Figure 4
Figure 4. Figure 4: 1-row Hermite normal form simplices with (d, k, N) = (2, 2, 5) and (d, k, N) = (3, 1, 4). Remark 4.8. Recently, Bajo and Beck showed that h ∗ (P) = h ∗ (∂P) if P is reflexive (see Corollary 5.4 in [2]). If ∂P additionally admits a regular unimodular triangulation, Theorem 4.6 imposes very strong conditions on the form of h ∗ (P). More precisely, we have the following corollary. Corollary 4.9. Let P ⊂ R d b… view at source ↗
read the original abstract

We study the Ehrhart $h^\ast$-polynomial of (the boundary of) a lattice polytope via regular unimodular triangulations and Gr\"obner degenerations of toric ideals. Our main result is a boundary analogue of the well-known Sturmfels correspondence. This allows us to connect the boundary $h^\ast$-polynomial to the $h$-polynomial of any regular unimodular triangulation, in analogy to the classical Betke-McMullen Theorem. Providing a direct link between Ehrhart theory and the face enumeration of simplicial complexes, we then transfer structural results from the theory of simplicial polytopes to the setting of lattice polytopes. In particular, we derive general Dehn-Sommerville-type relations between $h^\ast(P)$ and $h^\ast(\partial P)$. Under the additional assumption of $\partial P$ admitting a regular unimodular triangulation, we recover old and prove new characterization results concerning symmetry or unimodality, as well as upper and lower bounds for coefficient-wise differences within $h^\ast(P)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes a boundary analogue of the Sturmfels correspondence for lattice polytopes. This links the boundary h*-polynomial of a lattice polytope P to the h-polynomial of any regular unimodular triangulation of ∂P, in direct analogy to the Betke-McMullen theorem. Using this link, the authors derive unconditional Dehn-Sommerville-type relations between h*(P) and h*(∂P), and under the additional hypothesis that ∂P admits a regular unimodular triangulation they obtain symmetry, unimodality, and coefficient-wise bounds on differences within h*(P).

Significance. If the central correspondence holds, the work supplies a concrete bridge between Ehrhart theory and the face-vector theory of simplicial complexes. This permits the systematic transfer of structural results (symmetry, unimodality, bounds) from the theory of simplicial polytopes to the setting of lattice polytopes, while the explicit restriction of the stronger conclusions to the triangulable case avoids overstatement. The approach via Gröbner degenerations of toric ideals is a natural extension of existing machinery and could prove useful for further computations in polyhedral combinatorics.

minor comments (3)
  1. Abstract, line 3: the phrase 'recover old and prove new characterization results' is imprecise; the introduction or §4 should list the specific prior results recovered (e.g., which symmetry or unimodality theorems) and which are new.
  2. The notation h^*(∂P) is introduced without an explicit definition in the abstract; a short paragraph in §2 clarifying the precise relation between the boundary h*-vector and the usual Ehrhart h*-vector of P would improve readability.
  3. The statement that the Dehn-Sommerville-type relations hold 'unconditionally' should be accompanied by a brief remark (perhaps in §3) on whether they reduce to the classical Dehn-Sommerville equations when P is a simplex.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the boundary analogue of the Sturmfels correspondence, and recommendation for minor revision. The report correctly identifies the link to Ehrhart theory and simplicial complexes as well as the careful restriction of stronger results to the triangulable case.

Circularity Check

0 steps flagged

No significant circularity; derivation extends established correspondences independently

full rationale

The central result constructs a boundary analogue of the Sturmfels correspondence by applying Gröbner degenerations of toric ideals to regular unimodular triangulations of the boundary, directly linking the boundary h*-polynomial to the h-polynomial of the triangulation in explicit analogy to the classical Betke-McMullen theorem. No equation defines the new boundary quantity in terms of itself, no fitted parameter from the same data is relabeled as a prediction, and no load-bearing step relies on a self-citation chain whose content is unverified outside the paper. Stronger properties (symmetry, unimodality, bounds) are conditioned on the explicit additional assumption that a regular unimodular triangulation exists, while the unconditional Dehn-Sommerville-type relations follow from the same external machinery. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard definitions and theorems of Ehrhart theory, toric ideals, and regular unimodular triangulations of lattice polytopes; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Lattice polytopes are convex bodies with integer vertices; their Ehrhart polynomials and h*-polynomials are well-defined.
    Invoked throughout the abstract as the ambient setting for the boundary h*-polynomial.
  • domain assumption Regular unimodular triangulations exist for certain lattice polytopes and induce Gröbner degenerations of the associated toric ideals.
    Used to state the main correspondence and the additional results that require the triangulation hypothesis.

pith-pipeline@v0.9.0 · 5487 in / 1511 out tokens · 24411 ms · 2026-05-08T02:38:10.875346+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    Athanasiadis

    C.A. Athanasiadis. h∗-vectors, Eulerian polynomials and stable polytopes of graphs. Electron. J. Combin., 11(2):Research Paper 6, 13, 2004/06

    work page 2004

  2. [2]

    Bajo and M

    E. Bajo and M. Beck. Boundary H ∗-polynomials of rational polytopes. SIAM J. Discrete Math. , 37(3):1952–1969, 2023

    work page 1952

  3. [3]

    M. Beck, B. Braun, and A.R. Vindas-Mel´ endez. Decompositions of Ehrhart h∗-polynomials for rational polytopes. Discrete Comput. Geom. , 68(1):50–71, 2022

    work page 2022

  4. [4]

    Beck and S

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

    work page 2015

  5. [5]

    Betke and P

    U. Betke and P. McMullen. Lattice points in lattice polytopes. Monatsh. Math. , 99(4):253–265, 1985

    work page 1985

  6. [6]

    Billera and C.W

    L.J. Billera and C.W. Lee. A proof of the sufficiency of McMullen’s conditions for f-vectors of simplicial convex polytopes. J. Combin. Theory Ser. A , 31(3):237–255, 1981

    work page 1981

  7. [7]

    Bruckamp, J

    J. Bruckamp, J. B. Caicedo, and M. Juhnke. Unimodular triangulations and ehrhart theory for hermite normal form simplices. in preparation, 2026+

    work page 2026

  8. [8]

    D.A. Cox, J. Little, and D. O’Shea. Ideals, Varieties, and Algorithms . Springer, 2020

    work page 2020

  9. [9]

    de Loera, J

    J.A. de Loera, J. Rambau, and F. Santos. Triangulations, volume 25 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, 2010. Structures for algorithms and applications

    work page 2010

  10. [10]

    E. Ehrhart. Sur les poly` edres rationnels homoth´ etiques ` an dimensions. C. R. Acad. Sci. Paris , 254:616– 618, 1962

    work page 1962

  11. [11]

    Ferroni and A

    L. Ferroni and A. Higashitani. Examples and counterexamples in Ehrhart theory. https://doi.org/10.48550/arXiv.2307.10852, 2024

    work page doi:10.48550/arxiv.2307.10852 2024

  12. [12]

    H.-G. Gr¨ abe. Generalized Dehn-Sommerville equations and an upper bound theorem. Beitr¨ age Algebra Geom., 25:47–60, 1987

    work page 1987

  13. [13]

    Haase, A

    C. Haase, A. Paffenholz, L.C. Piechnik, and F. Santos. Existence of unimodular triangulations – positive results. Mem. Amer. Math. Soc. , 270(1321):v+83, 2021

    work page 2021

  14. [14]

    T. Hibi. Algebraic combinatorics on convex polytopes . Carslaw Publications, Glebe, 1992

    work page 1992

  15. [15]

    C.H. Jones. Generalized Hockey Stick Identities and N-Dimensional Block Walking. Fibonacci Quarterly, 34(3):280–288, 1996

    work page 1996

  16. [16]

    Juhnke-Kubitzke and S

    M. Juhnke-Kubitzke and S. Murai. Balanced generalized lower bound inequality for simplicial polytopes. Selecta Math. (N.S.) , 24(2):1677–1689, 2018. 23

    work page 2018

  17. [17]

    Klee and I

    S. Klee and I. Novik. Face enumeration on simplicial complexes. In Recent trends in combinatorics , volume 159 of IMA Vol. Math. Appl. , pages 653–686. Springer, [Cham], 2016

    work page 2016

  18. [18]

    V. Klee. A combinatorial analogue of Poincar´ e’s duality theorem.Canadian J. Math. , 16:517–531, 1964

    work page 1964

  19. [19]

    Macaulay

    F.S. Macaulay. Some properties of enumeration in the theory of modular systems. Proc. Lond. Math. Soc., 26(1):531–555, 1927

    work page 1927

  20. [20]

    Macdonald

    I.G. Macdonald. Polynomials associated with finite cell-complexes. J. London Math. Soc. (2) , 4:181–192, 1971

    work page 1971

  21. [21]

    McMullen and D.W

    P. McMullen and D.W. Walkup. A generalized lower-bound conjecture for simplicial polytopes. Mathe- matika, 18:264–273, 1971

    work page 1971

  22. [22]

    Miller and B

    E. Miller and B. Sturmfels. Combinatorial Commutative Algebra , volume 227 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2005

    work page 2005

  23. [23]

    Murai and E

    S. Murai and E. Nevo. On the generalized lower bound conjecture for polytopes and spheres. Acta Math., 210(1):185–202, 2013

    work page 2013

  24. [24]

    Novik and E

    I. Novik and E. Swartz. Applications of Klee’s Dehn-Sommerville relations. Discrete Comput. Geom. , 42(2):261–276, 2009

    work page 2009

  25. [25]

    G.A. Pick. Geometrisches zur Zahlenlehre. Sitzenber. Lotos (Prague) , 19:311–319, 1899

    work page

  26. [26]

    Klee and I

    Steven S. Klee and I. Novik. Lower bound theorems and a generalized lower bound conjecture for balanced simplicial complexes. Mathematika, 62(2):441–477, 2016

    work page 2016

  27. [27]

    R. P. Stanley. Decompositions of rational convex polytopes. In J. Srivastava, editor, Combinatorial Mathematics, Optimal Designs and Their Applications , volume 6 of Annals of Discrete Mathematics , pages 333–342. Elsevier, 1980

    work page 1980

  28. [28]

    R.P. Stanley. The number of faces of a simplicial convex polytope. Adv. in Math. , 35(3):236–238, 1980

    work page 1980

  29. [29]

    R.P. Stanley. Combinatorics and commutative algebra , volume 41 of Progress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1983

    work page 1983

  30. [30]

    Stapledon

    A. Stapledon. Inequalities and Ehrhart δ-vectors. Trans. Amer. Math. Soc. , 361(10):5615–5626, 2009

    work page 2009

  31. [31]

    Sturmfels

    B. Sturmfels. Gr¨ obner Bases and Convex Polytopes, volume 8 of University Lecture Series . American Mathematical Society, Providence, RI, 1996. Universit¨at Osnabr¨uck, Fakult¨at f¨ur Mathematik, Albrechtstraße 28a, 49076 Osnabr¨uck, Germany Email address : martina.juhnke@uni-osnabrueck.de Universit¨at Osnabr¨uck, Fakult¨at f¨ur Mathematik, Albrechtstraß...

    work page 1996