-
One-level densities in families of Grössencharakters associated to CM elliptic curves
Authors:
Chantal David,
Lucile Devin,
Ezra Waxman
Abstract:
We study the low-lying zeros of a family of $L$-functions attached to the CM elliptic curves $E_d \;:\; y^2 = x^3 - dx$, for each odd and square-free integer $d$. Writing the $L$-function of $E_d$ as $L(s-\frac12, ξ_d)$ for the appropriate Grössencharakter $ξ_d$ of conductor $\mathfrak{f}_d$, the family $\mathcal{F}_d$ is defined as the family of $L$-functions attached to the Grössencharakters…
▽ More
We study the low-lying zeros of a family of $L$-functions attached to the CM elliptic curves $E_d \;:\; y^2 = x^3 - dx$, for each odd and square-free integer $d$. Writing the $L$-function of $E_d$ as $L(s-\frac12, ξ_d)$ for the appropriate Grössencharakter $ξ_d$ of conductor $\mathfrak{f}_d$, the family $\mathcal{F}_d$ is defined as the family of $L$-functions attached to the Grössencharakters $ξ_{d,k}$, where for each integer $k \geq 1$, $ξ_{d, k}$ denotes the primitive character inducing $ξ_d^k$. We observe that $25\%$ of the functions in $\mathcal{F}_d$ have negative root number. This makes the symmetry type of the family (unitary, symplectic or orthogonal) somewhat mysterious, as none of the symmetry types would lead to this proportion. We give an asymptotic expression for the one-level density in the family of $L$-functions in $\mathcal{F}_{d}$ with conductor at most $K^2 \mathrm{N} (\mathfrak{f}_d)$, and find that $\mathcal{F}_d$ breaks down into two natural subfamilies; namely, a symplectic family ($L(s, ξ_{d,k})$ for $k$ even) and an orthogonal family ($L(s, ξ_{d,k})$ for $k$ odd). For $k$ odd, $\mathcal{F}_d$ is in fact a subfamily of the automorphic forms of fixed level $4 \mathrm{N} (\mathfrak{f}_d )$, and even weight $k+1$, and this larger family also has orthogonal symmetry. Finally, we compute explicit lower order terms in decreasing powers of $\log (K^2 \mathrm{N} (\mathfrak{f}_d) )$ for each case.
△ Less
Submitted 16 July, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Exceptional biases in counting primes over functions fields
Authors:
Alexandre Bailleul,
Lucile Devin,
Daniel Keliher,
Wanlin Li
Abstract:
We study how often exceptional configurations of irreducible polynomials over finite fields occur in the context of prime number races and Chebyshev's bias. In particular, we show that three types of biases, which we call "complete bias", "lower order bias" and "reversed bias", occur with probability going to zero among the family of all squarefree monic polynomials of a given degree in…
▽ More
We study how often exceptional configurations of irreducible polynomials over finite fields occur in the context of prime number races and Chebyshev's bias. In particular, we show that three types of biases, which we call "complete bias", "lower order bias" and "reversed bias", occur with probability going to zero among the family of all squarefree monic polynomials of a given degree in $\mathbb{F}_q[x]$ as $q$, a power of a fixed prime, goes to infinity. The bounds given improve on a previous result of Kowalski, who studied a similar question along particular $1$-parameter families of reducible polynomials. The tools used are the large sieve for Frobenius developed by Kowalski, an improvement of it due to Perret-Gentil and considerations from the theory of linear recurrence sequences and arithmetic geometry.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
Extending the unconditional support in an Iwaniec-Luo-Sarnak family
Authors:
Lucile Devin,
Daniel Fiorilli,
Anders Södergren
Abstract:
We study the harmonically weighted one-level density of low-lying zeros of $L$-functions in the family of holomorpic newforms of fixed even weight $k$ and prime level $N$ tending to infinity. For this family, Iwaniec, Luo and Sarnak proved that the Katz--Sarnak prediction for the one-level density holds unconditionally when the support of the Fourier transform of the implied test function is conta…
▽ More
We study the harmonically weighted one-level density of low-lying zeros of $L$-functions in the family of holomorpic newforms of fixed even weight $k$ and prime level $N$ tending to infinity. For this family, Iwaniec, Luo and Sarnak proved that the Katz--Sarnak prediction for the one-level density holds unconditionally when the support of the Fourier transform of the implied test function is contained in $(-\tfrac32,\tfrac32)$. In this paper, we extend this admissible support to $(-Θ_k,Θ_k)$, where $Θ_2 = 1.866\dots$ and $Θ_k$ tends monotonically to $2$ as $k$ tends to infinity. This is asymptotically as good as the best known GRH result. The main novelty in our analysis is the use of zero-density estimates for Dirichlet $L$-functions.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Lemke Oliver and Soundararajan bias for consecutive sums of two squares
Authors:
Chantal David,
Lucile Devin,
Jungbae Nam,
Jeremy Schlitt
Abstract:
In a surprising recent work, Lemke Oliver and Soundararajan noticed how experimental data exhibits erratic distributions for consecutive pairs of primes in arithmetic progressions, and proposed a heuristic model based on the Hardy--Littlewood conjectures containing a large secondary term, which fits the data very well. In this paper, we study consecutive pairs of sums of squares in arithmetic prog…
▽ More
In a surprising recent work, Lemke Oliver and Soundararajan noticed how experimental data exhibits erratic distributions for consecutive pairs of primes in arithmetic progressions, and proposed a heuristic model based on the Hardy--Littlewood conjectures containing a large secondary term, which fits the data very well. In this paper, we study consecutive pairs of sums of squares in arithmetic progressions, and develop a similar heuristic model based on the Hardy--Littlewood conjecture for sums of squares, which also explain the biases in the experimental data. In the process, we prove several results related to averages of the Hardy--Littlewood constant in the context of sums of two squares.
△ Less
Submitted 8 June, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Discrepancies in the distribution of Gaussian primes
Authors:
Lucile Devin
Abstract:
Motivated by questions of Fouvry and Rudnick on the distribution of Gaussian primes, we develop a very general setting in which one can study inequities in the distribution of analogues of primes through analytic properties of infinitely many $L$-functions. In particular, we give a heuristic argument for the following claim : for more than half of the prime numbers that can be written as a sum of…
▽ More
Motivated by questions of Fouvry and Rudnick on the distribution of Gaussian primes, we develop a very general setting in which one can study inequities in the distribution of analogues of primes through analytic properties of infinitely many $L$-functions. In particular, we give a heuristic argument for the following claim : for more than half of the prime numbers that can be written as a sum of two square, the odd square is the square of a positive integer congruent to $1 \bmod 4$.
△ Less
Submitted 13 September, 2021; v1 submitted 6 May, 2021;
originally announced May 2021.
-
Low-lying zeros in families of holomorphic cusp forms: the weight aspect
Authors:
Lucile Devin,
Daniel Fiorilli,
Anders Södergren
Abstract:
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 shar…
▽ More
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 Rudnick in symplectic families. Our approach involves a careful analysis of the Petersson formula and circumvents the assumption of GRH for $\text{GL}(2)$ automorphic $L$-functions. Finally, when supp$(\widehat φ)\subset (-1,1)$ we obtain an unconditional estimate which is significantly more precise than the prediction of the $L$-functions Ratios Conjecture.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
Limiting properties of the distribution of primes in an arbitrarily large number of residue classes
Authors:
Lucile Devin
Abstract:
We generalize current known distribution results on Shanks--Rényi prime number races to the case where arbitrarily many residue classes are involved. Our method handles both the classical case that goes back to Chebyshev and function field analogues developed in the recent years. More precisely, let $π(x;q,a)$ be the number of primes up to $x$ that are congruent to $a$ modulo $q$. For a fixed inte…
▽ More
We generalize current known distribution results on Shanks--Rényi prime number races to the case where arbitrarily many residue classes are involved. Our method handles both the classical case that goes back to Chebyshev and function field analogues developed in the recent years. More precisely, let $π(x;q,a)$ be the number of primes up to $x$ that are congruent to $a$ modulo $q$. For a fixed integer $q$ and distinct invertible congruence classes $a_0,a_1,\ldots,a_D$, assuming the generalized Riemann Hypothesis and a weak version of the linear independence hypothesis, we show that the set of $x$ real for which the inequalities $π(x;q,a_0)>π(x;q,a_1)> \ldots >π(x;q,a_D)$ are simultaneously satisfied admits a logarithmic density.
△ Less
Submitted 14 October, 2019; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Chebyshev's bias for products of irreducible polynomials
Authors:
Lucile Devin,
Xianchang Meng
Abstract:
For any $k\geq 1$, this paper studies the number of polynomials having $k$ irreducible factors (counted with or without multiplicities) in $\mathbf{F}_q[t]$ among different arithmetic progressions. We obtain asymptotic formulas for the difference of counting functions uniformly for $k$ in a certain range. In the generic case, the bias dissipates as the degree of the modulus or $k$ gets large, but…
▽ More
For any $k\geq 1$, this paper studies the number of polynomials having $k$ irreducible factors (counted with or without multiplicities) in $\mathbf{F}_q[t]$ among different arithmetic progressions. We obtain asymptotic formulas for the difference of counting functions uniformly for $k$ in a certain range. In the generic case, the bias dissipates as the degree of the modulus or $k$ gets large, but there are cases when the bias is extreme. In contrast to the case of products of $k$ prime numbers, we show the existence of complete biases in the function field setting, that is the difference function may have constant sign. Several examples illustrate this new phenomenon.
△ Less
Submitted 10 January, 2020; v1 submitted 25 September, 2018;
originally announced September 2018.
-
Chebyshev's bias for analytic L-functions
Authors:
Lucile Devin
Abstract:
In this paper we discuss the generalizations of the concept of Chebyshev's bias from two perspectives. First we give a general framework for the study of prime number races and Chebyshev's bias attached to general $L$-functions satisfying natural analytic hypotheses. This extends the cases previously considered by several authors and involving, among others, Dirichlet $L$-functions and Hasse--Weil…
▽ More
In this paper we discuss the generalizations of the concept of Chebyshev's bias from two perspectives. First we give a general framework for the study of prime number races and Chebyshev's bias attached to general $L$-functions satisfying natural analytic hypotheses. This extends the cases previously considered by several authors and involving, among others, Dirichlet $L$-functions and Hasse--Weil $L$-functions of elliptic curves over $\mathbf{Q}$. This also apply to new Chebyshev's bias phenomena that were beyond the reach of the previously known cases. In addition we weaken the required hypotheses such as GRH or linear independence properties of zeros of $L$-functions. In particular we establish the existence of the logarithmic density of the set $\lbrace x\geq 2 : \sum_{p\leq x} λ_{f}(p) \geq 0 \rbrace$ for coefficients $(λ_{f}(p))$ of general $L$-functions conditionally on a much weaker hypothesis than was previously known.
△ Less
Submitted 26 April, 2018; v1 submitted 20 June, 2017;
originally announced June 2017.
-
On the congruence class modulo prime numbers of the number of rational points of a variety
Authors:
Lucile Devin
Abstract:
Let $X$ be a scheme of finite type over $\mathbf{Z}$. For $p \in \mathcal{P}$ the set of prime numbers, let $N_{X}(p)$ be the number of $\mathbf{F}_{p}$-points of $X/\mathbf{F}_{p}$. For fixed $n\geq 1$ and $a_{1}, \ldots, a_{n} \in \mathbf{Z}$, we study the set $\bigcap_{i=1}^{n}\lbrace p\in\mathcal{P}-Σ_{X}, N_{X}(p)\neq a_{i}\ [\bmod\ p]\rbrace$ where $Σ_{X}$ is the finite set of primes of bad…
▽ More
Let $X$ be a scheme of finite type over $\mathbf{Z}$. For $p \in \mathcal{P}$ the set of prime numbers, let $N_{X}(p)$ be the number of $\mathbf{F}_{p}$-points of $X/\mathbf{F}_{p}$. For fixed $n\geq 1$ and $a_{1}, \ldots, a_{n} \in \mathbf{Z}$, we study the set $\bigcap_{i=1}^{n}\lbrace p\in\mathcal{P}-Σ_{X}, N_{X}(p)\neq a_{i}\ [\bmod\ p]\rbrace$ where $Σ_{X}$ is the finite set of primes of bad reduction for $X$. In case $\dim X\leq 3$, we show the set is either empty or has positive lower-density. We also address the question of the size of the smallest prime in that set. Using sieve methods, we obtain for example an upper bound for the size of the least prime of $\lbrace p\in\mathcal{P}, p\nmid N_{X}(p)\rbrace$ on average in particular families of hyperelliptic curves.
△ Less
Submitted 2 October, 2016; v1 submitted 11 January, 2016;
originally announced January 2016.
