REVIEW 1 major objections 2 minor 37 references
Pair correlation of $\alpha n^{\theta}$ for random $\theta$
T0 review · 1 major / 2 minor · reviewed 2026-06-28 · grok-4.3
Pith's one-line read The sequence {α n^θ} has Poissonian pair correlation for Lebesgue-almost all θ in (0, 3/5) ∪ (3, ∞).
desk verdict This extends the Poissonian pair correlation range for αn^θ to almost all θ in (0,3/5)∪(3,∞) by splitting θ-integrals and controlling most pieces with first-derivative bounds plus zeta-moment estimates. 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
Splitting the θ-integration in the variance into many short intervals and bounding most integrals with the first derivative of the phase, reducing the remainder to counting estimates proved via moments of the Riemann zeta function and exponent pairs.
What would settle it
A positive-measure set of θ inside (0, 3/5) for which the pair-correlation statistic fails to approach the Poisson limit.
Extended reading notes
Core claim
For fixed α>0, we show that the sequence {α n^θ} has Poissonian pair correlation for Lebesgue-almost all θ ∈ (0,3/5)∪(3,∞).
Load-bearing premise
That after splitting the θ-integral into short intervals, the contribution from all but a negligible set of intervals can be bounded using only the first derivative of the phase, with the exceptional set controlled by the cited zeta-moment and exponent-pair estimates.
Editorial extensions
If this is right
- The pair-correlation function of {α n^θ} matches the Poisson prediction for almost all θ in the stated ranges.
- The variance integral over θ is o(1) once the exceptional intervals are removed.
- Counting estimates derived from zeta moments and exponent pairs are sufficient to control the exceptional set.
- The same conclusion holds for any fixed α > 0.
Reading between the lines
- The short-interval splitting technique may extend to pair correlations of other sequences whose phase has a power-law dependence on n.
- Sharper bounds on zeta moments or exponent pairs could enlarge the interval (0, 3/5) or lower the threshold 3.
- The method replaces the need for a fourth-derivative repulsion principle with first-derivative estimates on most of the measure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that for fixed α > 0 the sequence {α n^θ} has Poissonian pair correlation for Lebesgue-almost every θ ∈ (0, 3/5) ∪ (3, ∞). The argument splits the θ-integral appearing in the variance into short intervals of length δ, shows that on all but a negligible-measure exceptional set E the contribution is O(1) using only the first derivative of the phase, and controls |E| by reducing to Diophantine counting problems whose bounds are obtained from moments of the Riemann zeta function together with exponent-pair estimates. This improves the earlier threshold θ > 7 obtained by Technau–Yesha via a repulsion principle based on the fourth derivative.
Significance. If the counting estimates hold with the required uniformity, the result substantially enlarges the set of θ for which Poissonian pair correlation is known to hold almost everywhere. The technique of handling most intervals with the first derivative and controlling the exceptional set via zeta moments is technically novel and may apply to other metric problems in uniform distribution. The paper supplies a self-contained proof once the cited zeta-moment and exponent-pair bounds are granted.
major comments (1)
- [proof of main theorem (reduction to counting estimates)] The control of the exceptional set E (final paragraph of the abstract and the corresponding reduction in the proof of the main theorem): the zeta-moment and exponent-pair estimates must be shown to produce |E| = o(1) uniformly in the splitting parameter δ down to θ = 3/5. Any loss in the admissible range of the moment or in the exponent-pair constant would render the contribution of E non-negligible precisely in the new range below the previous threshold of 7, which is the load-bearing step for the claimed improvement.
minor comments (2)
- [§3 (splitting argument)] Notation for the phase function φ(n, θ) and the precise definition of the short intervals I_k should be stated explicitly at the beginning of the splitting argument.
- [counting estimates] The dependence of the implied constants on α should be tracked through the estimates, even if α is fixed.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for isolating the uniformity of the exceptional-set bound as the load-bearing step. We address the comment directly below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [proof of main theorem (reduction to counting estimates)] The control of the exceptional set E (final paragraph of the abstract and the corresponding reduction in the proof of the main theorem): the zeta-moment and exponent-pair estimates must be shown to produce |E| = o(1) uniformly in the splitting parameter δ down to θ = 3/5. Any loss in the admissible range of the moment or in the exponent-pair constant would render the contribution of E non-negligible precisely in the new range below the previous threshold of 7, which is the load-bearing step for the claimed improvement.
Authors: We agree that explicit verification of this uniformity is necessary to justify the improvement below θ = 7. The reduction to the counting estimates (Proposition 3.2) and their proof via zeta-moment bounds and exponent pairs (Section 4) are written so that the resulting |E| is o(1) uniformly in δ for all θ ≥ 3/5; the exponents arising from the cited moment and pair estimates are strictly negative in this range and absorb the δ-dependence. Nevertheless, the dependence on θ and δ is not written out in a single displayed calculation. We will therefore add a short paragraph immediately after the statement of the main theorem that extracts the admissible range from the moment and pair constants and confirms |E| = o(1) uniformly down to θ = 3/5. This will be included in the revised version. revision: yes
Circularity Check
No circularity; derivation reduces to independent zeta-moment and exponent-pair bounds
full rationale
The paper splits the θ-integral over short intervals, bounds most contributions via the first derivative of the phase, and controls the exceptional set E via Diophantine counting estimates. These estimates are proved using moments of the Riemann zeta function and exponent pairs, which are classical external results (independent of the present claim and not obtained via self-citation). The approach differs from the cited Technau-Yesha repulsion principle and does not reduce any prediction or central statement to a fitted input or self-referential definition. No load-bearing self-citations, ansatz smuggling, or renaming of known results occur. The derivation is self-contained against external benchmarks.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Pair correlation of $\alpha n^{\theta}$ for random $\theta$." pith.science (2026). https://pith.science/paper/GVI4BRRJ
@misc{pith2026260603781,
author = {Pith},
title = {Pith review of: Pair correlation of $\alpha n^\theta$ for random $\theta$},
year = {2026},
howpublished = {\url{https://pith.science/paper/GVI4BRRJ}},
note = {Machine review of arXiv:2606.03781}
}
abstract
For fixed $\alpha>0$, we show that the sequence $\{\alpha n^{\theta}\}$ has Poissonian pair correlation for Lebesgue-almost all $\theta \in (0,\frac{3}{5})\cup(3,\infty)$. This improves a result of Technau and Yesha, who proved the same for almost all $\theta>7$. The approach of Technau and Yesha was based on a repulsion principle, which roughly allows one to estimate the variance of the pair correlation function using the fourth derivative of the phase. In our approach, we split the $\theta$-integration in the variance into many short intervals and show that most of the integrals can be estimated using the first derivative. The problem is then reduced to several counting estimates, which we prove using moments of the Riemann zeta function and exponent pairs.
Reference graph
Works this paper leans on
-
[1]
Aistleitner, S
C. Aistleitner, S. Baker, N. Technau, and N. Yesha. Gap statistics and higher correlations for geometric progressions modulo one.Math. Ann., 385(1-2):845–861, 2023
2023
-
[2]
Aistleitner, D
C. Aistleitner, D. El-Baz, and M. Munsch. A pair correlation problem, and counting lattice points with the zeta function.Geom. Funct. Anal., 31(3):483–512, 2021
2021
-
[3]
Aistleitner, T
C. Aistleitner, T. Lachmann, and F. Pausinger. Pair correlations and equidistribution.J. Number The- ory, 182:206–220, 2018
2018
-
[4]
M. V. Berry and M. Tabor. Level clustering in the regular spectrum.Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 356(1686):375–394, 1977
1977
-
[5]
Bourgain
J. Bourgain. Decoupling, exponential sums and the Riemann zeta function.J. Amer. Math. Soc., 30(1):205–224, 2017
2017
-
[6]
Browning and I
T. Browning and I. Vinogradov. Effective Ratner theorem forSL(2,R)⋉R 2 and gaps in √nmodulo 1.J. Lond. Math. Soc. (2), 94(1):61–84, 2016
2016
-
[7]
P. Csillag. ¨Uber die gleichm¨ assige verteilung nicht ganzer positiver potenzen mod. 1.Acta Litt. Sci. Szeged, 5:13–18, 1930
1930
-
[8]
El-Baz, J
D. El-Baz, J. Marklof, and I. Vinogradov. The two-point correlation function of the fractional parts of√nis Poisson.Proc. Amer. Math. Soc., 143(7):2815–2828, 2015
2015
Show all 37 references
-
[9]
N. D. Elkies and C. T. McMullen. Gaps in √nmod 1 and ergodic theory.Duke Math. J., 123(1):95–139, 2004
2004
-
[10]
Grepstad and G
S. Grepstad and G. Larcher. On pair correlation and discrepancy.Arch. Math., 109(2):143–149, 2017
2017
-
[11]
M. Hauke. The bad and rough rotation is Poissonian.arXiv:2506.01736, 2025
2025
-
[12]
D. R. Heath-Brown. Pair correlation for fractional parts ofαn 2.Math. Proc. Cambridge Philos. Soc., 148(3):385–407, 2010
2010
-
[13]
J.-J. Huang. The density of rational points near hypersurfaces.Duke Math. J., 169(11):2045–2077, 2020
-
[14]
M. N. Huxley.Area, Lattice Points, and Exponential Sums, volume 13 ofLondon Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, New York, 1996
1996
-
[15]
Iwaniec and E
H. Iwaniec and E. Kowalski.Analytic number theory, volume 53 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004
2004
-
[16]
Kerr and H
B. Kerr and H. Wang. Metric Poissonian pair correlation for real sequences and energy estimates. arXiv:2506.17031, 2025
2025
-
[17]
J. F. Koksma. Ein mengentheoretischer satz ¨ uber die gleichverteilung modulo eins.Compositio Math., 2:250–258, 1935
1935
-
[18]
Kuipers and H
L. Kuipers and H. Niederreiter.Uniform distribution of sequences. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York-London-Sydney, 1974
1974
-
[19]
Larcher and W
G. Larcher and W. Stockinger. Some negative results related to Poissonian pair correlation problems. Discrete Math., 343(2):111656, 2020
2020
-
[20]
Lutsko, N
C. Lutsko, N. Rome, and N. Technau. Poissonian correlations ofαn d mod 1.arXiv:2605.06974, 2026
2026 arXiv
-
[21]
Lutsko, A
C. Lutsko, A. Sourmelidis, and N. Technau. Pair correlation of the fractional parts ofαn θ.J. Eur. Math. Soc., 27(10):4069–4082, 2025
2025
-
[22]
Lutsko and N
C. Lutsko and N. Technau. Full Poissonian local statistics of slowly growing sequences.Compos. Math., 161(1):148–180, 2025
2025
-
[23]
Lutsko and N
C. Lutsko and N. Technau.m-point correlations of the fractional parts ofαn θ.Amer. J. Math., 148(2):569–597, 2026
2026
-
[24]
Marklof and A
J. Marklof and A. Str¨ ombergsson. Equidistribution of Kronecker sequences along closed horocycles. Geom. Funct. Anal., 13(6):1239–1280, 2003
2003
-
[25]
Radziwi l l and A
M. Radziwi l l and A. Shubin. Poissonian pair correlation forαn θ mod 1.Int. Math. Res. Not. IMRN, (9):7654–7679, 2024
2024
-
[26]
Radziwi l l and N
M. Radziwi l l and N. Technau. Gap distribution of √nmod 1 and the circle method.arXiv:2403.16493, 2024
2024
-
[27]
Robert and P
O. Robert and P. Sargos. Three-dimensional exponential sums with monomials.J. Reine Angew. Math., 591:1–20, 2006
2006
-
[28]
Rudnick and P
Z. Rudnick and P. Sarnak. The pair correlation function of fractional parts of polynomials.Comm. Math. Phys., 194(1):61–70, 1998
1998
-
[29]
Rudnick, P
Z. Rudnick, P. Sarnak, and A. Zaharescu. The distribution of spacings between the fractional parts of n2α.Invent. Math., 145(1):37–57, 2001. 42 ANDREI SHUBIN
2001
-
[30]
Rudnick and N
Z. Rudnick and N. Technau. The metric theory of the pair correlation function of real-valued lacunary sequences.Illinois J. Math., 64(4):583–594, 2020
2020
-
[31]
Rudnick and N
Z. Rudnick and N. Technau. The metric theory of the pair correlation function for small non-integer powers.J. Lond. Math. Soc. (2), 106(3):2752–2772, 2022
2022
-
[32]
Rudnick and A
Z. Rudnick and A. Zaharescu. The distribution of spacings between fractional parts of lacunary se- quences.Forum Math., 14(5):691–712, 2002
2002
-
[33]
T. Tao, T. Trudgian, and A. Yang. New exponent pairs, zero density estimates, and zero additive energy estimates: a systematic approach.arXiv:2501.16779, 2025
2025
-
[34]
Technau and N
N. Technau and N. Yesha. On the correlations ofn α mod 1.J. Eur. Math. Soc., 25(10):4123–4154, 2023
2023
-
[35]
Tenenbaum.Introduction ` a la th´ eorie analytique et probabiliste des nombres
G. Tenenbaum.Introduction ` a la th´ eorie analytique et probabiliste des nombres. Collection ´Echelles. Belin, Paris, 2008
2008
-
[36]
T. S. Trudgian and A. Yang. Toward optimal exponent pairs.Math. Comp., 94(353):1467–1502, 2025
2025
-
[37]
H. Weyl. ¨Uber die Gleichverteilung von Zahlen mod. Eins.Math. Ann., 77(3):313–352, 1916. Institute of Analysis and Number Theory, TU Graz, Austria Email address:andrei.shubin@tugraz.at
1916
Reviewed June 28, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.