arxiv: v1 [math.co] 28 Feb 2012

Transcription

1 arxiv: v [math.co] 28 Feb 202 Strongly Regular Cayley Graphs, Sew Hadamard Difference Sets, and Rationality of Relative Gauss Sums Koji Momihara Abstract In this paper, we give constructions of strongly regular Cayley graphs and sew Hadamard difference sets. Both constructions are based on choosing cyclotomic classes in finite fields, and our results generalize ten of the eleven sporadic examples of cyclotomic strongly regular graphs given by Schmidt and White [24] and several of subfield examples into infinite families. These infinite families of strongly regular graphs have new parameters. The main tools that we employed are relative Gauss sums instead of explicit evaluations of Gauss sums. Keywords: strongly regular graph; sew Hadamard difference set; relative Gauss sum Introduction In this paper, we will assume that the reader is familiar with the theory of strongly regular graphs and difference sets. For the theory of strongly regular graphs (srgs), our main reference is the lecture note of Brouwer and Haemers [5]. For difference sets, we refer the reader to Chapter 6 of [4]. We remar that strongly regular graphs are closely related to other combinatorial objects, such as two-weight codes, two-intersection sets in finite geometry, and partial difference sets. For these connections, we refer the reader to [5, p. 32], [7, 20]. Let Γ be a simple and undirected graph and A be its adjacency matrix. A useful way to chec whether a graph is strongly regular is by using the eigenvalues of its adjacency matrix. For convenience we call an eigenvalue restricted if it has an eigenvector perpendicular to the all-ones vector. (For a -regular connected graph, the restricted eigenvalues are the eigenvalues different from.) Theorem.. For a simple graph Γ of order v, not complete or edgeless, with adjacency matrix A, the following are equivalent:. Γ is strongly regular with parameters (v,,λ,µ) for certain integers,λ,µ, 2. A 2 (λ µ)a+( µ)i +µj for certain real numbers,λ,µ, where I,J are the identity matrix and the all-ones matrix, respectively, 3. A has precisely two distinct restricted eigenvalues. One of the most effective methods for constructing srgs is by the Cayley graph construction. For example, the aley graph (q) is one class of well nown Cayley graphs, that is, the graph with the finite field F q as vertex set, where two vertices are adjacent when their difference is a Department of Mathematics, Faculty of Education, Kumamoto University, Kuroami, Kumamoto , Japan; address: momihara@educ.umamoto-u.ac.jp

2 nonzero quadratic. It has the parameters (v,,λ,µ) (4t+,2t,t,t). In general, let G be an additively written group of order v, and let D be a subset of G such that 0 D and D D, where D { d d D}. The Cayley graph on G with connection set D, denoted Cay(G,D), is the graph with the elements of G as vertices; two vertices are adjacent if and only if their difference belongs to D. In the case when Cay(G,D) is strongly regular, the connection set D is called a (regular) partial difference set. The survey of Ma [20] contains much of what is nown about partial difference sets and about connections with strongly regular Cayley graphs. A difference set D in an (additively written) finite group G is called sew Hadamard if G is the disjoint union of D, D, and {0}. The primary example (and for many years, the only nown example in abelian groups) of sew Hadamard difference sets is the classical aley difference set in (F q,+) consisting of the nonzerosquares off q, where F q is the finite field of orderq, a prime power congruent to 3 modulo 4. Sew Hadamard difference sets are currently under intensive study; see the introduction of [0] for a short survey of nown constructions of sew Hadamard difference sets and related problems. As we see in the next section, in order to chec that a candidate subset D of F q is a partial difference set or a sew Hadamard difference set in (F q,+), it is sufficient to compute certain character sums of F q in common. A classical method for constructing both connection sets of strongly regular graphs (i.e., partial difference sets) and difference sets in the additive groups of finite fields is to use cyclotomic classes of finite fields. Let p be a prime, f a positive integer, and let q p f. Let > be an integer such that (q ), and γ be a primitive element of F q. Then the cosets C (,q) i γ i γ, 0 i, are called the cyclotomic classes of order of F q. Many authors have studied the problem of determining when a union D of some cyclotomic classes forms a (partial) difference set. Especially, when D consists of only a subgroup of F q, many authors have studied extensively [, 2, 6, 9, 0,, 3, 4, 7, 9, 22, 24, 25]. (Some of these authors used the language of cyclic codes in their investigations instead of strongly regular Cayley graphs or partial difference sets. We choose to use the language of srg.) We call a strongly regular Cayley graph Cay(F q,d) cyclotomic if D is such. The aley graphs are primary examples of cyclotomic srgs. Also, if D is the multiplicative group of a subfield of F q, then it is clear that Cay(F q,d) is strongly regular. These cyclotomic srgs are usually called subfield examples. Next, if there exists a positive integer t such that p t (mod ), then Cay(F q,d) is strongly regular. This case had already generalized so that D is a union of some cyclotomic cosets based on the computation of pure Gauss sums, see [6, 9]. These examples are usually called semi-primitive. Schmidt and White presented the following conjecture on cyclotomic srgs. Conjecture.2. ([24]) Let F p f be the finite field, pf p with >, and C 0 : C (,pf ) 0 with C 0 C 0. If Cay(F p f,c 0 ) is strongly regular, then one of the following holds: () (subfield case) C 0 F p d where d f, (2) (semi-primitive case) p (Z/Z), (3) (exceptional case) Cay(F p f,c 0 ) has one of the parameters given in Table. Recently, the authors of [0,, 3] succeeded to generalize the examples of Table except for srgs of No., 5, and 8 into infinite families using index 2 and 4 Gauss sums. Theorem.3. (i) ([9]) Let q p pm (p )/2, p m, and D p m Cay(F q,d) is strongly regular for any m in the following cases: (p,p ) (2,7),(3,07),(5,9),(5,499),(7,67),(4,63). (ii) ([3]) Let q p pm (p )/4, p m, and D p m regular for any m in the following cases: C (,q) i (p,p ) (3,3),(7,37). C (,q) i. Then,. Then, Cay(F q,d) is strongly 2

3 Table : Eleven sporadic examples No. p f e : [(Z/Z) : p ] (iii) ([]) Let q p pm (p )p n 2 (p 2 )/2, p m pn 2, and D p m p n 2 j0 C (,q) p n j. 2 i+pm Then, Cay(F q,d) is strongly regular for any n and m in the following cases: (p,p,p 2 ) (2,3,5),(3,5,7),(3,7,9). The srgs in the cases when (p,p ) (2,7) of (i), (p,p ) (3,3) of (ii), and (p,p,p 2 ) (2,3,5) of (iii) of Theorem.3 are generalizations of subfield examples. The others are generalizations of sporadic examples of Table. Note that it is impossible to generalize the example of No. of Table by a similar manner since 3 (Z/ m Z) is not of index 2 for m >. In [0, ], the following two constructions of sew Hadamard difference sets and aley type partial difference sets were given. (A partial difference set D in a group G is said to be of aley type if the parameters of the corresponding strongly regular Cayley graph are (v, v 2, v 5 4, v 4 ).) Theorem.4. (i) ([0]) Let p 7(mod 8) be a prime, 2p m, and let p be a prime such that f : ord (p) φ()/2, where φ is the Euler totient function. Let s be an odd integer, H denotes any subset of Z such that {i(mod p m ) i H} Z p m, and let D ) i H C(,pfs i. Then, D is a sew Hadamard difference set if p 3(mod 4) and D is a aley type partial difference set if p (mod 4). (ii) ([]) Let q p pm (p )/2, 2p m, and H Q 2Q {0}, where Q is the subgroup of index 2 of (Z/2p Z). Set D p m j0 i H C(,q). Then, D is a sew Hadamard 2j+ip m difference set in the case when (p,p ) (3,07) and D is a aley type partial difference set in the cases when (p,p ) (5,9),(7,67),(4,63),(5,499). The proofs of the above theorems are based on index 2 and 4 Gauss sums. In order to show that the srgs of No. 5 and 8 in Table lead to infinite families, we need to explicitly evaluate index 6 Gauss sums if we apply a similar technique of [9, 0,, 3]. However, it seems to be difficult to compute index more than 4 Gauss sums, and this implies that it is hard to find new strongly regulargraphsorsewhadamarddifferencesetsonf q fromindexmorethan4cases. Inthispaper, we will show that explicit evaluations of Gauss sums are not needed if some initial examples of strongly regular Cayley graphs or sew Hadamard difference sets satisfying certain conditions are found. Instead, we will investigate the rationality of relative Gauss sums. As consequences, we generalize the srgs of No. 5 and 8 in Table into infinite families and find further infinite families of cyclotomic srgs with new parameters as generalizations of subfield examples (see Tables 2 and 3 in Section 3.2). Furthermore, we obtain two infinite families of sew Hadamard difference sets in (F q,+), where q 3 3 3m and m. 3

4 2 Rationality of relative Gauss sums 2. reliminary Let p be a prime, f a positive integer, and q p f. The canonical additive character ψ of F q is defined by ψ: F q C, ψ(x) ζ Tr q/p(x) p, where ζ p exp( 2πi p ) and Tr q/p is the trace from F q to F p. For a multiplicative character χ of F q, we define the Gauss sum G f (χ) χ(x)ψ(x), x F q which belongs to Z[ζ p ] of integers in the cyclotomic field Q(ζ p ), where m is the order of χ. Let σ a,b be the automorphism of Q(ζ p ) determined by σ a,b (ζ ) ζ a, σ a,b (ζ p ) ζ b p for gcd(a,) gcd(b,p). Below are several basic properties of Gauss sums [8]: (i) G f (χ)g f (χ) q if χ is nontrivial; (ii) G f (χ p ) G f (χ), where p is the characteristic of F q ; (iii) G f (χ ) χ( )G f (χ); (iv) G f (χ) if χ is trivial; (v) σ a,b (G f (χ)) χ a (b)g f (χ a ); In general, the explicit evaluation of Gauss sums is a very difficult problem. There are only a few cases where the Gauss sums have been evaluated. The most well nown case is quadratic case, in other words, the order of χ is two. Lemma 2.. ([8]) Let η be the quadratic character of F q F p f. Then, it holds that G f (η) ( ) f ( ( ) p 2 p) f. The next simple case is the so-called semi-primitive case (also referred to as uniform cyclotomy or pure Gauss sum), where there exists an integer j such that p j (mod ), where is the order of the multiplicative character χ involved. Theorem 2.2. ([3]) Suppose that > 2 and p is semi-primitive modulo, i.e., there exists an s s.t. p s (mod ). Choose s minimal and write f 2st. Let χ be a multiplicative character of order. Then, { ( ) p f/2 t if p 2; G f (χ) ( ) t +(ps +)t/ if p > 2. This theorem was used to find strongly regular graphs and difference sets on F q, e.g., see [2, 6]. The next interesting case is the index 2 case where the subgroup p generated by p (Z/Z) has index 2 in (Z/Z) and p. In this case, it is nown that can have at most two odd prime divisors. Many authors have investigated this case, see e.g., [, 6, 2, 23, 30, 3]. In particular, complete solution to the problem of evaluating Gauss sums in this case was recently given in [30]. Also, the index 4 case was treated in [8, 29]. Recently, these index 2 and 4 Gauss sums 4

5 were applied to show the existence of infinite families of new strongly regular graphs and sew Hadamard difference sets on F q in [9, 0,, 3]. However, it is quite difficult to explicitly evaluate Gauss sums of general index. This implies that it is difficult to find new strongly regular graphs on F q from index more than 4 cases if we apply a similar technique of [9, 0,, 3]. However, we will show in Section 3 of this paper that explicit evaluations of Gauss sums are not needed if some initial examples of strongly regular graphs or sew Hadamard difference sets satisfying certain conditions are found. Instead, we will use rationality of relative Gauss sums. For two nontrivial multiplicative characters χ of F p f and χ of F p f with f f, the relative Gauss sum associated with χ and χ is defined as ϑ p (χ,χ) : G f (χ ) p f f 2 G f (χ). In particular, we investigate when ϑ p (χ,χ) or holds in the case where both of G f (χ ) and G f (χ) are of index e case. Note that the concept of relative Gauss sums was introduced in [28] as the fractional G f (χ )/G f (χ), where χ is the restriction of χ to F p f. Hence, our definition generalize his definition and normalize so that the absolute value is equal to when χ and χ are nontrivial. Below, we give important formulae on Gauss sums. The following is nown as the Davenport-Hasse lifting formula. Theorem 2.3. ([3, 8]) Let χ be a nontrivial character on F q F p f and let χ be the lifted character of χ to F q F p fs, i.e., χ (α) : χ(norm Fq /F q (α)) for α F q. Then, it holds that G fs (χ ) ( ) s (G f (χ)) s. The following is called the Davenport-Hasse product formula. Theorem 2.4. ([3]) Let η be a character on F q F p r of order l >. For every nontrivial character χ on F q, G r (χ) G r(χ l ) χ l (l) l i G r (χη i ) G r (η i ). We close this subsection providing the following lemma [28]. Lemma 2.5. ([28]) Let χ be a character of order of F p f and χ be the restriction of χ to F p f, where f f. If χ is nontrivial on F p f, it holds that p f f 2 ϑ p (χ,χ) where L is a set of representatives for F p f /F p f. x L;Tr p f /p f(x) χ (x), 2.2 Relative Gauss sums In this section, fix an integer >, and let p be a prime such that gcd(p,). Let f be the order of p in (Z/Z) and set q p f. Write ζ e 2πi/ and ζ p e 2πi/p. Define K Q(ζ ), M K(ζ p ) Q(ζ,ζ p ), and let O and O M denote their respective rings of integers. For j (Z/Z), define σ j Gal(M/Q(ζ p )) by σ j (ζ ) ζ j. Let be a prime ideal of O K lying over p. Then, for some prime ideal p of O M such that O M p p and p O K. Write j σ j () and p j σ j (p), and 5

6 then j O M p p j. Let T be a set of representatives of (Z/Z) / p. Then, po K j T j follows, where j are all distinct, and hence po M j T pp j holds. Define the characterχ of order on the finite field O K / by letting χ (α+) denote the unique power of ζ such that χ (α+) α (q )/ (mod ), when α O K \. When α, set χ (α + ) 0. We call χ the Teichmüller character associated to. Now we identify χ with a character of F q. Define θ(,p) t (Z/Z) t σt, called the Sticelberger element, where x is the fractional part of the rational x. Every integer a can be written uniquely in the form n a ip i, where 0 a i < p. We denote by s p (a) the sum of all a i. The following are given in [3, 5]. Lemma 2.6. For any integer a, 0 a < q, we have f p i a s p (a) (p ). q Theorem 2.7. Let be a positive integer. Let p be a prime such that gcd(p,) and f be the order of p in (Z/Z). For a prime ideal p of O M lying over, it holds G f (χ )O M p t T sp(t(q )/)σ t p (p ) f t T tpi / σ t O M. This theorem is nown as the Sticelberger relation. By the relation G f (χ a )G f (χ a ) ±p f, we also have G f (χ )O M p (p )(f t T σt f t T tpi / σ t ). In the rest of this paper, we will assume the following. Let h 2 t p p 2 p l be a positive integer with distinct odd primes p i and p be a prime satisfying the following: For any divisor d 2 s p i p im of h, if p is of index u modulo d, then so does p modulo d 2 s p x i p xm i m for any x i. Let e denotes the index of p modulo h. Let p be an odd prime factor of 2 t p e pe2 2 pe l l and set p. Then, by the assumption, p is again of index e in both of (Z/Z) and (Z/ Z). Set q p f and q p f, where f φ()/e and f φ( )/e. Let O K, O K, O M, O M, O L, O L denotethe respectiveringsofintegersofq(ζ ), Q(ζ ), Q(ζ,ζ p ), Q(ζ,ζ p ), Q(ζ p f ), Q(ζ p f ). Let O K be a prime ideal lying over p and p O M be a prime ideal lying over. Also, let p O M be a prime ideal lying over p and let p O K, so that p O M p and O K. Let T be a set of representatives for (Z/ Z) / p. Then, there is a one to one correspondence between {σ j ()(: j ) j T} and {σ j ()(: j ) j T } such that j j O K, where σ j Gal(Q(ζ p)/q(ζ p )) satisfying σ j (ζ ) ζj. By multiplying O K to both side of po K j T j, together with po K j T j, we have jo K j. Furthermore, by multiplying O M to both side of j O K j, we have jo M j O M p p j, where p j O M is a prime ideal lying over j. On the other hand, since jo M p p j O M, we obtain p j O M p j. Let O L and O L be prime ideals lying over and, respectively. It is nown that O L / {α+ α O K /} and that χ p f (α+) χ (α+) 6

7 for α O K, so that f G f (χ ap ) G f (χ a ). See Exercise - of [3]. Now, we can tae the set {0} {ζ i p f 0 i pf } as representatives for O L / and then χ (ζ i p f +) ζi p f. By the definition of Teichmüller characters, for α (ζ pf +) O K and β (ζ p f + ) O K it holds χ (α i +) χ (ζ p f i p f f p f p f i +) χp (ζ p f + ) p f χ p (ζ p i p f + ) χ p (βi + ), (2.) where α+ and β + are primitive root of the finite fields O K / and O K /. First, we show the following lemma. Lemma 2.8. Let χ and χ be the Teichmüller characters associated to and, respectively. Then, G f (χ ) (ϑ p (χ,χ ) :) p φ()(p ) G f (χ ) is a 2 th or th root of unity according as is odd or not. roof: First of all, we see ϑ p (χ,χ ) Q(ζ ). Note that χ is the restriction of χ to F p f since (ζ pf + ) χ p f (ζ pf +) χ p f by (p f )/ (p f )/(mod p f ). (Thus, in this case, our definition of relative Gauss sums is just the normalizationof Yamamoto srelative Gauss sums.) By Lemma 2.5, ϑ p (χ,χ ) Q(ζ ) follows. ut f φ() e and f φ()p e, and set h 2 t l i p i, where p,p 2,...,p l be all distinct prime factors of and t is the highest power of 2 dividing. It is clear that f tp i f [tp i ], where [a] means the reduction of a modulo. In other words, it is equal to h [tx] hy +[tz] h x p (Z/Z) y0 z p (Z/hZ) ( h )φ(h)/+ [tz] h h z p (Z/hZ) where note that t s modulo h again forms a set of representatives of (Z/hZ) / p. Thus, we have f tp i φ() φ(h) + [tz] h. h z p (Z/hZ) 7

8 Similarly, we obtain f tp i φ( ) φ(h) Hence, by the Sticelberger relation, we obtain G f (χ )O M p (p )((f φ( Furthermore, by noting that po M p, we have + [tz] h. h z p (Z/hZ) ) φ(h) ) t T σt t T ( h z p (Z/hZ) [tz] h)σ t ). G f (χ )O M p (p )((f φ() φ(h) ) t T σt t T ( h z p (Z/hZ) [tz] h)σ t ). SincepO M p (p ) i T σt,itfollowsthatp φ( ) φ() G f (χ )O M G f (χ )O M, i.e.,ϑ p (χ,χ ) is a unit of O M. But, ϑ p (χ,χ ) Q(ζ ), and hence it is a unit of O K. Furthermore, all the conjugates of ϑ p (χ,χ ) in O K have absolute value. Therefore, ϑ p (χ,χ ) is a root of unity in O K, which completes the proof. Lemma 2.9. Let d 2gcd(,p ) or gcd(,p ) according as is odd or even. Then, it holds that ϑ p (χ,χ ) d. roof: Define σ Gal(Q(ζ p,ζ )/Q(ζ p )) by σ(ζ p ) ζ l+p p, where l is the inverse of modulo p. Let ψ and ψ be the respective canonical additive characters of F q and F q. Then, ( ) ( ) Gf (χ ) α F σ σ ψ q (α)χ (α) G f (χ ) β F q ψ(β)χ (β) α F ψ q (( l+p)α)χ l+p (α) β F q ψ(( l+p)β)χ l+p (β) α F ψ q (α)χ p (α) β F q ψ(β)χ p (β) G f (χp ) G f (χ p ) G f (χ ) G f (χ ). Hence, σ(ϑ p (χ,χ )) ϑ p (χ,χ ). On the other hand, in the case when is odd, since ϑ p (χ,χ ) 2 ζ s forsomesbylemma2.8, itfollowsthatσ(ϑ p(χ,χ ) 2 ) ϑ p (χ,χ ) 2( l+p) ϑ p (χ,χ ) 2p, soϑ p (χ,χ ) 2(p ). Togetherwithϑ p (χ,χ ) 2,weobtainϑ p (χ,χ ) 2gcd(,p ). In the case when is even, since ϑ p (χ,χ ) ζ s for some s by Lemma 2.8, it follows that σ(ϑ p (χ,χ )) ϑ p (χ,χ ) l+p ϑ p (χ,χ ) p, so ϑ p (χ,χ ) p. Together with ϑ p (χ,χ ), we obtain ϑ p (χ,χ ) gcd(,p ). The following is our main theorem of this section. Theorem 2.0. If is odd and gcd(,p ), it holds that ϑ p (χ,χ ). roof: ByLemma2.9,wehaveϑ p (χ,χ ) or. Weconsiderthereductionofp φ( ) φ() G f (χ )ϑ p (χ,χ ) modulo λ : ζ p t+, where t is the highest power of p dividing. It is clear that p φ()(p ) (mod λ). Let h : /p t+. Since χ and χ can be written as χ xhχypt+ and χ xh χypt+ for some x and y such that xh+yp t+ (mod ). Then, we have G f (χ ) G f (χ ypt+ )(mod λ) and G f (χ ) G f (χ ypt+ )(mod λ), where both of χ ypt+ and χypt+ are of order h. Now, note that χ ypt p f (ζ i p fp p f p fp +) χypt p f (ζ i p fp p f p fp + ) χ yp t+ p fp p (ζ i p fp + ). 8

9 By the Davenport-Hasse lifting formula, we have G f (χ ypt+ (χypt+ p fp ) G p f p f ) ( )p (G f (χ ypt )) p (mod λ) (G f (χ ypt χ ypt ))p (p )G f (χ ypt+ )(mod λ). Therefore, by noting that χ ypt (p ), we obtain G f (χ ypt+ )(ϑ p (χ,χ ) ) 0(mod λ). If ϑ p (χ,χ ), then λ 2G f (χ ypt+ ). Here, by Lemma 2.5, note that G f (χ ypt+ ) x L;Tr p f /p (x) χ ypt+ (x) Q(ζ ), where L is a set of representatives for F p /F p. By taing norms of λ and 2G f f (χ ypt+ ) in Q(ζ ), we obtain the contradiction that p divides 2p. Next, we treat the case when 2 and gcd( /2,p ). Corollary 2.. Assume that 2, and gcd( /2,p ) gcd(/2,p ). Then, ϑ p (χ,χ ) ( ) (p )(p )φ(h) 4e, where h is the product of all distinct odd prime factors of. roof: Let U Q(ζ 2), U Q(ζ 2 ), O U, and O U. Then, ϑ p (χ,χ ) by Theorem 2.4. Noting that G f (χ 2 f ) G f (χ 2p ) G f (χ ) and we have ϑ p (χ,χ ) G f (χ 2 ) G f (χ2p G f (χ ) f p φ( ) φ() G f (χ ) ) G f (χ ), χ 2 (2)G f (χ2 )G f (χ η )G f (η) p φ( ) φ() χ 2 (2)G f(χ 2 )G f(χ η)g f (η ) χ 2 (2)G f (χ )G f (χ (+ /2)/2 )G f (η) p φ( ) φ() χ 2 (2)G f(χ )G f (χ (+/2)/2 )G f (η ) where η and η are the respective quadratic characters of F q and F q. Since the restrictions of χ 2 and χ 2 to F p are trivial, we have χ 2 (2) χ2 (2). Furthermore, since ϑ p(χ,χ ), we have G f (χ )/G f (χ ) p (φ( ) φ())/. Now, note that ( + /2)/2 h(s (p )/4h)+ [gp m ] h (Z/ 2 Z) if ( + /2)/2 hs + [gp m ] h (Z/ 2 Z) for some g in a set of representatives of (Z/hZ) / p and 0 s /2h. Hence, by Theorem 2.0 and our assumption, we have G f (χ (+ /2)/2 )/G f (χ (+/2)/2 ) p (φ( ) φ())/. Finally, by the Davenport-Hasse lifting formula and Lemma 2., we have which shows the assertion. G f (η ) G f (η) ( )p (G f (η)) p ( ) (p )(p )φ(h) 4e p φ( ) φ(), 9

10 Remar 2.2. Let ǫ denote ( ) (p )(p )φ(h) 4e or according as 2 and gcd( /2,p ) or 2 and gcd(,p ). By Theorem 2.4 and Corollary 2., for any a s.t. gcd(a, ) it is clear that ϑ p (χ a,χa ) ǫ since σ(ϑ p (χ,χ )) ϑ p (χ a,χa ) and σ(ǫ) ǫ for σ Gal(Q(ζ p)/q(ζ p )) satisfying σ(ζ ) ζ a. Corollary 2.3. Assume that is odd and gcd(,p ). Then, it holds that ϑ p (χ t,χt ) for any t such that p s t, where s is the highest power of p dividing. roof: ut t a gcd(t,) with gcd(a,). Let r and r be the order of p modulo /gcd(t, )(: u ) and modulo /gcd(t,)(: u). Then, by our assumption, r rp and u up follow. Write J Q(ζ u ),J Q(ζ u ),H Q(ζ p r ),H Q(ζ p r ) and R O J,R O J,R O H,R O H. Then, we have r χ ap u R (ζ i pf p r p f +R) χap f u (ζp i f +) χp f t (ζ i p f +) and hence χ p f r t is the lift of χ ap u R to F p f. Similarly, χ p by the Davenport-Hasse lifting formula, we have ϑ p (χ t,χt ) G f (χ t ) p φ( ) φ() G f (χ t ) f t is the lift of χap G f (χ p p φ( ) φ() r ( ) f /r (G r (χ ap u R )) f /r ( ) f/r p φ( ) φ() p φ( ) φ() Applying Theorem 2.0, the above is equal to which completes the proof. p φ( ) φ() ( Gr (χ a R ) G r (χ a R ) (G r (χ a pr u R ) f/r. (p r r 2 ϑ p (χ R,χ R )) f/r, f t ) t ) G f (χ pf )) f/r r u R to F pf. Now, 3 Constructions of strongly regular graphs and sew Hadamard difference sets 3. General construction We first recall the following well-nown lemma in the theory of difference sets (see e.g., [20, 26]). Lemma 3.. Let (G,+) be an abelian group of odd order v, D a subset of G of size v 2. Assume that D D and 0 D. Then, D is a sew Hadamard difference set in G if and only if χ(d) ± v 2 for all nontrivial characters χ of G. On the other hand, assume that 0 D and D D. Then D is a aley type partial difference set in G if and only if for all nontrivial characters χ of G. χ(d) ± v 2 0

11 Let q be a prime power and let C (,q) i γ i γ, 0 i, be the cyclotomic classes of order of F q, where γ is a fixed primitive element of F q. From now on, we will assume that D is a union of cyclotomic classes of order of F q. In order to chec whether a candidate subset, D i I C(,q) i, is a connection set of a strongly regular Cayley graph (i.e., a regular partial difference set), we will compute the sums ψ(ad) : x D ψ(ax) for all a F q, where ψ is the canonical additive character of F q, since the restricted eigenvalues of Cayley graph Cay(F q,d), as explained in [5, p. 34], are ψ(γ a D), where a 0,,...,q 2. Similarly, to chec whether D is a sew Hadamard difference set in (F q,+), we will compute the sums ψ(ad) for all a F q because of Lemma 3.. Thus, by Theorem. and Lemma 3., in both cases we need to show that the set {ψ(γ a D) a 0,,...,q 2} has precisely two elements. Note that the sum ψ(ad) can be expressed as a linear combination of Gauss sums using the orthogonality of characters: ψ(ad) ψ(aγ i x ) i I x F q i I x F q (q ) (q ) χ C 0 q i I x F q χ F q i I χ F q G(χ ) i I y Fqψ(y) χ F q χ(aγ i x )χ(y) G(χ )χ(aγ i x ) G(χ )χ(aγ i ) x F q χ(aγ i ), χ(x ) where F q is the group of multiplicative characters of F q and C 0 is the subgroup of F q consisting of all χ which are trivial on C (,q) 0. Inthissection, similartosection2, wewillassumethefollowing. Leth 2 t p p 2 p l be apositive integer with distinct odd primes p i and let p be a prime satisfying the following: For any divisor d 2 s p i p im of h, if p is of index u modulo d, then so does p modulo d 2 s p x i p xm i m for any x i. Let e denotes the index of p modulo h. We write l i 2t p ei i and p. Theorem 3.2. Let q p f and q p f, where f φ()/e and f φ( )/e, and let J {x x divides and x is not divisible by p e } N. Let J and J 2 be a partition of J into two parts and let I be a subset of {0,,..., } satisfying the following conditions: (i) i I ζij 0 for all j J. (ii) θ p (χ j,χj ) ǫ for all j J 2, where ǫ or not depending on j. (iii) If l 2 or t, for all v /p e. G f (χ pe + v ) ǫpφ( ) φ() v ) G f (χ pe Let D i I C (,q) i and D i I p j0 C (p,q ) ip +j/p e.

12 Assume that the size of the set {ψ(γ a D) a 0,,...,q 2} is exactly two, where γ is a primitive root of F q and ψ is the canonical additive character of F q. Then, the size of the set {ψ (ω a D ) a 0,,...,q 2} is exactly two, where ω is a primitive root of F q and ψ is the canonical additive character of F q. roof: In this proof, without loss of generality, we assume that the primitive roots γ and ω have the forms γ α + O K / and ω β + O K / for α and β of (2.). Then, χ u ) χ u (ωp (γ) follows. To prove the theorem, it is sufficient to evaluate the sum p ψ (ω a D ) p u0 G f (χ u ) i I p j0 χ u (ωa+ip+j/pe ), where a 0,,..., and ψ is the canonical additive character of F q. For u 0, we have G f (χ 0 ) i I p j0 For u p e v with v 0(mod p ), we have G f (χ pe χ 0 (ωa+ip+j/pe ) p I. p v ) i I j0 If l 2 or t, for u p e+ v with v 0, we have G f (χ pe + p v ) i I j0 χ pe + v (ωa+ip+j/pe χ pe v (ωa+ip+j/pe ) 0. (3.) v ) i I ) p G f (χ pe + χ pe + v (ωa+ip+j/pe ) for any j. Note that for each a {0,,..., }, there is a unique j {0,,...,p } such that p a+j/p e ; we write a+j/pe p j a. Then, the above is equal to v ) i I p G f (χ pe + χ pe + v (ωp(ja+i) ). (3.2) Furthermore, since χ u (ωp(ja+i) ) χ u (γja+i ), by the assumption (iii), eq. (3.2) is rewritten as ǫp p φ( ) φ() G f (χ pe v ) i I χ pe v (γ ja+i ). (3.3) Forthe remainingcases,wecanassumethatp e u, andwriteu v +v 2 forsome0 v p and 0 v 2. Then, since G f (χ v+v2 ) G f (χv +v2 ) for 0 v,v p, we have p v 0 v 2 p v 2 p G f (χ v v2 ) i I p j0 G f (χ v2 ) χ v2 (ωp(ja+i) ) i I v 2;gcd(v 2,) J 2 G f (χ v2 ) i I χ v+v2 (ωa+ip+j/pe ) χ v2 (ωp(ja+i) ). 2

13 By our assumption that G f (χ v2 the above is equal to ǫp p φ( ) φ() ) ǫpφ( ) φ() v 2;gcd(v 2,) J 2 G f (χ v2 ) i I Finally, together with eq. (3.) and (3.3), we obtain p ψ (ω a D )+p I ǫp p φ( ) φ() Now, by the assumption that the size of the set G f (χ v2 ) and by χv2 (ωp(ja+i) ) χ v2 (γja+i ), v 2 {ψ(γ a D) a 0,,..., } χ v2 (γja+i ). G f (χ l2 ) χ l2 (γja+i ). i I isexactlytwo, weobtaintheassertion. Inparticular,thetwovaluesin{ψ (ω a D ) a 0,,...,q 2} are given as (ǫp p φ()(p ) (s+ I ) p I ) ǫp φ()(p ) p where s ψ(γ a D) for some a. s+ I (ǫpφ()(p ) ), (3.4) 3.2 Strongly regular graphs In this subsection, we write l i pei i, where p i are distinct odd primes and assume that p is a prime such that ord (p) φ()/e. Furthermore, assume that p is again of index e modulo (: p ) and gcd(,p ). Theorem 3.3. Let h p p m p m+ p l with all distinct odd primes p i and [(Z/hZ) : p ] e. Furthermore, Let p e pem m p em+ m+ pe l l, where e i for i m and e i for m+ i l, and assume that p is again of index e modulo. Let q p d and q p f, where d φ(h)/e and f φ()/e. ut h j i j p i for j m. Assume that there exists an integer s j s.t. p sj (mod h j ) for j m. Let D : p e i 0 pm em i m0 C (,q) i n + +i mn m, where n j i j pei i. If Cay(F q,c (h,q) 0 ) is an srg, then so does Cay(F q,d). roof: We will show by induction. Write D p e i 0 p em m C (,q) i n + +i mn m i m0 and assume the size of the set {ψ(γ a D) a 0,,...,q 2} is exactly two. We put I p e i 0 p em m i m0 {i n + +i m n m } in Theorem 3.2. Let J be the set of positive divisors of not divisible by p e, J {x i, i m, s.t. p r i x, where r e i } J, 3

14 and J 2 J \J. Then, by the definition of I, it is clear that i I ζij 0 for all j J. Furthermore, since the assumption p s (mod h ) implies that p is semi-primitive modulo n, by Theorems 2.2, for u p e+ v we have G f (χ pe + v ) pφ( ) φ() G f (χ pe v ). Moreover, by Corollary 2.3, we have for any a J 2 G f (χ a ) ) φ() pφ( G f (χ a ). Thus, the assumptions (i), (ii), and (iii) of Theorem 3.2 are satisfied. Now, by applying Theorem 3.2, the size of the set {ψ (γ a D ) a 0,,...,q 2} is exactly two, where D p j0 p e i 0 p e p e 2 2 i 20 pm em C (p,q ) p (i n + +i mn m)+jn i m0 p em m C (p,q ) in +i 2n 2+ +i mn m i m0 with n i n i p. Example 3.4. (i) If l in Theorem 3.3, we do not need the condition that there exists an integer s j s.t. p sj (mod h j ). Hence, assuming that [(Z/p Z) : p ] [(Z/p e Z) : p ] e, if Cay(F p φ(p )/e,c (p,pφ(p )/e ) 0 ) forms an srg, then so does Cay(F p φ(p e )/e,d), where D p e C (pe,p φ(pe )/e ) i. It is easy to see by induction that ord e p (p) φ(p e )/e for general e and for all pairs ( p,p) of No., 2, 4, 5, 6, 7, 9, and in Table. Thus, all these srgs can be generalized into infinite families. Note that there are a lot of examples in subfield case satisfying [(Z/p Z) : p ] e and p pφ(p )/e p t for some t φ(p )/e. For example, we list ten examples satisfying these conditions in Table 2. These examples can be similarly generalized into nontrivial infinite families. (ii) If l 2, in Theorem 3.3, we need the condition that there exists an integer s i s.t. p si (mod p i ) for either of i,2. Hence, assuming that p is semi-primitive modulo both of p and p 2, and [(Z/p p 2 Z) : p ] [(Z/p e pe2 2 Z) : p ] e, if Cay(F p φ(p p 2 )/e,c (pp2,pφ(p p 2 )/e ) 0 ) forms an srg, then so does Cay(F p φ(p e p e 2 2 )/e,d), where D p e p e 2 2 C (pe p e 2 2,p φ(pe p e 2 )/e 2 ) i p e 2 2 +i 2p e. j0 It is easy to see by induction that ord p e p e 2 2 (p) φ(p e pe2 2 )/e for any e,e 2 and for pairs ( p p 2,p) of No. 3 and 0 in Table. Thus, these srgs can be generalized into infinite families. On the other hand, if p is semi-primitive modulo either one of p or p 2, say p 2, 4

15 Table 2: Subfield examples of l led to infinite families p p f e : [(Z/Z) : p ] then Cay(F p φ(p e p 2 )/e,d) forms an srg under the assumption that [(Z/p e p 2Z) : p ] e, where D p e C (pe p 2,p φ(pe p 2 )/e ) i p 2. It is easy to see by induction that ord e p p 2 (p) φ(p e p 2)/e for any e and p is semi-primitive modulo p 2 for the triple (p,p 2,p) (9,7,5) of No. 8 in Table. Thus, this srg can be generalized into infinite families. Moreover, we can find some examples in subfield case satisfying [(Z/p p 2 Z) : p ] e and p p 2 pφ(p p 2 )/e p t for some t φ(p p 2 )/e. For example, we list four examples satisfying these conditions in Table 3. In the sixth column sp of the Table 3: Subfield examples of l 2 led to infinite families p p 2 p f e : [(Z/Z) : p ] sp b b o o table, b indicates that p is semi-primitive modulo both of p and p 2, and o indicates that p is semi-primitive modulo p 2 only. These examples can be generalized into nontrivial infinite families. 3.3 Sew Hadamard difference sets In this subsection, we write 2p e, where p is an odd prime and assume that p is a prime such that ord (p) φ()/e. Furthermore, assume that p is again of index e modulo (: p ) and gcd( /2,p ). Theorem 3.5. Let h 2p with an odd prime p and let p be a prime such that p is of index e modulo h. Furthermore, let 2p e and assume that p is again of index e modulo. ut q p d and q p f, where d φ(h)/e and f φ()/e. Define H as any subset of {0,,...,h } such that i H ζi p 0. Let D i H p e C (h,q) i and D 5 i 0 i H C (,q) 2i +i/h.

16 If D is a sew Hadamard difference set or a aley type regular partial difference set on F q, then so does D on F q. roof: We will show by induction. Write D p e i 0 i H C (,q) 2i +i/h and assume that the size of the set {ψ(γ a D) a 0,,...,q 2} is exactly two, which are ± τq 2, whereτ or accordingasd isaaleytype regularpartialdifference set orasewhadamard difference set. Now, we put in Theorem 3.2. Let I p e i 0 {2i +i/h} i H J 2 {} J {,p,...,p e } 2{,p,...,p e } and J J \ J 2. Then, by the definition of I, it is clear that i I ζij 0 for all j J. By Lemma 2., we have G f (χ /2 Furthermore, by Corollary 2., we have )φ(h) ) ( )(p )(p 4e p φ( ) φ() G f (χ /2 ). G f (χ ) ( ) (p )(p )φ(h) 4e p φ( ) φ() G f (χ ). Thus, the assumptions (i), (ii), and (iii) of Theorem 3.2 are satisfied. Now, by applying Theorem 3.2, the size of the set {ψ (γ a D ) a 0,,...,q 2} is exactly two, where D p j0 p e p e i 0 i H i 0 i H C (,q) (2i +i/h)p +j/p e C (,q) 2i +i /h. In particular, by eq. (3.4), the two values in {ψ (γ a D ) a 0,,...,q 2} are ( ǫp φ()(p ) ± ) ) τp (ǫp f + φ()(p ) 2 2 ±ǫ τp f, 2 which completes the proof. Example 3.6. In [], several examples satisfying the condition of Theorem 3.5 were found from index 2 case, which were generalized into infinite families using Gauss sums of index 2. We can find by computer further two examples having the following parameters from index 4 case: (p,p,f,e) (3,3,3,4) and (29,7,7,4). In particular, the latter example was found by Tao Feng [2]. We choose H in Theorem 3.5 as H Q 2Q {p } for the former parameter and choose H Q 2Q {0} for the latter parameter, where Q is the subgroup of index 2 of (Z/2p Z). It is easy to chec that these H satisfies the condition of Theorem 3.5 and p is of index 4 in (Z/2p e Z) for general e. Hence, these examples can be generalized into infinite families. 6

17 4 Final remars We close this paper by referring the reader to the interesting paper [27] by Wu. Immediately after writing up this manuscript, the author became aware that Wu [27] obtained a nice result on the existence problem of cyclotomic srgs. In our paper, cyclotomic constructions of strongly regular Cayley graphs and sew Hadamard difference sets on F q were given. For example, we proved the following result (which follows from the more general theorem 3.3): For an odd prime p, assume that (i) gcd(p(p ),p ) (ii) p is of index e modulo p (iii) Cay(F p (p )/e,c (p(p )/e,p ) 0 ) is strongly regular. Then, if p is of m C (pp (p )/e,p m ) i index e modulo p m, Γ Cay(F, p m p pm (p ) is also strongly regular. )/e Since there are a lot of subfield or sporadic examples satisfying the assumption of this result, we consequently obtain many new infinite families of strongly regular Cayley graphs. This result can be viewed as a recursive construction of srgs not saying anything about the existence of starting srgs. On the other hand, Wu [27] gave necessary and sufficient conditions for Γ to be an srg by generalizing the method used in the paper of Ge, Xiang, and Yuan [3]. Although it seems that the assumptions of our main result are simpler and the situation is definitely much more general than that of [27], the approach in [27] is obviously different from ours and his results are not completely included in ours. In fact, Wu [27] obtained two conditions (one is an equation and the other is a congruence) which are necessary and sufficient for the construction to give rise to an srg, and his approach has the advantage of revealing an interesting connection between strongly regular Cayley graphs Cay(F p (p )/e,c (p(p )/e,p ) 0 ) and cyclic difference sets in (Z/p Z,+), which will be very effective to get some new cyclic difference sets and also a strong necessary condition for the existence of cyclotomic srgs. Acnowledgements The wor of K. Momihara was supported by JSS under Grant-in-Aid for Research Activity start-up References [] L. D. Baumert, J. Myeltveit, Weight distributions of some irreducible cyclic codes, DSN rogr. Rep., 6 (973), [2] L. D. Baumert, W. H. Mills, R. L. Ward, Uniform cyclotomy, J. Number Theory, 4 (982), [3] B. Berndt, R. Evans, K. S. Williams, Gauss and Jacobi Sums, Wiley, 997. [4] T. Beth, D. Jungnicel, H. Lenz, Design Theory. Vol. I. Second edition. Encyclopedia of Mathematics and its Applications, 78. Cambridge University ress, Cambridge, 999. [5] A. E. Brouwer, W. H. Haemers, Spectra of Graphs, course notes, available at aeb/math/ipm.pdf [6] A. E. Brouwer, R. M. Wilson, Q. Xiang, Cyclotomy and strongly regular graphs, J. Alg. Combin., 0 (999),

18 [7] R. Calderban, W. M. Kantor, The geometry of two-weight codes, Bull. London Math. Soc., 8 (986), [8] K. Q. Feng, J. Yang, S. X. Luo, Gauss sums of index 4: () cyclic case, Acta Math. Sin. (Engl. Ser.), 2 (2005), [9] T. Feng, Q. Xiang, Strongly regular graphs from union of cyclotomic classes, to appear in J. Combin. Theory (B). [0] T. Feng, Q. Xiang, Cyclotomic constructions of sew Hadamard difference sets, J. Combin. Theory (A), 9 (202), [] T. Feng, K. Momihara, Q. Xiang, Constructions of strongly regular Cayley graphs and sew Hadamard difference sets from cyclotomic classes, ArXiv: [2] T. Feng, rivate communication. [3] G. Ge, Q. Xiang, T. Yuan, Construction of strongly regular Cayley graphs using index four Gauss sums, ArXiv: [4] T. Iuta, A. Munemasa, seudocyclic association schemes and strongly regular graphs, Europ. J. Combin., 3 (200), [5] K. Ireland, M. Rosen, A Classical Introduction to Modern Number Theory, 2nd ed., Graduate Texts in Mathematics 84, [6]. Langevin, Calcus de certaines sommes de Gauss, 990. J. Number Theory, 63 (997), [7] C. L. M. de Lange, Some new cyclotomic strongly regular graphs, J. Alg. Combin., 4 (995), [8] R. Lidl, H. Niederreiter, Finite Fields, Cambridge Univ. ress, 997. [9] J. H. van Lint, A. Schrijver, Construction of strongly regular graphs, two-weight codes and partial geometries by finite fields, Combinatorica, (98), [20] S. L. Ma, A survey of partial difference sets, Des. Codes Cryptogr., 4 (994), [2] O. D. Mbodj, Quadratic Gauss sums, Finite Fields Appl., 4 (998), [22] R. J. McEliece, Irreducible cyclic codes and Gauss sums, in Combinatorics, pp (roc. NATO Advanced Study Inst., Breuelen, 974; M. Hall, Jr. and J. H. van Lint (Eds.)), art, Math. Centre Tracts, Vol. 55, Math. Centrum, Amsterdam, 974. Republished by Reidel, Dordrecht, 975 (pp ). [23]. Meijer, M. van der Vlugt, The evaluation of Gauss sums for characters of 2-power order, J. Number Theory, 00 (2003), [24] B. Schmidt, C. White, All two-weight irreducible cyclic codes, Finite Fields Appl., 8 (2002), [25] T. Storer, Cyclotomy and Difference Sets, Lectures in Advanced Mathematics, Marham ublishing Company, 967. [26] R. J. Turyn, Character sums and difference sets, acific J. Math., 5 (965), [27] F. Wu, Constructions of strongly regular graphs using even index Gauss sums, preprint. [28] K. Yamamoto, On congruences arising from relative Gauss sums, in: Number Theory and Combinatorics, Japan, 984, World Scientific ub., 985, pp

19 [29] J. Yang, S. X. Luo, K. Q. Feng, Gauss sums of index 4: () non-cyclic case, Acta Math. Sin. (Engl. Ser.), 22 (2006), [30] J. Yang, L. Xia, Complete solving of explicit evaluation of Gauss sums in the index 2 case, Sci. China Ser. A, 53 (200), [3] J. Yang, L. Xia, A note on the sign (unit root) ambiguities of Gauss sums in the index 2 and 4 case, ArXiv: v. 9