pith. sign in

arxiv: 2604.10914 · v1 · submitted 2026-04-13 · 🧮 math.CO · math.NT

Cusp Form Dimensions, Lattice Uniqueness, and LP Sharpness for Sphere Packing in Dimensions 8 and 24

Jian Zhou This is my paper

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

classification 🧮 math.CO math.NT
keywords sphere packinglinear programming boundscusp formsextremal conformal field theoriesNarain CFTmodular formslattice uniquenessHecke algebra
0
0 comments X

The pith

Three conditions from number theory, lattice theory and conformal field theory coincide to make the linear programming bound sharp only in dimensions 8 and 24.

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

The Cohn-Elkies linear programming bound for sphere packing density is known to be optimal in dimensions 8 and 24 and nowhere else above dimension 2. The paper isolates three necessary conditions for this sharpness: the space of cusp forms of weight d/2 for SL_2(Z) has dimension at most one, a dual linear program has no obstruction from cusp forms of Gamma_0(2), and an extremal Narain conformal field theory exists at the matching central charge. The first condition already rules out all dimensions 48 and higher. The second accounts for the failures in 16 and 32. The third rephrases sharpness in conformal-field-theory language. The paper conjectures that the three conditions are equivalent whenever the dimension is a multiple of 8.

Core claim

LP sharpness holds in dimension d precisely when the dimension of S_{d/2}(SL_2(Z)) is at most one, the dual LP has no cusp-form obstruction for Gamma_0(2), and an extremal Narain CFT exists; these three independent conditions are conjectured to be equivalent for all d congruent to 0 modulo 8, with the Bost-Connes quantum statistical system supplying an algebraic framework in which the number-theoretic, lattice-theoretic and CFT perspectives meet through the Hecke algebra.

What carries the argument

The three necessary conditions for LP sharpness (cusp-form dimension bound, dual LP obstruction via Gamma_0(2) cusp forms, and extremal Narain CFT existence) together with their conjectured equivalence for d ≡ 0 mod 8.

If this is right

  • The linear programming bound cannot be sharp in any dimension 48 or higher.
  • The failures of sharpness in dimensions 16 and 32 are explained exactly by the presence of a dual LP obstruction from Gamma_0(2) cusp forms.
  • For dimensions that are multiples of 8, LP sharpness is equivalent to the existence of an extremal Narain CFT.
  • All three conditions are satisfied simultaneously only in dimensions 8 and 24 among the multiples of 8 that have been checked.

Where Pith is reading between the lines

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

  • If the conjecture is true, checking any one of the three conditions would be enough to decide sharpness in all remaining multiples of 8.
  • The appearance of the Bost-Connes system suggests that a single algebraic object built from the Hecke algebra might eventually yield a uniform proof that sharpness occurs exactly in 8 and 24.
  • The same equivalence could supply new necessary conditions for extremal CFTs by importing known sphere-packing results.

Load-bearing premise

The Hartman-Mazac-Rastelli correspondence between LP bounds and the modular bootstrap holds in these dimensions, and the three conditions drawn from separate literatures are genuinely independent.

What would settle it

A single dimension d that is a multiple of 8 in which one of the three conditions holds while another fails, for example where dim S_{d/2}(SL_2(Z)) ≤ 1 yet an extremal Narain CFT does not exist.

read the original abstract

The Cohn-Elkies linear programming (LP) bound for sphere packing is known to be sharp in dimensions 8 and 24 but in no other dimension above 2. We investigate why by examining three independent necessary conditions for LP sharpness, drawn from number theory, lattice theory, and conformal field theory. The first condition, dim S_{d/2}(SL_2(Z)) <= 1, bounds the freedom in theta series and rules out all d >= 48. The second, derived from Cohn and Triantafillou's dual LP obstruction via cusp forms for the congruence subgroup Gamma_0(2), explains why LP sharpness fails in dimensions 16 and 32 despite the first condition being satisfied. The third, via the Hartman-Mazac-Rastelli correspondence between LP bounds and the modular bootstrap for Narain conformal field theories, reinterprets LP sharpness as the existence of an extremal CFT. We formulate a conjecture that these three conditions are equivalent for d congruent to 0 mod 8, and observe that the Bost-Connes quantum statistical system provides a natural algebraic framework in which all three perspectives are connected through the Hecke algebra.

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 paper investigates why the Cohn-Elkies LP bound for sphere packing is sharp only in dimensions 8 and 24. It identifies three necessary conditions for sharpness: dim S_{d/2}(SL_2(Z)) <= 1 (ruling out d >= 48), absence of dual LP obstructions from Gamma_0(2) cusp forms (ruling out d=16,32), and existence of extremal Narain CFTs via the Hartman-Mazac-Rastelli correspondence. The authors conjecture that these three conditions are equivalent for all d ≡ 0 mod 8, with the Bost-Connes system and Hecke algebra providing a unifying algebraic framework; they verify consistency with known sharp cases and failures elsewhere.

Significance. If the conjecture holds, it would furnish a unified number-theoretic, lattice-theoretic, and CFT-based explanation for the exceptional sharpness of the LP bound in dimensions 8 and 24, potentially informing sphere-packing problems in other dimensions and the modular bootstrap program. The explicit checks ruling out higher dimensions and the proposed link to the Bost-Connes system constitute a concrete, falsifiable contribution even in the absence of a full proof.

minor comments (3)
  1. The discussion of the three conditions would benefit from an explicit table (perhaps in §3 or §4) listing the status of each condition for d = 8, 16, 24, 32, 40, 48, … to make the pattern of agreement and disagreement immediately visible.
  2. The notation S_k(Γ) for cusp-form spaces is used without a reference to a standard source (e.g., Diamond–Shurman or Miyake); adding one citation would aid readers outside number theory.
  3. In the paragraph connecting the three perspectives via the Bost-Connes system, the precise role of the Hecke algebra in equating the conditions is stated only at a high level; a short diagram or one additional sentence clarifying the maps would improve clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, positive summary of the manuscript, and recommendation of minor revision. No specific major comments or criticisms were raised in the report. We have reviewed the manuscript for any minor improvements in clarity or presentation and will incorporate them in the revised version.

Circularity Check

0 steps flagged

No significant circularity; conjecture connects independent external conditions

full rationale

The paper formulates a conjecture that three necessary conditions for LP sharpness (cusp form dimension bound from modular forms, dual LP obstruction via Gamma_0(2) cusp forms from Cohn-Triantafillou, and extremal Narain CFT existence via the cited Hartman-Mazac-Rastelli correspondence) are equivalent for d ≡ 0 mod 8. These conditions are presented as drawn from distinct literatures and verified independently against known sharp cases (d=8,24) and non-sharp cases (d>=48,16,32), with the Bost-Connes system offered only as an algebraic framework for connection rather than a derivation. All load-bearing inputs are external citations with no self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citation chains; the central claim does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The abstract relies on standard results from modular forms, linear programming duality, and the Hartman-Mazac-Rastelli correspondence; no new free parameters or invented entities are introduced in the provided text.

axioms (3)
  • domain assumption dim S_{d/2}(SL_2(Z)) <= 1 is a necessary condition for LP sharpness
    Invoked as the first necessary condition drawn from number theory.
  • domain assumption Cohn-Triantafillou dual LP obstruction via cusp forms for Gamma_0(2) is independent of the first condition
    Used to explain failure in dimensions 16 and 32.
  • domain assumption Hartman-Mazac-Rastelli correspondence equates LP sharpness with existence of extremal Narain CFT
    Third perspective reinterpreting the bound.

pith-pipeline@v0.9.0 · 5508 in / 1639 out tokens · 48587 ms · 2026-05-10T16:05:09.093622+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

28 extracted references · 28 canonical work pages

  1. [1]

    Bellissard, Gap labelling theorems for Schrödinger operators, in:From Number Theory to Physics, Springer, 1992, pp

    J. Bellissard, Gap labelling theorems for Schrödinger operators, in:From Number Theory to Physics, Springer, 1992, pp. 538–630

    work page 1992

  2. [2]

    Bost and A

    J.-B. Bost and A. Connes, Hecke algebras, type III factors and phase transitions with spontaneous symmetry breaking in number theory,Selecta Math. (N.S.)1(1995), 411–457. 10

    work page 1995

  3. [3]

    H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska, The sphere packing problem in dimension 24,Ann. of Math.185(2017), 1017–1033

    work page 2017

  4. [4]

    H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska, Universal opti- mality of theE8 and Leech lattices and interpolation formulas,Ann. of Math.196 (2022), 983–1082

    work page 2022

  5. [5]

    Cohn and N

    H. Cohn and N. Elkies, New upper bounds on sphere packings I,Ann. of Math.157 (2003), 689–714

    work page 2003

  6. [6]

    Cohn and N

    H. Cohn and N. Triantafillou, Dual linear programming bounds for sphere packing via modular forms,Math. Comp.91(2022), 491–508. Preprint: arXiv:1909.04772 (2019)

    work page arXiv 2022

  7. [7]

    Connes,Noncommutative Geometry, Academic Press, 1994

    A. Connes,Noncommutative Geometry, Academic Press, 1994

    work page 1994

  8. [8]

    J. H. Conway and V. Pless, On the enumeration of self-dual codes,J. Combin. Theory Ser. A28(1980), 26–53

    work page 1980

  9. [9]

    J. H. Conway and N. J. A. Sloane,Sphere Packings, Lattices and Groups, 3rd ed., Springer, 1999

    work page 1999

  10. [10]

    Damanik and A

    D. Damanik and A. Gorodetski, Spectral and quantum dynamical properties of the weakly coupled Fibonacci Hamiltonian,Comm. Math. Phys.305(2011), 221–277

    work page 2011

  11. [11]

    de Laat and F

    D. de Laat and F. Vallentin, A breakthrough in sphere packing: the search for magic functions,Nieuw Arch. Wiskd.17(2016), 184–192. Preprint: arXiv:1607.02111

    work page arXiv 2016

  12. [12]

    Ebeling,Lattices and Codes, 3rd ed., Springer Spektrum, 2013

    W. Ebeling,Lattices and Codes, 3rd ed., Springer Spektrum, 2013

    work page 2013

  13. [13]

    Frenkel, J

    I. Frenkel, J. Lepowsky, and A. Meurman,Vertex Operator Algebras and the Monster, Academic Press, 1988

    work page 1988

  14. [14]

    Gleason, Weight polynomialsof self-dualcodesand theMacWilliams identities, Actes Congrès Int

    A.M. Gleason, Weight polynomialsof self-dualcodesand theMacWilliams identities, Actes Congrès Int. Math. (Nice, 1970), vol. 3, 1971, pp. 211–215

    work page 1970

  15. [15]

    T. C. Hales, A proof of the Kepler conjecture,Ann. of Math.162(2005), 1065–1185

    work page 2005

  16. [16]

    Hartman, D

    T. Hartman, D. Mazáč, and L. Rastelli, Sphere packing and quantum gravity,J. High Energy Phys.2019, no. 12, article 48. Preprint: arXiv:1905.01319

    work page arXiv 2019

  17. [17]

    Hecke, Über Modulfunktionen und die Dirichletschen Reihen mit Eulerscher Pro- duktentwicklung

    E. Hecke, Über Modulfunktionen und die Dirichletschen Reihen mit Eulerscher Pro- duktentwicklung. I, II,Math. Ann.114(1937), 1–28; 316–351

    work page 1937

  18. [18]

    Hof, On diffraction by aperiodic structures,Comm

    A. Hof, On diffraction by aperiodic structures,Comm. Math. Phys.169(1995), 25– 43

    work page 1995

  19. [19]

    O. D. King, A mass formula for unimodular lattices with no roots,Math. Comp.72 (2003), 839–863

    work page 2003

  20. [20]

    Leech and N

    J. Leech and N. J. A. Sloane, Sphere packings and error-correcting codes,Canad. J. Math.23(1971), 718–745

    work page 1971

  21. [21]

    G. Nebe, E. M. Rains, and N. J. A. Sloane,Self-Dual Codes and Invariant Theory, Springer, 2006. 11

    work page 2006

  22. [22]

    Niemeier, Definite quadratische Formen der Dimension 24 und Diskriminante 1,J

    H.-V. Niemeier, Definite quadratische Formen der Dimension 24 und Diskriminante 1,J. Number Theory5(1973), 142–178

    work page 1973

  23. [23]

    V.Pless, Aclassificationofself-orthogonalcodesoverGF(2),Discrete Math.3(1972), 209–246

    work page 1972

  24. [24]

    Pless and N

    V. Pless and N. J. A. Sloane, On the classification and enumeration of self-dual codes, J. Combin. Theory Ser. A18(1975), 313–335

    work page 1975

  25. [25]

    Radchenko and M

    D. Radchenko and M. Viazovska, Fourier interpolation on the real line,Publ. Math. Inst. Hautes Études Sci.129(2019), 51–81

    work page 2019

  26. [26]

    Serre,A Course in Arithmetic, Springer, 1973

    J.-P. Serre,A Course in Arithmetic, Springer, 1973

    work page 1973

  27. [27]

    M. S. Viazovska, The sphere packing problem in dimension 8,Ann. of Math.185 (2017), 991–1015

    work page 2017

  28. [28]

    Zagier, Elliptic modular forms and their applications, in:The 1-2-3 of Modular Forms, Springer, 2008, pp

    D. Zagier, Elliptic modular forms and their applications, in:The 1-2-3 of Modular Forms, Springer, 2008, pp. 1–103. 12

    work page 2008