-
Weighted sieves with switching
Authors:
Kaisa Matomäki,
Sebastian Zuniga Alterman
Abstract:
Weighted sieves are used to detect numbers with at most $S$ prime factors with $S \in \mathbb{N}$ as small as possible. When one studies problems with two variables in somewhat symmetric roles (such as Chen primes, that is primes $p$ such that $p+2$ has at most two prime factors), one can utilize the switching principle. Here we discuss how different sieve weights work in such a situation, concent…
▽ More
Weighted sieves are used to detect numbers with at most $S$ prime factors with $S \in \mathbb{N}$ as small as possible. When one studies problems with two variables in somewhat symmetric roles (such as Chen primes, that is primes $p$ such that $p+2$ has at most two prime factors), one can utilize the switching principle. Here we discuss how different sieve weights work in such a situation, concentrating in particular in detecting a prime along with a product of at most three primes.
As applications, we improve on the works of Yang and Harman concerning Diophantine approximation with a prime and an almost prime, and prove that, in general, one can find a pair $(p, P_3)$ when both the original and the switched problem have level of distribution at least $0.267$.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
A note on zero density results implying large value estimates for Dirichlet polynomials
Authors:
Kaisa Matomäki,
Joni Teräväinen
Abstract:
In this note we investigate connections between zero density estimates for the Riemann zeta function and large value estimates for Dirichlet polynomials. It is well known that estimates of the latter type imply estimates of the former type. Our goal is to show that there is an implication to the other direction as well, i.e. zero density estimates for the Riemann zeta function imply large value es…
▽ More
In this note we investigate connections between zero density estimates for the Riemann zeta function and large value estimates for Dirichlet polynomials. It is well known that estimates of the latter type imply estimates of the former type. Our goal is to show that there is an implication to the other direction as well, i.e. zero density estimates for the Riemann zeta function imply large value estimates for Dirichlet polynomials.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Primes in arithmetic progressions and short intervals without $L$-functions
Authors:
Kaisa Matomäki,
Jori Merikoski,
Joni Teräväinen
Abstract:
We develop a sieve that can detect primes in multiplicatively structured sets under certain conditions. We apply it to obtain a new $L$-function free proof of Linnik's problem of bounding the least prime $p$ such that $p\equiv a\pmod q$ (with the bound $p \ll q^{350}$) as well as a new $L$-function free proof that the interval $(x-x^{39/40}, x]$ contains primes for every large $x$. In a future wor…
▽ More
We develop a sieve that can detect primes in multiplicatively structured sets under certain conditions. We apply it to obtain a new $L$-function free proof of Linnik's problem of bounding the least prime $p$ such that $p\equiv a\pmod q$ (with the bound $p \ll q^{350}$) as well as a new $L$-function free proof that the interval $(x-x^{39/40}, x]$ contains primes for every large $x$. In a future work we will develop the sieve further and provide more applications.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
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.
-
A note on exceptional characters and non-vanishing of Dirichlet $L$-functions
Authors:
Martin Čech,
Kaisa Matomäki
Abstract:
We study non-vanishing of Dirichlet $L$-functions at the central point under the unlikely assumption that there exists an exceptional Dirichlet character. In particular we prove that if $ψ$ is a real primitive character modulo $D \in \mathbb{N}$ with $L(1, ψ) \ll (\log D)^{-25-\varepsilon}$, then, for any prime $q \in [D^{300}, D^{O(1)}]$, one has $L(1/2, χ) \neq 0$ for almost all Dirichlet charac…
▽ More
We study non-vanishing of Dirichlet $L$-functions at the central point under the unlikely assumption that there exists an exceptional Dirichlet character. In particular we prove that if $ψ$ is a real primitive character modulo $D \in \mathbb{N}$ with $L(1, ψ) \ll (\log D)^{-25-\varepsilon}$, then, for any prime $q \in [D^{300}, D^{O(1)}]$, one has $L(1/2, χ) \neq 0$ for almost all Dirichlet characters $χ\pmod{q}$.
△ Less
Submitted 12 December, 2023; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Products of primes in arithmetic progressions
Authors:
Kaisa Matomäki,
Joni Teräväinen
Abstract:
A conjecture of Erdős states that, for any large prime $q$, every reduced residue class $\pmod q$ can be represented as a product $p_1p_2$ of two primes $p_1,p_2\leq q$. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integer $q$, every reduced residue class $\pmod q$ can be written as $p_1p_2p_3$ with $p_1,p_2,p_3\leq q$ primes. We also show t…
▽ More
A conjecture of Erdős states that, for any large prime $q$, every reduced residue class $\pmod q$ can be represented as a product $p_1p_2$ of two primes $p_1,p_2\leq q$. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integer $q$, every reduced residue class $\pmod q$ can be written as $p_1p_2p_3$ with $p_1,p_2,p_3\leq q$ primes. We also show that, for any $\varepsilon > 0$ and any sufficiently large integer $q$, at least $(2/3-\varepsilon)\varphi(q)$ reduced residue classes $\pmod q$ can be represented as a product $p_1 p_2$ of two primes $p_1, p_2 \leq q$. The problems naturally reduce to studying character sums. The main innovation in the paper is the establishment of a multiplicative dense model theorem for character sums over primes in the spirit of the transference principle. In order to deal with possible local obstructions we use bounds for the logarithmic density of primes in certain unions of cosets of subgroups of $\mathbb{Z}_q^\times$ of small index and study in detail the exceptional case that there exists a quadratic character $ψ\pmod{q}$ such that $ψ(p) = -1$ for almost all primes $p \leq q$.
△ Less
Submitted 15 February, 2024; v1 submitted 18 January, 2023;
originally announced January 2023.
-
Almost primes in almost all short intervals II
Authors:
Kaisa Matomäki,
Joni Teräväinen
Abstract:
We show that, for almost all $x$, the interval $(x, x+(\log x)^{2.1}]$ contains products of exactly two primes. This improves on a work of the second author that had $3.51$ in place of $2.1$. To obtain this improvement, we prove a new type II estimate. One of the new innovations is to use Heath-Brown's mean value theorem for sparse Dirichlet polynomials.
We show that, for almost all $x$, the interval $(x, x+(\log x)^{2.1}]$ contains products of exactly two primes. This improves on a work of the second author that had $3.51$ in place of $2.1$. To obtain this improvement, we prove a new type II estimate. One of the new innovations is to use Heath-Brown's mean value theorem for sparse Dirichlet polynomials.
△ Less
Submitted 1 February, 2023; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Higher uniformity of arithmetic functions in short intervals I. All intervals
Authors:
Kaisa Matomäki,
Xuancheng Shao,
Terence Tao,
Joni Teräväinen
Abstract:
We study higher uniformity properties of the Möbius function $μ$, the von Mangoldt function $Λ$, and the divisor functions $d_k$ on short intervals $(X,X+H]$ with $X^{θ+\varepsilon} \leq H \leq X^{1-\varepsilon}$ for a fixed constant $0 \leq θ< 1$ and any $\varepsilon>0$.
More precisely, letting $Λ^\sharp$ and $d_k^\sharp$ be suitable approximants of $Λ$ and $d_k$ and $μ^\sharp = 0$, we show for…
▽ More
We study higher uniformity properties of the Möbius function $μ$, the von Mangoldt function $Λ$, and the divisor functions $d_k$ on short intervals $(X,X+H]$ with $X^{θ+\varepsilon} \leq H \leq X^{1-\varepsilon}$ for a fixed constant $0 \leq θ< 1$ and any $\varepsilon>0$.
More precisely, letting $Λ^\sharp$ and $d_k^\sharp$ be suitable approximants of $Λ$ and $d_k$ and $μ^\sharp = 0$, we show for instance that, for any nilsequence $F(g(n)Γ)$, we have \[ \sum_{X < n \leq X+H} (f(n)-f^\sharp(n)) F(g(n) Γ) \ll H \log^{-A} X \] when $θ= 5/8$ and $f \in \{Λ, μ, d_k\}$ or $θ= 1/3$ and $f = d_2$.
As a consequence, we show that the short interval Gowers norms $\|f-f^\sharp\|_{U^s(X,X+H]}$ are also asymptotically small for any fixed $s$ for these choices of $f,θ$. As applications, we prove an asymptotic formula for the number of solutions to linear equations in primes in short intervals, and show that multiple ergodic averages along primes in short intervals converge in $L^2$.
Our innovations include the use of multi-parameter nilsequence equidistribution theorems to control type $II$ sums, and an elementary decomposition of the neighbourhood of a hyperbola into arithmetic progressions to control type $I_2$ sums.
△ Less
Submitted 28 February, 2024; v1 submitted 7 April, 2022;
originally announced April 2022.
-
Siegel zeros, twin primes, Goldbach's conjecture, and primes in short intervals
Authors:
Kaisa Matomäki,
Jori Merikoski
Abstract:
We study the distribution of prime numbers under the unlikely assumption that Siegel zeros exist. In particular we prove for \[ \sum_{n \leq X} Λ(n) Λ(\pm n+h) \] an asymptotic formula which holds uniformly for $h = O(X)$. Such an asymptotic formula has been previously obtained only for fixed $h$ in which case our result quantitatively improves those of Heath-Brown (1983) and Tao and Teräväinen (2…
▽ More
We study the distribution of prime numbers under the unlikely assumption that Siegel zeros exist. In particular we prove for \[ \sum_{n \leq X} Λ(n) Λ(\pm n+h) \] an asymptotic formula which holds uniformly for $h = O(X)$. Such an asymptotic formula has been previously obtained only for fixed $h$ in which case our result quantitatively improves those of Heath-Brown (1983) and Tao and Teräväinen (2021).
Since our main theorems work also for large $h$ we can derive new results concerning connections between Siegel zeros and the Goldbach conjecture and between Siegel zeros and primes in almost all very short intervals.
△ Less
Submitted 5 February, 2022; v1 submitted 21 December, 2021;
originally announced December 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.
-
Almost primes in almost all very short intervals
Authors:
Kaisa Matomäki
Abstract:
We show that as soon as $h\to \infty$ with $X \to \infty$, almost all intervals $(x-h\log X, x]$ with $x \in (X/2, X]$ contain a product of at most two primes. In the proof we use Richert's weighted sieve, with the arithmetic information eventually coming from results of Deshouillers and Iwaniec on averages of Kloosterman sums.
We show that as soon as $h\to \infty$ with $X \to \infty$, almost all intervals $(x-h\log X, x]$ with $x \in (X/2, X]$ contain a product of at most two primes. In the proof we use Richert's weighted sieve, with the arithmetic information eventually coming from results of Deshouillers and Iwaniec on averages of Kloosterman sums.
△ Less
Submitted 18 January, 2022; v1 submitted 21 December, 2020;
originally announced December 2020.
-
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.
-
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.
-
On the Möbius function in all short intervals
Authors:
Kaisa Matomäki,
Joni Teräväinen
Abstract:
We show that, for the Möbius function $μ(n)$, we have $$ \sum_{x < n\leq x+x^θ}μ(n)=o(x^θ) $$ for any $θ>0.55$. This improves on a result of Ramachandra from 1976, which is valid for $θ>7/12$. Ramachandra's result corresponded to Huxley's $7/12$ exponent for the prime number theorem in short intervals. The main new idea leading to the improvement is using Ramaré's identity to extract a small prime…
▽ More
We show that, for the Möbius function $μ(n)$, we have $$ \sum_{x < n\leq x+x^θ}μ(n)=o(x^θ) $$ for any $θ>0.55$. This improves on a result of Ramachandra from 1976, which is valid for $θ>7/12$. Ramachandra's result corresponded to Huxley's $7/12$ exponent for the prime number theorem in short intervals. The main new idea leading to the improvement is using Ramaré's identity to extract a small prime factor from the $n$-sum. The proof method also allows us to improve on an estimate of Zhan for the exponential sum of the Möbius function as well as some results on multiplicative functions and almost primes in short intervals.
△ Less
Submitted 1 December, 2020; v1 submitted 20 November, 2019;
originally announced November 2019.
-
Discorrelation between primes in short intervals and polynomial phases
Authors:
Kaisa Matomäki,
Xuancheng Shao
Abstract:
Let $H = N^θ, θ> 2/3$ and $k \geq 1$. We obtain estimates for the following exponential sum over primes in short intervals: \[ \sum_{N < n \leq N+H} Λ(n) e(g(n)), \] where $g$ is a polynomial of degree $k$. As a consequence of this in the special case $g(n) = αn^k$, we deduce a short interval version of the Waring-Goldbach problem.
Let $H = N^θ, θ> 2/3$ and $k \geq 1$. We obtain estimates for the following exponential sum over primes in short intervals: \[ \sum_{N < n \leq N+H} Λ(n) e(g(n)), \] where $g$ is a polynomial of degree $k$. As a consequence of this in the special case $g(n) = αn^k$, we deduce a short interval version of the Waring-Goldbach problem.
△ Less
Submitted 26 June, 2019; v1 submitted 12 February, 2019;
originally announced February 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.
-
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.
-
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.
-
Vinogradov's theorem with almost equal summands
Authors:
Kaisa Matomäki,
James Maynard,
Xuancheng Shao
Abstract:
Let $θ> 11/20$. We prove that every sufficiently large odd integer $n$ can be written as a sum of three primes $n = p_1 + p_2 + p_3$ with $|p_i - n/3| \leq n^θ$ for $i\in\{1,2,3\}$.
Let $θ> 11/20$. We prove that every sufficiently large odd integer $n$ can be written as a sum of three primes $n = p_1 + p_2 + p_3$ with $|p_i - n/3| \leq n^θ$ for $i\in\{1,2,3\}$.
△ Less
Submitted 13 March, 2017; v1 submitted 6 October, 2016;
originally announced October 2016.
-
Vinogradov's three primes theorem with almost twin primes
Authors:
Kaisa Matomäki,
Xuancheng Shao
Abstract:
In this paper we prove two results concerning Vinogradov's three primes theorem with primes that can be called almost twin primes. First, for any $m$, every sufficiently large odd integer $N$ can be written as a sum of three primes $p_1, p_2$ and $p_3$ such that, for each $i \in \{1,2,3\}$, the interval $[p_i, p_i + H]$ contains at least $m$ primes, for some $H = H(m)$. Second, every sufficiently…
▽ More
In this paper we prove two results concerning Vinogradov's three primes theorem with primes that can be called almost twin primes. First, for any $m$, every sufficiently large odd integer $N$ can be written as a sum of three primes $p_1, p_2$ and $p_3$ such that, for each $i \in \{1,2,3\}$, the interval $[p_i, p_i + H]$ contains at least $m$ primes, for some $H = H(m)$. Second, every sufficiently large integer $N \equiv 3 \pmod{6}$ can be written as a sum of three primes $p_1, p_2$ and $p_3$ such that, for each $i \in \{1,2,3\}$, $p_i + 2$ has at most two prime factors.
△ Less
Submitted 5 January, 2017; v1 submitted 10 December, 2015;
originally announced December 2015.
-
When the sieve works II
Authors:
Kaisa Matomäki,
Xuancheng Shao
Abstract:
For a set of primes $\mathcal{P}$, let $Ψ(x, \mathcal{P})$ be the number of positive integers $n \leq x$ all of whose prime factors lie in $\mathcal{P}$. In this paper we classify the sets of primes $\mathcal{P}$ such that $Ψ(x, \mathcal{P})$ is within a constant factor of its expected value. This task was recently initiated by Granville, Koukoulopoulos and Matomäki and their main conjecture is pr…
▽ More
For a set of primes $\mathcal{P}$, let $Ψ(x, \mathcal{P})$ be the number of positive integers $n \leq x$ all of whose prime factors lie in $\mathcal{P}$. In this paper we classify the sets of primes $\mathcal{P}$ such that $Ψ(x, \mathcal{P})$ is within a constant factor of its expected value. This task was recently initiated by Granville, Koukoulopoulos and Matomäki and their main conjecture is proved in this paper. In particular our main theorem implies that, if not too many large primes are sieved out in the sense that \[ \sum_{\substack{p \in \mathcal{P} \\ x^{1/v} < p \leq x^{1/u}}} \frac{1}{p} \geq \frac{1 + \varepsilon}{u}, \] for some $\varepsilon > 0$ and $v \geq u \geq 1$, then \[ Ψ(x, \mathcal{P}) \gg_{\varepsilon, v} x \prod_{\substack{p \leq x\\ p \notin\mathcal{P}}} \left(1 - \frac{1}{p}\right). \]
△ Less
Submitted 8 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.
-
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.
-
Sign changes of Hecke eigenvalues
Authors:
Kaisa Matomäki,
Maksym Radziwill
Abstract:
Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $λ_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for some positive constant $δ$ and every large enough $x$, the sequence $(λ_f(n))_{n \leq x}$ has at least $δx$ sign changes. Furthermore we show that half of non-zero…
▽ More
Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $λ_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for some positive constant $δ$ and every large enough $x$, the sequence $(λ_f(n))_{n \leq x}$ has at least $δx$ sign changes. Furthermore we show that half of non-zero $λ_f(n)$ are positive and half are negative. In the Maass case, it is not yet known that the coefficients are non-lacunary, but our method is robust enough to show that on the relative set of non-zero coefficients there is a positive proportion of sign changes. In both cases previous lower bounds for the number of sign changes were of the form $x^δ$ for some $δ< 1$.
△ Less
Submitted 21 April, 2015; v1 submitted 29 May, 2014;
originally announced May 2014.
-
When the sieve works
Authors:
Andrew Granville,
Dimitris Koukoulopoulos,
Kaisa Matomäki
Abstract:
We are interested in classifying those sets of primes $\mathcal{P}$ such that when we sieve out the integers up to $x$ by the primes in $\mathcal{P}^c$ we are left with roughly the expected number of unsieved integers. In particular, we obtain the first general results for sieving an interval of length $x$ with primes including some in $(\sqrt{x},x]$, using methods motivated by additive combinator…
▽ More
We are interested in classifying those sets of primes $\mathcal{P}$ such that when we sieve out the integers up to $x$ by the primes in $\mathcal{P}^c$ we are left with roughly the expected number of unsieved integers. In particular, we obtain the first general results for sieving an interval of length $x$ with primes including some in $(\sqrt{x},x]$, using methods motivated by additive combinatorics.
△ Less
Submitted 19 October, 2015; v1 submitted 2 May, 2012;
originally announced May 2012.
-
A new geometric approach to Sturmian words
Authors:
Kaisa Matomäki,
Kalle Saari
Abstract:
We introduce a new geometric approach to Sturmian words by means of a map** that associates certain lines in the n x n -grid and sets of finite Sturmian words of length n. Using this map**, we give new proofs of the formulas enumerating the finite Sturmian words and the palindromic finite Sturmian words of a given length. We also give a new proof for the well-known result that a factor of a St…
▽ More
We introduce a new geometric approach to Sturmian words by means of a map** that associates certain lines in the n x n -grid and sets of finite Sturmian words of length n. Using this map**, we give new proofs of the formulas enumerating the finite Sturmian words and the palindromic finite Sturmian words of a given length. We also give a new proof for the well-known result that a factor of a Sturmian word has precisely two return words.
△ Less
Submitted 21 January, 2012;
originally announced January 2012.