Recognition: 2 theorem links
· Lean TheoremOn ratios of theta functions
Pith reviewed 2026-05-11 01:56 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- [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)
- [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
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
-
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
-
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
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
Lean theorems connected to this paper
-
IndisputableMonolith.Foundation.RecognitionLatticeshexagonal_minimizer_for_Jcost_lattice_energy echoesarg min_{z∈H} θ(β,z)/θ(α,z) = e^{iπ/3} (if (α,β)∈II∪IV); arg min ζ(s,z)/θ^k(α,z) = e^{iπ/3} (if k∈(0,2s])
-
IndisputableMonolith.Crystallographyreality_from_one_distinction_implies_lattice_optimality echoeshexagonal lattice plays a pivotal role... applications to crystallization and interacting particle theory
Reference graph
Works this paper leans on
-
[1]
A. Abrikosov, Nobel Lecture: Type-II superconductors and the vortex lattice.Reviews of modern physics 76(2004), no.3, p. 975
work page 2004
-
[2]
L. Alvarez-Gaum´ e, G. Moore, C. Vafa, Theta functions, modular invariance, and strings.Comm. Math. Phys. 106 (1986), no. 1, 1-40
work page 1986
-
[3]
N. Afkhami-Jeddi, H. Cohn, T. Hartman, A. Tajdini, Free partition functions and an averaged holographic duality.JHEP01, 130 (2021)
work page 2021
-
[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
work page 2010
-
[5]
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
work page 2020
-
[6]
N. Benjamin, C. Keller, H. Ooguri, I. Zadeh, Narain to Narnia.Comm. Math. Phys.390 (2022), no. 1, 425-470
work page 2022
-
[7]
L. B´ etermin, Two-dimensional theta functions and crystallization among Bravais lattices,SIAM Journal on Mathematical Analysis, 48(5) (2016), 3236-269
work page 2016
-
[8]
L. B´ etermin, Local variational study of 2d lattice energies and application to Lennard-Jones type interactions, Nonlinearity31(9) (2018), 3973-4005
work page 2018
-
[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
work page 2019
-
[10]
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
work page 2033
-
[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
work page 2021
-
[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
work page 2021
-
[13]
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
work page 2023
-
[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
work page 2020
-
[15]
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
work page 2023
-
[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
work page 2021
-
[17]
L. B´ etermin, M. Faulhuber, and S. Steinerberger, A variational principle for Gaussian lattice sums, arXiv:2110.006008v1
-
[18]
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
work page 1991
- [19]
-
[20]
X. Chen, Y. Oshita, An application of the modular function in nonlocal variational problems.Arch. Rat. Mech. Anal., 186(1) (2007), 109-132
work page 2007
-
[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.)
work page 1959
-
[22]
H. Cohn, M. de Courcy-Ireland, The Gaussian core model in high dimensions.Duke Math. J.167 (2018), no. 13, 2417-2455
work page 2018
-
[23]
H. Cohn, A. Kumar, S. Miller, D. Radchenko, M. Viazovska, The sphere packing problem in dimension 24, Annals of Mathematics2017, 1017-1033
-
[24]
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
work page 1988
- [25]
-
[26]
A. Selberg, S. Chowla, On Epstein’s Zeta function (I),Proc. Nat. Acad. Sci.35 (1949), 371-74
work page 1949
-
[27]
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
work page 2007
-
[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
work page 1964
-
[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
work page 1964
-
[30]
Folkins, Functions of two-dimensional Bravais lattices.J
I. Folkins, Functions of two-dimensional Bravais lattices.J. Math. Phys.32, 1965-1969 (1991)
work page 1965
-
[31]
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
work page 2013
-
[32]
T. Ho, Bose-Einstein condensates with large number of vortices.Physical Review Letters87(2001), 604031- 604034
work page 2001
-
[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
work page 1991
-
[34]
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)
work page 1927
-
[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
work page 2020
-
[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
work page 2024
-
[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
work page 2022
-
[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
work page 2023
-
[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
work page 2025
-
[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]
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
work page 2020
-
[42]
A. Maloney, E. Witten, Averaging over Narain moduli space.JHEP10, 187 (2020)
work page 2020
-
[43]
Montgomery, Minimal theta functions.Glasgow Math
H. Montgomery, Minimal theta functions.Glasgow Math. J.30 (1988), 75-85
work page 1988
-
[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
work page 1983
-
[45]
Y. Nakayama, Liouville field theory: a decade after the revolution,International Journal of Modern Physics AVol. 19, No. 17-18, pp. 2771-2930 (2004)
work page 2004
-
[46]
S. Nonnenmacher and A. Voros, Chaotic eigenfunctions in phase space,J. Statist. Phys., 92 (1998), 431-518
work page 1998
- [47]
-
[48]
S. Prestipino, F. Saija, P. Giaquinta, Hexatic Phase in the Two-Dimensional Gaussian-Core Model,Phys. Rev. Lett.106, 235701 - Published 10 June 2011
work page 2011
- [49]
-
[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
work page 2023
-
[51]
E. Sandier, S. Serfaty, From the Ginzburg-Landau model to vortex lattice problems.Comm. Math. Phys. 313(2012), 635-743
work page 2012
- [52]
-
[53]
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
work page 2018
-
[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]
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
work page 1997
-
[56]
G. Mussardo, Statistical Field Theory: An Introduction to Exactly Solved Models in Statistical Physics, Second Edition,Oxford Graduate Texts, ISBN: 9780198788102, 2020
work page 2020
-
[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
work page 1953
-
[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
work page 1944
-
[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...
work page 1982
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.