THE GENERALIZED -RESULTANT MODULUS SET PROBLEM IN FINITE FIELDS arxiv:170300609v2 [mathco] 17 Jul 2017 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI Abstract Let F d be the d-dimensional vector space over the finite field F with elements Given sets E j F d for j = 1,2,,, the generalized -resultant modulus set, denoted by E 1,E 2,,E ), is defined by { } E 1,E 2,,E ) = x 1 +x 2 + +x F : x j E j, j = 1,2,,, where y = y1 2 + + y2 d for y = y 1,,y d ) F d We prove that if ) 3 E j C 3 d+1 2 6d+2 1 for d = 4,6 with a sufficiently large constant C > 0, then 3 E 1,E 2,E 3 ) c for some constant 0 < c 1, and if ) 4 E j C 4 d+1 2 6d+2 1 for even d 8, then 4 E 1,E 2,E 3,E 4 ) c 3 This generalizes the previous result in [5] We also show that if E j ) C 3 d+1 2 9d 18 1 for even d 8, then 3 E 1,E 2,E 3 ) c This result improves the previous wor in [5] by removing ε > 0 from the exponent 1 Introduction The Erdős distance problem ass us to determine the minimal number of distinct distances between any N points in R d This problem was initially posed by Paul Erdős [8] who conjectured that g 2 N) N/ logn and g d N) N 2/d for d 3, where g d N) denotes the minimal number of distinct distances between N distinct points of R d, and X Y for X,Y > 0 means that there is a constant C > 0 independent of N such that CX Y This conjecture in two dimension was resolved up to the logarithmic factor by Guth and Katz [10] However, the problem is still open in higher dimensions In [3], Bourgain, Katz, and Tao initially introduced the finite field analog of the Erdős distance problem and Iosevich and Rudnev [15] developed the problem in the general finite field setting Let F d be the d-dimensional vector space over the finite field F with elements Throughout this paper we always assume that the characteristic of F is strictly greater than two For a set E F d, the distance set, denoted by 2 E), is defined as 2 E) = { x y F : x,y E}, 2010 Mathematics Subject Classification 52C10, 42B05, 11T23 Key words and phrases: Erdős distance problem, finite fields, -resultant modulus set Doowon Koh was supported by Basic Science Research Program through the National Research Foundation of KoreaNRF) funded by the Ministry of Education, Science and TechnologyNRF- 2015R1A1A1A05001374) 1
2 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI where α = α 2 1 + + α2 d for α = α 1,,α d ) F d With this definition of the distance set, Bourgain, Katz, and Tao [3] proved that if 3 mod 4) is prime and E F 2 with δ E 2 δ for δ > 0, then there exists ǫ = ǫδ) such that 2 E) E 1/2+ǫ Here we recall that A B for A,B > 0 means that there exists a constant C > 0 independent of such that A CB, and we write B A for A B We also use A B if lim A/B = 1 This result was obtained by finding the connection between incidence geometry in F 2 and the distance set Unfortunately, it is not simple to find the relationship between δ and ǫ from their proof Furthermore, if E = F 2, then 2 E) = E, which shows that the exponent 1/2 can not be generically improved If 1 is a suare in F, another unpleasant example exists with the finite field Erdős distance problem For instance, let E = {t,it) F 2 : t F }, where i denotes an element of F such that i 2 = 1 Then it is straightforward to see that E = and 2 E) = {0} = 1 In view of aforementioned examples, Iosevich and Rudnev [15] reformulated the Erdős distance problem in general finite field setting as follows Question 11 Let E F d What is the smallest exponent β > 0 such that if E C β for a sufficiently large constant C > 0 then 2 E) c for some 0 < c 1? The problem in this uestion is called the Erdős-Falconer distance problem in the finite field setting Note that a distance can be viewed as an 1-dimensional simplex Readers may refer to [7, 2, 25, 1, 21] and references contained therein for the -simplices problems In [15], it was shown that β d+1)/2for all dimensions d 2 The authors in [11] proved that β = d + 1)/2 for general odd dimensions d 3 On the other hand, they conjectured that if the dimension d 2 is even, then β can be improved to d/2 In dimension two, the authors in [4] applied the sharp finite field restriction estimate for the circle on the plane so that they show β 4/3 which improves the exponent d+1)/2, a sharp exponent in general odd dimensions d It was also observed in [1] that the exponent 4/3 can be obtained by applying the group action Furthermore, considering the perpendicular bisector of two points in a set of F 2, the authors in [12] proved that the exponent 4/3 holds for the pinned distance problem case However, in higher even dimensions d 4, the exponent d + 1)/2 has not been improved To demonstrate some possibility that the exponent d +1)/2 could be improved for even dimensions d 4, the authors in [5] introduced a -resultant modulus set which generalizes the distance set in the sense that any points can be selected from a set E F d to determine an object similar to a distance More precisely, for a set E F d we define a -resultant modulus set E) as E) = { x 1 ±x 2 + ±x F : x j E } Since the sign ± does not affect on our results in this paper, we shall simply tae + signs That is, we will use the definition E) = { x 1 +x 2 + +x F : x j E } for consistency With this definition of the -resultant modulus set, the following uestion was proposed in [5]
THE GENERALIZED -RESULTANT MODULUS SET 3 Question 12 Let E F d and 2 be an integer What is the smallest exponent γ > 0 such that if E C γ for a sufficiently large constant C > 0, then E) c for some 0 < c 1? This problem is called the -resultant modulus problem When = 2, this uestion is simply the finite field Erdős-Falconer distance problem, and in this sense the -resultant modulus problem is a direct generalization of the distance problem It is obvious that the smallest exponent β > 0 in Question 11 is greater than or eual to the smallest exponent γ > 0 in Question 12 In [5], it was conjectured that γ must be eual to β This conjecture means that the solution γ of Question 12 is independent of the integer 2 In other words, it is conjectured that the solution of the Erdős-Falconer distance problem is the same as that of the -resultant modulus problem In fact, the authors in [6] provided a simple example which shows that γ = β = d+1)/2 for any integer 2 in odd dimensions d 3 provided that 1 is a suare number in F On the other hand, they conjectured that the smallest exponent γ in Question 12 is d/2 for even dimensions d 2 and all integers 2 In addition, they showed that if 3 and the dimension d is even, then one can improve the exponent d + 1)/2 which is sharp in odd dimensional case More precisely they obtained the following result Theorem 13 Let E F d Suppose that C is a sufficiently large constant Then the following statements hold: 1) If d = 4 or 6, and E C d+1 2 1 6d+2, then 3 E) c for some 0 < c 1 2) If d 8 is even and E C d+1 2 1 6d+2, then 4 E) c for some 0 < c 1 3) If d 8 is even, then for any ε > 0, there exists C ε > 0 such that if E C ε d+1 2 1 9d 18 +ε, then 3 E) c for some 0 < c 1 The purpose of this paper is to generalize Theorem 13 In particular, in the general setting, we improve the third conclusion of Theorem 13 by removing the ε > 0 in the exponent The generalized Erdős-Falconer distance problem has been recently studied by considering the distances between any two sets E 1,E 2 F d see, for example, [13, 16, 17, 18, 22, 24, 26]) Given two sets E 1,E 2 F d, the generalized distance set 2 E 1,E 2 ) is defined by 2 E 1,E 2 ) = { x 1 x 2 F : x 1 E 1, x 2 E 2 } The generalized Erdős-Falconer distance problem is to determine the smallest exponent γ 2 > 0 such that if E 1,E 2 F d with E 1 E 2 C γ2 for a sufficiently large constant C > 0, then 2 E 1,E 2 ) c for some 0 < c 1 From the Erdős- Falconer distance conjecture, it is natural to conjecture that the smallest exponent γ 2 is d +1 for odd dimension d 3 and d for even dimension d 2 Shparlinsi [22] obtained the exponent d + 1 for all dimensions d 2 Thus, the generalized Erdős-Falconer distance conjecture was established in odd dimensions On the other hand, the conjectured exponent d in even dimensions has not been obtained The currently best nown result is the exponent d+1 for even dimensions d except for two dimensions In dimension two the best nown result is the exponent 8/3 due to Koh and Shen [16]
4 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI We now consider a problem which extends both the generalized Erdős-Falconer distance problem and the -resultant modulus set problem For sets E j F d,j = 1,2,,, we define the generalized -resultant set E 1,,E ) as E 1,,E ) = { x 1 +x 2 + +x F : x j E j, j = 1,2,, } Problem 14 Let 2 be an integer Suppose that E j F d,j = 1,2,, Determine the smallest exponent γ > 0 such that if E j C γ for a sufficiently large constant C > 0, then E 1,E 2,,E ) c for some 0 < c 1 We call this problem the generalized -resultant modulus problem As in the -resultant modulus problem, we are only interested in studying this problem in evendimensions d 2 If = p 2 for some odd prime p, then F contains the subfield F p In this case, if the dimension d is even and E j = F d p for all j = 1,2,,, then E j = d/2 and E 1,E 2,,E ) = F p = p = This example proposes the following conjecture Conjecture 15 Suppose that d 2 is even and 2 is an integer Then the smallest exponent γ in Problem 14 must be d 2 11 Statement of the main result As mentioned before, the nown results on the generalized Erdős-Falconer distance problem says that if = 2, then 2 γ 8/3 for d = 2, and d γ d + 1 for even dimensions d 4, where γ denotes the smallest exponent in Problem 14 In this paper we study the generalized - resultant modulus problem for 3 Our main result is as follows Theorem 16 Let 3 be an integer and E j F d for j = 1,2,, Assume that C is a sufficiently large constant Then the following statements hold: 1) If d = 4 or 6, and 3 d+1 E j C 3 2 6d+2) 1, then 3 E 1,E 2,E 3 ) 2) If d 8 is even and 4 3) If d 8 is even and 3 d+1 E j C 4 2 6d+2) 1, then 4 E 1,E 2,E 3,E 4 ) d+1 E j C 3 2 9d 18) 1, then 3 E 1,E 2,E 3 ) Taing E j = E F d for all j = 1,2,,, the first and second conclusions of Theorem 13 follow immediately from 1),2) of Theorem 16, respectively Moreover, the third conclusion of Theorem 16 implies that the ε in the statement 3) of Theorem 13 is not necessary Theorem 16 also implies the following result Corollary 17 For any integer 4, let E j F d for j = 1,2,, Assume that C > 0 is a sufficiently large constant Then if d 4 is even and E j d+1 C 2 6d+2) 1, we have E 1,E 2,,E ) Proof Without loss of generality, we may assume that E 1 E 2 E d+1 Notice that if E j C 2 6d+2) 1 1 d+1, then E j 1) 2 6d+2) 1 Since
THE GENERALIZED -RESULTANT MODULUS SET 5 1 E 1,,E 1 ) E 1,,E ), the statement follows by induction argument with conclusions 1),2) of Theorem 16 2 Discrete Fourier analysis We shall use the discrete Fourier analysis to deduce the result of our main theorem, Theorem 16 In this section, we recall notation and basic concept in the discrete Fourier analysis Throughout this paper, we shall denote by χ a nontrivial additive character of F Since our result is independent of the choice of the character χ, we assume that χ is always a fixed nontrivial additive character of F The orthogonality relation of χ states that { 0 if m 0,,0) χm x) = d if m = 0,,0), x F d where m x := d m jx j for m = m 1,,m d ), x = x 1,,x d ) F d Given a function g : F d C, we shall denote by g the Fourier transform of g which is defined by 21) gx) = m F d gm)χ x m) for x F d On the other hand, we shall denote by f the normalized Fourier transform of the function f : F d C Namely we define that fm) = 1 d x F d fx)χ x m) for m F d In particular, if m = 0,,0) and we tae f as an indicator function of a set E F d, then we see that Ê0,,0) = E d Here, and throughout this paper, we write Ex) for the indicator function 1 E x) of a set E F d We define the normalized inverse Fourier transform of f, denoted by f, as f m) = f m) for m F d It is not hard to see that f )x) = fx) for x F d Hence, we obtain the Fourier inversion theorem: fx) = m F d fm)χm x) for x F d Using the orthogonality relation of the character χ, we see that fm) 2 = 1 d fx) 2 m F d We shall call this formula the Plancherel theorem Notice that if we tae f as an indicator function of a set E F d, then the Plancherel theorem yields that m F d x F d Êm) 2 = E d
6 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI Recall from Hölder s ineuality that if f 1,f 2 : F d C, then we have 1 f 1 m) f 2 m) p 1 f 1 m) p1 f 2 m) p2 m F d m F d m F d where1 < p 1,p 2 < and1/p 1 +1/p 2 = 1 ApplyingHölder s ineualityrepeatedly, we see that if f i : D F d C and 1 p i < for i = 1,2,, with 1 p i = 1, then 22) ) f i m) m D i=1 i=1 m D f i m) pi ) 1 p i We refer to this formula as the generalized Hölder s ineuality Lemma 21 Let 2 be an integer If E j F d for all j = 1,2,,, then we have 1 Êjm) d+d E j m F d Proof Notice that if E F d and m Fd E, then Êm) Ê0,,0) = Since d 1 = 1, applying generalized Hölder s ineuality yields the desirable result: m F d Êjm) = m F d 1 Êjm) Êj0,,0) 2 Ej d ) 2 d m F d Êjm) 2 1 1 p 2, i=1 ) 1) Ej = d+d E j To estimate a lower bound of E 1,,E ), we shall utilize the Fourier decay estimate on spheres Recall that the sphere S t F d for t F is defined by 23) S t = {x F d : x 2 1 + +x 2 d = t} It is not hard to see that S t = d 1 1+o1)) for d 3 and t F see Theorem 626 and Theorem 627 in [20]) It is well nown that the value of Ŝtm) can be written in terms of the Gauss sum and the Kloosterman sum In particular, when the dimension d is even, the following result can be obtained from Lemma 4 in [14] Lemma 22 Let d 2 be even If t F and m F d, then we have Ŝ t m) = 1 δ 0 m)+ d 1 G d χ tl+ m ), 4l l F 1
THE GENERALIZED -RESULTANT MODULUS SET 7 where δ 0 m) = 1 for m = 0,,0) and δ 0 m) = 0 otherwise, and G denotes the Gauss sum G = ηs)χs), s F where η is the uadratic character of F, and F = F \{0} In particular, we have 24) Ŝ 0 m) = 1 δ 0 m)+ d 1 G d l F χ m l) for m F d We shall invoe the following result which was given in Proposition 22 in [18] Lemma 23 If m,v F d, then we have Ŝ t m) Ŝtv) = 1 δ 0 m) δ 0 v)+ d 1 t F s F χs m v )) 3 Formula for a lower bound of E 1,,E ) This section devotes to proving the following result which is useful to deduce a lower bound of E 1,,E ) Theorem 31 Let d 2 be even and 2 be an integer If E j F d for j = 1,2,, and E j 3 d 2, then we have )+1 E j E 1,,E ) min, ) 1 d max Êjv) r F v S r Proof For each t F, we define a counting function ν t) by ν t) = {x 1,x 2,,x ) E 1 E : x 1 + +x = t} Since E j = t F ν t) and ν t) = 0 for t / E 1,,E ), we see that E j ν 0) = 0 t E 1,,E ) ν t) Suare both sides of this euation and use the Cauchy-Schwarz ineuality It follows 2 2 E j ν 0) = ν t) E 1,,E ) ν 2 t) 0 t E 1,,E ) t F Thus, we obtain 31) E 1,,E ) E j ν 0) ) 2 ν 2t) t F
8 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI Now, we claim three facts below Claim 32 Suppose that d 2 is even and 2 is an integer If E j F d for j = 1,2,, with E j 3 d 2, then we have E j ν 0) 2 1 E j 9 2 Claim 33 Let d 2 and 2 be integers If E j F d for j = 1,2,,, then we have 2 ν 2 t) 1 E j + 2 2d d Ê j v) t F r F v S r Claim 34 Assume that d 2 is even and 2 is an integer If E j F d for j = 1,2,, with E j d 2, then we have 2d d Ê j m) m S 0 2 2 ν0) 2 4 E j For a moment, let us accept Claims 32, 33, and 34 which shall be proved in the following subsections see Subsections 31, 32, and 33) From 31) and Claim 32, we see that if E j 3 d 2, then 32) E 1,,E ) Observe from Claims 33 and 34 that if E j t F ) 2 ν 2 t) E j 3 d 2, then νt) 2 = 2 2 νt) ν 2 0) 2 5 E j + 2d d Ê j v) t F t F r 0 v S r 2 1 E j + 2d d max Êjv) Êjv) r 0 v S r v F d 2 1 1 E j + d E j max Êjv), r 0 v S r
THE GENERALIZED -RESULTANT MODULUS SET 9 where Lemma 21 was used to obtain the last ineuality From this estimate and 32), it follows that E 1,,E ) 1 E j 2 E j ) + d E j min, v S r ) 1 ) 2 max r F v S r )+1 E j )) max d Êjv) r F )) Êjv) Then the statement of Theorem 31 follows by applying generalized Hölder s ineuality 22): ) 1 Êjv) max max r F v S r r F v S r Êjv) 31 Proof of Claim 32 Suppose that d 2 is even and 2 is an integer Let E j F d for j = 1,2,, with E j 3 d 2 We aim to show that 33) E j ν 0) 2 1 E j 9 To prove this, we begin by estimating the counting function ν t) for t F For each t F, it follows that ν t) = {x 1,x 2,,x ) E 1 E : x 1 + +x = t} = S t x 1 +x 2 + +x ) x 1,x 2,,x ) E 1 E 2 E ApplyingtheFourierinversiontheoremtotheindicatefunctionS t x 1 +x 2 + +x ), it follows that ν t) = Ŝ t m)χm x 1 + +x )) 2 x 1,x 2,,x ) F d Fd E 1 x 1 ) E x ) m F d By the definition of the normalized Fourier transform, we can write 34) ν t) = d Ŝ t m) Ê j m) m F d
10 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI Toprove33),wefirstfindanupperboundofν 0) = d m F d Ŝ 0 m) ) Ê j m) By 24) of Lemma 22, we can write ν 0) = d Ê j m) 1 δ 0 m)+ d 1 G d χ m l) m F d l F 35) = d 1 Ê j 0,,0) + d d 1 G d Ê j m) χ m l) m F d l F Since Êj0,,0) = Ej, G = 1/2, and d l F χ m l), it follows that Applying Lemma 21, ν 0) 1 Since 3, it follows that E j ν 0) Note that if obtain that E j + d d/2 m F d Êjm) ν 0) 1 E j + d 2 E j 1 3 1 E j 1 E j d 2 E j E j + 1 3 1 E j d 2 E j 1 E j 3 d 2, then the second term above is nonnegative Thus we E j ν 0) 1 3 E j Suaring the both sizes, we complete the proof of Claim 32 32 Proof of Claim 33 We want to prove the following L 2 estimate of the counting function νt) : 2 36) ν 2 t) 1 E j + 2 2d d Ê j v) t F r F v S r
THE GENERALIZED -RESULTANT MODULUS SET 11 By 34), we see that ν 2 t) = ν t)ν t) t F t F = 2d m,v F d Ê j m) Ê j v) t m)ŝtv) t FŜ Using Lemma 23, we see that νt) 2 = 2d 1 Ê j m) Ê j v) δ 0 m)δ 0 v) t F m,v F d + 2d d 1 Ê j m) Ê j v) s Fχs m v )) 1 = 2d 1 m,v F d Ê j 0,,0) Ê j 0,,0) + 2d d 1 m,v F d 2d d 1 m,v F d Ê j m) Ê j v) s Fχs m v )) Ê j m) Ê j v) By the definition of the normalized Fourier transform, the orthogonality relation of χ, and basic property of summation, it follows that 2 νt) 2 = 2d 1 E j d t F + 2d d Ê j m) Ê j v) t F ν 2 2d d 1 m,v F d : m = v v F d Ê j v) Since the third term above is not positive, we obtain that 2 t) 2d 1 E j d + 2d d Ê j m) Ê j v) = 1 E j 2 + 2d d r F which completes the proof of Claim 33 2 m,v F d : m = v v F d : v =r 2 Ê j v),
12 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI 33 Proof of Claim 34 For even d 2 and an integer 2, let E j F d for j = 1,2,, with E j d 2 We must show that 37) 2d d Ê j m) m S 0 2 ν 2 0) 4 E j We begin by recalling from 35) that if d 2 is even, then ν 0) = d 1 Ê j 0,,0) + d d 1 G d Ê j m) χ m l) m F d l F It follows that ν 0) = 1 E j = 1 E j + d d 1 G d m F d 2 d d 1 G d m F d Ê j m) 1+ l Fχ m l) Ê j m) + d d G d Ê j m) := A+B m S 0 Thus we can write ν 2 0) = ν 0)ν 0) = A+B)A+B) = A 2 + B 2 +AB+AB Since the absolute value of the Gauss sum G is, we have 2 ν 2 0) = 2d d Ê j m) + A 2 +AB+AB m S 0 m S 0 It follows that 38) 2d d Ê j m) 2 ν 2 0) AB AB 2 A B Now, notice that A 1 E j + d d 1 G d Êjm) m F d and B d d G d m F d Êjm)
THE GENERALIZED -RESULTANT MODULUS SET 13 Since G =, using Lemma 21 yields the following two estimates: 1 A 1 E j + d 2 1 E j and B d 2 E j From these estimates and 38), we have 2d d Ê j m) m S 0 2 1 2 E j d 2 1 2 1 ν 2 0) + d 1 2 2 E j Finally, we obtain the estimate 37) by observing that if max d 2 1 E j 2 1 Thus the proof of Claim 34 is complete, d 1 E j 2 2 E j d 2, then 2 1 E j 4 connection between restriction estimates for spheres and E 1,,E ) Theorem 31 shows that a good lower bound of E 1,E 2,,E ) can be obtained by estimating an upper bound of the uantity ) 1 41) max Êjv) r F v S r This uantity is closely related to the restriction estimates for spheres with non-zero radius In this section, we review the restriction problem for spheres and we restate Theorem 31 in terms of the restriction estimates for spheres We begin by reviewing the extension problem for spheres which is also called the dual restriction problem for spheres We shall use the notation F d,dx) to denote the d-dimensional vector space over the finite field F where a normalized counting measure dx is given On the other hand, we denote by F d,dm) the dual space of the vector space F d,dx), where we endow the dual space F d,dm) with the counting measure dm Since the space F d,dx) can be identified with its dual space Fd,dx) as an abstract group, we shall use the notation F d to indicate both the space and its dual space To distinguish the space with its dual space, we always use the variable x for the element of the space F d,dx) with the normalized counting measure dx On the other hand, the variable m will be used to denote the element of the dual space
14 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI F d,dm) with the counting measure dm For example, we write x Fd and m Fd for x F d,dx) and m F d,dm), respectively With these notations, the classical norm notation can be used to indicate the following sums: for 1 r <, and g r L r F d,dm) = m F d f r L r F d,dx) = d x F d gm) r, fx) r, g L F d,dm) = max gm) m F d where g is a function on F d,dm) and f is a function on F d,dx) For each t F, let S t F d,dx) be the sphere defined as in 23) We endow the sphere S t with the normalized surface measure dσ which is defined by measuring the mass of each point on S t as 1/ S t Notice that the total mass of S t is 1 and we have 42) f r L r S t,dσ) = 1 S t f L S t,dσ) = max x S t fx) x S t fx) r for 1 r <, We also recall that if f : S t,dσ) C, then the inverse Fourier transform of fdσ is defined by fdσ) m) = 1 fx)χm x) for m F d S t,dm) x S t Since the sphere S t is symmetric about the origin, we can write dσ) m) = d S t Ŝtm) for m F d,dm) With the above notation, the extension problem for the sphere S t ass us to determine 1 p,r such that there exists C > 0 satisfying the following extension estimate: 43) fdσ) Lr F d,dm) C f L p S t,dσ) for all f : S t C, where the constant C > 0 may depend on p,r,d,s t, but it must be independent of the functions f and the size of the underlying finite field F By duality, this extension estimate is the same as the following restriction estimate see [19, 23]) : 44) g L p S t,dσ) C g L r F d,dm) for all g : F d C, where g is defined as in 21) and p, r denote the Hölder conjugates of p and r, respectively namely, 1/p+1/p = 1 and 1/r+1/r = 1) Now, we address the relation between the restriction estimates for spheres with non-zero radius and a lower bound of E 1,,E ) By Theorem 31 and the definition of the restriction estimates for spheres in 44), we obtain the following result
THE GENERALIZED -RESULTANT MODULUS SET 15 Lemma 41 For even d 2 and an integer 2, let E j F d for j = 1,2,, Assume that E j 3 d 2 and the following restriction estimate holds for some 1 l < and α R: 45) Ẽj L S r,dσ) α E j Ll F d,dm) for all r F, j = 1,2,, Then we have E 1,,E ) min, E j α+d 1 )+1 1 l Proof By Theorem 31, it suffices to prove that ) 1 46) d max Êjv) α+d 1 E j r F v S r Since Êjv) = d Ẽ j v) for j = 1,,, we see that ) 1 ) 1 d max Êjv) = max Ẽjv) r F r F v S r v S r Using the definition of Ẽj L S r,dσ) in 42) and the fact that S r d 1, the above uantity is similar to the following value: d 1 max Ẽj L r F S r,dσ) By assumption 45), this can be dominated by ) d 1 α E j L l F d,dm) = α+d 1 E j 1 l = α+d 1 E j Putting all estimates together yields the ineuality 46), which completes the proof 5 Restriction theorems for spheres We see from Lemma 41 that the restriction estimates for spheres play an important role in determining lower bounds of the cardinality of the generalized - resultant set E 1,,E ) In particular, our main result Theorem 16) will be proved by maing an effort on finding possibly large exponent l 1 such that the restriction ineuality 45) holds for = 3 or = 4 In this section, we shall obtain such restriction estimates To this end, we shall apply the following dual restriction estimate for spheres with non-zero radius due to the authors in [14] Lemma 51 [14], Theorem 1) If d 4 be even, then 51) Fdσ) L 4 F d,dm) F L 12d 8)/9d 12) S t,dσ) for all F S t, t 0 1 l 1 l
16 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI To obtain a restriction estimate for spheres, we shall use the dual estimate of 51) To this end, it is useful to reviewlorentzspacesin oursetting Forafunction f : S t,dσ) C, we denote by d f the distribution function on [0, ): We see that for 1 r, d f a) := 1 S t {x S t : fx) > a} f r L r S = r t,dσ) s r 1 d f s) ds The function f is defined on [0, ) by f s) := inf{a > 0 : d f a) s} For 1 p,r and a function f : S t,dσ) C, define f L p,r S t,dσ) := 0 In particular, we see that sup s>0 f L p,1 S t,dσ) = 0 s 1/p f s) ) r ds s ) 1/r for 1 r < s 1/p f s) for r = 0 s 1/p 1 f s) ds It is not hard to see that for 1 p and 1 r 1 r 2, f L p,r 2St,dσ) f L p,r 1St,dσ) and f L p,p S t,dσ) = f L p S t,dσ) See [9] for further information about Lorentz spaces With the above notation, the following fact can be deduced Lemma 52 Let dσ be the normalized surface measure on the sphere S t F d,dx) Assume that the estimate 52) Fdσ) L r F d,dm) F Lp S t,dσ) holds for all subsets F of S t Then we have for all functions f : S t,dσ) C fdσ) L r F d,dm) f L p,1 S t,dσ) Proof Without loss of generality, we may assume that f is a nonnegative simple function given by the form N 53) f = a j 1 Fj where F N F N 1 F 2 F 1 and a j > 0 for all j = 1,2,,N Notice that N f s) = a j 1 [ ] 0, F j s) S t It follows that 0 s 1 p 1 f s) ds = 0 s 1 p 1 N a j 1 [ ] 0, F j s) ds S t
= N THE GENERALIZED -RESULTANT MODULUS SET 17 a j Fj S t Namely, we see that 0 s 1 p 1 ds = p 0 N ) 1 Fj p N a j = p a j F j L S t p S t,dσ) s 1 p 1 f s) ds N a j F j L p S t,dσ) Using this estimate along with 53) and the hypothesis 52), we see that fdσ) L r F d,dm) N a j F j dσ) L r F d,dm) N a j F j L p S t,dσ) Hence, the proof is complete We shall invoe the following wea-type restriction estimate 0 s 1 p 1 f s) ds = f L p,1 S t,dσ) Lemma 53 If d 4 is even and we put r 0 = 12d 8)/3d+4), then the wea-type restriction estimate 54) g L r 0, S t,dσ) g 4 L3F d,dm) holds for all t F and for all functions g : F d,dm) C Proof Since r 0 = 12d 8)/3d+4), its dual exponent r 0 is given by r 0 = 12d 8)/9d 12) Combining Lemma 51 with Lemma 52, it follows that fdσ) L4 F d,dm) f L r 0,1 S t,dσ) for all functions f : S t,dσ) C with t F By duality, this estimate is same as 54), which completes the proof The following restriction estimate will play an important role in proving the third part of Theorem 16 Lemma 54 If E F d d 1,dm) and E 2, then we have Ẽ L 2 S t,dσ) E for all t F d 1 4 Proof Since Ẽ 2 L 2 S = 1 t,dσ) S t Ẽx) 2 and S t d 1 fort F,it isenough x S t to show that if E F d d 1 with E 2, then 55) 2 E 2 x S t Ẽx) 2 d 1
18 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI Notice from the definition of the Fourier transforms that Ẽx) 2 = χ x m m )) = d Ŝ t m m ) x S t x S t m,m E m,m E = d E Ŝt0,,0)+ d Ŝ t m m ) m,m E:m m ) E S t + max Ŝtn) n F d \{0,,0)} E d 1 + E 2 d max n F d \{0,,0)} Ŝtn) m,m E:m m d Now, we apply the well nown fact Lemma 22 in [15]) that if S t F d for t F and d 2, then ) max n F d \{0,,0)} Ŝtn) d+1 2 Then we see that Ẽx) 2 E d 1 + d 1 2 E 2 d 1 2 E 2, x S t where the last ineuality follows from our assumption that E d 1 2 Thus, 55) holds and we complete the proof Now, we introduce the interpolation theorem which enables us to derive the restriction estimates we need for the proof of our main results Theorem 55 Let Ω be a collection of subsets E of F d,dm) Assume that the following two restriction estimates hold for all sets E Ω and 1 r 0 < r 1 : and Then for r 0 < r < r 1, we have 56) Ẽ L r S t,dσ) Ẽ L r 0, S t,dσ) A 0, E ) := A 0 Ẽ L r 1, S t,dσ) A 1, E ) := A 1 max { 2r r r 0, ) }) 1 r r 2r 0 r 1 r) A rr 1 r 0 ) r 1 r Namely, if 1 r = 1 θ r 0 + θ r 1 for some 0 < θ < 1, then we have 57) Ẽ L r S t,dσ) A 1 θ 0 A θ 1 Proof Let δ > 0 which will be chosen later = r δ 0 = r Ẽ r L r S = r t,dσ) s r 1 dẽs) ds δ 0 0 s r 1 dẽs) ds+r s r r0 1 s r0 dẽs) ds+r δ δ r 1 r r 0 ) rr 0 A 1 r 0 ) 1 s r 1 dẽs) ds s r r1 1 s r1 dẽs) ds
) δ r sup s r0 dẽs) 0<s< 0 = r r r Ẽ r0 0 THE GENERALIZED -RESULTANT MODULUS SET 19 max Now we choose δ such that Namely, we choose It follows that s r r0 1 ds+r sup s r1 dẽs) 0<s< L r 0, S t,dσ) + r δr r0 r 1 r Ẽ r1 { r r, r r 0 r 1 r ) s r r1 1 ds L r 1, S t,dσ) δr r1 } A r 0 0 δr r0 +A r1 1 δr r1) A r0 0 δr r0 = A r1 1 δr r1 δ = A { 2r Ẽ r L r S max t,dσ), r r 0 { 2r max, r r 0 { 2r = max, r r 0 r 0 r 1 r 0 r 1 r 0 A 1 r 0 1 2r r 1 r 2r r 1 r } 2r r 1 r } A r0 0 δr r0 } A r0 r0r r0) 0 A r 0 r 1 0 A1 r 0 r 1 r) r A 1 r 0 0 A δ r 1 r r 0 ) r 1 r 0 r 1 r r 0 ) r 1 r 0 1, which implies 56) By a direct computation, 57) follows from 56) 6 Proof of main theorem Theorem 16) Inthissection,weshallgivethecompleteproofofTheorem16 Since g L, S t,dσ) = g L S t,dσ) = max x S t gx) g L 1 F d,dm), it is clear that 61) Ẽ L, S t,dσ) E L1 F d,dm) = E for all E F d, t 0 On the other hand, it follows from Lemma 53 that if d 4 is even, then 62) Ẽ L 12d 8 3d+4, S t,dσ) E L 4 3F d,dm) = E 3 4 for all E F d, t 0 61 Proof of statement 1) of Theorem 16 We need the following lemma Lemma 61 If d = 4 or 6, then we have Ẽ L 3 S t,dσ) E L 9d+12 6d+14F d,dm) for all E F d, t 0 Proof Note that if d = 4 or 6, then 12d 8 3d+4 < 3 < Therefore, using Theorem 55, we are able to interpolate 61) and 62) so that we obtain Namely, we see that Thus, the proof is complete Ẽ L 3 S t,dσ) E 1 θ E 3θ 4 with θ = 12d 8 9d+12 Ẽ L 3 S t,dσ) E 6d+14 9d+12 = E L 9d+12 6d+14F d,dm)
20 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI We are ready to prove statement 1) of Theorem 16 We aim to prove that if d = 4 or d = 6, and E 1,E 2,E 3 F d with E d+1 1 E 2 E 3 3 2 6d+2) 1, then 3 E 1,E 2,E 3 ) Combining Lemma 41 and Lemma 61, we see that )4 3 3 6d+14 9d+12 E j 3 E 1,E 2,E 3 ) min, d 1 Since E 1 E 2 E 3 C 3d+1 2 6d+2) 1 for a sufficiently large C > 0, we see from a direct computation that 3 E 1,E 2,E 3 ) 62 Proof of statement 2) of Theorem 16 We shall utilize the following ey lemma Lemma 62 If d 4 is even, then we have Proof Since 12d 8 3d+4 Ẽ L 4 S t,dσ) E L 12d+16 9d+18 F d,dm) for all E F d, t 0 < 4 < for all even d 4, interpolating 61) and 62) yields Ẽ L 4 S t,dσ) E 1 θ E 3θ 4 with θ = 3d 2 3d+4 Since E 1 θ E 3θ 4 = E 9d+18 12d+16 = E L 12d+16 the statement follows 9d+18 F d,dm), Let us prove statement 2) of Theorem 16 Recall that we must show that if d 8 is even and E 1,E 2,E 3,E 4 F d with 4 E j 4d+1 2 6d+2) 1, then 4 E 1,E 2,E 3,E 4 ) Combining Lemma 41 and Lemma 62, we obtain that )5 4 4 9d+18 12d+16 E j 4 E 1,E 2,E 3,E 4 ) min, d 1 Since E 1 E 2 E 3 E 4 C 4d+1 2 6d+2) 1 for a sufficiently large C > 0, it follows from a direct computation that 4 E 1,E 2,E 3,E 4 ) 63 Proof of statement 3) of Theorem 16 We begin by proving the following lemma Lemma 63 Let E F d d 1 If d 8 is even and E 2, then we have Ẽ L 3 S t,dσ) 3d2 +23d 20 36d 96 E L 18d 48 15d 46 F d,dm) for all t F
THE GENERALIZED -RESULTANT MODULUS SET 21 Proof Since Ẽ L 2, S t,dσ) Ẽ L 2 S t,dσ) and E d 1 2, we see from Lemma 54 that 63) Ẽ L 2, S t,dσ) d 1) 4 E for all t F and E F d with E d 1 2 As in 62), we also see that 64) Ẽ L 12d 8 3d+4, S t,dσ) E 3 4 for all E F d, t F Since 2 < 3 < 12d 8 3d+4 for d 8, by using Theorem 55 we are able to interpolate 63) and 64) Hence, if d 8 is even and E d 1 2, then we have ) 1 θ E Ẽ L 3 S t,dσ) d 1) 3θ 4 E 4 with θ = 6d 4 9d 24 By a direct computation, we conclude Ẽ L 3 S t,dσ) 3d2 +23d 20 36d 96 E 15d 46 which completes the proof of the lemma 3d 18d 48 = 2 +23d 20 36d 96 E L 18d 48 15d 46 F d,dm), Let us prove the statement 3) of Theorem 16 which states that if d 8 is even and 3 E j 3d+1 2 9d 18) 1, then 3 E 1,E 2,E 3 ) To prove this, let us first assume that one of E 1, E 2, E 3 is less than d 1 2, say that E3 < d 1 2 Then by our hypothesis that E 1 E 2 E 3 3d+1 2 9d 18) 1, it must follow that E 1 E 2 d 1) 2 3d+1 2 9d 18) 1 = d+1)+ 3d 7 3d 6 > d+1 This implies that 2 E 1,E 2 ), which was proved by Shparlinsi [22] Thus it is clear that 3 E 1,E 2,E 3 ), because 3 E 1,E 2,E 3 ) 2 E 1,E 2 ) For this reason, we may assume that all of E 1, E 2, E 3 are greater than or eual to d 1 d+1 2 and E 1 E 2 E 3 3 2 9d 18) 1 Combining Lemma 41 with Lemma 63, we obtain that 3 E 1,E 2,E 3 ) min, where we tae α = 3d2 +23d 20 36d 96 3 E j 3α+d 1 )4 3 1 l, and l = 18d 48 15d 46 By a direct comparison, it is 9d 9d 18) = 2 9d 20 6d 12 not hard to see that if E 1 E 2 E 3 3d+1 2 1, then we have 3 E 1,E 2,E 3 ) We have finished the proof of the third part of Theorem 16 References [1] M Bennett, D Hart, A Iosevich, J Paianathan, and M Rudnev, Group actions and geometric combinatorics in F d, Forum Math 29 2017), no1, 91-110 2 [2] M Bennett, A Iosevich, and J Paianathan, Three-point congurations determined by subsets of F 2 via the Elees-Sharir Paradigm, Combinatorica, 34 2014), no6, 689-706 2 [3] J Bourgain, N Katz, and T Tao, A sum-product estimate in finite fields, and applications, Geom Funct Anal 14 2004), 27-57 1, 2 [4] J Chapman, M Erdo gan, D Hart, A Iosevich, and D Koh, Pinned distance sets, Wolff s exponent in finite fields and sum-product estimates, MathZ 271 2012), 63-93 2
22 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI [5] D Covert, D Koh, and Y Pi, On the sums of any points in finite fields, SIAM J Discrete Math 30 2016), no1, 367-382 1, 2, 3 [6] D Covert, D Koh, and Y Pi, The -resultant modulus set problem on algebraic varieties over finite fields, wwwarxiv2015) 3 [7] D Hart, and A Iosevich, Ubiuity of simplices in subsets of vector spaces over finite fields, Anal Math 34 2008), no1, 29-38 2 [8] P Erdös, On sets of distances of n points, Amer Math Monthly, 53 1946), 248-250 1 [9] L Grafaos, Classical and modern Fourier analysis, Pearson Education, Inc 2004) 16 [10] L Guth and N Katz, On the Erdős distinct distance problem in the plane, Annals of Mathematics, 181 2015), 155-190 1 [11] D Hart, A Iosevich, D Koh and M Rudnev, Averages over hyperplanes, sum-product theory in vector spaces over finite fields and the Erdős-Falconer distance conjecture, Trans Amer Math Soc 363 2011), no6, 3255-3275 2 [12] B Hanson, B Lund, and O Roche-Newton, On distinct perpendicular bisectors and pinned distances in finite fields, Finite Fields and Their Applications, 37 2016), 240-264 2 [13] D Hart, L Li and C Shen, Fourier analysis and expanding phenomena in finite fields, Proc Amer Math Soc 1412013), no2, 461-473 3 [14] A Iosevich and D Koh, Extension theorems for spheres in the finite field setting, Forum Math 22 2010), no3, 457-483 6, 15 [15] A Iosevich and M Rudnev, Erdős distance problem in vector spaces over finite fields, Trans Amer Math Soc 359 2007), 6127-6142 1, 2, 18 [16] D Koh and C Shen, Sharp extension theorems and Falconer distance problems for algebraic curves in two dimensional vector spaces over finite fields, Rev Mat Iberoam 28 2012), no1, 157-178 3 [17] D Koh and C Shen, The generalized Erdős-Falconer distance problems in vector spaces over finite fields, J Number Theory 132 2012), no11, 2455-2473 3 [18] D Koh and H, Sun, Distance sets of two subsets of vector spaces over finite fields, Proc Amer Math Soc 143 2015), no4, 1679-1692 3, 7 [19] G Mocenhaupt, and T Tao,Restriction and Kaeya phenomena for finite fields, Due Math J 121 2004), no 1, 35-74 14 [20] R Lidl and H Niederreiter, Finite fields, Cambridge University Press, 1997) 6 [21] D H Pham, T Pham, and LA Vinh, An improvement on the number of simplices in F d, Discrete Appl Math 221 2017), 95-105 2 [22] I Shparlinsi, On the set of distance between two sets over finite fields, International Journal of Mathematics and Mathematical Sciences Volume 2006, Article ID 59482, Pages 1-5 3, 21 [23] T Tao, Some recent progress on the restriction conjecture, Fourier analysis and convexity, 217-243, Appl Numer Harmon Anal, Birhäuser Boston, Boston, MA, 2004) 14 [24] L A Vinh, Explicit Ramsey graphs and Erdős distance problem over finite Euclidean and non-euclidean spaces, Electron J Combin 15 2008), no1, 5-18 3 [25] L A Vinh, On aleidoscopic pseudo-randomness of finite Euclidean graphs, Discuss Math Graph Theory 32 2012), no2, 279-287 2 [26] L A Vinh, On the generalized Erdős distance problems over finite fields, J Number Theory, 133 2013), no9, 2939-2947 3 Department of Mathematics and Computer Science, University of Missouri-St Louis, St Louis, MO 63121 USA E-mail address: covertdj@umsledu Department of Mathematics, Chungbu National University, Cheongju Chungbu 28644, Korea E-mail address: oh131@chungbuacr Department of Mathematics, Chungbu National University, Cheongju Chungbu 28644, Korea E-mail address: pi@chungbuacr