The Poisson Tail Conjecture for Primes in Short Intervals
Pith reviewed 2026-05-25 05:15 UTC · model grok-4.3
The pith
Conditional on strong Hardy-Littlewood conjectures, the number of primes in a random interval of length λ log x follows a Poisson distribution with mean λ when λ grows slowly.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Conditional on a strong variant of the Hardy-Littlewood conjectures, the local counting function for primes in a randomly placed interval of length λ log x is asymptotically Poisson with parameter λ whenever λ tends to infinity slower than any positive power of log x. For larger λ still o((log x)^c) for every c, the paper derives the precise rate at which the distribution departs from Poisson, using extremal interval sieve estimates together with concentration inequalities.
What carries the argument
Extremal interval sieve estimates combined with concentration inequalities, applied to the strong Hardy-Littlewood conjectures to control the distribution of the prime counting function in short intervals.
If this is right
- The normalized gaps between consecutive primes continue to follow an exponential distribution in the same slowly growing λ regime.
- A phase transition occurs in the local statistics once λ exceeds the slowly growing range, with explicit deviation formulas supplied.
- The Poisson tail conjecture holds rigorously throughout the range where λ grows slower than any fixed power of log x.
- The same sieve-plus-concentration method yields control on higher moments and tail probabilities of the short-interval prime counts.
Where Pith is reading between the lines
- If the strong conjectures hold, then random models for prime gaps remain valid over a wider range of interval lengths than previously established.
- The identified phase transition supplies a concrete threshold at which deterministic arithmetic constraints begin to dominate random behavior.
- Numerical sampling of short intervals for moderately large x could directly test the predicted deviation rates before the conjectures are settled.
Load-bearing premise
A strong variant of the Hardy-Littlewood conjectures supplies accurate enough asymptotics for primes in short intervals.
What would settle it
An explicit sequence of λ growing slower than any power of log x together with a concrete x at which the empirical distribution of prime counts in intervals of length λ log x deviates from Poisson(λ) by more than the error term allowed by the sieve bounds.
read the original abstract
In 1976, Gallagher showed that, conditional on the Hardy--Littlewood conjectures, the number of primes below $x$ in a randomly chosen short interval of length $\lambda \log x$ asymptotically follows a Poisson distribution with mean $\lambda$. Correspondingly, the normalized gaps between consecutive primes follow an exponential distribution, provided that the scaling parameter $\lambda$ is fixed. We investigate the validity and limitations of the associated folklore Poisson Tail Conjecture as $\lambda$ is allowed to grow. For \edit{slowly growing} $\lambda$, and conditional on a strong variant of the Hardy--Littlewood conjectures, we establish asymptotics demonstrating that the local counting statistics rigorously align with these predictions. Furthermore, we identify a phase transition and explore the breakdown of these distributions for larger $\lambda$, capturing the precise deviations when $\lambda$ grows slower than any fixed power of $\log x$. The proof relies on a novel combination of extremal interval sieve estimates and concentration inequalities from probability.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that, conditional on a strong variant of the Hardy--Littlewood conjectures, the number of primes in a random short interval of length λ log x follows a Poisson distribution with mean λ when λ grows slowly; it establishes the corresponding tail asymptotics via extremal interval sieves and concentration inequalities, identifies a phase transition, and gives precise deviations from the Poisson model when λ grows slower than any fixed power of log x but still tends to infinity.
Significance. Conditional on the stated conjectures, the results extend Gallagher's fixed-λ theorem to a growing range of λ and delineate the precise regime of validity of the Poisson model for short-interval prime counts. The combination of sieve estimates with probabilistic concentration tools is a methodological strength that yields explicit error control in the tails.
minor comments (3)
- [Abstract] The abstract and introduction should state the precise growth range for 'slowly growing' λ (e.g., λ = o(log log log x) or the explicit bound used in the theorems) rather than leaving it informal.
- [§1] The strong variant of the Hardy--Littlewood conjectures invoked in the main theorems should be written out explicitly (including the range of the moduli and the error term) in §1 or §2 so that the dependence is fully transparent.
- Notation for the normalized counting function and the Poisson parameter should be introduced once and used consistently; occasional switches between N(x;λ) and similar symbols hinder readability.
Simulated Author's Rebuttal
We thank the referee for their positive and accurate summary of the manuscript, as well as the recommendation for minor revision. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation is conditional on external conjectures
full rationale
The paper derives Poisson tail asymptotics and phase transitions for slowly growing λ explicitly conditional on a strong variant of the Hardy-Littlewood conjectures (external to the paper). The proof combines extremal interval sieve estimates with concentration inequalities from probability theory; no load-bearing step reduces to a self-definition, fitted input renamed as prediction, or self-citation chain. The argument is self-contained against the stated external hypothesis and contains no internal reduction by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Strong variant of the Hardy-Littlewood conjectures
Reference graph
Works this paper leans on
- [1]
-
[2]
H. Cram´er,On the order of magnitude of the difference between consecutive prime numbers, Acta Arith.2(1936), no. 1, 23–46
work page 1936
-
[3]
K. Ford, B. Green, S. Konyagin, J. Maynard, and T. Tao,Long gaps between primes, J. Amer. Math. Soc.31(2018), no. 1, 65–105
work page 2018
-
[4]
J. Friedlander and H. Iwaniec,Opera de cribro, American Mathematical Society Colloquium Publications, vol. 57, American Mathematical Society, Providence, RI, 2010
work page 2010
-
[5]
S. Funkhouser, D. A. Goldston, and A. H. Ledoan,Distribution of large gaps between primes, Irregularities in the distribution of prime numbers, Springer, Cham, 2018, pp. 45–67
work page 2018
-
[6]
P. X. Gallagher,On the distribution of primes in short intervals, Mathematika23(1976), no. 1, 4–9
work page 1976
-
[7]
Granville,Harald Cram ´er and the distribution of prime numbers, no
A. Granville,Harald Cram ´er and the distribution of prime numbers, no. 1, 1995, Harald Cram´er Symposium (Stockholm, 1993), pp. 12–28
work page 1995
-
[8]
,Sieving intervals and Siegel zeros, Acta Arith.205(2022), no. 1, 1–19
work page 2022
-
[9]
A. Granville and A. Lumley,Primes in short intervals: heuristics and calculations, Exp. Math.32(2023), no. 2, 378–404
work page 2023
-
[10]
G. H. Hardy and J. E. Littlewood,Some problems of ‘Partitio numerorum’; III: On the expression of a number as a sum of primes, Acta Math.44(1923), no. 1, 1–70
work page 1923
-
[11]
Hildebrand,Extremal problems in sieve theory, no
A. Hildebrand,Extremal problems in sieve theory, no. 958, 1996, Analytic number theory (Japanese) (Kyoto, 1994), pp. 1–9
work page 1996
-
[12]
A. Hildebrand and H. Maier,Irregularities in the distribution of primes in short intervals, J. Reine Angew. Math.397 (1989), 162–193
work page 1989
-
[13]
W. B. Jurkat and H.-E. Richert,An improvement of Selberg’s sieve method. I, Acta Arith.11(1965), 217–240
work page 1965
-
[14]
N. Kravitz, K. Woo, and M. W. Xu,The distribution of prime values of random polynomials, 2025, Preprint. arXiv:2512.03292
-
[15]
Kuperberg,Sums of singular series with large sets and the tail of the distribution of primes, Q
V . Kuperberg,Sums of singular series with large sets and the tail of the distribution of primes, Q. J. Math.74(2023), no. 4, 1457–1479
work page 2023
-
[16]
Leung,Pseudorandomness of primes at large scales, Q
S.-K. Leung,Pseudorandomness of primes at large scales, Q. J. Math.76(2025), no. 1, 251–263
work page 2025
-
[17]
Maier,Primes in short intervals, Michigan Math
H. Maier,Primes in short intervals, Michigan Math. J.32(1985), no. 2, 221–225
work page 1985
-
[18]
Maynard,Small gaps between primes, Ann
J. Maynard,Small gaps between primes, Ann. of Math. (2)181(2015), no. 1, 383–413
work page 2015
-
[19]
H. L. Montgomery,Primes in arithmetic progressions, Michigan Math. J.17(1970), 33–39
work page 1970
-
[20]
H. L. Montgomery and K. Soundararajan,Primes in short intervals, Comm. Math. Phys.252(2004), no. 1-3, 589–617
work page 2004
-
[21]
H. L. Montgomery and R. C. Vaughan,Multiplicative number theory. I. Classical theory, Cambridge Studies in Advanced Mathematics, vol. 97, Cambridge University Press, Cambridge, 2007
work page 2007
-
[22]
D. H. J. Polymath,Variants of the Selberg sieve, and bounded intervals containing many primes, Res. Math. Sci.1(2014), Art. 12, 83
work page 2014
-
[23]
K. Soundararajan,The distribution of prime numbers, Equidistribution in number theory, an introduction, NATO Sci. Ser. II Math. Phys. Chem., vol. 237, Springer, Dordrecht, 2007, pp. 59–83
work page 2007
-
[24]
Zhang,Bounded gaps between primes, Ann
Y . Zhang,Bounded gaps between primes, Ann. of Math. (2)179(2014), no. 3, 1121–1174. DEPARTMENT OFMATHEMATICS, 1409 WESTGREENSTREET, UNIVERSITY OFILLINOIS, URBANA-CHAMPAIGN, URBANA, IL 61801, USA Email address:jha33@illinois.edu
work page 2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.