arxiv: v2 [math.co] 17 Jul 2017
|
|
- Clyde Mosley
- 5 years ago
- Views:
Transcription
1 THE GENERALIZED -RESULTANT MODULUS SET PROBLEM IN FINITE FIELDS arxiv: v2 [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 = y 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- 2015R1A1A1A ) 1
2 2 DAVID COVERT, DOOWON KOH, AND YOUNGJIN PI where α = α α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]
3 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 d+2, then 3 E) c for some 0 < c 1 2) If d 8 is even and E C d d+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 d 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 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
5 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 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) 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 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
7 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 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 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 E j + d E j max Êjv), r 0 v S r
9 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 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 E j 1 E j d 2 E j E j 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 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
11 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 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)
13 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 E j d ν 2 0) + d 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 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
15 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 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
17 = 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 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
19 ) δ 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 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 d+2) 1, then 3 E 1,E 2,E 3 ) Combining Lemma 41 and Lemma 61, we see that ) d+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 ) d+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
21 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 d 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 ), no1, [2] M Bennett, A Iosevich, and J Paianathan, Three-point congurations determined by subsets of F 2 via the Elees-Sharir Paradigm, Combinatorica, ), no6, [3] J Bourgain, N Katz, and T Tao, A sum-product estimate in finite fields, and applications, Geom Funct Anal ), , 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 ),
22 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 ), no1, , 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 ), no1, [8] P Erdös, On sets of distances of n points, Amer Math Monthly, ), [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, ), [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 ), no6, [12] B Hanson, B Lund, and O Roche-Newton, On distinct perpendicular bisectors and pinned distances in finite fields, Finite Fields and Their Applications, ), [13] D Hart, L Li and C Shen, Fourier analysis and expanding phenomena in finite fields, Proc Amer Math Soc ), no2, [14] A Iosevich and D Koh, Extension theorems for spheres in the finite field setting, Forum Math ), no3, , 15 [15] A Iosevich and M Rudnev, Erdős distance problem in vector spaces over finite fields, Trans Amer Math Soc ), , 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 ), no1, [17] D Koh and C Shen, The generalized Erdős-Falconer distance problems in vector spaces over finite fields, J Number Theory ), no11, [18] D Koh and H, Sun, Distance sets of two subsets of vector spaces over finite fields, Proc Amer Math Soc ), no4, , 7 [19] G Mocenhaupt, and T Tao,Restriction and Kaeya phenomena for finite fields, Due Math J ), no 1, [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 ), [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, , 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 ), no1, [25] L A Vinh, On aleidoscopic pseudo-randomness of finite Euclidean graphs, Discuss Math Graph Theory ), no2, [26] L A Vinh, On the generalized Erdős distance problems over finite fields, J Number Theory, ), no9, Department of Mathematics and Computer Science, University of Missouri-St Louis, St Louis, MO USA address: covertdj@umsledu Department of Mathematics, Chungbu National University, Cheongju Chungbu 28644, Korea address: oh131@chungbuacr Department of Mathematics, Chungbu National University, Cheongju Chungbu 28644, Korea address: pi@chungbuacr
arxiv: v1 [math.ca] 6 May 2008
EXTENSION THEOREMS FOR PARABOLOIDS IN THE FINITE FIELD SETTING arxiv:0805.0814v1 [math.ca] 6 May 008 ALEX IOSEVICH AND DOOWON KOH Abstract. In this paper we study the L p L r boundedness of the extension
More information#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS
#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS Doowon Koh Department of Mathematics, Chungbuk National University, Cheongju city, Chungbuk-Do, Korea koh131@chungbuk.ac.kr
More informationHarmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields
Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields Doowon Koh and Chun-Yen Shen Abstract. In this paper we study extension problems, averaging problems,
More informationarxiv: v4 [math.ca] 3 Mar 2017
arxiv:603.065v [math.ca] 3 Mar 07 Conjecture and improved extension theorems for paraboloids in the finite field setting Doowon Koh Abstract. We study the extension estimates for paraboloids in d-dimensional
More informationDistinct distances between points and lines in F 2 q
Distinct distances between points and lines in F 2 q Thang Pham Nguyen Duy Phuong Nguyen Minh Sang Claudiu Valculescu Le Anh Vinh Abstract In this paper we give a result on the number of distinct distances
More informationEXTENSION THEOREMS FOR THE FOURIER TRANSFORM ASSOCIATED WITH NON-DEGENERATE QUADRATIC SURFACES IN VECTOR SPACES OVER FINITE FIELDS
EXTENSION THEOREMS FOR THE FOURIER TRANSFORM ASSOCIATED WITH NON-DEGENERATE QUADRATIC SURFACES IN VECTOR SPACES OVER FINITE FIELDS ALEX IOSEVICH AND DOOWON KOH Abstract. We study the restriction of the
More informationSum-product estimates over arbitrary finite fields
Sum-product estimates over arbitrary finite fields Doowon Koh Sujin Lee Thang Pham Chun-Yen Shen Abstract arxiv:1805.08910v3 [math.nt] 16 Jul 2018 In this paper we prove some results on sum-product estimates
More informationSUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS
SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds in finite fields using incidence theorems
More informationarxiv: v1 [math.ca] 15 Dec 2017
arxiv:705549v [mathca] 5 Dec 07 Finite field restriction estimates for the paraboloid in high even dimensions Alex Iosevich, Doowon Koh, and Mark Lewko Abstract We prove that the finite field Fourier extension
More informationGeneralized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv: v2 [math.
Generalized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv:0801.0728v2 [math.co] 31 Mar 2008 David Covert, Derrick Hart, Alex Iosevich, Doowon Koh, and Misha Rudnev
More informationSzemerédi-Trotter type theorem and sum-product estimate in finite fields
Szemerédi-Trotter type theorem and sum-product estimate in finite fields arxiv:0711.4427v1 [math.co] 28 Nov 2007 Le Anh Vinh Mathematics Department Harvard University Cambridge, MA 02138, US vinh@math.harvard.edu
More informationCongruence classes of triangles in F 2 p
Congruence classes of triangles in F 2 p arxiv:1610.07408v3 [math.co] 18 Nov 2016 Thang Pham Abstract Le Anh Vinh In this short note, we give a lower bound on the number of congruence classes of triangles
More informationarxiv:math/ v3 [math.co] 15 Oct 2006
arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds
More informationAREAS OF TRIANGLES AND BECK S THEOREM IN PLANES OVER FINITE FIELDS
AREAS OF TRIANGLES AND BECK S THEOREM IN PLANES OVER FINITE FIELDS ALE IOSEVICH, MISHA RUDNEV, AND YUJIA ZHAI Abstract. In this paper, we will show that if E is a subset of a planar point set over a finite
More informationarxiv: v1 [math.ca] 24 Aug 2009
Extension and averaging operators for finite fields arxiv:09083266v1 [mathca] 24 Aug 2009 Doowon Koh Abstract In this paper we study L p L r estimates of both extension operators and averaging operators
More informationOn the elliptic curve analogue of the sum-product problem
Finite Fields and Their Applications 14 (2008) 721 726 http://www.elsevier.com/locate/ffa On the elliptic curve analogue of the sum-product problem Igor Shparlinski Department of Computing, Macuarie University,
More informationTWO GEOMETRIC COMBINATORIAL PROBLEMS IN VECTOR SPACES OVER FINITE FIELDS
TWO GEOMETRIC COMBINATORIAL PROBLEMS IN VECTOR SPACES OVER FINITE FIELDS EMMETT WYMAN Abstract. First, we show that the number of ordered right triangles with vertices in a subset E of the vector space
More informationarxiv: v1 [math.co] 19 Mar 2019
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
More informationFINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures)
FINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures) Ana Zumalacárregui a.zumalacarregui@unsw.edu.au November 30, 2015 Contents 1 Operations on sets 1 2 Sum-product theorem
More informationSzemerédi-Trotter theorem and applications
Szemerédi-Trotter theorem and applications M. Rudnev December 6, 2004 The theorem Abstract These notes cover the material of two Applied post-graduate lectures in Bristol, 2004. Szemerédi-Trotter theorem
More information#A34 INTEGERS 13 (2013) A NOTE ON THE MULTIPLICATIVE STRUCTURE OF AN ADDITIVELY SHIFTED PRODUCT SET AA + 1
#A34 INTEGERS 13 (2013) A NOTE ON THE MULTIPLICATIVE STRUCTURE OF AN ADDITIVELY SHIFTED PRODUCT SET AA + 1 Steven Senger Department of Mathematics, University of Delaware, Newark, Deleware senger@math.udel.edu
More informationORTHOGONAL EXPONENTIALS, DIFFERENCE SETS, AND ARITHMETIC COMBINATORICS
ORTHOGONAL EXPONENTIALS, DIFFERENCE SETS, AND ARITHMETIC COMBINATORICS ALEX IOSEVICH & PHILIPPE JAMING Abstract. We prove that if A is a set of exponentials mutually orthogonal with respect to any symmetric
More informationFOURIER ANALYSIS AND GEOMETRIC COMBINATORICS
FOURIER ANALYSIS AND GEOMETRIC COMBINATORICS Alex Iosevich Department of Mathematics University of Missouri-Columbia Columbia, MO 65211 USA iosevich@math.missouri.edu Abstract This article is based on
More informationSum-Product Type Estimates for Subsets of Finite Valuation Rings arxiv: v1 [math.co] 27 Jan 2017
Sum-Product Type Estimates for Subsets of Finite Valuation Rings arxiv:70.080v [math.co] 27 Jan 207 Esen Aksoy Yazici September 9, 208 Abstract Let R be a finite valuation ring of order q r. Using a point-plane
More informationarxiv: v2 [math.ca] 31 Jul 2007
arxiv:0707.3473v2 [math.ca] 31 Jul 2007 Averages over hyperplanes, sum-product theory in vector spaces over finite fields and the Erdős-Falconer distance conjecture Derrick Hart, Alex Iosevich, Doowon
More informationTHE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES. Alex Iosevich and Misha Rudnev. August 3, Introduction
THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES Alex Iosevich and Misha Rudnev August 3, 005 Abstract. In order to quantitatively illustrate the role of positivity in the Falconer distance
More informationarxiv: v1 [math.mg] 10 Feb 2017
Rainbow triangles arxiv:1702.03043v1 [math.mg] 10 Feb 2017 Steven Senger February 9, 2017 Abstract We seek conditions under which colorings of various vector spaces are guaranteed to have a copy of a unit
More informationarxiv: v1 [math.co] 7 Jul 2014
Sum-ratio estimates over arbitrary finite fields Oliver Roche-Newton arxiv:1407.1654v1 [math.co] 7 Jul 2014 July 11, 2018 Abstract The aim of this note is to record a proof that the estimate max{ A+A,
More informationA. Iosevich and I. Laba January 9, Introduction
K-DISTANCE SETS, FALCONER CONJECTURE, AND DISCRETE ANALOGS A. Iosevich and I. Laba January 9, 004 Abstract. In this paper we prove a series of results on the size of distance sets corresponding to sets
More informationarxiv: v1 [math.nt] 4 Oct 2016
ON SOME MULTIPLE CHARACTER SUMS arxiv:1610.01061v1 [math.nt] 4 Oct 2016 ILYA D. SHKREDOV AND IGOR E. SHPARLINSKI Abstract. We improve a recent result of B. Hanson (2015) on multiplicative character sums
More informationarxiv: v3 [math.co] 23 Jun 2008
BOUNDING MULTIPLICATIVE ENERGY BY THE SUMSET arxiv:0806.1040v3 [math.co] 23 Jun 2008 Abstract. We prove that the sumset or the productset of any finite set of real numbers, A, is at least A 4/3 ε, improving
More informationGroup actions, the Mattila integral and continuous sum-product problems
Group actions, the Mattila integral and continuous sum-product problems Bochen Liu University of Rochester Acknowledgment: This work is done when the author was a research assistant in the Chinese University
More informationThree-variable expanding polynomials and higher-dimensional distinct distances
Three-variable expanding polynomials and higher-dimensional distinct distances Thang Pham Le Anh Vinh Frank de Zeeuw arxiv:1612.09032v3 [math.co] 24 Feb 2017 Abstract We determine which quadratic polynomials
More informationGaussian Measure of Sections of convex bodies
Gaussian Measure of Sections of convex bodies A. Zvavitch Department of Mathematics, University of Missouri, Columbia, MO 652, USA Abstract In this paper we study properties of sections of convex bodies
More informationarxiv: v1 [math.co] 18 Dec 2018
A Construction for Difference Sets with Local Properties Sara Fish Ben Lund Adam Sheffer arxiv:181.07651v1 [math.co] 18 Dec 018 Abstract We construct finite sets of real numbers that have a small difference
More informationFreiman s theorem, Fourier transform and additive structure of measures
Freiman s theorem, Fourier transform and additive structure of measures A. Iosevich and M. Rudnev September 4, 2005 Abstract We use the Green-Ruzsa generalization of the Freiman theorem to show that if
More informationGAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. 2π) n
GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. A. ZVAVITCH Abstract. In this paper we give a solution for the Gaussian version of the Busemann-Petty problem with additional
More informationThe discrete Fourier restriction phenomenon: the non-lattice case
The discrete Fourier restriction phenomenon: the non-lattice case November 2, 2013 Let S n 1 be the sphere of radius 1 in R n and let P n 1 = {(x 1,...,x n 1,x 2 1 +...x2 n 1 ) : 1 x i 1} be the truncated
More informationarxiv: v1 [cs.it] 12 Jun 2016
New Permutation Trinomials From Niho Exponents over Finite Fields with Even Characteristic arxiv:606.03768v [cs.it] 2 Jun 206 Nian Li and Tor Helleseth Abstract In this paper, a class of permutation trinomials
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationA class of non-convex polytopes that admit no orthonormal basis of exponentials
A class of non-convex polytopes that admit no orthonormal basis of exponentials Mihail N. Kolountzakis and Michael Papadimitrakis 1 Abstract A conjecture of Fuglede states that a bounded measurable set
More informationA Szemerédi-Trotter type theorem, sum-product estimates in finite quasifields, and related results
A Szemerédi-Trotter type theorem, sum-product estimates in finite uasifields, and related results arxiv:1505.07308v4 [math.nt] 19 Oct 2016 Thang Pham Michael Tait Craig Timmons Le Anh Vinh Abstract We
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More informationSCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE
SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid
More informationDensity results for frames of exponentials
Density results for frames of exponentials P. G. Casazza 1, O. Christensen 2, S. Li 3, and A. Lindner 4 1 Department of Mathematics, University of Missouri Columbia, Mo 65211 USA pete@math.missouri.edu
More informationNUMBER FIELDS WITHOUT SMALL GENERATORS
NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields
More informationON RAPID GENERATION OF SL 2 (F Q ) Jeremy Chapman Department of Mathematics, University of Missouri, Columbia, Missouri
#A04 INTEGERS 9 (2009), 47-52 ON RAPID GENERATION OF SL 2 (F Q ) Jeremy Chapman Department of Mathematics, University of Missouri, Columbia, Missouri 65211 jeremy@math.missouri.edu Alex Iosevich Department
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationc 2010 Society for Industrial and Applied Mathematics
SIAM J. DISCRETE MATH. Vol. 24, No. 3, pp. 1038 1045 c 2010 Society for Industrial and Applied Mathematics SET SYSTEMS WITHOUT A STRONG SIMPLEX TAO JIANG, OLEG PIKHURKO, AND ZELEALEM YILMA Abstract. A
More informationarxiv: v1 [math.co] 18 Apr 2008
arxiv:0804.3036v [math.co] 8 Apr 2008 Distance graphs in vector spaces over finite fields, coloring and pseudo-randomness Derrick Hart, Alex Iosevich, Doowon Koh, Steve Senger and Ignacio Uriarte-Tuero
More informationh-fold sums from a set with few products
h-fold sums from a set with few products Dedicated to the memory of György Elekes Ernie Croot Derrick Hart January 7, 2010 1 Introduction Before we state our main theorems, we begin with some notation:
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationExplicit Ramsey graphs and Erdős distance problems over finite Euclidean and non-euclidean spaces
Explicit Ramsey graphs and Erdős distance problems over finite Euclidean and non-euclidean spaces Le Anh Vinh Mathematics Department Harvard University Cambridge, MA 02138, US vinh@math.harvard.edu Submitted:
More informationarxiv: v2 [math.ds] 8 May 2012
ON THE DISTANCE SETS OF SELF-SIMILAR SETS TUOMAS ORPONEN ABSTRACT. We show that if K is a self-similar set in the plane with positive length, then the distance set of K has Hausdorff dimension one. arxiv:1110.1934v2
More informationUNIONS OF LINES IN F n
UNIONS OF LINES IN F n RICHARD OBERLIN Abstract. We show that if a collection of lines in a vector space over a finite field has dimension at least 2(d 1)+β, then its union has dimension at least d + β.
More informationDISTANCE SETS OF WELL-DISTRIBUTED PLANAR POINT SETS. A. Iosevich and I. Laba. December 12, 2002 (revised version) Introduction
DISTANCE SETS OF WELL-DISTRIBUTED PLANAR POINT SETS A. Iosevich and I. Laba December 12, 2002 (revised version) Abstract. We prove that a well-distributed subset of R 2 can have a distance set with #(
More information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
More informationFINITE FOURIER ANALYSIS. 1. The group Z N
FIITE FOURIER AALYSIS EIL LYALL 1. The group Z Let be a positive integer. A complex number z is an th root of unity if z = 1. It is then easy to verify that the set of th roots of unity is precisely {
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationarxiv: v1 [math.co] 25 Oct 2018
AN IMPROVED BOUND FOR THE SIZE OF THE SET A/A+A OLIVER ROCHE-NEWTON arxiv:1810.10846v1 [math.co] 25 Oct 2018 Abstract. It is established that for any finite set of positive real numbers A, we have A/A+A
More informationIrredundant Families of Subcubes
Irredundant Families of Subcubes David Ellis January 2010 Abstract We consider the problem of finding the maximum possible size of a family of -dimensional subcubes of the n-cube {0, 1} n, none of which
More informationRECONSTRUCTION OF CONVEX BODIES OF REVOLUTION FROM THE AREAS OF THEIR SHADOWS
RECONSTRUCTION OF CONVEX BODIES OF REVOLUTION FROM THE AREAS OF THEIR SHADOWS D. RYABOGIN AND A. ZVAVITCH Abstract. In this note we reconstruct a convex body of revolution from the areas of its shadows
More informationThe Fourier transform and Hausdorff dimension. Pertti Mattila. Pertti Mattila. University of Helsinki. Sant Feliu de Guíxols June 15 18, 2015
University of Helsinki Sant Feliu de Guíxols June 15 18, 2015 The s-al measure H s, s 0, is defined by H s (A) = lim δ 0 H s δ (A), where, for 0 < δ, H s δ (A) = inf{ j d(e j ) s : A j E j, d(e j ) < δ}.
More informationM ath. Res. Lett. 16 (2009), no. 1, c International Press 2009
M ath. Res. Lett. 16 (2009), no. 1, 149 156 c International Press 2009 A 1 BOUNDS FOR CALDERÓN-ZYGMUND OPERATORS RELATED TO A PROBLEM OF MUCKENHOUPT AND WHEEDEN Andrei K. Lerner, Sheldy Ombrosi, and Carlos
More informationON A PROBLEM RELATED TO SPHERE AND CIRCLE PACKING
ON A PROBLEM RELATED TO SPHERE AND CIRCLE PACKING THEMIS MITSIS ABSTRACT We prove that a set which contains spheres centered at all points of a set of Hausdorff dimension greater than must have positive
More informationBounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers
3 47 6 3 Journal of Integer Seuences, Vol. (7), rticle 7..3 ounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers Roger Woodford Department of Mathematics University
More informationPRIME-REPRESENTING FUNCTIONS
Acta Math. Hungar., 128 (4) (2010), 307 314. DOI: 10.1007/s10474-010-9191-x First published online March 18, 2010 PRIME-REPRESENTING FUNCTIONS K. MATOMÄKI Department of Mathematics, University of Turu,
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationSufficient conditions on Liouville type theorems for the 3D steady Navier-Stokes equations
arxiv:1805.07v1 [math.ap] 6 May 018 Sufficient conditions on Liouville type theorems for the D steady Navier-Stokes euations G. Seregin, W. Wang May 8, 018 Abstract Our aim is to prove Liouville type theorems
More informationarxiv: v1 [math.ap] 12 Mar 2009
LIMITING FRACTIONAL AND LORENTZ SPACES ESTIMATES OF DIFFERENTIAL FORMS JEAN VAN SCHAFTINGEN arxiv:0903.282v [math.ap] 2 Mar 2009 Abstract. We obtain estimates in Besov, Lizorkin-Triebel and Lorentz spaces
More informationBENT POLYNOMIALS OVER FINITE FIELDS
BENT POLYNOMIALS OVER FINITE FIELDS ROBERT S COULTER AND REX W MATTHEWS Abstract. The definition of bent is redefined for any finite field. Our main result is a complete description of the relationship
More informationGROWTH IN GROUPS I: SUM-PRODUCT. 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define
GROWTH IN GROUPS I: SUM-PRODUCT NICK GILL 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define } A + {{ + A } = {a 1 + + a n a 1,..., a n A}; n A } {{ A} = {a
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationShort Kloosterman Sums for Polynomials over Finite Fields
Short Kloosterman Sums for Polynomials over Finite Fields William D Banks Department of Mathematics, University of Missouri Columbia, MO 65211 USA bbanks@mathmissouriedu Asma Harcharras Department of Mathematics,
More informationON VECTOR-VALUED INEQUALITIES FOR SIDON SETS AND SETS OF INTERPOLATION
C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIV 1993 FASC. 2 ON VECTOR-VALUED INEQUALITIES FOR SIDON SETS AND SETS OF INTERPOLATION BY N. J. K A L T O N (COLUMBIA, MISSOURI) Let E be a Sidon subset
More informationDecoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and
Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and analytic number theory. It studies the interference patterns
More informationYuqing Chen, Yeol Je Cho, and Li Yang
Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous
More informationA Remark on Sieving in Biased Coin Convolutions
A Remark on Sieving in Biased Coin Convolutions Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract In this work, we establish a nontrivial level of distribution
More informationOn The Weights of Binary Irreducible Cyclic Codes
On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:
More informationMathematical Research Letters 10, (2003) THE FUGLEDE SPECTRAL CONJECTURE HOLDS FOR CONVEX PLANAR DOMAINS
Mathematical Research Letters 0, 559 569 (2003) THE FUGLEDE SPECTRAL CONJECTURE HOLDS FOR CONVEX PLANAR DOMAINS Alex Iosevich, Nets Katz, and Terence Tao Abstract. Let Ω be a compact convex domain in the
More informationThe density of rational points on non-singular hypersurfaces, I
The density of rational points on non-singular hypersurfaces, I T.D. Browning 1 and D.R. Heath-Brown 2 1 School of Mathematics, Bristol University, Bristol BS8 1TW 2 Mathematical Institute,24 29 St. Giles,Oxford
More informationOn Falconer s Distance Set Conjecture
Rev. Mat. Iberoamericana (006), no., 649 66 On Falconer s Distance Set Conjecture M. Burak Erdo gan Abstract In this paper, using a recent parabolic restriction estimate of Tao, we obtain improved partial
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationClassification of Finite Fields
Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.
More informationDaniel M. Oberlin Department of Mathematics, Florida State University. January 2005
PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 Daniel M. Oberlin Department of Mathematics, Florida State University January 005 Fix a dimension d and for x R d and r > 0, let Sx, r) stand
More informationRoth s Theorem on Arithmetic Progressions
September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper
More informationarxiv: v2 [math.ca] 1 Apr 2011
On sets of directions determined by subsets of R d arxiv:009.469v2 [math.ca] Apr 20 Alex Iosevich, Mihalis Mourgoglou, and Steven Senger { } Abstract. Given E R d, d 2, define D(E) x y x y : x, y E S d,
More informationArithmetic progressions in sumsets
ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains
More informationFourier Analysis. 1 Fourier basics. 1.1 Examples. 1.2 Characters form an orthonormal basis
Fourier Analysis Topics in Finite Fields (Fall 203) Rutgers University Swastik Kopparty Last modified: Friday 8 th October, 203 Fourier basics Let G be a finite abelian group. A character of G is simply
More informationShih-sen Chang, Yeol Je Cho, and Haiyun Zhou
J. Korean Math. Soc. 38 (2001), No. 6, pp. 1245 1260 DEMI-CLOSED PRINCIPLE AND WEAK CONVERGENCE PROBLEMS FOR ASYMPTOTICALLY NONEXPANSIVE MAPPINGS Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou Abstract.
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationCollatz cycles with few descents
ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.
More informationEXPLICIT EVALUATIONS OF SOME WEIL SUMS. 1. Introduction In this article we will explicitly evaluate exponential sums of the form
EXPLICIT EVALUATIONS OF SOME WEIL SUMS ROBERT S. COULTER 1. Introduction In this article we will explicitly evaluate exponential sums of the form χax p α +1 ) where χ is a non-trivial additive character
More informationOn explicit Ramsey graphs and estimates of the number of sums and products
On explicit Ramsey graphs and estimates of the number of sums and products Pavel Pudlák Abstract We give an explicit construction of a three-coloring of K N,N in which no K r,r is monochromatic for r =
More informationarxiv: v2 [math.fa] 27 Sep 2016
Decomposition of Integral Self-Affine Multi-Tiles Xiaoye Fu and Jean-Pierre Gabardo arxiv:43.335v2 [math.fa] 27 Sep 26 Abstract. In this paper we propose a method to decompose an integral self-affine Z
More informationTESTING HOLOMORPHY ON CURVES
TESTING HOLOMORPHY ON CURVES BUMA L. FRIDMAN AND DAOWEI MA Abstract. For a domain D C n we construct a continuous foliation of D into one real dimensional curves such that any function f C 1 (D) which
More informationTADAHIRO OH 0, 3 8 (T R), (1.5) The result in [2] is in fact stated for time-periodic functions: 0, 1 3 (T 2 ). (1.4)
PERIODIC L 4 -STRICHARTZ ESTIMATE FOR KDV TADAHIRO OH 1. Introduction In [], Bourgain proved global well-posedness of the periodic KdV in L T): u t + u xxx + uu x 0, x, t) T R. 1.1) The key ingredient
More informationOn the Local Convergence of Regula-falsi-type Method for Generalized Equations
Journal of Advances in Applied Mathematics, Vol., No. 3, July 017 https://dx.doi.org/10.606/jaam.017.300 115 On the Local Convergence of Regula-falsi-type Method for Generalized Equations Farhana Alam
More information