Pith. sign in

REVIEW 3 major objections 4 minor 34 references

The equality case of Ehrhart's volume conjecture

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The centered simplex is the only maximizer of Ehrhart's volume bound

desk verdict A serious, conditional proof of the equality case of Ehrhart's volume conjecture; the stress-test counterexample to the arithmetic half does not hold up. read the letter →

arxiv 2608.01040 v2 pith:YFKXJTJG submitted 2026-08-02 math.CO math.AGmath.CV

Jihao Liu This is my paper · ORCID
classification math.COmath.AGmath.CV MSC 11H0652A4052B2032A25
keywords EhrhartvolumeconjectureequalitycasecenteredsimplexconvexbodieslatticepointscriticallatticesunimodularequivalenceBergmankernels
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 proves the equality case of Ehrhart's volume conjecture: a full-dimensional compact convex body in $\mathbb{R}^n$ whose barycenter is the origin, whose only interior lattice point is the origin, and whose volume equals $(n+1)^n/n!$, must be a unimodular image of the centered standard simplex $(n+1)\Delta_n-(1,\ldots,1)$. Together with the inequality proved in [OAI26], this completes the 1964 conjecture. If the proof is correct, the only shapes that saturate the sharp volume bound are lattice-preserving affine copies of one explicit simplex, in every dimension. The interest is that the sharp bound now carries a rigid equality structure, not a family of near-extremizers.

What carries the argument

The load-bearing device is the sharp jet-sum theorem (Theorem 3.8): for every base point $p$ of the complex torus, the normalized sum over the vanishing-order filtration, $$A_k=\frac{1}{k d_k}\sum_{j=1}^{(n+1)k}\dim F^j_{k,p}$$ with $d_k=\#(\mathbb{Z}^n\cap\operatorname{int}(kK))$, is forced by the volume hypothesis to converge to $n$. This single saturation statement controls all point filtrations simultaneously and yields the hypersurface-exclusion and lattice-width bounds. The second mechanical pillar is the critical-lattice theorem (Theorem 7.2): $\mathbb{Z}^n$ is the unique determinant-one lattice whose nonzero points all avoid $\operatorname{int}(S_n)$, proved through the cube-tiling theorem of [Haj41] after a sign-flip reduction.

What would settle it

Find a full-dimensional compact convex body in $\mathbb{R}^3$ with barycenter at the origin, origin as the unique interior lattice point, and volume $32/3$ that is not unimodularly equivalent to the centered simplex $4\Delta_3-(1,1,1)$; any such body refutes Theorem 1.3. A less global check: for any candidate equality body, compute the normalized jet sums $A_k$ of Theorem 3.8 at one base point; if they have a subsequential limit other than $n$, the proof's first step is false.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is a two-part rigidity theorem. The analytic half shows that any body $K$ satisfying the three hypotheses is a simplex: the volume hypothesis forces the normalized vanishing-order sums $A_k$ of the weighted $L^2$ spaces $H_k$ to tend to $n$ at every point; degenerating the base point radially along a generic direction converts the point-jet filtrations into monomial filtrations with integer weights; the equality case of the Prékopa--Leindler inequality forces the resulting toric rays to be translation rays; a translation ray makes $K$ a pyramid whose cap volumes are exactly $s^n/n!$; and since the good directions are dense, the pyramid apices force $K$ to be a simplex. The arithmetic half proves that $\mathbb{Z}^n$ is the only determinant-one lattice avoiding the interior of the centered simplex $S_n=(n+1)\Delta_n-(1,\ldots,1)$, by a sign-flip reduction to the cube-tiling theorem of [Haj41] and an explicit shear-point argument. Combining the two halves gives $K=A S_n$ with $A\in GL_n(\mathbb{Z})$.

Load-bearing premise

The classification stands or falls on two analytic lemmas imported from [OAI26] and explicitly not reproved: that the monomials indexed by interior lattice points of $kK$ form an orthogonal basis of the weighted space $H_k$, and that the normalized kernels converge with total-variation convergence of the associated measures; if either needs hypotheses beyond the paper's stated ones, the equality classification does not follow.

Editorial extensions

If this is right

  • Every equality body in Ehrhart's volume conjecture is a unimodular image of $(n+1)\Delta_n-(1,\dots,1)$; there are no exotic maximizers in any dimension.
  • Any equality body has every lattice width at least $n+1$, and the centered standard simplex attains this bound, so width saturation is a necessary feature of maximal volume.
  • The discrete version says that for large $k$, no nonzero real polynomial of total degree at most $(n+1-\varepsilon)k$ can vanish at all lattice points of $\operatorname{int}(kK)$.
  • The determinant-one lattice avoiding the interior of the centered simplex is unique, namely $\mathbb{Z}^n$.
  • Combined with the inequality from [OAI26], the 1964 volume conjecture is settled in full: bound and equality case.

Reading between the lines

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

  • Beyond the paper: the same 'volume forces saturation at every point' mechanism might classify equality bodies for weighted versions of the conjecture, where the barycenter condition is replaced by a specified moment condition; the paper does not address those.
  • Beyond the paper: the critical-lattice uniqueness for $S_n$ suggests a broader principle: reflexive simplices whose critical lattice is unique are exactly those whose interior lattice point is the barycenter; testing this on other reflexive polytopes is a concrete next step.
  • Beyond the paper: the proof's dictionary with projective-space characterizations hints that any equality result on the convex side will be proved by a rigidity statement about lattice widths plus a lattice-uniqueness statement, rather than by copying the algebraic-geometry argument.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper claims to prove the equality case of Ehrhart's volume conjecture: if K ⊂ R^n is a full-dimensional compact convex body with barycenter 0, int(K)∩Z^n = {0}, and vol(K) = (n+1)^n/n!, then K is a unimodular image of the centered standard simplex (n+1)Δ_n − (1,…,1). The proof has an analytic half, which develops a jet-sum theorem, lattice-width bounds, toric limit rays, and a pyramid-to-simplex argument, and an arithmetic half, which is a critical-lattice theorem (Theorem 7.2) asserting that Z^n is the only determinant-one lattice avoiding the interior of S_n. The manuscript explicitly relies on two lemmas from the unpublished report [OAI26] for the analytic framework and on a theorem attributed to [BGM+22, Theorem 4.2] for the arithmetic endgame.

Significance. If the proof were correct, the result would resolve a long-standing equality classification and would also provide a new critical-lattice uniqueness theorem for the centered simplex. The analytic strategy is original and well structured: Theorem 3.8, the hypersurface exclusion of Theorem 4.2, the width saturation of Corollary 4.5, and the pyramid theorem (Theorem 5.7) are substantial intermediate results that could be of independent interest. The paper also deserves credit for making its logical dependencies explicit, including the admission that it uses [OAI26] rather than reproving it. However, the central claim is not established as written because a load-bearing step in the arithmetic half relies on a false statement, and the analytic half depends on non-peer-reviewed external lemmas that are not reproduced.

major comments (3)
  1. [Section 7, Theorem 7.2] The proof of Theorem 7.2 collapses at the invocation of [BGM+22, Theorem 4.2]. The statement as quoted — any covolume-one lattice avoiding the open unit cube (−1,1)^n is, after a permutation, UZ^n with upper triangular U and all diagonal entries one — is false. In R^2, the lattice Λ = Z(2,0) ⊕ Z(1,1/2) has determinant 1 and contains no nonzero point of (−1,1)^2, but it is not upper unitriangular up to permutation: its points have second coordinate in (1/2)Z, whereas every lattice of the form UZ^2 with U upper unitriangular has one coordinate equal to an integer. Lemma 7.1 supplies only cube avoidance, so the false theorem is the only bridge from the hypothesis int(S_n)∩Λ={0} to a unitriangular basis. Since Theorem 7.2 is the sole step converting |det A|=1 in Proposition 6.4 into A∈GL_n(Z), Theorem 1.3 is not established by the manuscript. The author needs either a correct characterization of determinant-one lattices avoiding int(S_n), proved directly, or a substantially different arithmetic argument.
  2. [Section 2.2, Lemmas 2.4 and 2.5] The analytic half is load-bearing on two results imported verbatim from [OAI26, Chapter 8, Lemmas 2.1 and 2.2], which are not proved in the manuscript and are not available in a peer-reviewed source. Lemma 2.4 supplies the monomial orthogonality basis indexed by int(kK), and Lemma 2.5 supplies the local uniform convergence of (1/k) log B_k and total-variation convergence of the associated measures. These lemmas underlie Theorem 3.8 and therefore all subsequent sharp statements, including the hypersurface exclusion and the toric limit rays. The paper states in Section 2.2 that it uses these results directly rather than reproving them, but for a journal proof of the main theorem this is a serious verifiability gap: either the lemmas must be reproduced with complete hypotheses and proofs, or the paper must be revised to depend only on published, independently checkable sources.
  3. [Section 1, sketch of the proof and Section 7] The sketch in Section 1 describes the arithmetic half as: sign-flip argument, then Hajós's theorem, then an explicit shear-point construction. This is not merely a presentation issue: the sign-flip argument (Lemma 7.1) gives only avoidance of the open unit cube, while Hajós's theorem is a theorem about cube tilings and does not imply that every cube-avoiding determinant-one lattice has a unitriangular basis, as the counterexample in the first major comment shows. The stronger hypothesis int(S_n)∩Λ={0} must therefore be used directly in the arithmetic argument; it is not used anywhere after Lemma 7.1 in the current text.
minor comments (4)
  1. [Title and abstract] The title contains a typo: “Ehrhar T’s” should read “Ehrhart's”; the same typo appears in the abstract heading.
  2. [Section 2.2, Eq. (2.1) and Lemma 3.4] The measure dν is normalized with angular Haar measure of total mass one in Section 2.1, and Lemma 3.4 writes dν = π^{−n} ∏ |z_i|^{-2} dλ(z). This is consistent, but the normalization should be restated at the point of use to avoid confusion.
  3. [General] The paper repeatedly cites [OAI26] and the AI-system references [Liu+26, Ju+26]; these are not standard peer-reviewed publications. Even if they are publicly available, the manuscript should state precisely which claims are proved in the paper and which are imported, and it should flag the imported claims as unverified external dependencies.
  4. [Section 7, Remark 7.3] Remark 7.3 says that the value 1 of the critical determinant is classical and cites [Ehr79]; the uniqueness assertion is claimed to be new. Given the problems with the proof, the remark should be phrased as conditional on a correct theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the equality classification is derived from the stated hypotheses via external analytic and arithmetic inputs, none of which assumes the conclusion.

full rationale

Score 0. The derivation is not circular. Theorem 1.3 is proved from the stated hypotheses (barycenter 0, unique interior lattice point, maximal volume) through a chain whose load-bearing inputs are external: the analytic frame of [OAI26] (monomial-basis Lemma 2.4 and Bergman asymptotics Lemma 2.5), which the paper explicitly uses rather than reproves; new jet-sum and lattice-width theorems; a simplex classification; and a critical-lattice theorem that is meant to be checked against Hajós's theorem. None of these inputs assumes the equality classification K = U((n+1)Δ_n − (1,...,1)). The volume hypothesis enters only through the lower bound in Theorem 3.8 and is used to force saturation; it is not fitted or renamed as a prediction. The self-citations [Liu+26] and [Ju+26] concern the generative-AI provenance and are not load-bearing for the mathematics. The reviewer's objection to Theorem 7.2 — that the stated unitriangular consequence of avoiding the open unit cube is false, with an explicit determinant-one lattice avoiding (−1,1)^n that is not upper unitriangular — is a correctness risk, not a circularity: a false or misstated external theorem can invalidate the proof without making the argument circular. No equation in the paper is equivalent to its own input by construction.

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

No free numerical parameters are introduced; the volume equals its extremal value, so there is nothing fitted. The proof instead rests on a stock of imported theorems, the most fragile of which are the unreproduced OAI26 lemmas and the exact Hajos/BGM22 statement. No new physical or geometric entities in the sense of particles or forces are postulated; the toric limit rays are proof devices.

assumptions (6)
  • standard math Existence of a strictly convex BB13 transport potential phi with det(D^2 phi) = e^{-phi} and grad phi(R^n) = int(K) for any centered body K.
    Theorem 2.2 is imported from [BB13, Theorem 1.1] and is the starting point of the weighted Bergman construction in Sections 2.2 and 3.
  • domain assumption The weighted Laurent monomial basis statement and Bergman kernel convergence from [OAI26, Chapter 8, Lemmas 2.1 and 2.2].
    Used verbatim as Lemmas 2.4 and 2.5; the preprint does not reproduce their proofs.
  • domain assumption Berndtsson's convexity of the logarithm of the weighted Bergman kernel applies to the plurisubharmonic envelope Psi on X times {|tau|>1}.
    Lemma 3.4 uses this to prove convexity of the partition functions L_p(t); regularity of the envelope is not discussed.
  • standard math Dubuc's equality case of the Prekopa-Leindler inequality.
    Proposition 5.6 uses it to upgrade affine Prekopa rays to translation rays.
  • standard math The Hajos theorem in the form that a covolume-one lattice avoiding the open unit cube is upper unitriangular after coordinate permutation.
    Theorem 7.2 depends on this reduction; the exact statement is not proved in the present text and is attributed to [BGM+22, Theorem 4.2].
  • standard math Ehrhart's classical determination of the critical determinant of the simplex.
    Remark 7.3 uses it to record that Z^n is a critical lattice; it is not needed for the uniqueness argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The equality case of Ehrhart's volume conjecture." pith.science (2026). https://pith.science/paper/YFKXJTJG

@misc{pith2026260801040,
  author       = {Pith},
  title        = {Pith review of: The equality case of Ehrhart's volume conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YFKXJTJG}},
  note         = {Machine review of arXiv:2608.01040}
}
abstract

We prove that every full-dimensional compact convex body in $\mathbb R^n$ whose barycenter is its unique interior lattice point and whose volume is $(n+1)^n/n!$ is a unimodular image of the simplex $(n+1)\Delta_n-(1,\dots,1)$. This resolves the equality case of Ehrhart's volume conjecture, as a counterpart of the inequality part recently proved by OpenAI. The main result of this paper is obtained by generative AI, particularly GPT-5.6-sol, Fable 5, and the Danus system.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 5 canonical work pages

  1. [1]

    Ambro and A

    F. Ambro and A. Ito, Successive minima of line bundles, Adv. Math. 365 (2020), Paper No. 107045

    work page 2020

  2. [2]

    Ambro and A

    F. Ambro and A. Ito, Corrigendum to ``Successive minima of line bundles'' [Adv. Math. 365 (2020) 107045], Adv. Math. 420 (2023), Paper No. 108966

    work page 2020

  3. [3]

    Beresnevich, L

    V. Beresnevich, L. Guan, A. Marnat, F. Ram\'irez, and S. Velani, Dirichlet is not just bad and singular, Adv. Math. 401 (2022), Paper No. 108316

    2022

  4. [4]

    R. J. Berman and B. Berndtsson, Real Monge--Amp\`ere equations and K\"ahler--Ricci solitons on toric log Fano varieties, Ann. Fac. Sci. Toulouse Math. (6) 22 (2013), 649--711

    2013

  5. [5]

    R. J. Berman and B. Berndtsson, The volume of K\"ahler--Einstein Fano varieties and convex bodies, J. Reine Angew. Math. 723 (2017), 127--152

    2017

  6. [6]

    Berndtsson, Subharmonicity properties of the Bergman kernel and some other functions associated to pseudoconvex domains, Ann

    B. Berndtsson, Subharmonicity properties of the Bergman kernel and some other functions associated to pseudoconvex domains, Ann. Inst. Fourier (Grenoble) 56 (2006), 1633--1662

    2006

  7. [7]

    Boucksom and H

    S. Boucksom and H. Chen, Okounkov bodies of filtered linear series, Compos. Math. 147 (2011), 1205--1229

    2011

  8. [8]

    Campos, P

    M. Campos, P. van Hintum, R. Morris, and M. Tiba, Towards Hadwiger's conjecture via Bourgain slicing, Int. Math. Res. Not. IMRN 2024, no. 10, 8282--8295

    2024

Show all 34 references
  1. [9]

    Cordero-Erausquin and B

    D. Cordero-Erausquin and B. Klartag, Moment measures, J. Funct. Anal. 268 (2015), 3834--3866

    2015

  2. [10]

    Dubuc, Crit\`eres de convexit\'e et in\'egalit\'es int\'egrales, Ann

    S. Dubuc, Crit\`eres de convexit\'e et in\'egalit\'es int\'egrales, Ann. Inst. Fourier (Grenoble) 27 (1977), 135--165

    1977

  3. [11]

    Ehrhart, Une g\'en\'eralisation du th\'eor\`eme de Minkowski, C

    E. Ehrhart, Une g\'en\'eralisation du th\'eor\`eme de Minkowski, C. R. Acad. Sci. Paris 240 (1955), 483--485

    1955

  4. [12]

    Ehrhart, Propri\'et\'es arithmog\'eom\'etriques des polygones, C

    E. Ehrhart, Propri\'et\'es arithmog\'eom\'etriques des polygones, C. R. Acad. Sci. Paris 241 (1955), 686--689

    1955

  5. [13]

    Ehrhart, Une g\'en\'eralisation probable du th\'eor\`eme fondamental de Minkowski, C

    E. Ehrhart, Une g\'en\'eralisation probable du th\'eor\`eme fondamental de Minkowski, C. R. Acad. Sci. Paris 258 (1964), 4885--4887

    1964

  6. [14]

    Ehrhart, Volume r\'eticulaire critique d'un simplexe, J

    E. Ehrhart, Volume r\'eticulaire critique d'un simplexe, J. Reine Angew. Math. 305 (1979), 218--220

    1979

  7. [15]

    Fujita, Optimal bounds for the volumes of K\"ahler--Einstein Fano manifolds, Amer

    K. Fujita, Optimal bounds for the volumes of K\"ahler--Einstein Fano manifolds, Amer. J. Math. 140 (2018), 391--414

    2018

  8. [16]

    P. M. Gruber and C. G. Lekkerkerker, Geometry of Numbers, second ed., North-Holland Mathematical Library 37, North-Holland, Amsterdam, 1987

    1987

  9. [17]

    Gr\"unbaum, Partitions of mass-distributions and of convex bodies by hyperplanes, Pacific J

    B. Gr\"unbaum, Partitions of mass-distributions and of convex bodies by hyperplanes, Pacific J. Math. 10 (1960), 1257--1261

    1960

  10. [18]

    Uber einfache und mehrfache Bedeckung des n -dimensionalen Raumes mit einem W\

    G. Haj\'os, \"Uber einfache und mehrfache Bedeckung des n -dimensionalen Raumes mit einem W\"urfelgitter, Math. Z. 47 (1941), 427--467

    1941

  11. [19]

    M. Henk, M. Henze, and M. A. Hern\'andez Cifre, Variations of Minkowski's theorem on successive minima, Forum Math. 28 (2016), 311--325

    2016

  12. [20]

    Huang, B

    H. Huang, B. A. Slomka, T. Tkocz, and B.-H. Vritsiou, Improved bounds for Hadwiger's covering problem via thin-shell estimates, J. Eur. Math. Soc. (JEMS) 24 (2022), 1431--1448

    2022

  13. [21]

    H. Ju, G. Gao, J. Jiang, B. Wu, Z. Sun, S. Liu, L. Chen, Y. Wang, Y. Wang, Z. Wang, W. He, P. Wu, L. Xiao, R. Liu, B. Dai, and B. Dong, Automated Conjecture Resolution with Formal Verification, arXiv:2604.03789

    arXiv

  14. [22]

    Klartag and J

    B. Klartag and J. Lehec, Affirmative resolution of Bourgain's slicing problem using Guan's bound, Geom. Funct. Anal. 35 (2025), 1147--1168

    2025

  15. [23]

    A. V. Kolesnikov and E. M. Werner, Blaschke--Santal\'o inequality for many functions and geodesic barycenters of measures, Adv. Math. 396 (2022), Paper No. 108110

    2022

  16. [24]

    Li and M

    C. Li and M. Miao, On the volume of K-semistable Fano manifolds, arXiv:2506.17420

    arXiv

  17. [25]

    Liu, The volume of singular K\"ahler--Einstein Fano varieties, Compos

    Y. Liu, The volume of singular K\"ahler--Einstein Fano varieties, Compos. Math. 154 (2018), 1131--1158

    2018

  18. [26]

    Liu and Z

    Y. Liu and Z. Zhuang, Characterization of projective spaces by Seshadri constants, Math. Z. 289 (2018), 25--38

    2018

  19. [27]

    J. Liu, G. Gao, Z. Sun, B. Wu, S. Liu, J. Jiang, H. Ju, L. Chen, R. Cheng, X. Zhang, and B. Dong, Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory, arXiv:2607.06447

    arXiv

  20. [28]

    V. D. Milman and A. Pajor, Entropy and asymptotic geometry of non-symmetric convex bodies, Adv. Math. 152 (2000), 314--335

    2000

  21. [29]

    Nill and A

    B. Nill and A. Paffenholz, On the equality case in Ehrhart's volume conjecture, Adv. Geom. 14 (2014), 579--586

    2014

  22. [30]

    https://cdn.openai.com/pdf/ten-proofs-oai.pdf

    OpenAI, Ten Advances in Mathematics and Theoretical Computer Science, August 1, 2026. https://cdn.openai.com/pdf/ten-proofs-oai.pdf

    2026

  23. [31]

    Perkinson, Inflections of toric varieties, Michigan Math

    D. Perkinson, Inflections of toric varieties, Michigan Math. J. 48 (2000), 483--515

    2000

  24. [32]

    Ross and D

    J. Ross and D. Witt Nystr\"om, Analytic test configurations and geodesic rays, J. Symplectic Geom. 12 (2014), 125--169

    2014

  25. [33]

    Zhang, On the optimal volume upper bound for K\"ahler manifolds with positive Ricci curvature, with an appendix by Y

    K. Zhang, On the optimal volume upper bound for K\"ahler manifolds with positive Ricci curvature, with an appendix by Y. Liu, Int. Math. Res. Not. IMRN 2022, no. 8, 6135--6156

    2022

  26. [34]

    Zhang, Quantized volume comparison for Fano manifolds, Proc

    K. Zhang, Quantized volume comparison for Fano manifolds, Proc. Amer. Math. Soc. 153 (2025), 4379--4385

    2025

Pith tools

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