Pith. sign in

REVIEW 3 minor 2 cited by

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

T0 review · 0 major / 3 minor · reviewed 2026-05-10 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read 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.

desk verdict Zhou conjectures that cusp-form dimension, Gamma_0(2) dual obstruction, and extremal Narain CFT existence are equivalent for LP sharpness when dimension is a multiple of 8, with a Bost-Connes link tying them together. read the letter →

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

Jian Zhou This is my paper
classification math.COmath.NT
keywords spherepackinglinearprogrammingboundscuspformsextremalconformalfieldtheoriesNarainCFTmodularlatticeuniquenessHeckealgebra
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

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 3 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cusp Form Dimensions, Lattice Uniqueness, and LP Sharpness for Sphere Packing in Dimensions 8 and 24." pith.science (2026). https://pith.science/paper/2604.10914

@misc{pith2026260410914,
  author       = {Pith},
  title        = {Pith review of: Cusp Form Dimensions, Lattice Uniqueness, and LP Sharpness for Sphere Packing in Dimensions 8 and 24},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.10914}},
  note         = {Machine review of arXiv:2604.10914}
}
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.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

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

  1. A dual linear programming bound for sphere packing in dimension 36

    math.MG 2026-07 conditional novelty 6.0 of 10

    An exact dual Cohn–Elkies certificate in dimension 36 proves the LP bound exceeds the Kschischang–Pasupathy packing density by ≥32.91, so that packing cannot be certified optimal by any Cohn–Elkies auxiliary function.

  2. A dual linear programming bound for sphere packing in dimension 36

    math.MG 2026-07 accept novelty 6.0 of 10

    In dimension 36, a modular-form certificate proves the Cohn–Elkies LP bound exceeds the density of the best known packing by at least a factor of 32.9.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · cited by 1 Pith paper

  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

Show all 28 references
  1. [9]

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

    1999

  2. [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

    2011

  3. [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

    2016

  4. [12]

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

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

    2013

  5. [13]

    Frenkel, J

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

    1988

  6. [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

    1970

  7. [15]

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

    2005

  8. [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

    2019

  9. [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

    1937

  10. [18]

    Hof, On diffraction by aperiodic structures,Comm

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

    1995

  11. [19]

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

    2003

  12. [20]

    Leech and N

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

    1971

  13. [21]

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

    2006

  14. [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

    1973

  15. [23]

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

    1972

  16. [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

    1975

  17. [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

    2019

  18. [26]

    Serre,A Course in Arithmetic, Springer, 1973

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

    1973

  19. [27]

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

    2017

  20. [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

    2008

Pith tools

Reviewed May 10, 2026 · model on record in the stance chip above.