Abstract:Let $F$ be a linear combination of $N\geq 1$ Dirichlet $L$-functions attached to even (or odd) primitive characters with the same modulus. Selberg proved that a positive proportion of non-trivial zeros of $F$ lie on the critical line. Our work here is to provide an explicit lower bound for this proportion. In particular, we show that the lower bound $2.16\times 10^{-6}/(N\log N)$ is admissible for large $N$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: to provide an explicit lower bound for the proportion of non - trivial zeros of the Dirichlet L - functions of linear combinations on the critical line. Specifically, the author studies the zero - distribution of the linear combination \(F\) of \(N\geq1\) Dirichlet L - functions associated with even (or odd) primitive characters of the same modulus.
### Core Problem of the Paper
Selberg once proved that a certain proportion of non - trivial zeros are located on the critical line, but did not give a specific numerical lower bound. The goal of this paper is to provide an explicit lower bound for this proportion. In particular, the author shows that for large \(N\), the lower bound \(2.16\times 10^{-6}/(N\log N)\) is feasible.
### Mathematical Formula Representation
Let \(F\) be a linear combination of \(N\) Dirichlet L - functions, denoted as:
\[F(s)=\sum_{j = 1}^{N}c_j\frac{\varepsilon_jq_j^{s/2}}{q_j^{1/4}}L(s,\chi_j)\]
where \(c_j\in\mathbb{R}^*\), \(\varepsilon_j\) is a complex number and \(\vert\varepsilon_j\vert = 1\), \(\chi_j\) is a primitive character modulo \(q_j\).
Let \(N(T,F)\) denote the number of non - trivial zeros with imaginary parts in \((0,T)\), and \(N_0(T,F)\) denote the number of these zeros located on the critical line. Define the proportion:
\[\kappa_F:=\liminf_{T\rightarrow\infty}\frac{N_0(2T,F)-N_0(T,F)}{N(2T,F)-N(T,F)}\]
### Main Results
By improving Selberg's mollification method, the author obtains the following theorem:
**Theorem 1.1**: Let \(F\) be a linear combination of \(N\geq1\) Dirichlet L - functions associated with even primitive characters of the same modulus. For any \(A > 1/\kappa\), any \(\kappa\in(0,1/8)\) and any \(\theta\in(0,1)\), we have:
\[\kappa_F\geq\frac{2\pi}{A}\left(\frac{1}{2A}-4NC_1(A)+\frac{C_2}{A^3}\right)\]
Here, \(C_1(A)\) and \(C_2\) are defined in Theorem 2.1 and implicitly depend on \(\theta\) and \(\kappa\).
### Specific Numerical Results
For smaller \(N\), the author gives more specific lower bounds, for example:
- When \(N = 1\), \(\kappa_F\geq5.45\times 10^{-8}\);
- When \(N = 2\), \(\kappa_F\geq7.38\times 10^{-9}\);
- When \(N = 1000\), \(\kappa_F\geq1.43\times 10^{-11}\).
In addition, for very large \(N\), the author also gives an asymptotic estimate:
\[N\geq2.9\times 10^{-11}\epsilon^{-3}\Rightarrow\kappa_F\geq\frac{2.161\times 10^{-6}}{N\log N}\left(1-\frac{3\epsilon + 1.14\log\log N}{\log N}-\frac{862}{\log N}-\frac{1.2\times 1}\]