INCOMPLETE KLOOSTERMAN SUMS AND MULTIPLICATIVE INVERSES IN SHORT INTERVALS

T. D. BROWNING,A. HAYNES

DOI: https://doi.org/10.1142/s1793042112501448

2012-12-05

International Journal of Number Theory

Abstract: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.

mathematics

What problem does this paper attempt to address?

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Tianxin Cai,Zhongyan Shen,Peng Yang

DOI: https://doi.org/10.2298/fil2402621c

2024-01-01

Filomat

Abstract:Let p be an odd prime. In this paper, analogs of Wilson?s and Wolstenholme?s theorems on the solution sets S+ = {n ? Z* p | n ? a + b ? ab (mod p)} and S? = {n ? Z* p | n ? a ? b ? ab (mod p)} are given, where Z* p denote a reduced residue system modulo p. We also establish congruences about sum and product of the quadratic residues in S+ or in S? modulo p. Finally, we raise a problem on how to solve Hadamard?s conjecture in the last section.
On Power Sums and the Kummer Congruences

Samuel Goodman

2023-05-09

Abstract:In this paper, we investigate the stabilizers of certain multisets $\mod p^k$ with respect to their natural multiplicative action, completely describing them for a certain family of polynomials whenever $p$ is an odd prime. This elucidates an underlying structure on the level of elements that yields a new proof of the classical Kummer Congruences. Hence the Kummer Congruences can be viewed as a consequence of putting together this local information, the interactions between which are understood. This gives a new perspective in that all known approaches are based directly on global considerations, namely either through global sum identities or $p$-adic integrals.

Number Theory
On some congruences and exponential sums

Moubariz Z. Garaev,Igor E. Shparlinski

2023-04-18

Abstract:Let $\varepsilon>0$ be a fixed small constant, ${\mathbb F}_p$ be the finite field of $p$ elements for prime $p$. We consider additive and multiplicative problems in ${\mathbb F}_p$ that involve intervals and arbitrary sets. Representative examples of our results are as follows. Let ${\mathcal M}$ be an arbitrary subset of ${\mathbb F}_p$. If $\#{\mathcal M} >p^{1/3+\varepsilon}$ and $H\ge p^{2/3}$ or if $\#{\mathcal M} >p^{3/5+\varepsilon}$ and $H\ge p^{3/5+\varepsilon}$ then all, but $O(p^{1-\delta})$ elements of ${\mathbb F}_p$ can be represented in the form $hm$ with $h\in [1, H]$ and $m\in {\mathcal M}$, where $\delta> 0$ depends only on $\varepsilon$. Furthermore, let $ {\mathcal X}$ be an arbitrary interval of length $H$ and $s$ be a fixed positive integer. If $$ H> p^{17/35+\varepsilon}, \quad \#{\mathcal M} > p^{17/35+\varepsilon}. $$ then the number $T_6(\lambda)$ of solutions of the congruence $$ \frac{m_1}{x_1^s}+ \frac{m_2}{x_2^s}+ \frac{m_3}{x_3^s}+\frac{m_4}{x_4^s}+ \frac{m_5}{x_5^s}+\frac{m_6}{x_6^s} \equiv \lambda\mod p, \qquad m_i\in {\mathcal M}, \quad \ x_i \in {\mathcal X}, \quad i =1, \ldots, 6, $$ satisfies $$ T_6(\lambda)=\frac{H^6(\#{\mathcal M})^6}{p}\left(1+O(p^{-\delta})\right), $$ where $\delta> 0$ depends only on $s$ and $\varepsilon$.

Number Theory
Super Congruences Involving Alternating Harmonic Sums

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.4236/apm.2020.1010037

2020-01-01

Advances in Pure Mathematics

Abstract:Let p be an odd prime, the harmonic congruence such as ( ) 3 1 2 mod , p i j k p B p ijk -+ + = ≡ -∑ and many different variations and generalizations have been studied intensively.In this note, we consider the congruences involving the combination of alternating harmonic sums, ( ) ( ) ( ) 1
A Congruence Involving the Quotients of Euler and Its Applications (II)

T. X. Cai,X. D. Fu,X. Zhou

DOI: https://doi.org/10.4064/aa103-4-1

2002-01-01

Acta Arithmetica

Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
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 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
Restricted sumsets in multiplicative subgroups

Chi Hoi Yip

2024-10-01

Abstract:We establish the restricted sumset analogue of the celebrated conjecture of Sárközy on additive decompositions of the set of nonzero squares over a finite field. More precisely, we show that if $q>13$ is an odd prime power, then the set of nonzero squares in $\mathbb{F}_q$ cannot be written as a restricted sumset $A \hat{+} A$, extending a result of Shkredov. More generally, we study restricted sumsets in multiplicative subgroups over finite fields as well as restricted sumsets in perfect powers (over integers) motivated by a question of Erdős and Moser. We also prove an analogue of van Lint-MacWilliams' conjecture for restricted sumsets, which appears to be the first analogue of Erdős-Ko-Rado theorem in a family of Cayley sum graphs.

Number Theory,Combinatorics
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
Sister Beiter and Kloosterman: A tale of cyclotomic coefficients and modular inverses

Cristian Cobeli,Yves Gallot,Pieter Moree,Alexandru Zaharescu

DOI: https://doi.org/10.1016/j.indag.2013.01.002

IF: 0.827

2013-11-01

Indagationes Mathematicae

Abstract: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)≤(p+1)/2. In 2009 Gallot and Moree showed that M(p)≥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).
Small solutions to inhomogeneous and homogeneous quadratic congruences modulo prime powers

Stephan Baier,Arkaprava Bhandari,Anup Haldar

2024-07-06

Abstract:We prove asymptotic formulae for small weighted solutions of quadratic congruences of the form $\lambda_1x_1^2+\cdots +\lambda_nx_n^2\equiv \lambda_{n+1}\bmod{p^m}$, where $p$ is a fixed odd prime, $\lambda_1,...,\lambda_{n+1}$ are integer coefficients such that $(\lambda_1\cdots \lambda _{n},p)=1$ and $m\rightarrow \infty$. If $n\ge 6$, $p\ge 5$ and the coefficients are fixed and satisfy $\lambda_1,...,\lambda_n>0$ and $(\lambda_{n+1},p)=1$ (inhomogeneous case), we obtain an asymptotic formula which is valid for integral solutions $(x_1,...,x_n)$ in cubes of side length at least $p^{(1/2+\varepsilon)m}$, centered at the origin. If $n\ge 4$ and $\lambda_{n+1}=0$ (homogeneous case), we prove a result of the same strength for coefficients $\lambda_i$ which are allowed to vary with $m$. These results extend previous results of the first- and the third-named authors and N. Bag.

Number Theory
Kloosterman Sums and a Problem of D. H. Lehmer

Ping Xi,Yuan Yi

DOI: https://doi.org/10.1007/s11401-020-0203-z

2020-01-01

Chinese Annals of Mathematics Series B

Abstract:A classical problem of D. H. Lehmer suggests the study of distributions of elements of Z/pZ of opposite parity to the multiplicative inverse mod p. Zhang initiated this problem and found an asymptotic evaluation of the number of such elements. In this paper, an asymptotic formula for the fourth moment of the error term of Zhang is proved, from which one may see that Zhang's error term is optimal up to the logarithm factor. The method also applies to the case of arbitrary positive integral moments.
arXiv:math.NT/0502187 CONGRUENCES FOR SUMS OF BINOMIAL COEFFICIENTS

Zhi-Wei Sun,Roberto Tauraso

2005-01-01

Abstract:Let m > 0 and q > 1 be relatively prime integers. We find an explicit period ν m (q) such that for any integers n 0 and r we have n + ν m (q) r m (a) ≡ n r m (a) (mod q), provided that a = −1 and n = 0, or a is an integer with 1 − (−a) m relatively prime to q, where n r m (a) = k≡r (mod m) n k a k. This is a further extension of a congruence of Glaisher.
Odd moments and adding fractions

Thomas F. Bloom,Vivian Kuperberg

2023-12-14

Abstract:We prove near-optimal upper bounds for the odd moments of the distribution of coprime residues in short intervals, confirming a conjecture of Montgomery and Vaughan. As an application we prove near-optimal upper bounds for the average of the refined singular series in the Hardy-Littlewood conjectures concerning the number of prime $k$-tuples for $k$ odd. The main new ingredient is a near-optimal upper bound for the number of solutions to $\sum_{1\leq i\leq k}\frac{a_i}{q_i}\in \mathbb{Z}$ when $k$ is odd, with $(a_i,q_i)=1$ and restrictions on the size of the numerators and denominators, that is of independent interest.

Number Theory
Bounds for Kloosterman sums on GL(n)

V. Blomer,S. H. Man

2023-11-23

Abstract:This paper establishes power-saving bounds for Kloosterman sums associated with the long Weyl element for GL(n), as well as for another type of Weyl element of order 2. These bounds are obtained by establishing an explicit representation as exponential sums. As an application we go beyond Sarnak's density conjecture for the principal congruence subgroup of prime level. We also bound all Kloosterman sums for GL(4).

Number Theory
Triple sums of Kloosterman sums and the discrepancy of modular inverses

Valentin Blomer,Igor E. Shparlinski,Morten S. Risager

2024-11-27

Abstract:We investigate the distribution of modular inverses modulo positive integers $c$ in a large interval. We provide upper and lower bounds for their box, ball and isotropic discrepancy, thereby exhibiting some deviations from random point sets. The analysis is based, among other things, on a new bound for a triple sum of Kloosterman sums.

Number Theory
SOME NEW SUPER-CONGRUENCES MODULO PRIME POWERS

Zhi‐Wei Sun

2010-01-01

Abstract:Let p > 3 be a prime. We show that p 1 X k=0 � −1/(p + 1) k �p+1 � 0 (mod p 5 ) and p 1 X k=0 � 1/(p − 1) k �p 1 � 0 (mod p 4 ). For any positive integer m 㘑 0 (mod p), we prove that p 1 X k=0 (−1) km � p/m − 1 k �m � 0 (mod p 4 ),
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
A Combinatorial Congruence on Polynomials

Zhi-Wei Sun,Donald M. Davis

2005-01-01

Abstract:Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence $$p^{°f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by a conjecture arising from algebraic topology), and obtain the following vast generalization of Lucas' theorem: If a is greater than one, and $l,s,t$ are nonnegative integers with $s,t

INCOMPLETE KLOOSTERMAN SUMS AND MULTIPLICATIVE INVERSES IN SHORT INTERVALS

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

On Power Sums and the Kummer Congruences

On some congruences and exponential sums

Super Congruences Involving Alternating Harmonic Sums

A Congruence Involving the Quotients of Euler and Its Applications (II)

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

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

On inverted Kloosterman sums over finite fields

Restricted sumsets in multiplicative subgroups

On Nonlinear Kloosterman Sums

Sister Beiter and Kloosterman: A tale of cyclotomic coefficients and modular inverses

Small solutions to inhomogeneous and homogeneous quadratic congruences modulo prime powers

Kloosterman Sums and a Problem of D. H. Lehmer

arXiv:math.NT/0502187 CONGRUENCES FOR SUMS OF BINOMIAL COEFFICIENTS

Odd moments and adding fractions

Bounds for Kloosterman sums on GL(n)

Triple sums of Kloosterman sums and the discrepancy of modular inverses

SOME NEW SUPER-CONGRUENCES MODULO PRIME POWERS

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

A Combinatorial Congruence on Polynomials