pith. sign in

arxiv: 2605.25126 · v1 · pith:LVYUJM7Pnew · submitted 2026-05-24 · 🧮 math.NT · cs.DM· math.CO· math.MG

Equality in a Reverse Minkowski Shell Bound for Integral Lattices via Spherical Designs

Scott Duke Kominers This is my paper

Pith reviewed 2026-06-29 23:43 UTC · model grok-4.3

classification 🧮 math.NT cs.DMmath.COmath.MG
keywords integral latticesspherical designsequality casesMinkowski boundsE8 latticeshell boundsantipodal designsnumber theory
0
0 comments X

The pith

Equality in the reverse Minkowski shell bound for integral lattices holds precisely for the integer lattice when k=1, the E8 lattice in dimension 8 at k=2, and any one-dimensional lattice representing k.

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

The paper determines exactly when an integral lattice achieves the maximum possible number of vectors with a fixed squared norm k, as bounded by Regev and Stephens-Davidowitz. For dimensions two and higher, this maximum is reached only by the standard integer lattice at k=1 or by the exceptional E8 lattice at dimension 8 and k=2. In one dimension the bound is achieved exactly when the lattice has vectors of that norm. The classification follows from showing that equality cases must form tight spherical designs whose properties are constrained by known theorems on such designs.

Core claim

For a full-rank integral lattice L subset R^n the number of vectors of squared norm k is at most 2 times the binomial coefficient binom(n+2k-2, 2k-1), with equality if and only if either n is at least 2 and the pair (n,k) is (any,1) with L the integer lattice or (8,2) with L the E8 lattice, or n equals 1 and L represents k. The proof establishes rigidity by showing equality implies the normalized shell is an antipodal tight spherical design of strength 4k-1, then applies annihilator polynomials and design theorems to identify the cases.

What carries the argument

The Delsarte-Goethals-Seidel annihilator polynomial of the antipodal tight spherical (4k-1)-design formed by the normalized norm-k shell, which produces an arithmetic root condition used with the Bannai-Damerell theorem to isolate the equality cases.

Load-bearing premise

Saturation of the shell bound forces the normalized norm-k shell to be an antipodal tight spherical (4k-1)-design whose Delsarte-Goethals-Seidel annihilator polynomial yields an arithmetic root condition that combines with the Bannai-Damerell theorem to exclude other cases.

What would settle it

An integral lattice in dimension greater than 1, not equal to Z^n or E8 in the specified cases, that has exactly 2 binom(n + 2k - 2, 2k - 1) vectors of squared norm k would falsify the classification.

read the original abstract

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For $n\ge2$, equality holds if and only if either $k=1$ and $\mathcal{L}\cong\mathbb{Z}^n$, or $n=8$, $k=2$, and $\mathcal{L}\cong E_8$. For $n=1$, equality holds exactly when $\mathcal{L}$ represents $k$. The proof shows that equality is rigid. Saturation of the shell bound forces the normalized norm-$k$ shell to be an antipodal tight spherical $(4k-1)$-design. The associated Delsarte--Goethals--Seidel annihilator polynomial gives an arithmetic root condition, which isolates $E_8$ at $k=2$, rules out $k=3$, and combines with the Bannai--Damerell/Bannai theorem and an elementary circle argument to exclude all remaining cases in dimension at least $2$.

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 classifies the equality cases in the Regev–Stephens-Davidowitz reverse Minkowski shell bound N_{=k}(L) ≤ 2inom{n+2k-2}{2k-1} for full-rank integral lattices L ⊂ R^n. For n≥2, equality holds if and only if either k=1 and L≅Z^n, or n=8, k=2 and L≅E_8; for n=1, equality holds exactly when L represents k. The argument shows that equality saturation forces the normalized norm-k shell to be an antipodal tight spherical (4k-1)-design whose Delsarte–Goethals–Seidel annihilator polynomial produces an arithmetic root condition; this condition, together with the Bannai–Damerell/Bannai theorem and an elementary circle argument, isolates only the stated cases.

Significance. If the classification holds, the result supplies a complete rigidity theorem for the shell bound, identifying the only extremal integral lattices in dimension ≥2 and confirming the extremality of Z^n and E_8 in the expected cases. The explicit reduction to tight spherical designs, the use of the Delsarte–Goethals–Seidel annihilator polynomial to obtain an arithmetic condition, and the combination with the Bannai–Damerell/Bannai classification theorem constitute a clear strength; the elementary circle argument further renders the proof accessible. The result is falsifiable via the known classification of tight designs and provides a precise link between lattice enumeration bounds and spherical-design theory.

minor comments (3)
  1. [Abstract] The abstract refers to 'an elementary circle argument' without a forward reference to its location in the manuscript; adding a section or subsection pointer would aid readers.
  2. [Proof strategy paragraph] In the derivation of the arithmetic root condition from the annihilator polynomial, an intermediate display of the polynomial evaluated at the candidate roots (or the explicit form of the root-isolation step) would clarify the transition to the Bannai–Damerell/Bannai application.
  3. [Section introducing the design property] The normalization convention for the spherical inner product on the norm-k shell should be restated explicitly when the tightness condition is invoked, to ensure the (4k-1)-design parameter is unambiguously tied to the lattice scaling.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment. We are pleased that the referee recommends acceptance.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation classifies equality cases by showing that bound saturation forces the norm-k shell to be an antipodal tight spherical (4k-1)-design, then applies the external Delsarte–Goethals–Seidel annihilator polynomial to obtain an arithmetic root condition. This condition is combined with the independent Bannai–Damerell/Bannai theorem and an elementary circle argument. All load-bearing steps invoke externally established results from spherical design theory rather than any self-citation, fitted parameter, or self-definitional reduction. The original bound is cited from Regev–Stephens-Davidowitz (distinct authors). No equation or step reduces the classification to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on standard results from spherical design theory and the theory of integral lattices; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Saturation of the shell bound implies the shell is an antipodal tight spherical (4k-1)-design
    Invoked in the proof paragraph to obtain the annihilator polynomial condition.
  • domain assumption The Bannai–Damerell/Bannai theorem applies to the resulting root condition
    Used to exclude remaining cases in dimension >=2.

pith-pipeline@v0.9.1-grok · 5759 in / 1336 out tokens · 28638 ms · 2026-06-29T23:43:35.711932+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

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

  1. A Sharp Reverse Minkowski Inequality for the Gaussian Mass of Integral Unimodular Lattices Through Rank $32$

    math.NT 2026-05 unverdicted novelty 7.0

    Proves sharp reverse Minkowski inequality for Gaussian mass of integral unimodular lattices in ranks ≤32 (equality only at Z^n) and even unimodular lattices in rank 40 via parametrization of theta series as polynomial...

  2. Saturation and No-Go Theorems for Scalar Poisson Certificates of Gaussian Mass Maximality

    math.NT 2026-05 unverdicted novelty 7.0

    Scalar Poisson certificates for lattice Gaussian mass maximality saturate at Z^n and cannot attain the sharp bound in n≥8 because the required rigidity contradicts the strict theta-series gap between Z^8 and E8.

Reference graph

Works this paper leans on

14 extracted references · cited by 2 Pith papers

  1. [1]

    Eiichi Bannai, On tight spherical designs, J. Combin. Theory Ser. A 26 (1979), no. 1, 38--47

    1979

  2. [2]

    Eiichi Bannai and R. M. Damerell, Tight spherical designs. I , J. Math. Soc. Japan 31 (1979), no. 1, 199--207

    1979

  3. [3]

    Eiichi Bannai and R. M. Damerell, Tight spherical designs. II , J. London Math. Soc. s2-21 (1980), no. 1, 13--30

    1980

  4. [4]

    Conway and Neil J

    John H. Conway and Neil J. A. Sloane, Sphere packings, Lattices and Groups, 3rd ed., Grundlehren der Mathematischen Wissenschaften, vol. 290, Springer-Verlag, New York, 1999

    1999

  5. [5]

    Philippe Delsarte, Jean-Marie Goethals, and Johan Jacob Seidel, Bounds for systems of lines, and J acobi polynomials , Philips Res. Rep. 30 (1975), 91--105

    1975

  6. [6]

    Dedicata 6 (1977), no

    Philippe Delsarte, Jean-Marie Goethals, and Johan Jacob Seidel, Spherical codes and designs, Geom. Dedicata 6 (1977), no. 3, 363--388

    1977

  7. [7]

    Yael Eisenberg, Oded Regev, and Noah Stephens-Davidowitz, A tight reverse M inkowski inequality for the E pstein zeta function , Proc. Amer. Math. Soc., to appear

  8. [8]

    Arne Heimendahl, Aurelio Marafioti, Antonia Thiemeyer, Frank Vallentin, and Marc Christian Zimmermann, Critical even unimodular lattices in the G aussian core model , Int. Math. Res. Not. IMRN 2023, no. 6, 5352--5396

    2023

  9. [9]

    Koornwinder, A note on the absolute bound for systems of lines, Indag

    Tom H. Koornwinder, A note on the absolute bound for systems of lines, Indag. Math. (Proceedings) 38 (1976), no. 2, 152--153

    1976

  10. [10]

    John Leech, Notes on sphere packings, Canad. J. Math. 19 (1967), 251--267

    1967

  11. [11]

    VI, EMS Press, Berlin, 2022, pp

    Oded Regev, Some questions related to the reverse M inkowski theorem , Proceedings of the International Congress of Mathematicians 2022, Vol. VI, EMS Press, Berlin, 2022, pp. 4898--4912

    2022

  12. [12]

    Oded Regev and Noah Stephens-Davidowitz, A reverse M inkowski theorem , Ann. of Math. 199 (2024), no. 1, 1--49

    2024

  13. [13]

    Number Theory 279 (2026), 256--266

    Oded Regev and Noah Stephens-Davidowitz, A simple proof of a reverse M inkowski theorem for integral lattices , J. Number Theory 279 (2026), 256--266

    2026

  14. [14]

    Boris Venkov, R\'eseaux et designs sph\'eriques, R\'eseaux euclidiens, designs sph\'eriques et formes modulaires (Jacques Martinet, ed.), Monogr. Enseign. Math., vol. 37, L'Enseignement Math\'ematique, Geneva, 2001, pp. 10--86

    2001