24
$\begingroup$

Now that a week has passed since Zhang posted his preprint Discrete mean estimates and the Landau–Siegel zero on the arXiv, I'm wondering if someone can give a high-level overview of his strategy. In more detail: the paper first claims to show that an abnormally small value for the $L$-function at $s=1$ (or equivalently, a zero close to $s=1$), will influence the zeros of other $L$-functions, forcing them to lie on the critical line (which is expected) and to be very regularly spaced (which definitely is not expected). This part of the paper has a long history, going under the name of the Deuring–Heilbronn phenomenon. Many researchers claimed results in this direction in conference papers, including Montgomery (Zhang's reference [17]) and Heath-Brown (Zhang's [13]). Full proofs were obtained by Conrey and Iwaniec (‘Spacing of zeros of Hecke L-functions and the class number problem’, Acta Arith. 103 (2002), no. 3, 259–312). Mark Watkins subsequently published ‘Comments on Deuring's zero-spacing phenomenon’, J. Number Theory 218 (2021), 1–43.

As far as I can see, what Zhang claims in this part is similar to the Conrey–Iwaniec result, lower bounding the $L$-function value by a power of logarithm under a hypothesis on the spacing of zeros. (If I've missed something, let me know.)

The rest of Zhang's paper claims to show that this regular spacing does not happen. Ruling out this ‘Alternative Hypothesis’ has been a goal in analytic number theory for decades, and despite the work of many (Montgomery for test functions with restricted support, Katz–Sarnak for the function field analog, Odlyzko and Rubinstein on numerical data for the zeros of the zeta function and Dirichlet $L$-functions, respectively), no one has been able to rule out this regular spacing. (For specific values of the discriminant, specific spacing of numerically computed zeros has had applications since Stark's 1964 UC Berkeley PhD thesis "On the tenth complex quadratic field with class-number one"

Zhang gives only a few hints of the strategy. In the abstract, “by evaluating certain discrete means of the large sieve type, a contradiction can be obtained….”

At the bottom of page 8 and top of page 9 “This is analogous to the results of Conrey, Iwaniec, and Soundararajan [5] and [6]. However, it seems that such a choice … is not good enough for our purpose. … instead, a variant of the argument will be adopted.”

What is it he is trying to do?

Improve this question
$\endgroup$
16
  • 9
    $\begingroup$ Other MO questions about this work: mathoverflow.net/questions/434287 mathoverflow.net/questions/434150 mathoverflow.net/questions/433949 mathoverflow.net/questions/131221. It's obviously exciting but we may be getting out over our skis in terms of the volume of speculation on this site about this announcement. $\endgroup$
    – Sam Hopkins
    Commented Nov 14, 2022 at 18:59
  • 13
    $\begingroup$ You might also be interested in this blog comment from Terry Tao about how certain misprints in the preprint make it hard(er) to evaluate: terrytao.wordpress.com/2021/09/15/… $\endgroup$
    – Sam Hopkins
    Commented Nov 14, 2022 at 19:02
  • 50
    $\begingroup$ I would advise that public discussion of the preprint be postponed until there is reasonable consensus on the correctness of the manuscript (after the issues already located have been addressed by Yitang). I understand the excitement about this potentially significant result, but the slow, careful process of verifying (a hopefully forthcoming revision of) the manuscript still needs to be done, and too much premature public discussion of the preprint could in fact distract from and interfere with this necessary step. Check back in a month or so. $\endgroup$
    – Terry Tao
    Commented Nov 14, 2022 at 21:36
  • 7
    $\begingroup$ @TerryTao Why? I agree with your comment if this post and comment thread were people merely speculating about the correctness of the argument. This question is asking about the approach of the preprint. In fact, I think this will make the verification process easier. $\endgroup$
    – mathworker21
    Commented Nov 14, 2022 at 22:58
  • 27
    $\begingroup$ The main thing that would make the verification process easier is the release of a carefully revised and proofread version of the manuscript by Yitang. For this, I believe it would be more efficacious if questions and concerns about the paper are communicated to Yitang by private channels, rather than public forums such as MathOverflow, which Yitang has not shown much prior interest in engaging with. $\endgroup$
    – Terry Tao
    Commented Nov 14, 2022 at 23:39

0

Reset to default

You must log in to answer this question.