pith. machine review for the scientific record. sign in

arxiv: 2605.07580 · v1 · submitted 2026-05-08 · 🧮 math.CA · math-ph· math.AP· math.CV· math.MP· math.NT

Recognition: 2 theorem links

· Lean Theorem

On ratios of theta functions

Juncheng Wei, Senping Luo

Pith reviewed 2026-05-11 01:56 UTC · model grok-4.3

classification 🧮 math.CA math-phmath.APmath.CVmath.MPmath.NT
keywords theta functionsEpstein zeta functionshexagonal latticeratio minimizationpartition functionsconformal field theorycrystallization
0
0 comments X

The pith

Hexagonal lattices uniquely extremize ratios of theta functions and Epstein zeta functions.

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

The paper sets out to classify every lattice that minimizes or maximizes specific ratios formed from theta functions and Epstein zeta functions. These ratios arise directly from averaging partition functions of free bosons and from integrating genus-1 partition functions over Narain moduli space. A reader cares because the classification singles out the hexagonal lattice as the geometry that achieves the extrema, which in turn fixes the values of physically relevant quantities such as ground-state energies and average partition functions. The same classification supplies the minimal values of differences between theta and Epstein zeta functions, quantities that appear in models of particle crystallization and interaction energies.

Core claim

We completely classify the minimizers and maximizers for ratios of theta and Epstein zeta functions, establishing that the hexagonal lattice is the unique geometry attaining these extrema. The classification follows from the concrete definitions of the functions that are fixed by the partition-function averages in the motivating physics papers, and it immediately yields the minimal values of differences between the same functions.

What carries the argument

Ratios of theta functions to Epstein zeta functions on two-dimensional lattices, whose extremal values are located by comparing the functions across all possible lattice geometries and isolating the hexagonal case.

If this is right

  • The extrema supply the exact averages of partition functions that appear in conformal and Liouville field theory.
  • The same classification gives the global minima of differences between theta and Epstein zeta functions.
  • These minimal differences translate into concrete bounds for interaction energies in two-dimensional crystallization models.
  • The pivotal role of the hexagonal lattice is now established for an entire family of ratio problems rather than isolated cases.

Where Pith is reading between the lines

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

  • The same ratio technique could be applied to three-dimensional lattices to test whether the body-centered cubic lattice plays an analogous role.
  • Direct numerical sampling of random lattices would give an independent check on whether any non-hexagonal configuration can beat the reported extremal value.
  • The results suggest a possible link to sphere-packing problems, since both involve extremal properties of lattice sums that are controlled by symmetry.

Load-bearing premise

The classification assumes the precise definitions and normalizations of the theta and Epstein zeta functions that are taken from the cited averages of boson partition functions.

What would settle it

Evaluating the ratio on a square lattice and obtaining a strictly smaller value than the value obtained on the hexagonal lattice would falsify the claim that the hexagonal lattice is the minimizer.

Figures

Figures reproduced from arXiv: 2605.07580 by Juncheng Wei, Senping Luo.

Figure 1
Figure 1. Figure 1: Fundamental domain and hexagonal point Motivated by Theorem D and Problem A, it is natural to consider the ratio forms of theta functions and Epstein zeta functions. There are four cases in general by simple combinatorics. We formulate them in the following problem. Problem B. Assume that α, β > 0 and s > 1. Classify (A) : min z∈H θ(β, z) θ(α, z) , and (B) : min z∈H ζ(s, z) θ(α, z) , (C) : max z∈H θ(β, z) … view at source ↗
Figure 2
Figure 2. Figure 2: (α, β) plane for extreme of θ(β,z) θ(α,z) Theorem 1.1 (Ratio of theta functions). Assume that α > 0 and β > 0. Then, up to the action by the modular group, the following hold. (a) Maximum of ratio of theta functions. arg max z∈H θ(β, z) θ(α, z) = ( e i π 3 , if (α, β) ∈ I ∪ III; does not exist, if (α, β) ∈ II ∪ IV. (b) Minimum of ratio of theta functions. arg min z∈H θ(β, z) θ(α, z) = ( e i π 3 , if (α, β)… view at source ↗
read the original abstract

Motivated by the average partition function of c free bosons $($Afhkami-Jeddi et al. \cite{Afhk2021}$)$ and the average of the genus 1 partition function over the Narain moduli space $($Maloney-Witten \cite{Witten2020}$)$, we investigate ratios of theta functions. In this paper, we completely classify the minimizers (or maximizers) for ratios of theta and Epstein zeta functions. We find that the hexagonal lattice plays a pivotal role there. These results have direct applications in conformal and Liouville field theory via partition functions. Additionally, they yield the minima of differences of theta and Epstein zeta functions, which have implications for the mathematics of crystallization and interacting particle theory (\cite{Bet2016,Bet2019AMP}).

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

2 major / 1 minor

Summary. The manuscript, motivated by averages of partition functions for free bosons and over Narain moduli space, studies ratios of theta functions and Epstein zeta functions. It claims a complete classification of the minimizers (or maximizers) of these ratios over lattices, with the hexagonal lattice identified as playing a pivotal role; the results are said to imply minima for differences of the functions with applications to conformal/Liouville field theory and crystallization.

Significance. A rigorous classification of extremal lattices for theta/Epstein-zeta ratios would be of interest for lattice theory and its intersections with mathematical physics, particularly if it uniformly identifies the hexagonal lattice without parameter restrictions. The cited connections to partition functions and crystallization problems are plausible extensions of existing work, but the significance hinges on whether the classification is proven for the full natural domain of the functions rather than restricted cases.

major comments (2)
  1. [Abstract] Abstract: the claim of a 'complete classification' of minimizers for ratios of theta and Epstein zeta functions lacks any explicit statement of the domain (lattice dimension d, range of the parameter s with Re(s) > d/2 for convergence of Z_Λ(s), or whether the ratio is considered for fixed volume or all even unimodular lattices). This is load-bearing for the central claim, as the Epstein zeta requires meromorphic continuation outside the convergence half-plane and the hexagonal lattice's extremality is known to be sensitive to dimension and s in related problems.
  2. [Abstract] Abstract and motivation section: the derivation of the specific ratios from the cited partition-function averages (Afhk2021, Witten2020) is not detailed enough to confirm that the classification holds uniformly rather than only for the discrete values of s or τ arising in those physical contexts; without this, the 'complete' qualifier cannot be verified.
minor comments (1)
  1. [Abstract] The abstract mentions 'differences of theta and Epstein zeta functions' as a corollary but does not indicate whether these differences are taken at the same parameter values or after suitable normalization; a brief clarifying sentence would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We will revise the abstract to state the domain explicitly and expand the motivation section to detail the derivation of the ratios. We address the major comments below.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the claim of a 'complete classification' of minimizers for ratios of theta and Epstein zeta functions lacks any explicit statement of the domain (lattice dimension d, range of the parameter s with Re(s) > d/2 for convergence of Z_Λ(s), or whether the ratio is considered for fixed volume or all even unimodular lattices). This is load-bearing for the central claim, as the Epstein zeta requires meromorphic continuation outside the convergence half-plane and the hexagonal lattice's extremality is known to be sensitive to dimension and s in related problems.

    Authors: The results apply to two-dimensional lattices (d=2) of fixed volume normalized to 1. Both the theta function and Epstein zeta function Z_Λ(s) are considered for Re(s) > 1, the half-plane of absolute convergence; no meromorphic continuation is invoked in the proofs or statements. The classification is for general lattices in R^2 (not restricted to even unimodular ones) and holds uniformly for every s with Re(s) > 1, with the hexagonal lattice as the unique extremizer. We will revise the abstract to include this explicit domain. revision: yes

  2. Referee: [Abstract] Abstract and motivation section: the derivation of the specific ratios from the cited partition-function averages (Afhk2021, Witten2020) is not detailed enough to confirm that the classification holds uniformly rather than only for the discrete values of s or τ arising in those physical contexts; without this, the 'complete' qualifier cannot be verified.

    Authors: The ratios we classify are the general continuous-parameter ratios of theta functions and of Epstein zeta functions. The cited works supply the physical motivation for studying these particular ratios, but the mathematical theorems apply for all s with Re(s) > 1. The discrete values of s or τ appearing in Afhk2021 and Witten2020 are therefore covered as special cases. We will add a short paragraph in the introduction explaining how the ratios are obtained from the averages and confirming that the uniform classification applies directly to those values. revision: yes

Circularity Check

0 steps flagged

No circularity: classification result presented as independent of fitted inputs or self-citations

full rationale

The abstract motivates the study of theta/Epstein-zeta ratios from two external partition-function papers but presents the complete classification of minimizers (with hexagonal lattice as key extremizer) as a new mathematical result. No equations, parameter fits, self-definitions, or load-bearing self-citations appear in the provided text that would reduce the claimed classification to a tautology or renamed input. The derivation chain is therefore self-contained against external benchmarks; any circularity would require explicit proof steps not visible here.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract; no free parameters, axioms, or invented entities are stated or derivable from the given text.

pith-pipeline@v0.9.0 · 5436 in / 1026 out tokens · 21209 ms · 2026-05-11T01:56:45.846636+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages

  1. [1]

    Abrikosov, Nobel Lecture: Type-II superconductors and the vortex lattice.Reviews of modern physics 76(2004), no.3, p

    A. Abrikosov, Nobel Lecture: Type-II superconductors and the vortex lattice.Reviews of modern physics 76(2004), no.3, p. 975

  2. [2]

    Alvarez-Gaum´ e, G

    L. Alvarez-Gaum´ e, G. Moore, C. Vafa, Theta functions, modular invariance, and strings.Comm. Math. Phys. 106 (1986), no. 1, 1-40

  3. [3]

    Afkhami-Jeddi, H

    N. Afkhami-Jeddi, H. Cohn, T. Hartman, A. Tajdini, Free partition functions and an averaged holographic duality.JHEP01, 130 (2021)

  4. [4]

    Baricz, Bounds for modified Bessel functions of the first and second kinds.Proc

    ´A. Baricz, Bounds for modified Bessel functions of the first and second kinds.Proc. Edinb. Math. Soc.(2) 53 (2010), no. 3, 575-599

  5. [5]

    Barreal, M

    A. Barreal, M. Damir, R. Freij-Hollanti, C. Hollanti, An approximation of theta functions with applications to communications.SIAM J. Appl. Algebra Geom.4 (2020), no. 4, 471-501. 28 SENPING LUO AND JUNCHENG WEI

  6. [6]

    Benjamin, C

    N. Benjamin, C. Keller, H. Ooguri, I. Zadeh, Narain to Narnia.Comm. Math. Phys.390 (2022), no. 1, 425-470

  7. [7]

    B´ etermin, Two-dimensional theta functions and crystallization among Bravais lattices,SIAM Journal on Mathematical Analysis, 48(5) (2016), 3236-269

    L. B´ etermin, Two-dimensional theta functions and crystallization among Bravais lattices,SIAM Journal on Mathematical Analysis, 48(5) (2016), 3236-269

  8. [8]

    B´ etermin, Local variational study of 2d lattice energies and application to Lennard-Jones type interactions, Nonlinearity31(9) (2018), 3973-4005

    L. B´ etermin, Local variational study of 2d lattice energies and application to Lennard-Jones type interactions, Nonlinearity31(9) (2018), 3973-4005

  9. [9]

    B´ etermin, Minimizing lattice structures for Morse potential energy in two and three dimensions,J

    L. B´ etermin, Minimizing lattice structures for Morse potential energy in two and three dimensions,J. Math. Phys., 60(10) (2019), 102901

  10. [10]

    B´ etermin, M

    L. B´ etermin, M. Petrache, Optimal and non-optimal lattices for non-completely monotone interaction poten- tials,Anal. Math. Phys.9(4): 2033-2073, 2019

  11. [11]

    B´ etermin, On energy ground states among crystal lattice structures with prescribed bonds,J

    L. B´ etermin, On energy ground states among crystal lattice structures with prescribed bonds,J. Phys. A54 (2021), no. 24, Paper No. 245202, 18 pp

  12. [12]

    B´ etermin, Effect of periodic arrays of defects on lattice energy minimizers.Ann

    L. B´ etermin, Effect of periodic arrays of defects on lattice energy minimizers.Ann. Henri Poincar´ e22 (2021), no. 9, 2995-3023

  13. [13]

    B´ etermin, Optimality of the triangular lattice for Lennard-Jones type lattice energies: a computer-assisted method,J

    L. B´ etermin, Optimality of the triangular lattice for Lennard-Jones type lattice energies: a computer-assisted method,J. Phys. A56 (2023), no. 14, Paper No. 145204, 19 pp

  14. [14]

    B´ etermin, Minimal soft lattice theta functions.Constr

    L. B´ etermin, Minimal soft lattice theta functions.Constr. Approx.52 (2020), no. 1, 115-138

  15. [15]

    B´ etermin, M

    L. B´ etermin, M. Faulhuber, Maximal theta functions universal optimality of the hexagonal lattice for Madelung- like lattice energies.J. Anal. Math.149 (2023), no. 1, 307-341

  16. [16]

    B´ etermin, Theta functions and optimal lattices for a grid cells model.SIAM J

    L. B´ etermin, Theta functions and optimal lattices for a grid cells model.SIAM J. Appl. Math.81 (2021), no. 5, 1931-1953

  17. [17]

    B´ etermin, M

    L. B´ etermin, M. Faulhuber, and S. Steinerberger, A variational principle for Gaussian lattice sums, arXiv:2110.006008v1

  18. [18]

    Bershadsky, I

    M. Bershadsky, I. Klebanov, Partition functions and physical states in two-dimensional quantum gravity and supergravity.Nuclear Phys. B360 (1991), no. 2-3, 559-585

  19. [19]

    Blanc, M

    X. Blanc, M. Lewin, The Crystallization Conjecture: A Review.EMS Surveys in Mathematical Sciences, EMS 2(2)2015, 255-306

  20. [20]

    X. Chen, Y. Oshita, An application of the modular function in nonlocal variational problems.Arch. Rat. Mech. Anal., 186(1) (2007), 109-132

  21. [21]

    Cassels, On a problem of Rankin about the Epstein Zeta function,Proc

    J. Cassels, On a problem of Rankin about the Epstein Zeta function,Proc. Glasgow Math. Assoc.4(1959), 73-80. (Corrigendum, ibid. 6 (1963), 116.)

  22. [22]

    H. Cohn, M. de Courcy-Ireland, The Gaussian core model in high dimensions.Duke Math. J.167 (2018), no. 13, 2417-2455

  23. [23]

    H. Cohn, A. Kumar, S. Miller, D. Radchenko, M. Viazovska, The sphere packing problem in dimension 24, Annals of Mathematics2017, 1017-1033

  24. [24]

    Conway, N

    J. Conway, N. Sloane, Sphere packings, lattices and groups. With contributions by E. Bannai, J. Leech, S. Norton, A. Odlyzko, R. Parker, L. Queen and B. Venkov. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 290. Springer-Verlag, New York, 1988. xxviii+663 pp. ISBN: 0-387-96617-X

  25. [25]

    Chowla, A

    S. Chowla, A. Selberg, On Epstein’s Zeta function,J. Reine Angew. Math.227 (1967), 86-110

  26. [26]

    Selberg, S

    A. Selberg, S. Chowla, On Epstein’s Zeta function (I),Proc. Nat. Acad. Sci.35 (1949), 371-74

  27. [27]

    Cohen, Number theory

    H. Cohen, Number theory. Vol. II. Analytic and modern tools. Graduate Texts in Mathematics, 240. Springer, New York, 2007. xxiv+596 pp. ISBN: 978-0-387-49893-5

  28. [28]

    Diananda, Notes on two lemmas concerning the Epstein zeta-function,Proc

    P. Diananda, Notes on two lemmas concerning the Epstein zeta-function,Proc. Glasgow Math. Assoc.6 (1964), 202-204

  29. [29]

    Ennola, A lemma about the Epstein Zeta function,Proc

    V. Ennola, A lemma about the Epstein Zeta function,Proc. Glasgow Math. Assoc.6 (1964), 198-201

  30. [30]

    Folkins, Functions of two-dimensional Bravais lattices.J

    I. Folkins, Functions of two-dimensional Bravais lattices.J. Math. Phys.32, 1965-1969 (1991)

  31. [31]

    Goldman, C

    D. Goldman, C. Muratov, S. Serfaty, The Gamma-limit of the two-dimensional Ohta-Kawasaki energy. I. droplet density.Arch. Rat. Mech. Anal.210(2)(2013), 581-613

  32. [32]

    Ho, Bose-Einstein condensates with large number of vortices.Physical Review Letters87(2001), 604031- 604034

    T. Ho, Bose-Einstein condensates with large number of vortices.Physical Review Letters87(2001), 604031- 604034

  33. [33]

    Kramer, A geometrical approach to the theory of Jacobi forms.Compositio Math.79 (1991), no

    J. Kramer, A geometrical approach to the theory of Jacobi forms.Compositio Math.79 (1991), no. 1, 1-19

  34. [34]

    Lefschetz, On the Functional Independence of Ratios of Theta Functions,Proceedings of the National Acad- emy of Sciences of the United States of America, Vol

    S. Lefschetz, On the Functional Independence of Ratios of Theta Functions,Proceedings of the National Acad- emy of Sciences of the United States of America, Vol. 13, No. 9 (Sep. 15, 1927), pp. 657-659 (3 pages)

  35. [35]

    S. Luo, X. Ren, J. Wei, Non-hexagonal lattices from a two species interacting system,SIAM J. Math. Anal., 52(2) (2020), 1903-1942

  36. [36]

    S. Luo, J. Wei, On lattice hexagonal crystallization for non-monotone potentials,J. Math. Phys.65 (2024), no. 7, Paper No. 071901, 28 pp

  37. [37]

    S. Luo, J. Wei, On minima of sum of theta functions and application to Mueller-Ho conjecture.Arch. Ration. Mech. Anal.243 (2022), no. 1, 139-199

  38. [38]

    S. Luo, J. Wei, On minima of difference of theta functions and application to hexagonal crystallization,Math. Ann.387 (2023), no. 1-2, 499-539. RATIO OF THETA FUNCTIONS 29

  39. [39]

    S. Luo, J. Wei, On non-Gaussian potentials having triangular lattice as minimizer at any fixed density,J. Math. Phys., 66 (2025), no. 12, Paper No. 121901, 33 pp

  40. [40]

    S. Luo, J. Wei, On minima of difference of Epstein zeta functions and exact solutions to Lennard-Jones lattice energy,J. Eur. Math. Soc.(JEMS), (2025), published online first, DOI 10.4171/JEMS/1682

  41. [41]

    Pinelis, Exact lower and upper bounds on the incomplete gamma function.Math

    I. Pinelis, Exact lower and upper bounds on the incomplete gamma function.Math. Inequal. Appl.23 (2020), no. 4, 1261-1278

  42. [42]

    Maloney, E

    A. Maloney, E. Witten, Averaging over Narain moduli space.JHEP10, 187 (2020)

  43. [43]

    Montgomery, Minimal theta functions.Glasgow Math

    H. Montgomery, Minimal theta functions.Glasgow Math. J.30 (1988), 75-85

  44. [44]

    Mumford, Tata lectures on theta

    D. Mumford, Tata lectures on theta. I. With the assistance of C. Musili, M. Nori, E. Previato and M. Stillman. Progress in Mathematics, 28. Birkh¨auser Boston, Inc., Boston, MA, 1983. xiii+235 pp. ISBN: 3-7643-3109-7

  45. [45]

    Nakayama, Liouville field theory: a decade after the revolution,International Journal of Modern Physics AVol

    Y. Nakayama, Liouville field theory: a decade after the revolution,International Journal of Modern Physics AVol. 19, No. 17-18, pp. 2771-2930 (2004)

  46. [46]

    Nonnenmacher and A

    S. Nonnenmacher and A. Voros, Chaotic eigenfunctions in phase space,J. Statist. Phys., 92 (1998), 431-518

  47. [47]

    Osgood, R

    B. Osgood, R. Phillips, P. Sarnak, Extremals of determinants of Laplacians,Journal of functional analysis80, 148-211 (1988)

  48. [48]

    Prestipino, F

    S. Prestipino, F. Saija, P. Giaquinta, Hexatic Phase in the Two-Dimensional Gaussian-Core Model,Phys. Rev. Lett.106, 235701 - Published 10 June 2011

  49. [49]

    Regev, N

    O. Regev, N. Stephens-Davidowitz, A reverse Minkowski theorem.Ann. of Math.(2) 199 (2024), no. 1, 1-49

  50. [50]

    Regev, Some questions related to the reverse Minkowski theorem

    O. Regev, Some questions related to the reverse Minkowski theorem. ICM-International Congress of Mathe- maticians. Vol. 6. Sections 12-14, 4898-4912, EMS Press, Berlin, 2023

  51. [51]

    Sandier, S

    E. Sandier, S. Serfaty, From the Ginzburg-Landau model to vortex lattice problems.Comm. Math. Phys. 313(2012), 635-743

  52. [52]

    Sarnak, A

    P. Sarnak, A. Str¨ ombergsson, Minima of Epstein’s zeta function and heights of flat tori.Invent. Math.165 (2006), no. 1, 115-151

  53. [53]

    Serfaty, Systems of points with Coulomb interactions.Proceedings of the International Congress of Mathematicians-Rio de Janeiro 2018.Vol

    S. Serfaty, Systems of points with Coulomb interactions.Proceedings of the International Congress of Mathematicians-Rio de Janeiro 2018.Vol. I. Plenary lectures, 935-977, World Sci. Publ., Hackensack, NJ, 2018

  54. [54]

    Viazovska, The sphere packing problem in dimension 8,Annals of Mathematics2017, 991-1015

    M. Viazovska, The sphere packing problem in dimension 8,Annals of Mathematics2017, 991-1015

  55. [55]

    Francesco, P

    P. Francesco, P. Mathieu, D. S´ en´ echal, Conformal Field Theory.Graduate Texts in Contemporary Physics, New York, NY: Springer New York. p. 104. ISBN 978-1-4612-2256-9, 1997

  56. [56]

    Mussardo, Statistical Field Theory: An Introduction to Exactly Solved Models in Statistical Physics, Second Edition,Oxford Graduate Texts, ISBN: 9780198788102, 2020

    G. Mussardo, Statistical Field Theory: An Introduction to Exactly Solved Models in Statistical Physics, Second Edition,Oxford Graduate Texts, ISBN: 9780198788102, 2020

  57. [57]

    Rankin, A minimum problem for the Epstein Zeta function,Proc

    R. Rankin, A minimum problem for the Epstein Zeta function,Proc. Glasgow Math. Assoc.1 (1953), 149-158

  58. [58]

    Watson, A treatise on the theory of Bessel functions

    G. Watson, A treatise on the theory of Bessel functions. Reprint of the second (1944) edition. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1995. viii+804 pp. ISBN: 0-521-48391-3

  59. [59]

    Zagier, The Rankin-Selberg method for automorphic functions which are not of rapid decay,J

    D. Zagier, The Rankin-Selberg method for automorphic functions which are not of rapid decay,J. Fac. Sci. Tokyo28 (1982), 415-438. (S. Luo)School of Mathematics and statistics, Jiangxi Normal University, Nanchang, 330022, China. (J. Wei)Department of Mathematics, Chinese University of Hong Kong, Shatin, NT, Hong Kong. Email address, S. Luo:luosp1989@163.co...