Search

We show that almost all sectors of the disc $\{z \in \mathbb{C}: |z|^2\leq X\}$ of area $(\log X)^{15.1}$ contain products of exactly two Gaussian primes, and that almost all sectors of area $(\log X)^{1 + \varepsilon}$ contain products of exactly three Gaussian primes. The argument is based on mean value theorems, large value estimates and pointwise bounds for Hecke character sums., Comment: 54 pages

Let $\lambda$ denote the Liouville function. We show that the logarithmic mean of $\lambda(\lfloor \alpha_1n\rfloor)\lambda(\lfloor \alpha_2n\rfloor)$ is $0$ whenever $\alpha_1,\alpha_2$ are positive reals with $\alpha_1/\alpha_2$ irrational. We also show that for $k\geq 3$ the logarithmic mean of $\lambda(\lfloor \alpha_1n\rfloor)\cdots \lambda(\lfloor \alpha_kn\rfloor)$ has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers $\alpha_i$. Our results for the Liouville function generalise to produce independence statements for general bounded real-valued multiplicative functions evaluated at Beatty sequences. These results answer the two-point case of a conjecture of Frantzikinakis (and provide some progress on the higher order cases), generalising a recent result of Crn\v{c}evi\'c--Hern\'andez--Rizk--Sereesuchart--Tao. As an ingredient in our proofs, we establish bounds for the logarithmic correlations of the Liouville function along Bohr sets.

A conjecture of Erd\H{o}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 $\psi \pmod{q}$ such that $\psi(p) = -1$ for almost all primes $p \leq q$., Comment: 45 pages; added Theorem 1.3(ii)

Let $f:\mathbb{N}\to \mathbb{D}$ be a multiplicative function. Under the merely necessary assumption that $f$ is non-pretentious (in the sense of Granville and Soundararajan), we show that for any pair of distinct integer shifts $h_1,h_2$ the two-point correlation $$\frac{1}{x}\sum_{n\leq x}{f(n+h_1)\overline{f}(n+h_2)}$$ tends to $0$ along a set of $x\in\mathbb{N}$ of full upper logarithmic density. We also show that the same result holds for the $k$-point correlations $$\frac{1}{x}\sum_{n\leq x}{f(n+h_1)\cdots f(n+h_k)}$$ if $k$ is odd and $f$ is a real-valued non-pretentious function. Previously, the vanishing of correlations was known only under stronger non-pretentiousness hypotheses on $f$ by the works of Tao, and Tao and the third author. We derive several applications, including: (i) A classification of $\pm 1$-valued completely multiplicative functions that omit a length four sign pattern, solving a 1974 conjecture of R.H. Hudson. (ii) A proof that a class of "Liouville-like" functions satisfies the unweighted Elliott conjecture of all orders, solving a problem of de la Rue. (iii) Constructing examples of multiplicative $f:\mathbb{N}\to \{-1,0,1\}$ with a given (unique) Furstenberg system, answering a question of Lema\'nczyk. (iv) A density version of the Erd\H{o}s discrepancy theorem of Tao., Comment: 55 pages; small edits

We study higher uniformity properties of the M\"obius function $\mu$, the von Mangoldt function $\Lambda$, and the divisor functions $d_k$ on short intervals $(X,X+H]$ with $X^{\theta+\varepsilon} \leq H \leq X^{1-\varepsilon}$ for a fixed constant $0 \leq \theta < 1$ and any $\varepsilon>0$. More precisely, letting $\Lambda^\sharp$ and $d_k^\sharp$ be suitable approximants of $\Lambda$ and $d_k$ and $\mu^\sharp = 0$, we show for instance that, for any nilsequence $F(g(n)\Gamma)$, we have \[ \sum_{X < n \leq X+H} (f(n)-f^\sharp(n)) F(g(n) \Gamma) \ll H \log^{-A} X \] when $\theta = 5/8$ and $f \in \{\Lambda, \mu, d_k\}$ or $\theta = 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,\theta$. 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., Comment: 102 pages; referee comments incorporated

We show that for all $n\leq X$ apart from $O(X\exp(-c(\log X)^{1/2}(\log \log X)^{1/2}))$ exceptions, the alternating group $A_n$ is invariably generated by two elements of prime order. This answers (in a quantitative form) a question of Guralnick, Shareshian and Woodroofe., Comment: 11 pages; Referee comments incorporated; to appear in IMRN

We consider the exceptional set in the binary Goldbach problem for sums of two almost twin primes. Our main result is a power-saving bound for the exceptional set in the problem of representing $m=p_1+p_2$ where $p_1+2$ has at most $2$ prime divisors and $p_2+2$ has at most $3$ prime divisors. There are three main ingredients in the proof: a new transference principle like approach for sieves, a combination of the level of distribution estimates of Bombieri--Friedlander--Iwaniec and Maynard with ideas of Drappeau to produce power savings, and a generalisation of the circle method arguments of Montgomery and Vaughan that incorporates sieve weights.

We show that, for the M\"obius function $\mu(n)$, we have $$ \sum_{x < n\leq x+x^{\theta}}\mu(n)=o(x^{\theta}) $$ for any $\theta>0.55$. This improves on a result of Ramachandra from 1976, which is valid for $\theta>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\'e'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\"obius function as well as some results on multiplicative functions and almost primes in short intervals., Comment: 18 pages; referee comments incorporated