We consider the distribution of polygonal paths joining the partial sums of normalized Kloosterman sums modulo an increasingly high power p^n of a fixed odd prime p, a pure depth-aspect analogue of theorems of Kowalski-Sawin and Ricotta-Royer-Shparlinski. We find that this collection of Kloosterman paths naturally splits into finitely many disjoint ensembles, each of which converges in law as n->\infty to a distinct complex valued random continuous function. We further find that the random series resulting from gluing together these limits for every p converges in law as p->\infty, and that paths joining partial Kloosterman sums acquire a different and universal limiting shape after a modest rearrangement of terms. As the key arithmetic input we prove, using the p-adic method of stationary phase including highly singular cases, that complete sums of products of arbitrarily many Kloosterman sums to high prime power moduli exhibit either power savings or power alignment in shifts of arguments.
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 obtain a nontrivial bound for cancellations between the Kloosterman sums modulo a large prime power with a prime argument running over very short interval, which in turn is based on a new estimate on bilinear sums of Kloosterman sums. These results are analogues of those obtained by various authors for Kloosterman sums modulo a prime. However the underlying technique is different and allows us to obtain nontrivial results starting from much shorter ranges.
We prove two estimates for averages of sums of Kloosterman fractions over primes. The first of these improves previous results of Fouvry-Shparlinski and Baker.
In this note we study Kloosterman sums twisted by a multiplicative characters modulo a prime power. We show, by an elementary calculation, that these sums become equidistributed on the real line with respect to a suitable measure.
We obtain new results on additive properties of the set $$ I^{-1}= \{x^{-1}: \quad x\in I\} $$ where $I$ is an arbitrary interval in the field of residue classes modulo a large prime $p$. We combine our results with multilinear exponential sum estimates and obtain new results on incomplete multilinear Kloosterman sums.
Corentin Perret-Gentil proved, under some very general conditions, that short sums of $\ell$-adic trace functions over finite fields of varying center converges in law to a Gaussian random variable or vector. The main inputs are P.~Deligne's equidistribution theorem, N.~Katz' works and the results surveyed in \cite{MR3338119}. In particular, this applies to $2$-dimensional Kloosterman sums $\mathsf{Kl}_{2,\mathbb{F}_q}$ studied by N.~Katz in \cite{MR955052} and in \cite{MR1081536} when the field $\mathbb{F}_q$ gets large. \par This article considers the case of short sums of normalized classic…
We obtain a new estimate for Kloosterman sum with primes $p\leqslant X$ to composite modulo $q$, that is, for the exponential sum of the type \[ \sum\limits_{p\leqslant X,\;p\,\nmid q}\exp{\biggl(\frac{2πi}{q}\bigl(a\overline{p}+bp\bigr)\,\biggr)},\quad (ab,q)=1,\quad p\overline{p}\equiv 1\pmod{q}, \] which is non-trivial in the case when $q^{\,3/4+\varepsilon}\leqslant X\ll q^{\,3/2}$. We also apply this estimate to the proof of solvability of some congruences with inverse prime residues $\pmod{q}$.
For $q$ prime, $X \geq 1$ and coprime $u,v \in \mathbb{N}$ we estimate the sums \begin{equation*} \sum_{\substack{p \leq X \substack p \equiv u \hspace{-0.25cm} \mod{v} p \text{ prime}}} \text{Kl}_2(p;q), \end{equation*} where $\text{Kl}_2(p;q)$ denotes a normalised Kloosterman sum with modulus $q$. This is a sparse analogue of a recent theorem due to Blomer, Fouvry, Kowalski, Michel and Milićević showing cancellation amongst sums of Kloosterman sums over primes in short intervals. We use an optimisation argument inspired by Fouvry, Kowalski and Michel. Our argument compares three different bo…
G. Ricotta and E. Royer (2018) have recently proved that the polygonal paths joining the partial sums of the normalized classical Kloosterman sums $S(a,b;p^n)/p^(n/2) converge in law in the Banach space of complex-valued continuous function on [0,1] to an explicit random Fourier series as (a,b) varies over (Z/p^nZ)^\times\times(Z/p^nZ)^\times, p tends to infinity among the odd prime numbers and n>=2 is a fixed integer. This is the analogue of the result obtained by E. Kowalski and W. Sawin (2016) in the prime moduli case. The purpose of this work is to prove a convergence law in this Banach sp…
Emmanuel Kowalski and William Sawin proved, using a deep independence result of Kloosterman sheaves, that the polygonal paths joining the partial sums of the normalized classical Kloosterman sums S(a,b0;p)/p^{1/2} converge in the sense of finite distributions to a specific random Fourier series, as a varies over (Z/pZ)^*, b0 is fixed in (Z/pz)* and p tends to infinity among the odd prime numbers. This article considers the case of S(a,b0;p^n)/p^{n/2}, as a varies over (Z/p^nZ)^*, b0 is fixed in (Z/p^nZ)^*, p tends to infinity among the odd prime numbers and n>=2 is a fixed integer. A convergen…
In the present paper, we generalize some of the results on Kloosterman sums proven in \cite{BG} for prime moduli to general moduli. This requires to establish the corresponding additive properties of the reciprocal set $$ I^{-1}=\{x^{-1}:\quad x\in I\}, $$ where $I$ is an interval in the ring of residue classes modulo a large positive integer. We apply our bounds on multilinear exponential sums to the Brun-Titchmarsh theorem and the estimate of very short Kloosterman sums, hence generalizing our earlier work to the setting of general modulus.
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（西北大学数论及其应用研究中心）
In the paper, we establish a new estimate for Kloosterman sum over primes with respect to an arbitrary modulus $q$. This estimate together with some recent results of the second author are applied to the problem of solvability of the congruence \[ g(p_{1})\, + \,\ldots\, + \,g(p_{k}) \,\equiv\, m\pmod{q} \] in prime variables $p_{1},\ldots, p_{k}\le N$, $N\le q^{1-δ}$. Here $g(x)\,\equiv\,a\overline{x}+bx\pmod{q}$, where $a,b,m$ and $k\ge 3$ are arbitrary integers, $(ab,q)=1$. The main result of the paper gives an asymptotic formula for the number of solutions for the case when $q$ is coprime …
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|$.
We develop a new method for studying sums of Kloosterman sums related to the spectral exponential sum. As a corollary, we obtain a new proof of the estimate of Soundararajan and Young for the error term in the prime geodesic theorem.
We compute the second moment of spinor $L$-functions at central points of Siegel modular forms on congruence subgroups of large prime level $N$ and give applications to non-vanishing.
In this paper we give an essential treatment for estimating arbitrary integral power moments of Kloosterman sums over the residue class ring. For prime moduli we derive explicit estimates, and for prime-power moduli we prove concrete formulas using computations with Igusa zeta functions.
We investigate the solubility of the congruence xy=1 (mod p), where p is a prime and x,y are restricted to lie in suitable short intervals. Our work relies on a mean value theorem for incomplete Kloosterman sums.
We calculate mean values of $\operatorname{GL}_n$-automorphic $L$-functions twisted by primitive even Dirichlet characters of prime-power conductor, at arbitrary points within the critical strip, by derivation of special Voronoi summation formulae. Our calculation is novel in that the twisted sum can be expressed in terms of the average itself, and also that it sees the derivation of various new summation formulae in the setting of prime-power modulus. One consequence, as we explain, is to show the analytic continuation and additive summation formulae for hyper-Kloosterman Dirichlet series ass…
For a fixed prime $p$, the maximum coefficient (in absolute value) $M(p)$ of the cyclotomic polynomial $Φ_{pqr}(x)$, where $r$ and $q$ are free primes satisfying $r>q>p$ exists. Sister Beiter conjectured in 1968 that $M(p)\le(p+1)/2$. In 2009 Gallot and Moree showed that $M(p)\ge 2p(1-ε)/3$ for every $p$ sufficiently large. In this article Kloosterman sums (`cloister man sums') and other tools from the distribution of modular inverses are applied to quantify the abundancy of counter-examples to Sister Beiter's conjecture and sharpen the above lower bound for $M(p)$.
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 bound double sums of Kloosterman sums over a finite field ${\mathbb F}_{q}$, with one or both parameters ranging over an affine space over its prime subfield ${\mathbb F}_p \subseteq {\mathbb F}_{q} $. These are finite fields analogues of a series of recent results by various authors in finite fields and residue rings. Our results are based on recent advances in additive combinatorics in arbitrary finite field.
We revisit a recent bound of I. Shparlinski and T. P. Zhang on bilinear forms with Kloosterman sums, and prove an extension for correlation sums of Kloosterman sums against Fourier coefficients of modular forms. We use these bounds to improve on earlier results on sums of Kloosterman sums along the primes and on the error term of the fourth moment of Dirichlet $L$-functions.
We prove non-trivial bounds for general bilinear forms in hyper-Kloosterman sums when the sizes of both variables may be below the Pólya-Vinogradov range. We then derive applications to the second moment of holomorphic cusp forms twisted by characters modulo primes, and to the distribution in arithmetic progressions to large moduli of certain Eisenstein-Hecke coefficients on $\GL_3$. Our main tools are new bounds for certain complete sums in three variables over finite fields, proved using methods from algebraic geometry, especially $\ell$-adic cohomology and the Riemann Hypothesis.
We obtain statistical results on the possible distribution of all partial sums of a Kloosterman sum modulo a prime, by computing explicitly the support of the limiting random Fourier series of our earlier functional limit theorem for Kloosterman paths.
In this paper we give a modular interpretation of the $k$-th symmetric power $L$-function of the Kloosterman family of exponential sums in characteristics 2 and 3, and in the case of $p=2$ and $k$ odd give the precise 2-adic Newton polygon. We also give a $p$-adic modular interpretation of Dwork's unit root $L$-function of the Kloosterman family, and give the precise 2-adic Newton polygon when $k$ is odd. In a previous paper, we gave an estimate for the $q$-adic Newton polygon of the symmetric power $L$-function of the Kloosterman family when $p \geq 5$. We discuss how this restriction on prim…
The series of some new estimates for the sums of the type \[ S_{q}(x;f)\,=\,\mathop{{\sum}'}\limits_{n\leqslant x}f(n)e_{q}(an^{*}+bn) \] is obtained. Here $q$ is a sufficiently large integer, $\sqrt{q}(\log{q})\!\ll\!x\leqslant q$, $a,b$ are integers, $(a,q)=1$, $e_{q}(v) = e^{2πiv/q}$, $f(n)$ is a multiplicative function, $nn^{*}\equiv 1 \pmod{q}$ and the prime sign means that $(n,q)=1$.
For a prime $p$, we consider Kloosterman sums $$ K_{p}(a) = \sum_{x\in \F_p^*} \exp(2 πi (x + ax^{-1})/p), \qquad a \in \F_p^*, $$ over a finite field of $p$ elements. It is well known that due to results of Deligne, Katz and Sarnak, the distribution of the sums $K_{p}(a)$ when $a$ runs through $\F_p^*$ is in accordance with the Sato--Tate conjecture. Here we show that the same holds where $a$ runs through the sums $a = u+v$ for $u \in \cU$, $v \in \cV$ for any two sufficiently large sets $\cU, \cV \subseteq \F_p^*$. We also improve a recent bound on the nonlinearity of a Boolean function asso…
Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic Galois representation that comes from geometry. We also give bounds on the ramification of these Galois representations. All this is done in the g…
We consider the distribution of the polygonal paths joining partial sums of classical Kloosterman sums, as their parameter varies modulo a prime tending to infinity. Using independence of Kloosterman sheaves, we prove convergence in the sense of finite distributions to a specific random Fourier series. We also consider Birch sums, for which we can establish convergence in law in the space of continuous functions. We then derive some applications.
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 prime…
We prove the infinitude of shifted primes $p-1$ without prime factors above $p^{0.2844}$. This refines $p^{0.2961}$ from Baker and Harman in 1998. Consequently, we obtain an improved lower bound on the the distribution of Carmichael numbers. Our main technical result is a new mean value theorem for primes in arithmetic progressions to large moduli. Namely, we estimate primes of size $x$ with quadrilinear forms of moduli up to $x^{17/32}$. This extends moduli beyond $x^{11/21}$, recently obtained by Maynard, improving $x^{29/56}$ from well-known 1986 work of Bombieri, Friedlander, and Iwaniec.
Problems of (i) precise (exact) bound for families of hyperelliptic curves over prime finite fields and (ii) equidistribution of angles of Kloosterman sums are discussed.
We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$, extending the Bombieri-Vinogradov theorem to moduli of size $x^{1/2+δ}$ which have conveniently sized divisors. The main feature of these estimates is that they are completely uniform with respect to the residue classes considered, unlike previous works on primes in arithmetic progressions to large moduli.
We study the first moments of central values of Hecke $L$-functions associated with quadratic, cubic and quartic symbols to prime moduli. This also enables us to obtain results on first moments of central values of certain families of cubic and quartic Dirichlet $L$-functions of prime moduli.
In this paper, we develop a large sieve type inequality for some special characters whose moduli are squares of primes. Our result gives non-trivial estimate in certain ranges.
