Nicolás Coloma,Maria Espericueta Sandoval,Erika Lopez,Francisco Ponce,Gustavo Rama,Nathan C. Ryan,Alejandro Vargas-Altamirano
Abstract:In this paper we present results of several experiments in which we model the repulsion of low-lying zeros of L-functions using random matrix theory. Previous work has typically focused on the twists of L-functions associated to elliptic curves and on families that can be modeled by unitary and orthogonal matrices. We consider families of L-function of modular forms of weight greater than 2 and we consider families that can be modeled by symplectic matrices. Additionally, we explore a model for low-lying zeros of twists that incorporates a discretization arising from the Kohnen--Zagier theorem. Overall, our numeric evidence supports the expectation that the repulsion of zeros decreases as the conductor of the twist increases. Surprisingly, though, it appears that using the discretization that arises from the Kohnen--Zagier theorem does not model the data better than if the discretization is not used for forms of weight 4 or above.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the repulsion phenomenon of the low - zeros of L - functions, especially when these L - functions are related to modular forms. Specifically, the authors modeled the distribution of the low - zeros of L - functions through random matrix theory and explored the following points:
1. **Repulsion phenomenon of low - zeros of L - functions**:
The authors studied the zero - point distributions of different types of L - functions (especially the quadratic twists of modular forms) near \( s=\frac{1}{2} \). They found that these zero - points exhibit a "repulsion" phenomenon, that is, these zero - points tend to be far away from the central point \( s = \frac{1}{2} \).
2. **Application of random matrix models**:
The authors used random matrix theory to model the distribution of these zero - points. Specifically, they considered three types of random matrices: orthogonal matrices \( SO(2N) \), unitary matrices \( U(N) \) and unitary symplectic matrices \( USp(2N) \). The eigenvalue distributions of these matrices were used to simulate the zero - point distributions of L - functions.
3. **Influence of the Kohnen - Zagier theorem**:
The authors also explored the influence of the Kohnen - Zagier theorem on the zero - point distribution of L - functions. This theorem provides a discretization method, so that the central values of some L - functions cannot be too small and not zero. The authors attempted to incorporate this discretization into their model to better fit the experimental data.
4. **Influence of derivative values**:
The authors studied the influence of modular forms of different weights (such as forms with weights greater than 2) on the zero - point repulsion phenomenon. They found that as the derivative (that is, the weight of the modular form) increases, the zero - point repulsion phenomenon weakens.
5. **Experimental verification**:
The authors verified the validity of the above - mentioned theoretical models through a large number of numerical experiments. They calculated the first few zero - points of L - functions with different derivatives and discriminants, and compared the distributions of these zero - points with the eigenvalues of the corresponding random matrices.
In summary, the main purpose of this paper is to deeply understand the repulsion phenomenon of the low - zeros of L - functions and the reasons behind it through random matrix theory and numerical experiments. This not only helps to deepen our understanding of the properties of L - functions, but also provides important theoretical and experimental bases for further research.
### Formula display
Some of the key formulas involved in the paper are as follows:
- Definition of L - function:
\[
L(f, s, \psi_D)=\sum_{n = 1}^{\infty}\frac{\psi_D(n)\lambda_n}{n^s}
\]
where \(\psi_D\) is a quadratic character related to the real quadratic field \( \mathbb{Q}(\sqrt{D}) \), and \(\lambda_n=\frac{a_n}{\sqrt{n^{k - 1}}} \).
- Functional equation of the complete L - function:
\[
\Lambda(f, s, \psi_D)=\epsilon_f\chi_f(D)\psi_D(-M)\Lambda(f, 1 - s, \psi_D)
\]
- Result of the Kohnen - Zagier theorem:
\[
L(f,\frac{1}{2},\psi_D)=\kappa_f\frac{c_D(g)^2}{\sqrt{D^{k - 1}}}
\]
where \(\kappa_f\) is a non - zero constant independent of \(D\), and \(c_D(g)\) is the \(D\) - th Fourier coefficient of the modular form \(g\).
These formulas are used in the paper to describe the properties of L - functions and their relationships with the eigenvalues of random matrices.