arxiv:1903.07876v1 [math.co] 19 Mar 2019 Sum-Product type Estimates over Finite Fields Esen Aksoy Yazici March 20, 2019 Abstract Let F q denote the finite field with q elements where q = p l is a prime power. Using Fourier analytic tools with a third moment method, we obtain sumproduct type estimates for subsets of F q. In particular, we prove that if A F q, then } AA+A, A(A+A) min {q, A 2, so that if A q 3 4, then AA+A, A(A+A) q. 1 Introduction Let R be a ring. For a finite subset A of R we define the sum set and the product set of A by A+A = {a+b : a,b A} and AA = {a.b : a,b A}, respectively. It is expected that, if A is not subring of R, then either A + A or A.A is large compared to A. In [4], Erdős and Szemeredi proved that that there exists an absolute constant ǫ > 0 such that max{ A+A, AA } A 1+ǫ holds for any finite subset A of Z. They also conjectured that this bound should hold for any ǫ < 1. The best known bound in this direction is due to Shakan [10, Theorem 1.2] which states that if A is a finite subset of R, then q 1 2 A+A + AA A 4 3 + 5 5277 The sum-product problem in the finite field context has been studied by various authors. In this setting, one generally works either on the small sets in terms of the 1
characteristic p of F q or for sufficiently large subsets of F q to guarantee that the set itself is in fact not a proper subfield of F q. We refer the reader [1, 3, 5, 6, 7, 8, 9] and the references therein for an extensive exploration of the problem in this context. In the present paper, we turn our attention to sum-product type estimates for the sets of the form BA + C = {ba + c : a A,b B,c C} and B(A + C) = {b(a+c) : a A,b B,c C} where A,B, and C are subsets of F q. To estimate a lower bound for these sets, we first consider an additive energy which we relate with a third moment method. Then we employ a lemma from [2] and prove the main result in the paper using the tools in Fourier analysis. 1.1 Preliminaries Let f : F q C. The Fourier transform of f is defined as f(m) = q 1 x Fqχ( xm)f(x) where χ(z) = e 2πiz q. We will use the orthogonality relation { q, if s = 0 χ(xs) = 0, otherwise x F q and Plancherel identity f(m) 2 = q 1 f(x) 2. m F q x F q The main result of the paper is the following theorem. Theorem 1.1. If A,B,C F q, then A 3 q A 4 BA+C, B(A+C) min, B 3 2 C 3 2 B C q 1 2 In particular, taking A = B = C, we have AA+A, A(A+A) min so that if A q 3 4, then AA+A, A(A+A) q. { q, A 2 q 1 2 }. 2
1.2 Proof of Theorem 1.1 Let A F q and P be a set of points in F 2 q \{(0,0)}. Define the set of lines pinned at P as L = L P = {l m,b : (m,b) P} and also the image set of lines in L as L(A) = L P (A) = {l m,b (a) = ma+b : (m,b) P,a A}. Similar to energy notion given in [1], define E 3 (L,A) = {m 1 a 1 +b 1 = m 2 a 2 +b 2 = m 3 a 3 +b 3 } where (m 1,b 1 ),(m 2,b 2 ),(m 3,b 3 ) P,a i A. Lemma 1.2. With the notation above we have A 9 L(A) 2 E 3(L,A). Proof. Let E 2 (L,A) := E(L,A) Let r(x) = r L(A) (x) = {((m,b),a) P A : x = ma+b}. Then E 2 (L,A) 2 = ( r(x) 3 2r(x) 1 2) 2 r(x) 3 r(x) On the other hand ( ) 2 A 6 = r(x) L(A) r(x) 2 Therefore, combining (1) and (2) we have A 9 L(A) 2 E 3(L,A). E 3 (L,A) A 3 (1) = L(A) E 2 (L,A) (2) We need the following lemma from [2]. 3
Lemma 1.3. [2, Lemma 2.1] F a finite space, f : F R. f n (z) F z F ( ) n f 1 + n(n 1) F 2 f n 2 where f 1 = z F f(z), f = max z F f(z). z F Theorem 1.4. Let L = L P where P = B C. L 3 2q L(A) min 2 A A 3, L 1. Proof. Now let ( f(z) f ) 2 1 F f(z) := r L(A) (z) = {z = a 1 a 2 +a 3 : (a 1,a 3 ) P,a 2 A} Then by taking n = 3, F = F q in Lemma 1.3, we have E 3 (L,A) = z f(z) 3 f 3 1 q 2 +3 f z F ( f(z) f ) 2 1. q Note that f 1 = f(z) = L A, f = sup z f(z) L, since when we fix (a 1,a 3 ) in f(z) then a 2 is uniquely determined. Therefore, E 3 (L,A) L 3 A 3 q 2 = L 3 A 3 q 2 +3 L z +3 L q ξ 0 (f(z) L A ) 2 q f(ξ) 2 (3) where we used the Plancherel in the last equality. We can write f(z) = {z = a 1 a 2 +a 3 : (a 1,a 3 ) P = B C,a 2 A} = q 1 s,a 1,a 2,a 3 χ((z (a 1 a 2 +a 3 ))s)b(a 1 )C(a 3 )A(a 2 ) = q 1 s,a 1,a 2,a 3 χ(zs a 1 a 2 s)χ( a 3 s)c(a 3 )B(a 1 )A(a 2 ) = s,a 1,a 2 χ(zs a 1 a 2 s)ĉ(s)b(a 1)A(a 2 ) 4
It follows that f(ξ) = q 1 χ( z.ξ)f(z) z = q 1 χ( z.ξ) χ(zs a 1 a 2 s)ĉ(s)b(a 1)A(a 2 ) z s,a 1,a 2 = q 1 χ( a 1 a 2 s)ĉ(s)b(a 1)A(a 2 ) χ(z(s ξ)) s,a 1,a 2 z F q = χ( a 1 a 2 ξ)ĉ(ξ)b(a 1)A(a 2 ). a 1,a 2 Therefore, f(ξ) χ( a 1 a 2 ξ)ĉ(ξ) a 1 B a 2 A By the Cauchy-Schwarz inequality, for ξ 0, f(ξ) 2 B χ( a 1 a 2 ξ)ĉ(ξ)χ(a 1a 2ξ)Ĉ(ξ) a 1 F q a 2,a 2 A = B χ(ξa 1 (a 2 a2)) Ĉ(ξ) 2 a 1 F q a 2,a 2 A B χ(ξa 1 (a 2 a 2 )) Ĉ(ξ) 2 a 1 F q a 2,a 2 A = B q Ĉ(ξ) 2 = B q a 2,a 2 A ξ(a 2 a 2)=0 a 2 =a 2 A = B q A Ĉ(ξ) 2 Ĉ(ξ) 2 It follows that f(ξ) 2 B q A Ĉ(ξ) 2 ξ 0 ξ 0 B q A q 1 C(x) 2 x = B A C = L A 5
Plugging the last value in (3) and using Lemma 1.2 we have A 9 L(A) 2 E 3(L,A) L 3 A 3 q 2 +3 L 2 A q Therefore A 3 q A 4 L(A) min,. L 3 2 L q 1 2 Proof of Theorem 1.1. Note that theset BA+C = L P (A) wherep = B C. Hence, taking L = B C in Theorem 1.4, it follows that A 3 q A 4 BA+C min, B 2 C 3 3 2 B C q 1 2 Note that B(A+C) = L P (A) where P = B C, so the same argument applies. Acknowledgements The author would like to thank Alex Iosevich for his valuable comments. The author is supported by TÜBİTAK-BİDEB 2218 Postdoctoral Research Fellowship. References [1] E. Aksoy Yazici, B. Murphy, M. Rudnev, I. Shkredov, Growth Estimates in Positive Characteristic via Collisions, Int. Math. Res. Not. IMRN 2017, no. 23, 71487189. [2] M. Bennett, D. Hart, A. Iosevich, J. Pakianathan, M. Rudnev, Group actions and geometric combinatorics in F d q. Forum Math. 29 (2017), no. 1, 91110. [3] J. Bourgain, N. H. Katz, T. Tao, A sum-product estimate in finite fields, and applications, Geometric &Functional Analysis GAFA 14, no 1 (2004), 27-57. [4] P. Erdős, E. Szemerédi, On sums and products of integers. Studies in Pure Mathematics. To the memory of Paul Turán, Basel: Birkhuser Verlag, pp. 213-218. [5] N. Hegyvari, F. Hennecart, Conditional expanding bounds for two-variable functions over prime fields, European J. Combin., 34(2013), 1365-1382. 6
[6] B. Murphy, G. Petridis, A second wave of expanders in finite fields, Combinatorial and additive number theory. II, 215238, Springer Proc. Math. Stat., 220, Springer, Cham, 2017. [7] B. Murphy, G. Petridis, Products of difference over arbitrary finite fields, Discrete Anal. 2018, Paper No. 18, 42 pp. [8] O. Roche-Newton, M. Rudnev, I. D. Shkredov, New sum-product type estimates over finite fields Adv. Math. 293 (2016), 589605. [9] M. Rudnev. An improved sum-product inequality in fields of prime order, Int. Math. Res. Not. IMRN, (16):3693-3705, 2012. [10] G. Shakan On Higher Energy Decompositions and the Sum-product Phenomenen,https://arxiv.org/pdf/1803.04637.pdf 7