Character sums with smooth numbers
Igor E. Shparlinski

TL;DR
This paper improves bounds on the frequency of large character sums with smooth numbers by leveraging the large sieve inequality for smooth numbers, advancing understanding in analytic number theory.
Contribution
It introduces improved bounds on character sums with smooth numbers using the large sieve inequality, refining previous results by Drappeau, Granville, and Shao.
Findings
Enhanced bounds on the frequency of large character sums
Refined estimates for pairs of moduli and primitive characters
Application of the large sieve inequality to smooth numbers
Abstract
We use the large sieve inequality for smooth numbers due to S. Drappeau, A. Granville and X. Shao (2017), together with some other arguments, to improve their bounds on the frequency of pairs of moduli and primitive characters modulo , for which the corresponding character sums with smooth numbers are large.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAnalytic Number Theory Research · Limits and Structures in Graph Theory
Character sums with smooth numbers
Igor E. Shparlinski
Department of Pure Mathematics, University of New South Wales
2052 NSW, Australia.
Abstract.
We use the large sieve inequality for smooth numbers due to S. Drappeau, A. Granville and X. Shao (2017), together with some other arguments, to improve their bounds on the frequency of pairs of moduli and primitive characters modulo , for which the corresponding character sums with smooth numbers are large.
Key words and phrases:
character sum, smooth number, sieve method
2010 Mathematics Subject Classification:
Primary 11L40; Secondary 11N25, 11N36
1. Introduction
Let be the set of -smooth integers , that is,
[TABLE]
where is the largest prime divisor of a positive integer . We also denote the cardinality of by .
Let denote the set of all multiplicative characters modulo an integer and let be the set of primitive characters , where denotes the Euler function of , we refer to [6, Chapter 3] for a background on characters.
Given a sequence of complex numbers, w now consider the character sums
[TABLE]
In the case when , , we simply write
[TABLE]
Drappeau, Granville and Shao [1] have recently shown that there exist absolute constants such that real , and satisfy
[TABLE]
then for any fixed for all but at most
[TABLE]
pairs with a positive integer and , for every we have
[TABLE]
where as usual
[TABLE]
The result is based on the obtained in [1] large sieve inequality with smooth numbers. It seems that the same result also holds for the sums satisfying the bound (1.2).
Here we modify the scheme of the proof from [1] and obtain a stronger and more flexible statement with new parameters controlling the size of character sums and controlling the range where these sums are considered.
Theorem 1.1**.**
There exist absolute constants such that for any fixed and real , , , and that satisfy
[TABLE]
and
[TABLE]
and an arbitrary sequence of complex numbers with
[TABLE]
for all but at most
[TABLE]
pairs with a positive integer and , for every we have
[TABLE]
where the implied constants depend only on .
For example, using that , we see from Theorem 1.1 that (1.2) fails for at most
[TABLE]
pairs under consideration, improving the bound (1.1) and holding in a broader range of parameters.
Finally, in Section 4 we also present an argument due to Adam Harper which shows that his results [2] allow a more direct approach to the sums
2. Preliminaries
As usual, we use the expressions , and to mean for some constant which throughout the paper may depend on the real parameter .
First we recall the following result of Hildebrand [3, Corollary 2]:
Lemma 2.1**.**
For any fixed , if then
[TABLE]
We use the following version of the classical large sieve inequality, which has been given by Drappeau, Granville and Shao [1]:
Lemma 2.2**.**
There exist absolute constants such that for any real , and with
[TABLE]
and an arbitrary sequence of complex numbers, we have
[TABLE]
Let be the periodic function with period one for which
[TABLE]
We now recall the following classical result of Vinogradov (see [8, Chapter I, Lemma 12]):
Lemma 2.3**.**
For any such that
[TABLE]
there is a real-valued function with the following properties:
- •
* is periodic with period one;*
- •
* for all ;*
- •
* if or ;*
- •
* can be represented as a Fourier series*
[TABLE]
where and the coefficients satisfy the uniform bound
[TABLE]
3. Proof of Theorem 1.1
We cover the interval by (possibly overlapping) dyadic intervals of the form with an integer .
We now fix one of these intervals and estimate the number of pairs with a positive integer and such that there exists for which we have
[TABLE]
where is some constant, which may depend on , to be chosen later.
First, we note that by Lemma 2.1 we have
[TABLE]
which we use throughout the proof.
We also note that for the number of such pairs for which
[TABLE]
by Lemma 2.1 we have
[TABLE]
Hence
[TABLE]
Similarly for the number of pairs for which
[TABLE]
we have
[TABLE]
So, removing these pairs , we can now assume that
[TABLE]
holds.
Let . Using the function as in (2.1), we write
[TABLE]
We can certainly assume that as otherwise the result is trivial.
If
[TABLE]
then obviously either
[TABLE]
or
[TABLE]
Hence, applying Lemma 2.1, which is possible due to the condition on , and recalling (3.5), we obtain that in this case
[TABLE]
Therefore we can assume that (3.7) holds and thus Lemma 2.3 applies with this and .
Considering the contribution to the above sum from with
[TABLE]
(that is, with in one of the intervals where and may disagree), and recalling that , we obtain
[TABLE]
Hence, applying Lemma 2.1 and recalling (3.2), we obtain
[TABLE]
which together with (3.5) and (3.6) implies
[TABLE]
Furthermore, defining , we see from the properties of the coefficients of that we can approximate it as
[TABLE]
by a finite trigonometric polynomial
[TABLE]
where for convenience we have also defined . Hence, using (3.2), we can rewrite (3.8) as
[TABLE]
Expanding the function and changing the order of summation, we obtain
[TABLE]
Since we obtain
[TABLE]
where
[TABLE]
with
[TABLE]
Combining (3.9) and (3.10) together, we see that for some constant , depending only on , we have
[TABLE]
which is the same constant which we also use in (3.1).
We note the most crucial for our argument point that the sums and thus do not depend on . In particular, it is enough to estimate the number of pairs with a positive integer and with
[TABLE]
Writing and using the Cauchy inequality, we obtain
[TABLE]
We now apply Lemma 2.2 for every , with the sequence supported only on -smooth integers in which case we set . This yields the bound
[TABLE]
which implies that
[TABLE]
Therefore, recalling (3.3) and (3.4) and using (3.11), we obtain
[TABLE]
for each of relevant values of . The result now follows.
4. Comments
Here we show that the sums without weights admit a more efficient treatement directly from a result of Harper [2, Proposition 1].
First we note that, without loss of generality, in the hypotheses of Theorem 1.1, we can assume that is sufficiently small (since otherwise, adjusting the value of the constant , we can use the trivial bound for the number of “bad” pairs ).
We now set
[TABLE]
where is the absolute constant of [2, Proposition 1].
It is easy to check that all the assumptions of [2, Proposition 1], used with in place of , are satisfied for any such character and any with . Indeed, we first note that by [4, Lemma 2] the parameter satisfies . Hence, for a sufficiently large and a sufficiently small we have
[TABLE]
(provided that is large enough). We also note that
[TABLE]
We now assume that is sufficiently large and is sufficiently small, so that we have
[TABLE]
where is the absolute constant of [2, Proposition 1]. Hence, recalling the inequalities , we also have
[TABLE]
Finally, we also verify that for and an appropriate choice of the constants , and we have
[TABLE]
Thus the inequalities (4.1), (4.2) and (4.3) ensure that [2, Proposition 1] applies and implies that for any modulus and a primitive character modulo , such that the -function has no zeros in the region
[TABLE]
we have
[TABLE]
for all .
It only remains to see how many pairs do not have such a zero-free region. By the zero-density estimates of Huxley [5] and Jutila [7] (see also [2, Section 2], where such results are conveniently summarised), this number is at most . First we note that , which implies
[TABLE]
It is also useful to note that since , we have
[TABLE]
Recalling that is at most a small power of we now derive the number of “bad” pairs is at most
[TABLE]
with the above choice of . In particular, if
[TABLE]
for some absolute constants , then, using the condition we obtain
[TABLE]
and
[TABLE]
Hence
[TABLE]
Thus, if in instead of (4.4) we impose more stringent conditions
[TABLE]
then we see that .
Finally, we note that [2, Theorem 3] can also be used to estimate the sums . Furthermore, the sums with weights given by multiplicative functions, such as the Möbius function, can be treated within the same technique. However, this approach does not seem to apply to the sums with arbitrary weights.
Acknowledgement
The author is grateful to Adam Harper for proving the argument used in Section 4 together with the generous permission to present it here as well as further comments.
Some parts of this work were done when the author was visiting the Max Planck Institute for Mathematics, Bonn, and the Institut de Mathématiques de Jussieu, Université Paris Diderot, whose generous support and hospitality are gratefully acknowledged.
This work was also partially supported by the Australian Research Council Grant DP140100118.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] S. Drappeau, A. Granville and X. Shao, ‘Smooth-supported multiplicative functions in arithmetic progressions beyond the x 1 / 2 superscript 𝑥 1 2 x^{1/2} -barrier’, Preprint , 2017 (available from http://arxiv.org/abs/1704.04831 ).
- 2[2] A. Harper, ‘Bombieri–Vinogradov and Barban–Davenport–Halberstam type theorems for smooth numbers’, Preprint , 2012 (available from http://arxiv.org/abs/1208.5992 ).
- 3[3] A. Hildebrand, ‘Integers free of large prime divisors in short intervals’, Quart. J. Math. Oxford , 36 (1985), 57–69.
- 4[4] A. Hildebrand and G. Tenenbaum, ‘On integers free of large prime factors’, Trans. Amer. Math. Soc., , 296 (1986), 265–290.
- 5[5] M. N. Huxley, ‘Large values of Dirichlet polynomials. III’, Acta Arith. , 26 (1974), 435–444.
- 6[6] H. Iwaniec and E. Kowalski, Analytic Number Theory , Amer. Math. Soc., Providence, RI, 2004.
- 7[7] M. Jutila, ‘On Linnik’s constant’, Math. Scand. , 41 (1977), 45–62.
- 8[8] I. M. Vinogradov, The method of trigonometrical sums in the theory of numbers , Dover Publ., NY, 2004.
