-
Gap distribution of $\sqrt{n} \,\mathrm{mod}\, 1$ and the circle method
Authors:
Maksym Radziwiłł,
Niclas Technau
Abstract:
The distribution of the properly renormalized gaps of $\sqrt{n} \,\mathrm{mod}\, 1$ with $n < N$ converges (when $N\rightarrow \infty$) to a non-standard limit distribution, as Elkies and McMullen proved in 2004 using techniques from homogeneous dynamics. In this paper we give an essentially self-contained proof based on the circle method. Our main innovation consists in showing that a new type of…
▽ More
The distribution of the properly renormalized gaps of $\sqrt{n} \,\mathrm{mod}\, 1$ with $n < N$ converges (when $N\rightarrow \infty$) to a non-standard limit distribution, as Elkies and McMullen proved in 2004 using techniques from homogeneous dynamics. In this paper we give an essentially self-contained proof based on the circle method. Our main innovation consists in showing that a new type of correlation functions of $\sqrt{n} \,\mathrm{mod}\, 1$ converge. To define these correlation functions we restrict, smoothly, to those $\sqrt{n} \,\mathrm{mod}\, 1$ that lie in minor arcs, i.e. away from rational numbers with small denominators.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Conditional lower bounds on the distribution of central values in families of $L$-functions
Authors:
Maksym Radziwiłł,
Kannan Soundararajan
Abstract:
We establish a general principle that any lower bound on the non-vanishing of central $L$-values obtained through studying the one-level density of low-lying zeros can be refined to show that most such $L$-values have the typical size conjectured by Keating and Snaith. We illustrate this technique in the case of quadratic twists of a given elliptic curve, and similar results would hold for the man…
▽ More
We establish a general principle that any lower bound on the non-vanishing of central $L$-values obtained through studying the one-level density of low-lying zeros can be refined to show that most such $L$-values have the typical size conjectured by Keating and Snaith. We illustrate this technique in the case of quadratic twists of a given elliptic curve, and similar results would hold for the many examples studied by Iwaniec, Luo, and Sarnak in their pioneering work on $1$-level densities.
△ Less
Submitted 31 July, 2023;
originally announced August 2023.
-
The eighth moment of Dirichlet L-functions II
Authors:
Vorrapan Chandee,
Xiannan Li,
Kaisa Matomäki,
Maksym Radziwiłł
Abstract:
We prove an asymptotic formula for the eighth moment of Dirichlet $L$-functions averaged over primitive characters $χ$ modulo $q$, over all moduli $q\leq Q$ and with a short average on the critical line. Previously the same result was shown conditionally on the Generalized Riemann Hypothesis by the first two authors.
We prove an asymptotic formula for the eighth moment of Dirichlet $L$-functions averaged over primitive characters $χ$ modulo $q$, over all moduli $q\leq Q$ and with a short average on the critical line. Previously the same result was shown conditionally on the Generalized Riemann Hypothesis by the first two authors.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
$L^1$ means of exponential sums with multiplicative coefficients. I
Authors:
Mayank Pandey,
Maksym Radziwiłł
Abstract:
We show that the $L^1$ norm of an exponential sum of length $X$ and with coefficients equal to the Liouville or Möbius function is at least $\gg_{\varepsilon} X^{1/4 - \varepsilon}$ for any given $\varepsilon$.
For the Liouville function this improves on the lower bound $\gg X^{c/\log\log X}$ due to Balog and Perelli (1998). For the Möbius function this improves the lower bound $\gg X^{1/6}$ due…
▽ More
We show that the $L^1$ norm of an exponential sum of length $X$ and with coefficients equal to the Liouville or Möbius function is at least $\gg_{\varepsilon} X^{1/4 - \varepsilon}$ for any given $\varepsilon$.
For the Liouville function this improves on the lower bound $\gg X^{c/\log\log X}$ due to Balog and Perelli (1998). For the Möbius function this improves the lower bound $\gg X^{1/6}$ due to Balog and Ruzsa (2001). The large discrepancy between these lower bounds is due to the method employed by Balog and Ruzsa, as it crucially relies on the vanishing of $μ(n)$. Instead our proof puts the two cases on an equal footing by exploiting the connection of these coefficients with zeros of Dirichlet $L$-functions. In the second paper in this series we will obtain a lower bound $\gg X^δ$ for some small $δ$ but for general (non-pretentious) multiplicative functions.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
The Fyodorov-Hiary-Keating Conjecture. II
Authors:
Louis-Pierre Arguin,
Paul Bourgade,
Maksym Radziwiłł
Abstract:
We prove a lower bound on the maximum of the Riemann zeta function in a typical short interval on the critical line. Together with the upper bound from the previous work of the authors, this implies tightness of $$ \max_{|h|\leq 1}|ζ(\tfrac 12+{\rm i} τ+{\rm i} h)|\cdot \frac{(\log\log T)^{3/4}}{\log T}, $$ for large $T$, where $τ$ is uniformly distributed on $[T,2T]$. The techniques are also appl…
▽ More
We prove a lower bound on the maximum of the Riemann zeta function in a typical short interval on the critical line. Together with the upper bound from the previous work of the authors, this implies tightness of $$ \max_{|h|\leq 1}|ζ(\tfrac 12+{\rm i} τ+{\rm i} h)|\cdot \frac{(\log\log T)^{3/4}}{\log T}, $$ for large $T$, where $τ$ is uniformly distributed on $[T,2T]$. The techniques are also applied to bound the right tail of the maximum, proving the distributional decay $\asymp y e^{-2y}$ for $y$ positive. This confirms the Fyodorov-Hiary-Keating conjecture, which states that the maximum of $ζ$ in short intervals lies in the universality class of logarithmically correlated fields.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Non-vanishing of twists of $\text{GL}_4(\mathbb{A}_{\mathbb{Q}})$ $L$-functions
Authors:
Maksym Radziwiłł,
Liyang Yang
Abstract:
Let $π$ be a unitary cuspidal automorphic representation of $\text{GL}_{4}(\mathbb{A}_{\mathbb{Q}})$. Let $f \geq 1$ be given. We show that there exists infinitely many primitive even (resp. odd) Dirichlet characters $χ$ with conductor co-prime to $f$ such that $L(s, π\otimes χ)$ is non-vanishing at the central point.
Our result has applications for the construction of $p$-adic $L$-functions for…
▽ More
Let $π$ be a unitary cuspidal automorphic representation of $\text{GL}_{4}(\mathbb{A}_{\mathbb{Q}})$. Let $f \geq 1$ be given. We show that there exists infinitely many primitive even (resp. odd) Dirichlet characters $χ$ with conductor co-prime to $f$ such that $L(s, π\otimes χ)$ is non-vanishing at the central point.
Our result has applications for the construction of $p$-adic $L$-functions for $\text{GSp}_{4}$ following Loeffler-Pilloni-Skinner-Zerbes, the Bloch-Kato conjecture and the Birch-Swinnerton-Dyer conjecture for abelian surfaces following Loeffler-Zerbes, strong multiplicity one results for paramodular cuspidal representations of $\text{GSp}_{4}(\mathbb{A}_{\mathbb{Q}})$ and the rationality of the central values of $\text{GSp}_{4}(\mathbb{A}_{\mathbb{Q}})$ $L$-functions in the remaining non-regular weight case.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Poissonian pair correlation for $αn^θ$
Authors:
Maksym Radziwiłł,
Andrei Shubin
Abstract:
We show that sequences of the form $αn^θ \pmod{1}$ with $α> 0$ and $0 < θ< \tfrac{43}{117} = \tfrac{1}{3} + 0.0341 \ldots$ have Poissonian pair correlation. This improves upon the previous result by Lutsko, Sourmelidis, and Technau, where this was established for $α> 0$ and $0 < θ< \tfrac{14}{41} = \tfrac{1}{3} + 0.0081 \ldots$.
We reduce the problem of establishing Poissonian pair correlation t…
▽ More
We show that sequences of the form $αn^θ \pmod{1}$ with $α> 0$ and $0 < θ< \tfrac{43}{117} = \tfrac{1}{3} + 0.0341 \ldots$ have Poissonian pair correlation. This improves upon the previous result by Lutsko, Sourmelidis, and Technau, where this was established for $α> 0$ and $0 < θ< \tfrac{14}{41} = \tfrac{1}{3} + 0.0081 \ldots$.
We reduce the problem of establishing Poissonian pair correlation to a counting problem using a form of amplification and the Bombieri-Iwaniec double large sieve. The counting problem is then resolved non-optimally by appealing to the bounds of Robert-Sargos and (Fouvry-Iwaniec-)Cao-Zhai. The exponent $θ= \tfrac{2}{5}$ is the limit of our approach.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Bias in cubic Gauss sums: Patterson's conjecture
Authors:
Alexander Dunn,
Maksym Radziwiłł
Abstract:
Let $W$ be a smooth test function with compact support in $(0,\infty)$. Conditional on the Generalized Riemann Hypothesis for Hecke $L$-functions over $\mathbb{Q}(ω)$, we prove that…
▽ More
Let $W$ be a smooth test function with compact support in $(0,\infty)$. Conditional on the Generalized Riemann Hypothesis for Hecke $L$-functions over $\mathbb{Q}(ω)$, we prove that $$\sum_{p \equiv 1 \pmod{3}} \frac{1}{2 \sqrt{p}} \cdot \Big ( \sum_{x \pmod{p}} e^{2πi x^3 / p} \Big ) W \Big ( \frac{p}{X} \Big ) \sim \frac{(2π)^{2/3}}{3 Γ(\tfrac 23)} \int_{0}^{\infty} W(x) x^{-1/6} dx \cdot \frac{X^{5/6}}{\log X},$$ as $X \rightarrow \infty$ and $p$ runs over primes. This explains a well-known numerical bias in the distribution of cubic Gauss sums first observed by Kummer in 1846 and confirms (conditionally on the Generalized Riemann Hypothesis) a conjecture of Patterson from 1978.
There are two important byproducts of our proof. The first is an explicit level aspect Voronoi summation formula for cubic Gauss sums, extending computations of Patterson and Yoshimoto. Secondly, we show that Heath-Brown's cubic large sieve is sharp up to factors of $X^{o(1)}$ under the Generalized Riemann Hypothesis. This disproves the popular belief that the cubic large sieve can be improved.
An important ingredient in our proof is a dispersion estimate for cubic Gauss sums. It can be interpreted as a cubic large sieve with correction by a non-trivial asymptotic main term. This estimate relies on the Generalized Riemann Hypothesis, and is one of the fundamental reasons why our result is conditional.
△ Less
Submitted 14 May, 2024; v1 submitted 15 September, 2021;
originally announced September 2021.
-
Small gaps in the spectrum of tori: asymptotic formulae
Authors:
Valentin Blomer,
Maksym Radziwiłł
Abstract:
We establish an asymptotic formula, uniformly down to the Planck scale, for the number of small gaps between the first N eigenvalues of the Laplacian on almost all flat tori and also on almost all rectangular flat tori.
We establish an asymptotic formula, uniformly down to the Planck scale, for the number of small gaps between the first N eigenvalues of the Laplacian on almost all flat tori and also on almost all rectangular flat tori.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
Singmaster's conjecture in the interior of Pascal's triangle
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Xuancheng Shao,
Terence Tao,
Joni Teräväinen
Abstract:
Singmaster's conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal's triangle; that is, for any natural number $t \geq 2$, the number of solutions to the equation $\binom{n}{m} = t$ for natural numbers $1 \leq m < n$ is bounded. In this paper we establish this result in the interior region…
▽ More
Singmaster's conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal's triangle; that is, for any natural number $t \geq 2$, the number of solutions to the equation $\binom{n}{m} = t$ for natural numbers $1 \leq m < n$ is bounded. In this paper we establish this result in the interior region $\exp(\log^{2/3+\varepsilon} n) \leq m \leq n-\exp(\log^{2/3 + \varepsilon} n)$ for any fixed $\varepsilon > 0$. Indeed, when $t$ is sufficiently large depending on $\varepsilon$, we show that there are at most four solutions (or at most two in either half of Pascal's triangle) in this region. We also establish analogous results for the equation $(n)_m = t$, where $(n)_m := n(n-1)\ldots(n-m+1)$ denotes the falling factorial.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Expansion, divisibility and parity
Authors:
Harald Andrés Helfgott,
Maksym Radziwiłł
Abstract:
Let $\mathbf{P} \subset [H_0,H]$ be a set of primes, where $\log H_0 \geq (\log H)^{2/3 + ε}$. Let $\mathscr{L} = \sum_{p \in \mathbf{P}} 1/p$. Let $N$ be such that $\log H \leq (\log N)^{1/2-ε}$. We show there exists a subset $\mathscr{X} \subset (N, 2N]$ of density close to $1$ such that all the eigenvalues of the linear operator…
▽ More
Let $\mathbf{P} \subset [H_0,H]$ be a set of primes, where $\log H_0 \geq (\log H)^{2/3 + ε}$. Let $\mathscr{L} = \sum_{p \in \mathbf{P}} 1/p$. Let $N$ be such that $\log H \leq (\log N)^{1/2-ε}$. We show there exists a subset $\mathscr{X} \subset (N, 2N]$ of density close to $1$ such that all the eigenvalues of the linear operator $$(A_{|\mathscr{X}} f)(n) = \sum_{\substack{p \in \mathbf{P} : p | n \\ n, n \pm p \in \mathscr{X}}} f(n \pm p) \; - \sum_{\substack{p \in\mathbf{P} \\ n, n \pm p \in \mathscr{X}}} \frac{f(n \pm p)}{p}$$ are $O(\sqrt{\mathscr{L}})$. This bound is optimal up to a constant factor. In other words, we prove that a graph describing divisibility by primes is a strong local expander almost everywhere, and indeed within a constant factor of being "locally Ramanujan" (a.e.).
Specializing to $f(n) = λ(n)$ with $λ(n)$ the Liouville function, and using an estimate by Matomäki, Radziwiłł and Tao on the average of $λ(n)$ in short intervals, we derive that \[\frac{1}{\log x} \sum_{n\leq x} \frac{λ(n) λ(n+1)}{n} = O\Big(\frac{1}{\sqrt{\log \log x}}\Big),\]
improving on a result of Tao's. We also prove that $\sum_{N<n\leq 2 N} λ(n) λ(n+1)=o(N)$ at almost all scales with a similar error term, improving on a result by Tao and Teräväinen. (Tao and Tao-Teräväinen followed a different approach, based on entropy, not expansion; significantly, we can take a much larger value of $H$, and thus consider many more primes.)
We can also prove sharper results with ease. For instance: let $S_{N,k}$ the set of all $N<n\leq 2N$ such that $Ω(n) = k$. Then, for any fixed value of $k$ with $k = \log \log N + O(\sqrt{\log \log N})$ (that is, any "popular" value of $k$) the average of $λ(n+1)$ over $S_{N,k}$ is $o(1)$ at almost all scales.
△ Less
Submitted 13 April, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Higher uniformity of bounded multiplicative functions in short intervals on average
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Terence Tao,
Joni Teräväinen,
Tamar Ziegler
Abstract:
Let $λ$ denote the Liouville function. We show that, as $X \rightarrow \infty$, $$\int_{X}^{2X} \sup_{\substack{P(Y)\in \mathbb{R}[Y]\\ deg(P)\leq k}} \Big | \sum_{x \leq n \leq x + H} λ(n) e(-P(n)) \Big |\ dx = o ( X H)$$ for all fixed $k$ and $X^θ \leq H \leq X$ with $0 < θ< 1$ fixed but arbitrarily small. Previously this was only established for $k \leq 1$. We obtain this result as a special ca…
▽ More
Let $λ$ denote the Liouville function. We show that, as $X \rightarrow \infty$, $$\int_{X}^{2X} \sup_{\substack{P(Y)\in \mathbb{R}[Y]\\ deg(P)\leq k}} \Big | \sum_{x \leq n \leq x + H} λ(n) e(-P(n)) \Big |\ dx = o ( X H)$$ for all fixed $k$ and $X^θ \leq H \leq X$ with $0 < θ< 1$ fixed but arbitrarily small. Previously this was only established for $k \leq 1$. We obtain this result as a special case of the corresponding statement for (non-pretentious) $1$-bounded multiplicative functions that we prove. In fact, we are able to replace the polynomial phases $e(-P(n))$ by degree $k$ nilsequences $\overline{F}(g(n) Γ)$. By the inverse theory for the Gowers norms this implies the higher order asymptotic uniformity result $$\int_{X}^{2X} \| λ\|_{U^{k+1}([x,x+H])}\ dx = o ( X )$$ in the same range of $H$. We present applications of this result to patterns of various types in the Liouville sequence. Firstly, we show that the number of sign patterns of the Liouville function is superpolynomial, making progress on a conjecture of Sarnak about the Liouville sequence having positive entropy. Secondly, we obtain cancellation in averages of $λ$ over short polynomial progressions $(n+P_1(m),\ldots, n+P_k(m))$, which in the case of linear polynomials yields a new averaged version of Chowla's conjecture. We are in fact able to prove our results on polynomial phases in the wider range $H\geq \exp((\log X)^{5/8+\varepsilon})$, thus strengthening also previous work on the Fourier uniformity of the Liouville function.
△ Less
Submitted 9 June, 2022; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Multiplicative functions in short intervals II
Authors:
Kaisa Matomäki,
Maksym Radziwiłł
Abstract:
We determine the behavior of multiplicative functions vanishing at a positive proportion of prime numbers in almost all short intervals. Furthermore we quantify "almost all" with uniform power-saving upper bounds, that is, we save a power of the suitably normalized length of the interval regardless of how long or short the interval is. Such power-saving bounds are new even in the special case of t…
▽ More
We determine the behavior of multiplicative functions vanishing at a positive proportion of prime numbers in almost all short intervals. Furthermore we quantify "almost all" with uniform power-saving upper bounds, that is, we save a power of the suitably normalized length of the interval regardless of how long or short the interval is. Such power-saving bounds are new even in the special case of the Möbius function. These general results are motivated by several applications. First, we strengthen work of Hooley on sums of two squares by establishing an asymptotic for the number of integers that are sums of two squares in almost all short intervals. Previously only the order of magnitude was known. Secondly, we extend this result to general norm forms of an arbitrary number field $K$ (sums of two squares are norm-forms of $\mathbb{Q}(i)$). Thirdly, Hooley determined the order of magnitude of the sum of $(s_{n + 1} - s_{n})^γ$ with $γ\in (1, 5/3)$ where $s_{1} < s_2 < \ldots$ denote integers representable as sums of two squares. We establish a similar results with $γ\in (1, 3/2)$ and $s_n$ the sequence of integers representable as norm-forms of an arbitrary number field $K$. This is the first such result for a number field of degree greater than two. Assuming the Riemann Hypothesis for all Hecke $L$-functions we also show that $γ\in (1,2)$ is admissible. Fourthly, we improve on a recent result of Heath-Brown about gaps between $x^{\varepsilon}$-smooth numbers. More generally, we obtain results about gaps between multiplicative sequences. Finally our result is useful in other contexts aswell, for instance in our forthcoming work on Fourier uniformity (joint with Terence Tao, Joni Teraväinen and Tamar Ziegler).
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
The Fyodorov-Hiary-Keating Conjecture. I
Authors:
Louis-Pierre Arguin,
Paul Bourgade,
Maksym Radziwiłł
Abstract:
By analogy with conjectures for random matrices, Fyodorov-Hiary-Keating and Fyodorov-Keating proposed precise asymptotics for the maximum of the Riemann zeta function in a typical short interval on the critical line. In this paper, we settle the upper bound part of their conjecture in a strong form. More precisely, we show that the measure of those $T \leq t \leq 2T$ for which…
▽ More
By analogy with conjectures for random matrices, Fyodorov-Hiary-Keating and Fyodorov-Keating proposed precise asymptotics for the maximum of the Riemann zeta function in a typical short interval on the critical line. In this paper, we settle the upper bound part of their conjecture in a strong form. More precisely, we show that the measure of those $T \leq t \leq 2T$ for which
$$
\max_{|h| \leq 1} |ζ(1/2 + i t + i h)| > e^y \frac{\log T }{(\log\log T)^{3/4}}$$ is bounded by $Cy e^{-2y}$ uniformly in $y \geq 1$. This is expected to be optimal for $y= O(\sqrt{\log\log T})$. This upper bound is sharper than what is known in the context of random matrices, since it gives (uniform) decay rates in $y$. In a subsequent paper we will obtain matching lower bounds.
△ Less
Submitted 9 October, 2020; v1 submitted 2 July, 2020;
originally announced July 2020.
-
On the variance of squarefree integers in short intervals and arithmetic progressions
Authors:
Ofir Gorodetsky,
Kaisa Matomäki,
Maksym Radziwiłł,
Brad Rodgers
Abstract:
We evaluate asymptotically the variance of the number of squarefree integers up to $x$ in short intervals of length $H < x^{6/11 - \varepsilon}$ and the variance of the number of squarefree integers up to $x$ in arithmetic progressions modulo $q$ with $q > x^{5/11 + \varepsilon}$. On the assumption of respectively the Lindelöf Hypothesis and the Generalized Lindelöf Hypothesis we show that these r…
▽ More
We evaluate asymptotically the variance of the number of squarefree integers up to $x$ in short intervals of length $H < x^{6/11 - \varepsilon}$ and the variance of the number of squarefree integers up to $x$ in arithmetic progressions modulo $q$ with $q > x^{5/11 + \varepsilon}$. On the assumption of respectively the Lindelöf Hypothesis and the Generalized Lindelöf Hypothesis we show that these ranges can be improved to respectively $H < x^{2/3 - \varepsilon}$ and $q > x^{1/3 + \varepsilon}$. Furthermore we show that obtaining a bound sharp up to factors of $H^{\varepsilon}$ in the full range $H < x^{1 - \varepsilon}$ is equivalent to the Riemann Hypothesis. These results improve on a result of Hall (1982) for short intervals, and earlier results of Warlimont, Vaughan, Blomer, Nunes and Le Boudec in the case of arithmetic progressions.
△ Less
Submitted 10 December, 2020; v1 submitted 7 June, 2020;
originally announced June 2020.
-
Prime number theorem for analytic skew products
Authors:
Adam Kanigowski,
Mariusz Lemańczyk,
Maksym Radziwiłł
Abstract:
We establish a prime number theorem for all uniquely ergodic, analytic skew products on the $2$-torus $\mathbb{T}^2$. More precisely, for every irrational $α$ and every $1$-periodic real analytic $g:\mathbb{R}\to\mathbb{R}$ of zero mean, let $T_{α,g} : \mathbb{T}^2 \rightarrow \mathbb{T}^2$ be defined by $(x,y) \mapsto (x+α,y+g(x))$. We prove that if $T_{α, g}$ is uniquely ergodic then, for every…
▽ More
We establish a prime number theorem for all uniquely ergodic, analytic skew products on the $2$-torus $\mathbb{T}^2$. More precisely, for every irrational $α$ and every $1$-periodic real analytic $g:\mathbb{R}\to\mathbb{R}$ of zero mean, let $T_{α,g} : \mathbb{T}^2 \rightarrow \mathbb{T}^2$ be defined by $(x,y) \mapsto (x+α,y+g(x))$. We prove that if $T_{α, g}$ is uniquely ergodic then, for every $(x,y) \in \mathbb{T}^2$, the sequence $\{T_{α, g}^p(x,y)\}$ is equidistributed on $\mathbb{T}^2$ as $p$ traverses prime numbers. This is the first example of a class of natural, non-algebraic and smooth dynamical systems for which a prime number theorem holds. We also show that such a prime number theorem does not necessarily hold if $g$ is only continuous on $\mathbb{T}^2$.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
One-level density estimates for Dirichlet L-functions with extended support
Authors:
Sary Drappeau,
Kyle Pratt,
Maksym Radziwiłł
Abstract:
We estimate the $1$-level density of low-lying zeros of $L(s,χ)$ with $χ$ ranging over primitive Dirichlet characters of conductor $\in [Q/2,Q]$ and for test functions whose Fourier transform is supported in $[- 2 - 50/1093, 2 + 50/1093]$. Previously any extension of the support past the range $[-2,2]$ was only known conditionally on deep conjectures about the distribution of primes in arithmetic…
▽ More
We estimate the $1$-level density of low-lying zeros of $L(s,χ)$ with $χ$ ranging over primitive Dirichlet characters of conductor $\in [Q/2,Q]$ and for test functions whose Fourier transform is supported in $[- 2 - 50/1093, 2 + 50/1093]$. Previously any extension of the support past the range $[-2,2]$ was only known conditionally on deep conjectures about the distribution of primes in arithmetic progressions, beyond the reach of the Generalized Riemann Hypothesis (e.g Montgomery's conjecture). Our work provides the first example of a family of $L$-functions in which the support is unconditionally extended past the "trivial range" that follows from a simple application of the underlying trace formula (in this case orthogonality of characters). We also highlight consequences for non-vanishing of $L(s,χ)$.
△ Less
Submitted 4 January, 2023; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Optimal Small Scale Equidistribution of Lattice Points on the Sphere, Heegner Points, and Closed Geodesics
Authors:
Peter Humphries,
Maksym Radziwiłł
Abstract:
We asymptotically estimate the variance of the number of lattice points in a thin, randomly rotated annulus lying on the surface of the sphere. This partially resolves a conjecture of Bourgain, Rudnick, and Sarnak. We also obtain estimates that are valid for all balls and annuli that are not too small. Our results have several consequences: for a conjecture of Linnik on sums of two squares and a "…
▽ More
We asymptotically estimate the variance of the number of lattice points in a thin, randomly rotated annulus lying on the surface of the sphere. This partially resolves a conjecture of Bourgain, Rudnick, and Sarnak. We also obtain estimates that are valid for all balls and annuli that are not too small. Our results have several consequences: for a conjecture of Linnik on sums of two squares and a "microsquare", a conjecture of Bourgain and Rudnick on the number of lattice points lying in small balls on the surface of the sphere, the covering radius of the sphere, and the distribution of lattice points in almost all thin regions lying on the surface of the sphere. Finally, we show that for a density $1$ subsequence of squarefree integers, the variance exhibits a different asymptotic behaviour for balls of volume $(\log n)^{-δ}$ with $0 < δ< \tfrac {1}{16}$.
We also obtain analogous results for Heegner points and closed geodesics. Interestingly, we are able to prove some slightly stronger results for closed geodesics than for Heegner points or lattice points on the surface of the sphere. A crucial observation that underpins our proof is the different behaviour of weights functions for annuli and for balls.
△ Less
Submitted 7 May, 2021; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Rigidity in dynamics and Möbius disjointness
Authors:
Adam Kanigowski,
Mariusz Lemańczyk,
Maksym Radziwiłł
Abstract:
Let $(X, T)$ be a topological dynamical system. We show that if each invariant measure of $(X, T)$ gives rise to a measure-theoretic dynamical system that is either: a. rigid along a sequence of "bounded prime volume" or b. admits a polynomial rate of rigidity on a linearly dense subset in $C(X)$, then $(X, T)$ satisfies Sarnak's conjecture on Möbius disjointness. We show that the same conclusion…
▽ More
Let $(X, T)$ be a topological dynamical system. We show that if each invariant measure of $(X, T)$ gives rise to a measure-theoretic dynamical system that is either: a. rigid along a sequence of "bounded prime volume" or b. admits a polynomial rate of rigidity on a linearly dense subset in $C(X)$, then $(X, T)$ satisfies Sarnak's conjecture on Möbius disjointness. We show that the same conclusion also holds if there are countably many invariant ergodic measures, and each of them satisfies a. or b. This recovers some earlier results and implies Sarnak's conjecture in the following new cases: for almost every interval exchange map of $d$ intervals with $d \geq 2$, for $C^{2+ε}$-smooth skew products over rotations and $C^{2+ε}$-smooth flows (without fixed points) on the torus. In particular, these are improvements of earlier results of respectively Chaika-Eskin, Wang and Huang-Wang-Ye. We also discuss some purely arithmetic consequences for the Liouville function.
△ Less
Submitted 16 March, 2024; v1 submitted 30 May, 2019;
originally announced May 2019.
-
Signs of Fourier coefficients of half-integral weight modular forms
Authors:
Stephen Lester,
Maksym Radziwiłł
Abstract:
Let $g$ be a Hecke cusp form of half-integral weight, level $4$ and belonging to Kohnen's plus subspace. Let $c(n)$ denote the $n$th Fourier coefficient of $g$, normalized so that $c(n)$ is real for all $n \geq 1$. A theorem of Waldspurger determines the magnitude of $c(n)$ at fundamental discriminants $n$ by establishing that the square of $c(n)$ is proportional to the central value of a certain…
▽ More
Let $g$ be a Hecke cusp form of half-integral weight, level $4$ and belonging to Kohnen's plus subspace. Let $c(n)$ denote the $n$th Fourier coefficient of $g$, normalized so that $c(n)$ is real for all $n \geq 1$. A theorem of Waldspurger determines the magnitude of $c(n)$ at fundamental discriminants $n$ by establishing that the square of $c(n)$ is proportional to the central value of a certain $L$-function. The signs of the sequence $c(n)$ however remain mysterious. Conditionally on the Generalized Riemann Hypothesis, we show that $c(n) < 0$ and respectively $c(n) > 0$ holds for a positive proportion of fundamental discriminants $n$. Moreover we show that the sequence $\{c(n)\}$ where $n$ ranges over fundamental discriminants changes sign a positive proportion of the time. Unconditionally, it is not known that a positive proportion of these coefficients are non-zero and we prove results about the sign of $c(n)$ which are of the same quality as the best known non-vanishing results. Finally we discuss extensions of our result to general half-integral weight forms $g$ of level $4 N$ with $N$ odd, square-free.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Sharp upper bounds for fractional moments of the Riemann zeta function
Authors:
Winston Heap,
Maksym Radziwiłł,
Kannan Soundararajan
Abstract:
We establish sharp upper bounds for the $2k$th moment of the Riemann zeta function on the critical line, for all real $0 \leqslant k \leqslant 2$.
This improves on earlier work of Ramachandra, Heath-Brown and Bettin-Chandee-Radziwiłł
We establish sharp upper bounds for the $2k$th moment of the Riemann zeta function on the critical line, for all real $0 \leqslant k \leqslant 2$.
This improves on earlier work of Ramachandra, Heath-Brown and Bettin-Chandee-Radziwiłł
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Moments of the Riemann zeta function on short intervals of the critical line
Authors:
Louis-Pierre Arguin,
Frédéric Ouimet,
Maksym Radziwiłł
Abstract:
We show that as $T\to \infty$, for all $t\in [T,2T]$ outside of a set of measure $\mathrm{o}(T)$, $$ \int_{-(\log T)^θ}^{(\log T)^θ} |ζ(\tfrac 12 + \mathrm{i} t + \mathrm{i} h)|^β \mathrm{d} h = (\log T)^{f_θ(β) + \mathrm{o}(1)}, $$ for some explicit exponent $f_θ(β)$, where $θ> -1$ and $β> 0$. This proves an extended version of a conjecture of Fyodorov and Keating (2014). In particular, it shows…
▽ More
We show that as $T\to \infty$, for all $t\in [T,2T]$ outside of a set of measure $\mathrm{o}(T)$, $$ \int_{-(\log T)^θ}^{(\log T)^θ} |ζ(\tfrac 12 + \mathrm{i} t + \mathrm{i} h)|^β \mathrm{d} h = (\log T)^{f_θ(β) + \mathrm{o}(1)}, $$ for some explicit exponent $f_θ(β)$, where $θ> -1$ and $β> 0$. This proves an extended version of a conjecture of Fyodorov and Keating (2014). In particular, it shows that, for all $θ> -1$, the moments exhibit a phase transition at a critical exponent $β_c(θ)$, below which $f_θ(β)$ is quadratic and above which $f_θ(β)$ is linear. The form of the exponent $f_θ$ also differs between mesoscopic intervals ($-1<θ<0$) and macroscopic intervals ($θ>0$), a phenomenon that stems from an approximate tree structure for the correlations of zeta. We also prove that, for all $t\in [T,2T]$ outside a set of measure $\mathrm{o}(T)$, $$ \max_{|h| \leq (\log T)^θ} |ζ(\tfrac{1}{2} + \mathrm{i} t + \mathrm{i} h)| = (\log T)^{m(θ) + \mathrm{o}(1)}, $$ for some explicit $m(θ)$. This generalizes earlier results of Najnudel (2018) and Arguin et al. (2019) for $θ= 0$. The proofs are unconditional, except for the upper bounds when $θ> 3$, where the Riemann hypothesis is assumed.
△ Less
Submitted 29 April, 2021; v1 submitted 13 January, 2019;
originally announced January 2019.
-
Fourier uniformity of bounded multiplicative functions in short intervals on average
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Terence Tao
Abstract:
Let $λ$ denote the Liouville function. We show that as $X \rightarrow \infty$, $$ \int_{X}^{2X} \sup_α \left | \sum_{x < n \leq x + H} λ(n) e(-αn) \right | dx = o ( X H) $$ for all $H \geq X^θ$ with $θ> 0$ fixed but arbitrarily small. Previously, this was only known for $θ> 5/8$. For smaller values of $θ$ this is the first `non-trivial' case of local Fourier uniformity on average at this scale. We…
▽ More
Let $λ$ denote the Liouville function. We show that as $X \rightarrow \infty$, $$ \int_{X}^{2X} \sup_α \left | \sum_{x < n \leq x + H} λ(n) e(-αn) \right | dx = o ( X H) $$ for all $H \geq X^θ$ with $θ> 0$ fixed but arbitrarily small. Previously, this was only known for $θ> 5/8$. For smaller values of $θ$ this is the first `non-trivial' case of local Fourier uniformity on average at this scale. We also obtain the analogous statement for (non-pretentious) $1$-bounded multiplicative functions. We illustrate the strength of the result by obtaining cancellations in the sum of $λ(n) Λ(n + h) Λ(n + 2h)$ over the ranges $h < X^θ$ and $n < X$, and where $Λ$ is the von Mangoldt function.
△ Less
Submitted 4 December, 2018;
originally announced December 2018.
-
Another application of Linnik's dispersion method
Authors:
Étienne Fouvry,
Maksym Radziwiłł
Abstract:
Let $α_m$ and $β_n$ be two sequences of real numbers supported on $[M, 2M]$ and $[N, 2N]$ with $M = X^{1/2 - δ}$ and $N = X^{1/2 + δ}$. We show that there exists a $δ_0 > 0$ such that the multiplicative convolution of $α_m$ and $β_n$ has exponent of distribution $\frac{1}{2} + δ-\varepsilon$ (in a weak sense) as long as $0 \leq δ< δ_0$, the sequence $β_n$ is Siegel-Walfisz and both sequences…
▽ More
Let $α_m$ and $β_n$ be two sequences of real numbers supported on $[M, 2M]$ and $[N, 2N]$ with $M = X^{1/2 - δ}$ and $N = X^{1/2 + δ}$. We show that there exists a $δ_0 > 0$ such that the multiplicative convolution of $α_m$ and $β_n$ has exponent of distribution $\frac{1}{2} + δ-\varepsilon$ (in a weak sense) as long as $0 \leq δ< δ_0$, the sequence $β_n$ is Siegel-Walfisz and both sequences $α_m$ and $β_n$ are bounded above by divisor functions. Our result is thus a general dispersion estimate for "narrow" type-II sums. The proof relies crucially on Linnik's dispersion method and recent bounds for trilinear forms in Kloosterman fractions due to Bettin-Chandee. We highlight an application related to the Titchmarsh divisor problem.
△ Less
Submitted 4 December, 2018; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Level of distribution of unbalanced convolutions
Authors:
Étienne Fouvry,
Maksym Radziwiłł
Abstract:
We show that if an essentially arbitrary sequence supported on an interval containing $x$ integers, is convolved with a tiny Siegel-Walfisz-type sequence supported on an interval containing $\exp((\log x)^{\varepsilon})$ integers then the resulting multiplicative convolution has (in a weak sense) level of distribution $x^{1/2 + 1/66 - \varepsilon}$ as $x$ goes to infinity. This dispersion estimate…
▽ More
We show that if an essentially arbitrary sequence supported on an interval containing $x$ integers, is convolved with a tiny Siegel-Walfisz-type sequence supported on an interval containing $\exp((\log x)^{\varepsilon})$ integers then the resulting multiplicative convolution has (in a weak sense) level of distribution $x^{1/2 + 1/66 - \varepsilon}$ as $x$ goes to infinity. This dispersion estimate has a number of consequences for: the distribution of the $k$th divisor function to moduli $x^{1/2 + 1/66 - \varepsilon}$ for any integer $k \geq 1$, the distribution of products of exactly two primes in arithmetic progressions to large moduli, the distribution of sieve weights of level $x^{1/2 + 1/66 - \varepsilon}$ to moduli as large as $x^{1 - \varepsilon}$ and for the Brun-Titchmarsh theorem for almost all moduli $q$ of size $x^{1 - \varepsilon}$, lowering the long-standing constant $4$ in that range. Our result improves and is inspired by earlier work of Green (and subsequent work of Granville-Shao) which is concerned with the distribution of $1$-bounded multiplicative functions in arithmetic progressions to large moduli. As in these previous works the main technical ingredient are the recent estimates of Bettin-Chandee for trilinear forms in Kloosterman fractions and the estimates of Duke-Friedlander-Iwaniec for bilinear forms in Kloosterman fractions.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Quality 4.0: Let's Get Digital - The many ways the fourth industrial revolution is resha** the way we think about quality
Authors:
Nicole M. Radziwill
Abstract:
The technology landscape is richer and more promising than ever before. In many ways, cloud computing, big data, virtual reality (VR), augmented reality (AR), blockchain, additive manufacturing, artificial intelligence (AI), machine learning (ML), Internet Protocol Version 6 (IPv6), cyber-physical systems and the Internet of Things (IoT) all represent new frontiers. These technologies can help imp…
▽ More
The technology landscape is richer and more promising than ever before. In many ways, cloud computing, big data, virtual reality (VR), augmented reality (AR), blockchain, additive manufacturing, artificial intelligence (AI), machine learning (ML), Internet Protocol Version 6 (IPv6), cyber-physical systems and the Internet of Things (IoT) all represent new frontiers. These technologies can help improve product and service quality, and organizational performance. In many regions, the internet is now as ubiquitous as electricity. Components are relatively cheap. A robust ecosystem of open-source software libraries means that engineers can solve problems 100 times faster than just two decades ago. This digital transformation is leading us toward connected intelligent automation: smart, hyperconnected agents deployed in environments where humans and machines cooperate, and leverage data, to achieve shared goals. This is not the worlds first industrial revolution. In fact, it is its fourth, and the disruptive changes it will bring suggest we will need a fresh perspective on quality to adapt to it.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
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.
-
Triple correlation and long gaps in the spectrum of flat tori
Authors:
Christoph Aistleitner,
Valentin Blomer,
Maksym Radziwiłł
Abstract:
We evaluate the triple correlation of eigenvalues of the Laplacian on generic flat tori in an averaged sense. As two consequence we show that (a) the limit inferior (resp. limit superior) of the triple correlation is almost surely at most (resp. at least) Poissonian, and that (b) almost all flat tori contain infinitely many gaps in their spectrum that are at least 2.006 times longer than the avera…
▽ More
We evaluate the triple correlation of eigenvalues of the Laplacian on generic flat tori in an averaged sense. As two consequence we show that (a) the limit inferior (resp. limit superior) of the triple correlation is almost surely at most (resp. at least) Poissonian, and that (b) almost all flat tori contain infinitely many gaps in their spectrum that are at least 2.006 times longer than the average gap. The significance of the constant 2.006 lies in the fact that there exist sequences with Poissonian pair correlation and with consecutive spacings bounded uniformly from above by 2, as we also prove in this paper. Thus our result goes beyond what can be deduced solely from the Poissonian behavior of the pair correlation.
△ Less
Submitted 20 September, 2018;
originally announced September 2018.
-
Correlations of the von Mangoldt and higher divisor functions II. Divisor correlations in short ranges
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Terence Tao
Abstract:
We study the problem of obtaining asymptotic formulas for the sums $\sum_{X < n \leq 2X} d_k(n) d_l(n+h)$ and $\sum_{X < n \leq 2X} Λ(n) d_k(n+h)$, where $Λ$ is the von Mangoldt function, $d_k$ is the $k^{\operatorname{th}}$ divisor function, $X$ is large and $k \geq l \geq 2$ are real numbers. We show that for almost all $h \in [-H, H]$ with $H = (\log X)^{10000 k \log k}$, the expected asymptoti…
▽ More
We study the problem of obtaining asymptotic formulas for the sums $\sum_{X < n \leq 2X} d_k(n) d_l(n+h)$ and $\sum_{X < n \leq 2X} Λ(n) d_k(n+h)$, where $Λ$ is the von Mangoldt function, $d_k$ is the $k^{\operatorname{th}}$ divisor function, $X$ is large and $k \geq l \geq 2$ are real numbers. We show that for almost all $h \in [-H, H]$ with $H = (\log X)^{10000 k \log k}$, the expected asymptotic estimate holds. In our previous paper we were able to deal also with the case of $Λ(n) Λ(n + h)$ and we obtained better estimates for the error terms at the price of having to take $H = X^{8/33 + \varepsilon}$.
△ Less
Submitted 1 January, 2020; v1 submitted 23 December, 2017;
originally announced December 2017.
-
Quality and Innovation with Blockchain Technology
Authors:
Morgan C. Benton,
Nicole M. Radziwill
Abstract:
In recent years, hype surrounding the proliferation of blockchain-based technology has been significant. Apart from the creation of bitcoin and other cryptocurrencies, it has been difficult to determine what practical utility might lie in the adoption of blockchain, mainly because there are so few in existence at present. Even so, interest in the technology has increased tremendously. This paper i…
▽ More
In recent years, hype surrounding the proliferation of blockchain-based technology has been significant. Apart from the creation of bitcoin and other cryptocurrencies, it has been difficult to determine what practical utility might lie in the adoption of blockchain, mainly because there are so few in existence at present. Even so, interest in the technology has increased tremendously. This paper is a primer for software quality professionals. It briefly describes the history of blockchain technology, attempts to define and disambiguate terminology, fosters a general understanding of how blockchain works, and discusses how and why software quality professionals might want to invest time and energy in learning about, implementing, or using blockchain-based technologies in their own organizations -- or alternatively, improving the quality of blockchain technology itself.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Design for X (DfX) in the Internet of Things (IoT)
Authors:
Nicole M. Radziwill,
Morgan C. Benton
Abstract:
Designing quality in is a cornerstone of modern quality management philosophies. Design for X (DfX) techniques provide guidelines, heuristics, and metrics to ensure that a particular quality attribute exists in a design. Although hundreds of papers have been published on DfX approaches, few researchers have explored systematically applying multiple DfX in a particular problem context. As the Inter…
▽ More
Designing quality in is a cornerstone of modern quality management philosophies. Design for X (DfX) techniques provide guidelines, heuristics, and metrics to ensure that a particular quality attribute exists in a design. Although hundreds of papers have been published on DfX approaches, few researchers have explored systematically applying multiple DfX in a particular problem context. As the Internet of Things (IoT) evolves, boundaries between people, computers, and objects will become less distinct, underscoring the need for more holistic design. Using mixed methods, this paper examines the utility of DfX in the emerging IoT ecosystem. We identify DfX that are applicable to IoT-related design, and find gaps that demand further research and development. The results from this study can be used to help designers and quality managers select or develop appropriate DfX to use in designing components for the Internet of Things (IoT), supporting actionable strategies for quality and customer satisfaction.
△ Less
Submitted 8 July, 2017;
originally announced July 2017.
-
Cybersecurity Cost of Quality: Managing the Costs of Cybersecurity Risk Management
Authors:
Nicole M. Radziwill,
Morgan C. Benton
Abstract:
There is no standard yet for measuring and controlling the costs associated with implementing cybersecurity programs. To advance research and practice towards this end, we develop a map** using the well-known concept of quality costs and the Framework Core within the Cybersecurity Framework produced by the National Institute of Standards and Technology (NIST) in response to the Cybersecurity Enh…
▽ More
There is no standard yet for measuring and controlling the costs associated with implementing cybersecurity programs. To advance research and practice towards this end, we develop a map** using the well-known concept of quality costs and the Framework Core within the Cybersecurity Framework produced by the National Institute of Standards and Technology (NIST) in response to the Cybersecurity Enhancement Act of 2014. This map** can be easily adopted by organizations that are already using the NIST CSF for cybersecurity risk management to plan, manage, and continually improve cybersecurity operations. If an organization is not using the NIST CSF, this map** may still be useful for linking elements in accounting systems that are associated with cybersecurity operations and risk management to a quality cost model.
△ Less
Submitted 9 July, 2017;
originally announced July 2017.
-
Correlations of the von Mangoldt and higher divisor functions I. Long shift ranges
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Terence Tao
Abstract:
We show that the expected asymptotic for the sums $\sum_{X < n \leq 2X} Λ(n) Λ(n+h)$, $\sum_{X < n \leq 2X} d_k(n) d_l(n+h)$, and $\sum_{X < n \leq 2X} Λ(n) d_k(n+h)$ hold for almost all $h \in [-H,H]$, provided that $X^{8/33+\varepsilon} \leq H \leq X^{1-\varepsilon}$, with an error term saving on average an arbitrary power of the logarithm over the trivial bound. Previous work of Mikawa, Perelli…
▽ More
We show that the expected asymptotic for the sums $\sum_{X < n \leq 2X} Λ(n) Λ(n+h)$, $\sum_{X < n \leq 2X} d_k(n) d_l(n+h)$, and $\sum_{X < n \leq 2X} Λ(n) d_k(n+h)$ hold for almost all $h \in [-H,H]$, provided that $X^{8/33+\varepsilon} \leq H \leq X^{1-\varepsilon}$, with an error term saving on average an arbitrary power of the logarithm over the trivial bound. Previous work of Mikawa, Perelli-Pintz and Baier-Browning-Marasingha-Zhao covered the range $H \geq X^{1/3+\varepsilon}$. We also obtain an analogous result for $\sum_n Λ(n) Λ(N-n)$.
Our proof uses the circle method and some oscillatory integral estimates (following a paper of Zhan) to reduce matters to establishing some mean-value estimates for certain Dirichlet polynomials associated to "Type $d_3$" and "Type $d_4$" sums (as well as some other sums that are easier to treat). After applying Hölder's inequality to the Type $d_3$ sum, one is left with two expressions, one of which we can control using a short interval mean value theorem of Jutila, and the other we can control using exponential sum estimates of Robert and Sargos. The Type $d_4$ sum is treated similarly using the classical $L^2$ mean value theorem and the classical van der Corput exponential sum estimates.
△ Less
Submitted 18 February, 2019; v1 submitted 5 July, 2017;
originally announced July 2017.
-
Evaluating Quality of Chatbots and Intelligent Conversational Agents
Authors:
Nicole M. Radziwill,
Morgan C. Benton
Abstract:
Chatbots are one class of intelligent, conversational software agents activated by natural language input (which can be in the form of text, voice, or both). They provide conversational output in response, and if commanded, can sometimes also execute tasks. Although chatbot technologies have existed since the 1960s and have influenced user interface development in games since the early 1980s, chat…
▽ More
Chatbots are one class of intelligent, conversational software agents activated by natural language input (which can be in the form of text, voice, or both). They provide conversational output in response, and if commanded, can sometimes also execute tasks. Although chatbot technologies have existed since the 1960s and have influenced user interface development in games since the early 1980s, chatbots are now easier to train and implement. This is due to plentiful open source code, widely available development platforms, and implementation options via Software as a Service (SaaS). In addition to enhancing customer experiences and supporting learning, chatbots can also be used to engineer social harm - that is, to spread rumors and misinformation, or attack people for posting their thoughts and opinions online. This paper presents a literature review of quality issues and attributes as they relate to the contemporary issue of chatbot development and implementation. Finally, quality assessment approaches are reviewed, and a quality assessment method based on these attributes and the Analytic Hierarchy Process (AHP) is proposed and examined.
△ Less
Submitted 15 April, 2017;
originally announced April 2017.
-
Maximum of the Riemann zeta function on a short interval of the critical line
Authors:
Louis-Pierre Arguin,
David Belius,
Paul Bourgade,
Maksym Radziwiłł,
Kannan Soundararajan
Abstract:
We prove the leading order of a conjecture by Fyodorov, Hiary and Keating, about the maximum of the Riemann zeta function on random intervals along the critical line. More precisely, as $T \rightarrow \infty$ for a set of $t \in [T, 2T]$ of measure $(1 - o(1)) T$, we have $$ \max_{|t-u|\leq 1}\log\left|ζ\left(\tfrac{1}{2}+i u\right)\right|=(1 + o(1))\log\log T . $$
We prove the leading order of a conjecture by Fyodorov, Hiary and Keating, about the maximum of the Riemann zeta function on random intervals along the critical line. More precisely, as $T \rightarrow \infty$ for a set of $t \in [T, 2T]$ of measure $(1 - o(1)) T$, we have $$ \max_{|t-u|\leq 1}\log\left|ζ\left(\tfrac{1}{2}+i u\right)\right|=(1 + o(1))\log\log T . $$
△ Less
Submitted 14 January, 2018; v1 submitted 27 December, 2016;
originally announced December 2016.
-
An effective universality theorem for the Riemann zeta-function
Authors:
Youness Lamzouri,
Stephen Lester,
Maksym Radziwill
Abstract:
Let $0<r<1/4$, and $f$ be a non-vanishing continuous function in $|z|\leq r$, that is analytic in the interior. Voronin's universality theorem asserts that translates of the Riemann zeta function $ζ(3/4 + z + it)$ can approximate $f$ uniformly in $|z| < r$ to any given precision $\varepsilon$, and moreover that the set of such $t \in [0, T]$ has measure at least $c(\varepsilon) T$ for some…
▽ More
Let $0<r<1/4$, and $f$ be a non-vanishing continuous function in $|z|\leq r$, that is analytic in the interior. Voronin's universality theorem asserts that translates of the Riemann zeta function $ζ(3/4 + z + it)$ can approximate $f$ uniformly in $|z| < r$ to any given precision $\varepsilon$, and moreover that the set of such $t \in [0, T]$ has measure at least $c(\varepsilon) T$ for some $c(\varepsilon) > 0$, once $T$ is large enough. This was refined by Bagchi who showed that the measure of such $t \in [0,T]$ is $(c(\varepsilon) + o(1)) T$, for all but at most countably many $\varepsilon > 0$. Using a completely different approach, we obtain the first effective version of Voronin's Theorem, by showing that in the rate of convergence one can save a small power of the logarithm of $T$. Our method is flexible, and can be generalized to other $L$-functions in the $t$-aspect, as well as to families of $L$-functions in the conductor aspect.
△ Less
Submitted 5 December, 2016; v1 submitted 30 November, 2016;
originally announced November 2016.
-
Limiting distribution of eigenvalues in the large sieve matrix
Authors:
Florin P. Boca,
Maksym Radziwiłł
Abstract:
The large sieve inequality is equivalent to the bound $λ_1 \leqslant N + Q^2-1$ for the largest eigenvalue $λ_1$ of the $N$ by $N$ matrix $A^{\star} A$, naturally associated to the positive definite quadratic form arising in the inequality. For arithmetic applications the most interesting range is $N \asymp Q^2$. Based on his numerical data Ramaré conjectured that when $N \sim αQ^2$ as…
▽ More
The large sieve inequality is equivalent to the bound $λ_1 \leqslant N + Q^2-1$ for the largest eigenvalue $λ_1$ of the $N$ by $N$ matrix $A^{\star} A$, naturally associated to the positive definite quadratic form arising in the inequality. For arithmetic applications the most interesting range is $N \asymp Q^2$. Based on his numerical data Ramaré conjectured that when $N \sim αQ^2$ as $Q \rightarrow \infty$ for some finite positive constant $α$, the limiting distribution of the eigenvalues of $A^{\star} A$, scaled by $1/N$, exists and is non-degenerate.
In this paper we prove this conjecture by establishing the convergence of all moments of the eigenvalues of $A^{\star} A$ as $Q\rightarrow\infty$. Previously only the second moment was known, due to Ramaré. Furthermore, we obtain an explicit description of the moments of the limiting distribution, and establish that they vary continuously with $α$. Some of the main ingredients in our proof include the large-sieve inequality and results on $n$-correlations of Farey fractions.
△ Less
Submitted 14 June, 2018; v1 submitted 19 September, 2016;
originally announced September 2016.
-
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.
-
Improving Testability and Reuse by Transitioning to Functional Programming
Authors:
Morgan C. Benton,
Nicole M. Radziwill
Abstract:
Declarative styles such as functional programming (FP) are rapidly gaining ground on their imperative cousins, including procedural and object-oriented programming. The shift is subtle because it is happening within the context of multiparadigm programming languages such as JavaScript. FP is better suited to modern processes like test-driven development (TDD), and architectures like massively para…
▽ More
Declarative styles such as functional programming (FP) are rapidly gaining ground on their imperative cousins, including procedural and object-oriented programming. The shift is subtle because it is happening within the context of multiparadigm programming languages such as JavaScript. FP is better suited to modern processes like test-driven development (TDD), and architectures like massively parallel, cloud-based computing. This article describes the technical details that characterize the shift from imperative to FP and implications for software quality management, particularly reuse and testability.
△ Less
Submitted 21 June, 2016;
originally announced June 2016.
-
Quantum Unique Ergodicity for half-integral weight forms
Authors:
Stephen Lester,
Maksym Radziwiłł
Abstract:
We investigate the analogue of the Quantum Unique Ergodicity (QUE) conjecture for half-integral weight automorphic forms. Assuming the Generalized Riemann Hypothesis (GRH) we establish QUE for both half-integral weight holomorphic Hecke cusp forms for $Γ_0(4)$ lying in Kohnen's plus subspace and for half-integral weight Hecke Maaß cusp forms for $Γ_0(4)$ lying in Kohnen's plus subspace. By combini…
▽ More
We investigate the analogue of the Quantum Unique Ergodicity (QUE) conjecture for half-integral weight automorphic forms. Assuming the Generalized Riemann Hypothesis (GRH) we establish QUE for both half-integral weight holomorphic Hecke cusp forms for $Γ_0(4)$ lying in Kohnen's plus subspace and for half-integral weight Hecke Maaß cusp forms for $Γ_0(4)$ lying in Kohnen's plus subspace. By combining the former result along with an argument of Rudnick, it follows that under GRH the zeros of these holomorphic Hecke cusp equidistribute with respect to hyperbolic measure on $Γ_0(4)\backslash \mathbb H$ as the weight tends to infinity.
△ Less
Submitted 13 June, 2016;
originally announced June 2016.
-
Bot or Not? Deciphering Time Maps for Tweet Interarrivals
Authors:
Nicole M. Radziwill,
Morgan C. Benton
Abstract:
This exploratory study used the R Statistical Software to perform Monte Carlo simulation of time maps, which characterize events based on the elapsed time since the last event and the time that will transpire until the next event, and compare them to time maps from real Twitter users. Time maps are used to explore differences in the interarrival patterns of Tweets between human users, humans who u…
▽ More
This exploratory study used the R Statistical Software to perform Monte Carlo simulation of time maps, which characterize events based on the elapsed time since the last event and the time that will transpire until the next event, and compare them to time maps from real Twitter users. Time maps are used to explore differences in the interarrival patterns of Tweets between human users, humans who use scheduling services like TweetDeck and HootSuite, and non-human (bot) users. The results indicate that there are differences between the tweet interarrival patterns across these categories of users, and that time maps could potentially be used to automate the detection of bot accounts on Twitter. This could enhance social media intelligence capabilities, help bot developers build more human-like Twitter bots to avoid detection, or both.
△ Less
Submitted 20 May, 2016;
originally announced May 2016.
-
Small gaps in the spectrum of the rectangular billiard
Authors:
Valentin Blomer,
Jean Bourgain,
Maksym Radziwiłł,
Zeev Rudnick
Abstract:
We study the size of the minimal gap between the first N eigenvalues of the Laplacian on a rectangular billiard having irrational squared aspect ratio $α$, in comparison to the corresponding quantity for a Poissonian sequence. If $α$ is a quadratic irrationality of certain type, such as the square root of a rational number, we show that the minimal gap is roughly of size 1/N, which is essentially…
▽ More
We study the size of the minimal gap between the first N eigenvalues of the Laplacian on a rectangular billiard having irrational squared aspect ratio $α$, in comparison to the corresponding quantity for a Poissonian sequence. If $α$ is a quadratic irrationality of certain type, such as the square root of a rational number, we show that the minimal gap is roughly of size 1/N, which is essentially consistent with Poisson statistics. We also give related results for a set of $α$'s of full measure. However, on a fine scale we show that Poisson statistics is violated for all $α$. The proofs use a variety of ideas of an arithmetical nature, involving Diophantine approximation, the theory of continued fractions, and results in analytic number theory.
△ Less
Submitted 12 October, 2016; v1 submitted 8 April, 2016;
originally announced April 2016.
-
Selberg's central limit theorem for $\log |ζ(\tfrac 12+it)|$
Authors:
Maksym Radziwiłł,
Kannan Soundararajan
Abstract:
We present a new and simple proof of Selberg's central limit theorem, according to which $\log |ζ(\tfrac 12 + it)|$ is approximately normally distributed with mean $0$ and variance $\tfrac 12 \log\log t$.
We present a new and simple proof of Selberg's central limit theorem, according to which $\log |ζ(\tfrac 12 + it)|$ is approximately normally distributed with mean $0$ and variance $\tfrac 12 \log\log t$.
△ Less
Submitted 22 September, 2015;
originally announced September 2015.
-
Sign patterns of the Liouville and Möbius functions
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Terence Tao
Abstract:
Let $λ$ and $μ$ denote the Liouville and Möbius functions respectively. Hildebrand showed that all eight possible sign patterns for $(λ(n), λ(n+1), λ(n+2))$ occur infinitely often. By using the recent result of the first two authors on mean values of multiplicative functions in short intervals, we strengthen Hildebrand's result by proving that each of these eight sign patterns occur with positive…
▽ More
Let $λ$ and $μ$ denote the Liouville and Möbius functions respectively. Hildebrand showed that all eight possible sign patterns for $(λ(n), λ(n+1), λ(n+2))$ occur infinitely often. By using the recent result of the first two authors on mean values of multiplicative functions in short intervals, we strengthen Hildebrand's result by proving that each of these eight sign patterns occur with positive lower natural density. We also obtain an analogous result for the nine possible sign patterns for $(μ(n), μ(n+1))$. A new feature in the latter argument is the need to demonstrate that a certain random graph is almost surely connected.
△ Less
Submitted 22 September, 2015; v1 submitted 4 September, 2015;
originally announced September 2015.
-
A note on Helson's conjecture on moments of random multiplicative functions
Authors:
Adam J. Harper,
Ashkan Nikeghbali,
Maksym Radziwiłł
Abstract:
We give lower bounds for the small moments of the sum of a random multiplicative function, which improve on some results of Bondarenko and Seip and constitute further progress towards (dis)proving a conjecture of Helson. We also prove asymptotics for the even integer moments. The latter have also been obtained very recently and independently by Heap and Lindqvist. Our proofs involve general lower…
▽ More
We give lower bounds for the small moments of the sum of a random multiplicative function, which improve on some results of Bondarenko and Seip and constitute further progress towards (dis)proving a conjecture of Helson. We also prove asymptotics for the even integer moments. The latter have also been obtained very recently and independently by Heap and Lindqvist. Our proofs involve general lower bound techniques for random multiplicative functions, mean value results for multiplicative functions in several variables, and some calculations with Birkhoff polytopes.
△ Less
Submitted 6 May, 2015;
originally announced May 2015.
-
An averaged form of Chowla's conjecture
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Terence Tao
Abstract:
Let $λ$ denote the Liouville function. A well known conjecture of Chowla asserts that for any distinct natural numbers $h_1,\dots,h_k$, one has $\sum_{1 \leq n \leq X} λ(n+h_1) \dotsm λ(n+h_k) = o(X)$ as $X \to \infty$. This conjecture remains unproven for any $h_1,\dots,h_k$ with $k \geq 2$. In this paper, using the recent results of the first two authors on mean values of multiplicative function…
▽ More
Let $λ$ denote the Liouville function. A well known conjecture of Chowla asserts that for any distinct natural numbers $h_1,\dots,h_k$, one has $\sum_{1 \leq n \leq X} λ(n+h_1) \dotsm λ(n+h_k) = o(X)$ as $X \to \infty$. This conjecture remains unproven for any $h_1,\dots,h_k$ with $k \geq 2$. In this paper, using the recent results of the first two authors on mean values of multiplicative functions in short intervals, combined with an argument of Katai and Bourgain-Sarnak-Ziegler, we establish an averaged version of this conjecture, namely $$\sum_{h_1,\dots,h_k \leq H} \left|\sum_{1 \leq n \leq X} λ(n+h_1) \dotsm λ(n+h_k)\right| = o(H^kX)$$ as $X \to \infty$ whenever $H = H(X) \leq X$ goes to infinity as $X \to \infty$, and $k$ is fixed. Related to this, we give the exponential sum estimate $$ \int_0^X \left|\sum_{x \leq n \leq x+H} λ(n) e(αn)\right| dx = o( HX )$$ as $X \to \infty$ uniformly for all $α\in \mathbb{R}$, with $H$ as before. Our arguments in fact give quantitative bounds on the decay rate (roughly on the order of $\frac{\log\log H}{\log H}$), and extend to more general bounded multiplicative functions than the Liouville function, yielding an averaged form of a (corrected) conjecture of Elliott.
△ Less
Submitted 1 March, 2022; v1 submitted 17 March, 2015;
originally announced March 2015.
-
A note on the Liouville function in short intervals
Authors:
Kaisa Matomäki,
Maksym Radziwiłł
Abstract:
In this note we give a short and self-contained proof that, for any $δ> 0$, $\sum_{x \leq n \leq x+x^δ} λ(n) = o(x^δ)$ for almost all $x \in [X, 2X]$. We also sketch a proof of a generalization of such a result to general real-valued multiplicative functions. Both results are special cases of results in our more involved and lengthy recent pre-print.
In this note we give a short and self-contained proof that, for any $δ> 0$, $\sum_{x \leq n \leq x+x^δ} λ(n) = o(x^δ)$ for almost all $x \in [X, 2X]$. We also sketch a proof of a generalization of such a result to general real-valued multiplicative functions. Both results are special cases of results in our more involved and lengthy recent pre-print.
△ Less
Submitted 9 February, 2015;
originally announced February 2015.
-
Multiplicative functions in short intervals
Authors:
Kaisa Matomäki,
Maksym Radziwiłł
Abstract:
We introduce a general result relating "short averages" of a multiplicative function to "long averages" which are well understood. This result has several consequences. First, for the Möbius function we show that there are cancellations in the sum of $μ(n)$ in almost all intervals of the form $[x, x + ψ(x)]$ with $ψ(x) \rightarrow \infty$ arbitrarily slowly. This goes beyond what was previously kn…
▽ More
We introduce a general result relating "short averages" of a multiplicative function to "long averages" which are well understood. This result has several consequences. First, for the Möbius function we show that there are cancellations in the sum of $μ(n)$ in almost all intervals of the form $[x, x + ψ(x)]$ with $ψ(x) \rightarrow \infty$ arbitrarily slowly. This goes beyond what was previously known conditionally on the Density Hypothesis or the stronger Riemann Hypothesis. Second, we settle the long-standing conjecture on the existence of $x^ε$-smooth numbers in intervals of the form $[x, x + c(\varepsilon) \sqrt{x}]$, recovering unconditionally a conditional (on the Riemann Hypothesis) result of Soundararajan. Third, we show that the mean-value of $λ(n)λ(n+1)$, with $λ(n)$ Liouville's function, is non-trivially bounded in absolute value by $1 - δ$ for some $δ> 0$. This settles an old folklore conjecture and constitutes progress towards Chowla's conjecture. Fourth, we show that a (general) real-valued multiplicative function $f$ has a positive proportion of sign changes if and only if $f$ is negative on at least one integer and non-zero on a positive proportion of the integers. This improves on many previous works, and is new already in the case of the Möbius function. We also obtain some additional results on smooth numbers in almost all intervals, and sign changes of multiplicative functions in all intervals of square-root length.
△ Less
Submitted 15 October, 2017; v1 submitted 19 January, 2015;
originally announced January 2015.
-
Small scale distribution of zeros and mass of modular forms
Authors:
Stephen Lester,
Kaisa Matomäki,
Maksym Radziwiłł
Abstract:
We study the behavior of zeros and mass of holomorphic Hecke cusp forms on $SL_2(\mathbb Z) \backslash \mathbb H$ at small scales. In particular, we examine the distribution of the zeros within hyperbolic balls whose radii shrink sufficiently slowly as $k \rightarrow \infty$. We show that the zeros equidistribute within such balls as $k \rightarrow \infty$ as long as the radii shrink at a rate at…
▽ More
We study the behavior of zeros and mass of holomorphic Hecke cusp forms on $SL_2(\mathbb Z) \backslash \mathbb H$ at small scales. In particular, we examine the distribution of the zeros within hyperbolic balls whose radii shrink sufficiently slowly as $k \rightarrow \infty$. We show that the zeros equidistribute within such balls as $k \rightarrow \infty$ as long as the radii shrink at a rate at most a small power of $1/\log k$. This relies on a new, effective, proof of Rudnick's theorem on equidistribution of the zeros and on an effective version of Quantum Unique Ergodicity for holomorphic forms, which we obtain in this paper.
We also examine the distribution of the zeros near the cusp of $SL_2(\mathbb Z) \backslash \mathbb H$. Ghosh and Sarnak conjectured that almost all the zeros here lie on two vertical geodesics. We show that for almost all forms a positive proportion of zeros high in the cusp do lie on these geodesics. For all forms, we assume the Generalized Lindelöf Hypothesis and establish a lower bound on the number of zeros that lie on these geodesics, which is significantly stronger than the previous unconditional results.
△ Less
Submitted 16 June, 2015; v1 submitted 6 January, 2015;
originally announced January 2015.
-
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.