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.
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\)** :