Remarks on Landau-Siegel zeros

Debmalya Basak,Jesse Thorner,Alexandru Zaharescu
2024-04-25
Abstract:For certain families of $L$-functions, we prove that if each $L$-function in the family has only real zeros in a fixed yet arbitrarily small neighborhood of $s=1$, then one may considerably improve upon the known results on Landau-Siegel zeros. Sarnak and the third author proved a similar result under much more restrictive hypotheses.
Number Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve are related to Landau - Siegel zeros. Specifically, the goal of the paper is to improve the known results regarding Landau - Siegel zeros under certain assumptions. Landau - Siegel zeros refer to real zeros in certain specific regions, and these zeros are of great significance for the distribution of Dirichlet L - functions. ### Background and Problem Description 1. **Riemann Zeta Function and Dirichlet L - Function**: - According to the work of Hadamard and de la Vallée Poussin, for the Riemann zeta function \(\zeta(s)\), if \(\chi \mod q_\chi\) is a primitive Dirichlet character, then there exists an absolute and computable constant \(c_1>0\) such that the Dirichlet L - function \(L(s,\chi)\) has at most one zero \(\beta\) (this zero must be real and simple) in the region \(\text{Re}(s)\geq1 - \frac{c_1}{\log(q_\chi(|\text{Im}(s)| + 3))}\). - If \(\beta\) exists, then \(\chi\) is real and non - trivial. 2. **Siegel's Lower Bound**: - According to Siegel's lower bound theorem, for any \(\epsilon>0\), there exists a constant \(c_2(\epsilon)>0\) such that if \(\beta\) exists, then \(\beta\leq1 - \frac{c_2(\epsilon)}{q_\chi^\epsilon}\). 3. **Tatuzawa's Improvement**: - Tatuzawa improved Siegel's theorem and proved that for all \(0 < \epsilon<1/2\), there exists a computable constant \(c_3(\epsilon)>0\) such that in the set \(S =\{\chi\mod q_\chi:\chi\text{ is primitive and real}\}\), there is at most one \(\chi\) satisfying \(q_\chi\geq c_3(\epsilon)\) and \(L(s,\chi)\) has a real zero in the interval \([1-\epsilon q_\chi^{-\epsilon},1)\). 4. **Hypothesis H**: - Hypothesis H means that if \(\chi\in S\), then all zeros of \(L(s,\chi)\) are on \(\text{Re}(s) = 1/2\) or \(\text{Im}(s)=0\). In other words, the generalized Riemann hypothesis holds only for non - real zeros, while Landau - Siegel zeros are allowed to exist. 5. **Sarnak and Zaharescu's Results**: - Under Hypothesis H, Sarnak and Zaharescu improved Tatuzawa's theorem and proved that for all \(\epsilon>0\), there exists a computable constant \(c_4(\epsilon)>0\) such that in the set \(S\), there is at most one \(\chi\) satisfying \(q_\chi\geq c_4(\epsilon)\) and \(L(s,\chi)\) has a real zero in the interval \([1 - (\log q_\chi)^{-\epsilon},1)\). ### Main Contributions of the Paper The paper proves that the above results still hold under weaker assumptions by using Turán's power sum method. The specific assumptions are as follows: - **Hypothesis \(H_\delta\)** :