Abstract:We consider a variant of a problem first introduced by Hughes and Rudnick (2003) and generalized by Bernard (2015) concerning conditional bounds for small first zeros in a family of $L$-functions. Here we seek to estimate the size of the smallest intervals centered at a low-lying height for which we can guarantee the existence of a zero in a family of $L$-functions. This leads us to consider an extremal problem in analysis which we address by applying the framework of de Branges spaces, introduced in this context by Carneiro, Chirre, and Milinovich (2022).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Estimate the size of the smallest interval within which the existence of a zero point is guaranteed in the low - height interval, for the first non - trivial zero point in the L - function family**. Specifically, the author considered the existence problem of the first zero point in a given L - function family at different low heights on the critical line.
### Detailed Explanation
1. **Background and Motivation**
- The research originated from the work of Hughes and Rudnick (in 2003) and was generalized by Bernard (in 2015). They studied the existence of small first zero points in the Dirichlet L - function family.
- Through the Generalized Riemann Hypothesis (GRH), they proved that for large conductors q, there exist small first zero points.
- Specifically, Hughes and Rudnick proved that for an even Schwartz function ϕ whose Fourier transform has support contained in [ - 2, 2], the following first - order density formula holds:
\[
\lim_{q \to \infty} \frac{1}{q - 2}\sum_{\chi \neq \chi_0}\sum_{\gamma_\chi}\phi\left(\frac{\gamma_\chi\log q}{2\pi}\right)=\int_{\mathbb{R}}\phi(x)dx
\]
Here, the outer sum is over non - principal characters χ with modulus prime q, and the inner sum is over non - trivial zero points of each character.
2. **Specific Description of the Problem**
- The author hopes to estimate the size of the smallest interval near a certain low height α on the critical line within which the existence of a zero point can be guaranteed.
- Given a real number α, the author considers the normalized zero point \(\tilde{\rho}_f=\frac{1}{2}+i\tilde{\gamma}_f\), where \(\tilde{\gamma}_f = \frac{\gamma_f\log c_f}{2\pi}\), and wants to know whether there exists a zero point in the smallest interval centered at \(\frac{1}{2}+i\alpha\) in a given L - function family.
3. **Methods and Framework**
- The author solves this problem by introducing the method of de Branges spaces. The de Branges space is a special type of Hilbert space, which is suitable for the study of entire functions.
- The author defines an extremal problem to estimate the size of the smallest interval under different symmetry groups. Specifically, for a given α, the following extremal constant is defined:
\[
A(G,\pi\Delta,\alpha):=\inf_{0\neq f\in H_{\pi\Delta}}\frac{\int_{\mathbb{R}}|(x - \alpha)f(x)|^2W_G(x)dx}{\int_{\mathbb{R}}|f(x)|^2W_G(x)dx}
\]
where \(W_G(x)\) is a weight function related to the symmetry group G.
4. **Main Results**
- Through the solution of the above extremal problem, the author obtains an upper - bound estimate of the height of the first zero point. Specifically, for different symmetry groups G, the author proves the following result:
\[
\limsup_{Q \to \infty}\min_{f\in F(Q)}\left|\frac{\gamma_f\log c_f}{2\pi}-\alpha\right|\leq\sqrt{A(G,\pi\Delta,\alpha)}
\]
- For the orthogonal and odd - orthogonal families, the zero point at the center point can be further excluded, thus obtaining a more accurate estimate.
### Summary
The core problem of this paper is to estimate, by analyzing the behavior of the L - function family under the first - order density formula and using the de Branges space theory, in...