Source author record

Daniel Fiorilli

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.PR

Catalog footprint

Research overview

18works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Omega results for cubic field counts via lower-order terms in the one-level density

In this paper we obtain a precise formula for the $1$ -level density of $L$ -functions attached to non-Galois cubic Dedekind zeta functions. We find a secondary term which is unique to this context, in the sense that no lower-order term of this shape has appeared in previously studied families. The presence of this new term allows us to deduce an omega result for cubic field counting functions, under the assumption of the Generalized Riemann Hypothesis. We also investigate the associated $L$ -functions Ratios Conjecture, and find that it does not predict this new lower-order term. Taking into account the secondary term in Roberts' Conjecture, we refine the Ratios Conjecture to one which captures this new term. Finally, we show that any improvement in the exponent of the error term of the recent Bhargava--Taniguchi--Thorne cubic field counting estimate would imply that the best possible error term in the refined Ratios Conjecture is $O_\varepsilon(X^{-\frac 13+\varepsilon})$ . This is in opposition with all previously studied families, in which the expected error in the Ratios Conjecture prediction for the $1$ -level density is $O_\varepsilon(X^{-\frac 12+\varepsilon})$ .

preprint2022arXiv

Unconditional Chebyshev biases in number fields

Prime counting functions are believed to exhibit, in various contexts, discrepancies beyond what famous equidistribution results predict; this phenomenon is known as Chebyshev's bias. Rubinstein and Sarnak have developed a framework which allows to conditionally quantify biases in the distribution of primes in general arithmetic progressions. Their analysis has been generalized by Ng to the context of the Chebotarev density theorem, under the assumption of the Artin holomorphy conjecture, the Generalized Riemann Hypothesis, as well as a linear independence hypothesis on the zeros of Artin $L$ -functions. In this paper we show unconditionally the occurrence of extreme biases in this context. These biases lie far beyond what the strongest effective forms of the Chebotarev density theorem can predict. More precisely, we prove the existence of an infinite family of Galois extensions and associated conjugacy classes $C_1,C_2\subset {\rm Gal}(L/K)$ of same size such that the number of prime ideals of norm up to $x$ with Frobenius conjugacy class $C_1$ always exceeds that of Frobenius conjugacy class $C_2$ , for every large enough $x$ . A key argument in our proof relies on features of certain subgroups of symmetric groups which enable us to circumvent the need for unproven properties of zeros of Artin $L$ -functions.

preprint2020arXiv

A disproof of Hooley's conjecture

Define $G(x;q)$ to be the variance of primes $p\le x$ in the arithmetic progressions modulo $q$ , weighted by $\log p$ . Hooley conjectured that as soon as $q$ tends to infinity and $x\ge q$ , we have the upper bound $G(x;q) \ll x \log q$ . In this paper we show that the upper bound does not hold in general, and that $G(x;q)$ can be asymptotically as large as $x (\log q+\log\log\log x)^2/4$ .

preprint2020arXiv

On a conjecture of Montgomery and Soundararajan

We establish lower bounds for all weighted even moments of primes up to $X$ in intervals which are in agreement with a conjecture of Montgomery and Soundararajan. Our bounds hold unconditionally for an unbounded set of values of $X$ , and hold for all $X$ under the Riemann Hypothesis. We also deduce new unconditional $Ω$ -results for the classical prime counting function.

preprint2019arXiv

Low-lying zeros in families of holomorphic cusp forms: the weight aspect

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.

preprint2016arXiv

Major arcs and moments of arithmetical sequences

We give estimates for the first two moments of arithmetical sequences in progressions. Instead of using the standard approximation, we work with a generalization of Vaughan's major arcs approximation which is similar to that appearing in earlier work of Browning and Heath-Brown on norm forms. We apply our results to the sequence $τ_k(n)$ , and obtain unconditional results in a wide range of moduli.

preprint2015arXiv

Entiers friables dans des progressions arithmétiques de grand module

We study the average error term in the usual approximation to the number of $y$ -friable integers congruent to $a$ modulo $q$ , where $a\neq 0$ is a fixed integer. We show that in the range $\exp\{(\log\log x)^{5/3+\varepsilon}\} \leq y \leq x$ and on average over $q\leq x/M$ with $M\rightarrow \infty$ of moderate size, this average error term is asymptotic to $-|a|Ψ(x/|a|,y)/2x$ . Previous results of this sort were obtained by the second author for reasonably dense sequences, however the sequence of $y$ -friable integers studied in the current paper is thin, and required the use of different techniques, which are specific to friable integers.

preprint2015arXiv

On Vaughan's approximation: The first moment

We investigate the first moment of the difference between $ψ(x;q,a)$ and Vaughan's approximation, in a certain range of $q$ . We show that this last approximation is significantly more precise than the classical $x/ϕ(q)$ , and that it captures the discrepancies of the distribution of primes in arithmetic progressions found in an earlier paper of the author.

preprint2015arXiv

Prime number races for elliptic curves over function fields

We study the prime number race for elliptic curves over the function field of a proper, smooth and geometrically connected curve over a finite field. This constitutes a function field analogue of prior work by Mazur, Sarnak and the second author. In this geometric setting we can prove unconditional results whose counterparts in the number field case are conditional on a Riemann Hypothesis and a linear independence hypothesis on the zeros of the implied L-functions. Notably we show that in certain natural families of elliptic curves, the bias generically dissipates as the conductor grows. This is achieved by proving a central limit theorem and combining it with generic linear independence results that will appear in a separate paper. Also we study in detail a particular family of elliptic curves that have been considered by Ulmer. In contrast to the generic case we show that the race exhibits very diverse outcomes, some of which are believed to be impossible in the number field setting. Such behaviors are possible in the function field case because the zeros of Hasse-Weil L-functions for those elliptic curves can be proven to be highly dependent among themselves, which is a very non generic situation.

preprint2014arXiv

Low-lying zeros of elliptic curve L-functions: Beyond the ratios conjecture

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.

preprint2014arXiv

On the non-vanishing of Dirichlet $L$ -functions at the central point

We investigate the consequences of natural conjectures of Montgomery type on the non-vanishing of Dirichlet $L$ -functions at the central point. We first justify these conjectures using probabilistic arguments. We then show using a result of Bombieri, Friedlander and Iwaniec and a result of the author that they imply that almost all Dirichlet $L$ -functions do not vanish at the central point. We also deduce a quantitative upper bound for the proportion of Dirichlet $L$ -functions for which $L(\frac 12,χ)=0$ .

preprint2014arXiv

Surpassing the Ratios Conjecture in the 1-level density of Dirichlet $L$ -functions

We study the $1$ -level density of low-lying zeros of Dirichlet $L$ -functions in the family of all characters modulo $q$ , with $Q/2 < q\leq Q$ . For test functions whose Fourier transform is supported in $(-3/2, 3/2)$ , we calculate this quantity beyond the square-root cancellation expansion arising from the $L$ -function Ratios Conjecture of Conrey, Farmer and Zirnbauer. We discover the existence of a new lower-order term which is not predicted by this powerful conjecture. This is the first family where the 1-level density is determined well enough to see a term which is not predicted by the Ratios Conjecture, and proves that the exponent of the error term $Q^{-\frac 12 +ε}$ in the Ratios Conjecture is best possible. We also give more precise results when the support of the Fourier Transform of the test function is restricted to the interval $[-1,1]$ . Finally we show how natural conjectures on the distribution of primes in arithmetic progressions allow one to extend the support. The most powerful conjecture is Montgomery's, which implies that the Ratios Conjecture's prediction holds for any finite support up to an error $Q^{-\frac 12 +ε}$ .

preprint2013arXiv

Elliptic curves of unbounded rank and Chebyshev's bias

We establish a conditional equivalence between quantitative unboundedness of the analytic rank of elliptic curves over $\mathbb Q$ and the existence of highly biased elliptic curve prime number races. We show that conditionally on a Riemann Hypothesis and on a hypothesis on the multiplicity of the zeros of $L(E,s)$ , large analytic ranks translate into an extreme Chebyshev bias. Conversely, we show under a certain linear independence hypothesis on zeros of $L(E,s)$ that if highly biased elliptic curve prime number races do exist, then the Riemann Hypothesis holds for infinitely many elliptic curve $L$ -functions and there exist elliptic curves of arbitrarily large rank.

preprint2013arXiv

The distribution of the variance of primes in arithmetic progressions

Hooley conjectured that the variance V(x;q) of the distribution of primes up to x in the arithmetic progressions modulo q is asymptotically x log q, in some unspecified range of q\leq x. On average over 1\leq q \leq Q, this conjecture is known unconditionally in the range x/(log x)^A \leq Q \leq x; this last range can be improved to x^{\frac 12+ε} \leq Q \leq x under the Generalized Riemann Hypothesis (GRH). We argue that Hooley's conjecture should hold down to (loglog x)^{1+o(1)} \leq q \leq x for all values of q, and that this range is best possible. We show under GRH and a linear independence hypothesis on the zeros of Dirichlet L-functions that for moderate values of q, ϕ(q)e^{-y}V(e^y;q) has the same distribution as that of a certain random variable of mean asymptotically ϕ(q) log q and of variance asymptotically 2ϕ(q)(log q)^2. Our estimates on the large deviations of this random variable allow us to predict the range of validity of Hooley's Conjecture.

preprint2012arXiv

Highly biased prime number races

Chebyshev observed in a letter to Fuss that there tends to be more primes of the form $4n+3$ than of the form $4n+1$ . The general phenomenon, which is referred to as Chebyshev's bias, is that primes tend to be biased in their distribution among the different residue classes $\bmod q$ . It is known that this phenomenon has a strong relation with the low-lying zeros of the associated $L$ -functions, that is if these $L$ -functions have zeros close to the real line, then it will result in a lower bias. According to this principle one might believe that the most biased prime number race we will ever find is the Li $(x)$ versus $π(x)$ race, since the Riemann zeta function is the $L$ -function of rank one having the highest first zero. This race has density 0.99999973..., and we study the question of whether this is the highest possible density. We will show that it is not the case, in fact there exists prime number races whose density can be arbitrarily close to 1. An example of race whose density exceeds the above number is the race between quadratic residues and non-residues modulo 4849845, for which the density is 0.999999928... We also give fairly general criteria to decide whether a prime number race is highly biased or not. Our main result depends on the General Riemann Hypothesis and on a hypothesis on the multiplicity of the zeros of a certain Dedekind zeta function. We also derive more precise results under a linear independence hypothesis.

preprint2011arXiv

Inequities in the Shanks-Renyi Prime Number Race: An asymptotic formula for the densities

Chebyshev was the first to observe a bias in the distribution of primes in residue classes. The general phenomenon is that if $a$ is a nonsquare\mod q and $b$ is a square\mod q, then there tend to be more primes congruent to $a\mod q$ than $b\mod q$ in initial intervals of the positive integers; more succinctly, there is a tendency for $π(x;q,a)$ to exceed $π(x;q,b)$ . Rubinstein and Sarnak defined $δ(q;a,b)$ to be the logarithmic density of the set of positive real numbers $x$ for which this inequality holds; intuitively, $δ(q;a,b)$ is the "probability" that $π(x;q,a) > π(x;q,b)$ when $x$ is "chosen randomly". In this paper, we establish an asymptotic series for $δ(q;a,b)$ that can be instantiated with an error term smaller than any negative power of $q$ . This asymptotic formula is written in terms of a variance $V(q;a,b)$ that is originally defined as an infinite sum over all nontrivial zeros of Dirichlet $L$ -functions corresponding to characters\mod q; we show how $V(q;a,b)$ can be evaluated exactly as a finite expression. In addition to providing the exact rate at which $δ(q;a,b)$ converges to $\frac12$ as $q$ grows, these evaluations allow us to compare the various density values $δ(q;a,b)$ as $a$ and $b$ vary modulo $q$ ; by analyzing the resulting formulas, we can explain and predict which of these densities will be larger or smaller, based on arithmetic properties of the residue classes $a$ and $b\mod q$ . For example, we show that if $a$ is a prime power and $a'$ is not, then $δ(q;a,1) < δ(q;a',1)$ for all but finitely many moduli $q$ for which both $a$ and $a'$ are nonsquares. Finally, we establish rigorous numerical bounds for these densities $δ(q;a,b)$ and report on extensive calculations of them.

preprint2011arXiv

On a theorem of Bombieri, Friedlander and Iwaniec

In this article, we show to which extent one can improve a theorem of Bombieri, Friedlander and Iwaniec by using Hooley's variant of the divisor switching technique. We also give an application of the theorem in question, which is a Bombieri-Vinogradov type theorem for the Tichmarsh divisor problem in arithmetic progressions.

preprint2011arXiv

The influence of the first term of an arithmetic progression

The goal of this article is to study the discrepancy of the distribution of arithmetic sequences in arithmetic progressions. We will fix a sequence $\A=\{\a(n)\}_{n\geq 1}$ of non-negative real numbers in a certain class of arithmetic sequences. For a fixed integer $a\neq 0$ , we will be interested in the behaviour of $\A$ over the arithmetic progressions $a \bmod q$ , on average over $q$ . Our main result is that for certain sequences of arithmetic interest, the value of $a$ has a significant influence on this distribution, even after removing the first term of the progressions.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Daniel Fiorilli

Research overview

Is this your work?

18 publications

Omega results for cubic field counts via lower-order terms in the one-level density

Unconditional Chebyshev biases in number fields

A disproof of Hooley's conjecture

On a conjecture of Montgomery and Soundararajan

Low-lying zeros in families of holomorphic cusp forms: the weight aspect

Major arcs and moments of arithmetical sequences

Entiers friables dans des progressions arithmétiques de grand module

On Vaughan's approximation: The first moment

Prime number races for elliptic curves over function fields

Low-lying zeros of elliptic curve L-functions: Beyond the ratios conjecture

On the non-vanishing of Dirichlet $L$ -functions at the central point

Surpassing the Ratios Conjecture in the 1-level density of Dirichlet $L$ -functions

Elliptic curves of unbounded rank and Chebyshev's bias

The distribution of the variance of primes in arithmetic progressions

Highly biased prime number races

Inequities in the Shanks-Renyi Prime Number Race: An asymptotic formula for the densities

On a theorem of Bombieri, Friedlander and Iwaniec

The influence of the first term of an arithmetic progression

See the researcher in context

Building this map preview

Daniel Fiorilli

Research overview

Is this your work?

18 publications

Omega results for cubic field counts via lower-order terms in the one-level density

Unconditional Chebyshev biases in number fields

A disproof of Hooley's conjecture

On a conjecture of Montgomery and Soundararajan

Low-lying zeros in families of holomorphic cusp forms: the weight aspect

Major arcs and moments of arithmetical sequences

Entiers friables dans des progressions arithmétiques de grand module

On Vaughan's approximation: The first moment

Prime number races for elliptic curves over function fields

Low-lying zeros of elliptic curve L-functions: Beyond the ratios conjecture

On the non-vanishing of Dirichlet LLL-functions at the central point

Surpassing the Ratios Conjecture in the 1-level density of Dirichlet LLL-functions

Elliptic curves of unbounded rank and Chebyshev's bias

The distribution of the variance of primes in arithmetic progressions

Highly biased prime number races

Inequities in the Shanks-Renyi Prime Number Race: An asymptotic formula for the densities

On a theorem of Bombieri, Friedlander and Iwaniec

The influence of the first term of an arithmetic progression

See the researcher in context

Building this map preview

On the non-vanishing of Dirichlet $L$ -functions at the central point

Surpassing the Ratios Conjecture in the 1-level density of Dirichlet $L$ -functions