The method of proof of Balog and Ruzsa and the large sieve of Linnik are used to investigate the behaviour of the $L^{1}$ norm of a wide class of exponential sums over the square-free integers and the primes. Further, a new proof of the lower bound due to Vaughan for the $L^{1}$ norm of an exponential sum with the von Mangoldt $Λ$ function over the primes is furnished. Ramanujan's sum arises naturally in the proof, which also employs Linnik's large sieve.
We show that almost all natural numbers n not divisible by 4, and not congruent to 7 modulo 8, are represented as the sum of three squares, one of which is the square of an integer no larger than (log n)^{1+e} (any e>0). This answers a conjecture of Linnik for almost all natural numbers, and sharpens a conclusion of Bourgain, Rudnick and Sarnak concerning nearest neighbour distances between normalised integral points on the sphere.
We study certain aspects of the Selberg sieve, in particular when sifting by rather thin sets of primes. We derive new results for the lower bound sieve suited especially for this setup and we apply them in particular to give a new sieve-propelled proof of Linnik's theorem on the least prime in an arithmetic progression in the case of the presence of exceptional zeros.
In this work and its sister paper [5] we give a new proof of the famous Linnik theorem bounding the least prime in an arithmetic progression. Using sieve machinery in both papers, we are able to dipense with the log-free zero density bounds and the repulsion property of exceptional zeros, two deep innovations begun by Linnik and reelied on in earlier proofs.
We analyze certain bilinear forms involving $GL_3$ Kloosterman sums. As an application, we obtain an improved estimate for the $GL_3$ spectral large sieve inequality.
We prove best-possible bounds for bilinear forms in Kloosterman sums for GL(3) associated with the long Weyl element. As an application we derive a best-possible spectral large sieve inequality on GL(3).
A new polynomial sieve is presented and used to show that almost all integers have at most one representation as a sum of two values of a given polynomial of degree at least 3.
By using a variant of Kowalski's large sieve for Frobenius in compatible systems, we obtain zero-density estimates for arguments of $\ell$-adic trace functions over finite fields with values in some algebraic subsets of the cyclotomic integers, when the monodromy groups are known. This applies in particular to hyper-Kloosterman sums and general exponential sums considered by Katz.
We study the average size of shifted convolution summation terms related to the problem of Quantum Unique Ergodicity on ${\rm SL}_2 (\mathbbm{Z})\backslash \mathbbm{H}$. Establishing an upper-bound sieve method for handling such sums, we achieve an unconditional result which suggests that the average size of the summation terms should be sufficient in application to Quantum Unique Ergodicity. In other words, cancellations among the summation terms, although welcomed, may not be required. Furthermore, the sieve method may be applied to shifted sums of other multiplicative functions with similar…
Let $f\in\mathbb{Z}[T]$ be any polynomial of degree $d>1$ and $F\in\mathbb{Z}[X_{0},...,X_{n}]$ an irreducible homogeneous polynomial of degree $e>1$ such that the projective hypersurface $V(F)$ is smooth. In this paper we give a bound for \[ N(f,F,B):=|\{\textbf{x}\in\mathbb{Z}^{n+1}:\max_{0\leq i\leq n}|x_{i}|\leq B,\exists t\in\mathbb{Z}\text{ such that }f(t)=F(\textbf{x})\}|, \] To do this, we introduce a generalization of the Heath-Brown and Munshi's power sieve and we extend two results by Deligne and Katz on estimates for additive and multiplicative characters in many variables.
Almost primes and primes that are sums of two squares plus 1
Institut Élie Cartan de Lorraine, Université de Lorraine, CNRS（洛林埃利嘉当研究所，洛林大学，法国国家科学研究中心）；Department of Mathematics, University of Illinois Urbana–Champaign（伊利诺伊大学厄巴纳-香槟分校数学系）；Max-Planck-Institut für Mathematik（马克斯·普朗克数学研究所）
In this paper, we investigate the asymptotics of a class of weighted sums over multiplicative functions and apply our results to deduce a stronger asymptotic form of Yitang Zhang's smoothened GPY sieve with coefficient expressions that are friendly to numerical computations.
Large sieve inequality for sums of Legendre symbols over short intervals
Université Jean Monnet, Centrale Lyon, INSA Lyon, Université Claude Bernard Lyon 1, CNRS, ICJ UMR5208（让·莫内大学、里昂中央理工学院、里昂国立应用科学学院、里昂第一大学、法国国家科学研究中心、ICJ UMR5208）；School of Mathematics and Statistics, University of New South Wales（新南威尔士大学数学与统计学院）；Department of Mathematics, University of Bristol（布里斯托大学数学系）；School of Mathematical Sciences, Shanghai Jiao Tong University（上海交通大学数学科学学院）
We obtain asymptotic formulas for the $2k$th moments of partially smoothed divisor sums of the Möbius function. When $2k$ is small compared with $A$, the level of smoothing, then the main contribution to the moments come from integers with only large prime factors, as one would hope for in sieve weights. However if $2k$ is any larger, compared with $A$, then the main contribution to the moments come from integers with quite a few prime factors, which is not the intention when designing sieve weights. The threshold for "small" occurs when $A=\frac 1{2k} \binom{2k}{k}-1$. One can ask analogous q…
We give a large sieve type inequality for functions supported on primes. As application we prove a conjecture by Elliott, and give bounds for short character sums over primes. The proves uses a combination of the large sieve and the Selberg sieve.
We use the large sieve inequality for smooth numbers due to S. Drappeau, A. Granville and X. Shao (2017), together with some other arguments, to improve their bounds on the frequency of pairs $(q,χ)$ of moduli $q$ and primitive characters $χ$ modulo $q$, for which the corresponding character sums with smooth numbers are large.
We prove a uniform estimate for sums of Hecke--Maass eigenvalues squared over primes in short intervals that can be regarded as an analogue of Hoheisel's classical prime number theorem for all real analytic cusp forms. Our argument is modelled after our treatment of Linnik's least prime number theorem for arithmetic progressions (Tata LN 72) and depends on recent works in the theory of automorphic representations. We stress that constants in the present work, including those implicit, are all universal and effectively computable, although we pay no particular attention to numerical precision. …
In this paper, by generalizing Bombieri and Iwaniec's double large sieve inequality, we obtain an estimation on a type of three-dimensional exponential sums with constant perturbation. As an application of our estimation, we obtain an asymptotic formula for a sum involving the Mangoldt function and the integral part function. This type of sum was originally studied by Bordelles-Dai-Heyman-Pan-Shparlinski.
We employ a generalised version of Heath-Brown's square sieve in order to establish an asymptotic estimate of the number of solutions $a, b \in \mathbb N$ to the equations $a+b=n$ and $a-b=n$, where $a$ is $k$-free and $b$ is $l$-free. This is the first time that this problem has been studied with distinct powers $k$ and $l$.
We prove that the Kloosterman sum $S(1,1;c)$ can change sign infinitely often as $c$ runs over squarefree moduli with at most 10 prime factors, which improves the previous results of E. Fouvry and Ph. Michel, J. Sivak-Fischler and K. Matomäki, replacing 10 by 23, 18 and 15, respectively. The method combines the Selberg sieve, equidistribution of Kloosterman sums and spectral theory of automorphic forms.
We prove that the existence of exceptional real zeroes of Dirichlet $L$-functions would lead to cancellations in the sum $\sum_{p\leq x} \Kl(1, p)$ of Kloosterman sums over primes, and also to sign changes of $\Kl(1, n)$, where $n$ runs over integers with exactly two prime factors. Our arguments involve a variant of Bombieri's sieve, bounds for twisted sums of Kloosterman sums, and work of Fouvry and Michel on sums of $\left| \Kl(1, n)\right|$.
Quartic Gauss sums over primes and metaplectic theta functions
Concordia University（康科迪亚大学）；Georgia Institute of Technology（佐治亚理工学院）；University of Northern British Columbia（不列颠哥伦比亚北部大学）；Northwestern University（西北大学）
We study the variance of sums of the $k$-fold divisor function $d_k(n)$ over sparse arithmetic progressions, with averaging over both residue classes and moduli. In a restricted range, we confirm an averaged version of a recent conjecture about the asymptotics of this variance. This result is closely related to moments of Dirichlet $L$-functions and our proof relies on the asymptotic large sieve.
If $k$ is a sufficiently large positive integer, we show that the Diophantine equation $$n (n+d) \cdots (n+ (k-1)d) = y^{\ell}$$ has at most finitely many solutions in positive integers $n, d, y$ and $\ell$, with $\operatorname{gcd}(n,d)=1$ and $\ell \geq 2$. Our proof relies upon Frey-Hellegouarch curves and results on supersingular primes for elliptic curves without complex multiplication, derived from upper bounds for short character sums and sieves, analytic and combinatorial.
In this paper we continue our study, begun in part I, of the exceptional set of integers, not restricted by elementary congruence conditions, which cannot be represented as sums of three or four squares of primes. We correct a serious oversight in our first paper, but make further progress on the exponential sums estimates needed, together with an embellishment of the previous sieve technique employed. This leads to an improvement in our bounds for the maximal size of the exceptional sets.
We study an instance of the Affine Sieve, producing a level of distribution beyond that which can be obtained from current techniques, even assuming a Selberg/Ramanujan-type spectral gap. In particular, we consider the set of hypotenuses in a thin orbit of Pythagorean triples. Previous work [Kon07, Kon09, KO12] gave an exponent of distribution alpha < 1/12 coming from Gamburd's [Gam02] gap theta = 5/6, thereby producing R = 13 almost primes in this linear sieve problem (see Sec. 1 for definitions). If conditioned on a best possible gap theta = 1/2, the known method would give an exponent alpha…
We prove new bounds for weighted mean values of sums involving Fourier coefficients of cusp forms that are automorphic with respect to a Hecke congruence subgroup Γ=Γ_0(q) of the group SL(2,Z[i]), and correspond to exceptional eigenvalues of the Laplace operator on the space L^2(Γ\SL(2,C)/SU(2)). These results are, for certain applications, an effective substitute for the generalised Selberg eigenvalue conjecture. We give a proof of one such application, which is an upper bound for a sum of generalised Kloosterman sums (of significance in the study of certain mean values of Hecke zeta-function…
By elaborating a two-dimensional Selberg sieve with asymptotics and equidistributions of Kloosterman sums from $\ell$-adic cohomology, as well as a Bombieri--Vinogradov type mean value theorem for Kloosterman sums in arithmetic progressions, it is proved that for any given primitive Hecke--Maass cusp form of trivial nebentypus, the eigenvalue of the $n$-th Hecke operator does not coincide with the Kloosterman sum $\mathrm{Kl}(1,n)$ for infinitely many squarefree $n$ with at most $100$ prime factors. This provides a partial negative answer to a problem of Katz on modular structures of Kloosterm…
We prove that $164634913$ is the smallest positive integer that is a sum of two rational sixth powers but not a sum of two integer sixth powers. If $C_{k}$ is the curve $x^{6} + y^{6} = k$, we use the existence of morphisms from $C_{k}$ to elliptic curves, together with the Mordell-Weil sieve, to rule out the existence of rational points on $C_{k}$ for various $k$.
We prove, in respect of an arbitrary Hecke congruence subgroup Γ=Γ_0(q_0) of the group SL(2,Z[i]), some new upper bounds (or `spectral large sieve inequalities') for sums involving Fourier coefficients of Γ-automorphic cusp forms on SL(2,C). The Fourier coefficients in question may arise from the Fourier expansion at any given cusp c of Γ: our results are not limited to the case in which c is the cusp at infinity. For this reason, our proof is reliant upon an extension, to arbitrary cusps, of the spectral-Kloosterman sum formula for Γ\SL(2,C) obtained by Hristina Lokvenec-Guleska in her doctor…
We study the Goldbach problem for primes represented by the polynomial $x^2+y^2+1$. The set of such primes is sparse in the set of all primes, but the infinitude of such primes was established by Linnik. We prove that almost all even integers $n$ satisfying certain necessary local conditions are representable as the sum of two primes of the form $x^2+y^2+1$. This improves a result of Matomäki, which tells that almost all even $n$ satisfying a local condition are the sum of one prime of the form $x^2+y^2+1$ and one generic prime. We also solve the analogous ternary Goldbach problem, stating tha…
We provide a new proof of Hua's result that every sufficiently large integer N\equiv 5(mod\,24) can be written as the sum of the five prime squares. Hua's original proof relies on the circle method and uses results from the theory of $L$-functions. Here, we present a proof based on the transference principle first introduced by Green. Using a sieve theoretic approach similar to the work by Shao, we do not require any results related to the distributions of zeros of L- functions. The main technical difficulty of our approach lies in proving the pseudorandomness of the majorant of the characteri…
For any $\varepsilon >0$, we obtain an asymptotic formula for the number of solutions $n \le x$ to $$ \lVert αn + β\rVert < x^{-\frac{1}{4}+\varepsilon} $$ where $n$ is $[y,z]$-smooth for infinitely many real number $x$. In addition, we also establish an asymptotic formula with an additional square-free condition on $n$. Moreover, if $α$ is quadratic irrational then the asymptotic formulas holds for all sufficiently large $x$. Our ingredients come from the Harman sieve which we adapt suitably to sieve for $[y,z]$-smooth numbers. The arithmetic information comes from estimates for exponential s…
We first show joint uniform distribution of values of Kloosterman sums or Birch sums among all extensions of a finite field $\mathbb{F}_q$, for almost all couples of arguments in $\mathbb{F}_q^\times$, as well as lower bounds on differences. Using similar ideas, we then study the biases in the distribution of generalized angles of Gaussian primes over function fields and primes in short intervals over function fields, following recent works of Rudnick--Waxman and Keating--Rudnick, building on cohomological interpretations and determinations of monodromy groups by Katz. Our results are based on…
We study the representations of large integers $n$ as sums $p_1^2 + ... + p_s^2$, where $p_1,..., p_s$ are primes with $| p_i - (n/s)^{1/2} | \le n^{θ/2}$, for some fixed $θ< 1$. When $s = 5$ we use a sieve method to show that all sufficiently large integers $n \equiv 5 \pmod {24}$ can be represented in the above form for $θ> 8/9$. This improves on earlier work by Liu, Lü and Zhan, who established a similar result for $θ> 9/10$. We also obtain estimates for the number of integers $n$ satisfying the necessary local conditions but lacking representations of the above form with $s = 3, 4$. When $…
For a prime $p$ and an integer $u$ with $\gcd(u,p)=1$, we define Fermat quotients by the conditions $$ q_p(u) \equiv \frac{u^{p-1} -1}{p} \pmod p, \qquad 0 \le q_p(u) \le p-1. $$ D. R. Heath-Brown has given a bound of exponential sums with $N$ consecutive Fermat quotients that is nontrivial for $N\ge p^{1/2+ε}$ for any fixed $ε>0$. We use a recent idea of M. Z. Garaev together with a form of the large sieve inequality due to S. Baier and L. Zhao, to show that on average over $p$ one can obtain a nontrivial estimate for much shorter sums starting with $N\ge p^ε$. We also obtain lower bounds on …
We prove that $q+1$-regular Morgenstern Ramanujan graphs $X^{q,g}$ (depending on $g\in\mathbb{F}_q[t]$) have diameter at most $\left(\frac{4}{3}+\varepsilon\right)\log_{q}|X^{q,g}|+O_{\varepsilon}(1)$ (at least for odd $q$ and irreducible $g$) provided that a twisted Linnik-Selberg conjecture over $\mathbb{F}_q(t)$ is true. This would break the 30 year-old upper bound of $2\log_{q}|X^{q,g}|+O(1)$, a consequence of a well-known upper bound on the diameter of regular Ramanujan graphs proved by Lubotzky, Phillips, and Sarnak using the Ramanujan bound on Fourier coefficients of modular forms. We a…
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations. As the recursion proceeds, adjacent gaps within longer constellations are added together to produce shorter constellations of the same sum. These additions or closures correspond to removing composite numbers that are divisible by the prime for that stage of Eratosthenes sieve. Although we don't know where in the cycle of gaps a closure wil…
Sign changes of Kloosterman sums with moduli having at most six prime factors
School of Mathematics and Statistics, Shaanxi Normal University（陕西师范大学数学与统计学院）；Research Center for Number Theory and Its Applications, Northwest University（西北大学数论及其应用研究中心）
Let (G, V) be a prehomogeneous vector space, let O be any G(F_q)-invariant subset of V(F_q), and let f be the characteristic function of O. In this paper we develop a method for explicitly and efficiently evaluating the Fourier transform of f, based on combinatorics and linear algebra. We then carry out these computations in full for each of five prehomogeneous vector spaces, including the 12-dimensional space of pairs of ternary quadratic forms. Our computations reveal that these Fourier transforms enjoy a great deal of structure, and sometimes exhibit more than square root cancellation on av…
The Selberg sieve provides majorants for certain arithmetic sequences, such as the primes and the twin primes. We prove an L^2-L^p restriction theorem for majorants of this type. An immediate application is to the estimation of exponential sums over prime k-tuples. Let a_1,...,a_k and b_1,...,b_k be positive integers. For t on the unit circle write h(t) := \sum_{n \in X} e(nt)$, where X is the set of all n <= N such that the numbers a_1n + b_1,..., a_kn + b_k are all prime. We obtain upper bounds for the L^p norm of h, p > 2, which are (conditionally on the prime tuple conjecture) of the corre…
