pith. machine review for the scientific record. sign in

arxiv: 2605.11820 · v1 · submitted 2026-05-12 · 🧮 math.CO

Recognition: no theorem link

Classification and counting of Gorenstein simplices with h^*-polynomial 1+t^k+cdots+t^{(v-1)k}

Akiyoshi Tsuchiya

Pith reviewed 2026-05-13 05:10 UTC · model grok-4.3

classification 🧮 math.CO
keywords Gorenstein simplicesh*-polynomialunimodular equivalencedivisor latticestrict divisor chainslattice polytopesclassificationenumeration
0
0 comments X

The pith

Unimodular classes of Gorenstein simplices with h*-polynomial 1+t^k+⋯+t^{(v-1)k} are parametrized by strict divisor chains of v.

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

This paper classifies Gorenstein simplices that are not lattice pyramids and have h*-polynomials exactly of the form 1 + t^k + t^{2k} + ⋯ + t^{(v-1)k}. It proves that their unimodular equivalence classes are parametrized by strict divisor chains in the divisor lattice of v together with recursive combinatorial data. The parametrization yields an explicit formula for the number of classes that depends only on the divisor lattice of v, confirming a prior conjecture for arbitrary v. A reader would care because it turns an algebraic-combinatorial enumeration problem into a concrete, divisor-based count.

Core claim

The unimodular equivalence classes of Gorenstein simplices with h*-polynomial 1+t^k+⋯+t^{(v-1)k} are parametrized by strict divisor chains in the divisor lattice of v together with certain recursive combinatorial data, and this yields an explicit formula for the number of classes.

What carries the argument

Strict divisor chains in the divisor lattice of v, together with recursive combinatorial data, that parametrize the unimodular equivalence classes.

Load-bearing premise

The simplices are not lattice pyramids and their h*-polynomials match exactly the stated form for some positive integer k, with unimodular equivalence as the right notion of sameness.

What would settle it

A Gorenstein simplex with the given h*-polynomial whose unimodular class cannot be matched to any strict divisor chain of v, or an explicit count of classes that differs from the formula obtained from the divisor lattice.

read the original abstract

Hibi, Yoshida, and the author classified Gorenstein simplices which are not lattice pyramids and whose \(h^*\)-polynomials are of the form \(1+t^k+t^{2k}+\cdots+t^{(v-1)k}\) when \(v\) is a prime number or the product of two prime numbers. They also conjectured that, for general \(v\), the number of unimodular equivalence classes of such simplices depends only on the divisor lattice of \(v\). This paper proves the conjecture by giving a constructive classification of Gorenstein simplices whose \(h^*\)-polynomials are of this form. More precisely, their unimodular equivalence classes are shown to be parametrized by strict divisor chains in the divisor lattice of \(v\) together with certain recursive combinatorial data. As a consequence, an explicit formula for the number of equivalence classes in terms of the divisor lattice of \(v\) is obtained.

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 / 2 minor

Summary. The paper proves the conjecture of Hibi, Yoshida, and the author by giving a constructive classification of non-lattice-pyramid Gorenstein simplices whose h*-polynomials are exactly 1 + t^k + ⋯ + t^{(v-1)k}. Their unimodular equivalence classes are parametrized by strict chains in the divisor lattice of v together with recursively defined combinatorial data; this parametrization yields an explicit formula for the number of classes that depends only on the divisor lattice of v.

Significance. If the result holds, the work is significant because it supplies a constructive bijection and an explicit counting formula obtained directly by enumeration over the divisor poset. These features extend the authors' earlier classification for prime and semiprime v without new unverified inductive hypotheses, and they furnish a uniform combinatorial framework for these Gorenstein simplices in Ehrhart theory.

minor comments (2)
  1. [Section 4] The recursive construction of the combinatorial datum attached to each divisor chain is described in prose; a short pseudocode outline or a table listing the lattice-point choices at each step would improve readability.
  2. [Introduction] The statement that the parametrization is bijective is central; while the abstract asserts it, an explicit sentence in the introduction summarizing the two directions of the bijection would help readers track the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive recommendation of minor revision. The referee's summary and significance assessment accurately capture the main results and their relation to the earlier work on prime and semiprime cases.

Circularity Check

0 steps flagged

No significant circularity; constructive classification is independent

full rationale

The manuscript cites prior joint work (Hibi-Yoshida-Tsuchiya) solely for the special-case classifications when v is prime or semiprime and for the statement of the conjecture that the count depends only on the divisor lattice of v. The central result is a new constructive bijection: classes are parametrized explicitly by strict chains in the divisor poset of v together with recursively defined combinatorial choices of lattice points satisfying the h*-coefficient conditions. This parametrization and the ensuing counting formula are derived directly from the combinatorial construction without reducing to the cited results by definition, fitting, or inductive hypothesis. The prior citation supplies context and verification for base cases but is not load-bearing for the general proof, which stands on its own explicit enumeration over the poset.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The work rests on standard definitions of Gorenstein simplices, h*-polynomials, and unimodular equivalence from the Ehrhart-theory literature, together with the algebraic structure of the divisor lattice of v.

axioms (3)
  • domain assumption Gorenstein simplices are lattice polytopes whose dual is also a lattice polytope up to translation
    Invoked as the ambient class of objects being classified.
  • domain assumption Unimodular transformations preserve the h*-polynomial
    Used to define equivalence classes.
  • standard math The divisor lattice of v is a distributive lattice whose chains correspond to combinatorial data
    Standard fact about positive integers used to index the classes.

pith-pipeline@v0.9.0 · 5469 in / 1437 out tokens · 74519 ms · 2026-05-13T05:10:57.965232+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

53 extracted references · 53 canonical work pages · 2 internal anchors

  1. [1]

    Positroids and non-crossing partitions , JOURNAL =

    Ardila, Federico and Rinc\'. Positroids and non-crossing partitions , JOURNAL =. 2016 , NUMBER =. doi:10.1090/tran/6331 , URL =

    work page doi:10.1090/tran/6331 2016

  2. [2]

    Ohsugi, Hidefumi and Shibata, Kazuki and Tsuchiya, Akiyoshi , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/blms.12789 , URL =

    work page doi:10.1112/blms.12789 2023

  3. [3]

    Geometric algorithms and combinatorial optimization , SERIES =

    Gr\". Geometric algorithms and combinatorial optimization , SERIES =. 1993 , PAGES =. doi:10.1007/978-3-642-78240-4 , URL =

    work page doi:10.1007/978-3-642-78240-4 1993

  4. [4]

    , TITLE =

    Maffray, F. , TITLE =. Recent advances in algorithms and combinatorics , SERIES =. 2003 , ISBN =. doi:10.1007/0-387-22444-0\_3 , URL =

    work page doi:10.1007/0-387-22444-0 2003

  5. [5]

    Israel J

    Ohsugi, Hidefumi and Tsuchiya, Akiyoshi , TITLE =. Israel J. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s11856-020-2012-1 , URL =

    work page doi:10.1007/s11856-020-2012-1 2020

  6. [6]

    Discrete Comput

    Ohsugi, Hidefumi and Tsuchiya, Akiyoshi , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00454-020-00236-6 , URL =

    work page doi:10.1007/s00454-020-00236-6 2021

  7. [7]

    Selecta Math

    Ohsugi, Hidefumi and Tsuchiya, Akiyoshi , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00029-020-00588-0 , URL =

    work page doi:10.1007/s00029-020-00588-0 2020

  8. [8]

    Karu, Kalle , TITLE =. Compos. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1112/S0010437X06001928 , URL =

    work page doi:10.1112/s0010437x06001928 2006

  9. [9]

    Discrete Comput

    Kohl, Florian and Olsen, McCabe and Sanyal, Raman , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00454-020-00199-8 , URL =

    work page doi:10.1007/s00454-020-00199-8 2020

  10. [10]

    1996 , PAGES =

    Sturmfels, Bernd , TITLE =. 1996 , PAGES =. doi:10.1090/ulect/008 , URL =

    work page doi:10.1090/ulect/008 1996

  11. [11]

    2015 , PAGES =

    Beck, Matthias and Robins, Sinai , TITLE =. 2015 , PAGES =. doi:10.1007/978-1-4939-2969-6 , URL =

    work page doi:10.1007/978-1-4939-2969-6 2015

  12. [12]

    Combinatorica , FJOURNAL =

    Hibi, Takayuki , TITLE =. Combinatorica , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF01204726 , URL =

    work page doi:10.1007/bf01204726 1992

  13. [13]

    Kempe equivalence and quadratic toric rings

    Hidefumi Ohsugi and Akiyoshi Tsuchiya , Title =. 2023, arXiv:2303.12824 , Eprint =

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  14. [14]

    Asratian, A. S. , TITLE =. J. Combin. Theory Ser. B , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.jctb.2009.01.001 , URL =

    work page doi:10.1016/j.jctb.2009.01.001 2009

  15. [15]

    Binomial ideals , SERIES =

    Herzog, J\". Binomial ideals , SERIES =. 2018 , PAGES =. doi:10.1007/978-3-319-95349-6 , URL =

    work page doi:10.1007/978-3-319-95349-6 2018

  16. [16]

    Monomial ideals , SERIES =

    Herzog, J\". Monomial ideals , SERIES =. 2011 , PAGES =. doi:10.1007/978-0-85729-106-6 , URL =

    work page doi:10.1007/978-0-85729-106-6 2011

  17. [17]

    On dart-free perfectly contractile graphs , JOURNAL =

    Sales, Cl\'. On dart-free perfectly contractile graphs , JOURNAL =. 2004 , NUMBER =. doi:10.1016/j.tcs.2003.11.026 , URL =

    work page doi:10.1016/j.tcs.2003.11.026 2004

  18. [18]

    Mathematics , FJOURNAL =

    Matsuda, Kazunori and Ohsugi, Hidefumi and Shibata, Kazuki , TITLE =. Mathematics , FJOURNAL =. 2019 , PAGES =. doi:10.3390/math7070613 , URL =

    work page doi:10.3390/math7070613 2019

  19. [19]

    Asratian, A. S. , TITLE =. J. Combin. Theory Ser. B , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/jctb.1998.1838 , URL =

    work page doi:10.1006/jctb.1998.1838 1998

  20. [20]

    Asratian, A. S. and Mirumyan, A. N. , TITLE =. Dokl. Akad. Nauk SSSR , FJOURNAL =. 1991 , NUMBER =

    work page 1991

  21. [21]

    Domokos, M\'aty\'as and Jo\'o, D\'aniel , TITLE =. Proc. Roy. Soc. Edinburgh Sect. A , FJOURNAL =. 2016 , NUMBER =. doi:10.1017/S0308210515000529 , URL =

    work page doi:10.1017/s0308210515000529 2016

  22. [22]

    Diaconis, Persi and Eriksson, Nicholas , TITLE =. J. Symbolic Comput. , FJOURNAL =. 2006 , NUMBER =. doi:10.1016/j.jsc.2005.04.009 , URL =

    work page doi:10.1016/j.jsc.2005.04.009 2006

  23. [23]

    Yamaguchi, Takashi and Ogawa, Mitsunori and Takemura, Akimichi , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s10801-013-0488-z , URL =

    work page doi:10.1007/s10801-013-0488-z 2014

  24. [24]

    Berge, Claude , TITLE =. Publ. Inst. Statist. Univ. Paris , FJOURNAL =. 1960 , PAGES =

    work page 1960

  25. [25]

    Chudnovsky, Maria and Robertson, Neil and Seymour, Paul and Thomas, Robin , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2006 , NUMBER =. doi:10.4007/annals.2006.164.51 , URL =

    work page doi:10.4007/annals.2006.164.51 2006

  26. [26]

    Maffray, Fr\'ed\'eric , TITLE =. J. Combin. Theory Ser. B , FJOURNAL =. 1992 , NUMBER =. doi:10.1016/0095-8956(92)90028-V , URL =

    work page doi:10.1016/0095-8956(92)90028-v 1992

  27. [27]

    Trotter, Jr., L. E. , TITLE =. Math. Programming , FJOURNAL =. 1977 , NUMBER =. doi:10.1007/BF01593791 , URL =

    work page doi:10.1007/bf01593791 1977

  28. [28]

    , TITLE =

    Bertschi, Marc E. , TITLE =. J. Combin. Theory Ser. B , FJOURNAL =. 1990 , NUMBER =. doi:10.1016/0095-8956(90)90077-D , URL =

    work page doi:10.1016/0095-8956(90)90077-d 1990

  29. [29]

    and Piperno, Adolfo , TITLE =

    McKay, Brendan D. and Piperno, Adolfo , TITLE =. J. Symbolic Comput. , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.jsc.2013.09.003 , URL =

    work page doi:10.1016/j.jsc.2013.09.003 2014

  30. [30]

    Bruns and B

    W. Bruns and B. Ichim and C. S\". Normaliz. Algorithms for rational cones and affine monoids , howpublished =

    work page

  31. [31]

    and Stillman, Michael E

    Grayson, Daniel R. and Stillman, Michael E. , title =

    work page

  32. [32]

    Electron

    Hidefumi Ohsugi and Akiyoshi Tsuchiya , Title =. Electron. J. Combin. , FJOURNAL =. 2026 , PAGES =

    work page 2026

  33. [33]

    Hidefumi Ohsugi and Takayuki Hibi and J\"urgen Herzog , TITLE =. Osaka J. Math. , FJOURNAL =. 2000 , PAGES =

    work page 2000

  34. [34]

    Hidefumi Ohsugi , TITLE =. Comment. Math. Univ. St. Pauli , VOLUME =. 2007 , PAGES =

    work page 2007

  35. [35]

    On. J. Combin. Theory Ser. B , FJOURNAL =. 2023 , author =

    work page 2023

  36. [36]

    Ehrhart, Eug\`ene , TITLE =. C. R. Acad. Sci. Paris , FJOURNAL =. 1962 , PAGES =

    work page 1962

  37. [37]

    , TITLE =

    Stanley, Richard P. , TITLE =. Ann. Discrete Math. , FJOURNAL =. 1980 , PAGES =

    work page 1980

  38. [38]

    2025, arXiv:2510.09131 , Eprint =

    Marco Ghirlanda , Title =. 2025, arXiv:2510.09131 , Eprint =

    work page arXiv 2025

  39. [39]

    De Negri, Emanuela and Hibi, Takayuki , TITLE =. J. Algebra , FJOURNAL =. 1997 , NUMBER =. doi:10.1006/jabr.1997.6990 , URL =

    work page doi:10.1006/jabr.1997.6990 1997

  40. [40]

    Kreuzer, Maximilian and Skarke, Harald , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2000 , NUMBER =. doi:10.4310/ATMP.2000.v4.n6.a2 , URL =

    work page doi:10.4310/atmp.2000.v4.n6.a2 2000

  41. [41]

    Kreuzer, Maximilian and Skarke, Harald , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 1998 , NUMBER =. doi:10.4310/ATMP.1998.v2.n4.a5 , URL =

    work page doi:10.4310/atmp.1998.v2.n4.a5 1998

  42. [42]

    Batyrev, Victor and Juny, Dorothee , TITLE =. Mosc. Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.17323/1609-4514-2010-10-2-285-316 , URL =

    work page doi:10.17323/1609-4514-2010-10-2-285-316 2010

  43. [43]

    European J

    Tsuchiya, Akiyoshi , TITLE =. European J. Combin. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.ejc.2017.07.022 , URL =

    work page doi:10.1016/j.ejc.2017.07.022 2018

  44. [44]

    Discrete Math

    Hibi, Takayuki and Tsuchiya, Akiyoshi and Yoshida, Koutarou , TITLE =. Discrete Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.disc.2019.111619 , URL =

    work page doi:10.1016/j.disc.2019.111619 2019

  45. [45]

    , TITLE =

    Batyrev, Victor V. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1994 , NUMBER =

    work page 1994

  46. [46]

    Higashitani, Akihiro and Nill, Benjamin and Tsuchiya, Akiyoshi , TITLE =. Beitr. Algebra Geom. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s13366-020-00513-8 , URL =

    work page doi:10.1007/s13366-020-00513-8 2021

  47. [47]

    Discrete Comput

    Nill, Benjamin , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00454-023-00575-0 , URL =

    work page doi:10.1007/s00454-023-00575-0 2024

  48. [48]

    Algebra Number Theory , FJOURNAL =

    Di Rocco, Sandra and Haase, Christian and Nill, Benjamin and Paffenholz, Andreas , TITLE =. Algebra Number Theory , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/ant.2013.7.2417 , URL =

    work page doi:10.2140/ant.2013.7.2417 2013

  49. [49]

    Batyrev and Johannes Hofscheier , Title =

    Victor V. Batyrev and Johannes Hofscheier , Title =. 2013, arXiv:1309.5312 , Eprint =

    work page arXiv 2013

  50. [50]

    Michigan Math

    Higashitani, Akihiro , TITLE =. Michigan Math. J. , FJOURNAL =. 2019 , NUMBER =. doi:10.1307/mmj/1548817531 , URL =

    work page doi:10.1307/mmj/1548817531 2019

  51. [51]

    European J

    Nill, Benjamin , TITLE =. European J. Combin. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.ejc.2007.11.002 , URL =

    work page doi:10.1016/j.ejc.2007.11.002 2008

  52. [52]

    Zenodo, 2025 , publisher =

    Marco Ghirlanda , title =. Zenodo, 2025 , publisher =

    work page 2025

  53. [53]

    Gorenstein Simplices and Even Binary Self-Complementary Codes

    Akiyoshi Tsuchiya , Title =. 2026, arXiv:2604.15005 , Eprint =

    work page internal anchor Pith review Pith/arXiv arXiv 2026