REVIEW 1 major objections 3 minor 45 references
Triple sums of Kloosterman sums and the discrepancy of modular inverses
T0 review · 1 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves a bound for triple sums of Kloosterman sums and derives from it that modular-inverse points modulo c up to X are equidistributed with explicit power-saving discrepancy bounds, while lower bounds exhibit non-randomness.
desk verdict Central proof has a fixable smoothing-weight inversion; otherwise this is a strong, important paper with genuine new exponents. 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 central object is the second moment $K^{(2)}(N;X)=\sum_{N\le |n|<2N}|\sum_{c\le X}S(n,1;c)|^2$ and the derived triple sum $K(M,N;X)$. The mechanism is spectral: the Kuznetsov formula rewrites sums of Kloosterman sums $S(m,n;c)$ as spectral averages of Fourier coefficients $\rho_\varpi(m)\rho_\varpi(n)$ with Bessel-transform weights; Lemma 4.2 bounds those integral transforms, and the hybrid spectral large sieve (an averaging inequality for Fourier coefficients over frequency windows) controls the resulting spectral average by $(TH+N)^{1+\varepsilon}$. Then Selberg's identity reduces the triple sum to dyadic second moments, and on the distribution side, discrepancy bounds follow from exponential-sum criteria for boxes, balls, and well-shaped convex sets.
What would settle it
Compute the normalized second moment $\sum_{\pm}\sum_{N\le n<2N}|\sum_{X\le c<2X}S(n,\pm1;c)/c|^2$ for $N=X$ and increasing $X$; Proposition 4.1 predicts it is $\ll N^{4/3+o(1)}$, so any sequence exceeding this would refute the central chain. On the distribution side, one can search discs of radius $R=X^{-1/2+\varepsilon}$ around rational points with small denominators and check whether the counts stay within $(X^{-1}+R^{2/3}X^{-2/3})X^{o(1)}$ of $\pi R^2 N(X)$.
Extended reading notes
Core claim
On its own terms, the discovery is the inequality $K(M,N;X)\le (MNX+(MN)^{2/3}X^{7/6})(MNX)^{o(1)}$ for the triple sum of Kloosterman sums, obtained from the second-moment bound $K^{(2)}(N;X)\le (NX^2+N^{1/3}X^{7/3})(NX)^{o(1)}$. The proof rewrites sums of Kloosterman sums through the Kuznetsov formula, estimates the relevant Bessel integral transforms, and applies the hybrid spectral large sieve; an identity of Selberg then passes from second moments to the full triple sum. The distribution consequences are the discrepancy bounds $\Delta(X,B)\le X^{-5/6+o(1)}$, $\Delta(X,D)\le X^{-2/3+o(1)}$, and $\Delta(X,C)\le X^{-11/24+o(1)}$, together with lower bounds $\Delta(X,B),\Delta(X,D)\gg 1/X$ and $\Delta(X,C)\gg (\log X)/X$. These lower bounds exhibit deviations from random point sets at small scales, and the upper bounds depend on no unproved exponent toward the Ramanujan–Petersson conjecture.
Load-bearing premise
The load-bearing premise is that the hybrid spectral large sieve inequality is valid in exactly the imported form, with the $(TH+N)^{1+\varepsilon}$ factor and covering the continuous spectrum and holomorphic forms, because the second-moment bound, the triple-sum bound, and every discrepancy exponent derived from them rest on it.
Editorial extensions
If this is right
- Any box of volume $\mu(B)>X^{-1}$ contains $\mu(B)N(X)(1+O(\mu(B)^{-1/3}X^{-1/3+o(1)}))$ points of $S(X)$, so small boxes are controlled more sharply than the global box discrepancy.
- Discs of radius $R\ge X^{-1/2+o(1)}$ satisfy $\#(D\cap S(X))/N(X)=\pi R^2+O((X^{-1}+R^{2/3}X^{-2/3})X^{o(1)})$, giving ball discrepancy $\Delta(X,D)\le X^{-2/3+o(1)}$.
- Convex sets have isotropic discrepancy at most $X^{-11/24+o(1)}$, while the lower bound $(\log X)/X$ shows the set is not random at scales of order $1/X$.
- Replacing the sharp cutoff $c\le X$ by a smooth weight improves the box discrepancy to $X^{-1+o(1)}$, the order that the modified Selberg–Linnik conjecture would supply.
- The triple-sum bound is uniform in $M,N$ and does not depend on any unproved spectral exponent, so the discrepancy exponents are unconditional.
Reading between the lines
- A natural extension not pursued in the paper is to interpolate between the sharp and smooth cutoffs by letting the transition width of the weight $W_\Delta$ decay slowly; the proof indicates the $X^{7/6}$ term in Theorem 1.1 is a cutoff artifact, so one would obtain a continuously varying box-discrepancy exponent between $-5/6$ and $-1$.
- Because the triple-sum bound is unconditional and averaged, the same spectral strategy may apply to other families of arithmetic point sets, such as solutions of $a y\equiv b\bmod c$ with varying congruences, where individual exponential-sum bounds are conditional but averaged bounds might still be provable.
- One could test the predicted small-scale deviation by sampling $S(X)$ for moderate $X$ and measuring discrepancies of boxes centered at rational points with small denominators; the lower-bound construction suggests the cellular structure near such points, not random fluctuation, drives the $1/X$ and $(\log X)/X$ errors.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the distribution of the modular hyperbola points (a/c, b/c) with ab ≡ 1 mod c and c ≤ X, viewed as a set in the torus. The main analytic engine is a new bound for the triple Kloosterman sum K(M,N;X), proved through a second-moment estimate for sums of Kloosterman sums. This estimate is obtained from the Kuznetsov formula, a hybrid spectral large sieve, and a dyadic/mellin parameter optimization. From the triple sum bound the authors derive quantitative discrepancy bounds for boxes, balls, and convex sets, together with lower bounds that exhibit deviations from random point sets. The paper is clearly written and the overall strategy is coherent, but the proof of the central second-moment estimate contains a localized error in the smoothing construction that must be corrected.
Significance. If the main results are correct, they constitute a substantial advance: the bound K(M,N;X) ≤ (MNX + (MN)^{2/3}X^{7/6})(MNX)^{o(1)} is stronger than what follows from individual Sarnak–Tsimerman/Kıral bounds, even under the Ramanujan–Petersson conjecture, and it yields power-saving discrepancy estimates for the union of modular hyperbolas, quantitatively improving and complementing the qualitative equidistribution results of Selberg and Good. The lower bounds showing deviations from random sets are also of independent interest. The derivation is forward and does not rely on fitted parameters; the paper makes honest use of standard external machinery (Kuznetsov formula, spectral large sieve, Selberg identity, Barton–Montgomery–Vaaler, Harman, Schmidt) and gives explicit parameter balances. The main weakness is a local but load-bearing error in Section 4.4 that currently invalidates the proof of Proposition 4.1.
major comments (1)
- [Section 4.4, the paragraph before Eq. (4.7)] The smoothing weight is inverted. With V_{n,Δ}(x)=W_Δ(xX/(4π√n)) one has V_{n,Δ}(4π√n/c)=W_Δ(X/c). Since W_Δ is identically 1 on [1,2] and supported on [1−Δ,2+Δ], this weight is approximately 1 for c∈[X/2,X] and vanishes for c>X/(1−Δ), i.e. for almost all of [X,2X]. Hence the function 1_{[X,2X]}(c)−V_{n,Δ}(4π√n/c) is not O(Δ) on [X,2X]; the unweighted contribution over most of [X,2X] is of size comparable to X, not Δ²X. The displayed inequality that precedes (4.7), asserting that this contribution is bounded by Δ²X, is therefore false, and the reduction of the sharp-cutoff second moment to the smooth quantity K_*^{(2)} does not prove Proposition 4.1 as written. The natural fix is to define V_{n,Δ}(x)=W_Δ(4π√n/(xX)), so that V_{n,Δ}(4π√n/c)=W_Δ(c/X), or equivalently to work with the interval [X/2,X]; the subsequent Mellin and spectral argument appears to be compatible with either correction. Since Proposition 4.1 is the engine for Theorems 1.3 and 1.1, this point must be repaired before the paper can be accepted.
minor comments (3)
- [Remark 2.5] The phrase “As the referee remarked” is inappropriate in a preprint or submitted version; it should be removed or rephrased as a neutral acknowledgement of the alternative approach.
- [Section 4.4, after Eq. (4.11)] The final integration is stated as giving N+Δ⁻¹, but the N-term produces a factor log(1/Δ) that is then absorbed by the (NX)^{o(1)} notation; for precision this should be acknowledged in the displayed estimate.
- [Section 4.1] In the derivation of Theorem 1.1 from Theorem 1.3, the passage from the double sum over m,n to a single sum over r uses the divisor bound implicitly; the authors should state explicitly that the number of representations r=m'n' with m' and n' in dyadic intervals is at most (MN)^{o(1)}.
Circularity Check
No significant circularity: the central estimate rests on external spectral large sieve and Kuznetsov machinery; there is no fitted input or self-citation chain.
full rationale
The claimed derivation chain is forward and externally anchored. Theorem 1.1 is deduced in Section 4.1 from Theorem 1.3 via Selberg's identity and divisor-function bounds; Theorem 1.3 is obtained from Proposition 4.1 by partial summation. Proposition 4.1 is proved in Section 4.4 using the Kuznetsov formula stated in Lemma 4.3, with the spectral large sieve imported from Deshouillers-Iwaniec, Jutila [21, Theorem 1.1], and Lam [28], which are independent external results; the dual large sieve (Lemma 4.4) and integral estimates (Lemma 4.2) are proved in the paper. No parameter is fitted to data and no 'prediction' is re-introduced as an input. The only self-citations, e.g. [23] and [40] in the isotropic discrepancy proof, are to prior techniques for approximating well-shaped sets and are not used to replace an argument: the proof of Theorem 1.9 is carried out with the packing estimates (3.5)-(3.6), Schmidt-style well-shapedness, and Theorems 1.6-1.7. The possible inversion of the smoothing cutoff in Section 4.4 noted by the referee-style check is a correctness concern, not a circularity: even if the displayed Delta^2 X reduction fails, that would make the proof erroneous rather than circular.
Assumptions & free parameters
assumptions (6)
- standard math Kuznetsov formula for SL(2,Z) together with the spectral large sieve inequality (Lemma 4.3), including the continuous spectrum and holomorphic forms with the (TH+N)^{1+ε} bound.
- standard math Weil bound |S(m,n;c)| ≤ gcd(m,n,c)^{1/2} c^{1/2} τ(c).
- standard math Selberg identity for Kloosterman sums, decomposing S(n,±m,c) via d|gcd(m,n,c) into S(mn/d^2,±1,c/d).
- standard math Asymptotic N(X)=∑_{c≤X} φ(c) = (3/π^2+o(1))X^2.
- standard math Koksma-Szüsz inequality and Barton-Montgomery-Vaaler box estimates, as stated in Lemmas 2.1 and 2.2.
- standard math Harman's ball discrepancy lemma (Lemma 2.4) and Schmidt's well-shaped approximation machinery including the convex-set well-shaped constant 4+π.
Cite this review
Pith. "Pith review of Triple sums of Kloosterman sums and the discrepancy of modular inverses." pith.science (2026). https://pith.science/paper/MDKII4D7
@misc{pith2026241117823,
author = {Pith},
title = {Pith review of: Triple sums of Kloosterman sums and the discrepancy of modular inverses},
year = {2026},
howpublished = {\url{https://pith.science/paper/MDKII4D7}},
note = {Machine review of arXiv:2411.17823}
}
abstract
We investigate the distribution of modular inverses modulo positive integers $c$ in a large interval. We provide upper and lower bounds for their box, ball and isotropic discrepancy, thereby exhibiting some deviations from random point sets. The analysis is based, among other things, on a new bound for a triple sum of Kloosterman sums.
Figures
Reference graph
Works this paper leans on
-
[1]
Andersson, ‘Summation formulae and zeta functions’, Ph.D
J. Andersson, ‘Summation formulae and zeta functions’, Ph.D. Thesis , Stockholm University, 2006, available at https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-1074
work page 2006
-
[2]
Baier, ‘Multiplicative inverses in short intervals’, Int
S. Baier, ‘Multiplicative inverses in short intervals’, Int. J. Number Theory 9 (2013), 877–884
work page 2013
-
[3]
J. T. Barton, H. L. Montgomery and J. D. Vaaler, ‘Note on a Diophantine inequality in several variables’, Proc. Amer. Math. Soc. 129 (2001), 337–345
work page 2001
-
[4]
S. Bettin and V. Chandee, ‘Trilinear forms with Kloosterman fractions’, Adv. Math. 328 (2018), 1234–1262
work page 2018
- [5]
-
[6]
V. Blomer and J. Buttcane, ‘On the subconvexity problem for L -functions on GLp3q ’, Ann. Sci. Ecole Norm. Sup. 53 (2020), 1441–1500
work page 2020
-
[7]
T. D. Browning and A. Haynes, ‘Incomplete Kloosterman sums and multiplicative inverses in short intervals’, Int. J. Number Theory 9 (2013), 481–486
work page 2013
-
[8]
T. H. Chan, ‘Shortest distance in modular hyperbola and least quadratic non-residue’, Mathe- matika 62 (2016), 860–865
work page 2016
Show all 45 references
-
[9]
Deshouillers and H
J.-M. Deshouillers and H. Iwaniec. ‘Kloosterman sums and Fourier coefficients of cusp forms’, Invent. Math. 70 (1982/83), 219–288
1982
-
[10]
E. I. Dinaburg and Y. G. Sinai, ‘The statistics of the solutions of the integer equation ax´ by“ ˘1 ’, Funct. Anal. Appl. 24 (1990), 165–171
1990
-
[11]
Dolgopyat, ‘On the distribution of the minimal solution of a linear Diophantine equation with random coefficients’, Funct
D. Dolgopyat, ‘On the distribution of the minimal solution of a linear Diophantine equation with random coefficients’, Funct. Anal. Appl. 28 (1994), 168–177
1994
-
[12]
Drmota and R
M. Drmota and R. F. Tichy, Sequences, discrepancies and applications, Springer-Verlag, Berlin, 1997
1997
-
[13]
Fujii, ‘On a problem of Dinaburg and Sinai’, Proc
A. Fujii, ‘On a problem of Dinaburg and Sinai’, Proc. Japan Acad. Sci., Ser.A 68 (1992), 198–203
1992
-
[14]
M. Z. Garaev and I. E. Shparlinski, ‘On the distribution of modular inverses from short inter- vals’, Mathematika 69 (2023), 1183–1194
2023
-
[15]
Good, Local analysis of Selberg’s trace formula , Lecture Notes in Math., Vol
A. Good, Local analysis of Selberg’s trace formula , Lecture Notes in Math., Vol. 1040, Berlin, Springer-Verlag, 1983
1983
-
[16]
I. S. Gradshteyn and I. M. Ryzhik, Table of integrals, series, and products , Academic Press, 2000
2000
-
[17]
Harcos and G
G. Harcos and G. K´ arolyi, ‘Selberg’s identity for Kloosterman sums’, 2017, available at http: users.renyi.hu/~gharcos/selberg_identity.pdf
2017
-
[18]
Harman, ‘On the Erd˝ os–Tur´ an inequality for balls’,Acta Arith
G. Harman, ‘On the Erd˝ os–Tur´ an inequality for balls’,Acta Arith. 85 (1998), 389–396
1998
-
[19]
Humphries, ‘Distributing points on the torus via modular inverses’, Quart J
P. Humphries, ‘Distributing points on the torus via modular inverses’, Quart J. Math. 73 (2022), 1–16
2022
-
[20]
Iwaniec and E
H. Iwaniec and E. Kowalski, Analytic number theory , Amer. Math. Soc., Providence, RI, 2004
2004
-
[21]
Jutila, ‘On the spectral large sieve inequalities’, Funct
M. Jutila, ‘On the spectral large sieve inequalities’, Funct. Approx. 28 (2000), 7–18
2000
-
[22]
Kerr, ‘Solutions to polynomial congruences in well shaped sets’, Bull
B. Kerr, ‘Solutions to polynomial congruences in well shaped sets’, Bull. Aust. Math. Soc. 88 (2013), 435–447
2013
-
[23]
Kerr and I
B. Kerr and I. E. Shparlinski, ‘On the distribution of values and zeros of polynomial systems over arbitrary sets’, J. Number Theory 133 (2013), 2863–2873
2013
-
[24]
E. M. Kıral, ‘Opposite-sign Kloosterman sum zeta function’, Mathematika 62 (2016), 406–429
2016
-
[25]
J. F. Koksma, ‘Some theorems on Diophantine inequalities’, Math. Centrum Scriptum no. 5 , Amsterdam, 1950
1950
-
[26]
Kuipers and H
L. Kuipers and H. Niederreiter, Uniform distribution of sequences , Wiley-Intersci., New York- London-Sydney, 1974
1974
-
[27]
N. V. Kuznetsov, ‘The Petersson conjecture for cusp forms of weight zero and the Linnik conjecture. Sums of Kloosterman sums’, Math. USSR-Sb. 39 (1981), 299–342 (translation from Matemat. Sbornik 111(153) (1980), 334–383). 26 V. BLOMER, M. S. RISAGER, AND I. E. SHPARLINSKI
1981
-
[28]
Lam, ‘A local large sieve inequality for cusp forms’, J
J. Lam, ‘A local large sieve inequality for cusp forms’, J. Th´ eorie Nombres Bordeaux26 (2014), 757–787
2014
-
[29]
Lang, ‘A note on the measurability of convex sets’, Archiv Math
R. Lang, ‘A note on the measurability of convex sets’, Archiv Math. 47 (1986), 90–92
1986
-
[30]
Liu, ’On Euler’s function’, Proc
H.-Q. Liu, ’On Euler’s function’, Proc. Royal Soc. Edinburgh, Sec. A. Math. 146 (2016), 769– 775
2016
-
[31]
Philipp, ‘Empirical distribution functions and uniform distribution mod 1’, Diophantine Approx
W. Philipp, ‘Empirical distribution functions and uniform distribution mod 1’, Diophantine Approx. and Its Appl. , Academic Press, New York–London, 1973, 211–234
1973
-
[32]
N. V. Proskurin, ‘Yu. V. Linnik’s conjecture’, J. Sov. Math. 17 (1981), 2147–2162 (translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 91 (1979), 94–118)
1981
-
[33]
G. J. Rieger, ‘ ¨Uber die Gleichung ad´ bc“ 1 und Gleichverteilung’, Math. Nachr. 162 (1993), 139–143
1993
-
[34]
Sarnak and J
P. Sarnak and J. Tsimerman, ‘On Linnik and Selberg’s conjectures about sums of Kloosterman sums’, Algebra, Arithmetic, and Geometry, Vol. II: In Honor of Yu. I. Manin , Progress in Math. 270., Boston, Birkh¨ auser, 2009
2009
-
[35]
Schmidt, ‘Irregularities of distribution
W. Schmidt, ‘Irregularities of distribution. IX’, Acta Arith. 27 (1975), 385–396
1975
-
[36]
Selberg, ‘ ¨Uber die Fourierkoeffizienten elliptischer Modulformen negativer Dimension’, C
A. Selberg, ‘ ¨Uber die Fourierkoeffizienten elliptischer Modulformen negativer Dimension’, C. R. Neuvi´ eme Congr´ es Math. Scandinaves, Helsingfors, 1938, 320–322
1938
-
[37]
Selberg, ‘Equidistribution in discrete groups and the spectral theory of automorphic forms’, 1977, available at http://Publications.IAS.Edu/Selberg/Section/2491
A. Selberg, ‘Equidistribution in discrete groups and the spectral theory of automorphic forms’, 1977, available at http://Publications.IAS.Edu/Selberg/Section/2491
1977
-
[38]
I. E. Shparlinski, ‘On the distribution of solutions to linear equations’, Glasnik Math. 44 (2009), 7–10
2009
-
[39]
I. E. Shparlinski, ‘Modular hyperbolas’, Jpn. J. Math. 7 (2012), 235–294
2012
-
[40]
I. E. Shparlinski, ‘On the distribution of solutions to polynomial congruences’, Archiv Math. 99 (2012), 345–351
2012
-
[41]
Stefani, ‘On the monotonicity of perimeter of convex bodies’, J
G. Stefani, ‘On the monotonicity of perimeter of convex bodies’, J. Convex Analysis 25 (2018), 93–102
2018
-
[42]
Sz¨ usz, ‘On a problem in the theory of uniform distribution’, Comptes Rendus Premier Congr` es Hongrois, Budapest, 1952, 461–472 (in Hungarian)
P. Sz¨ usz, ‘On a problem in the theory of uniform distribution’, Comptes Rendus Premier Congr` es Hongrois, Budapest, 1952, 461–472 (in Hungarian)
1952
-
[43]
A. V. Ustinov, ‘On points of the modular hyperbola under the graph of a linear function’, Math. Notes 97 (2015), 284–288 (translated from Matem. Zametki 97 (2015), 296–301)
2015
-
[44]
Walfisz, ‘Weylsche Exponentialsummen in der neueren Zahlentheorie’, Leipzig: B.G
A. Walfisz, ‘Weylsche Exponentialsummen in der neueren Zahlentheorie’, Leipzig: B.G. Teub- ner, 1963
1963
-
[45]
P. Xi, ‘An elementary proof of the Selberg identity for Kloosterman sums’, 2023, https:// arxiv.org/abs/2306.16929 Mathematisches Institut, Universit¨at Bonn, Bonn, D-53115 Germany Email address : blomer@math.uni-bonn.de Department of Mathematical Sciences, Universitetsparken ...
2023 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.