We obtain a nontrivial bound on the number of solutions to the equation $$ A^{x_1} + \ldots + A^{x_ν} = A^{x_{ν+1}} + \ldots + A^{x_{2ν}}, \quad 1 \le x_1, \ldots,x_{2ν} \le τ, $$ with a fixed $n\times n$ matrix $A$ over a finite field $\mathbb F_q$ of $q$ elements of multiplicative order $τ$. We give applications of our result to obtaining a new bound of additive character sums with a matrix exponential function, which is nontrivial beyond the square-root threshold. For $n=2$ this equation has been considered by Kurlberg and Rudnick (2001) (for $ν=2$) and Bourgain (2005) (for large $ν$) in their study of quantum ergodicity for linear maps over residue rings. Here we use a new approach to improve their results. We also obtain a bound on Kloosterman sums over small subgroups, of size below the square-root threshold.
We use some elementary arguments to obtain a new bound on bilinear sums with weighted Kloosterman sums which complements those recently obtained by E. Kowalski, P. Michel and W. Sawin (2020).
We obtain several estimates for trilinear form with double Kloosterman sums. In particular, these bounds show the existence of nontrivial cancellations between such sums.
We prove two results on Kloosterman sums over finite fields, using Stickelberger's theorem and the Gross-Koblitz formula. The first result concerns the minimal polynomial over Q of a Kloosterman sum, and the second result gives a characterisation of ternary Kloosterman sums modulo 27.
The main purpose of this paper is to study the hybrid mean value problem involving generalized Dedekind sums, generalized Hardy sums and Kloosterman sums, and give some exact computational formulae for them by using the properties of Gauss sums and the mean value theorem of the Dirichlet L-function.
We stratify the $\mathrm{SL}_3$ big cell Kloosterman sets using the reduced word decomposition of the Weyl group element, inspired by the Bott-Samelson factorization. Thus the $\mathrm{SL}_3$ long word Kloosterman sum is decomposed into finer parts, and we write it as a finite sum of a product of two classical Kloosterman sums. The fine Kloosterman sums end up being the correct pieces to consider in the Bruggeman-Kuznetsov trace formula on the congruence subgroup $Γ_0(N)\subseteq \mathrm{SL}_3(\mathbb{Z})$. Another application is a new explicit formula, expressing the triple divisor sum functi…
Let $c_q(n)$ be the Ramanujan sums and let $S(m,n;q)$ be the Kloosterman sums. We study the eigenvalues of $q \times q$ matrices whose $(m,n)$ entry is $c_q (m-n)$ or $S(m,n;q)$ where $q$ is a fixed positive integer. We also study the eigenvalues of matrices whose entries are sums of Ramanujan sums or sums of Kloosterman sums.
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.
We give results characterising ternary Kloosterman sums modulo 9 and 27. This leads to a complete characterisation of values that ternary Kloosterman sums assume modulo 18 and 54. The proofs uses Stickelberger's theorem, the Gross-Koblitz formula and Fourier analysis.
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 upper bounds for sums of Kloosterman sums against general arithmetic weight functions. In particular, we obtain power cancellation in sums of Kloosterman sums over arithmetic progressions, which is of square-root strength in any fixed primitive congruence class up to bounds towards the Ramanujan conjecture.
We show that sums of the SL(3,Z) long element Kloosterman sum against a smooth weight function have cancellation due to the variation in argument of the Kloosterman sums, when each modulus is at least the square root of the other. Our main tool is Li's generalization of the Kuznetsov formula on SL(3,R), which has to date been prohibitively difficult to apply. We first obtain analytic expressions for the weight functions on the Kloosterman sum side by converting them to Mellin-Barnes integral form. This allows us to relax the conditions on the test function and to produce a partial inversion fo…
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.
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 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.
Exotic and inverted Kloosterman sums over semisimple algebras
Center for Discrete Mathematics, Chongqing University（重庆大学离散数学中心）；College of Mathematics and Statistics, Chongqing University（重庆大学数学与统计学院）；Center for Mathematics and Interdisciplinary Sciences, Fudan University（复旦大学数学与交叉科学研究院）；Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉科学研究院）
A formula of Kuznetsov allows one to interpret a smooth sum of Kloosterman sums as a sum over the spectrum of $GL(2)$ automorphic forms. In this paper, we construct a similar formula for the first hyper-Kloosterman sums using $GL(3)$ automorphic forms, resolving a long-standing problem of Bump, Friedberg and Goldfeld. Along the way, we develop what are apparently new bounds for the order derivatives of the classical $J$-Bessel function, and we conclude with a discussion of the original method of Bump, Friedberg and Goldfeld.
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 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).
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 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 consider a family of character sums as multiplicative analogues of Kloosterman sums. Using Gauss sums, Jacobi sums and Deligne's bound for hyper-Kloosterman sums, we establish asymptotic formulae for any real (positive) moments of the above character sum as the character runs over all non-trivial multiplicative characters mod $p.$ Moreover, an arcsine law is also established as a consequence of the method of moments. The evaluations of these moments also allow us to obtain asymptotic formulae for moments of such character sums weighted by special $L$-values (at $1/2$ and $1$).
Let $q$ be a positive integer, $χ$ a nontrivial character mod $q$, $\mathcal{I}$ an interval of length not exceeding $q.$ In this paper we shall study the character sum analogue of the well-known Kloosterman sum,\[\sum_{\substack{a\in\mathcal{I} \gcd(a,q)=1}}χ(ma+n\overline{a}),\] where $\overline{a}$ is the multiplicative inverse of $a\bmod q$. The mean square values and bilinear forms for such sums are proved.
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 obtain the estimate of incomplete Kloosterman sum to powerful modulus $q$. The length $N$ of the sum lies in the interval $e^{c(\log{q})^{2/3}}\le N\le \sqrt{q}$.
We obtain several estimates for bilinear form with Kloosterman sums. Such results can be interpreted as a measure of cancellations amongst with parameters from short intervals. In particular, for certain ranges of parameters we improve some recent results of Blomer, Fouvry, Kowalski, Michel, and Milićević (2014) and Fouvry, Kowalski and Michel (2014).
We derive explicit formulas for some Kloosterman sums on $Γ_0(N)$, and for the Fourier coefficients of Eisenstein series attached to arbitrary cusps, around a general Atkin-Lehner cusp.
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.
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.
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.
For a positive integer $m$ and a subgroup $Λ$ of the unit group $(\mathbb{Z}/m\mathbb{Z})^\times$, the corresponding generalized Kloosterman sum is the function $K(a,b,m,Λ) = \sum_{u \in Λ}e(\frac{au + bu^{-1}}{m})$. Unlike classical Kloosterman sums, which are real valued, generalized Kloosterman sums display a surprising array of visual features when their values are plotted in the complex plane. In a variety of instances, we identify the precise number-theoretic conditions that give rise to particular phenomena.
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…
We construct p-adic relative cohomology for a family of toric exponential sums which generalize the classical Kloosterman sums. Under natural hypotheses such as quasi-homogeneity and nondegeneracy, this cohomology is acyclic except in the top dimension. Our construction enables sufficiently sharp estimates for the action of Frobenius on cohomology so that our earlier work may be applied to the L-functions coming from linear algebra operations on these families to deduce a number of basic properties.
The classical $n$-variable Kloosterman sums over finite fields are well understood by Deligne's theorem from complex point of view and by Sperber's theorem from $p$-adic point of view. In this paper, we study the complex and $p$-adic estimates of inverted $n$-variable Kloosterman sums, addressing a question of N. Katz (1995). We shall give two complex estimates. The first one is elementary based on Gauss sums. The second estimate is deeper, depending on the cohomological results of Adolphson-Sperber, Denef-Loeser and Fu for twisted toric exponential sums. This deeper result assumes that the ch…
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…
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…
We obtain several estimates for bilinear form with Kloosterman sums. Such results can be interpreted as a measure of cancellations amongst with parameters from short intervals. In particular, for certain ranges of parameters we improve some recent results of Blomer, Fouvry, Kowalski, Michel and Milićević and also of Fouvry, Kowalski and Michel. In particular, we improve the bound on the error term in the asymptotic formula for mixed moments of $L$-series associated with Hecke eigenforms.
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 construct a binary linear code $C(O(3,q))$, associated with the orthogonal group $O(3,q)$. Here $q$ is a power of two. Then we obtain a recursive formula for the odd power moments of Kloosterman sums with trace one arguments in terms of the frequencies of weights in the codes $C(O(3,q))$ and $C(Sp(2,q))$. This is done via Pless power moment identity and by utilizing the explicit expressions of Gauss sums for the orthogonal groups.
