REVIEW 2 major objections 6 minor 1 cited by
Large Value Estimates for Dirichlet Polynomials with Characters and Zero Density of Dirichlet $L$-Functions
T0 review · 2 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves the zero-density bound (qT)^{7(1-σ)/3+ε} for Dirichlet L-functions summed over characters modulo q, improving the earlier exponent 12/5 and yielding new bounds on least primes and Goldbach numbers.
desk verdict A serious Guth-Maynard extension to Dirichlet characters with a plausible 7/3 exponent, but a systematic N^{σ/6} vs N^σ threshold typo must be fixed before the estimates as written are trustworthy. 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 load-bearing object is the large-value set $W$ of separated pairs $(t,\chi)$ on which a character-twisted Dirichlet polynomial $D_N(t,\chi)=\sum_{N<n\le 2N}a_n\chi(n)n^{it}$ is large. The argument forms the $|W|\times N$ matrix $M$ with entries $w(n/N)\chi(n)n^{it}$, bounds its largest singular value through the traces of $MM^*$ and $(MM^*)^3$, and splits the resulting oscillatory sum into $S_1,S_2,S_3$ according to how many of the three Fourier variables vanish. $S_3$, the hardest term, is controlled by the paper's principal new tool, Proposition 8.1: a bound for the integral over $u$ of the square of $\sum_{b,m_1,m_2,m_3}f_b((m_1u+m_3)/m_2)\,(am_1+bm_2+m_3,q)$, valid when the smooth functions $f_b$ have Fourier decay $|\hat f_b(\xi)|\lesssim (qT)^3(T/|\xi|)^j$. This affine-transform-with-GCD-twist estimate is what carries the adaptation of the Guth-Maynard large-value method (a recent technique for bounding how often a long Dirichlet polynomial can be large) into the character setting.
What would settle it
Take an explicit small modulus $q$, a separated set $W$ of pairs $(t,\chi)$, and the functions $f_b(u)=\psi(u)|\widetilde R_{M_2}(u,-b)|^2$ of Section 11, then compute $|\hat f_b(\xi)|$ at frequencies $|\xi|$ from $T$ up to $(qT)^2$: if the decay is ever weaker than $(qT)^3(T/|\xi|)^j$, the hypothesis of Proposition 8.1 fails and the $S_3$ bound — hence the exponent $7/3$ — collapses.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that a recent large-value method for long Dirichlet polynomials survives the passage to polynomials twisted by primitive Dirichlet characters, provided the character sums are controlled by a new bound for affine transformations with GCD twists. For a separated set $W$ of pairs $(t,\chi)$ on which a character-twisted polynomial of length $N$ attains values $\ge V$, Theorem 1.3 gives $|W|\ll_\epsilon N^2V^{-2}+(qT)^{4/3}N^2V^{-4}$ when $(qT)^{3/4}\le N\le (qT)^{5/6}$, and a further four-term bound for larger $N$. Fed into the zero-detection method, this yields $\sum_{\chi\bmod q}N(\sigma,T,\chi)\ll_\epsilon (qT)^{4(1-\sigma)/(1+\sigma)}$, and the combination with the classical bound for $\sigma\le 5/7$ produces the headline estimate $(qT)^{7(1-\sigma)/3+\epsilon}$. The paper also shows the new exponent pays off arithmetically: for fixed prime $p$, the least prime $p(p^n,k)$ in the progression $k\bmod p^n$ is $\ll_{p,\epsilon}(p^n)^{7/3+\epsilon}$, and the least Goldbach number $G(p,k)\equiv k\pmod p$ is $\ll_\epsilon p^{7/6+\epsilon}$.
Load-bearing premise
The $S_3$ bound, and with it the entire improved exponent $7/3$, rests on the Fourier decay assumption that the smoothed functions $f_b(u)=\psi(u)|\widetilde R_{M_2}(u,-b)|^2$ satisfy $|\hat f_b(\xi)|\lesssim (qT)^3(T/|\xi|)^j$ for every $j$; Section 11 asserts this decay in a single sentence via the convolution theorem, and the derivative estimates behind it are not written out.
Editorial extensions
If this is right
- Corollary 1.5: for a fixed prime $p$, every integer $k$ coprime to $p^n$ has a prime in the progression with $p(p^n,k)\ll_{p,\epsilon}(p^n)^{7/3+\epsilon}$.
- Corollary 1.6: for an odd prime $p$, the least Goldbach number $G(p,k)\equiv k\pmod p$ satisfies $G(p,k)\ll_\epsilon p^{7/6+\epsilon}$.
- At the threshold $N=(qT)^{4/5}$ with $V=N^{3/4}$, Theorem 1.3 gives $|W|\ll(qT)^{8/15}$, strictly better than the $(qT)^{3/5}$ from both the classical mean value theorem and the Halász–Montgomery–Huxley estimates.
- In the range $5/7\le\sigma\le 7/9$ the new bound is the strongest available zero-density estimate for all $q,T$ simultaneously, since it beats (1.3) for $\sigma>5/7$ and (1.4) for $\sigma<7/9$.
- The abstract additionally announces new results on primes in arithmetic progressions in short intervals, in particular for prime-power moduli, as consequences of the density estimate.
Reading between the lines
- Beyond the paper: the Fourier decay asserted in Section 11 is the point where the proof is most exposed; writing out the full derivative estimates — or exhibiting a configuration where they fail — would clarify whether the method still has slack to push below the exponent $7/3$.
- Beyond the paper: the GCD-twist affine-sum bound of Proposition 8.1 is also the natural lever for the $Q^2T$-analogue that the introduction points to; averaging over moduli up to $Q$ rather than a single $q$ would likely need a $Q$-dependent version of this proposition.
- Beyond the paper: the same architecture of singular values, trace expansion, and affine-transform sums should transfer to other $L$-function families whose characters enter through sums of the same shape, so the improvement need not stop at Dirichlet $L$-functions.
- Editorial note: Corollary 1.6 attributes its antecedent to 'Jutila [7]', but entry [7] in the reference list is Davies's Kakeya paper; the Jutila work on the least Goldbach number is listed as [15]. This mismatch does not touch the proof of the corollary.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper adapts the Guth-Maynard large-value method to Dirichlet polynomials twisted by primitive Dirichlet characters and obtains a zero-density estimate for Dirichlet L-functions: summing N(σ,T,χ) over χ mod q gives exponent 7/3, improving Huxley's 12/5. The proof follows the standard framework: a matrix SVD reduction, bounds for the trace terms S1, S2, S3, an affine-GCD-twist sum estimate, moments and energy estimates for the character-weighted function R, and a final zero-detection argument. Two arithmetic applications are stated: an improved bound for the least prime in an arithmetic progression modulo a prime power and an improved bound for the least Goldbach number modulo a prime.
Significance. If correct, this is a substantial advance: it is the first adaptation of the Guth-Maynard machinery to character-twisted Dirichlet polynomials and yields the best known zero-density exponent in the q-aspect as well as in T. A notable strength is that the argument is parameter-free: the bounds are derived from analytic lemmas (Heath-Brown's double zeta sum bound, Guth-Maynard's matrix lemmas) rather than tuned to the final exponent. The claimed improvement from 12/5 to 7/3, together with the arithmetic corollaries, makes this a consequential contribution to multiplicative number theory, provided the normalization and Fourier-decay issues described below are resolved.
major comments (2)
- [Sections 3, 4, 10; Lemma 10.3; Section 12.3] The threshold N^{σ/6} is internally inconsistent with the SVD argument and with the rest of the paper. In Lemma 4.1 the hypothesis |S_N(t,χ)| ≥ N^{σ/6} and the inequality ∑_{(t,χ)} |S_N(t,χ)|^2 ≤ s_1(M)^2 ∑_n |b_n|^2 give |W| N^{σ/3} ≤ N s_1(M)^2, hence |W| ≤ N^{1−σ/3} s_1(M)^2, not |W| ≤ N^{1−2σ} s_1(M)^2. For σ = 4/5 the claimed right-hand side N^{−3/5} s_1(M)^2 is typically below 1, which cannot bound a nonempty set W. Lemma 10.3's proof and Section 12.3 both use the condition |D_N(t,χ)| ≥ N^σ, and Proposition 10.1 is used with the same normalization in Section 11. The intended hypothesis is evidently V ≈ N^σ, up to an absolute constant (e.g. N^σ/6, not N^{σ/6}). The occurrences in Lemma 4.1, Propositions 3.1, 4.6, and 10.1, and in the S3/energy bounds of Sections 10–11, must be corrected systematically, and the reduction in Section 3 from |D_N| ≥ N^σ to the three parts D^{(i)} each inheriting ≥ N^σ/3 should be restated with the corrected '≥ c N^σ' form.
- [Section 11.1, Proposition 8.1 hypothesis] The verification that f_b(u) = ψ(u)|\tilde R_{M2}(u,-b)|^2 satisfies the Fourier-decay hypothesis \hat f_b(ξ) ≤ (qT)^3 (T/|ξ|)^j is compressed into a single sentence. A complete proof needs to use the convolution theorem for \tilde R_{M2}^2 as K * |R|^2, then handle the product with ψ by splitting the convolution integral for \hat ψ * \widehat{|\tilde R|^2} at |η| ≈ |ξ|/2, and it should quote the correct bound on ∫|R|^2 from Lemma 9.1 (which is ≲ ϕ(q)|W|, hence ≤ (qT)^{O(1)}, rather than literally |W|^2). Since Proposition 8.1 is the key input to the S3 bound, the omitted derivation should be written out.
minor comments (6)
- [Proposition 4.6] The statement writes 'W ≲_ϵ ...' where it should write '|W| ≲_ϵ ...'.
- [Section 3, proof of Theorem 1.3] In the splitting argument, the third part is said to give the same bound for '|W2|' again; it should be '|W3|'.
- [Sections 1 and 3] The reference to Guth-Maynard's work appears as '[8]' in Theorem 1.3, but in the bibliography [8] is Forti-Viola and [9] is Guth-Maynard; the citation should be [9].
- [Section 12.3, first range] When applying the first part of Theorem 1.3 to D_N^2, the first term should be N^{4−4σ} rather than N^{2−2σ}; the subsequent domination by the second term is unaffected, but the displayed formula should be corrected.
- [Throughout] There are numerous typos and formatting issues, including 'V ALUE' in the title, 'Specificallly', 'definded', 'triangel', 'Cauchy-Schwaz', 'innner sum', 'Airth', and 'Moebius'; these should be cleaned up before publication.
- [Section 11.1] The sentence 'Applying the convolution theorem and noting ∫|R(u,−b)|^2 1_{[1/2,2]}(u) du ≲ |W|^2 ≤ (qT)^2' should be replaced by the precise Lemma 9.1 bound ≲ φ(q)|W|, with a short explanation of why this is sufficient for the Fourier-decay hypothesis.
Circularity Check
No circular derivation found: the main bounds are proved from independent analytic lemmas, not from fitted or self-referential inputs.
full rationale
The paper derives Theorem 1.4 by combining a new large-value estimate (Theorem 1.3) with the standard zero-detection method; Theorem 1.3 is itself proved from SVD/trace identities, Poisson summation, Heath-Brown's double zeta sum bound, and an extension of the Guth-Maynard S3 estimates. No step fits a parameter to the final zero-density bound and then renames it a prediction. The only cited author self-work in the references (Chen-Debruyne-Vindas, reference [5]) is not used as a load-bearing ingredient in the main proof. The brief verification in Section 11 that the functions f_b have the Fourier decay needed for Proposition 8.1 is compressed, but the claimed decay is not derived from the large-value or zero-density conclusions it is used to prove; it is a quantitative check requiring a fuller justification, not circularity. Similarly, the apparent threshold mismatch between N^(sigma/6) in Lemma 4.1 and N^sigma in Section 12.3 is an exponent-consistency issue, not an instance of assuming the target estimate. The derivation is therefore self-contained, and no circular step can be exhibited.
Assumptions & free parameters
assumptions (3)
- domain assumption Standard analytic number theory facts: approximate functional equation, fourth moment bound for L(s,chi), and zero-spacing estimate N(sigma,T+1,chi)-N(sigma,T,chi) of size at most log(qT).
- ad hoc to paper Fourier decay hypothesis of Proposition 8.1: hat f_b(xi) is at most (qT)^3 (T/|xi|)^j for the smoothed functions f_b = psi |tilde R_{M2}|^2.
- ad hoc to paper The Guth-Maynard lemmas on singular values, trace expansions, and energy bounds transfer to the character-twisted setting without loss of strength.
Cite this review
Pith. "Pith review of Large Value Estimates for Dirichlet Polynomials with Characters and Zero Density of Dirichlet $L$-Functions." pith.science (2026). https://pith.science/paper/6F5SNWWQ
@misc{pith2026250708296,
author = {Pith},
title = {Pith review of: Large Value Estimates for Dirichlet Polynomials with Characters and Zero Density of Dirichlet $L$-Functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/6F5SNWWQ}},
note = {Machine review of arXiv:2507.08296}
}
abstract
It is proved that \[ \sum_{\chi \bmod q}N(\sigma,T,\chi) \ll_{\epsilon} (qT)^{7(1-\sigma)/3+\epsilon}, \] where $N(\sigma,T,\chi)$ denotes the number of zeros $\rho=\beta+it$ of $L(s,\chi)$ in the rectangle $\sigma\leq \beta\leq 1$, $|t|\leq T$. The exponent $7/3$ improves upon Huxley's earlier exponent of $12/5$. The key innovation lies in deriving a sharp upper bound for sums over affine transformations of functions with a GCD twist, which arises from our adaptation of the Guth--Maynard method. As applications of the zero density estimates obtained in this paper, we derive a new upper bound for the least Goldbach number in arithmetic progressions modulo a prime and establish new results on primes in arithmetic progressions in short intervals, in particular for prime-power moduli.
Forward citations
Cited by 1 Pith paper
-
Siegel zeros and small gaps between zeros of the Riemann zeta function
Under RH, an exceptional sequence of Siegel zeros implies liminf of normalized zero gaps is below 0.4733.
Reference graph
Works this paper leans on
-
[7]
R. O. Davies, Some remarks on the Kakeya problem, Proc. Cambridge Philos. Soc, 69 (1971), 417–421
work page 1971
-
[1]
M. B. Barban, YU. Y. Linnik, N. G. Tshudakov, On prime numbers in an arithmetic progression with a prime-power difference, Acta Airth, 9 (1964), 375–390
work page 1964
-
[2]
J. Bourgain, On large values estimates for Dirichlet polynomials and the density hypothesis for the Riemann Zeta function, Int. Math. Res Not. 3 (2000), 133–146
work page 2000
-
[3]
Bourgain, On the distribution of Dirichlet sums
J. Bourgain, On the distribution of Dirichlet sums. II, in: Number theory for the millennium, I (Urbana, IL, 2000), pp. 87–109, A K Peters, Natick, MA, 2002
work page 2000
-
[4]
J. Bourgain, Remarks on Montgomery’s conjectures on Dirichlet series, Geometric Aspects of Functional Analysis (1989–1990), Springer Lecture Notes in Mathematics 1469 (1991), 153–165
work page 1991
-
[5]
B. Chen, G. Debruyne, J. Vindas, On the density hypothesis for L-functions associated with holomorphic cusp forms, Rev. Mat. Iberoam. 40 (2024), 2179-2202
work page 2024
-
[6]
Davenport, Multiplicative number theory, third ed., Springer-Verlag, New York, 2000
H. Davenport, Multiplicative number theory, third ed., Springer-Verlag, New York, 2000. 50 B. CHEN
work page 2000
- [8]
Show all 21 references
-
[9]
L. Guth, J. Maynard, New large value estimates for Dirichlet polynomials, preprint, arXiv:2405.20552
-
[10]
D. R. Heath-Brown, A large values estimate for Dirichlet polynomials, J. London Math. Soc. 20 (1979), 8–18
1979
-
[11]
Huxley, On the difference between consecutive primes, Invent
M. Huxley, On the difference between consecutive primes, Invent. Math. 15 (1972), 164–170
1972
-
[12]
Huxley, Large values of Dirichlet polynomials
M. Huxley, Large values of Dirichlet polynomials. III, Acta Arith. 26 (1975), 435–444
1975
-
[13]
A. E. Ingham, On the estimation of N (σ, T), Quart. J. Math. Oxford Ser., 11: 291–292, 1940
1940
-
[14]
Ivi´ c, The Riemann zeta-function
A. Ivi´ c, The Riemann zeta-function. The theory of Riemann zeta-function with applications, Dover Publications, Inc., Mineola, NY, 2003
2003
-
[15]
Jutila, On the least Goldbach’s number in an arithmetical progression with a prime difference, Ann
M. Jutila, On the least Goldbach’s number in an arithmetical progression with a prime difference, Ann. Univ. Turku. Ser. A I (1968), 8 pp
1968
-
[16]
Jutila, On a density theorem of H
M. Jutila, On a density theorem of H. L. Montgomery for L-functions, Ann. Acad. Sci. Fenn. Ser. A I 520 (1972), 13 pp
1972
-
[17]
Jutila, Zero-density estimates for L-functions, Acta Arith
M. Jutila, Zero-density estimates for L-functions, Acta Arith. 32 (1977), 55–62
1977
-
[18]
H. L. Montgomery, Zeros of L-functions, Invent. Math. 8 (1969), 346–354
1969
-
[19]
H. L. Montgomery, Topics in multiplicative number theory, Lecture Notes in Math. 227, Springer- Verlag, Berlin-Heidelberg-New York, 1971
1971
-
[20]
H. L. Montgomery, Ten Lectures On The Interface Between Analytic Number Theory And Har- monic Analysis, No. 84, American Mathematical Soc., 1994
1994
-
[21]
H. Wang, Z. Zahl, Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions, preprint, arXiv:2502.17655. B. Chen, Department of Mathematics: Analysis, Logic and Discrete Mathematics, Ghent University, Krijgslaan 281, B 9000 Ghent, Belgium Em...
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.