REVIEW 1 major objections 5 minor 22 references
On a lattice generalisation of the logarithm and a deformation of the Dedekind eta function
T0 review · 1 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A deformed Dedekind eta function peaks at the universal theta-minimizing lattices in 2, 8, and 24 dimensions.
desk verdict A clean conditional extension of universal optimality to Gannon's deformed eta function, but the auxiliary one-dimensional logarithm theorem has a factor-of-two error that needs an erratum. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the lattice-logarithm, $\log_L(x)=-\frac12\sum_{p\in L\setminus\{0\}}\frac{(1-x)^{|p|}}{|p|}$ for $x\in(0,1)$, which interpolates from the ordinary logarithm when $L=\mathbb{Z}$ to a lattice-dependent function. Its role is to linearize the product over lattice vectors in the deformed eta: Lemma 3.1 converts $\log E^{(m)}_{L,\Lambda}(it)$ into the $\theta$-integral term plus $\sum_{p\in L}\log_\Lambda(1-q^{m^2+|p|^2})$, so both terms can be attacked separately. The technical engine is complete monotonicity: functions such as $r\mapsto (1-x)^{\sqrt{r}}/\sqrt{r}$ and $r\mapsto e^{-|p|f(r)}$ with $f'$ completely monotone are completely monotone, so a standard Laplace-transform reduction transfers the universal $\theta$ minimizer to these energies. In dimension one, strict convexity of $r\mapsto -(1-x)^r/(2r)$ plus a periodicity inequality selects $\mathbb{Z}+a$ as the unique maximizer and hence characterizes the natural logarithm.
What would settle it
Numerically search a candidate dimension outside the known set, say d=4, for two values of $\alpha$ where the minimizer of the lattice $\theta$ function changes; that would put d outside D and remove the premise used to apply the Laplace-transform reduction in Theorems 2.3 and 3.2. Alternatively, in a dimension currently claimed, test Theorem 3.2 directly by evaluating $E^{(m)}_{L,\Lambda}(it)$ at the universal pair and at a nearby lattice pair with the same covolumes; a larger value would refute uniqueness.
Extended reading notes
Core claim
The central claim is Theorem 3.2: for d in D, t,m>0, V1,V2>0, the unique maximizer of $(L,\Lambda)\mapsto E^{(m)}_{L,\Lambda}(it)$ over $L_d^\circ(V_1)\times L_d^\circ(V_2)$ is $(V_1^{1/d}L_d, V_2^{1/d}L_d)$, where $L_d$ is the unique minimizer of the lattice $\theta$ function at all parameters. The proof uses Lemma 3.1 to separate $\log E^{(m)}_{L,\Lambda}(it)$ into two parts: an integral over the $\theta$ function of the dual lattice $L^*$, which is maximized by $V_1^{1/d}L_d$ because $L_d=L_d^*$ and the integrand is positive; and a double sum $\sum_{p\in L}\log_\Lambda(1-q^{m^2+|p|^2})$ in which the lattice-logarithm acts as an interacting potential, maximized by the same universal pair. Each reduction rests on the fact that completely monotone functions are minimized by the universal $\theta$ minimizer.
Load-bearing premise
The proof stands on the assumption that the dimension d belongs to D: one and the same lattice minimizes the theta function for every parameter and covolume and is self-dual; today this is verified only for d=2, 8, and 24.
Editorial extensions
If this is right
- For d=2,8,24 the maximal value of the deformed eta over fixed-covolume pairs is attained at the scaled universal lattice pair, so the maximizer does not jump when m or t changes.
- For any function f with completely monotone derivative, the two-lattice energy $\sum_{q\in\Lambda}\log_L(1-e^{-f(|q|^2)})$ has the same universal pair as its unique maximizer.
- The one-dimensional characterization upgrades the logarithm from a special function to the solution of an extremal problem over periodic sequences; every other periodic sequence gives a strictly smaller lattice-logarithm.
- The deformation limit $m\to0$ is continuous enough that the extremal pair in the classical eta case is recovered, and the family's ground state is stable throughout.
Reading between the lines
- Because the argument never uses the specific form of the q-product beyond the log-separation formula, the same extremal pair should maximize other two-lattice deformations whose logarithm splits into a theta integral plus a lattice-log term; this is a testable extension.
- The lattice-logarithm itself could serve as a quantitative measure of how far a lattice is from being one-dimensional: the gap $\log x-\log_L(x)$ is positive for $L\neq\mathbb{Z}$ and controlled by the shortest vectors of L, which might connect to flat-torus height problems.
- If the set D is enlarged beyond {2,8,24}, the theorem extends automatically; conversely, any dimension where theta minimization changes with alpha would show that the deformation problem inherits exactly the same non-universality.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Gannon's deformation E^{(m)}_{L,\Lambda}(it) of the Dedekind eta function, defined for pairs of d-dimensional simple lattices, and proves that for dimensions d in the set D (where the lattice theta function has the same unique minimizer L_d at every covolume and every parameter), the pair (V_1^{1/d}L_d, V_2^{1/d}L_d) uniquely maximizes (L,\Lambda) \mapsto E^{(m)}_{L,\Lambda}(it) in L_d^\circ(V_1) \times L_d^\circ(V_2). The proof is built on a lattice generalization of the logarithm introduced by Gannon: Theorem 2.3 shows that the theta-function minimizer maximizes the lattice-logarithm at fixed covolume, and Theorem 2.4 extends this to an interacting potential where the lattice-logarithm itself is the interaction. A separate one-dimensional result, Theorem 2.1, claims that the natural logarithm is characterized by maximizing a periodic analogue of the lattice-logarithm.
Significance. If the main theorem is correct, it gives a new extremal property of the triangular lattice, the E8 lattice, and the Leech lattice: the same lattices that universally minimize lattice theta functions also maximize Gannon's deformed eta function. This is a worthwhile extension of the universal-optimality methodology to a q-product-type object, and the proof strategy is clean, reducing the claim to complete monotonicity plus known external results of Montgomery and of Cohn--Kumar--Miller--Radchenko--Viazovska. The reliance on external results is explicit and appropriate, and Theorem 3.2 appears sound under the stated hypothesis d \in D. The paper is concise and the main argument is readable; however, the auxiliary one-dimensional characterization contains a normalization error that makes a stated theorem false as printed.
major comments (1)
- [Definition 1.1 / Theorem 2.1] The normalization in Definition 1.1 is inconsistent with Theorem 2.1 and with the abstract's claim that the natural logarithm is characterized. For {t_n} = Z + a, the inner sum over j in Definition 1.1 equals 2 \sum_{k=1}^\infty (1-x)^k/k = -2\log x, so after summing i=1,\ldots,N and multiplying by -1/(4N), one obtains \log_{Z+a}(x) = (1/2)\log x, not \log x. Consequently the equality \log_Z(x)=\log(x) used in the proof of Theorem 2.1 is false, and the correct maximum under the printed definition is (1/2)\log x rather than \log x. This is repaired by changing the factor 4N in Definition 1.1 to 2N; with that change the proof's inequalities deliver exactly \log_{t_n}(x) \le \log x and equality precisely for Z+a. The defect is localized to the one-dimensional periodic-logarithm result and does not enter the proof of Theorem 3.2, but Theorem 2.1, the introductory sentence about log_Z(x)=\log x, and the abstract must be corrected.
minor comments (5)
- [Theorem 2.3 proof] In the proof of Theorem 2.3, the function defined as e^{a\sqrt{r}}/\sqrt{r} is called f_x, but the surrounding notation uses \varphi_x; the symbol should be made consistent.
- [Theorem 2.4 proof] The sentence 'The second part follows from the first part by using (2.3) and Theorem 2.3' is very compressed. To make the uniqueness claim transparent, the proof should state that for each q \in \Lambda, in particular q=0, the function L \mapsto \log_L(1-e^{-f(|q|^2)}) is uniquely maximized by V_1^{1/d}L_d, so summing over q and then applying the first part gives uniqueness of both components.
- [Theorem 3.2 proof] The assertion 'L_d = L_d^* as a simple consequence of the Poisson Summation Formula' is correct, but it deserves a one-line justification: since L_d is the unique minimizer at covolume 1 for all arguments, the Poisson formula shows L_d^* is also a minimizer, and uniqueness forces L_d^* = L_d up to rotation.
- [Introduction] The sentence 'we remark that 3 \notin D \neq N' is unclear; it presumably means '3 \notin D and D \neq \mathbb{N}', and should be rewritten.
- [Remark 2.5] In Remark 2.5, 'It might be interesting to studied' should read 'It might be interesting to study'.
Circularity Check
No significant circularity: Theorem 3.2 follows from the external universal-optimality hypothesis d∈D plus the Laplace-transform representation, not from its own conclusion.
full rationale
The central derivation is self-contained once the externally established premise d∈D is granted. Lemma 3.1 rewrites log E as a positive-weight integral of (θ_{L*}(s)−1) plus a lattice-logarithm sum. The first term is minimized at V1^{1/d}Ld because θ_{L*}(s)=s^{−d/2}V1^{−1}θ_L(1/s) by Poisson summation, so Ld*=Ld, and d∈D gives uniqueness of the theta minimizer for every argument. The second term is treated by Theorem 2.4, whose proof again uses only the completely-monotone Laplace representation of [2, Prop 3.1] and Theorem 2.3; [2, Prop 3.1] is a parameter-free identity that does not contain the target result. No parameter is fitted to the conclusion, and no prediction is an input renamed. The only caveats are non-circular: the set D is currently known to contain {2,8,24} only, so Theorem 3.2 is conditional on D, and Theorem 2.1 in Section 2 appears to contain a factor-of-two inconsistency in the one-dimensional lattice-logarithm constant, but that auxiliary result is not used in the proof of Theorem 3.2.
Assumptions & free parameters
assumptions (4)
- standard math Ventevogel's inequality: for any convex decreasing potential φ, (1/(2N))∑_{i,j≠i} φ(|t_j-t_i|) ≥ ∑_{k≥1} φ(k) for N-periodic sequences.
- standard math Universal optimality of the lattice theta function: in dimensions d∈D={2,8,24}, the same lattice Ld uniquely minimizes θ_L(α) among simple lattices of fixed covolume for all α>0.
- standard math Completely monotone potentials inherit theta minimizers: if f is completely monotone, the minimizer of ∑_{p∈L} f(|p|^2) is the theta minimizer.
- standard math Poisson summation and self-duality: the minimizer Ld in D satisfies Ld* = Ld up to scaling, so the dual lattice also has the universal minimizer.
Cite this review
Pith. "Pith review of On a lattice generalisation of the logarithm and a deformation of the Dedekind eta function." pith.science (2026). https://pith.science/paper/MU2OHF6N
@misc{pith2026190801515,
author = {Pith},
title = {Pith review of: On a lattice generalisation of the logarithm and a deformation of the Dedekind eta function},
year = {2026},
howpublished = {\url{https://pith.science/paper/MU2OHF6N}},
note = {Machine review of arXiv:1908.01515}
}
abstract
We consider a deformation $E_{L,\Lambda}^{(m)}(it)$ of the Dedekind eta function depending on two $d$-dimensional simple lattices $(L,\Lambda)$ and two parameters $(m,t)\in (0,\infty)$, initially proposed by Terry Gannon. We show that the minimizers of the lattice theta function are the maximizers of $E_{L,\Lambda}^{(m)}(it)$ in the space of lattices with fixed density. The proof is based on the study of a lattice generalization of the logarithm, called lattice-logarithm, also defined by Terry Gannon. We also prove that the natural logarithm is characterized by a variational problem over a class of one-dimensional lattice-logarithm.
Reference graph
Works this paper leans on
-
[1]
O. Bergman, M.R. Gaberdiel, and M.B. Green. D-brane interaction s in type IIB plane-wave background. Journal of High Energy Physics , 2003(002), 2003
work page 2003
-
[2]
L. B´ etermin. Two-dimensional Theta Functions and Crystallizat ion among Bravais Lattices. SIAM J. Math. Anal. , 48(5):3236–3269, 2016. 6
work page 2016
-
[3]
L. B´ etermin. Minimizing lattice structures for Morse potential e nergy in two and three dimensions. Journal of Mathematical Physics , 60(10):102901, 2019
work page 2019
-
[4]
L. B´ etermin and H. Kn¨ upfer. On Born’s conjecture about optimal distribution of charges for an infinite ionic crystal. J. Nonlinear Sci. , 28(5):1629–1656, 2018
work page 2018
-
[5]
L. B´ etermin and H. Kn¨ upfer. Optimal lattice configurations for interacting spatially extended particles. Lett Math Phys , 108(10):2213–2228, 2018
work page 2018
-
[6]
J. S. Brauchart and P. Grabner. Distributing Many Points on Sph eres: Minimal Energy and Designs. J. Complexity , 31:293–326, 2015
work page 2015
-
[7]
H. Cohn and A. Kumar. Universally Optimal Distribution of Points on Spheres. Journal of the American Mathematical Society, 20(1):99–148, 2007
work page 2007
-
[8]
H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska. Universal optimality of the e8 and leech lattices and interpolation formulas. Preprint. arXiv:1902:05438, 2019
work page 1902
Show all 22 references
-
[9]
P. Epstein. Zur Theorie allgemeiner Zetafunctionen. Mathematische Annalen , 56(4):615–644, 1903
1903
-
[10]
Faulhuber
M. Faulhuber. Extremal Determinants of Laplace-Beltrami Op erators for Rectangular Tori. Preprint. arXiv:1709.06006, 2017
2017 arXiv
-
[11]
T. Gannon. Variations on Dedekind’s Eta. in Symmetry in Physics, In Memory of Robert T. Sharp , CRM Proceedings and Lecture notes, American Mathematical Socie ty, pp 55–66, 2004
2004
-
[12]
Krazer and E
A. Krazer and E. Prym. Neue Grundlagen einer Theorie der Allgemeinen Theta-funkt ionen. Teubner, Leipzig, 1893
-
[13]
S. Luo, X. Ren, and J. Wei. Non-hexagonal lattices from a two s pecies interacting system. Preprint. arXiv:1902.09611, 2019
1902 arXiv
-
[14]
K. S. Miller and S. G. Samko. Completely monotonic functions. Integr. Transf. Spec. Funct., 12:389–402, 2001
2001
-
[15]
H. L. Montgomery. Minimal Theta Functions. Glasg. Math. J. , 30(1):75–85, 1988
1988
-
[16]
Nikiforov and V.B
A.F. Nikiforov and V.B. Uvarov. Special Functions in Mathematical Physics. A Unified Introd uction with Applications. Birkh¨ auser Basel, 1988
1988
-
[17]
Osgood, R
B. Osgood, R. Phillips, and P. Sarnak. Extremals of Determinant s of Laplacians. Journal of Functional Analysis, 80:148–211, 1988
1988
-
[18]
R. A. Rankin. A Minimum Problem for the Epstein Zeta-Function. Proceedings of The Glasgow Mathematical Association, 1(4):149–158, 1953
1953
-
[19]
Sandier and S
E. Sandier and S. Serfaty. From the Ginzburg-Landau Model t o Vortex Lattice Problems. Comm. Math. Phys. , 313(3):635–743, 2012
2012
-
[20]
Sarnak and A
P. Sarnak and A. Str¨ ombergsson. Minima of Epstein’s Zeta Fun ction and Heights of Flat Tori. Invent. Math., 165:115–151, 2006
2006
-
[21]
S. Serfaty. Systems of points with coulomb interactions. EMS Newsl. , 12:16–21, 2018
2018
-
[22]
Ventevogel
W.J. Ventevogel. On the Configuration of Systems of Interact ing Particle with Minimum Potential Energy per Particle. Physica A-statistical Mechanics and Its Applications , 92(3-4):343–361, 1978. 7
1978
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.