REVIEW 1 major objections 6 minor 21 references
Fourier optimization and pair correlation problems
T0 review · 1 major / 6 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read A Fourier-optimization framework bounds pair-correlation averages and refutes a 2018 conjecture in zeta-zero cases.
desk verdict Genuinely new axiomatic framework for form-factor averages, with a clean conditional refutation of Gonek-Ki Conjecture 1; the core transfer is solid and the paper deserves serious peer review. 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 extremal constant $C_\nu=\inf_{g\in A_\Delta,\,g(0)>0}\Phi_\nu(g)/g(0)$, where $A_\Delta$ consists of continuous even functions $g$ with $g,\hat g\in L^1$, $g\ge 0$, and $\hat g(\alpha)\le 0$ outside $[-\Delta,\Delta]$, and $\Phi_\nu(g)=\int_{-\Delta}^{\Delta}\hat g(\alpha)\,d\nu(\alpha)$. For measures $\nu=c_1\delta+c_2|\alpha|e^{-c_3|\alpha|}d\alpha$ supported in $[-\Delta,\Delta]$, the paper works in the reproducing kernel Hilbert space $H_\nu$ of entire functions of exponential type at most $\pi\Delta$ with inner product weighted by $\hat\nu$; a reproducing kernel Hilbert space is one in which each point evaluation is a continuous functional, represented by a kernel function $K_\nu$. Lemma 4 gives $C_\nu\le 1/K_\nu(0,0)$, and Theorems 5 and 6 compute $K_\nu(0,0)$ by solving the integral equation $(\hat f*\nu)=e^{-2\pi i w\xi}$ with ordinary differential equations. The auxiliary problem EP2, maximizing $g(0)$ subject to $\hat g\le \chi_{[-\beta,\beta]}$ and $g\ge 0$, is solved exactly by $D_\beta=\beta$ using Poisson summation, producing the universal $1/2$ lower bound.
What would settle it
Numerically compute, for fixed $c>0$ and large $b,\ell,T$, the averages $(1/\ell)\int_b^{b+\ell}F_\Gamma(\alpha,T)\,d\alpha$ for zeros of $\operatorname{Re}\zeta$ or $\operatorname{Im}\zeta$ on the line $a=1/2-c/\log T$, using rigorous high-precision zero data; if they converge to $0$ as the conjecture predicts, the lower constant $0.7467$ is false. A more direct check is to test (A2) itself by confirming whether $F_\Gamma(\alpha,T)\,d\alpha$ on $[-1/2,1/2]$ converges weak-* to $\delta(\alpha)+|\alpha|e^{-4c|\alpha|}d\alpha$.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 1: any sequence satisfying (A1) and (A2) has form-factor averages obeying $1+s_0(C_\nu-1)-\varepsilon+o(1)<(1/\ell)\int_b^{b+\ell}F_\Gamma(\alpha,T)\,d\alpha<C_\nu+\varepsilon+o(1)$ as $T\to\infty$, with $\ell$ large depending on $\varepsilon$ and, for the lower bound, on $b$. The constant $C_\nu$ is defined by the extremal problem over even nonnegative test functions whose Fourier transform is nonpositive outside $[-\Delta,\Delta]$. For the applied measures $\nu=c_1\delta+c_2|\alpha|e^{-c_3|\alpha|}d\alpha$ with $c_2\Delta^2/c_1\le 5/3$, the paper constructs the reproducing kernel Hilbert space $H_\nu=PW(\pi\Delta)$ and proves $C_\nu\le 1/K_\nu(0,0)$, then solves the kernel's differential equation to get explicit values. Feeding in previously established form-factor asymptotics for primitive Selberg-class functions, Dedekind zeta functions, and the real and imaginary parts of zeta, it obtains Corollaries 8 through 10. Corollary 10's lower bound $0.7467\ldots$ is uniformly positive on long intervals, so the conjecture's predicted vanishing of the averages for fixed $c>0$ cannot hold.
Load-bearing premise
The hinge is Assumption (A2): the form-factor measures $F_\Gamma(\alpha,T)\,d\alpha$ must converge weak-* to a finite limiting measure $\nu$; in the number-theoretic applications this convergence is imported from unproved input such as the Riemann Hypothesis, so if that input is wrong the bounds and the disproof of the conjecture do not follow.
Editorial extensions
If this is right
- Any sequence satisfying (A1)–(A2) has long form-factor averages trapped between $1+s_0(C_\nu-1)$ and $C_\nu$, forcing $C_\nu\ge 1$ as a necessary condition on any limiting measure.
- For symmetric intervals, the density axiom alone forces long averages to be at least $1/2$, regardless of the size of the interval or the shape of the limiting measure.
- For primitive Selberg-class functions of degree $m$, the averages are explicitly bounded in terms of $m$; for Dedekind zeta functions of abelian degree-$n$ fields, in terms of $n$.
- For zeros of the real and imaginary parts of zeta with $a=1/2-c/\log T$, the averages lie between $0.7467$ and $2.1659$, so the addressed conjecture cannot hold for fixed $c>0$; whether it can hold when $c=o(1)$ is left open.
Reading between the lines
- Editorial inference: the same reproducing-kernel computation should apply, with the same explicit constants, to any sequence whose limiting measure has the form $c_1\delta+c_2|\alpha|e^{-c_3|\alpha|}d\alpha$, once an (A2)-type input is available.
- Editorial inference: the universal $1/2$ lower bound suggests a rigidity of pair correlations that might hold under weaker hypotheses than (A2), perhaps whenever a positive proportion of the form factor's mass stays near $\alpha=0$.
- Editorial inference: a numerical experiment comparing the Re/Im zeta averages with the conjecture's predicted value would locate the breakdown, either in the conjectured form factor or in the RH-supplied input, and so would tell future work where to focus.
- Editorial inference: optimizing the kernel parameter $c_3$ and the interval $[-\Delta,\Delta]$ is a natural next step, since the bounds are valid for all admissible parameters and their tightness varies with them.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces an axiomatic framework, Assumptions A1 and A2, for the form factors F_Γ(α,T) of a general family of sequences Γ(T), and proves that long-interval averages of F_Γ are controlled by the Fourier-optimization constant C_ν attached to the limiting measure ν. Theorem 1 gives the bounds 1+s0(C_ν−1)−ε+o(1) < (1/ℓ)∫_b^{b+ℓ}F_Γ dα < C_ν+ε+o(1), and Theorem 2 gives a universal lower bound of 1/2 via the complete solution of a second extremal problem (EP2). For measures of the form dν=c1δ+c2|α|e^{-c3|α|}dα, the paper constructs the reproducing kernel Hilbert space H_ν, computes K_ν(0,0) (Theorems 5 and 6), and derives explicit average bounds for zeros of Selberg-class L-functions, Dedekind zeta functions, and the real and imaginary parts of the Riemann zeta function. In the last case, Corollary 10 yields a positive lower bound for averages of the form factor, which is incompatible with Gonek and Ki's Conjecture 1 when c>0 is fixed.
Significance. If correct, the paper provides a clean and broadly applicable transfer principle from Fourier optimization to pair-correlation averages, and the disproof of Gonek–Ki Conjecture 1 is a notable result. The solution of EP2 is complete and elementary, and the RKHS approach gives explicit, reproducible constants. The framework is transparently axiomatic: the burden is placed on external theorems that supply A2, and the paper is careful to state this dependence. The numerical lower bound 0.7467 for the averages attached to Re ζ and Im ζ is a concrete, falsifiable consequence, and the internal consistency of the numerical constants in Corollaries 8–10 is a strength.
major comments (1)
- [§1.5, Theorem 5] The displayed formula for K_ν(0,0) is inconsistent with the rest of the paper as written. The formula appears to state K_ν(0,0)=√(2/(c1c2)) sin θ cos θ + θ sin θ, where θ=√(c2/(2c1))Δ. For Δ=1, c1=c2=1 this would give 1/K_ν(0,0)≈0.864, contradicting Theorem 2's lower bound of 1/2 and the known Montgomery–Carneiro–Milinovich–Ramos bounds for the zeta function. The numerical values in Corollaries 8–10 correspond instead to K_ν(0,0)=√(2/(c1c2)) sin θ / (cos θ + θ sin θ). Since Theorem 5 is the basis for the explicit constants in all applications, the displayed formula must be corrected and checked.
minor comments (6)
- [§2.1] The class ABL_Δ is used in the proof of Theorem 1 before being defined; please state explicitly that ABL_Δ consists of those f∈A_Δ with supp(f̂) compact.
- [§3.1] The numerical bound sup_{t>0}(2−2cos t−2t sin t)/t^2 = 0.586... is load-bearing for the admissibility range c2/c1 Δ^2 ≤ 5/3, but no proof or reference is supplied; include a short derivation or a citation.
- [§4.1, Theorem 13] There is a typographical artifact in the definition of r(z): the formula ends with a stray semicolon, and the surrounding display would be clearer with consistent notation for the limit cases.
- [§1.6.3] In the sentence introducing Gonek and Ki's Theorem 3, there is a stray '1.' after 'established the following'; this should be removed.
- [§1.5, Theorem 6] The statement 'where the numbers η1 and η2 are roots of the equation ... such that η1+η2≠0' leaves the choice of roots ambiguous; the proof uses one root from each of the two pairs {±η1}, {±η2}, and this convention should be stated in the theorem.
- [Corollaries 8 and 9] The displayed lower bounds are difficult to parse because of missing parentheses and line breaks (e.g., '− 2m − 1 2m' should presumably be '− (2m−1)/(2m)'). Please typeset these expressions with clear fraction bars and parentheses.
Circularity Check
No circularity: bounds transfer from external limiting measures via Fourier optimization; the Gonek-Ki disproof is a valid modus tollens.
full rationale
The derivation chain is A1/A2 -> Theorem 1 -> EP1 constant C_nu -> Lemma 4 (C_nu <= 1/K_nu) -> Theorems 5 and 6 (K_nu) -> Corollaries 7-10 -> contradiction with Gonek-Ki Conjecture 1. No step defines a target quantity in terms of itself. Assumption A2 is an axiom in the abstract framework, but in every application it is supplied by external, independently proven theorems: Montgomery/Goldston-Montgomery for zeta, Murty-Perelli under GRH plus Hypothesis MP for the Selberg class, de Laat et al. under GRH for Dedekind zeta, and Gonek-Ki Theorem 3 under RH for Re/Im zeta. A2 is not constructed from the long-interval averages that the paper bounds. The constant C_nu is an extremal quantity over test functions g determined by the limiting measure nu alone; Theorem 1 transfers control of the integral of g-hat against F_Gamma to long intervals via Fourier inversion, non-negativity of g, the sign condition on g-hat, and the diagonal/off-diagonal splitting with s0. This is a genuine analytic transfer, not a substitution of the target average into its own definition. The reproducing kernel K_nu is obtained by solving the independent integral equation (u_nu * nu)(xi) = e^{-2 pi i w xi}; it depends only on nu and does not encode the interval averages being estimated. The disproof of Gonek-Ki Conjecture 1 is a legitimate modus tollens: assuming the conjecture, integrating its predicted expression over [b,b+ell] gives averages tending to 0, while Corollary 10's lower bound is derived from the proved small-alpha theorem of Gonek-Ki (via A2) together with the Fourier-optimization machinery. Thus the conjecture is contradicted by a theorem, not by itself. The reused averaging inequality from [5] (with co-author Ramos) is a published, checkable lemma and is independent support; it is not a fitted parameter and does not encode the target result. One non-circular completeness gap is that the numerical supremum 0.586... in Section 3.1 is asserted without derivation, but all applications use parameter values well inside the resulting 5/3 range, so this gap is not load-bearing. Verdict: no significant circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption A1: #{gamma in Gamma(T) : 0 < gamma <= T} ~ lambda T log T / (2 pi)
- domain assumption A2: weak-* convergence of FGamma dalpha to a finite limiting measure nu on [-Delta, Delta]
- domain assumption RH/GRH and Murty-Perelli Hypothesis MP in the Selberg-class and Dedekind applications
- ad hoc to paper Range condition c2/c1 Delta^2 <= 5/3 for the measure class studied
- standard math Standard Fourier analysis, Paley-Wiener theorem, Krein decomposition, and Poisson summation
Cite this review
Pith. "Pith review of Fourier optimization and pair correlation problems." pith.science (2026). https://pith.science/paper/DAJCLZDQ
@misc{pith2026250205106,
author = {Pith},
title = {Pith review of: Fourier optimization and pair correlation problems},
year = {2026},
howpublished = {\url{https://pith.science/paper/DAJCLZDQ}},
note = {Machine review of arXiv:2502.05106}
}
read the original abstract
We introduce a generic framework to provide bounds related to the pair correlation of sequences belonging to a wide class. We consider analogues of Montgomery's form factor for zeros of the Riemann zeta function in the case of arbitrary sequences satisfying some basic assumptions, and connect their estimation to two extremal problems in Fourier analysis, which are promptly studied. As applications, we provide average bounds of form factors related to some sequences of number theoretic interest, such as the zeros of primitive elements of the Selberg class, Dedekind zeta functions, and the real and imaginary parts of the Riemann zeta function. In the last case, our results bear an implication to a conjecture of Gonek and Ki (2018), showing it cannot hold in some situations.
Figures
Reference graph
Works this paper leans on
-
[1]
N. I. Achieser, Theory of Approximation, Frederick Unga r Publishing, New York, 1956
work page 1956
-
[2]
W. Barrett, B. McDonald, S. J. Miller, P. Ryan, C. L. Turna ge-Butterbaugh, K. Winsor, Gaps between zeros of GL(2) L-functions, J. Math. Anal. Appl. 429 (2015), no. 1, 204–232
work page 2015
-
[3]
E. Carneiro, V. Chandee, A. Chirre, and M. B. Milinovich, On Montgomery’s pair correlation conjecture: a tale of three integrals, J. Reine Angew. Math. 786 (2022), 2 05–243
work page 2022
-
[4]
E. Carneiro, V. Chandee, F. Littmann, and M. B. Milinovic h, Hilbert spaces and the pair correlation of zeros of the Riemann zeta-function, J. Reine Angew. Math. 72 5 (2017), 143–182
work page 2017
-
[5]
E. Carneiro, M. B. Milinovich, A. P. Ramos, Fourier optim ization and Montgomery’s pair correlation conjecture, Math. Comp. 94 (2025), 409–424
work page 2025
-
[6]
V. Chandee, K. Klinger-Logan, and X. Li, Pair correlatio n of zeros of Γ 1(q) L-functions, Math. Z. 302 (2022), no. 1, 219–258
work page 2022
-
[7]
H. Cohn, N. Elkies, New upper bounds on sphere packings I, Ann. of Math. (2) 157 (2003), no. 2, 689–714
work page 2003
-
[8]
Pair correlation for Dedekind zeta functions of abelian extensions
D. de Laat, L. Rolen, Z. Tripp, I. Wagner, Pair correlatio n for Dedekind zeta functions of abelian extensions, preprint available at https://arxiv.org/abs /1908.04876
work page Pith review arXiv 1908
Show all 21 references
-
[9]
D. W. Farmer, S. M. Gonek, Y. Lee, Pair correlation of the z eros of the derivative of the Riemann ξ-function, J. Lond. Math. Soc. (2) 90 (2014), no. 1, 241–269
2014
-
[10]
M. Z. Garaev, On vertical zeros of ℜζ(s) and ℑζ(s), Acta Arith. 108 (2003), no.3, 245–251
2003
-
[11]
D. A. Goldston, On the function S(T ) in the theory of the Riemann zeta-function, J. Number Theor y 27 (1987), no. 2, 149–177
1987
-
[12]
D. A. Goldston, On the pair correlation conjecture for z eros of the Riemann zeta-function, J. Reine Angew. Math. 385 (1988), 24–40. FOURIER OPTIMIZATION AND PAIR CORRELATION PROBLEMS 29
1988
-
[13]
D. A. Goldston and S. M. Gonek, A note on the number of prim es in short intervals, Proc. Amer. Math. Soc. 108 (1990), no. 3, 613–620
1990
-
[14]
D. A. Goldston, H. L. Montgomery, Pair correlation of ze ros and primes in short intervals, Analytic number theory and Diophantine problems (Stillwater, OK, 19 84), 183–203, Progr. Math., 70, Birkh¨ auser Boston, Inc., Boston, MA, 1987
1987
-
[15]
S. M. Gonek, H. Ki, Pair correlation of zeros of the real a nd imaginary parts of the Riemann zeta- function, J. Number Theory 186 (2018), 35–61
2018
-
[16]
Ki, On the zeros of sums of the Riemann zeta function, J
H. Ki, On the zeros of sums of the Riemann zeta function, J . Number Theory 128(2008), no. 9, 2704–2755
2008
-
[17]
Karabulut, C
Y. Karabulut, C. Y. Yıldırım, Some analogues of pair cor relation of zeta zeros, Exploring the Riemann zeta function, 113–179, Springer, Cham, 2017
2017
-
[18]
H. L. Montgomery, The pair correlation of zeros of the ze ta function, Analytic number theory (Proc. Sympos. Pure Math., Vol. XXIV, St. Louis Univ., St. Louis, Mo ., 1972), pp. 181–193. Amer. Math. Soc., Providence, R.I., 1973
1972
-
[19]
H. L. Montgomery, Distribution of the zeros of the Riema nn zeta function, Proceedings of the Interna- tional Congress of Mathematicians (Vancouver, B. C., 1974) , Vol. 1, pp. 379–381. Canad. Math. Congress, Montreal, Que., 1975
1974
-
[20]
M. R. Murty, A. Perelli, The pair correlation of zeros of functions in the Selberg class, Internat. Math. Res. Notices 1999, no. 10, 531–545
1999
-
[21]
Selberg, Old and new conjectures and results about a c lass of Dirichlet series, Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori, 1989), Salerno: Univ
A. Selberg, Old and new conjectures and results about a c lass of Dirichlet series, Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori, 1989), Salerno: Univ. Salerno, pp. 367–385, Reprinted in Collected Papers, vol 2, Springer–Verlag, Ber lin (1991) ICTP - T...
1991
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.