We consider linear statistics of the scaled zeros of Dirichlet $L$--functions, and show that the first few moments converge to the Gaussian moments. The number of Gaussian moments depends on the particular statistic considered. The same phenomenon is found in Random Matrix Theory, where we consider linear statistics of scaled eigenphases for matrices in the unitary group. In that case the higher moments are no longer Gaussian. We conjecture that this also happens for Dirichlet $L$--functions.
We study one-level and two-level densities for low lying zeros of symmetric power L-functions in the level aspect. It allows us to completely determine the symmetry types of some families of symmetric power L-functions with prescribed sign of functional equation. We also compute the moments of one-level density and exhibit mock-Gaussian behavior discovered by Hughes & Rudnick.
In this paper, we study the one level density of low-lying zeros of a family of quadratic Hecke $L$-functions to prime moduli over the Gaussian field under the generalized Riemann hypothesis (GRH) and the ratios conjecture. As a corollary, we deduce that at least $75 \%$ of the members of this family do not vanish at the central point under GRH.
In this paper, we prove some one level density results for low-lying zeros of families of $L$-functions. More specifically, the families under consideration are that of $L$-functions of holomorphic Hecke eigenforms of level 1 and weight $k$ twisted with quadratic Dirichlet characters and that of cubic and quartic Dirichlet $L$-functions.
In this paper, we compute the one-level density of low-lying zeros of Dirichlet $L$-functions in a family weighted by special values of Dirichlet $L$-functions at a fixed $s \in [1/2, 1)$. We verify both Fazzari's conjecture and the first author's conjecture on the weighted one-level density for our family of $L$-functions.
In this paper, we prove some one level density results for the low-lying zeros of famliies of quadratic and quartic Hecke $L$-functions of the Gaussian field. As corollaries, we deduce that, respectively, at least $94.27 \%$ and $5\%$ of the members of the quadratic family and the quartic family do not vanish at the central point.
In this paper, we prove a one level density result for the low-lying zeros of quadratic Hecke $L$-functions of imaginary quadratic number fields of class number one. As a corollary, we deduce, essentially, that at least $(19-\cot (1/4))/16 = 94.27... \%$ of the $L$-functions under consideration do not vanish at $1/2$.
In this paper, we apply the ratio conjecture of $L$-functions to derive the lower order terms of the $1$-level density of the low-lying zeros of a family quadratic Hecke $L$-functions in the Gaussian field. Up to the first lower order term, we show that our result is consistent with that obtained from previous work under the generalized Riemann hypothesis, when the Fourier transforms of the test functions are supported in $(-2, 2)$.
We study the low-lying zeros of various interesting families of elliptic curve L-functions. One application is an upper bound on the average analytic rank of the family of all elliptic curves. The upper bound obtained is less than two, which implies that a positive proportion of elliptic curves over the rationals have algebraic rank equal to analytic rank and finite Tate-Shafarevich group. These results are conditional on the Generalized Riemann Hypothesis.
The density conjecture of Katz and Sarnak predicts that, for natural families of L-functions, the distribution of zeros lying near the real axis is governed by a group of symmetry. In the case of the universal family of automorphic forms of bounded analytic conductor on a totally definite quaternion algebra, we determine the associated distribution for a restricted class of test functions. In particular it leads to non-trivial results on densities of non-vanishing at the central point.
We compute the one-level density for the family of cubic Dirichlet $L$-functions when the support of the Fourier transform of a test function is in $(-1,1)$. We also establish the Ratios conjecture prediction for the one-level density for this family, and confirm that it agrees with the one-level density we obtain.
We study the $1$-level density of low-lying zeros of quadratic Dirichlet $L$-functions by applying the $L$-functions Ratios Conjecture. We observe a transition in the main term as was predicted by the Katz-Sarnak heuristic as well as in the lower order terms when the support of the Fourier transform of the corresponding test function reaches the point $1$. Our results are consistent with those obtained in previous work under GRH and are furthermore analogous to results of Rudnick in the function field case.
Katz and Sarnak conjectured that the statistics of low-lying zeros of various family of $L$-functions matched with the scaling limit of eigenvalues from the random matrix theory. In this paper we confirm this statistic for a family of primitive Dirichlet $L$-functions matches up with corresponding statistic in the random unitary ensemble, in a range that includes the off-diagonal contribution. To estimate the $n$-level density of zeros of the $L$-functions, we use the asymptotic large sieve method developed by Conrey, Iwaniec and Soundararajan. For the random matrix side, a formula from Conrey…
We study the low-lying zeros of L-functions attached to quadratic twists of a given elliptic curve E defined over $\mathbb Q$. We are primarily interested in the family of all twists coprime to the conductor of E and compute a very precise expression for the corresponding 1-level density. In particular, for test functions whose Fourier transforms have sufficiently restricted support, we are able to compute the 1-level density up to an error term that is significantly sharper than the square-root error term predicted by the L-functions Ratios Conjecture.
A connection between low-lying zeros and central values of $L$-functions
CNRS – Université de Montréal CRM – CNRS Université de Lille – Laboratoire Paul Painlevé（法国国家科学研究中心 - 蒙特利尔大学 CRM - 法国国家科学研究中心 - 里尔大学 - 保罗·潘勒韦实验室）；Department of Mathematics and Statistics, San Jose State University（圣何塞州立大学数学与统计系）；Faculty of Mathematics, Kyushu University（九州大学数学学院）
The Density Conjecture of Katz and Sarnak associates a classical compact group to each reasonable family of $L$-functions. Under the assumption of the Generalized Riemann Hypothesis, Rubinstein computed the $n$-level density of low-lying zeros for the family of quadratic Dirichlet $L$-functions in the case that the Fourier transform $\hat{f}(u)$ of any test function $f$ is supported in the region $\sum^n_{j=1}u_j < 1$ and showed that the result agrees with the Density Conjecture. In this paper, we improve Rubinstein's result on computing the $n$-level density for the Fourier transform $\hat{f}…
In Iwaniec-Sarnak [IS] the percentages of nonvanishing of central values of families of GL_2 automorphic L-functions was investigated. In this paper we examine the distribution of zeros which are at or neat s=1/2 (that is the central point) for such families of L-functions. Unlike [IS], most of the results in this paper are conditional, depending on the Generalized Riemann Hypothesis (GRH). It is by no means obvious, but on the other hand not surprising, that this allows us to obtain sharper results on nonvanishing.
We show that if the zeros of an automorphic $L$-function are weighted by the central value of the $L$-function or a quadratic imaginary base change, then for certain families of holomorphic GL(2) newforms, it has the effect of changing the distribution type of low-lying zeros from orthogonal to symplectic, for test functions whose Fourier transforms have sufficiently restricted support. However, if the $L$-value is twisted by a nontrivial quadratic character, the distribution type remains orthogonal. The proofs involve two vertical equidistribution results for Hecke eigenvalues weighted by cen…
We study the $1$-level density of low-lying zeros of Dirichlet $L$-functions attached to real primitive characters of conductor at most $X$. Under the Generalized Riemann Hypothesis, we give an asymptotic expansion of this quantity in descending powers of $\log X$, which is valid when the support of the Fourier transform of the corresponding even test function $ϕ$ is contained in $(-2,2)$. We uncover a phase transition when the supremum $σ$ of the support of $\hat ϕ$ reaches $1$, both in the main term and in the lower order terms. A new lower order term appearing at $σ=1$ involves the quantity…
For a totally real number field $F$ and its adèle ring $\mathbb{A}_F$, let $π$ vary in the set of irreducible cuspidal automorphic representations of ${\rm PGL}_2(\mathbb{A}_F)$ corresponding to primitive Hilbert modular forms of a fixed weight. Then, we determine the symmetry type of the one-level density of low-lying zeros of the symmetric power $L$-functions $L(s,{\rm Sym}^r(π))$ weighted by special values of symmetric square $L$-functions $L(\frac{z+1}{2},{\rm Sym}^2(π))$ at $z \in [0, 1]$ in the level aspect. If $0 < z \le 1$, our weighted density in the level aspect has the same symmetry…
One of the most important statistics in studying the zeros of L-functions is the 1-level density, which measures the concentration of zeros near the central point. Fouvry and Iwaniec [FI] proved that the 1-level density for L-functions attached to imaginary quadratic fields agrees with results predicted by random matrix theory. In this paper, we show a similar agreement with random matrix theory occurring in more general sequences of number fields. We first show that the main term agrees with random matrix theory, and similar to all other families studied to date, is independent of the arithme…
We study low-lying zeros of $L$-functions attached to holomorphic cusp forms of level $1$ and large weight. In this family, the Katz--Sarnak heuristic with orthogonal symmetry type was established in the work of Iwaniec, Luo and Sarnak for test functions $ϕ$ satisfying the condition supp$(\widehat ϕ) \subset(-2,2)$. We refine their density result by uncovering lower-order terms that exhibit a sharp transition when the support of $\widehat ϕ$ reaches the point $1$. In particular the first of these terms involves the quantity $\widehat ϕ(1)$ which appeared in previous work of Fouvry--Iwaniec and…
We study the $1$- or $2$-level density of families of $L$-functions for Hecke--Maass forms over an imaginary quadratic field $F$. For test functions whose Fourier transform is supported in $\left(-\frac 32, \frac 32\right)$, we prove that the $1$-level density for Hecke--Maass forms over $F$ of square-free level $\mathfrak{q}$, as $\mathrm{N}(\mathfrak{q})$ tends to infinity, agrees with that of the orthogonal random matrix ensembles. For Hecke--Maass forms over $F$ of full level, we prove similar statements for the $1$- and $2$-level densities, as the Laplace eigenvalues tends to infinity.
We investigate the low-lying zeros in families of $L$-functions attached to quadratic and cubic twists of elliptic curves defined over $\mathbb{F}_q(T)$. In particular, we present precise expressions for the expected values of traces of high powers of the Frobenius class in these families with a focus on the lower order behavior. As an application we obtain results on one-level densities and we verify that these elliptic curve families have orthogonal symmetry type. In the quadratic twist families our results refine previous work of Comeau-Lapointe. Moreover, in this case we find a lower order…
In this paper, we obtain an unconditional density theorem concerning the low-lying zeros of Hasse-Weil L-functions for a family of elliptic curves. From this together with the Riemann hypothesis for these L-functions, we infer the majorant of 27/14 (which is strictly less than 2) for the average rank of the elliptic curves in the family under consideration. This upper bound for the average rank enables us to deduce that, under the same assumption, a positive proportion of elliptic curves have algebraic ranks equaling their analytic ranks and finite Tate-Shafarevic group. Statements of this fla…
Previous work by Rubinstein and Gao computed the n-level densities for families of quadratic Dirichlet L-functions for test functions where the sum of the supports of the Fourier transforms is at most 2, and showed agreement with random matrix theory predictions in this range for n < 4 but only in a restricted range for larger n. We extend these results and show agreement for n < 8, and reduce higher n to a Fourier transform identity. The proof involves adopting a new combinatorial perspective to convert all terms to a canonical form, which facilitates the comparison of the two sides.
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomorphic cusp forms agree with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions. We prove a similar result for level 1 cuspidal Maass forms, the other natural fami…
The Katz-Sarnak density conjecture states that the scaling limits of the distributions of zeros of families of automorphic $L$-functions agree with the scaling limits of eigenvalue distributions of classical subgroups of the unitary groups $U(N)$. This conjecture is often tested by way of computing particular statistics, such as the one-level density, which evaluates a test function with compactly supported Fourier transform at normalized zeros near the central point. Iwaniec, Luo, and Sarnak studied the one-level densities of cuspidal newforms of weight $k$ and level $N$. They showed in the l…
The statistics of low-lying zeros of quadratic Dirichlet L-functions were conjectured by Katz and Sarnak to be given by the scaling limit of eigenvalues from the unitary symplectic ensemble. The n-level densities were found to be in agreement with this in a certain neighborhood of the origin in the Fourier domain by Rubinstein in his Ph.D. thesis in 1998. An attempt to extend the neighborhood was made in the Ph.D. thesis of Peng Gao (2005), who under GRH gave the density as a complicated combinatorial factor, but it remained open whether it coincides with the Random Matrix Theory factor. For n…
Generalizing previous work of Iwaniec, Luo, and Sarnak (2000), we use information from one-level density theorems to estimate the proportion of non-vanishing of $L$-functions in a family at a low-lying height on the critical line (measured by the analytic conductor). To solve the Fourier optimization problems that arise, we provide a unified framework based on the theory of reproducing kernel Hilbert spaces of entire functions (there is one such space associated to each symmetry type). Explicit expressions for the reproducing kernels are given. We also revisit the problem of estimating the hei…
While Random Matrix Theory has successfully modeled many quantities of families of L-functions, it frequently cannot see the family's arithmetic. In some situations this requires an extended theory that inserts arithmetic factors depending on the family, while in other cases these factors result in contributions which vanish in the limit, and are thus not detected. We review the general theory associated to one of the most important statistics, the n-level density of zeros near the central point. According to the Katz-Sarnak density conjecture, to each family of L-functions there is a correspo…
From a family of L-functions with unitary symmetry, Hughes and Rudnick obtained results on the height of its lowest zero. We extend their results to other families of Lfunctions according to the type of symmetry coming from statistics for low-lying zeros.
The Katz-Sarnak philosophy predicts that statistics of zeros of families of L-functions are strikingly universal. However, subtle arithmetical differences between families of the same symmetry type can be detected by calculating lower-order terms of the statistics of interest. In this paper we calculate lower-order terms of the 1-level density of some families of elliptic curves. We show that there are essentially two different effects on the distribution of low-lying zeros. First, low-lying zeros are more numerous in families of elliptic curves E with relatively large numbers of points (mod p…
On the Density of Low Lying Zeros of a Large Family of Automorphic $L$-functions
University of Wisconsin（威斯康星大学）；Massachusetts Institute of Technology（麻省理工学院）；Princeton University（普林斯顿大学）；Williams College（威廉姆斯学院）；University of Cambridge（剑桥大学）
We show, for any $q\ge 3$ and distinct reduced residues $a,b \pmod q$, the existence of certain hypothetical sets of zeros of Dirichlet $L$-functions lying off the critical line implies that $π(x;q,a)<π(x;q,b)$ for a set of real $x$ of asymptotic density 1.
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agrees with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak proved that the behavior of zeros near the central point of holomorphic cusp forms agrees with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions $ϕ$. We prove similar results for families of cuspidal Maass forms, the other natural family…
We investigate the large weight (k --> oo) limiting statistics for the low lying zeros of a GL(4) and a GL(6) family of L-functions, {L(s,phi x f): f in H_k(1)} and {L(s,phi times sym^2 f): f in H_k(1)}; here phi is a fixed even Hecke-Maass cusp form and H_k(1) is a Hecke eigenbasis for the space H_k(1) of holomorphic cusp forms of weight k for the full modular group. Katz and Sarnak conjecture that the behavior of zeros near the central point should be well modeled by the behavior of eigenvalues near 1 of a classical compact group. By studying the 1- and 2-level densities, we find evidence of…
In this article, we count the number of consecutive zeros of the Epstein zeta-function, associated to a certain quadratic form, on the critical line with ordinates lying in $[0,T], T$ sufficiently large and which are separated apart by a given positive number $V$.
We provide a theoretical explanation for an observation of S. J. Miller that if L(s,E) is an elliptic curve L-function for which L(1/2, E) is nonzero, then the lowest lying zero of L(s,E) exhibits a repulsion from the critical point which is not explained by the standard Katz-Sarnak heuristics. We establish a similar result in the case of first-order vanishing.
We consider certain families of automorphic representations over number fields arising from the principle of functoriality of Langlands. Let $G$ be a reductive group over a number field $F$ which admits discrete series representations at infinity. Let $^{L}G=\hat G \rtimes \mathrm{Gal}(\bar F/F)$ be the associated $L$-group and $r:{}^L G\to \mathrm{GL}(d,\mathbb{C})$ a continuous homomorphism which is irreducible and does not factor through $\mathrm{Gal}(\bar F/F)$. The families under consideration consist of discrete automorphic representations of $G(\mathbb{A}_F)$ of given weight and level a…
We investigate the moments of a smooth counting function of the zeros near the central point of L-functions of weight k cuspidal newforms of prime level N. We split by the sign of the functional equations and show that for test functions whose Fourier transform is supported in (-1/n, 1/n), as N --> oo the first n centered moments are Gaussian. By extending the support to (-1/n-1, 1/n-1), we see non-Gaussian behavior; in particular the odd centered moments are non-zero for such test functions. If we do not split by sign, we obtain Gaussian behavior for support in (-2/n, 2/n) if 2k >= n. The nth…
We prove that all points of a toroidal compactification lying over 0-dimensional cusps are rationally equivalent in the integral Chow group for most classical modular varieties (Siegel, Hilbert, orthogonal, Hermitian, quaternionic). This gives a generalization, and even strengthening, of the Manin-Drinfeld theorem in higher dimension from the viewpoint of algebraic cycles. The same result no longer holds for Picard modular varieties, but for them we prove that the difference of any two "special" boundary points, which are dense in the boundary, is torsion.
