#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS

Similar documents
An Estimate For Heilbronn s Exponential Sum

#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia

The inverse Goldbach problem

Almost All Palindromes Are Composite

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.

Representing Integers as the Sum of Two Squares in the Ring Z n

HENSEL S LEMMA KEITH CONRAD

DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO

QUADRATIC RECIPROCITY

On the smallest point on a diagonal quartic threefold

MATH 2710: NOTES FOR ANALYSIS

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

When do Fibonacci invertible classes modulo M form a subgroup?

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

JEAN-MARIE DE KONINCK AND IMRE KÁTAI

On Erdős and Sárközy s sequences with Property P

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS

arxiv:math/ v2 [math.nt] 21 Oct 2004

CHARACTER SUMS AND CONGRUENCES WITH n!

Eötvös Loránd University Faculty of Informatics. Distribution of additive arithmetical functions

THE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4

PETER J. GRABNER AND ARNOLD KNOPFMACHER

March 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011

A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction

Congruences and Exponential Sums with the Euler Function

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

2 Asymptotic density and Dirichlet density

DECIMATIONS OF L-SEQUENCES AND PERMUTATIONS OF EVEN RESIDUES MOD P

DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions

2 Asymptotic density and Dirichlet density

TAIL OF A MOEBIUS SUM WITH COPRIMALITY CONDITIONS

Elementary Analysis in Q p

Ernie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract

Heuristics on Tate Shafarevitch Groups of Elliptic Curves Defined over Q

POINTS ON CONICS MODULO p

arxiv: v4 [math.nt] 11 Oct 2017

ON THE SET a x + b g x (mod p) 1 Introduction

Elementary theory of L p spaces

ON FREIMAN S 2.4-THEOREM

TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES

Improvement on the Decay of Crossing Numbers

Research Article New Mixed Exponential Sums and Their Application

QUADRATIC RECIPROCITY

LEIBNIZ SEMINORMS IN PROBABILITY SPACES

IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES

On the Multiplicative Order of a n Modulo n

Jacobi symbols and application to primality

p-adic Properties of Lengyel s Numbers

Combinatorics of topmost discs of multi-peg Tower of Hanoi problem

Small Zeros of Quadratic Forms Mod P m

arxiv: v2 [math.nt] 9 Oct 2018

Verifying Two Conjectures on Generalized Elite Primes

A structure theorem for product sets in extra special groups

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

Congruences and exponential sums with the sum of aliquot divisors function

MATH342 Practice Exam

THE SLIDING-SUM METHOD FOR SHORT EXPONENTIAL SUMS. 1. Introduction

ON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES

3 Properties of Dedekind domains

On the irreducibility of a polynomial associated with the Strong Factorial Conjecture

University of Bristol - Explore Bristol Research. Peer reviewed version. Link to published version (if available): 10.

p-adic Measures and Bernoulli Numbers

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler

Towards understanding the Lorenz curve using the Uniform distribution. Chris J. Stephens. Newcastle City Council, Newcastle upon Tyne, UK

MATH 361: NUMBER THEORY ELEVENTH LECTURE

ON SETS OF INTEGERS WHICH CONTAIN NO THREE TERMS IN GEOMETRIC PROGRESSION

MAS 4203 Number Theory. M. Yotov

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES

New Information Measures for the Generalized Normal Distribution

Distribution of Matrices with Restricted Entries over Finite Fields

When do the Fibonacci invertible classes modulo M form a subgroup?

MATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

arxiv:math/ v1 [math.nt] 5 Apr 2006

Robustness of classifiers to uniform l p and Gaussian noise Supplementary material

YOUNESS LAMZOURI H 2. The purpose of this note is to improve the error term in this asymptotic formula. H 2 (log log H) 3 ζ(3) H2 + O

On Isoperimetric Functions of Probability Measures Having Log-Concave Densities with Respect to the Standard Normal Law

Mobius Functions, Legendre Symbols, and Discriminants

On the Greatest Prime Divisor of N p

Uniform Law on the Unit Sphere of a Banach Space

Opposite-quadrant depth in the plane

Location of solutions for quasi-linear elliptic equations with general gradient dependence

Positive decomposition of transfer functions with multiple poles

Jonathan Sondow 209 West 97th Street, New York, New York

An Overview of Witt Vectors

A Note on Guaranteed Sparse Recovery via l 1 -Minimization

JARED DUKER LICHTMAN AND CARL POMERANCE

The Fekete Szegő theorem with splitting conditions: Part I

MATH 361: NUMBER THEORY EIGHTH LECTURE

LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS

On a Markov Game with Incomplete Information

Algebraic number theory LTCC Solutions to Problem Sheet 2

Sums of independent random variables

Transcription:

#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université Jean-Monnet, Institut Camille Jordan, Saint-Etienne, France francois.hennecart@univ-st-etienne.fr Received: 12/4/13, Revised: 2/11/15, Acceted: 9/7/15, Published: 9/18/15 Abstract Following revious works of Chung we are interested in Vinogradov s tye inequalities for some multivariate character sums. Using Johnsen s bound on a comlete unidimensional character sum we obtain a sharer result in several ranges of arameters. Dedicated to Endre Szemerédi on his 75 th birthday 1. Introduction Let F be the rime field with elements and F = F \{0} its multilicative grou. We write e(x) for the rimitive additive character ex(2 ix/) on F. The following estimate for the double exonential sum, which has many alications in additive combinatorics, is a well-known result of Vinogradov. Theorem 1.1. Let A, B F. Then for r 2 F e(rab) < A B. (1) The analogous result for a nontrivial multilicative character sum aears first in [3]: Theorem 1.2. Let A, B F and let 6= 0 be a nontrivial multilicative character modulo. Then (a + b) ale A B.

INTEGERS: 15 (2015) 2 To go further we observe that the above bounds (for both multilicative and additive characters) are nontrivial only when A B >. In [5, Chater 8, Problem 9] the author obtained a substantially better bound than that given in Theorem 1.2 when A B is small (see also [6] for related questions). The main ingredient in his roof is Hölder s inequality and the famous dee result due to Weil on exonential sums. Karatsuba s result reads as follows: Theorem 1.3. Let A, B F and let 6= 0 be a nontrivial multilicative character. Then for any ositive integer n (a + b) A 1 1 1 1 1 2n 2n B 2 + 4n B. When n = 1 we obtain Theorem 1.2 (aart from the multilicative constant imlied in Vinogradov s symbol). There are many alications of this tye of bound. We mention just one here. Let N(A, B) be the number of airs (a, b) 2 A B such that a + b is a square in F. Then N(A, B) = A B A \ ( B) 2 + 1 2 a + b where denotes the Legendre symbol. For additive characters and smaller subsets A, B of F, Bourgain and Garaev roved the following theorem (see [1]): Theorem 1.4. Let A, B F, and for r 2 F, let S(r) = e(rab)., Then S(r) ale A 1/2 B 1/2 E + 2 (A)E+ 2 (B) 1/8, where E 2 + (A) is the additive energy of the set A defined by E + 2 (A) = {(a 1, a 2, a 3, a 4 ) 2 A 4 a 1 + a 2 = a 3 + a 4 }. Since clearly E + 2 (A) < A 3, we have which gives S(r) ale A 7/8 B 7/8 1/8, S(r) ale A 7/8 B 7/8 1/8 < A B, rovided that A B <. Under the above condition, Theorem 1.4 rovides, more generally, a considerably better estimate than Theorem 1.1 whenever there is a nontrivial bound for E + 2 (A), e.g. E+ 2 (A) < A 3 c with some aroriate c > 0.

INTEGERS: 15 (2015) 3 In [2] the author discussed a certain family of incomlete character sums restricted to triles (a, b, c) belonging to a set W which is not necessarily the hyercube A B C. We infer from Theorem 1.2 that when W = A B C with A ale B ale C, the bound (a,b,c)2a B C holds. It is nontrivial whenever (a + b + c) ale A B 1/2 C 1/2 (2) B C >. (3) More recisely, Chung considered the more general situation where the subset W of F 3 could be described by its rojections on the hyerlanes F F {0}, F {0} F and {0} F F. We denote by 12, 23 and 31, the rojections from F 3 onto F 2 maing (a, b, c) on (a, b), (b, c) and (c, a), resectively. For W F 3, we let = 12 (W ), Y = 23 (W ), Z = 31 (W ) and W,Y,Z := {(a, b, c) 2 F 3 : (a, b) 2 ; (b, c) 2 Y ; (c, a) 2 Z}. Then W W,Y,Z. But the reverse inclusion is not true in general. We restrict our attention to the case where W = W,Y,Z. We first observe that we might have W = W 0,Y 0,Z 0 for other subsets 0, Y 0, Z 0 containing, Y, Z, resectively; but in the sequel, we deal only with the strict images, Y, Z of W by these three rojections. Under these assumtions on W, we obtain W = 1 = Y b \ Z a ale, where (a,b)2 c2f (b,c)2y (c,a)2z (a,b)2 Z c := {a 2 F (c, a) 2 Z}, Z a := {c 2 F (c, a) 2 Z} for a, b, c 2 F and a, b, Y b and Y c are defined similarly. It follows that W ale min(, Y, Z ). By the Cauchy inequality we also have the uer bound W ale 1/2 (a,b)2 Hence if = min(, Y, Z ), then Y b \Z a 2 1/2 1/2 ale 1/2 Z a Y b = Y Z. a2f b2f W ale min(, Y Z ). (4)

INTEGERS: 15 (2015) 4 Moreover, for any (a, b) 2 the intersection Y b \ Z a cannot be emty since there necessarily exists at least one element c such that (a, b, c) 2 W. Thus the assumtions (b, c) 2 Y and (c, a) 2 Z imly c 2 Y b \ Z a. By symmetry this yields W max(, Y, Z ). Consequently we can assume Y Z, and by (4) we obtain Now Theorem 3.1 in [2] can be stated as follows: Y ale min( Z, ). (5) Theorem 1.5. Let denote a nontrivial multilicative character on F. Let W F 3, = 12 (W ), Y = 23 (W ), Z = 31 (W ) and assume that W = W,Y,Z. Then we have S 2 := (a + b + c) ale 2 3/4 1/2 Y 1/4 Z 1/4. (6) (a,b,c)2w Since clearly S 2 is at most W by (4) and (6) we thus need 3/4 1/2 Y 1/4 Z 1/4 min(, 1/2 Y 1/2 Z 1/2 ). Consequently, this bound is nontrivial when 2 Y Z 3. (7) Writing = x, Y = y and Z = z and using (5), Theorem 1.5 is nontrivial when 2 y z x > 0, 1 + 2x y + z 3, 1 + x y, x + z y. In the articular case when W = A B C so that = A B, Y = B C and Z = C A the bound (6) is nontrivial whenever A B C 2 3, (8) which is a stronger condition than (3), thus one can exect (6) is weaker than (2). We now consider a directed grah on F 2 : the set W contains all triles (a, b, c) such that (a, b), (b, c) and (c, a) are in, Y, Z resectively and in which two airs (x, y) and (z, t) are connected if y = z. Observe that the trivial bound yields S 2 ale W ale min(, Y, Z ). Hence Theorem 1.5 rovides a ossible gain of 1/4 when the sizes of, Y, Z are close to 2. At this oint we should mention that it is conjectured in [2] that the exected gain on the trivial bound 3 should be 1/2, namely S 2 5/2, while Theorem 1.5 yields only S 2 11/4. 2. Statement of the Results We can rove the following result which is similar to Theorem 1.3 with n = 2. We will use it later for bounding the trile sum in Theorem 2.3.

INTEGERS: 15 (2015) 5 Theorem 2.1. Let A, B F, and 1, 2 be two multilicative characters modulo which are not simultaneously the trivial character 0. Let c 6= c 0 2 F. Then S 1 ( 1, 2, A, B) := 1(a + b + c) 2 (a + b + c 0 ) 1/4 A 3/4 B 1/2 + 1/8 A 3/4 B. We need to clarify the range of alication of this bound in connection with known bounds. Interchanging if necessary the roles of A and B, we may rewrite our result in the following form. Remarks. For A, B F write A = and B = and assume. Under the hyothesis and the notation in the theorem we have S 1 ( 1, 8 1/4 A 1/2 B 3/4 if ale ale 1/4, >< 1/8 A 3/4 B if 1/4 ale ale, 2, A, B) >: 1/4 A 3/4 B 1/2 if 1/2 ale ale 1/4, 1/8 A B 3/4 if ale min(1/2, 1/4). The first and the fourth alternatives are worse than the trivial bound S 1 ale A B. The second one needs 1/2 to be nontrivial. In that case our bound is better than the bound O( A B ) given by Chung (cf. Theorem 2.3 of [2]) rovided that +2 ale 3/2. Finally, the third one needs also 1 2 and then it is better than Chung s bound. We may summarize the result as follows: Corollary 2.2. Let A, B F with A = and B = and assume. Let ( 1, 2) be a air of multilicative characters that di ers from ( 0, 0), and let c 6= c 0 be elements of F. Then S 1 ( 1, 8 1/8 A 3/4 B if 1/4 ale ale 1/2 ale and + 2 ale 3/2, >< 1/4 A 3/4 B 1/2 if 1 ale 2 ale 1/2, 2, A, B) A B if + 2 3/2, >: A B otherwise. For ale 1/4, we might imrove on the trivial bound using the Hölder inequality with large even arameters. Turning to the question of trile sums associated with the vertices of triangles in a secific grah on F 2, we get the following theorem: Theorem 2.3. Let W F 3 and, Y, Z F 2 as in Theorem 1.5 and let 6= 0 be a non-rincial multilicative character modulo. Then assuming ale Z ale Y,

INTEGERS: 15 (2015) 6 we have S 2 (, W ) := (a + b + c) (a,b,c)2w 1/2 1/2 Z 1/4 Y 3/8 + 3/16 1/2 Z 1/2 Y 3/8. (9) One can notice that the uer bound above surasses Chung s bound in Theorem 1.5 whenever Z 2 Y 9/2. In view of (4), the bound (9) in Theorem 2.3 will be nontrivial when max( 1/2 1/2 Z 1/4 Y 3/8, 3/16 1/2 Z 1/2 Y 3/8 ) since S 2 ale W. This is equivalent to the conditions min(, 1/2 Y 1/2 Z 1/2 ), max( 3/2, 4 Z 2 ) Y min( 4/3 4/3 Z 2/3, 13/6 4/3 Z 4/3 ). Thus the bound (9) imroves Chung s bound when 4 Y Z 2 9/2 holds. Let us write = x, Y = y and Z = z. By (5) we obtain that our Theorem 2.3 is meaningful when the arameters x, y, z satisfy ( y z x > 0, 2 y 3/2, y + 2z 4, 1 + x y, x + z y, 4x 3y 2z 4, 8x 6y 8z 13. Let us assume now that W is the Cartesian roduct A B C. Set the cardinalities of the sets in the series A ale B ale C, then we have A B ale C A ale B C. An easy comutation shows that the bound in Theorem 2.3 is nontrivial whenever B C 3/2 and A 2 B C 3 4. These conditions are automatically satisfied when (8) holds. This gives a further argument that Theorem 2.3 is somewhat stronger than Theorem 1.5. Remarks. We observe that the exonents of, Y, Z must not be unbalanced since these cardinalities cannot be strongly di erent. For instance, it is ossible to rove the following bound in line with Theorem 1.5 but using Hölder s inequality instead of Cauchy s: S 2 (, W ) 7/8 3/4 Y 1/8 Z 1/8. (10) This aroach has the e ect of unbalancing the final bound in terms of the cardinalities, Y, Z. At first glance this bound seems better than Chung s if 2 Y Z and better than our bound in Theorem 2.3 if 3 2 Y 2 Z or 11/2 2 Y 2 Z 3. Moreover the requested condition 7/8 3/4 Y 1/8 Z 1/8 for bound (10) to be e ective leads to 2 Y Z. This condition is similar to that needed for Chung s bound in Theorem 1.4. It imlies ultimately that bound (10) is either worse than Chung s or worse than the trivial S 2 ale.

INTEGERS: 15 (2015) 7 3. Proofs of the Results Proof of Theorem 2.1. We simly write S 1 for S 1 ( 1, 2, A, B) throughout the roof. We start by using the triangle inequality and the Hölder inequality: S 1 = 1(a + b + c) 2 (a + b + c 0 ) ale A 3/4 a2a We let 1(a + b + c) 2 (a + b + c 0 ) 4 1/4. b2b T c,c 0( 1, 2, b 1, b 2, b 0 1, b 0 2) := a2f 1(a+b 1 +c) 2 (a+b 1 +c 0 ) 1 (a+b 2 +c) 2 (a+b 2 +c 0 ) 1 (a + b 0 1 + c) 2(a + b 0 1 + c0 ) 1 (a + b 0 2 + c) 2(a + b 0 2 + c0 ), where i(0) = 0, i = 1, 2. Extending the summation to all a 2 F and exanding the exression, we infer 1/4 S 1 ale A 3/4 T c,c 0( 1, 2, b 1, b 2, b 0 1, b 0 2). b 1,b 2,b 0 1,b0 2 2B If there exist coincidences among the variables b 1, b 2, b 0 1, b 0 2, namely, they take altogether at most 2 distinct values, then the sum T c,c 0( 1, 2, b 1, b 2, b 0 1, b 0 2) is trivially bounded by. Otherwise we use the next lemma which gives a bound for some mixed character sums. The roof can be found in [4]. Lemma 3.1. Let m be a ositive integer, 1, 2,..., m be any multilicative characters modulo and b 1, b 2,..., b m 2 F be distinct elements. Then x2f 1(x + b 1 ) 2 (x + b 2 )... m(x + b m ) ale (m m 0 + 1) + m 0 + 1, where m 0 is the number of i s which coincide with the rincial character 0. If {b 1, b 2 } 6= {b 0 1, b 0 2} and if (b 1, b 0 1) 6= (b 2, b 0 2) the summand does not reduce to a constant, hence by Lemma 3.1 we have T c,c 0( 1, 2, b 1, b 2, b 0 1, b 0 2) ale 8 1/2. Thus we obtain S 1 A 3/4 B 2 + 1/2 B 4 1/4 ale 1/4 A 3/4 B 1/2 + 1/8 A 3/4 B. Proof of Theorem 2.3. From Theorem 2.1 we deduce a new bound for the trile sum S 2 = S 2 (, W ) defined by (9). First through the triangle and Cauchy inequalities,

INTEGERS: 15 (2015) 8 (a + b + c) we have S 2 ale (a,b)2 c2z a \Y b ale 1/2 (a,b)2f 2 c,c 0 2Z a \Y b (a + b + c) (a + b + c 0 ) = 1/2 c2f Z c \ Z c 0 Y c \ Y c0 + c6=c 0 2F a2z c\z c 0 b2y c \Y c0 1/2 1/2 (a + b + c) (a + b + c 0 ) after interchanging the summation and searating the cases c = c 0 and c 6= c 0. Now we aly Theorem 2.1 to treat the inner sum on a and b. Then S 2 1/2 Z + 1/4 Z c 0 1/2 Y c 3/4 + 1/8 Z c 0 Y c 3/4 1/2 c,c 0 2F 1/2 1/2 1/2 1/2 Z 1/2 + 1/8 1/2 Z c 0 1/2 Y c 3/4 c 0 2F c2f + 1/16 1/2 Z 1/2 c2f Y c 3/4 1/2 1/2 1/2 Z 1/2 + 1/2 1/2 Z 1/4 Y 3/8 + 3/16 1/2 Z 1/2 Y 3/8. By the Hölder and Cauchy inequalities we have 3/4 Y c 3/4 ale 1/4 Y c = 1/4 Y 3/4 c2f c2f 1/2 Z c 0 1/2 ale 1/2 Z c 0 = 1/2 Z 1/2. c 0 2F c 0 2F Finally from the assumtion Z ale Y we get the desired result. 4. Comments We may aly Theorem 2.1 to estimate the number N 0 (A, B) of airs (a, b) 2 A B such that both a + b and a + b + 1 are squares in F. We have N 0 (A, B) = 1 a + b a + b + 1 1 + 1 + 4 = A B 4 + R(A, B)

INTEGERS: 15 (2015) 9 where R(A, B) is an error term which can be bounded by one of the cases in Corollary 2.2. Theorems 1.5 and 2.3 can be also used in a similar way in order to estimate character sums where the triles (a, b, c) 2 W satisfy some rescribed arithmetic roerties, such as a + b + c is a square in F. Acknowledgement. This work is suorted by OTKA grants K-109789, K-100291 and ANR CAESAR ANR-12-BS01-0011. References [1] J. Bourgain and M.Z. Garaev, On a variant of sum-roduct estimates and exlicit exonential sum bounds in rime fields, Math. Proc. Cambridge Philos. Soc. 146 (2009), 1 21. [2] F.R.K. Chung, Several generalizations of Weil sums, J. Number Theory 49 (1994), 95 106. [3] P. Erdős and H.N. Shairo, On the least rimitive root of a rime, Pacific J. Math. 7 (1957), no. 1, 861 865. [4] J. Johnsen, On the distribution of owers in finite fields, J. Reine Angew. Math. 251 (1971), 10 19. [5] A.A. Karatsuba, Basic Analytic Number Theory, Sringer-Verlag, 1993. [6] A.A. Karatsuba, Distribution of values of Dirichlet characters on additive sequences, Soviet Math. Dokl. 44 (1992), no. 1, 145 148.