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 results under suitable conditions.
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 derive, for all prime moduli p except those in a very thin set, an upper bound for the least prime primitive root (mod p) of order of magnitude a constant power of log p. The improvement over previous results, where the upper bound was log p to an exponent tending to infinity with p, lies in the use of the linear sieve (a particular version called the shifted sieve) rather than Brun's sieve. The same methods allow us to rederive a conditional result of Shoup on the least prime primitive root (mod p) for all prime moduli p, assuming the generalized Riemann hypothesis. We also extend both res…
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.
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…
Shifted convolution sums play a prominent rôle in analytic number theory. We investigate pointwise bounds, mean-square bounds, and average bounds for shifted convolution sums for Hecke eigenforms.
The Fourier coefficient of a second order Eisenstein series is described as a shifted convolution sum. This description is used to obtain the spectral decomposition of and estimates for the shifted convolution sum.
We study the behavior of the shifted convolution sum involving fourth power of the Fourier coefficients of holomorphic cusp forms with a weight function to be the $k$-full kernel function for any fixed integer $k\geq2$.
In this work we provide a meromorphic continuation in three complex variables of two types of triple shifted convolution sums of Fourier coefficients of holomorphic cusp forms. The foundations of this construction are based in the continuation of the spectral expansion of a special truncated Poincaré series recently developed by Jeffrey Hoffstein. As a result we are able to produce previously unstudied and nontrivial asymptotics of truncated shifted sums which we expect to correspond to off-diagonal terms in the third moment of automorphic L-functions.
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.
For integer $q$, let $χ$ be a primitive multiplicative character$\pmod q.$ For integer $a$ coprime to $q$, we obtain a new bound for the sums $$\sum_{n\le N}Λ(n)χ(n+a),$$ where $Λ(n)$ is the von Mangoldt function. This bound improves and extends the range of a result of Friedlander, Gong and Shparlinski
Let $F$ be a number field and $π$ an irreducible cuspidal representation of $\mathrm{GL}_{2}(F)\backslash\mathrm{GL}_{2}(\mathbf{A})$ with unitary central character. Then the bound $$L(1/2,π\otimesχ)\ll_{F,π,χ_{\infty},\varepsilon} \mathcal{N}(\frak{q})^{3/8+θ/4+\varepsilon}$$ holds for any Hecke character $χ$ of conductor $\frak{q}$, where $θ$ is any constant towards the Ramanujan-Petersson conjecture ($θ=7/64$ is admissible). The proof is based on a spectral decomposition of shifted convolution sums.
For two arithmetical functions $f$ and $g$, we study the convolution sum of the form $\sum_{n \le N} f(n) g(n+h)$ in the context of its asymptotic formula with explicit error terms. Here we introduce the concept of finite Ramanujan expansion of an arithmetical function and extend our earlier works in this setup.
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$.
Let f be a classical holomorphic cusp form for SL_2(Z) of weight k which is a normalized eigenfunction for the Hecke algebra, and let λ(n) be its eigenvalues. In this paper we study "shifted convolution sums" of the eigenvalues λ(n) after averaging over many shifts h and obtain asymptotic estimates. The result is somewhat surprising: one encounters a transition region depending on the ratio of the square of the length of the average over h to the length of the shifted convolution sum. The phenomenon is similar to that encountered by Conrey, Farmer and Soundararajan in their 2000 paper Transiti…
Let $f$ be a cuspidal newform (holomorphic or Maass) of arbitrary level and nebentypus and denote by $λ_f(n)$ its $n$-th Hecke eigenvalue. Let $$ r(n)=\#\left\{(n_1,n_2)\in \mathbb{Z}^2:n_1^2+n_2^2=n\right\}. $$ In this paper, we study the shifted convolution sum $$ \mathcal{S}_h(X)=\sum_{n\leq X}λ_f(n+h)r(n), \qquad 1\leq h\leq X, $$ and establish uniform bounds with respect to the shift $h$ for $\mathcal{S}_h(X)$.
For the shifted convolution sum $$ D_h(X)=\sum_{m=1}^\inftyλ_1(1,m)λ_2(m+h)V(\frac{m}{X}) $$ where $λ_1(1,m)$ are the Fourier coefficients of a $SL(3,\mathbb Z)$ Maass form $π_1$, and $λ_2(m)$ are those of a $SL(2,\mathbb Z)$ Maass or holomorphic form $π_2$, and $1\leq |h| \ll X^{1+\varepsilon}$, we establish the bound $$ D_h(X)\ll_{π_1,π_2,\varepsilon} X^{1-(1/20)+\varepsilon}. $$ The bound is uniform with respect to the shift $h$.
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 continue our study of convolution sums of two arithmetical functions $f$ and $g$, of the form $\sum_{n \le N} f(n) g(n+h)$, in the context of heuristic asymptotic formulæ. Here, the integer $h\ge 0$ is called, as usual, the {\it shift} of the convolution sum. We deepen the study of finite Ramanujan expansions of general $f,g$ for the purpose of studying their convolution sum. Also, we introduce another kind of Ramanujan expansion for the convolution sum of $f$ and $g$, namely in terms of its shift $h$ and we compare this \lq \lq shifted Ramanujan expansion\rq \rq, with our previous finite e…
Let $A_f(1,n)$ be the normalized Fourier coefficients of a Hecke-Maass cusp form $f$ for $SL_3(\mathbb{Z})$ and $$ r_3(n)=\#\left\{(n_1,n_2,n_3)\in \mathbb{Z}^3:n_1^2+n_2^2+n_3^2=n\right\}. $$ Let $1\leq h\leq X$ and $ϕ(x)$ be a smooth function compactly supported on $[1/2,1]$. It is shown that $$ \sum_{n\geq 1}A_f(1,n+h)r_3(n)ϕ\left(\frac{n}{X}\right) \ll_{f,\varepsilon} X^{\frac{3}{2}-\frac{1}{8}+\varepsilon} $$ uniformly with respect to the shift $h$.
We consider the numbers $\mathcal{B}_{r,s} = (\mathbf{B}+1)^r \mathbf{B}^s$ (in umbral notation $\mathbf{B}^n = \mathbf{B}_n$ with the Bernoulli numbers) that have a well-known reciprocity relation, which is frequently found in the literature and goes back to the 19th century. In a recent paper, self-reciprocal Bernoulli polynomials, whose coefficients are related to these numbers, appeared in the context of power sums and the so-called Faulhaber polynomials. The numbers $\mathcal{B}_{r,s}$ can be recursively expressed by iterated sums and differences, so it is not obvious that these numbers d…
Let $f(n)$ be a multiplicative function with $|f(n)|\leq 1, q$ be a prime number and $a$ be an integer with $(a, q)=1, χ$ be a non-principal Dirichlet character modulo $q$. Let $\varepsilon$ be a sufficiently small positive constant, $A$ be a large constant, $q^{\frac12+\varepsilon}\ll N\ll q^A$. In this paper, we shall prove that $$ \sum_{n\leq N}f(n)χ(n+a)\ll N\frac{\log\log q}{\log q} $$ and that $$ \sum_{n\leq N}f(n)χ(n+a_1)\cdotsχ(n+a_t)\ll N\frac{\log\log q}{\log q}, $$ where $t\geq 2, a_1, \ldots, a_t$ are distinct integers modulo $q$.
The purpose of this paper is to obtain asymptotics of shifted sums of Hecke eigenvalue squares on average. We show that for $X^{\frac{2}{3}+ε} < H <X^{1-ε},$ there are constants $B_{h}$ such that $$ \sum_{X\leq n \leq 2X} λ_{f}(n)^{2}λ_{f}(n+h)^{2}-B_{h}X=O_{f,A,ε}\big(X (\log X)^{-A}\big)$$ for all but $O_{f,A,ε}\big(H(\log X)^{-3A}\big)$ integers $h \in [1,H]$ where $\{λ_{f}(n)\}_{n\geq1}$ are normalized Hecke eigenvalues of a fixed holomorphic cusp form $f.$ Our method is based on the Hardy-Littlewood circle method. We divide the minor arcs into two parts $m_{1}$ and $m_{2}.$ In order to tr…
It is a folklore conjecture that the Möbius function exhibits cancellation on shifted primes; that is, $\sum_{p\le X}μ(p+h) \ = \ o(π(X))$ as $X\to\infty$ for any fixed shift $h>0$. This appears in print at least since Hildebrand in 1989. We prove the conjecture on average for shifts $h\le H$, provided $\log H/\log\log X\to\infty$. We also obtain results for shifts of prime $k$-tuples, and for higher correlations of Möbius with von Mangoldt and divisor functions. Our argument combines sieve methods with a refinement of Matomäki, Radziwiłł, and Tao's work on an averaged form of Chowla's conject…
Let $A_f(1,n)$ be the normalized Fourier coefficients of a $GL(3)$ Maass cusp form $f$ and let $a_g(n)$ be the normalized Fourier coefficients of a $GL(2)$ cusp form $g$. Let $λ(n)$ be either $A_f(1,n)$ or the triple divisor function $d_3(n)$. It is proved that for any $ε>0$, any integer $r\geq 1$ and $r^{5/2}X^{1/4+7δ/2}\leq H\leq X$ with $δ>0$, $$ \frac{1}{H}\sum_{h\geq 1}W\left(\frac{h}{H}\right) \sum_{n\geq 1}λ(n)a_g(rn+h)V\left(\frac{n}{X}\right)\ll X^{1-δ+ε}, $$ where $V$ and $W$ are smooth compactly supported functions, and the implied constants depend only on the associated forms and $…
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper begins the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^3$ with divisor functions as coefficients.
Let $f(n)$ be a multiplicative function satisfying $|f(n)|\leq 1$, $q$ $(\leq N^2)$ be a prime number and $a$ be an integer with $(a,\,q)=1$, $χ$ be a non-principal Dirichlet character modulo $q$. In this paper, we shall prove that $$ \sum_{n\leq N}f(n)χ(n+a)\ll {N\over q^{1\over 4}}\log\log(6N)+q^{1\over 4}N^{1\over 2}\log(6N)+{N\over \sqrt{\log\log(6N)}}. $$ We shall also prove that \begin{align*} &\sum_{n\leq N}f(n)χ(n+a_1)\cdotsχ(n+a_t)\ll {N\over q^{1\over 4}}\log\log(6N)\\ &\quad+q^{1\over 4}N^{1\over 2}\log(6N)+{N\over \sqrt{\log\log(6N)}}, \end{align*} where $t\geq 2$, $a_1,\,\cdots,\,…
In this series of papers we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper completes the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of arbitrary length with divisor functions as coefficients.
We develop new closed form representations of sums of (n + α)th shifted harmonic numbers and reciprocal binomial coefficients in terms of αth shifted harmonic numbers. Some interesting new consequences and illustrative examples are considered.
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper is concerned with the precise input of the conjectural formula for the classical shifted convolution problem for divisor sums so as to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^2$ with divisor functions as coefficients.
We approach the holomorphic analogue to the Quantum Unique Ergodicity conjecture through an application of the Large Sieve. We deal with shifted convolution sums as in ([Ho], arXiv:0809.1669), with various simplifications in our analysis due to the knowledge of the Ramanujan-Petersson conjecture in this holomorphic case.
This is part II of our examination of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations.
We define, and obtain the meromorphic continuation of, shifted Rankin-Selberg convolutions in one and two variables. As sample applications, this continuation is used to obtain estimates for single and double shifted sums and a Burgess-type bound for $L$-series associated to modular forms of arbitrary central character. Further applications are furnished by subsequent works by the authors and their colleagues.
