arxiv: v4 [math.nt] 11 Oct 2017

Transcription

1 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv: v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a } and define M D(A := max 1 d<d r A A(d for D > 1. We study the smallest ossible value of M D(A as A ranges over all ossible subsets of [N] with a given size. We give exlicit asymtotic exressions with constant coefficients determined for a large range of D. We shall also see how this roblem connects to a well-known roblem about generalized Sidon sets. 1. Introduction For a ositive integer N, denote by [N] thediscrete interval {1,2,,N}. For a subset A [N], we study the difference set A A := {a a : a,a A}. We introduce the reresentation function r A A, defined by r A A (d := #{(a,a A A : d = a a }. The reresentation function has been investigated a lot in the literature. See, for examle, [2], [3]. In this aer, we are interested in the maximum size of r A A (d, as d ranges over all ositive integers smaller than D for different thresholds D. More recisely, let M D (A := max 1 d<d r A A(d and f D (N,α be the smallest ossible value of M D (A, as A ranges over all subsets A [N] with A αn, i.e., f D (N,α := min M D(A. A [N], A αn Theorem 1.1. Let 2 D N be ositive integers and let α (0,1. Write D = (1+γα 1 for some 1 < γ, then we have the following: (1 If γ 0, then f D (N,α = 0. (2 If 0 < γ 1 δ for some ositive number δ, N δ α 2 and D is sufficiently large in terms of δ 1 2γ, then f D (N,α = (1+o(1 α 2 N. (1+γ 2 (3 If α 2 N, γ and Dα as N, then f D (N,α = (1+o(1α 2 N. Here γ = γ(n,α = α(n,d = D(N. They are all regarded as functions of N. W.X. is suorted by a London Mathematics Society Undergraduate Research Bursary and the Mathematical Institute at University of Oxford. 1

2 2 WENQIANG XU Remark When α 1/2, the above conclusions can be easily checked. So we focus on α (0,1/2 from now on. 2 A more recise statement of Theorem 1.1 (2 is Theorem Connections with Sidon sets. We shall see that there are some connections between roblems about Sidon sets and the roblem we are investigating in the case D = N. Definition 1.1. (Sidon sets and g-sidon sets A set of natural numbers S is called a Sidon set if the equation a+b = c+d has only the trivial solution {a,b} = {c,d}, where a,b,c,d are elements of the set S. A set A is called g -Sidon set if for any integer x we have: r A+A (x := #{(a,b A A : a+b = x} g. Cilleruelo, Ruzsa and Vinuesa (2010 [1] roved the following result. Theorem 1.3. Define β g (N := max{ A } where A [N] and A is a g- Sidon set. Then, Moreover, σ 1 (g gn(1 o(1 β g (N σ 2 (g gn(1+o(1. lim σ 1(g = lim σ 2(g = σ, for some constant σ. g g We can translate our result in Theorem 1.1 into their language. Corollary 1.4. Define α g (N := max{ A } where A [N], r A A (x g for all non-zero x. Then, σ 1 (g gn(1 o(1 α g (N σ 2 (g gn(1+o(1. Moreover, lim σ 1(g = lim σ 2 (g = 1. g g 1.2. Plan for the aer. We first rove Theorem 1.1 (1 in Section 2 by constructing an exlicit examle. Theorem 1.1 (2 is roved in Section 2 by using the rincile of inclusion and exclusion to rove a lower bound for f D (N,α and constructing an exlicit examle to attain the uer bound. To rove the lower bound in Theorem 1.1 (3 in Section 3, we use a deterministic method by first roving results in the case of cyclic grous and then alying the results to the case of integers. Acknowledgement. The author would like to exress his sincere gratitude to Andrew Granville and Fernando Xuancheng Shao, for carefully reading early drafts of the aer and roviding many useful comments, and also to Oleksiy Klurman who insired the author to study this roblem. Thanks to the anonymous referee for many helful comments.

3 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS 3 2. Proof of Theorem 1.1 (1 and (2: the case D is small We first rove Theorem 1.1 (1: f D (N,α = 0 when D α 1. Proof of Theorem 2.1 (1. We rove this fact by constructing a set A with A αn and M D (A = 0. Let a := α 1 and l is chosen to satisfy la N 1 < (l+1a. The density of A is, A := {1,a+1,2a+1,3a+1,,la+1}. A N = l +1 N 1 a α. Since D α 1, D a also holds. Since all non-zero ositive differences here are at least a, we get M D (A = 0. This gives us f D (N,α = 0. Now we rove the following theorem, which gives the result for the case when D is relatively small. Theorem 2.1. Suose that D,N are ositive integers and α (0,1. Let D, α, N satisfy the following relations. Then (1 α 1 < D (2 δα 1, for some ositive δ < 1 such that Dδ > 1. (2 N 2D 3 /(Dδ 1. f D (N,α = 2(Dα 1 D(D 1 N +O(1. Notice that this is just a more accurate statement of Theorem 1.1 ( Lower bound for f D (N,α. In this section we are going to use the basic technique, the rincile of inclusion and exclusion, to find the lower bound. Proosition 2.2. For any 2 D N and any α (0,1, we have f D (N,α 2(Dα 1 D(D 1 N 2 D. Proof. Let A [N] be any subset with A αn. We need to show that M D (A 2(Dα 1 D(D 1 N 2 D. For any d Z, define the translate A+d to be the set A+d := {a+d : a A}. By the rincile of inclusion and exclusion, we estimate the size of the union of A+d as d ranges over 0 d < D as following: 0 d<d (A+d 0 d<d A+d 0 d<d <D (A+d (A+d. (2.1

4 4 WENQIANG XU Since A + d [N + D 1] for 0 d < D, the left hand side above is at most N +D 1. On the other hand, the first sum on the right hand side is D A. Thus we obtain (A+d (A+d D A (N +D 1 (Dα 1N (D 1. 0 d<d <D There are a total of D(D 1/2 summands, and thus for some 0 d < d < D we have (A+d (A+d 2 2(Dα 1 ((Dα 1N (D 1 = D(D 1 D(D 1 N 2 D. Theconclusionfollowsbynotingthat (A+d (A+d isreciselyr A A (d d, and 1 d d < D Uer bound for f D (N,α. Proosition 2.3. Let 2 D N and α (0,1 be arameters satisfying and Then N D(2 Dα > 1 (2.2 D(D 1(2D +1 D(2 Dα 1. (2.3 f D (N,α 2(Dα 1 N +4. (2.4 D(D 1 Remark 2.4. For examle, if α = o(1 then these assumtions hold when D (2 c/α for any absolute constant c > 0 such that Dc > 1 and N is much larger than α 2. Proof. We construct one subset A with articular structure such that it has density at least α and M D (A attains the uer bound in (2.4. We define a set B {1,2,,D 2 } as following: B := {D,2D,3D,,D 2 } {1,D+2,2D+3,,(D 2D+D 1} (2.5 so that B = 2D 1. Let M = N/D and let k = (αn M/(D 1 so that αn M αn N/D k = Dα 1 D 1 D 1 D(D 1 N +2. By the lower bound on N, we have kd Dα 1 D 1 N +2D N 1 M. D Thus we may define A 1,A 2 [N] by A 1 := {x+id 2 : x B,i = 0,1,2,,k 1}, A 2 := {jd : kd < j M}, (2.6 and then take A = A 1 A 2. Hence A = k B +(M kd = kd +M k αn, where the last inequality follows by our choice of k. We only need to show that r A A (d 2k holds for any 1 d < D to comlete our roof. For any 1 d < D, if d = a a for some a,a A, then we must have a,a A 1 since any two distinct elements must have

5 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS 5 difference at least D if at least one of them is in A 2. Writing a = x+id 2 and a = x +i D 2 with x,x B and 0 i,i < k, we first observe that the ossible values of i i can only be 0 or 1. If i i 2, then by triangle inequality we have (x+id 2 (x +i D 2 i i D 2 max x,x B x x D 2 +1 > D. If i i = 1, by considering the structure of B we have if {x,x } {D 2,1}, then (x+id 2 (x +i D 2 D. So one must have {x,x } = {D 2,1} and d = 1 if i i = 1. As for d = 1, if i = i, then one must have x = (D 2D+D 1 and x = (D 1D. So r A A (1 = k + (k 1 < 2k. As for d 2, we showed that i and i must satisfy i = i which gives d = x x. And the number of ossible choices for x,x in B is not larger than 2 in this case. So r A A (d 2k for all d 1. In conclusion, the result holds for all 1 d < D. At the end of this subsection, we give an exlanation for why the rincile of inclusion and exclusion works. Since for any y (A+i (A+j (A + k, where i,j,k {0,1,2,,D 1}, there exists x A, such that x+i,x+j,x+k are all in A, i.e., they lie in an interval with length D 1. But this is imossible in our constructed examle, where any interval with length D 1 has at most 2 elements instead of 3. There is no oint in the intersection of the 3 sets, so it is even imossible for 4 or more sets. Hence the values of all the moments with order greater than two must be zero Conclusion for f D (N,α with α 1 < D (2 δα 1. In this art, we combine the two roositions before to rove Theorem 2.1. Proof of Theorem 2.1. The lower bound in Proosition 2.2 and the uer bound in Proosition 2.3 together give us the result in Theorem 2.1. We only need to check that the assumtions (2.2 and (2.3 are satisfied. Since there exists δ > 0 such that D (2 δα 1, the assumtion (1 in Theorem 2.1 holds by the fact that D(2 Dα Dδ > 1. Now we check that assumtion (2.3 holds. Notice that D(D 1(2D +1 D(2 Dα 1 2D3 Dδ 1. From assumtion (2 in Theorem 2.1, we know (2.3 holds. Remark 2.5. From the whole attern, we shall see that D = α 1 +1 is a crucial case in the roblem. We state this result searately here, which has been covered in Theorem 2.1. To make the form nicer, we state the result in a secial case that α 1 is an integer. f D (N,α = 2α3 1+α N +O(1.

6 6 WENQIANG XU This result can also comare to [4, Lemma 2.3]. We state their result here. Lemma 2.6. Suose S [H,H +N] and S = αn. Here [H,H +N] is an integer interval. Then there exists a ositive integer d, such that d 1/α and r S S (d α3 2 N. In Theorem 1.1, there is one interesting henomenon when γ is relatively small. Precisely, if γ = O(α then we have f α 3 N, e.g., the case in remark Proof of the lower bound in Theorem 1.1 (3 In this section, we use Fourier analytic tools to rove Theorem 3.1 which gives the lower bound of f D (N,α for a wide range of D. The argument is similar to the roof of [3, Theorem 1.1]. Theorem 3.1. Let 2 D N, then f D (N,α α2 N 2 αn +1 N +D D. (3.1 In articular, if Dα, we have f D (N,α (1+o(1α 2 N. (3.2 Proof. Let A be any subset of [N] with density at least α. We regard A as a subset of Z/(N +DZ in the natural way. To fix our notation, we define the convolution of f,g where f,g : G C are two functions on the abelian grou G. f g(x := y Gf(yg(x y. And we use our traditional notation to get that 1 A 1 o A(x = #{(a,a A A : a a = x}, where f o (x := f( x. We use M D (A to denote the quantity the same as in the case of integers before. It is not true that for general x Z/(N+DZ, 1 A 1 o A(x M D (A in modular version. However, for any x with 0 < x D, in the modular version we still have 1 A 1 o A(x M D (A. Let I be the characteristic function of the set {1,2,,D}. Then we estimate the following quantity. E := 1 A 1 o A(xI I o (x. x Z/(N+DZ We first notice that each summand is zero when x > D. Combining this and what we discussed above, we have E A D + 1 A 1 o A(xI I o (x. 0< x D

7 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS 7 The right hand side can be further uer bounded by A D +M D (AD 2. On the other hand, we use Plancherel s identity to get E = (N +D r ˆ1 A (r 2 Î(r 2 A 2 D 2 N +D. The above two inequalities give us the bound for M D (A for any subset A with A αn. For any A such that can make M D (A = f D (N,α, we must have A = αn. By substituting this into our exression, we get the lower bound. Notice that if Dα, the lower bound in (3.1 has main term α2 N 2 N+D. This main term is a decreasing function of D. Therefore, under the assumtion that Dα, it is better to use the lower bound in (3.1 with D = o(n and it gives (3.2. Since function f D (N,α is an increasing function of D, with the assumtion that Dα, (3.2 holds no matter D = o(n holds or not. 4. Proof of the uer bound in Theorem 1.1 (3 In this section we study the uer bound of f D (N,α with given density α and N. We consider the case D = N, i.e., we can regard it as restriction free on the range of differences of any two distinct elements in A. Let f N (α simlify the notation f D (N,α we defined before in the case D = N. Theorem 4.1. Let α (0,1. If α 2 N as N, then f N (α = (1+o(1α 2 N. In the above condition, we need to rove the result for α < 1 ǫ for any ositive ǫ smaller than one. Aiming for a simle exression and without loss of generality, we will only rove the case α < 1/2 for the uer bound. The uer bound here can be roved by the deterministic method. It also can be roved by the robabilistic method, however, a shortcoming of robabilistic method here is we can not always avoid the non-essential needed restriction on the range of density α that it be much larger than N 1/2 (logn 1/2 ; at least the author does not know how to avoid this. So in this aer, we use the deterministic aroach to rove asymtotic formulas for the function f with loose restriction on α. Before we rove the uer bound in the case of integers, we first rove the following theorem which gives us the results in cyclic grous and would imly the results in Z. Theorem 4.2. Let N = 2 s for some ositive integer s and rime number. Let Z/NZ be a cyclic grou and α (0,1. We define If,s,α, then f N (α := min maxr A A(d. A Z/NZ, A αn d 0 f N (α = (1+o(1α 2 N. On the other side, there is a similar result roved in generalized Sidon sets. See [1, Theorem 1.6]. We state it by using our notation.

8 8 WENQIANG XU Theorem 4.3. Let Z/NZ be a cyclic grou and α (0,1. We define Then as N tends to infinity, Here g N (α := min max r A+A (d. A Z/NZ, A αn d lim inf N g N (α α 2 N = 1, r A+A (d = {(a,a A A : d = a+a }. Similarly, we have the following in the case of difference sets. lim inf N f N (α α 2 N = 1. (4.1 Proof of (4.1. The lower bound of f N (α can be regarded as a corollary of Theorem 3.1. We rove it by a simle counting argument here. We still use M N (A to denote the maximum value of r A A (x for all ossible non-zero x in the cyclic grou context. There are A 2 number of airs (a,a A A but A of them satisfy a = a. So we have the following A 2 A (N 1M N (A. By noting the fact that A αn, and letting N tend to infinity, we have the following when N is sufficiently large. f N (α α 2 N 1. This gives the lower bound of f N (α. Combining this with Theorem 4.2, we comlete the roof. ToroveTheorem4.2, wefirstdotheconstructioninz/z Z/Zwhere is a rime and then move on to Z/qZ with a secial tye of q. The argument here is similar to [1, Section 3, 4]. Finally, the results in the cyclic grou will give us the results in Z that we are aiming for Construction in Z/Z Z/Z. We rove that there is a set A such that r A A has a relatively small uer bound and A is reasonably large in Z/Z Z/Z. Proosition 4.4. Given a ositive integer k, for any odd rime number 2k and any (a,b (0,0 (mod, there is a set A Z/Z Z/Z with A = k k +1 such that r A A (a,b k 2 +7k 7/4. In the context Z/Z Z/Z, we do our construction by asting several disjoint sets together. The main techniques will be used are roerties of quadratic equations. First we define the set which lays an imortant role in this section. For u 0 (mod, define A u := {(x,x 2 /u : x Z/Z}. (4.2 For any (a,b Z/Z Z/Z, we use the following notation to denote the reresentation function. For uv 0 (mod, define r Au A v (a,b := #{((x,x 2 /u,(y,y 2 /v : a x y,b x 2 /u y 2 /v (mod }.

9 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS 9 This is exactly the number of solutions to the equations { a x y (mod b x2 u y2 v (mod. In the next lemma we study the ossible values of r Au A v (a,b, where (a,b (0,0 (mod. Lemma 4.5. Suose r Au A v (a,b is defined as above, is an odd rime and (a,b (0,0 (mod. (1 If u v (mod, then r Au A v (a,b 1. (2 If u v u v (mod and ( uvu v = 1, then r Au A v (a,b + r Au A v (a,b = 2 for all (a,b (0,0 (mod. The symbol ( we use in (2 is Legendre symbol. Proof. 1 In the case u v (mod, it is clear that if a 0 (mod then thereis nosolution sincewerequiredthat (a,b (0,0 (mod. Otherwise we have x+y uba 1 (mod which leads to a unique solution with the fact that x y a (mod. 2 In the case that u v u v (mod and ( uvu v = 1, we have u v (mod and u v (mod. It means that we are studying roer quadratic equations in this case. Substituting y x a (mod into b x 2 /u y 2 /v (mod, we have the quadratic equation and the discriminant is (u vx 2 2aux+ua 2 +buv 0 (mod 4uv(a 2 (u vb (mod. The number of solutions can be written as 1 if ( = 0. r Au A v (a,b = 2 if ( = 1. 0 if ( = 1. This can be simlified as r Au A v (a,b = 1+ (. To calculate the sum of r Au A v (a,b and r A u A (a,b, we need to calculate v the corresonding sum ( +(. Notice that the roduct of these two is ( ( ( 16uvu v ((u vb a 2 ((u v b a 2 ( ((u vb a 2 2 = =. In the last ste we used the fact that u v u v (mod and ( uvu v = 1. Now there are two ossibilities. If (u vb a 2 0, then both ( and ( equal to zero. If (u vb a2 0, then the roduct of ( equals to 1. These two cases give us the same result ( ( + = 0, which means that r Au A v (a,b+r A u A (a,b = 2. v and (

10 10 WENQIANG XU In the next lemma, the main technique we use is Weil s Theorem. Lemma 4.6. Suose 0 n k 1, 1 l k 1, 1 i,j k and is an odd rime number. Let S n define the sum S n := ( (n+i(n+j. 1 l k 1 i j=l Then we have the following uer bound for the sum of S n S n 2 2 k 2 (2k 1+8 3/2 k 4. 0 n 1 To estimate the sum, we first use the Cauchy inequality to rewrite the sum which roughly gives us a function with ower 4 in the numerator of Legendre symbol, and then aly the Weil s Theorem. Proof. First we use Cauchy inequality to get the following estimation. n = 0 n 1S ( (n+i(n+j n,l i j=l 2k ( ( (n+i(n+j 2. n,l i j=i j n i j=l The right hand side above can be written as ( (n+i(n+j(n+i 2k (n+j. Let f(n = (n+i(n +j(n +i (n+j. We estimate the quantity above by using Weil s Theorem. ( 1 If f(n is a constant multile of a square, then we boundthe value f(n trivially by 1. The number of quadrules (i,j,i,j that can make f(n a constant multile of a square is bounded by k(k 1 + k 2. The reasons are the following. First notice that if the restriction on the quadrule is i + j = i + j, then we have two ossible cases, either i = i and j = j, or i = j and i = j. These two cases both give k 2 choices but there is an overla that all of them are equal, i.e., we need to subtract k choices. In total, we have the following bound ( f(n k(2k 1. f is square n 2 If f(n is not a constant multile of a square, we can use Weil s Theorem. For each quadrule (i.j,i,j, we have the following, ( f(n (degf = 4. 0 n 1 Thetotal numberofquadrulesundertherestriction i j = i j isbounded by k 3. We also use this bound as our bound for the number of quadrules which make f satisfy Weil s Theorem. Then we have the following

11 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS 11 0 n k 1 f isn t a square ( f(n 4k 3. n Combining case 1 and case 2, we have S n 2k(k(2k 1+4k 3 = 2 2 k 2 (2k 1+8 3/2 k 4. Now we will use the above two lemmas to rove Proosition 4.4. Proof of Proosition 4.4. First we oint out how the set A looks. Let A u be the same as what we defined in (4.2, and A be defined as follows: A := A u. n+1 u n+k The crucial oint is to find a suitable n which makes A be the set we are searching for. First notice that the size of A is indeendent of n. And the size of A is k( since A u and A v only intersect at oint (0,0 for any u v. Next we study the reresentation function r A A. From the definition of A, we can have a trivial uer bound. For any (a,b non-zero, we have r A A (a,b r Au A v (a,b. n+1 u,v n+k To study the right hand side above, we first arametrize the variables above. Write u = n+i, v = n+j, then i,j {1,2,3,,k}. Let l = i j = u v, we have the following, l k 1. Fixing the value of l, we have k l airs of (i,j, i.e., k l airs of (u,v. Now we are going to use Lemma If l = 0, from the first art of the lemma, we have the bound r Au A v (a,b k. u=v 2 If l 1, we consider the value of #{(u,v : u v = l,( uv Then we have the following fact ( uv for each air, (u,v. Let α(l := = 1}. = 1}, β(l := #{(u,v : u v = l,( uv α(l+β(l = k l, α(l β(l = u v=l ( uv. Our strategy is to match airs into airs according to their values under Legendre symbol. Precisely, if two airs have different signs, we can match them and then use the second art in Lemma 4.5 to estimate the sum. Since the values of α(l and β(l are not necessarily equal, for the rest of the airs

12 12 WENQIANG XU which have not been matched with other airs, we trivially bound their function values by 2. Hence, we have r Au A v (a,b 2min{α(l,β(l}+2(max{α(l,β(l} min{α(l,β(l}. 1 l k The above actually gives us the result 2max{α(l,β(l}, i.e., α(l +β(l + α(l β(l, which can be further written as ( uv k l +. u v=l Summing the above exression over l where 1 l k 1 and considering the obvious bound that we have showed for l = 0 in case 1, we have the following l k 1 r Au A v (a,b = k+ 1 l k 1 r Au A v (a,b = k l k 1 u v=l ( uv. Notice that the second art on the right hand side above is exactly what we defined in Lemma 4.6, i.e., the uer bound now is k 2 +S n. (4.3 Since uv 0 (mod, we have the following uer bound for n, n+k 1 n k 1. We define n to be the smallest integer index among {0,1,2,, k 1} such that S n = min{s n : 0 n k 1}. Then we can see that n is uniquely defined. By using Lemma 4.6, we have S n S n k S n 2 k = 2 k 2 (2k 1+8 3/2 k 4. k 0 n k 1 This bound is smaller than 0 n k /2 k 4. k Write = λk, where λ 2, then the above exression is a decreasing function with resect to λ. So we can further get a bound S n < 7k 7/4. (4.4 By substituting (4.4 into (4.3, we get the uer bound k 2 +7k 7/4. Hence, we have found a set A with k k +1 elements and r A A is uer bounded by k 2 +7k 7/4. The set A can be reresented as following A = A u. n +1 u n +k

13 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS Construction in Z/qZ with q = 2 s. We construct a large set A in a certain cyclic grou. The strategy is to roject the set A constructed in Z/Z Z/Z onto Z/qZ. Lemma 4.7. Suose that A is a subset of Z/Z Z/Z with size m, such that r A A is uer bounded by h. Then there exists a subset A in Z/ 2 sz with size A = ms such that r A A is uer bounded by h(s+1. Proof. Notice that any element in A has two coordinates and we choose the natural way to write them as integers in [0, 1]. Now we use set A to define set A as following A = {x = a+c+bs : (a,b A,0 c s 1}. From the definition, we have A = A s = ms. We show that r A A is bounded by h(s+1. In other words, we need to study the reresentation function r A A (x for non-zero x Z/ 2 sz. Given x = a +c+bs, then a,b,c are fixed. Write x as the difference of two elements in A, a+c+bs (a 1 +c 1 +b 1 s (a 2 +c 2 +b 2 s (mod 2 s. (4.5 From the above we can get a a 1 a 2 (mod. There are two ossible values of the difference a 1 a 2. Either a 1 a 2 = a or a 1 a 2 = a. For convenience, we write a 1 a 2 = a δ where δ = 0,1. This also tells us that δ = (a+a 2 a 1 / is fixed once a 1,a 2 are given. Now we substitute this exression into (4.5. We can derive that c+bs δ+c 1 c 2 +(b 1 b 2 s (mod s. (4.6 Again, we have the following from (4.6 c δ +c 1 c 2 (mod s. (4.7 Thus we have c = δ +c 1 c 2 or c = δ +c 1 c 2 +s. We write this as: c ηs = δ +c 1 c 2 where η = 0,1. (4.8 We substitute this into (4.6 and we get b η +b 1 b 2 (mod. Now we have the exression of the element (a,b in A, We also have the following form (a,b = (a 1,b 1 (a 2,b 2 +(δ, η. (a,b (a 1,b 1 (a 2,b 2 +(0, η (mod. We have that r A A is uer bounded by h. Once we have fixed η, the number of choices for a 1,a 2,b 1,b 2 is no more than h, and δ is also determined. So now we only need to consider the number of choices for c 1,c 2 once a 1,a 2,b 1,b 2,δ are fixed. We come back to Equation (4.8 and discuss the ossible cases in terms of the values of η. 1 If η = 0, we have c 1 = c 2 + c + δ c, which leads to at most s c ossibilities. 2 If η = 1, we have c 1 = c s+δ+c 2 c s+1+s 1 = c, which leads to at most c+1 ossibilities.

14 14 WENQIANG XU In total, the above will give us at most h(s c+c+1 = h(s+1 ossibilities Conclusion for cyclic grou. First we combine Proosition 4.4 and Lemma 4.7 to get the following. Proosition 4.8. For any ositive integers k, s, and any ositive odd rime integer 2k, there is a set A Z/ 2 sz with size (k k+1s such that r A A is uer bounded by k 2 +7k 7/4 (s+1. Now we can rove Theorem 4.2. Proof of Theorem 4.2. Thelower boundis roved in the roof of (4.1. Now we rove the uer bound. For any ositive α < 1/2, choose k to be the integer such that k = α +1. Since α tends to infinity, k/ = (1+o(1α. (4.9 From Proosition 4.8, we know there exists a subset A Z/NZ with size (k k+1s such that the reresentation function r A A is uer bounded by k 2 +7k 7/4 (s+1. First we consider the density of A, (k k +1s N k k +1 2 k 1 Then we consider the exression of the uer bound for r A A, α. (4.10 k 2 +7k 7/4 (s+1 = (1+o(1(k 2 / 2 N = (1+o(1α 2 N. The exression is valid since we let s and k tend to infinity and Equation (4.9 holds. So the above has showed that for a secial tye of integers, N, f N (α is uer bounded by (1+o(1α 2 N. This comletes the roof. Now, we can easily rove Theorem 4.1 Proof of Theorem 4.1. For any N in the form N = 2 s for some suitable rime and integer s, let set A Z/NZ be the set in Theorem 4.2. We can also view it as a subset of [N] in the natural way. To distinguish, we use r A A to denote the reresentation function in Z/NZ. Then a natural inequality is r A A (x r A A(x (1+o(1α 2 N. For N not in the form N = 2 s, we choose = o( N to be a rime number in the interval [P,2P] for some integer P. This is valid once P is sufficiently large. Also, we require that α tends to infinity. This is valid by our assumtion that Nα 2 tends to infinity as N tends to infinity. Choose s = N and notice that k = O(α, then both k and s tend to infinity 2 as N tends to infinity. We have 2 s < N < 2 (s + 1 from the choice of s. From the conclusion for 2 s in Theorem 4.2, we know for any α < 1/2, there exists a set A such that A α 2 s and r A A (1 + o(1α 2 2 s. Regarding A as a subset of [N] in the natural way, we have A α s s+1 N and r A A (1 + o(1α 2 N. Write α = α s s+1, then the result can be restated as ( s+1 2 A α N, r A A (1+o(1 α 2 N. s

15 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS 15 The right hand side can be written as (1+o(1α 2 N once we let s tend to infinity. The above fact gives us the uer bound in Theorem 4.1. Hence, we comlete the roof. References [1] J. Cilleruelo, I. Ruzsa, and C. Vinuesa. Generalized Sidon sets. Adv. Math., 225(5: , [2] P. Erdös and P. Turán. On a roblem of Sidon in additive number theory, and on some related roblems. J. London Math. Soc., 16: , [3] B. Green. The number of squares and B h [g] sets. Acta Arith., 100(4: , [4] Oleksiy Klurman and Marc Munsch. Distribution of factorials modulo. J. Théor. Nombres Bordeaux, 29(1: , Deartment of Mathematics, University College London, Gower Street, London, WC1E 6BT, United Kingdom address: wenqiang.xu@ucl.ac.uk