arxiv: v1 [math.co] 18 Apr 2008

Transcription

1 arxiv: v [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 Abstract. In this paper we systematically study various properties of the distance graph in F d q, the d-dimensional vector space over the finite field F q with q elements. In the process we compute the diameter of distance graphs and show that sufficiently large subsets of d-dimensional vector spaces over finite fields contain every possible finite configurations. Contents. Introduction 2. Pseudo-arithmetic progressions 4 3. Proof of the kaleidoscopic result (Theorem.4) 5 4. Results based on Classical Gauss sums 7 5. Proof of the uniformity of color distribution (Lemma.2) 9 6. Proof of the Fourier decay estimates (Lemma 3.) 9 7. Proof of Theorem Proof of Theorem.7 References 22. Introduction The distance graph in F d q is obtained by taking Fd q and connecting two vertices corresponding to x,y F d q by an edge if x y = a for a fixed a F q, the multiplicative group of F q, where x = x 2 +x x2 d. More generally consider the set of colors L = {c,c 2,...,c q } corresponding to elements of F q. We connect two vertices corresponding to points x,y F d q by a c j -colored edge if x y = j. Denote the resulting family of graphs, with the implied edge and coloring sets, by G q where q runs over powers of odd primes. The main goal of this paper is a systematic study of the distance graph, including its diameter and pseudo-randomness properties. In the course of this investigation we prove sharp estimates for intersections of algebraic and non-algebraic varieties in F d q and the existence of arbitrary k point configurations in sufficiently large subsets thereof.

2 2 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO.. Kaleidoscopic pseudo-randomness. We say that the family of graphs {G j } j= with the set of colors L = {c,c 2,...,c L } and the edge set E j = L i= Ei j, with Ei j corresponding to the color c i, is kaleidoscopically pseudorandom if there exist constants C,C > 0 such that the following conditions are satisfied: (.) G j as j. (.2) C Ei j Ej i C Ej i. G j is asymptotically complete in the sense that ( Gj ) L 2 i= (.3) lim Ei j ) = 0. j ( Gj 2 If k n and L L, with L L ( k 2) +n, then any sub-graph H of Gj of size (.4) C G j k k L n k, contains every possible sub-graph with k vertices and n edges with an arbitrary edge color distribution from L. See, for example, a survey by Krivelevich and Sudakov ([5]) for related notions of pseudorandom graphs, examples and applications. The first result of this paper is the following. Theorem.. The above defined family of graphs {G q } is kaleidoscopically pseudo-random. The proof shows that the constant C in the definition of kaleidoscopic pseudo-randomness may be taken to be (+o()) in this context if the dimension d is not two or the zero distance is excluded. The constant C that the proof yields is exponential in the number of vertices. We actually prove a little more as the arguments below indicate. We shall see that under the set of hypotheses corresponding to kaleidoscopic pseudo-randomness, every finite geometric configuration in F d q is realized. See [7] and [8] where related questions are studied using graph theoretic methods. The first item in the definition of weak pseudo-randomness above (.) is automatic as the size of G j is q d, by construction. The second and third items, (.2) and (.3), respectively, are easy special cases of the following calculation. While it is implicit in ([4]), we give the proof at the end of the paper for the sake of reader s convenience. Lemma.2. For any t F q, { (2+o())q {(x,y) F d q F d 2d if d = 2,t = 0 q : x y = t} = (+o())q 2d otherwise where o() means that the quantity goes to 0 as q. We now ready to address the meat of our definition of weak pseudo-randomness, which is the fourth item (.4).

3 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 3 Definition.3. Given L F q such that L q ( ) k + J, 2 and J {,2,...,k} 2 \ {(i,i) : i k}, a k-point J-configuration in E is a set of k points {x,x 2,...,x k } such that x i x j = a ij L for all (i,j) J. Denote the set of all k point J-configurations by T J k (E). The item (.4) follows from the following geometric estimate. Theorem.4. Let E F d q, d 2. Suppose that k n d and (.5) E Cq d(k n k ) q k with a sufficiently large constant C > 0. Then for any with J = n, we have J {,2,...,k} 2 \ {(i,i) : i k} T J k (E) = (+o()) E k q n. Our proof uses geometric and character sum machinery similar to the one used in [4] and [2]. In the former paper, Theorem.4 is proved in the case k = 2 and n =, and in the latter article Theorem.4 is demonstrated in the case of general k and n = ( k 2). Thus Theorem.4 and, consequently, Theorem. may be viewed as filling the gap between these results..2. Diameter of the distance graph and related objects. Let the distance graph G q, equipped with the coloring set L be as above. Given a fixed color c in L, we define the diameter of G q as follows. Given vertices x, y in G q, define a path of length k from x to y to be a sequences {x,...,x k+ }, where x j s are distinct, x = x, x k+ = y, each x j is a vertex in G q and x i is connected to x i+ by a c-colored edge for every i k. We say that a path from x to y is optimal if it is a path and its length is as small as possible. Define the diameter of G q, with respect to the color c, to be the largest length of the optimal path between any two vertices in G q. Our first result in this direction is actually about a more generalfamilies of graphs. Let U F d q. We say that U is Salem if there exists a uniform constant C > 0 such that Û(ξ) Cq d U 2, where the Fourier transform with respect to a non-trivial additive character χ is defined and briefly reviewed in (3.3) and the lines that follow. We shall also see below (Lemma 3.) that the sphere (.6) S t = {x F d q : x2 + +x2 d = t} is a Salem set. Define G U q to the graph with vertices in F d q and two vertices, corresponding to x,y Fd q connected by an edge if x y U. We do not attach a coloring scheme in this context. Theorem.5. Suppose that U is Salem and U Cq 2d 3 with a sufficiently large constant C > 0. Then the diameter of G U q is 3.

4 4 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO Corollary.6. Given any fixed color c L, the graph G q has diameter 3 if d 4. The fact that the sphere is Salem, mentioned above, is proved in Lemma 3. below as is the fact that S q d. It follows that the diameter of G q is 3 provided that S Cq 2d 3 with a sufficiently large constant C > 0. Since S q d, this holds if d 4, which completes the proof of the corollary. We can do a bit better, however. Theorem.7. ) If d 4 then the diameter of G q is two for all q 3. 2) If d = 2 then the diameter of G q is never two for all q 5. Moreover, the diameter of G q is three if q 3,5,9,3. 3) If d = 3 then the diameter of G q is two or three. 2. Pseudo-arithmetic progressions Consider a sequence of k points P,P 2,...,P k in F d q such that P j P i = (j i) 2 for i j k. We call such an ordered sequence of vectors pseudo-arithmetic. The following is a simple consequence of Theorem.4. such that E Cq k k d q k 2. Then E contains a pseudo- Corollary 2.. Suppose that E F d q arithmetic progression of length k. In fact, Theorem.4 implies that E contains E k q (k 2) arithmetic-like progressions. It would be wonderful if these were actual arithmetic progressions. In fact, suppose it were true that every arithmetic-like progression is an actual arithmetic progression in at least one coordinate. We could then take E = A A A and conclude that if A Cq k k q k 2d, then A contains an arithmetic progression of length k, thus giving us a rather attractive version of Szemeredi s theorem in finite fields. The reality is very different, however. It is easy enough to construct examples of sequences whicharearithmetic-likebutnotactuallyarithmetic. Letz F d q suchthat z = z+ +z 2 d 2 = 0. Let P j = (j,z) F d q. It is not hard to see that P j P i = (j i) 2 + z = (j i) 2, so the sequence is arithmetic-like, but it is certainly not in general an arithmetic progression. What is somewhat more difficult is to construct examples of arithmetic-like sequences that are not arithmetic progressions in any coordinate. One way is to take one of the arithmetic-like progressions described in the previous paragraph and rotate it. For example, we may start out with the sequence (0,0,0) (,,i) (2,0,0), where i = and rotate it by an orthogonal matrix t t 0 t t In orderto havethe determinant ofthis matrix equal to we must havet 2 = /2. This equation has a solution in some fields and not others. Recall that we are also using i =, an object which exists in some fields and not others. The simplest field where both objects exist is Z 7. In this field we may take t = 3 and i = 4. We thus obtain the sequence (0,0,0) (0,6,4) (6,6,0).

5 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 5 Observe that this sequence is not arithmetic in any coordinate.. 3. Proof of the kaleidoscopic result (Theorem.4) Let T J k denote the set of k-point J-configurations in E and let TJ k (x,...,x k ) denote its characteristic function. Assume, inductively, that for every J J, (3.) T J k = (+o()) E k q J if E Cq d(k 2 J k ) q k. The initialization step is the following. Observe that and this needs to hold if T J = T = E = E q 0, E C E d(k k ) q J k = C. 3.. The induction step: We have, without loss of generality, (3.2) T J k = T J k (x,...,x k )E(x k )Π l j= S(xj x k )Π k i=l+ a i 0 S ai (x i x k ) for some l k, depending on the degree of the vertex corresponding to x k, where S t = {x F d q : x2 +x x2 d = t}, and S S. Technically, we should replace Π l j= S(xj x k ) by Π l j= S a j (x j x k ) for an arbitrary set of a j s, but this does not change the proof any and only complicates the notation. Recall that given a function f : F m q F q, the Fourier transform with respect to a non-trivial additive character χ on F q is given by the relation (3.3) f(ξ) = q m χ( x ξ). x F m q Also recall that (3.4) f(x) = χ(x m) f(m) ξ F m q and (3.5) f(ξ) 2 = q m f(x) 2. ξ F m q x F m q We shall also need the following estimates based on classical Gauss and Kloosterman sum bounds. See, for example, Lemma 2.2 and its proof in [4] for the first and the third estimates below. Lemma 3.. With the notation above, for any t 0, ξ (0,...,0) and q sufficiently large, (3.6) Ŝt(ξ) 2q d+ 2.

6 6 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO (3.7) and Moreover, for any a 0, Ŝ t (ξ) (2+o())q (3.8) Ŝ t (0,...,0) = q d S t = (+o())q, t a where o() means that the quantity goes to 0 as q. Using (3.4) and the definition of the Fourier transform, we see from (3.2) that ( k ) Tk J = q kd T k J (ξ,...,ξ k )Ê ξ u Π l j=ŝ(ξj )Π k Ŝ ai (ξ i ) ξ,...,ξ k :ξ s F d q u= = Main+Remainder, d+ 2 i=l+ a i 0 where Main is the term corresponding to taking ξ s = (0,...,0) for every s k. It follows by Lemma 3. that Main = (+o()) T J k E q l. The Remainder is the sum of terms of the form R U,V, where and U = {j {,2,...,l} : ξ j (0,...,0)}, V = {j {l+...,k } : ξ j (0,...,0)}. We first analyze the term where compliments of U and V are empty sets. We get ( k ) R U,V = q kd T k J (ξ,...,ξ k )Ê ξ u Π l j=ŝ(ξj )Π k Ŝ ai (ξ i ). ξ,...,ξ k :ξ s F d q ;ξs (0,...,0) u= i=l+ a i Applying Lemma 3. to the Fourier transforms of spheres and applying Cauchy-Schwartz, in the variables ξ,...,ξ k, followed by (3.5) to the first two terms in the sum, we see that ( ) R U,V = O q kd T J 2 E 2 q d d(k 2) 2 q 2 q d+ 2 l q d+ 2 (k l) k ( ) = O Tk J 2 E 2 q d(k ) 2 q l 2 q (k l) 2, where X = O(Y) means that there exists C > 0, independent of q, such that X CY. Applying the inductive hypothesis (3.) and noting that l may be as large as k, we see that if R U,V 2 Main E Cq d(k k ) q J k, with C sufficiently large, as desired. To estimate the general R U,V, we need the following simple observation that is proved by a direct calculation. Let U + V = m and define (3.9) f(µ,...,µ m ) = q d(k ) q md TJ k (Z U,V(µ ),...,Z U,V (µ k ))),

7 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 7 where Z U,V : F d F d with Z U,V (ξ j ) = ξ j if j U V and (0,...,0) otherwise. Then f 2 (y,...,y m ) max,...,y m ) y,...,y mf(y y,...,y m min{ E,(+o())q d } T J k. y,...,y m f(y,...,y m ) Applying (3.9) one can check that in the regime E Cq d(k n k ) q k the remaining R U,V s are smaller than the error term we already estimated. This completes the proof. Technically speaking we must still show that if T J k satisfies the conjectured estimate for every J with J = n, then so does T J2 k with J 2 = n 2 > n. However, this is apparent from the proof above. 4. Results based on Classical Gauss sums In this section, we collect the well-known facts which follow by estimates of Gauss sums. Such facts shall be used in the next sections. Let χ be a non-trivial additive character of F q and ψ a multiplicative character of F q of order two, that is, ψ(ab) = ψ(a)ψ(b) and ψ 2 (a) = for all a,b F q but ψ. For each a F q, the Gauss sum G a (ψ,χ) is defined by G a (ψ,χ) = s F q ψ(s)χ(as). The magnitude of the Gauss sum is given by the relation { q 2 if a 0 G a (ψ,χ) = 0 if a = 0. Remark 4.. Here, and throughout this paper, we denote by χ and ψ the canonical additive character and the quadratic character of F q respectively. Recall that if ψ is the quadratic character of F q then ψ(s) = if s is a square number in F q and ψ(s) = otherwise. The following theorem provided us of the explicit formula of the Gauss sum G (ψ,χ). For the nice proof, see [6]. Theorem 4.2. Let F q be a finite field with q = p l, where p is an odd prime and l N. Then we have { ( ) l q 2 if p = (mod4) G (ψ,χ) = ( ) l i l q 2 if p = 3 (mod4). (4.) In particular, we have s F q χ(as 2 ) = ψ(a)g (ψ,χ) for any a 0, because the quadratic character ψ is the multiplicative character of F q of order two. For the nice proof for this equality and the magnitude of Gauss sums, see [6] or [3]. As the direct application of the equality in (4.), we have the following estimate.

8 8 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO Lemma 4.3. For β F k q and t 0, we have ( ) β χ(tα α+β α) = χ η k (t)(g (η,χ)) k, 4t α F k q where, here and throughout the paper, β = β β. Proof. It follows that χ(tα α+β α) = α F k q k j= α j F q χ(tα 2 j +β j α j ). Completing the squarein α j -variables, changingof variables, α j + βj 2t α j, and using the inequality in (4.), the proof immediately follows. Due to the explicit formulafor the Gauss sum G(ψ,χ), we cancount the number ofthe elements in spheres S t F d q defined as before. The following theorem enables us to see the exact number of the elements ofspheress t which depends onthe radiust, dimensions, andthe sizeofthe underlining finite field F q. Theorem 4.4. Let S t F d q be the sphere defined as in (.6). For each t 0, we have ( ) q d q d 2 2 ψ ( ) d 2 if d is even S t = ( ) q d +q d 2 ψ ( ) d 2 t if d is odd Proof. For each t 0, we have S t = Using Lemma 4.3, we see that x =t =q d +q s 0 χ(s( x t)). S t = q d +q (G (ψ,χ)) d s 0ψ d (s)χ( st) x Case : d is even. Then ψ d, because the quadratic character ψ is a multiplicative character of F q of order two. Thus we see that S t = q d +q (G (ψ,χ)) d s 0χ( st) (4.2) = q d q (G (ψ,χ)) d. Case 2: d is odd. Then ψ d = ψ, because the order of ψ is also two. It follows that S t =q d +q (G (ψ,χ)) d s 0ψ(s)χ( st) (4.3) =q d +q (G (ψ,χ)) d+ ψ( t).

9 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 9 Together with (4.2) and (4.3), it suffices to show that ( ) (G (ψ,χ)) d = q d 2ψ ( ) d 2 ( (G (ψ,χ)) d+ = q d+ 2 ψ ( ) d+ 2 if d is even ) if d is odd However this follows by Theorem 4.2 and the well-known fact that ψ( ) = if q (mod4) and ψ( ) = if q 3 (mod4). Thus the proof is complete. We have 5. Proof of the uniformity of color distribution (Lemma.2) If t 0, Theorem 4.4 yields that On the other hand, we have {(x,y) F d q Fd q : x y = t} = S t (x y) = χ((x y) m)ŝt(m) x,y x,y m = q 2d Ŝ t (0,...,0) = q d S t. S t = (+o())q d. S 0 = S 0 (x) = q χ(s x ) x x s = q d +q χ(s x ), x s 0 = q d +q (G (ψ,χ)) d s 0ψ d (s) Since ψ d if d is even and ψ d = ψ if d is odd, we obtain that { q S 0 = d +q (q )(G (ψ,χ)) d if d is even q d if d is odd Thus the proof immediately follows by this, because the magnitude of the Gauss sum G (ψ,χ) is exactly q Proof of the Fourier decay estimates (Lemma 3.) We use a part of the argument above. For each m (0,...,0), we have Ŝ t (m) =q d q χ( x m)χ(s( x t)) s x =q d q χ( x m)χ(s( x t)) s 0 x =q d (G (ψ,χ)) d ( ) m (6.) 4s s 0χ st ψ d (s), and the estimate (3.6) follows from the following classical estimate due to Andre Weyl ([9]).

10 0 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO Theorem 6.. Let K(a) = s 0χ(as +s)φ(s), where φ is a multiplicative character on F q. Then for any a F q, K(a) 2 q. We now turn our attention to (3.7). We may assume that a = without loss of generality. With (6.) as the starting point, we sum this expression in t and obtain t (m) = q t Ŝ d (G (ψ,χ)) d ( ) m χ ψ d (s)χ( s). 4s s 0 We see that this expression is 2q d+ 2, because the magnitude of the Gauss sum G (ψ,χ) is q 2 and the sum in s 0 is just the generalized Kloosterman sum in Theorem 6..The proof of (3.8) follows easily from the proof of Lemma.2. This completes the proof of Lemma Proof of Theorem.5 We shall deduce Theorem.5 from the following estimate. Theorem 7.. U,E,F F d q such that U is Salem and with a sufficiently large constant C > 0. Then E F C q2d U ν U = {(x,y) E F : x y U} > 0. Taking Theorem 7. for granted, for a moment, Theorem.5 follows instantly. Indeed, take x, y with x y in F d q. Let E = U +x and F = U +y. It follows that E = F = U, so E F = U 2. We conclude from Theorem 7. that if U Cq 2d 3 with a sufficiently large constant C > 0, then there exists x U +x and y U +y such that x y U. This implies that the diameter of G U q is at most three as desired. To prove Theorem 7., observe that By assumption, = x,y ν U = x,y E(x)F(y)U(x y) Û(m)χ((x y) m)e(x)f(y) m = q 2d Ê(m) F(m)Û(m) m = E F U q d +q 2d Ê(m) F(m)Û(m) = I +II. m (0,...,0) II q 2d q d U 2 m (0,...,0) Ê(m) F(m)

11 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS ( ( Cq d U 2 Ê(m) 2) 2 2 ) 2 F(m) = C U 2 E 2 F 2 by (3.5). Comparing I and II we complete the proof of Theorem Proof of Theorem.7 In this section, we provide the proof of Theorem.7. The proof of the first part in Theorem.7 is given in the following subsection 8.. For the proof of the second and third part in Theorem.7, we first show in Subsection 8.3 that the diameter of G q in two dimension is never two if q 3 and then we complete in Subsection 8.4 the proof of the second and third part of Theorem The Proof of the first part of Theorem.7. We first prove that in dimensions four and higher, the diameter is two though we will actually prove a much stronger statement. It suffices to show that if the dimensions d 4, then two different spheres in F d q with same radius t 0 always intersect. The proof is based on the following lemma. Lemma 8.. For each x (0,...,0), and t 0, we have S t (S t +x) = q d S t 2 q +q 2 (G (ψ,χ)) d+ ψ( ) r 0, :t( r) 2 +r x =0 ψ(t( r) 2 +r x ) if d is odd. On the other hand, if d is even then we have S t (S t +x) = q d S t 2 q 2 q 2 (q 2)(G (ψ,χ)) d +q (G (ψ,χ)) d r 0, :t( r) 2 +r x =0 By assuming Lemma 8. for a moment, we shall prove that the diameter in dimensions four and higher is two. It suffices to show that if x (0,...,0) then S t (S t +x) > 0 for all t 0 and d 4. Case : Suppose that d 5 is odd. Then we see from Theorem 4.4 that (8.) S t q d q d 2. On the other hand, it is clear that (8.2) 0 r 0,:t( r) 2 +r x =0 q 2. Using the first part of Lemma 8. together with (8.), (8.2), and the magnitude of the Gauss sum G (ψ,χ), we see that S t (S t +x) q d( ) 2 q d q d 2 q q 2 q d+ 2 (q 2) = q d 2 q d 2, which is greater than zero if d 5 as wanted. Case 2: Suppose that d 4 is even. Then theorem 4.4 yields that (8.3) S t q d q d 2 2..

12 2 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO From Theorem 4.2, note that (G (ψ,χ)) d is a real number if d is even. Therefore the following two values take the different signs: (8.4) q 2 (q 2)(G (ψ,χ)) d and q (G (ψ,χ)) d. Moreover, r 0,:t( r) 2 +r x =0 2, r 0,:t( r) 2 +r x =0 because the polynomials of degree two have at most two roots. Together with this, (8.3), and (8.4), the second part of Theorem 8. gives S t (S t +x) q d (q d q d 2 2 ) 2 q 2 { max } q 2 (q 2)(G (ψ,χ)) d, 2q (G (ψ,χ)) d { q 2 (q 2)q d 2, 2q q d 2 =q d (q d q d 2 2 ) 2 q 2 max =q d (q d q d 2 2 ) 2 q 2 2q q d 2 =q d 2 2 (q d q ), which is greater than zero if d 4,q 3. Thus in order to conclude that in dimensions four and higher the diameter of G q is two, it remains to prove Lemma 8., which shall be done by the following subsection. (8.5) 8.2. Proof of Lemma 8.. For each x (0,...,0) and t 0, we have Now, by (6.) above, we have S t (S t +x) = y = y S t (y x)s t (y) Ŝ t (m)χ((y x) m)s t (y) m =q d S t 2 +q d m (0,...,0) Ŝ t (m) = q d (G (ψ,χ)) d s 0χ Ŝt(m) 2 χ( x m). ( ) m 4s st ψ d (s) where ψ is the quadratic character of F q with ψ = ψ,ψ(ab) = ψ(a)ψ(b). Plugging this into the second term in (8.5) above we get ( ) ( ) m m q 2 ψ d (u)ψ d (v)χ 4u ut χ 4v +vt χ( x m) m (0,...,0) u 0 v 0 = q 2 m u 0v 0 ( m ψ d (uv)χ q 2 u 0v 0 ) ( ) m 4u ut χ 4v +vt χ( x m) ψ d (uv)χ( t(u v)) = I +II. }

13 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 3 The second term above is given by (8.6) II = q 2 ψ d (uv)χ( t(u v)) = u 0v 0 { q if d is odd q 2 if d is even This follows from the Gauss sum estimates and the facts that ψ d = ψ for d odd, ψ d for d even, and s 0χ(ts) = fort 0. Onthe otherhand, usingthe changingofvariables, u u,v v, the first term above is written by I = q 2 m u,v 0:u v ( ( ψ d (uv)χ t u )) ( ) (u v) χ m x m, u 4 where we also used the fact that if u = v then the sum in m F d q vanishes, because χ( x m) = 0 m for x (0,,0). Completing the squares ( see Lemma 4.3), we have ( ) ( ) I = q 2 (G (ψ,χ)) d t(u v) x ψ d ( 4 ) ψ d (uv(u v))χ χ. uv u v u,v 0:u v Note that ψ( 4 ) = ψ( ), because 4 is the square number in F q. Letting u = s,vu = r, we see that I = q 2 (G (ψ,χ)) d ψ d ( ) ( t( r) ψ d (r( r))ψ d 2 ) +r x (s)χ. sr( r) s 0 r 0, Case : Suppose that d is even. Then ψ d. Thus we have I = q 2 (G (ψ,χ)) d ( t( r) 2 ) +r x χ. sr( r) s 0 r 0, Note that the sum in s 0 is q if t( r) 2 +r x = 0, and otherwise. Thus we obtain that I =q 2 (G (ψ,χ)) d (q ) q 2 (G (ψ,χ)) d =q (G (ψ,χ)) d r 0, :t( r) 2 +r x =0 r 0,:t( r) 2 +r x =0 q 2 (q 2)(G (ψ,χ)) d. r 0, :t( r) 2 +r x =0 From this estimate, (8.5), and (8.6), the second part of Lemma 8. immediately follows. Case 2: Suppose that d is odd. Then ψ d = ψ. Since s 0ψ(s) = 0, we see that the sum in s 0 is zero if t( r) 2 +r x = 0. Thus we may assume that t( r) 2 +r x 0. Using the changing of variables, s r ( r) (t( r) 2 +r x ) s and the facts that ψ(r 2 ) =,ψ(r) = ψ(r ), we see that I = q 2 (G (ψ,χ)) d+ ψ( ) ψ ( t( r) 2 +r x ). r 0,:t( r) 2 +r x =0 Using this estimate together with (8.5) and (8.6), the first part of Lemma 8. is proved and so the proof is complete.

14 4 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO 8.3. The diameter of G q in two dimension is never two. As we claim in the statement of the theorem, we can show that for any field F q with q 3, the diameter of G q in dimension two is indeed three and never two. To prove this it suffices to show that for each t 0 there exists x F 2 q such that the circle S t and its translate by x do not intersect. Case. Suppose that q is any power of odd prime p (mod4), or q is even power of odd prime p 3(mod4). Then q (mod4) which says that is a square number in F q so that ψ( ) =. By this and Theorem 4.4, if d = 2 then S t = q. Moreover we see from Theorem 4.2 that (G (ψ,χ)) 2 = q. Using the second part of Lemma 8., we therefore obtain that for each x (0,0),t 0, (8.7) S t (S t +x) =q 2 (q ) 2 q 2 q (q 2)+ =. r 0,:t( r) 2 +r x =0 r 0,:t( r) 2 +r x =0 If we choose x = (,i) F 2 q with i2 = then x = 0 and the sum in (8.7) vanishes. Thus two circles S t and (S t +x) are disjoint. Case 2: Suppose that q is an odd power of odd prime p 3(mod4). Then q 3(mod4) and so ψ( ) =, because is not a square number in F q. Together with this, Theorem 4.4 implies that S t = q + if d = 2. In addition, we see from Theorem 4.2 that (G (ψ,χ)) 2 = q. Thus the second part of Lemma 8. yields that for each x (0,0),t 0, S t (S t +x) =q 2 (q +) 2 q 2 +q (q 2) =2. r 0,:t( r) 2 +r x =0 r 0,:t( r) 2 +r x =0 It therefore suffices to show that for each t 0, there exists x (0,0) such that (8.8) D t (x) = = 2. r 0,:t( r) 2 +r x =0 Observe that x 0 if x (0,0), because we have assumed that is not a square number. Thus if x (0,0), then t( r) 2 +r x 0 for r = 0,, because t 0. From this observation, we see

15 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 5 that for each x (0,0), D t (x) = r F q:t( r) 2 +r x =0 =q s,r F q χ ( s(t( r) 2 +r x ) ) =+q χ ( s(t( r) 2 +r x ) ) r F q s 0 =+q χ s 0 r F q ( str 2 +(s x 2st)r ) χ(st) =+q G (ψ,χ) ( s( x 2t) 2 4t s 0ψ(st)χ ) χ(st), where the last equality can be obtained by the completing square methods in Lemma 4.3. Using the changing of variables, s/( 4t) s, we have D t (x) = +q G (ψ,χ)ψ( ) s 0ψ(s)χ ( s ( ( x 2t) 2 4t 2)), because ψ is the quadratic multiplicative character of F q and so ψ(4s2 ) =. Here, recall that we have assumed that is not a square number and so ψ( ) =, x 0 for x (0,0). In addition, we assume that x 4t. Then ( x 2t) 2 4t 2 can not be zero. Thus we apply the changing of variables, s ( ( x 2t) 2 4t 2) s and we obtain that D t (x) = q (G (ψ,χ)) 2 ψ ( ( x 2t) 2 4t 2 ) ), where we used the fact that ψ(s) = ψ(s ) for s 0. By Theorem 4.2 and our assumption in Case 2, observe that (G (ψ,χ)) 2 = q. Thus if x 0,4t, then D t (x) above takes the following form. D t (x) = +ψ ( x 2 4t x ). In order to prove (8.8), it therefore suffices to show that for each t 0, there exists x F 2 q with x 0,4t such that ψ ( x 2 4t x ) =. By contradiction, we assume that for all x F 2 q with x 0,4t, (8.9) ψ ( x 2 4t x ). Since x 2 4t x 0 for x F 2 q with x 0,4t, and ψ is the quadratic character of F q, we see that ψ(s) for s 0 takes + or. Moreover, observe from Theorem 4.4 that for each s 0, there exists x F 2 q such that x = s. Thus (8.9) implies that ψ ( x 2 4t x ) = (q 2). x F q\{0,4t} By defining ψ(0) = 0 we extend the quadratic character ψ of F q to the quadratic character of F q. Then we have ( (8.0) x 2 4t x ) = (q 2). x F q ψ However, this is impossible if q 5 due to the following theorem ( See [6], P.225 ).

16 6 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO Theorem 8.2. Let ψ be a multiplicative character of F q of order k > and let g F q [x] be a monic polynomial of positive degree that is not an k th power of a polynomial. Let e be the number of distinct roots of g in its splitting field over F q. Then for every s F q we have ψ(sg(t)) t F q (e )q/2. To see that (8.0) is false if q 5, note from Theorem 8.2 that ( x 2 4t x ) q 2. Thus the proof is complete. x F q ψ 8.4. The two-dimensional case and the three-dimensional case. In this subsection, we prove that the diameter of G q in two dimension is three unless q = 3,5,9,3, and the diameter of G q in three dimension is less than equal to three. For each a,b F d q with a b, it suffices to show that {(x,y) (S r +a) (S r +b) : x y = r 0} > 0. We have (8.) {(x,y) (S r +a) (S r +b) : x y = r 0} = S r (x)s r (y)s r (x y +a b) x,y = S r (x)s r (y)χ((x y +a b) m)ŝr(m) x,y m =q d S r 3 +q 2d χ((a b) m)ŝr(m) Ŝr(m) 2. m (0,...,0) We shall estimate the second term above. By (6.), recall that Ŝr(m) is given by Ŝ r (m) = q d (G (ψ,χ)) d ( ) m 4s s 0χ sr ψ d (s). Plugging this into the second part in (8.), we have q 3 (G (ψ,χ)) d ψ d (uvw)χ((a b) m)χ = q 3 (G (ψ,χ)) d m m (0,...,0) u,v,w 0 u,v,w 0 q 3 (G (ψ,χ)) d ψ d (uvw)χ((a b) m)χ u,v,w 0 The second term II above is given by { q (8.2) 3 (G (ψ,χ)) d q 3 (G (ψ,χ)) d+3 ψ(r) ( m 4 ( m 4 ( u v + )) χ( r(u v +w)) w ( u v + )) χ( r(u v +w)) w ψ d (uvw)χ( r(u v +w)) = I +II. if d is even if d is odd

17 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 7 This easily follows from properties of the quadratic character ψ, definition of the Gauss sum G (ψ,χ), and s 0χ(rs) = for r 0. Let us estimate the first term I above. Using the changing of variables, u u,v v,w w, the first term I above is given by q 3 (G (ψ,χ)) d ( ) m ψ d (uvw)χ((a b) m)χ (u v +w) χ 4 m u,v,w 0 ( r ( u v + )). w Since a b, the sum in m F d q vanishes if u v+w = 0. Thus we may assume that u v+w 0. Therefore using Lemma 4.3, the first term I above takes the form (8.3) q 3 (G (ψ,χ)) 2d u,v,w 0 :u v+w 0 ( ) ( ( a b ψ d (uvw)ψ d ( (u v +w))χ χ r u v +w u v + )), w where we used ψ(4 ) =, because 4 is the square number and ψ is the quadratic character of F q. Now we estimate the term I above in the cases when d = 3 and d = 2. Case A: The dimension d is three. Then the term I is dominated by I, u,v,w 0:u v+w 0 where we used the fact that the magnitude of the Gauss sum G (ψ,χ) is exactly q 2. We claim that (8.4) = (q ) 2 +(q )(q 2) 2. u,v,w 0:u v+w 0 The claim follows from the following observation: if we fix u 0 which has d choices, then we may choose v 0 such that either u = v or u v. In case u = v, v has only one choice which depends on the choice of u and then we can choose w 0 which has q choices with u v+w 0. One the other hand, if we choose v 0 with u v, which has q 2 choices, then we have q 2 choices for w 0 so that u v + w 0. Thus the claim holds. From (8.), (8.2), and (8.4) above, we obtain that if d = 3 then {(x,y) (S r +a) (S r +b) : x y = r 0} q 3 S r 3 q 3 (G (ψ,χ)) 6 ψ(r) ( (q ) 2 +(q )(q 2) 2) q 3 (q 2 q) 3 (q ) 2 (q )(q 2) 2 = (q ) ( q 2 (q ) ), which is greater than zero if q 3. This proves that the diameter of G q than equal to three. in three dimension is less Remark 8.3. In three dimension, the diameter of G q depends on both the finite field F q and the choice of the radius r 0 of S r. In fact, by estimating the sum in the first part of Lemma 8., we can show that the diameter of G q in three dimension is two if ψ( r) =, and three otherwise. This can be done by the similar arguments as in Subsection 8.3 and this subsection. Case B: The dimension d is two. Then the term I in (8.3) above takes the form I = q 3 (G (ψ,χ)) 4 χ ( (u v +w) a b ) χ ( r(u v +w ) ). u,v,w 0 :u v+w 0

18 8 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO Fix u 0. Putting u v = s,u w = t, we see that I = q 3 (G (ψ,χ)) 4 χ u 0 s 0 t 0:s t Using the changing of variables, u u, we have I = q 3 (G (ψ,χ)) 4 χ u 0 s 0 t 0:s t ( r ( u + s t )) ( ) a b χ. ust u( s+t) (( r+ rs+rt + a b st s+t ) ) u. Note that the sum in u 0 is if r+( rs+rt)/st+ a b /( s+t) 0, and q otherwise. Thus the term I can be written by I = q 3 (G (ψ,χ)) 4 s 0 t 0:s t We now claim that +q 3 (G (ψ,χ)) 4 (q ) s 0 =q 2 (G (ψ,χ)) 4 s 0 q 3 (G (ψ,χ)) 4 s 0 s 0 t 0:s t r+( rs+rt)/st+ a b /( s+t) 0 t 0:s t r+( rs+rt)/st+ a b /( s+t)=0 t 0:s t r+( rs+rt)/st+ a b /( s+t)=0 t 0:s t. = (q 2) 2 +(q ). To see this, we write the term above into two parts as follows. = + Then it is clear that On the other hand, we see that s 0 t 0:s t s 0,t 0:s t t 0: t s 0,t 0:s t = q. = (q ) 2, t 0: t because whenever we fix s 0, which has q 2 choices, we have q 2 choices of t 0 with s t. By this, the claim is complete. Thus the term I is given by I = q 2 (G (ψ,χ)) 4 s 0. t 0:s t r+( rs+rt)/st+ a b /( s+t)=0 q 3( (q 2) 2 +(q ) ) (G (ψ,χ)) 4. From this, (8.), and (8.2), we obtain that if d = 2 then {(x,y) (S r +a) (S r +b) : x y = r 0} = q 2 S r 3 +q 3 (G (ψ,χ)) 2 q 3( (q 2) 2 +(q ) ) (G (ψ,χ)) 4

19 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS +q 2 (G (ψ,χ)) 4 s 0 t 0:s t r+( rs+rt)/st+ a b /( s+t)=0 By Theorem 4.4) and Theorem 4.2, we see that S r = q ψ( ) if d = 2, and G 4 (ψ,χ) = q 2 respectively. Thus we aim to show that the following value is positive. (8.5) {(x,y) (S r +a) (S r +b) : x y = r 0} = q 2 (q ψ( )) 3 +q 3 (G (ψ,χ)) 2 q ( q 2 3q +3 ) +. s 0 t 0:s t r+( rs+rt)/st+ a b /( s+t)=0 Case B-I: Suppose that q = p l for some odd prime p 3(mod4) with l odd. Then q 3(mod4) which means that is not a square number in F q so that ψ( ) =. We alsonote from Theorem 4.2 that G 2 (ψ,χ) = q. Thus the term in (8.5) can be estimated as follows. {(x,y) (S r +a) (S r +b) : x y = r 0} q 2 (q +) 3 q 2 q ( q 2 3q +3 ) = 6 which is greater than zero as wanted. Case B-II: Suppose that q = p l for some odd prime p 3(mod4) with l even, or q = p l with p (mod4). Then q (mod4) which implies that is a square number in F q so that ψ( ) =. Moreover G 2 (ψ,χ) = q by Theorem 4.2. From these observations, the term in (8.5) is given by {(x,y) (S r +a) (S r +b) : x y = r 0} = q 2 (q ) 3 +q 2 q (q 2 3q +3)+R(a,b,r) = R(a,b,r) where R(a,b,r) = s 0 t 0:s t,t(s,t,a,b,r)=0 with T(s,t,a,b,r) = r+( rs+rt)/st+ a b /( s+t). To complete the proof, it suffices to show that R(a,b,r) > 0. Case B-II-: Suppose that a b = 0. Then we have R(a,b,r) = s 0 t 0:s t, st s+t=0 If q 3 l for l even (CharF q 3), then it is clear that R(a,b,r), because if we choose s =,t = 2 then s t and st s+t 0. Thus we may assume that q = 3 l with l even. Since each finite field F 3 2 can be considered as a subfield of any finite field F 3 l with l even up to isomorphism, it is enough to show that R(a,b,r) for a fixed finite field F 3 2 with 9 elements. Consider the following finite field F 3 2 with 9 elements. F 3 2 = Z 3 [i]/(i 2 +) = {α+βi : α,β Z 3 }, where i 2 =. Taking s = i,t = i 2, we see that s t and st s+t 0. Thus we conclude that R(a,b,r) as desired... 9

20 20 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO Case B-II-2. Assume that a b 0. Letting c = a b r 0, we have R(a,b,r) = s 0 where T (s,t,c) is defined by (8.6) t 0:s t,t (s,t,c)=0 T (s,t,c) =(c 3)st+s 2 t st 2 s+t+s 2 +t 2 =(t+)s 2 + ( t(c 3) t 2 ) s+t+t 2. Splitting R(a, b, r) into two parts as below and using the simple properties of summation notation, R(a, b, r) takes the following forms. R(a,b,r) = + where we used (8.7) s 0,:c=0 s 0, t 0:s t,t (s,t,c)=0 = s 0, t 0:T (s,t,c)=0 = s 0 = s 0 t 0:T (s,t,c)=0 t 0:T (s,t,c)=0 s 0,:c=0, t 0:c =0 = 0, because c 0. We have R(a,b,r) =q χ(kt (s,t,c)) s,t 0 k t 0:c =0 + t 0:c =0 =q χ(kt (s,t,c))+q (q ) 2 s,t 0k 0 s 0,:c=0 + t 0:c =0 =q χ(kt (s,t,c)) q χ(tk +t 2 k)+q (q ) 2 t,k 0 s F q t,k 0 =q χ(kt (s,t,c)) q +q (q ) 2, t,k 0 s F q where the last equality follows from the following observation. χ(tk +t 2 k) = t,k 0 k 0χ(t(t+)k)+ t 0, k 0 = (q 2)+(q ) =. Splitting the sum in (8.7) into two parts as below, we obtain that R(a,b,r) = q χ(kt (s,t,c))+q χ(( c)ks) q +q (q ) 2. t 0, k 0 s F q k 0s F q By the orthogonality relations for non-trivial additive character χ, the second term above is given by q χ(( c)ks) = (q )δ 0 ( c) 0, k 0 s F q

21 DISTANCE GRAPHS IN VECTOR SPACES OVER FINITE FIELDS, COLORING AND PSEUDO-RANDOMNESS 2 where δ 0 (u) = if u = 0, and 0 otherwise. In order to estimate the first term above, recall from (8.6) that kt (s,t,c) = k(t+)s 2 +k ( t(c 3) t 2 ) s+kt+kt 2 and then apply the complete square methods ( see Lemma 4.3 ). It follows that R(a,b,r) q G (ψ,χ) ( ( k (c 3)t t 2 ) ) 2 ψ((t+)k)χ χ(t(t+)k)+q 2. 4(t+) t 0, k 0 k Using the changing of variables, 4(t+) k and the fact that ψ( 4(t+) 2) =, we see that R(a,b,r) q G (ψ,χ) ψ(k)χ(g(t,c)k)+q 2 t 0, k 0 where g(t,c) is given by g(t,c) = 4t(t+) 2 ( (c 3)t t 2 ) 2. Note that the sum in k 0 is zero if g(t,c) = 0. Thus we may assume that g(t,c) 0. Thus using the changing variables, g(t,c)k k, we see that (8.8) R(a,b,r) q (G (ψ,χ)) 2 ψ(g(t,c))+q 2, t 0, :g(t,c) 0 where we used that ψ(s) = ψ(s ) for s 0. Here, recall that we has assumed that q = p l for some odd prime p 3(mod4) with l even, or q = p l with p (mod4). By Theorem 4.2, we therefore see that (G (ψ,χ)) 2 = q. From this and (8.8), we see that R(a,b,r) = 0 only if ψ(g(t,c)) = (q 2). Since ψ is the quadratic character of F q, the number ψ(g(t,c)) t 0, :g(t,c) 0 takes + or. Thus if ψ(g(t,c)) = (q 2) happens then it must be true that t 0, :g(t,c) 0 ψ(g(t,c)) = for all t 0,. This implies that g(t,c) is not a square number for all t 0,, and the following estimate holds (8.9) ψ(g(t,c)) (q 2) 2 = q 4. t F q However, by Theorem 8.2, it must be true that ψ(g(t,c)) t F q 3q because g(t,c) is the polynomial of degree four in terms of t variables. Thus if q 7 then the inequality in (8.9) is not true and so we conclude that under the assumptions in Case B II, if q 7 then {(x,y) (S r +a) (S r +b) : x y = r 0} = R(a,b,r) > 0. Combining this and results from Case B I, we finish proving that the diameter of G q in two dimension is three if q 3,5,9,3, because the diameter of G q in two dimension is never two if q 3. 2.

22 22 DERRICK HART, ALEX IOSEVICH, DOOWON KOH, STEVE SENGER AND IGNACIO URIARTE-TUERO References [] A. Adolphson and S. Sperber, Exponential sums and Newton polyhedra: cohomology and estimates, Annals of Mathematics, 30, (989), [2] D. Hart and A. Iosevich, Ubiquity of simplices in subsets of vector spaces over finite fields, Analysis Mathematika, 34, (2007). 3 [3] H. Iwaniec and E. Kowalski, Analytic number theory, AMS Colloquium Publications, 53, (2004). 7 [4] A. Iosevich and M. Rudnev, Erdős distance problem in vector spaces over finite fields. Trans. Amer. Math. Soc. (2007). 2, 3, 5 [5] M. Krivilevich and B. Sudakov, Pseudo-random graphs, (preprint), (2007). 2 [6] R. Lidl and H. Niederreiter, Finite fields,cambridge Univ. Press (997). 7, 5 [7] Le Anh Vinh, Explicit Ramsey graphs and Erdos distance problem over finite Euclidean and non-euclidean spaces, (preprint), arxiv: , (2007). 2 [8] V. Vu, Sum-Product estimates via directed expanders, (preprint), (2007). 2 [9] A. Weil, On some exponential sums, Proc. Nat. Acad. Sci. U.S.A. 34 (948),