REVIEW 2 major objections 2 minor
Metric Poissonian pair correlationa and additive energy
T0 review · 2 major / 2 minor · reviewed 2026-07-29 · grok-4.5
Pith's one-line read Additive energy below N³/(log N)^14.71 forces Poissonian pair correlation for almost all α.
desk verdict Honest quantitative sharpening of Bloom–Walker’s energy criterion; the constant 14.71 is the whole contribution and cannot be audited from the abstract alone. 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
Additive energy of the initial segment {a_n : n ≤ N}: the number of ordered quadruples satisfying a + b = c + d. An upper bound of size N³/(log N)^C with C ≥ 14.71 is converted, via the Bloom–Walker Fourier-analytic machinery, into almost-everywhere Poissonian pair correlation of ({a_n α}).
What would settle it
Exhibit a strictly increasing sequence whose additive energy is ≪ N³/(log N)^14.71 for all large N, yet whose pair-correlation statistic fails to converge to the Poissonian limit on a positive-measure set of α; or prove that the Bloom–Walker intermediate estimates require a strictly larger exponent than 14.71.
Extended reading notes
Core claim
For any strictly increasing sequence (a_n) of natural numbers, if the additive energy of the set {a_n : n ≤ N} is less than N³/(log N)^C for a constant C ≥ 14.71, then the sequence ({a_n α}) has Poissonian pair correlation for almost every real α. This gives an explicit lower bound on the exponent C appearing in the additive-energy criterion of Bloom and Walker.
Load-bearing premise
The argument relies on intermediate analytic estimates from Bloom–Walker that turn an additive-energy bound into control of the pair-correlation discrepancy, and those estimates are taken to close already at the specific numerical threshold C = 14.71.
Editorial extensions
If this is right
- Any sequence whose additive energy decays at least like N³/(log N)^14.71 automatically has almost-everywhere Poissonian pair correlation.
- The existence statement of Bloom–Walker is replaced by an explicit, numerically checkable exponent.
- Future improvements need only push the admissible C below 14.71 rather than re-prove the whole implication.
- Concrete arithmetic sequences can now be tested against a fixed energy threshold to decide almost-everywhere pair correlation.
Reading between the lines
- The gap between the new threshold 14.71 and the conjecturally optimal logarithmic power (possibly near 1) remains large, so the same method may admit substantial numerical sharpening.
- Sequences of polynomial values or lacunary sequences whose additive energy is already known to be N^{3−δ} automatically fall under the theorem once the logarithmic factor is verified.
- A matching lower-bound construction with energy just above N³/(log N)^14.71 that fails Poissonian pair correlation on a positive-measure set of α would show the exponent is essentially sharp for this proof route.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that if (a_n) is a strictly increasing sequence of natural numbers whose initial segments satisfy an additive-energy bound E({a_n : n ≤ N}) < N³/(log N)^C for some C ≥ 14.71, then the sequence ({a_n α}) has Poissonian pair correlation for almost every real α. The result is presented as an explicit numerical lower bound on the logarithmic exponent in the additive-energy hypothesis previously treated by Bloom and Walker, thereby converting their qualitative energy-to-PPC implication into a concrete threshold.
Significance. An explicit, checkable threshold C = 14.71 on the additive-energy decay that forces metric Poissonian pair correlation would be a useful quantitative refinement of the Bloom–Walker criterion and would give a concrete target for combinatorial constructions. The contribution is incremental rather than foundational: it tracks constants through existing analytic machinery rather than introducing a new qualitative criterion. If the constant-tracking is correct and reproducible, the paper supplies a falsifiable numerical benchmark of genuine (if modest) interest in metric number theory.
major comments (2)
- [Abstract (full text unavailable)] The central claim is the explicit numerical threshold C ≥ 14.71. Only the abstract is available for review, so the load-bearing constant-tracking through the L¹/L² and Fourier-decay estimates inherited from Bloom–Walker cannot be inspected. Without the intermediate inequalities, loss-per-step accounting, and the precise origin of the figure 14.71, it is impossible to certify that the estimates close at this value rather than only at some larger unspecified C. This is a load-bearing gap for the sole quantitative contribution of the note.
- [Abstract] The abstract asserts that the result 'provides a lower bound for the exponent C in the additive energy bound established by Bloom and Walker' but does not state whether 14.71 is an artifact of the present bookkeeping, an improvement on an implicit constant in [4], or merely the first explicit constant extracted from that argument. Clarification of the logical relation to [4] (improvement vs. explication) is required for the claim to be evaluable.
minor comments (2)
- [Title] The abstract writes 'pair correlationa' (missing space/typo) in the arXiv title string supplied to the referee; this should be corrected for the published version.
- [Abstract] The abstract should briefly indicate the main analytic ingredients (e.g., which estimates from Bloom–Walker are reused and where new losses are incurred) so that a reader can locate the novelty without the full text.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the abstract and for identifying the two points that must be clarified for the quantitative claim to be evaluable. Because only the abstract was available for review, intermediate constant-tracking could not be inspected; we address both major comments below and will revise the abstract and introduction accordingly so that the logical status of C=14.71 and its derivation are transparent.
read point-by-point responses
-
Referee: The central claim is the explicit numerical threshold C ≥ 14.71. Only the abstract is available for review, so the load-bearing constant-tracking through the L¹/L² and Fourier-decay estimates inherited from Bloom–Walker cannot be inspected. Without the intermediate inequalities, loss-per-step accounting, and the precise origin of the figure 14.71, it is impossible to certify that the estimates close at this value rather than only at some larger unspecified C. This is a load-bearing gap for the sole quantitative contribution of the note.
Authors: We agree that the numerical value cannot be certified from the abstract alone. The full manuscript carries out a complete, step-by-step tracking of absolute constants through the L¹/L² estimates and the Fourier-decay bounds taken from Bloom–Walker. Each loss factor is recorded explicitly, and the final arithmetic yields the concrete threshold 14.71 at which the estimates close. In the revised version we will add a short “constant ledger” (either a dedicated subsection or an appendix) that lists every intermediate inequality and the precise numerical contribution of each step, so that a reader can reproduce the figure without re-deriving the whole argument. Until that ledger is visible the gap noted by the referee remains; we treat it as a presentational obligation rather than a mathematical obstruction. revision: yes
-
Referee: The abstract asserts that the result ‘provides a lower bound for the exponent C in the additive energy bound established by Bloom and Walker’ but does not state whether 14.71 is an artifact of the present bookkeeping, an improvement on an implicit constant in [4], or merely the first explicit constant extracted from that argument. Clarification of the logical relation to [4] (improvement vs. explication) is required for the claim to be evaluable.
Authors: The constant 14.71 is the first fully explicit numerical threshold extracted from the Bloom–Walker argument by systematic bookkeeping; it is not claimed to improve upon any previously stated (implicit) exponent in [4]. Bloom–Walker prove that some sufficiently large C works, without computing a concrete value. Our contribution is precisely to make that C effective and to record the resulting lower bound. We will revise the abstract and the introduction to state this relation unambiguously: “We extract an explicit admissible exponent C=14.71 from the argument of Bloom–Walker [4], thereby converting their qualitative energy-to-PPC implication into a concrete numerical threshold.” No improvement of the underlying analytic machinery is asserted. revision: yes
Circularity Check
No circularity: external energy hypothesis implies metric PPC via refined constant tracking
full rationale
The abstract states a one-directional implication: an external combinatorial upper bound on additive energy of the initial segment {a_n : n ≤ N} (energy ≪ N³/(log N)^C for an explicit C ≥ 14.71) yields Poissonian pair correlation of ({a_n α}) for almost every real α. The constant is presented as a concrete lower bound improving or making explicit the threshold in Bloom–Walker, not as a quantity fitted to data or defined in terms of the conclusion. There is no self-definitional loop, no parameter fitted to a subset and then “predicted,” no load-bearing uniqueness theorem imported from the same authors, and no renaming of a known empirical pattern. Dependence on Bloom–Walker’s energy-to-discrepancy estimates is ordinary citation of prior analytic work; without the full text one cannot audit the constant arithmetic, but that is a verification/correctness issue, not circularity. Against the given abstract the derivation chain is non-circular by construction. Score 0; steps empty.
Assumptions & free parameters
assumptions (3)
- standard math Standard Lebesgue measure and almost-everywhere statements on the torus / real line
- domain assumption Bloom–Walker framework linking additive energy of {a_n : n ≤ N} to pair-correlation discrepancy
- domain assumption Whatever Fourier-decay or GCD-sum estimates are needed to close the argument at C = 14.71
Cite this review
Pith. "Pith review of Metric Poissonian pair correlationa and additive energy." pith.science (2026). https://pith.science/paper/R3MXZAM5
@misc{pith2026250615274,
author = {Pith},
title = {Pith review of: Metric Poissonian pair correlationa and additive energy},
year = {2026},
howpublished = {\url{https://pith.science/paper/R3MXZAM5}},
note = {Machine review of arXiv:2506.15274}
}
abstract
In this article we prove that for a strictly increasing sequence $(a_n)$ of natural numbers, if the additive energy of $\{a_n:n\leq N\}$ is less than $N^3/(\log N)^C$ for some $C\geq14.71,$ then $(\{a_n\alpha\})$ has Poissonian pair correlation for almost all $\alpha\in\mathbb{R}.$ This provides a lower bound for the exponent $C$ in the additive energy bound established by Bloom and Walker [4].
Reviewed July 29, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.