REVIEW 4 minor 90 references
A decades-long breakthrough in zero-density estimates and primes in short intervals
T0 review · 0 major / 4 minor · reviewed 2026-07-11 · grok-4.5
Pith's one-line read Guth and Maynard improve Ingham's 1940 zero-density bound for the first time in over 80 years, yielding the prime-number theorem in shorter intervals.
desk verdict Clean, accurate survey of the Guth–Maynard zero-density advance; no new theorems, but a useful map of the landscape after 80 years of stasis. 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 Guth–Maynard large-values estimate for Dirichlet polynomials: if a length-N polynomial takes values at least V at R well-spaced frequencies, then R is bounded by T^{o(1)}(N^{2}V^{-2} + N^{18/5}V^{-4} + T N^{12/5}V^{-4}); this replaces older Montgomery–Halász–Huxley bounds and directly controls the number of Type-I zeros.
What would settle it
An independent verification (or counter-example) of the large-values inequality R ≪ T^{o(1)}(N^{2}V^{-2} + N^{18/5}V^{-4} + T N^{12/5}V^{-4}) for Dirichlet polynomials of length N with coefficients of size at most 1, evaluated at well-spaced points up to height T.
Extended reading notes
Core claim
Guth and Maynard prove a new large-values estimate for Dirichlet polynomials that yields the zero-density bound N(σ,T) ≪ T^{15(1-σ)/(3+5σ)+ε} uniformly for 1/2 ≤ σ ≤ 1; this is the first improvement on Ingham's 1940 estimate throughout the range σ ≤ 3/4 and, when combined with earlier results, gives A(σ) < 30/13, which in turn implies the prime-number theorem in short intervals of length x^{17/30} and almost all intervals of length x^{2/15}.
Load-bearing premise
The survey's claimed density exponent rests on accepting that Guth and Maynard's new large-values bound for Dirichlet polynomials holds with the stated powers; the paper only sketches the argument and refers the full proof elsewhere.
Editorial extensions
If this is right
- The prime-number theorem holds for every sufficiently large x in the interval (x, x + x^{17/30}].
- The prime-number theorem holds for almost every x in intervals of length x^{2/15}.
- The best uniform exponent A(σ) drops below 30/13 ≈ 2.308 across the whole critical strip.
- Zero-density estimates for σ near 7/10 become strong enough to improve several classical applications that previously relied on Huxley's 1972 bound.
Reading between the lines
- The same large-values method is likely to give parallel improvements for Dirichlet L-functions and hence for primes in arithmetic progressions of short length.
- Once the additive-energy analysis is fully optimized, the critical exponent 15/(3+5σ) may be lowered further without new ideas about the zeta function itself.
- The result supplies a concrete numerical target: any future zero-density theorem that beats 15(1-σ)/(3+5σ) in the range 1/2 ≤ σ ≤ 3/4 would immediately shorten the 17/30 exponent for short-interval primes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This expository paper surveys the history of zero-density estimates for the Riemann zeta-function and their consequences for primes in short intervals, culminating in the 2024/2026 Guth–Maynard theorem. After recalling the explicit formula and the classical zero-free regions, it explains why zero-density estimates are needed for short-interval prime-number theorems, reconstructs the Bohr–Landau, Ingham, Montgomery and Huxley arguments (via Littlewood’s lemma and via zero-detecting Dirichlet polynomials), and states the new large-values estimate of Guth–Maynard. The resulting bound N(σ,T)≪T^{15(1-σ)/(3+5σ)+ε} improves Ingham’s 1940 exponent for σ≤3/4 and, via the standard implication recorded as Theorem 4.4, yields the prime-number theorem in intervals of length x^{17/30} (and almost all intervals of length x^{2/15}).
Significance. The paper supplies a clear, carefully referenced account of an 80-year-old barrier that has just been broken. By placing the Guth–Maynard large-values estimate in the classical lineage of zero-density methods and by spelling out the immediate arithmetic consequences, it makes a major recent advance accessible to a broad analytic-number-theory audience. The historical reconstructions are standard and accurate; the only original technical content is the high-level sketch of the new large-values argument, which correctly identifies the role of additive energy and the range of N for which the new estimate is decisive. No machine-checked proofs or code are claimed, but the exposition itself is a valuable service.
minor comments (4)
- In the abstract and introduction the announcement is dated 2024 and the published version 2026; a single consistent citation style (e.g., always [GM26] after first mention) would avoid any momentary confusion for readers who have not yet seen the Annals paper.
- Section 7.3 sketches the Guth–Maynard large-values estimate and the resulting zero-density bound, but the precise range of N for which the new estimate is applied is given only in prose. Adding a short displayed inequality (as the authors do for the classical Montgomery–Halász–Huxley estimate) would make the comparison with earlier work more immediate.
- Figures 2 and 3 are helpful, yet the vertical axis label “upper bound on A(σ)” is slightly ambiguous; a parenthetical “(i.e., the exponent of T^{A(σ)(1-σ)})” would remove any residual doubt.
- A few minor typographical inconsistencies appear (e.g., “Korbov” for Korobov in the introduction, occasional missing spaces around ≪). These are easily corrected in proof.
Circularity Check
No circularity: pure survey restating published theorems without original derivation or self-referential prediction
full rationale
This is an expository survey of classical zero-density estimates (Bohr–Landau, Carlson, Ingham, Montgomery, Huxley) and the already-published Guth–Maynard large-values theorem [GM26]. It never claims to derive a new numerical bound from its own definitions or fits; every stated estimate (Theorems 4.1–4.3, Corollary 4.1) is attributed to prior literature, and the only implication drawn (Theorem 4.4) is the standard, well-known translation from zero-density exponents A(σ) into short-interval prime-number theorems. The high-level sketch of the Guth–Maynard argument in §7.3 explicitly defers the full proof to the Annals paper and does not treat the sketch as a self-contained derivation. Ordinary self-citations (e.g., to the author’s earlier survey [GT25]) are non-load-bearing. Consequently the paper contains no self-definitional loop, no fitted-input-called-prediction, and no uniqueness theorem imported from the author’s own prior work that forces the central claim. Score 0 is the correct, expected outcome for a carefully written historical survey.
Assumptions & free parameters
assumptions (3)
- standard math The functional equation and analytic continuation of the Riemann zeta function
- standard math Classical mean-value theorems for Dirichlet polynomials (Gallagher, Montgomery–Halász)
- domain assumption Guth–Maynard large-values estimate for Dirichlet polynomials (Ann. of Math. 2026)
Cite this review
Pith. "Pith review of A decades-long breakthrough in zero-density estimates and primes in short intervals." pith.science (2026). https://pith.science/paper/ELMVPUJ3
@misc{pith2026260704632,
author = {Pith},
title = {Pith review of: A decades-long breakthrough in zero-density estimates and primes in short intervals},
year = {2026},
howpublished = {\url{https://pith.science/paper/ELMVPUJ3}},
note = {Machine review of arXiv:2607.04632}
}
abstract
The Riemann Hypothesis (RH) asserts that every nontrivial zero of the Riemann zeta-function has real part equal to $1/2$. A zero-density theorem provides evidence towards RH by bounding the number of zeros of the zeta-function with real part greater than $1/2$. In 2024, Larry Guth and James Maynard announced a new zero-density theorem which, for a key location in the critical strip, strengthens previous work of Ingham and is the first such improvement in over 80 years. This expository paper places this remarkable achievement in the context of the rich history of zero-density theorems and explores its implications on the distribution of primes in short intervals.
Figures
Reference graph
Works this paper leans on
-
[1]
T. M. Apostol, Introduction to analytic number theory, Undergraduate Texts in Mathematics, Springer-Verlag, New York-Heidelberg, 1976. 434929
1976
-
[2]
Bohr and E
H. Bohr and E. Landau, Sur les zeros de la fonction (s) de R iemann , Comptes Rendus Acad. Sci. Paris, 158 (1914), 106--110
1914
-
[3]
Carlson, Über die nullstellen der dirichletschen reihen und der riemannschen -funktion, Ark
F. Carlson, Über die nullstellen der dirichletschen reihen und der riemannschen -funktion, Ark. Mat. Astron. Fys. 15 (1921), no. 20, 28 pp
1921
-
[4]
Davenport, Multiplicative number theory, second ed., Graduate Texts in Mathematics, vol
H. Davenport, Multiplicative number theory, second ed., Graduate Texts in Mathematics, vol. 74, Springer-Verlag, New York-Berlin, 1980, Revised by Hugh L. Montgomery. 606931
1980
-
[5]
R. M. Gabriel, Some R esults C oncerning the I ntegrals of M oduli of R egular F unctions A long C ertain C urves , J. London Math. Soc. 2 (1927), no. 2, 112--117. 1574583
1927
-
[6]
P. X. Gallagher, The large sieve, Mathematika 14 (1967), 14--20. 214562
1967
-
[7]
Guth and J
L. Guth and J. Maynard, New large value estimates for D irichlet polynomials , 2024
2024
-
[8]
Larry Guth and James Maynard, New large value estimates for D irichlet polynomials , Ann. of Math. (2) 203 (2026), no. 2, 623--675
2026
Show all 90 references
-
[9]
Gafni and T
A. Gafni and T. Tao, On the number of exceptional intervals to the prime number theorem in short intervals, 2025
2025
-
[10]
Hadamard, Sur la distribution des z\'eros de la fonction (s) et ses cons\'equences arithm\'etiques , Bull
J. Hadamard, Sur la distribution des z\'eros de la fonction (s) et ses cons\'equences arithm\'etiques , Bull. Soc. Math. France 24 (1896), 199--220. 1504264
-
[11]
Hal\'asz, \"uber die M ittelwerte multiplikativer zahlentheoretischer F unktionen , Acta Math
G. Hal\'asz, \"uber die M ittelwerte multiplikativer zahlentheoretischer F unktionen , Acta Math. Acad. Sci. Hungar. 19 (1968), 365--403. 230694
1968
-
[12]
D. R. Heath-Brown, A large values estimate for D irichlet polynomials , J. London Math. Soc. (2) 20 (1979), no. 1, 8--18. 545197
1979
-
[13]
G. H. Hardy and J. E. Littlewood, The A pproximate F unctional E quation in the T heory of the Z eta- F unction, with A pplications to the D ivisor- P roblems of D irichlet and P iltz , Proc. London Math. Soc. (2) 21 (1923), 39--74. 1575368
1923
-
[14]
Hoheisel, Primzahlprobleme in der analysis, Sitz.ber
G. Hoheisel, Primzahlprobleme in der analysis, Sitz.ber. Preuss. Alad. Wiss. 33 (1930), 580--588
1930
-
[15]
Hal\'asz and P
G. Hal\'asz and P. Tur\'an, On the distribution of roots of R iemann zeta and allied functions. I , J. Number Theory 1 (1969), 121--137. 236124
1969
-
[16]
Loo Keng Hua, Introduction to number theory, Springer-Verlag, Berlin-New York, 1982, Translated from the Chinese by Peter Shiu
1982
-
[17]
M. N. Huxley, On the difference between consecutive primes, Invent. Math. 15 (1972), 164--170. 292774
1972
-
[18]
Iwaniec and E
H. Iwaniec and E. Kowalski, Analytic number theory, American Mathematical Society Colloquium Publications, vol. 53, American Mathematical Society, Providence, RI, 2004. 2061214
2004
-
[19]
A. E. Ingham, On the estimation of N( ,T) , Quart. J. Math. Oxford Ser. 8 (1937), 255--266
1937
-
[20]
, On the estimation of N( ,T) , Quart. J. Math. Oxford Ser. 11 (1940), 291--292. 3649
1940
-
[21]
, The distribution of prime numbers, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1990, Reprint of the 1932 original, With a foreword by R. C. Vaughan. 1074573
1990
-
[22]
N. M. Korobov, Estimates of trigonometric sums and their applications, Uspehi Mat. Nauk 13 (1958), no. 4(82), 185--192. 106205
1958
-
[23]
Adrien-Marie Legendre, Essai sur la théorie des nombres, Landmarks of science, Duprat, 1798 (fre)
-
[24]
J. E. Littlewood, Researches in the theory of the riemann -function, Proc. London Math. Soc. 2 (1922), no. 20, XXII–XXVIII
1922
-
[25]
, On the zeros of the R iemann zeta-function , Mathematical Proceedings of the Cambridge Philosophical Society 22 (1924), 295–318
1924
-
[26]
Mangdolt von Mangoldt , Zur V erteilung der N ullstellen der R iemannschen F unktion (t) , Math
H. Mangdolt von Mangoldt , Zur V erteilung der N ullstellen der R iemannschen F unktion (t) , Math. Ann. 60 (1905), no. 1, 1--19. 1511287
1905
-
[27]
H. L. Montgomery, Mean and large values of D irichlet polynomials , Invent. Math. 8 (1969), 334--345. 268130
1969
-
[28]
, Zeros of L -functions , Invent. Math. 8 (1969), 346--354. 249375
1969
-
[29]
Maynard and K
J. Maynard and K. Pratt, Half-isolated zeros and zero-density estimates, Int. Math. Res. Not. IMRN (2024), no. 19, 12978--13014. 4805841
2024
-
[30]
Kyle Pratt, Nicolas Robles, Alexandru Zaharescu, and Dirk Zeindler, More than five-twelfths of the zeros of are on the critical line , Res. Math. Sci. 7 (2020), no. 2, Paper No. 2, 74. 4045193
2020
-
[31]
Riemann, Ueber die anzahl der primzahlen unter einer gegebenen grösse, Monatsber
B. Riemann, Ueber die anzahl der primzahlen unter einer gegebenen grösse, Monatsber. Akad. Berlin. (1859), 670--680
-
[32]
H. L. Royden, Real analysis, third ed., Macmillan Publishing Company, New York, 1988. 1013117
1988
-
[33]
Stein and Rami Shakarchi, Complex analysis, Princeton Lectures in Analysis, vol
Elias M. Stein and Rami Shakarchi, Complex analysis, Princeton Lectures in Analysis, vol. 2, Princeton University Press, Princeton, NJ, 2003. 1976398
2003
-
[34]
E. C. Titchmarsh, The theory of the R iemann zeta-function , second ed., The Clarendon Press, Oxford University Press, New York, 1986, Edited and with a preface by D. R. Heath-Brown. 882550
1986
-
[35]
C. J. Vallée Poussin de la Vallée Poussin , Recherches analytiques sur la théorie des nombres; première partie: La fonction (s) de riemann et les nombres premiers en général, Annales de la Soc. scientifiques de Bruxelles 20 (II) (1896), 183–--256
-
[36]
Couronnés et Autres Mém
, Sur la fonction (s) de R iemann et le nombres des nombres premiers inférieurs à une limite donnée , Mém. Couronnés et Autres Mém. Publ. Acad. Roy. Sci. des lettres Beaux-Arts Belg. 59 (1899--1900), 1--74
1900
-
[37]
I. M. Vinogradov, A new estimate of the function (1+it) , Izv. Akad. Nauk SSSR Ser. Mat. 22 (1958), 161--164. 103861
1958
-
[38]
A. I. Vinogradov, The density hypothesis for D irichet L -series , Izv. Akad. Nauk SSSR Ser. Mat. 29 (1965), 903--934. 197414
1965
-
[39]
, TITLE =
Davenport, H. , TITLE =. 1980 , PAGES =
1980
-
[40]
The Analytic Number Theory Exponent Database , author =
-
[41]
Apostol, T. M. , TITLE =. 1976 , PAGES =
1976
-
[42]
Internat
Bourgain, Jean , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 2000 , NUMBER =. doi:10.1155/S107379280000009X , URL =
2000 doi
-
[43]
Bui, H. M. and Conrey, Brian and Young, Matthew P. , TITLE =. Acta Arith. , FJOURNAL =. 2011 , NUMBER =. doi:10.4064/aa150-1-3 , URL =
2011 doi
-
[44]
and Landau, E
Bohr, H. and Landau, E. , TITLE =. Comptes Rendus Acad. Sci. Paris, , VOLUME =. 1914 , PAGES =
1914
-
[45]
, TITLE =
Carlson, F. , TITLE =. Ark. Mat. Astron. Fys. , VOLUME =. 1921 , NUMBER =
1921
-
[46]
Conrey, J. B. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1989 , PAGES =. doi:10.1515/crll.1989.399.1 , URL =
1989 doi
-
[47]
Pintz, J\'anos , TITLE =. Sci. China Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11425-023-2215-7 , URL =
2023 doi
-
[48]
Royden, H. L. , TITLE =. 1988 , PAGES =
1988
-
[49]
and Shakarchi, Rami , TITLE =
Stein, Elias M. and Shakarchi, Rami , TITLE =. 2003 , PAGES =
2003
-
[50]
1896 , NUMBER =
Recherches analytiques sur la théorie des nombres; Première partie: La fonction (s) de Riemann et les nombres premiers en général , JOURNAL =. 1896 , NUMBER =
-
[51]
Sur la fonction (s) de. Mém. Couronnés et Autres Mém. Publ. Acad. Roy. Sci. des lettres Beaux-Arts Belg. , VOLUME =. 1899--1900 , NUMBER =
1900
-
[52]
Gabriel, R. M. , TITLE =. J. London Math. Soc. , FJOURNAL =. 1927 , NUMBER =. doi:10.1112/jlms/s1-2.2.112 , URL =
1927 doi
-
[53]
2025 , eprint=
On the number of exceptional intervals to the prime number theorem in short intervals , author=. 2025 , eprint=
2025
-
[54]
Hardy, G. H. and Littlewood, J. E. , TITLE =. Proc. London Math. Soc. (2) , FJOURNAL =. 1923 , PAGES =. doi:10.1112/plms/s2-21.1.39 , URL =
1923 doi
-
[55]
Heath-Brown, D. R. , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1979 , NUMBER =. doi:10.1112/jlms/s2-20.1.8 , URL =
1979 doi
-
[56]
Heath-Brown, D. R. , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1979 , NUMBER =. doi:10.1112/jlms/s2-19.2.221 , URL =
1979 doi
-
[57]
and Kowalski, E
Iwaniec, H. and Kowalski, E. , TITLE =. 2004 , PAGES =. doi:10.1090/coll/053 , URL =
2004 doi
-
[58]
and Tur\'an, P
Hal\'asz, G. and Tur\'an, P. , TITLE =. J. Number Theory , FJOURNAL =. 1969 , PAGES =. doi:10.1016/0022-314X(69)90031-6 , URL =
1969 doi
-
[59]
, TITLE =
Hal\'asz, G. , TITLE =. Acta Math. Acad. Sci. Hungar. , FJOURNAL =. 1968 , PAGES =. doi:10.1007/BF01894515 , URL =
1968 doi
-
[60]
and Pratt, K
Maynard, J. and Pratt, K. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2024 , NUMBER =. doi:10.1093/imrn/rnae191 , URL =
2024 doi
-
[61]
Kumchev , howpublished = "
A. Kumchev , howpublished = ". The
-
[62]
Gallagher, P. X. , TITLE =. Mathematika , FJOURNAL =. 1967 , PAGES =. doi:10.1112/S0025579300007968 , URL =
1967 doi
-
[63]
Montgomery, H. L. , TITLE =. Invent. Math. , FJOURNAL =. 1969 , PAGES =. doi:10.1007/BF01404637 , URL =
1969 doi
-
[64]
Montgomery, H. L. , TITLE =. Invent. Math. , FJOURNAL =. 1969 , PAGES =. doi:10.1007/BF01404638 , URL =
1969 doi
-
[65]
, TITLE =
Montgomery, Hugh L. , TITLE =. 1971 , PAGES =
1971
-
[66]
, TITLE =
Euler, L. , TITLE =. Comment. Acad. Sci. Imp. Petropol. , FJOURNAL =. 1744 , PAGES =
-
[67]
Gonek, S. M. , TITLE =. Recent perspectives in random matrix theory and number theory , SERIES =. 2005 , ISBN =. doi:10.1017/CBO9780511550492.008 , URL =
2005 doi
-
[68]
Ingham, A. E. , TITLE =. 1990 , PAGES =
1990
-
[69]
1798 , publisher =
Legendre, Adrien-Marie , copyright =. 1798 , publisher =
-
[70]
, TITLE =
Hadamard, J. , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 1896 , PAGES =
-
[71]
Pratt, Kyle and Robles, Nicolas and Zaharescu, Alexandru and Zeindler, Dirk , TITLE =. Res. Math. Sci. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s40687-019-0199-8 , URL =
2020 doi
-
[72]
Guth and J
L. Guth and J. Maynard , year=. New large value estimates for. 2405.20552v1 , archivePrefix=
-
[73]
1982 , PAGES =
Hua, Loo Keng , TITLE =. 1982 , PAGES =
1982
-
[74]
Guth, Larry and Maynard, James , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2026 , NUMBER =
2026
-
[75]
Guth, Larry and Maynard, James , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2026 , NUMBER =. doi:10.4007/annals.2026.203.2.6 , URL =
2026 doi
-
[76]
, TITLE =
Hoheisel, G. , TITLE =. Sitz.ber. Preuss. Alad. Wiss. , FJOURNAL =. 1930 , PAGES =
1930
-
[77]
Huxley, M. N. , TITLE =. Invent. Math. , FJOURNAL =. 1972 , PAGES =. doi:10.1007/BF01418933 , URL =
1972 doi
-
[78]
Ingham, A. E. , TITLE =. Quart. J. Math. Oxford Ser. , FJOURNAL =. 1940 , PAGES =
1940
-
[79]
Ingham, A. E. , TITLE =. Quart. J. Math. Oxford Ser. , FJOURNAL =. 1937 , PAGES =
1937
-
[80]
, TITLE =
Ivi\'c, A. , TITLE =. 2003 , PAGES =
2003
-
[81]
Korobov, N. M. , TITLE =. Uspehi Mat. Nauk , FJOURNAL =. 1958 , NUMBER =
1958
-
[82]
J. E. Littlewood , TITLE =. Proc. London Math. Soc. , VOLUME =. 1922 , PAGES =
1922
-
[83]
J. E. Littlewood , TITLE =. Mathematical Proceedings of the Cambridge Philosophical Society , VOLUME =. 1924 , PAGES =
1924
-
[84]
, TITLE =
Riemann, B. , TITLE =. Monatsber. Akad. Berlin. , FJOURNAL =. 1859 , PAGES =
-
[85]
, TITLE =
Selberg, A. , TITLE =. Arch. Math. Naturvid. , FJOURNAL =. 1943 , NUMBER =
1943
-
[86]
, TITLE =
Starichkova, V. , TITLE =. J. Number Theory , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.jnt.2025.04.007 , URL =
2026 doi
-
[87]
Titchmarsh, E. C. , TITLE =. 1986 , PAGES =
1986
-
[88]
Vinogradov, I. M. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1958 , PAGES =
1958
-
[89]
Vinogradov, A. I. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1965 , PAGES =
1965
-
[90]
Zur. Math. Ann. , FJOURNAL =. 1905 , NUMBER =. doi:10.1007/BF01447494 , URL =
1905 doi
Reviewed July 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.