Showing 1–36 of 36 results for author: Bettin, S

On products of sets of natural density one

Authors: Sandro Bettin, Matteo Bordignon, Alessandro Fazzari

Abstract: In a previous work, Bettin, Koukoulopoulos, and Sanna prove that if two sets of natural numbers $A$ and $B$ have natural density $1$, then their product set $A \cdot B := \{ab : a \in A, b \in B\}$ also has natural density $1$. They also provide an effective rate and pose the question of determining the optimal rate. We make progress on this question by constructing a set $A$ of density 1 such tha… ▽ More In a previous work, Bettin, Koukoulopoulos, and Sanna prove that if two sets of natural numbers $A$ and $B$ have natural density $1$, then their product set $A \cdot B := \{ab : a \in A, b \in B\}$ also has natural density $1$. They also provide an effective rate and pose the question of determining the optimal rate. We make progress on this question by constructing a set $A$ of density 1 such that $A\cdot A$ has a ''large'' complement. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Comments: 12 pages, 1 figure

MSC Class: 11B05

On quantum modular forms of non-zero weights

Authors: Sandro Bettin, Sary Drappeau

Abstract: We study functions $f$ on $\mathbb Q$ which statisfy a ``quantum modularity'' relation of the shape $$ f(x+1)=f(x), \qquad f(x) - |x|^{-k} f(-1/x) = h(x) $$ where $h:\mathbb R_{\neq 0} \to \mathbb C$ is a function satisfying various regularity conditions. We study the case $\Re(k)\neq 0$. We prove the existence of a limiting function $f^*$ which extends continuously $f$ to $\mathbb R$ in som… ▽ More We study functions $f$ on $\mathbb Q$ which statisfy a ``quantum modularity'' relation of the shape $$ f(x+1)=f(x), \qquad f(x) - |x|^{-k} f(-1/x) = h(x) $$ where $h:\mathbb R_{\neq 0} \to \mathbb C$ is a function satisfying various regularity conditions. We study the case $\Re(k)\neq 0$. We prove the existence of a limiting function $f^*$ which extends continuously $f$ to $\mathbb R$ in some sense. This means in particular that in the $\Re(k)\neq0$ case the quantum modular form itself has to have at least a certain level of regularity. We deduce that the values $\{f(a/q), 1\leq a<q, (a, q)=1\}$, appropriately normalized, tend to equidistribute along the graph of $f^*$, and we prove that under natural hypotheses the limiting measure is diffuse. We apply these results to obtain limiting distributions of values and continuity results for several arithmetic functions known to satisfy the above quantum modularity: higher weight modular symbols associated to holomorphic cusp forms; Eichler integral associated to Maass forms; a function of Kontsevich and Zagier related to the Dedekind $η$-function; and generalized cotangent sums. △ Less

Submitted 24 October, 2022; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: 38 pages, 14 figures

MSC Class: 11F03 (Primary); 11A05; 11K50; 11F20; 11F67; 11F99 (Secondary)

A weighted one-level density of the non-trivial zeros of the Riemann zeta-function

Authors: Sandro Bettin, Alessandro Fazzari

Abstract: We compute the one-level density of the non-trivial zeros of the Riemann zeta-function weighted by $|ζ(\frac12+it)|^{2k}$ for $k=1$ and, for test functions with Fourier support in $(-\frac12,\frac12)$, for $k=2$. As a consequence, for $k=1,2$, we deduce under the Riemann hypothesis that $T(\log T)^{1-k^2+o(1)}$ non-trivial zeros of $ζ$, of imaginary parts up to $T$, are such that $ζ$ attains a val… ▽ More We compute the one-level density of the non-trivial zeros of the Riemann zeta-function weighted by $|ζ(\frac12+it)|^{2k}$ for $k=1$ and, for test functions with Fourier support in $(-\frac12,\frac12)$, for $k=2$. As a consequence, for $k=1,2$, we deduce under the Riemann hypothesis that $T(\log T)^{1-k^2+o(1)}$ non-trivial zeros of $ζ$, of imaginary parts up to $T$, are such that $ζ$ attains a value of size $(\log T)^{k+o(1)}$ at a point which is within $O(1/\log T)$ from the zero. △ Less

Submitted 17 August, 2022; originally announced August 2022.

MSC Class: Primary 11M06; Secondary 11M26

On the typical rank of elliptic curves over ${\mathbb Q}(T)$

Authors: Francesco Battistoni, Sandro Bettin, Christophe Delaunay

Abstract: We give upper bounds for the number of rational elliptic surfaces in some families having positive rank, obtaining in particular that these form a subset of density zero. This confirms Cowan's conjecture (arXiv:2009.08622v2) in the case $m,n\leq2$. We give upper bounds for the number of rational elliptic surfaces in some families having positive rank, obtaining in particular that these form a subset of density zero. This confirms Cowan's conjecture (arXiv:2009.08622v2) in the case $m,n\leq2$. △ Less

Submitted 29 March, 2022; v1 submitted 2 September, 2021; originally announced September 2021.

MSC Class: 11G05; 14G05

Ranks of elliptic curves over $\mathbb{Q}(T)$ of small degree in $T$

Authors: Francesco Battistoni, Sandro Bettin, Christophe Delaunay

Abstract: We study elliptic surfaces over $\mathbb{Q}(T)$ with coefficients of a Weierstrass model being polynomials in $\mathbb{Q}[T]$ with degree at most 2. We derive an explicit expression for their rank over $\mathbb{Q}(T)$ depending on the factorization and other simple properties of certain polynomials. Finally, we give sharp estimates for the ranks of the considered families and we present several ap… ▽ More We study elliptic surfaces over $\mathbb{Q}(T)$ with coefficients of a Weierstrass model being polynomials in $\mathbb{Q}[T]$ with degree at most 2. We derive an explicit expression for their rank over $\mathbb{Q}(T)$ depending on the factorization and other simple properties of certain polynomials. Finally, we give sharp estimates for the ranks of the considered families and we present several applications, among which there are lists of rational points, generic families with maximal rank and generalizations of former results. △ Less

Submitted 2 September, 2021; originally announced September 2021.

MSC Class: 11G05; 14G05

Effective estimation of some oscillatory integrals related to infinitely divisible distributions

Authors: Sandro Bettin, Sary Drappeau

Abstract: We present a practical framework to prove, in a simple way, two-terms asymptotic expansions for Fourier integrals $$ {\mathcal I}(t) = \int_{\mathbb R}({\rm e}^{itφ(x)}-1) {\rm d} μ(x) $$ where $μ$ is a probability measure on $\mathbb{R}$ and $φ$ is measurable. This applies to many basic cases, in link with Levy's continuity theorem. We present applications to limit laws related to rational contin… ▽ More We present a practical framework to prove, in a simple way, two-terms asymptotic expansions for Fourier integrals $$ {\mathcal I}(t) = \int_{\mathbb R}({\rm e}^{itφ(x)}-1) {\rm d} μ(x) $$ where $μ$ is a probability measure on $\mathbb{R}$ and $φ$ is measurable. This applies to many basic cases, in link with Levy's continuity theorem. We present applications to limit laws related to rational continued fractions coefficients. △ Less

Submitted 30 October, 2020; v1 submitted 29 October, 2020; originally announced October 2020.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1903.00457

MSC Class: 41A60 (Primary); 60E07; 60E10 (Secondary)

A note on the natural density of product sets

Authors: Sandro Bettin, Dimitris Koukoulopoulos, Carlo Sanna

Abstract: Given two sets of natural numbers $\mathcal{A}$ and $\mathcal{B}$ of natural density $1$ we prove that their product set $\mathcal{A}\cdot \mathcal{B}:=\{ab:a\in\mathcal{A},\,b\in\mathcal{B}\}$ also has natural density $1$. On the other hand, for any $\varepsilon>0$, we show there are sets $\mathcal{A}$ of density $>1-\varepsilon$ for which the product set $\mathcal{A}\cdot\mathcal{A}$ has density… ▽ More Given two sets of natural numbers $\mathcal{A}$ and $\mathcal{B}$ of natural density $1$ we prove that their product set $\mathcal{A}\cdot \mathcal{B}:=\{ab:a\in\mathcal{A},\,b\in\mathcal{B}\}$ also has natural density $1$. On the other hand, for any $\varepsilon>0$, we show there are sets $\mathcal{A}$ of density $>1-\varepsilon$ for which the product set $\mathcal{A}\cdot\mathcal{A}$ has density $<\varepsilon$. This answers two questions of Hegyvári, Hennecart and Pach. △ Less

Submitted 23 June, 2020; originally announced June 2020.

Comments: 6 pages

Two arithmetic applications of perturbations of composition operators

Authors: Sandro Bettin, Sary Drappeau

Abstract: We estimate the spectral radius of perturbations of a particular family of composition operators, in a setting where the usual choices of norms do not account for the typical size of the perturbation. We apply this to estimate the growth rate of large moments of a Thue-Morse generating function and of the Stern sequence. This answers in particular a question of Mauduit, Montgomery and Rivat (2018)… ▽ More We estimate the spectral radius of perturbations of a particular family of composition operators, in a setting where the usual choices of norms do not account for the typical size of the perturbation. We apply this to estimate the growth rate of large moments of a Thue-Morse generating function and of the Stern sequence. This answers in particular a question of Mauduit, Montgomery and Rivat (2018). △ Less

Submitted 26 February, 2020; originally announced February 2020.

Comments: 11 pages

MSC Class: Primary: 47A55; Secondary: 11B85

Averages of long Dirichlet polynomials

Authors: Sandro Bettin, J. Brian Conrey

Abstract: We consider the asymptotic behavior of the mean square of truncations of the Dirichlet series of $ζ(s)^k$. We discuss the connections of this problem with that of the variance of the divisor function in short intervals and in arithmetic progressions, reviewing the recent results on this topic. Finally, we show how these results can all be proved assuming a suitable version of the moments conjectur… ▽ More We consider the asymptotic behavior of the mean square of truncations of the Dirichlet series of $ζ(s)^k$. We discuss the connections of this problem with that of the variance of the divisor function in short intervals and in arithmetic progressions, reviewing the recent results on this topic. Finally, we show how these results can all be proved assuming a suitable version of the moments conjecture. △ Less

Submitted 22 June, 2020; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: 21 pages, 2 figures, minor modifications

MSC Class: Primary 11N37; Secondary 11M06; 11M50

Counting Egyptian fractions

Authors: Sandro Bettin, Loïc Grenié, Giuseppe Molteni, Carlo Sanna

Abstract: For any integer $N \geq 1$, let $\mathfrak{E}_N$ be the set of all Egyptian fractions employing denominators less than or equal to $N$. We give upper and lower bounds for the cardinality of $\mathfrak{E}_N$, proving that $$ \frac{N}{\log N} \prod_{j = 3}^{k} \log_j N<\log(\#\mathfrak{E}_N) < 0.421\, N, $$ for any fixed integer $k\geq 3$ and every sufficiently large $N$, where $\log_j x$ denotes th… ▽ More For any integer $N \geq 1$, let $\mathfrak{E}_N$ be the set of all Egyptian fractions employing denominators less than or equal to $N$. We give upper and lower bounds for the cardinality of $\mathfrak{E}_N$, proving that $$ \frac{N}{\log N} \prod_{j = 3}^{k} \log_j N<\log(\#\mathfrak{E}_N) < 0.421\, N, $$ for any fixed integer $k\geq 3$ and every sufficiently large $N$, where $\log_j x$ denotes the $j$-th iterated logarithm of $x$. △ Less

Submitted 17 July, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: 1 figure

MSC Class: 11D68 (Primary) 11B99 (Secondary)

Modularity and value distribution of quantum invariants of hyperbolic knots

Authors: Sandro Bettin, Sary Drappeau

Abstract: We obtain an exact modularity relation for the $q$-Pochhammer symbol. Using this formula, we show that Zagier's modularity conjecture for a knot $K$ essentially reduces to the arithmeticity conjecture for $K$. In particular, we show that Zagier's conjecture holds for hyperbolic knots $K\neq 7_2$ with at most seven crossings. For $K=4_1$, we also prove a complementary reciprocity formula which al… ▽ More We obtain an exact modularity relation for the $q$-Pochhammer symbol. Using this formula, we show that Zagier's modularity conjecture for a knot $K$ essentially reduces to the arithmeticity conjecture for $K$. In particular, we show that Zagier's conjecture holds for hyperbolic knots $K\neq 7_2$ with at most seven crossings. For $K=4_1$, we also prove a complementary reciprocity formula which allows us to prove a law of large numbers for the values of the colored Jones polynomials at roots of unity. We conjecture a similar formula holds for all knots and we show that this is the case if one assumes a suitable version of Zagier's conjecture. △ Less

Submitted 4 March, 2020; v1 submitted 6 May, 2019; originally announced May 2019.

Comments: 39 pages, 4 figures; some changes to the presentation

MSC Class: 11B65 (primary); 57M27; 11F03; 60F05 (secondary)

Partial sums of the cotangent function

Authors: Sandro Bettin, Sary Drappeau

Abstract: Nous prouvons l'existence de formules de réciprocité pour des sommes de la forme $\sum_{m=1}^{k-1} f(\frac{m}k) \cot(π\frac{mh}k)$, où $f$ est une fonction $C^1$ par morceaux, qui met en évidence un phénomène d'alternance qui n'apparaît pas dans le cas classique où $f(x) = x$. Nous déduisons des majorations de ces sommes en termes du développement en fraction continue de $h/k$. We prove the exis… ▽ More Nous prouvons l'existence de formules de réciprocité pour des sommes de la forme $\sum_{m=1}^{k-1} f(\frac{m}k) \cot(π\frac{mh}k)$, où $f$ est une fonction $C^1$ par morceaux, qui met en évidence un phénomène d'alternance qui n'apparaît pas dans le cas classique où $f(x) = x$. Nous déduisons des majorations de ces sommes en termes du développement en fraction continue de $h/k$. We prove the existence of reciprocity formulae for sums of the form $\sum_{m=1}^{k-1}f(\frac{m}{k})\cot(π\frac{m h}k)$ where $f$ is a piecewise $C^1$ function, featuring an alternating phenomenon not visible in the classical case where $f(x)=x$. We deduce bounds for these sums in terms of the continued fraction expansion of $h/k$. △ Less

Submitted 7 February, 2020; v1 submitted 6 May, 2019; originally announced May 2019.

MSC Class: 11L03 (primary); 11A55; 11M35 (secondary)

Journal ref: J. Théor. Nombres Bordx. 32, No. 1, 217-230 (2020)

Limit laws for rational continued fractions and value distribution of quantum modular forms

Authors: Sandro Bettin, Sary Drappeau

Abstract: We study the limiting distributions of Birkhoff sums of a large class of cost functions (observables) evaluated along orbits, under the Gauss map, of rational numbers in $(0,1]$ ordered by denominators. We show convergence to a stable law in a general setting, by proving an estimate with power-saving error term for the associated characteristic function. This extends results of Baladi and Vallée o… ▽ More We study the limiting distributions of Birkhoff sums of a large class of cost functions (observables) evaluated along orbits, under the Gauss map, of rational numbers in $(0,1]$ ordered by denominators. We show convergence to a stable law in a general setting, by proving an estimate with power-saving error term for the associated characteristic function. This extends results of Baladi and Vallée on Gaussian behaviour for costs of moderate growth. We apply our result to obtain the limiting distribution of values of several key examples of quantum modular forms. We show that central values of the Esterman function ($L$ function of the divisor function twisted by an additive character) tend to have a Gaussian distribution, with a large variance. We give a dynamical, "trace formula free" proof that central modular symbols associated with a holomorphic cusp form for $SL(2,{\bf Z})$ have a Gaussian distribution. We also recover a result of Vardi on the convergence of Dedekind sums to a Cauchy law, using dynamical methods. △ Less

Submitted 27 January, 2022; v1 submitted 1 March, 2019; originally announced March 2019.

MSC Class: 11A55 (Primary); 37C30; 11F03; 11F67; 60F05 (Secondary)

Mixed moments of characteristic polynomials of random unitary matrices

Authors: Emma C. Bailey, Sandro Bettin, Gordon Blower, J. Brian Conrey, Andrei Prokhorov, Michael O. Rubinstein, Nina C. Snaith

Abstract: Following the work of Conrey, Rubinstein and Snaith and Forrester and Witte we examine a mixed moment of the characteristic polynomial and its derivative for matrices from the unitary group U(N) (also known as the CUE) and relate the moment to the solution of a Painleve differential equation. We also calculate a simple form for the asymptotic behaviour of moments of logarithmic derivatives of thes… ▽ More Following the work of Conrey, Rubinstein and Snaith and Forrester and Witte we examine a mixed moment of the characteristic polynomial and its derivative for matrices from the unitary group U(N) (also known as the CUE) and relate the moment to the solution of a Painleve differential equation. We also calculate a simple form for the asymptotic behaviour of moments of logarithmic derivatives of these characteristic polynomials evaluated near the unit circle. △ Less

Submitted 22 January, 2019; originally announced January 2019.

MSC Class: 15A52; 11M06

A note on the dimension of the largest simple Hecke submodule

Authors: Sandro Bettin, Corentin Perret-Gentil, Maksym Radziwiłł

Abstract: For $k\ge 2$ even, let $d_{k,N}$ denote the dimension of the largest simple Hecke submodule of $S_{k}(Γ_0(N); \mathbb{Q})^\text{new}$. We show, using a simple analytic method, that $d_{k,N} \gg_k \log\log N / \log(2p)$ with $p$ the smallest prime co-prime to $N$. Previously, bounds of this quality were only known for $N$ in certain subsets of the primes. We also establish similar (and sometimes st… ▽ More For $k\ge 2$ even, let $d_{k,N}$ denote the dimension of the largest simple Hecke submodule of $S_{k}(Γ_0(N); \mathbb{Q})^\text{new}$. We show, using a simple analytic method, that $d_{k,N} \gg_k \log\log N / \log(2p)$ with $p$ the smallest prime co-prime to $N$. Previously, bounds of this quality were only known for $N$ in certain subsets of the primes. We also establish similar (and sometimes stronger) results concerning $S_{k}(Γ_0(N), χ)$, with $k \geq 2$ an integer and $χ$ an arbitrary nebentypus. △ Less

Submitted 17 December, 2018; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 11 pages

Small values of signed harmonic sums

Authors: Sandro Bettin, Giuseppe Molteni, Carlo Sanna

Abstract: For every $τ\in\mathbb{R}$ and every integer $N$, let $\mathfrak{m}_N(τ)$ be the minimum of the distance of $τ$ from the sums $\sum_{n=1}^N s_n/n$, where $s_1, \ldots, s_n \in \{-1, +1\}$. We prove that $\mathfrak{m}_N(τ) < \exp\!\big(-C(\log N)^2\big)$, for all sufficiently large positive integers $N$ (depending on $C$ and $τ$), where $C$ is any positive constant less than $1/\log 4$. For every $τ\in\mathbb{R}$ and every integer $N$, let $\mathfrak{m}_N(τ)$ be the minimum of the distance of $τ$ from the sums $\sum_{n=1}^N s_n/n$, where $s_1, \ldots, s_n \in \{-1, +1\}$. We prove that $\mathfrak{m}_N(τ) < \exp\!\big(-C(\log N)^2\big)$, for all sufficiently large positive integers $N$ (depending on $C$ and $τ$), where $C$ is any positive constant less than $1/\log 4$. △ Less

Submitted 12 November, 2018; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: minor corrections to the text, a small improvement to Proposition 2.7

MSC Class: 11D75; 11B99

Journal ref: C. R. Acad. Sci. Paris, Ser. I., 2018. Volume 356, Issues 11-12, 1062-1074

The power-saving Manin-Peyre's conjectures for a senary cubic

Authors: Sandro Bettin, Kevin Destagnol

Abstract: Using recent work of the first author~\cite{Bet}, we prove a strong version of the Manin-Peyre's conjectures with a full asymptotic and a power-saving error term for the two varieties respectively in $\mathbb{P}^2 \times \mathbb{P}^2$ with bihomogeneous coordinates $[x_1:x_2:x_3],[y_1:y_2,y_3]$ and in $\mathbb{P}^1\times \mathbb{P}^1 \times \mathbb{P}^1$ with multihomogeneous coordinates… ▽ More Using recent work of the first author~\cite{Bet}, we prove a strong version of the Manin-Peyre's conjectures with a full asymptotic and a power-saving error term for the two varieties respectively in $\mathbb{P}^2 \times \mathbb{P}^2$ with bihomogeneous coordinates $[x_1:x_2:x_3],[y_1:y_2,y_3]$ and in $\mathbb{P}^1\times \mathbb{P}^1 \times \mathbb{P}^1$ with multihomogeneous coordinates $[x_1:y_1],[x_2:y_2],[x_3:y_3]$ defined by the same equation $x_1y_2y_3+x_2y_1y_3+x_3y_1y_2=0$. We thus improve on recent work of Blomer, Brüdern and Salberger \cite{BBS} and provide a different proof based on a descent on the universal torsor of the conjectures in the case of a del Pezzo surface of degree 6 with singularity type $\mathbf{A}_1$ and three lines (the other existing proof relying on harmonic analysis \cite{CLT}). Together with~\cite{Blomer2014} or with recent work of the second author \cite{Dest2}, this settles the study of the Manin-Peyre's conjectures for this equation. △ Less

Submitted 9 May, 2018; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: 29 pages (title fixed)

MSC Class: 11D45; 11N37; 11M41

Journal ref: Mathematika 65 (2019) 789-830

Greedy approximations by signed harmonic sums and the Thue--Morse sequence

Authors: Sandro Bettin, Giuseppe Molteni, Carlo Sanna

Abstract: Given a real number $τ$, we study the approximation of $τ$ by signed harmonic sums $σ_N(τ) := \sum_{n \leq N}{s_n(τ)}/n$, where the sequence of signs $(s_N(τ))_{N \in\mathbb{N}}$ is defined "greedily" by setting $s_{N+1}(τ) := +1$ if $σ_N(τ) \leq τ$, and $s_{N+1}(τ) := -1$ otherwise. Precisely, we compute the limit points and the decay rate of the sequence $(σ_N(τ)-τ)_{N \in \mathbb{N}}$. Moreover… ▽ More Given a real number $τ$, we study the approximation of $τ$ by signed harmonic sums $σ_N(τ) := \sum_{n \leq N}{s_n(τ)}/n$, where the sequence of signs $(s_N(τ))_{N \in\mathbb{N}}$ is defined "greedily" by setting $s_{N+1}(τ) := +1$ if $σ_N(τ) \leq τ$, and $s_{N+1}(τ) := -1$ otherwise. Precisely, we compute the limit points and the decay rate of the sequence $(σ_N(τ)-τ)_{N \in \mathbb{N}}$. Moreover, we give an accurate description of the behavior of the sequence of signs $(s_N(τ))_{N\in\mathbb{N}}$, highlighting a surprising connection with the Thue--Morse sequence. △ Less

Submitted 22 February, 2020; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: 30 pages, 5 figures

MSC Class: 11J25 (Primary); 11B99 (Secondary)

Journal ref: Advances in Mathematics, Volume 366, 3 June 2020, 107068

On the non-vanishing of certain Dirichlet series

Authors: Sandro Bettin, Bruno Martin

Abstract: Given $k\in\mathbb N$, we study the vanishing of the Dirichlet series $$D_k(s,f):=\sum_{n\geq1} d_k(n)f(n)n^{-s}$$ at the point $s=1$, where $f$ is a periodic function modulo a prime $p$. We show that if $(k,p-1)=1$ or $(k,p-1)=2$ and $p\equiv 3\mod 4$, then there are no odd rational-valued functions $f\not\equiv 0$ such that $D_k(1,f)=0$, whereas in all other cases there are examples of odd funct… ▽ More Given $k\in\mathbb N$, we study the vanishing of the Dirichlet series $$D_k(s,f):=\sum_{n\geq1} d_k(n)f(n)n^{-s}$$ at the point $s=1$, where $f$ is a periodic function modulo a prime $p$. We show that if $(k,p-1)=1$ or $(k,p-1)=2$ and $p\equiv 3\mod 4$, then there are no odd rational-valued functions $f\not\equiv 0$ such that $D_k(1,f)=0$, whereas in all other cases there are examples of odd functions $f$ such that $D_k(1,f)=0$. As a consequence, we obtain, for example, that the set of values $L(1,χ)^2$, where $χ$ ranges over odd characters mod $p$, are linearly independent over $\mathbb Q$. △ Less

Submitted 26 April, 2017; originally announced April 2017.

Comments: 16 pages

MSC Class: 11M41; 11L03; 11M20 (primary); 11R18 (secondary)

Journal ref: Journal of Number Theory, Volume 180, November 2017, Pages 423-442

Statistical distribution of the Stern sequence

Authors: Sandro Bettin, Sary Drappeau, Lukas Spiegelhofer

Abstract: We prove that the Stern diatomic sequence is asymptotically distributed according to a normal law, on a logarithmic scale. This is obtained by studying complex moments, and the analytic properties of a transfer operator. We prove that the Stern diatomic sequence is asymptotically distributed according to a normal law, on a logarithmic scale. This is obtained by studying complex moments, and the analytic properties of a transfer operator. △ Less

Submitted 11 April, 2018; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: 13 pages

MSC Class: 11B83; 11B57 (Primary); 37C30; 37A45 (Secondary)

Journal ref: Comment. Math. Helv., 94 (2019), no. 2, pp. 241-271

A conjectural extension of Hecke's converse theorem

Authors: Sandro Bettin, Jonathan W. Bober, Andrew R. Booker, Brian Conrey, Min Lee, Giuseppe Molteni, Thomas Oliver, David J. Platt, Raphael S. Steiner

Abstract: We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses. We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses. △ Less

Submitted 27 September, 2017; v1 submitted 9 April, 2017; originally announced April 2017.

Comments: 21 pages, to appear in The Ramanujan Journal

A congruence sum and rational approximations

Authors: Sandro Bettin

Abstract: We give a reciprocity formula for a two-variable sum where the variables satisfy a linear congruence condition. We also prove that such sum is a measure of how well a rational is approximable from below and show that the reciprocity formula is a simple consequence of this fact. We give a reciprocity formula for a two-variable sum where the variables satisfy a linear congruence condition. We also prove that such sum is a measure of how well a rational is approximable from below and show that the reciprocity formula is a simple consequence of this fact. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 7 pages, 2 figures, to appear in Rend. Circ. Mat. Palermo, II. Ser

MSC Class: 11A55 (primary); 11A07; 11A15; 11N37; 11J70 (secondary)

Linear correlations of the divisor function

Authors: Sandro Bettin

Abstract: Motivated by arithmetic applications on the number of points in a bihomogeneous variety and on moments of Dirichlet $L$-functions, we provide analytic continuation for the series $\mathcal A_{\boldsymbol{a}}(s):=\sum_{n_1,\dots,n_k\geq1}\frac{d(n_1)\cdots d(n_k)}{(n_1\cdots n_k)^{s}}$ with the sum restricted to solutions of a non-trivial linear equation $a_1n_1+\cdots+a_kn_k=0$. The series… ▽ More Motivated by arithmetic applications on the number of points in a bihomogeneous variety and on moments of Dirichlet $L$-functions, we provide analytic continuation for the series $\mathcal A_{\boldsymbol{a}}(s):=\sum_{n_1,\dots,n_k\geq1}\frac{d(n_1)\cdots d(n_k)}{(n_1\cdots n_k)^{s}}$ with the sum restricted to solutions of a non-trivial linear equation $a_1n_1+\cdots+a_kn_k=0$. The series $\mathcal A_{\boldsymbol{a}}(s)$ converges absolutely for $\Re(s)>1-\frac1k$ and we show it can be meromorphically continued to $\Re(s)>1-\frac 2{k+1}$ with poles at $s=1-\frac1{k-j}$ only, for $1\leq j< (k-1)/2$. As an application, we obtain an asymptotic formula with power saving error term for the number of points in the variety $a_1x_1y_1+\cdots+a_kx_ky_k=0$ in $\mathbb P^{k-1}(\mathbb Q)\times \mathbb P^{k-1}(\mathbb Q)$. △ Less

Submitted 14 February, 2017; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: 49 pages

MSC Class: 11M41; 11N37; 11D72 (primary)

Journal ref: Acta Arithmetica 188 (2019) , 1-52

High moments of the Estermann function

Authors: Sandro Bettin

Abstract: For $a/q\in\mathbb{Q}$ the Estermann function is defined as $D(s,a/q):=\sum_{n\geq1}d(n)n^{-s}\operatorname{e}(n\frac aq)$ if $\Re(s)>1$ and by meromorphic continuation otherwise. For $q$ prime, we compute the moments of $D(s,a/q)$ at the central point $s=1/2$, when averaging over $1\leq a<q$. As a consequence we deduce the asymptotic for the iterated moment of Dirichlet $L$-functions… ▽ More For $a/q\in\mathbb{Q}$ the Estermann function is defined as $D(s,a/q):=\sum_{n\geq1}d(n)n^{-s}\operatorname{e}(n\frac aq)$ if $\Re(s)>1$ and by meromorphic continuation otherwise. For $q$ prime, we compute the moments of $D(s,a/q)$ at the central point $s=1/2$, when averaging over $1\leq a<q$. As a consequence we deduce the asymptotic for the iterated moment of Dirichlet $L$-functions $\sum_{χ_1,\dots,χ_k\mod q}|L(\frac12,χ_1)|^2\cdots |L(\frac12,χ_k)|^2|L(\frac12,χ_1\cdots χ_k)|^2$, obtaining a power saving error term. Also, we compute the moments of certain functions defined in terms of continued fractions. For example, writing $f_{\pm}(a/q):=\sum_{j=0}^r (\pm1)^jb_j$ where $[0;b_0,\dots,b_r]$ is the continued fraction expansion of $a/q$ we prove that for $k\geq2$ and $q$ primes one has $\sum_{a=1}^{q-1}f_{\pm}(a/q)^k\sim2 \frac{ζ(k)^2}{ζ(2k)} q^k$ as $q\to\infty$. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 57 pages

MSC Class: 11M06; 11M41; 11A55 (primary); 11N75; 11N75 (secondary)

Journal ref: Alg. Number Th. 13 (2019) 251-300

Non-isotrivial elliptic surfaces with non-zero average root number

Authors: Sandro Bettin, Chantal David, Christophe Delaunay

Abstract: We consider the problem of finding $1$-parameter families of elliptic curves whose root number does not average to zero as the parameter varies in $\mathbb{Z}$. We classify all such families when the degree of the coefficients (in the parameter $t$) is less than or equal to $2$ and we compute the rank over $\mathbb{Q}(t)$ of all these families. Also, we compute explicitly the average of the root n… ▽ More We consider the problem of finding $1$-parameter families of elliptic curves whose root number does not average to zero as the parameter varies in $\mathbb{Z}$. We classify all such families when the degree of the coefficients (in the parameter $t$) is less than or equal to $2$ and we compute the rank over $\mathbb{Q}(t)$ of all these families. Also, we compute explicitly the average of the root numbers for some of these families highlighting some special cases. Finally, we prove some results on the possible values average root numbers can take, showing for example that all rational number in $[-1,1]$ are average root numbers for some $1$-parameter family. △ Less

Submitted 11 June, 2018; v1 submitted 9 December, 2016; originally announced December 2016.

Comments: 60 pages, title changed

MSC Class: 11G05; 11G40

A quadratic divisor problem and moments of the Riemann zeta-function

Authors: Sandro Bettin, H. M. Bui, Xiannan Li, Maksym Radziwiłł

Abstract: We estimate asymptotically the fourth moment of the Riemann zeta-function twisted by a Dirichlet polynomial of length $T^{\frac14 - \varepsilon}$. Our work relies crucially on Watt's theorem on averages of Kloosterman fractions. In the context of the twisted fourth moment, Watt's result is an optimal replacement for Selberg's eigenvalue conjecture. Our work extends the previous result of Hughes… ▽ More We estimate asymptotically the fourth moment of the Riemann zeta-function twisted by a Dirichlet polynomial of length $T^{\frac14 - \varepsilon}$. Our work relies crucially on Watt's theorem on averages of Kloosterman fractions. In the context of the twisted fourth moment, Watt's result is an optimal replacement for Selberg's eigenvalue conjecture. Our work extends the previous result of Hughes and Young, where Dirichlet polynomials of length $T^{\frac{1}{11}-\varepsilon}$ were considered. Our result has several applications, among others to the proportion of critical zeros of the Riemann zeta-function, zero spacing and lower bounds for moments. Along the way we obtain an asymptotic formula for a quadratic divisor problem, where the condition $a m_1 m_2 - b n_1 n_2 = h$ is summed with smooth averaging on the variables $m_1, m_2, n_1, n_2, h$ and arbitrary weights in the average on $a,b$. Using Watt's work allows us to exploit all averages simultaneously. It turns out that averaging over $m_1, m_2, n_1, n_2, h$ right away in the quadratic divisor problem simplifies considerably the combinatorics of the main terms in the twisted fourth moment. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 27 pages

MSC Class: 11M06; 11M26

On the reciprocity law for the twisted second moment of Dirichlet $L$-functions

Authors: Sandro Bettin

Abstract: We investigate the reciprocity law, studied by Conrey~\cite{Con07} and Young~\cite{You11a}, for the second moment of Dirichlet L-functions twisted by $χ(a)$ modulo a prime $q$. We show that the error term in this reciprocity law can be extended to a continuous function of $a/q$ with respect to the real topology. Furthermore, we extend this reciprocity result, proving an exact formula involving als… ▽ More We investigate the reciprocity law, studied by Conrey~\cite{Con07} and Young~\cite{You11a}, for the second moment of Dirichlet L-functions twisted by $χ(a)$ modulo a prime $q$. We show that the error term in this reciprocity law can be extended to a continuous function of $a/q$ with respect to the real topology. Furthermore, we extend this reciprocity result, proving an exact formula involving also shifted moments. We also give an expression for the twisted second moment involving the coefficients of the continued fraction expansion of $a/q$, and, consequently, we improve upon a classical result of Selberg on the second moment of Dirichlet L-functions with two twists. Finally, we obtain a formula connecting the shifted second moment of the Dirichlet $L$-functions with the Estermann function. In particular cases, this result can be used to obtain some simple explicit exact formulae for the moments. △ Less

Submitted 19 July, 2016; originally announced July 2016.

Comments: 23 pages, 5 figures

MSC Class: 11M06 (primary); 11M41; 11A55 (secondary)

Journal ref: Trans. Amer. Math. Soc. 368 (2016), 6887-6914

The first moment of twisted Hecke $L$-functions with unbounded shifts

Authors: Sandro Bettin

Abstract: We compute the first moment of twisted Hecke $L$-functions of prime power level going to infinity, uniformly in the conductor of the twist and in the vertical shift. We compute the first moment of twisted Hecke $L$-functions of prime power level going to infinity, uniformly in the conductor of the twist and in the vertical shift. △ Less

Submitted 9 May, 2016; originally announced May 2016.

Comments: 8 pages

MSC Class: 11M41; 11F11

Journal ref: Funct. Approx. Comment. Math. Volume 57, Number 1 (2017), 105-114

The $θ=\infty$ conjecture implies the Riemann hypothesis

Authors: Sandro Bettin, Steven M. Gonek

Abstract: We show that the $θ=\infty$ conjecture implies the Riemann hypothesis. We show that the $θ=\infty$ conjecture implies the Riemann hypothesis. △ Less

Submitted 10 April, 2016; originally announced April 2016.

Comments: 4 pages. To appear in Mathematika

MSC Class: 11M06; 11M26

Journal ref: Mathematika, volume 63 (2017), issue 01, pp. 29-33

Trilinear forms with Kloosterman fractions

Authors: Sandro Bettin, Vorrapan Chandee

Abstract: We give new bounds for $\sum_{a, m ,n}α_{m}β_nν_a {\textrm e}\left(\frac{a\overline m}{n}\right)$ where $α_{m}$, $β_n$ and $ν_a$ are arbitrary coefficients, improving upon a result of Duke, Friedlander and Iwaniec [DFI97]. We also apply these bounds to problems on representations by determinant equations and on the equidistribution of solutions to linear equations. We give new bounds for $\sum_{a, m ,n}α_{m}β_nν_a {\textrm e}\left(\frac{a\overline m}{n}\right)$ where $α_{m}$, $β_n$ and $ν_a$ are arbitrary coefficients, improving upon a result of Duke, Friedlander and Iwaniec [DFI97]. We also apply these bounds to problems on representations by determinant equations and on the equidistribution of solutions to linear equations. △ Less

Submitted 3 February, 2015; originally announced February 2015.

MSC Class: 11M06; 11M26

Journal ref: Advances in Mathematics, Volume 328, 13 April 2018, Pages 1234-1262

The mean square of the product of $ζ(s)$ with Dirichlet polynomials

Authors: Sandro Bettin, Vorrapan Chandee, Maksym Radziwill

Abstract: Improving earlier work of Balasubramanian, Conrey and Heath-Brown, we obtain an asymptotic formula for the mean-square of the Riemann zeta-function times an arbitrary Dirichlet polynomial of length $T^{1/2 + δ}$, with $δ= 0.01515....$ As an application we obtain an upper bound of the correct order of magnitude for the third moment of the Riemann zeta-function. We also refine previous work of Desho… ▽ More Improving earlier work of Balasubramanian, Conrey and Heath-Brown, we obtain an asymptotic formula for the mean-square of the Riemann zeta-function times an arbitrary Dirichlet polynomial of length $T^{1/2 + δ}$, with $δ= 0.01515....$ As an application we obtain an upper bound of the correct order of magnitude for the third moment of the Riemann zeta-function. We also refine previous work of Deshouillers and Iwaniec, obtaining asymptotic estimates in place of bounds. Using the work of Watt, we compute the mean-square of the Riemann zeta-function times a Dirichlet polynomial of length going up to $T^{3/4}$ provided that the Dirichlet polynomial assumes a special shape. Finally, we exhibit a conjectural estimate for trilinear sums of Kloosterman fractions which implies the Lindelof Hypothesis. △ Less

Submitted 28 November, 2014; originally announced November 2014.

Comments: To appear in J. Reine Angew. Math

On the distribution of a cotangent sum

Authors: Sandro Bettin

Abstract: Maier and Rassias computed the moments and proved a distribution result for the cotangent sum $c_0(a/q):=-\sum_{m<q}\frac mq\cot(\frac{πma}{q})$ on average over $1/2<A_0\leq a/q<A_1<1$, as $q\rightarrow \infty$. We give a simple argument that recovers their results (with stronger error terms) and extends them to the full range $1\leq a<q$. Moreover, we give a density result for $c_0$ and answer a… ▽ More Maier and Rassias computed the moments and proved a distribution result for the cotangent sum $c_0(a/q):=-\sum_{m<q}\frac mq\cot(\frac{πma}{q})$ on average over $1/2<A_0\leq a/q<A_1<1$, as $q\rightarrow \infty$. We give a simple argument that recovers their results (with stronger error terms) and extends them to the full range $1\leq a<q$. Moreover, we give a density result for $c_0$ and answer a question posed by Maier and Rassias on the growth of the moments of $c_0$. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: 10 pages, 2 figures

MSC Class: 11L03 (primary); 11M06; 11A55; 11M41 (secondary)

Journal ref: Int Math Res Notices (2015) 2015 (21): 11419-11432

A Recursion Formula for Moments of Derivatives of Random Matrix Polynomials

Authors: S. Ali Altug, Sandro Bettin, Ian Petrow, Rishikesh, Ian Whitehead

Abstract: We give asymptotic formulae for random matrix averages of derivatives of characteristic polynomials over the groups USp(2N), SO(2N) and O^-(2N). These averages are used to predict the asymptotic formulae for moments of derivatives of L-functions which arise in number theory. Each formula gives the leading constant of the asymptotic in terms of determinants of hypergeometric functions. We find a di… ▽ More We give asymptotic formulae for random matrix averages of derivatives of characteristic polynomials over the groups USp(2N), SO(2N) and O^-(2N). These averages are used to predict the asymptotic formulae for moments of derivatives of L-functions which arise in number theory. Each formula gives the leading constant of the asymptotic in terms of determinants of hypergeometric functions. We find a differential recurrence relation between these determinants which allows the rapid computation of the (k+1)-st constant in terms of the k-th and (k-1)-st. This recurrence is reminiscent of a Toda lattice equation arising in the theory of τ-functions associated with Painlevé differential equations. △ Less

Submitted 6 December, 2012; originally announced December 2012.

Journal ref: Quarterly Journal of Mathematics, 65,1111-1125, 2014

An optimal choice of Dirichlet polynomials for the Nyman-Beurling criterion

Authors: Sandro Bettin, J. Brian Conrey, David W. Farmer

Abstract: We give a conditional result on the constant in the Báez-Duarte reformulation of the Nyman-Beurling criterion for the Riemann Hypothesis. We show that assuming the Riemann hypothesis and that $\sum_ρ\frac{1}{|ζ'(ρ)|^2}\ll T^{3/2-δ}$, for some $δ>0$, the value of this constant coincides with the lower bound given by Burnol. We give a conditional result on the constant in the Báez-Duarte reformulation of the Nyman-Beurling criterion for the Riemann Hypothesis. We show that assuming the Riemann hypothesis and that $\sum_ρ\frac{1}{|ζ'(ρ)|^2}\ll T^{3/2-δ}$, for some $δ>0$, the value of this constant coincides with the lower bound given by Burnol. △ Less

Submitted 21 November, 2012; originally announced November 2012.

Comments: 9 pages

MSC Class: 11M26

Journal ref: Mathematics and Informatics, 1, Dedicated to 75th Anniversary of Anatolii Alekseevich Karatsuba, Sovrem. Probl. Mat., 16, Steklov Math. Inst., 2012, 38-44

Period functions and cotangent sums

Authors: Sandro Bettin, Brian Conrey

Abstract: We investigate the period function of $\sum_{n=1}^\inftyσ_a(n)\e{nz}$, showing it can be analytically continued to $|\arg z|<π$ and studying its Taylor series. We use these results to give a simple proof of the Voronoi formula and to prove an exact formula for the second moments of the Riemann zeta function. Moreover, we introduce a family of cotangent sums, functions defined over the rationals, t… ▽ More We investigate the period function of $\sum_{n=1}^\inftyσ_a(n)\e{nz}$, showing it can be analytically continued to $|\arg z|<π$ and studying its Taylor series. We use these results to give a simple proof of the Voronoi formula and to prove an exact formula for the second moments of the Riemann zeta function. Moreover, we introduce a family of cotangent sums, functions defined over the rationals, that generalize the Dedekind sum and share with it the property of satisfying a reciprocity formula. In particular, we find a reciprocity formula for the Vasyunin sum. △ Less

Submitted 31 January, 2013; v1 submitted 3 November, 2011; originally announced November 2011.

Comments: 32 pages, 5 figures, revised version. To appear in Algebra & Number Theory

MSC Class: 11M06; 11M41; 11L99 (Secondary)

Journal ref: Algebra & Number Theory 7 (2013), no. 1, 215-242

The second shifted moment of the Riemann zeta function

Authors: Sandro Bettin

Abstract: We prove an asymptotic formula for the second moment (up to height $T$) of the Riemann zeta function with two shifts. The case we deal with is where the real parts of the shifts are very close to zero and the imaginary parts can grow up to $T^{2-ε}$, for any $ε>0.$ We prove an asymptotic formula for the second moment (up to height $T$) of the Riemann zeta function with two shifts. The case we deal with is where the real parts of the shifts are very close to zero and the imaginary parts can grow up to $T^{2-ε}$, for any $ε>0.$ △ Less

Submitted 3 November, 2011; originally announced November 2011.

Comments: 10 pages

MSC Class: 11M06

Journal ref: Int. J. Number Theory 6 (2010), no. 8, 1933--1944