We generalize and solve the $\roman{mod}\,q$ analogue of a problem of Littlewood and Offord, raised by Vaughan and Wooley, concerning the distribution of the $2^n$ sums of the form $\sum_{i=1}^n\varepsilon_ia_i$, where each $\varepsilon_i$ is $0$ or $1$. For all $q$, $n$, $k$ we determine the maximum, over all reduced residues $a_i$ and all sets $P$ consisting of $k$ arbitrary residues, of the number of these sums that belong to $P$.
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.
It is well known that when a prime $p$ is congruent to 1 modulo 4, the sum of the quadratic residues equals the sum of the quadratic nonresidues. In this note we give analogous results for the case where $p$ is congruent to 3 modulo 4.
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 prove, for a sufficiently small subset $\mathcal{A}$ of a prime residue field, an estimate on the number of solutions to the equation $(a_1-a_2)(a_3-a_4) = (a_5-a_6)(a_7-a_8)$ with all variables in $\mathcal{A}$. We then derive new bounds on trilinear exponential sums and on the total number of residues equaling the product of two differences of elements of $\mathcal{A}$. We also prove a refined estimate on the number of collinear triples in a Cartesian product of multiplicative subgroups and derive stronger bounds for trilinear sums with all variables in multiplicative subgroups.
Suppose that some harmonic analysis arguments have been invoked to show that the indicator function of a set of residue classes modulo some integer has a large Fourier coefficient. To get information about the structure of the set of residue classes, we then need a certain type of complementary result. A solution to this problem was given by Gregory Freiman in 1961, when he proved a lemma which relates the value of an exponential sum with the distribution of summands in semi-circles of the unit circle in the complex plane. Since then, Freiman's Lemma has been extended by several authors. Rathe…
Let p be a prime = 3 (mod 4). A number of elegant number-theoretical properties of the sums T(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} tan(n^2π/p) and C(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} cot(n^2π/p) are proved. For example, T(p) equals p times the excess of the odd quadratic residues over the even ones in the set {1,2,...,p-1}; this number is positive if p = 3 (mod 8) and negative if p = 7 (mod 8). In this revised version the connection of these sums with the class-number h(-p) is also discussed. For example, a very simple formula expressing h(-p) by means of the aforementioned excess is proved. The bi…
Let $n\ge 1, e\ge 1, k\ge 2$ and $c$ be integers. An integer $u$ is called a unit in the ring $\mathbb{Z}_n$ of residue classes modulo $n$ if $\gcd(u, n)=1$. A unit $u$ is called an exceptional unit in the ring $\mathbb{Z}_n$ if $\gcd(1-u,n)=1$. We denote by $\mathcal{N}_{k,c,e}(n)$ the number of solutions $(x_1,...,x_k)$ of the congruence $x_1^e+...+x_k^e\equiv c \pmod n$ with all $x_i$ being exceptional units in the ring $\mathbb{Z}_n$. In 2017, Mollahajiaghaei presented a formula for the number of solutions $(x_1,...,x_k)$ of the congruence $x_1^2+...+x_k^2\equiv c\pmod n$ with all $x_i$ be…
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 …
Let $q$ be an integer $\geq 2$ and let $S_q(n)$ denote the sum of digits of $n$ in base $q$. For \[ α=[0;\overline{1,m}],\ m\geq 2, \] let $S_α(n)$ denote the sum of digits in the Ostrowski $α$-representation of $n$. Let $m_1,m_2\geq 2$ be integers with $$\gcd(q-1,m_1)=\gcd(m,m_2)=1.$$ We prove that there exists $δ>0$ such that for all integers $a_1,a_2$, \begin{eqnarray*} &&|\{0\leq n<N: S_{q}(n)\equiv a_1\pmod{m_1},\ S_α(n)\equiv a_2\pmod{m_2}\}| &=&\frac{N}{m_1m_2}+O(N^{1-δ}). \end{eqnarray*} The asymptotic relation implied by this equality was proved by Coquet, Rhin & Toffin and the equali…
A set ${\cal A} \subseteq \Set{1,...,N}$ is of type $B_2$ if all sums $a+b$, with $a\ge b$, $a,b\in {\cal A}$, are distinct. It is well known that the largest such set is of size asymptotic to $N^{1/2}$. For a $B_2$ set ${\cal A}$ of this size we show that, under mild assumptions on the size of the modulus $m$ and on the difference $N^{1/2}-\Abs{\cal A}$ (these quantities should not be too large) the elements of ${\cal A}$ are uniformly distributed in the residue classes mod $m$. Quantitative estimates on how uniform the distribution is are also provided. This generalizes recent results of Lin…
In this paper we establish connections between covers of $\mathbb Z$ by residue classes and subset sums in a field. Suppose that $A_0=\{a_s(n_s)\}_{s=0}^k$ covers each integer at least $p$ times with the residue class $a_0(n_0)=a_0+n_0\mathbb Z$ irredundant, where $p$ is a prime not dividing any of $n_1,\ldots,n_k$. Let $m_1,\ldots,m_k\in\mathbb Z$ be relatively prime to $n_1,\ldots,n_k$ respectively. For any $c,c_1,\ldots,c_k\in\mathbb Z/p\mathbb Z$ with $c_1\cdots c_k\not=0$, we show that the set $$\bigg\{\bigg\{\sum_{s\in I}\frac{m_s}{n_s}\bigg\}:\, I\subseteq\{1,\ldots,k\} \ \mbox{and}\ \s…
Let $p$ be an odd prime and let $m\not\equiv 0\pmod p$ be a rational p-adic integer. In this paper we reveal the connection between quartic residues and the sum $\sum_{k=0}^{[p/4]}\binom{4k}{2k}\frac 1{m^k}$, where $[x]$ is the greatest integer not exceeding $x$. Let $q$ be a prime of the form $4k+1$ and so $q=a^2+b^2$ with $a,b\in\Bbb Z$. When $p\nmid ab(a^2-b^2)q$, we show that for $r=0,1,2,3$, $p^{\frac{q-1}4}\equiv (\frac ab)^r\pmod q$ if and only if $$\sum_{k=0}^{[p/4]}\binom{4k}{2k}\Big(\frac{a^2}{16q}\Big)^k\equiv (-1)^{\frac{p^2-1}8a+\frac{p-1}2\cdot \frac{q-1}4}\Big(\frac pq\Big) \Big…
We establish a new bound for the exponential sum \begin{eqnarray*} \sum_{x\in\mathcal{X}}\Big|\sum_{y\in \mathcal{Y}}γ(y)\exp(2πi a λ^{xy}/p)\Big|, \end{eqnarray*} where $λ$ is an element of the residue ring modulo a large prime number $p,$ $\mathcal{X}$ and $\mathcal{Y}$ are arbitrary subsets of the residue ring modulo $p-1$ and $γ(n)$ are any complex numbers with $|γ(n)| \le 1.$ In particular, we improve several previously known bounds.
We obtain function field analogues of recent energy bounds on modular square roots and modular inversions and apply them to bounding some bilinear sums and to some questions regarding smooth and square-free polynomials in residue classes.
Let $\F_p$ be the field of residue classes modulo a large prime $p$. The present paper is devoted to the problem of representability of elements of $\F_p$ as sums of fractions of the form $x/y$ with $x,y$ from short intervals of $\F_p$.
Let $S(a,b)=12s(a,b)$, where $s(a,b)$ denotes the classical Dedekind sum. For a given denominator $q\in \mathbb N$, we study the numerators $k\in\mathbb Z$ of the values $k/q$, $(k,q)=1$, of Dedekind sums $S(a,b)$. Our main result says that if $k$ is such a numerator, then the whole residue class of $k$ modulo $(q^2-1)q$ consists of numerators of this kind. This fact reduces the task of finding all possible numerators $k$ to that of finding representatives for finitely many residue classes modulo $(q^2-1)q$. By means of the proof of this result we have determined all possible numerators $k$ fo…
Given an odd prime p, we prove a congruence on the p-residue of the Fermat quotient q_p(a) in base a with 0<a<p, which arises from a generalization of the Voronoi congruences and from some other congruences on sums and weighted sums of divided Bernoulli numbers. As an application in the base 2 case, we retrieve a congruence for the first generalized harmonic number of order (p-1)/2, a generalization originally due to Z-H. Sun of a classical congruence known since long for the harmonic number of order (p-1)/2 as a special case of the Lerch formula. We find a sharpening of the Voronoi congruence…
We extend a result due to Bourgain on the uniform distribution of residues by proving that subsets of the type $f(I)\cdot H$ is equidistributed (as $p$ tends to infinity) where $f$ is a polynomial, $I$ is an interval of $\Fp$ and $H$ is an approximate subgroup of $\mathbb{F}_p^*$ with size larger than polylogarithmic in $p$.
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（上海交通大学数学科学学院）
The rationality of the elliptic Gauss sum coefficient is shown. The following is a specific case of our argument. Let f(u)=sl((1-i)\varpi u), where sl() is the Gauss' lemniscatic sine and \varpi=2.62205... is the real period of the elliptic curve y^2=x^3-x, so that f(u) is an elliptic function relative to the period lattice Z[i]. Let πbe a primary prime of Z[i] such that norm(π)\equiv 13\mod 16. Let S be the quarter set mod πconsisting of quartic residues. Let us define G(π):=\sum_{ν\in S} f(ν/π) and \tildeπ:=\prod_{ν\in S} f(ν/π). The former G(π) is a typical example of elliptic Gauss sum; th…
We consider generalized Dedekind sums in dimension $n$, for fixed $n$-tuple of natural numbers, defined as sum of products of values of periodic Bernoulli functions. This includes the higher dimensional Dedekind sums of Zagier and Apostol-Carlitz' generalized Dedekind sums as well as the original Dedekind sums. These are realized as coefficients of Todd series of lattice cones and satisfy reciprocity law from the cocycle property of Todd series. Using iterated residue formula, we compute the coefficient of the decomposition of of the Todd series corresponding to a nonsingular decomposition of …
In this paper, we first find the distribution of nth power residues modulo a prime $p$ by analyzing sums involving Dirichlet characters. We then extend this method to characterize the distribution of powers in arbitrary finite fields.
We show that, in a restricted range, the divisor function of integers in residue classes modulo a prime follows a Gaussian distribution, and a similar result for Hecke eigenvalues of classical holomorphic cusp forms. Furthermore, we obtain the joint distribution of these arithmetic functions in two related residue classes. These results follow from asymptotic evaluations of the relevant moments, and depend crucially on results on the independence of monodromy groups related to products of Kloosterman sums.
Let $p$ be an odd prime number. In this article, we study the number of quadratic residues and non-residues modulo $p$ which are multiples of $2$ or $3$ or $4$ and lying in the interval $[1, p-1]$, by applying the Dirichlet's class number formula for the imaginary quadratic field $\mathbb{Q}(\sqrt{-p})$.
In this article we investigate the distribution of prime ideals of residue degree bigger than one across the ideal classes in the class group of a number field $L$. A criterion for the class group of $L$ being generated by the classes of prime ideals of residue degree $f>1$ is provided. Further, some consequences of this study on the solvability of norm equations for $L/\mathbb{Q}$ and on the problem of finding annihilators for relative extensions are discussed.
We study the distribution of spacings between squares modulo q as the number of prime divisors of q tends to infinity. In an earlier paper Kurlberg and Rudnick proved that the spacing distribution for square free q is Poissonian, this paper extends the result to arbitrary q.
Let $S_n=\e_1+...+\e_n$, where $ \e_i $ are i.i.d. Bernoulli r.v.'s. Let $0\le r_d(n)<2d$ be the least residue of $n$ mod$(2d)$, $\bar r_d(n)= 2d -r_d(n)$ and $\b(n,d)=\max ({1\over d}, {1\over \sqrt n})[e^{- {r_d(n)^2/2 n}} +e^{- {\bar r_d(n)^2/2 n}}]$. We show that $$\sup_{2\le d\le n} \big|¶\big\{d|S_n\big\}- E(n,d) \big|= {\cal O}\big({\log^{5/2} n \over n^{3/2}}\big), $$ where $E(n,d) $ verifies $c_1\b(n,d)\le E(n,d)\le c_2\b(n,d) $ and $c_1,c_2 $ are numerical constants.
Under fairly general conditions, we show that families of integer-valued polynomial-like multiplicative functions are uniformly distributed in coprime residue classes mod $p$, where $p$ is a growing prime (or nearly prime) modulus. This can be seen as complementary to work of Narkiewicz, who obtained comprehensive results for fixed moduli.
Let $f(x)$ be an irreducible polynomial with integer coefficients of degree at least two. Hooley proved that the roots of the congruence equation $f(x)\equiv 0\mod n$ is uniformly distributed. as a parallel of Hooley's theorem under ideal theoretical setting, we prove the uniformity of the distribution of residues of an algebraic number modulo degree one ideals. Then using this result we show that the roots of a system of polynomial congruences are uniformly distributed. Finally, the distribution of digits of n-adic expansions of an algebraic number is discussed.
The multplicative order of an integer g modulo a prime p, with p coprime to g, is defined to be the smallest positive integer k such that g^k is congruent to 1 modulo p. For fixed integers g and d the distribution of this order over residue classes mod d is considered as p runs over the primes. An overview is given of the most significant of my results on this problem obtained (mainly) in the three part series of papers `On the distribution of the order and index of g (modulo p) over residue classes' I-III (appeared in the Journal of Number Theory, also available from the ArXiv).
We investigate the distribution of the function $ω(n)$, the number of distinct prime divisors of $n$, in residue classes modulo $q$ for natural numbers $q$ greater than 2. In particular we ask `prime number races' style questions, as suggested by Coons and Dahmen in their paper `On the residue class distribution of the number of prime divisors of an integer'.
We prove that the set of Farey fractions of order $T$, that is, the set $\{α/β\in \Q : \gcd(α, β) = 1, 1 \le α, β\le T\}$, is uniformly distributed in residue classes modulo a prime $p$ provided $T \ge p^{1/2 +\eps}$ for any fixed $\eps>0$. We apply this to obtain upper bounds for the Lang--Trotter conjectures on Frobenius traces and Frobenius fields ``on average'' over a one-parametric family of elliptic curves.
Let $G$ be a split reductive group over a number field $F$. We consider the computation of the inner product of two $K$-spherical pseudo Eisenstein series of $G$ supported in $[T,\mathcal{O}(1)]$ by means of residues, following a classical approach initiated by Langlands. We show that only the singularities of the intertwining operators due to the poles of the completed Dedekind zeta function $Λ_F$ contribute to the spectrum, while the singularities caused by the zeroes of $Λ_F$ do not contribute to any of the iterated residues which arise as a result of the necessary contour shifts. In the co…
For positive integers $q$, Dirichlet's theorem states that there are infinitely many primes in each reduced residue class modulo $q$. A stronger form of the theorem states that the primes are equidistributed among the $φ(q)$ reduced residue classes modulo $q$. This paper considers patterns of sequences of consecutive primes $(p_n, p_{n+1}, \ldots, p_{n+k})$ modulo $q$. Numerical evidence suggests a preference for certain prime patterns. For example, computed frequencies of the pattern $(a,a)$ modulo $q$ up to $x$ are much less than the expected frequency $π(x)/φ(q)^2$. We begin to rigorously c…
Dedekind sums have applications in quite a number of fields of mathematics. Therefore, their distribution has found considerable interest. This article gives a survey of several aspects of the distribution of these sums. In particular, it highlights results about the values of Dedekind sums, their density and uniform distribution. Further topics include mean values, large and small (absolute) values, and the behaviour of Dedekind sums near quadratic irrationals. The present paper can be considered as a supplement to the survey article [R. W. Bruggeman, On the distribution of Dedekind sums, Con…
We generalize current known distribution results on Shanks--Rényi prime number races to the case where arbitrarily many residue classes are involved. Our method handles both the classical case that goes back to Chebyshev and function field analogues developed in the recent years. More precisely, let $π(x;q,a)$ be the number of primes up to $x$ that are congruent to $a$ modulo $q$. For a fixed integer $q$ and distinct invertible congruence classes $a_0,a_1,\ldots,a_D$, assuming the generalized Riemann Hypothesis and a weak version of the linear independence hypothesis, we show that the set of $…
Let $q>r\ge1$ be coprime positive integers. We empirically study the maximal gaps $G_{q,r}(x)$ between primes $p=qn+r\le x$, $n\in{\mathbb N}$. Extensive computations suggest that almost always $G_{q,r}(x)<φ(q)\log^2x$. More precisely, the vast majority of maximal gaps are near a trend curve $T$ predicted using a generalization of Wolf's conjecture: $$G_{q,r}(x) ~\sim~ T(q,x)={φ(q)x\over{\rm li}(x)} \Big(2\log{{\rm li}(x)\overφ(q)} - \log x + b\Big),$$ where $b = b(q,x) = O_q(1)$. The distribution of properly rescaled maximal gaps $G_{q,r}(x)$ is close to the Gumbel extreme value distribution.…
In this paper, we investigate the distribution of the maximum of partial sums of families of $m$-periodic complex valued functions satisfying certain conditions. We obtain precise uniform estimates for the distribution function of this maximum in a near optimal range. Our results apply to partial sums of Kloosterman sums and other families of $\ell$-adic trace functions, and are as strong as those obtained by Bober, Goldmakher, Granville and Koukoulopoulos for character sums. In particular, we improve on the recent work of the third author for Birch sums. However, unlike character sums, we are…
We employ the spectral theory of Eisenstein series to prove that the Hardy sums, integer-valued analogs of the classical Dedekind sums, are uniformly distributed in $\mathbf{Z} / m \mathbf{Z}$ for any integer $m > 1$.
For a fixed rational number g different from -1,0,1 and integers a and d the set N_g(a,d) of primes p for which the order of g(mod p) is congruent to a(mod d) is considered. It is shown, assuming the Generalized Riemann Hypothesis (GRH), that this set has a natural density which can be computed in terms of degrees of certain Kummer extensions and Galois theoretic intersection coefficients. In case d is a power of an odd prime several properties of this density are established.
We obtain explicit bounds on the moments of character sums, refining estimates of Montgomery and Vaughan. As an application we obtain results on the distribution of the maximal magnitude of character sums normalized by the square root of the modulus, finding almost double exponential decay in the tail of this distribution.
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.
