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.
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…
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}…
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…
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.
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.
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.
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…
In this paper, we obtain asymptotic formulas for weighted first moments of central values of families of primitive quadratic Dirichlet $L$-functions whose conductors comprise only primes that split in a given quadratic number field. We then deduce a non-vanishing result of these $L$-functions at the point $s=1/2$.
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…
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…
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.
We find an upper bound for the sum $\sum_{x<n\leq 2x}\textbf{1}_{\mathbb{P}}(n+h_{i_{1}})\cdots\textbf{1}_{\mathbb{P}}(n+h_{i_{m+1}})w_{n}$, where $(h_{i_{1}},...,h_{i_{m+1}})$ is any $(m+1)$-tuple of elements in the admissible set $\mathcal{H}=\{h_{1},...,h_{k}\}$, $m\geq 1$ and $x$ is sufficiently large, with the same weights $w_{n}$ used in the Maynard's paper "Dense clusters of primes in subsets". The estimate will be uniform over positive integer $k$ with $m+1\leq k\leq (\log x)^{1/5}$ and on admissible set $\mathcal{H}$ with $0\leq h_{1}<...<h_{k}\leq x$. The upper bound will depend on a…
We show that affine coordinate subspaces of dimension at least two in Euclidean space are of Khintchine type for divergence. For affine coordinate subspaces of dimension one, we prove a result which depends on the dual Diophantine type of the base point of the subspace. These results provide evidence for the conjecture that all affine subspaces of Euclidean space are of Khintchine type for divergence. We also prove a partial analogue regarding the Hausdorff measure theory. Furthermore, we obtain various results relating weighted Diophantine approximation and Dirichlet improvability. In particu…
In this article, we study the logarithm of the central value $L\left(\frac{1}{2}, χ_D\right)$ in the symplectic family of Dirichlet $L$-functions associated with the hyperelliptic curve of genus $δ$ over a fixed finite field $\mathbb{F}_q$ in the limit as $δ\to \infty$. Unconditionally, we show that the distribution of $\log \big|L\left(\frac{1}{2}, χ_D\right)\big|$ is asymptotically bounded above by the Gaussian distribution of mean $\frac{1}{2}\log °(D)$ and variance $\log °(D)$. Assuming a mild condition on the distribution of the low-lying zeros in this family, we obtain the full Gaussian …
In this paper and its sequel \cite{DPP}, we investigate the precise relationship between the quadratic affine Weyl group multiple Dirichlet series in the sense of \cite{CG1, BD}, and those defined axiomatically by Whitehead \cite{White2} and \cite{White1}. In particular, we show that the axiomatic quadratic Weyl group multiple Dirichlet series of type $D_{\scriptscriptstyle 4}^{\scriptscriptstyle (1)}$ over rational function fields of odd characteristic admits meromorphic continuation to the interior of the corresponding complexified Tits cone. We shall also determine the polar divisor of this…
On the Mean Value of a Weighted Composite Arithmetic Function
FIMA Laboratory, Department of Mathematics, Faculty of Matter Sciences and Computer Sciences, University of Khemis Miliana (UDBKM), Algeria(费马实验室,数学系,物质科学与计算机科学学院,赫米斯米利亚纳大学)
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…
We obtain an asymptotic formula for the smoothly weighted first moment of primitive quadratic Dirichlet L-functions at the central point, with an error term that is "square-root" of the main term. Our approach uses a recursive technique that feeds the result back into itself, successively improving the error term.
We continue our examination the effects of certain hypothetical configurations of zeros of Dirichlet $L$-functions lying off the critical line ("barriers") on the relative magnitude of the functions $π_{q,a}(x)$. Here $π_{q,a}(x)$ is the number of primes $\le x$ in the progression $a \mod q$. In particular, we construct barriers so that $π_{q,1}(x)$ is simultaneously greater than, or simultaneously less than, each of $k$ functions $π_{q,a_i}(x)$ ($1\le i\le k$). We also construct barriers so that only a small number of the $r!$ possible orderings of functions $π_{q,a_i}(x)$ ($1\le i\le r$) occ…
Random matrix theory has successfully modeled many systems in physics and mathematics, and often the analysis and results in one area guide development in the other. Hughes and Rudnick computed $1$-level density statistics for low-lying zeros of the family of primitive Dirichlet $L$-functions of fixed prime conductor $Q$, as $Q \to \infty$, and verified the unitary symmetry predicted by random matrix theory. We compute $1$- and $2$-level statistics of the analogous family of Dirichlet $L$-functions over $\mathbb{F}_q(T)$. Whereas the Hughes-Rudnick results were restricted by the support of the…
Let D be a square-free polynomial in F_q[t], where q is odd, and let G be a genus of definite ternary lattices over F_q[t] of determinant D. In this paper we give self-contained and relatively elementary proofs of Siegel's formulas for the weighted sum of primitive representations numbers over the classes of G and for the mass of G. Our proof of the mass formula shows an interesting relation with certain averages of Dirichlet L-functions.
Following the development of weighted asymptotic approximation properties of matrices, we introduce the analogous uniform approximation properties (that is, study the improvability of Dirichlet's Theorem). An added feature is the use of general norms, rather than the supremum norm, to quantify the approximation. In terms of homogeneous dynamics, the approximation properties of an $m \times n$ matrix are governed by a trajectory in $\mathrm{SL}_{m+n}({\mathbb R})/\mathrm{SL}_{m+n}({\mathbb Z})$ avoiding a compact subset of the space of lattices called the critical locus defined with respect to …
Suppose X is a (smooth projective irreducible algebraic) curve over a finite field k. Counting the number of points on X over all finite field extensions of k will not determine the curve uniquely. Actually, a famous theorem of Tate implies that two such curves over k have the same zeta function (i.e., the same number of points over all extensions of k) if and only if their corresponding Jacobians are isogenous. We remedy this situation by showing that if, instead of just the zeta function, all Dirichlet L-series of the two curves are equal via an isomorphism of their Dirichlet character group…