An elementary proof of the Selberg identity for Kloosterman sums

Ping Xi

2023-01-01

Abstract: We give an elementary proof of the Selberg identity for Kloosterman sums, which only requires the orthogonality of additive characters.

What problem does this paper attempt to address?

When Kloosterman Sums Meet Hecke Eigenvalues

Ping Xi

DOI: https://doi.org/10.1007/s00222-019-00924-y

IF: 3.128

2019-01-01

Inventiones mathematicae

Abstract:By elaborating a two-dimensional Selberg sieve with asymptotics and equidistributions of Kloosterman sums from ℓ-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 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 Kloosterman sums.
Kloosterman sums on orthogonal groups

Catinca Mujdei

2024-10-28

Abstract:We study Kloosterman sums on the orthogonal groups $SO_{3,3}$ and $SO_{4,2}$, associated to short elements of their respective Weyl groups. An explicit description for these sums is obtained in terms of multi-dimensional exponential sums. These are bounded by a combination of methods from algebraic geometry and $p$-adic analysis.

Number Theory
The equidistribution of Elliptic Dedekind sums and generalized Selberg-Kloosterman sums

Kim Klinger-Logan,Tian An Wong

2024-02-01

Abstract:We show that the values of elliptic Dedekind sums, after normalization, are equidistributed mod 1. The key ingredient is a non-trivial bound on generalized Selberg-Kloosterman sums for discrete subgroups of $\PSL_2(\mathbb C)$ using Poincaré series.

Number Theory
A short proof of an identity related to Type IV superorthogonality

Yixuan Pang

2024-04-14

Abstract:We provide a much shorter but even more powerful proof of an algebraic identity, which can be used to establish the direct and the converse inequality under Type IV superorthogonality. As an application, we obtain the optimal order of the formal constant in the direct inequality. This order turns out to be also sharp for Type III superorthogonality. When $p\geq 2$, our result recovers the optimal order of the constant in the Burkholder-Gundy inequality in martingale theory, and also recovers the currently best order of the constant in the reverse Littlewood-Paley inequality. We also introduce variants of Type IV superorthogonality, under which we prove the converse inequality.

Combinatorics
Uniqueness of Rankin–Selberg Periods

Fulin Chen,Binyong Sun

DOI: https://doi.org/10.1093/imrn/rnu110

2015-01-01

International Mathematics Research Notices

Abstract:Let $k$ be a local field of characteristic zero. Rankin-Selberg's local zeta integrals produce linear functionals on generic irreducible admissible smooth representations of $GL_n(k)\times GL_r(k)$, with certain invariance properties. We show that up to scalar multiplication, these linear functionals are determined by the invariance properties.
Sign changes of Kloosterman sums with moduli having at most two prime factors

Tianping Zhang,Mingxuan Zhong

2024-11-20

Abstract:We prove that the Kloosterman sum $\text{Kl}(1,q)$ changes sign infinitely many times, as $q\rightarrow +\infty$ with at most two prime factors. As a consequence, our result is unconditional compared with Drappeau and Maynard's (Proc. Amer. Math. Soc., 2019), in which the existence of Laudau-Siegel zeros is required. Our arguments contain the Selberg sieve method, spectral theory and distribution of Kloosterman sums along with previous works by Fouvry, Matomäki, Michel, Sivak-Fischler, and Xi.

Number Theory
On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

Shengning Zhang

2024-08-25

Abstract:In this article, we studied the inverse Erdős-Heilbronn problem with the restricted sumset from two components $A$ and $B$ that are not necessarily the same. We give a completely elementary proof for the problem in $\mathbb{Z}$ and some partial results that contributes to the elementary proof of the problem in $\mathbb{Z}/p\mathbb{Z}$, avoiding the usage of the powerful polynomial method and the Combinatorial Nullstellensatz.

Combinatorics
Uniform bounds for Kloosterman sums of half-integral weight with applications

Qihang Sun

DOI: https://doi.org/10.1515/forum-2023-0201

2024-02-21

Forum Mathematicum

Abstract:Sums of Kloosterman sums have deep connections with the theory of modular forms, and their estimation has many important consequences. Kuznetsov used his famous trace formula and got a power-saving estimate with respect to x with implied constants depending on m and n . Recently, in 2009, Sarnak and Tsimerman obtained a bound uniformly in x , m and n . The generalized Kloosterman sums are defined with multiplier systems and on congruence subgroups. Goldfeld and Sarnak bounded sums of them with main terms corresponding to exceptional eigenvalues of the hyperbolic Laplacian. Their error term is a power of x with implied constants depending on all the other factors. In this paper, for a wide class of half-integral weight multiplier systems, we get the same bound with the error term uniformly in x , m and n . Such uniform bounds have great applications. For the eta-multiplier, Ahlgren and Andersen obtained a uniform and power-saving bound with respect to m and n , which resulted in a convergent error estimate on the Rademacher exact formula of the partition function p ⁢ ( n ) . We also establish a Rademacher-type exact formula for the difference of partitions of rank modulo 3, which allows us to apply our power-saving estimate to the tail of the formula for a convergent error bound.

mathematics, applied
On matrix Kloosterman sums and Hall-Littlewood polynomials

Elad Zelingher

2024-06-22

Abstract:We prove an identity relating twisted matrix Kloosterman sums to modified Hall-Littlewood polynomials evaluated at the roots of the characteristic polynomial associated to a twisted Kloosterman sheaf. This solves a conjecture of Erdélyi and Tóth.

Number Theory,Representation Theory
The exotic inverted Kloosterman sum

Lei Fu,Daqing Wan

2024-07-04

Abstract:Let $B$ be a product of finitely many finite fields containing $\mathbb F_q$, $\psi:\mathbb F_q\to \overline{\mathbb Q}_\ell^*$ a nontrivial additive character, and $\chi: B^*\to \overline{\mathbb Q}_\ell^*$ a multiplicative character. Katz introduced the so-called exotic inverted Kloosterman sum \begin{eqnarray*} \mathrm{EIK}(\mathbb F_q, a):=\sum_{\substack{x\in B^* \\ \mathrm{Tr}_{B/\mathbb F_q}(x)\not =0\\ \mathrm{N}_{B/\mathbb F_q}(x)=a}} \chi(x)\psi\Big(\frac{1}{\mathrm{Tr}_{B/\mathbb F_q}(x)}\Big), \ \ a\in \mathbb F_q^*. \end{eqnarray*} We estimate this sum using $\ell$-adic cohomology theory. Our main result is that, up to a trivial term, the associated exotic inverted Kloosterman sheaf is lisse of rank at most $2(n+1)$ and mixed of weight at most $n$, where $n+1 = \dim_{\mathbb F_q}B$. Up to a trivial main term, this gives the expected square root cancellation.

Number Theory
A double character sum of Conrey-Iwaniec and Petrow-Young

Ping Xi

2023-01-01

Abstract: We show that a double character sum, appearing in the work of Conrey-Iwaniec and Petrow-Young on Weyl bound for certain $L$-functions, is essentially a hypergeometric sum introduced by Katz. This produces a simple proof of the upper bound for this sum.
Sums of Kloosterman sums over square-free and smooth integers

Xuancheng Shao,Igor E. Shparlinski,Laurence P. Wijaya

2024-11-19

Abstract:Recently there has been a large number of works on bilinear sums with Kloosterman sums and on sums of Kloosterman sums twisted by arithmetic functions. Motivated by these, we consider several related new questions about sums of Kloosterman sums parametrised by square-free and smooth integers.

Number Theory
On Nonlinear Kloosterman Sums

M. A. Korolev

DOI: https://doi.org/10.1134/s1064562422700272

2022-12-01

Doklady Mathematics

Abstract:Exponential sums of a special type—the so-called Kloosterman sums—play a key role in numerous number-theoretic problems concerning the distribution of inverse residues in residue rings modulo a given q. In many cases, estimates of such sums are based on A. Weil’s bound for complete Kloosterman sums over primes. This bound allows one to estimate Kloosterman sums of length documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$N geqslant {{q}^{{0.5 + varepsilon }}}$$end{document} for any fixed documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$varepsilon > 0$$end{document} with a power-saving factor. Weil’s bound was originally proved using methods of algebraic geometry. Later, S.A. Stepanov gave an elementary proof of this bound, but this proof was also complicated enough. The aim of this paper is to give an elementary proof of an estimate for the Kloosterman sum of length documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$N geqslant {{q}^{{0.5 + varepsilon }}}$$end{document}, which also leads to a power-saving factor. This proof is based on the trick of additive shift of the summation variable, which is widely used in various number theory problems.

mathematics
Quadratic transformations of Macdonald and Koornwinder polynomials

Eric M. Rains,Monica J. Vazirani

DOI: https://doi.org/10.48550/arXiv.math/0606204

IF: 0.6

2006-06-09

Representation Theory

Abstract:When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies the desired vanishing property. This does not, however, give rise to vanishing identities for the standard nonsymmetric Macdonald and Koornwinder polynomials; we discuss the required modification to these polynomials to support such results.
On inverted Kloosterman sums over finite fields

Xin Lin,Daqing Wan

DOI: https://doi.org/10.1007/s00209-024-03457-0

2024-03-09

Mathematische Zeitschrift

Abstract: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 Katz (Finite Fields Appl 1(3):395–398, 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 characteristic p does not divide Combining with Dwork's p -adic theory, we also determine the exact p -adic valuations for zeros and poles of the L-function associated to inverted n -variable Kloosterman sums in the case As we shall see, the inverted n -variable Kloosterman sum is more complicated than the classical n -variable Kloosterman sum in all aspects in the sense that our understanding is less complete, partly because the Hodge numbers are now mostly 2 instead of 1.

mathematics
Bessel Functions and Kloosterman Integrals on GL(n)

Xinchen Miao

2023-11-28

Abstract:This paper will focus on the proof of local integrability of Bessel functions for GL(n) (p-adic case) by using the relations between Bessel functions and local Kloosterman (orbital) integrals proved in several papers of E. M. Baruch [Ba03] [Ba04] [Ba05], the theory of the (relative) Shalika germs established by H. Jacquet and Y. Ye in [JY96] [JY99] and G. Stevens' approach [Ste87] on estimating certain GL(n) generalized Kloosterman sums.

Number Theory,Representation Theory
Degrees of generalized Kloosterman sums

Liping Yang

DOI: https://doi.org/10.1515/forum-2023-0295

2024-01-31

Forum Mathematicum

Abstract:The modern study of the exponential sums is mainly about their analytic estimates as complex numbers, which is local. In this paper, we study one global property of the exponential sums by viewing them as algebraic integers. For a kind of generalized Kloosterman sums, we present their degrees as algebraic integers.

mathematics, applied
Schur Polynomials through Lindström Gessel Viennot Lemma

Rui Xiong

DOI: https://doi.org/10.48550/arXiv.2003.09215

2020-03-20

Combinatorics

Abstract:In this article, we use Lindstr\"om Gessel Viennot Lemma to give a short, combinatorial, visualizable proof of the identity of Schur polynomials -- the sum of monomials of Young tableaux equals to the quotient of determinants. As a by-product, we have a proof of Vandermonde determinant without words. We also prove the cauchy identity. In the remarks, we discuss factorial Schur polynomials, dual Cauchy identity and the relation beteen Newton interpolation formula.
Identity between Restricted Cauchy Sums for the $q$-Whittaker and Skew Schur Polynomials

Takashi Imamura,Matteo Mucciconi,Tomohiro Sasamoto

DOI: https://doi.org/10.3842/SIGMA.2024.064

2024-07-16

Abstract:The Cauchy identities play an important role in the theory of symmetric functions. It is known that Cauchy sums for the $q$-Whittaker and the skew Schur polynomials produce the same factorized expressions modulo a $q$-Pochhammer symbol. We consider the sums with restrictions on the length of the first rows for labels of both polynomials and prove an identity which relates them. The proof is based on techniques from integrable probability: we rewrite the identity in terms of two probability measures: the $q$-Whittaker measure and the periodic Schur measure. The relation follows by comparing their Fredholm determinant formulas.

Combinatorics,Mathematical Physics,Probability
A Conversion Formula for One Kind Fourth Power Mean of Kloosterman Sums and the Character Sums Module p

Shushu Ning,Xuexia Wang

DOI: https://doi.org/10.1155/jom/9251730

2024-11-29

Journal of Mathematics

Abstract:The primary contribution of this paper is to research one kind special Kloosterman sums using analytic method. We translate one kind fourth power mean of the Kloosterman sums into the character sums of one kind polynomials. It is possible to construct an exact formula for the fourth power mean of one kind Kloosterman sums by computing the character sums of the polynomials. The paper is novel because of its proof and conversion strategies.

mathematics

An elementary proof of the Selberg identity for Kloosterman sums

When Kloosterman Sums Meet Hecke Eigenvalues

Kloosterman sums on orthogonal groups

The equidistribution of Elliptic Dedekind sums and generalized Selberg-Kloosterman sums

A short proof of an identity related to Type IV superorthogonality

Uniqueness of Rankin–Selberg Periods

Sign changes of Kloosterman sums with moduli having at most two prime factors

On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

Uniform bounds for Kloosterman sums of half-integral weight with applications

On matrix Kloosterman sums and Hall-Littlewood polynomials

The exotic inverted Kloosterman sum

A double character sum of Conrey-Iwaniec and Petrow-Young

Sums of Kloosterman sums over square-free and smooth integers

On Nonlinear Kloosterman Sums

Quadratic transformations of Macdonald and Koornwinder polynomials

On inverted Kloosterman sums over finite fields

Bessel Functions and Kloosterman Integrals on GL(n)

Degrees of generalized Kloosterman sums

Schur Polynomials through Lindström Gessel Viennot Lemma

Identity between Restricted Cauchy Sums for the $q$-Whittaker and Skew Schur Polynomials

A Conversion Formula for One Kind Fourth Power Mean of Kloosterman Sums and the Character Sums Module p