arxiv: v2 [math.co] 3 Dec 2010

Transcription

1 Four-class Skew-symmetric Association Schemes Jianmin Ma a, Kaishun Wang b, a Oxford College of Emory University, Oxford, GA 3005, USA b Sch Math Sci& Lab Math Com Sys, Beijing Normal University, Beijing 00875, China arxiv:0907v [mathco] 3 Dec 00 Abstract An association scheme is called skew-symmetric if it has no symmetric adjacency relations other than the diagonal one In this paper, we investigate -class skew-symmetric association schemes In recent work by the first author it was discovered that their character tables fall into three types We now determine their intersection matrices We then determine the character tables for - class skew-symmetric pseudocyclic association schemes, the only known examples of which are cyclotomic schemes As a result, we answer a question raised by SY Song in 996 We characterize and classify -class imprimitive skew-symmetric association schemes We also prove that none of -class Johnson schemes admits a -class skew-symmetric fission scheme Based on three types of character tables above, a short list of feasible parameters is generated Keywords: association scheme, fusion scheme, fission scheme, skew-symmetric scheme, cyclotomic scheme, pseudocyclic scheme 009 MSC: 05E30, T Introduction A d-class association scheme X is a pair (X,{R i } d i0 ), where X is a finite set, and each R i is a nonempty subset of X X satisfying following axioms: (i) R 0 {(x, x) x X} is the diagonal relation; (ii) X X R 0 R R d, R i R j (i j); (iii) for each i, R T i R i for some 0 i d, where R T i{(y, x) (x, y) R i }; (iv) there exists integers p k i j such that for all (x, y) R k and all i, j, k, p k i j {z X (x, z) R i, (z, y) R j } X is also called an association scheme with d classes (a d-class association scheme, or even simply a scheme) The subsets R i are called the adjacency relations of X The integers p k i j are called the intersection numbers of X, and k i ( p 0 ii ) is called the valency of R i Furthermore, X is called commutative if p k i j pk ji for all i, j, k; X is called symmetric if R i T R i for all i Corresponding author addresses: JianminMa@emoryedu (Jianmin Ma), wangks@bnueducn (Kaishun Wang) Preprint submitted to Elsevier November 3, 08

2 In the rest of this paper, all association schemes are assumed to be commutative By a theorem of Higman [0], association schemes with at most four classes are commutative We refer readers to Bannai and Ito s book [] for the general theory of association schemes LetX(X,{R i } d i0 ) be a commutative association scheme with X n The adjacency matrix A i of R i is the n n matrix whose (x, y)-entry is if (x, y) R i and 0 otherwise By the adjacency or Bose-Mesner algebraaof X we mean the algebra generated by A 0,, A d over the complex field Axioms (i)-(iv) are equivalent to the following: A 0 I, d A i J, A T i A i, A i A j i0 d p k i j A k, i0 where I and J are the identity and all-one matrices of order n, respectively Since A consists of commuting normal matrices, it has a second basis consisting of primitive idempotents E 0 J/n,, E d Let E i E j n d q k i j E k, where is the Hadamard (entry-wise) product The coefficients q k i j are called the Krein numbers of X The Krein condition asserts that all q k i j are nonnegative reals [, Theorem II38] The integers m i ranke i are called the multiplicities of X In particular, m 0 is said to be trivial If m m d, X is called pseudocyclic A pseudocyclic scheme is equivalenced, ie, all non-diagonal relations have the same valency (see [, p8] and references there) For i0,,, d, let d A i p ji E j The following (d+ ) (d+ ) matrices is called the character table ofx: P p ji j0 k0, j, i d Both intersection numbers p k i j and Krein numbers qk i j can be calculated from P [, Section II3]: p l i j d m h p hi p h j p nk hl, q l i j m im j d p ih p jh p l n lh, () h0 k h0 h where p hl is the complex conjugate of p hl For i0,,, d, the i-th intersection matrix B i is defined to be the (d+) (d+) matrix whose ( j, k) entry is p k i j The character table P determines matrices B i, and vice versa One way to construct new association schemes is by merging or splitting relations in an existing scheme More precisely, a partitionλ 0,Λ,,Λ e of the index set{0,,, d} is said to be admissible [] ifλ 0 {0},Λ i andλ i Λ j for some j ( i, j e), where Λ i {α α Λ i } Let R Λi α Λi R α If Y(X,{R Λi } e i0 ) becomes an association scheme,

3 it is called a fusion scheme of X, while X is called a fission scheme of Y If every admissible partition gives rise to a fusion scheme,xis called amorphous [] In [], Bannai and Song raised a question regarding the existence of -class amorphous association schemes with the diagonal relation being the only symmetric adjacency relation We showed the nonexistence of such schemes in [7], and this implies the nonexistence of amorphous association schemes with at least classes with this property These results bring our attention to what we call skew-symmetric association schemes, ie, association schemes with no symmetric adjacency relations other than the diagonal one In [7], -class skew-symmetric schemes are classified by their character tables, which fall into three types In this paper, we investigate -class skew-symmetric association schemes The balance of this paper is structured as follows We first determine the intersection matrices of -class skew-symmetric association schemes (see Section ) We then determine the character tables for -class skew-symmetric pseudocyclic association schemes As a result, we answer a question raised by Song [] about cyclotomic schemes (see Section 3) In Section, we classify -class imprimitive skew-symmetric association schemes In Section 5, we generate a short list of feasible parameters We conclude with some remarks in Section 6 We conclude this section by briefly mentioning the status of association schemes with up to classes Two-class skew-symmetric association schemes are regular tournaments Two-class symmetric association schemes (or equivalently, strong regular graphs) have been widely studied [, 6] There are a few papers about 3-class symmetric association schemes [8, 7] Three-class nonsymmetric schemes have been investigated by Song [, ], Goldbach and Claasen [8, 9] and Jørgensen [3] Though it is relatively easy to characterize the parameter sets of 3-class nonsymmetric schemes, it is much hard to construct primitive examples [3] Nonetheless, some families of 3-class non-symmetric schemes were constructed on Galois rings in characteristic [5, 6] In [], Song initiated the study of -class skew-symmetric association schemes Character tables and Intersection matrices LetX(X,{R 0, R, R, R T, RT }) be a skew-symmetric association scheme So the symmetrization X ofxis a -class symmetric scheme, where X(X,{R 0, R R T, R R T }) The concept of a strong regular graph is essentially the same as that of a -class symmetric association scheme A regular graph (X, R), with n vertices and valency k, is called strongly regular if any pair of adjacent vertices have λ common neighbors, and any two distinct nonadjacent vertices have µ common neighbors We say this is an (n, k, λ, µ)-strongly regular graph It is easy to verify thatx(x,{r 0, R, R}) is a symmetric association scheme, where (X, R) is the complement (graph) of (X, R) The parameters n, k, λ, µ of (X, R) determine those of X The following result has been proved in [7] Theorem Let X(X,{R 0, R, R, R T, RT }) be a skew-symmetric association scheme and let X(X,{R 0, R R T, R R T }) be the symmetrization ofx Let k k P r t m s u m be the character table of X, where, m and m are the multiplicities of the corresponding row entries (eigenvalues) The entries of P and the multiplicities m i can be calculated from the 3

4 parameters (n, k,λ,µ) of the strongly regular graph (X, R R T ), where k k With a possible rearrangement of rows and columns, the character table of X has the following form: P k / k / k / k / ρ τ τ ρ σ ω ω σ σ ω ω σ ρ τ τ ρ m / m / m / m / The entriesρ,ω,τ, andσare one of the three cases: (i)ρr/,σ(s+ b)/,τ(t+ z)/,ωu/, where bnk /m, znk /m (ii)ρ ( r+ y ) /,σ s/,τt/,ω ( u+ c ) /, where ynk /m, cnk /m (iii)ρ(r+ y)/,τ(t+ z)/,σ(s+ b)/,ω(u c)/, where all of b, c, y, z are positive and satisfy the following equations: m y+m bnk, m z+m cnk, m yz m bc0 If any of y, z, b, c is taken to be a free variable, the remaining variables can be solved Let z be the free variable We have b m zk, y k (nk m z), c nk m z k m k m m We denote by P I, P II and P III the three character tables in the above theorem, and refer them as type I, II, and III, respectively For a skew-symmetric association scheme X (X,{R 0, R, R, R T, RT }), the intersection matrices B and B determine B 3 and B For typographic convenience, we display only the principal part B (0) i of an intersection matrix B i, ie, the lower-right by submatrix Theorem With the notation in Theorem Suppose that the strongly regular graph (X, R R T ) has parameters n, k,λ,µ Let kk and k n k (i) For Theorem (i), we have B (0) B (0) λ+s k λ +u k λ +u λ+s k λ +u k (k µ r) k k (k µ+r) k k λ u k(k λ u) k k µ+r k µ r k(k λ +u) k k µ+r (n k+µ )+t (n k+µ )+t k µ+r k(k λ u) k k µ r k µ+r k(k λ +u) k k µ r (n k+µ ) 3t (n k+µ )+t k µ r λ 3s k λ u k λ u λ+s k λ u k (k µ r) k k (k µ+r) k k λ +u,

5 (ii) For Theorem (ii), B (0) B (0) k λ +t λ+r k λ +t k λ +t λ+r k (k µ s) k k (k µ+s) k k λ t (iii) For Theorem (iii), we have where B (0) B (0) nkλ+π nk nk µ nk Π nk nk µ nk Π nk nkλ+π nk nk µ nk Π nk nk(n k+λ) Γ Φ nk nk(n k+λ)+γ nk nk+nk µ+π+φ nk k(k λ t) k k µ+s k µ s k(k λ +t) k k µ+s (n k+µ )+u (n k+µ )+u k µ+s nk µ+nk+φ+π nk nk(n k+λ)+γ nk nk(n k+λ) Γ Φ nk nk µ nk Π nk nk(n k+λ)+γ nk k(k λ t) k k µ s k µ+s k(k λ +t) k k µ s (n k+µ ) 3u (n k+µ )+u k µ s nk µ+nk Φ+Π nk nk(n k+λ) Γ+Φ nk nk(n k+λ)+γ nk nk µ nk Π nk λ 3r k λ t k λ t λ+r nk(n k+λ) Γ+Φ nk nk (n k+µ) Γ 3nk nk nk (n k+µ)+nk +3Γ nk nk (n k+µ) Γ 3nk nk nk (n k+µ) Γ 3nk nk nk(n k+λ)+γ nk nk(n k+λ) Γ Φ nk, k λ t k (k µ s) k k (k µ+s) k k λ +t nkλ 3Π nk nk+nk µ Φ+Π nk nk+nk µ+π+φ nk nkλ+π nk, nk+nk µ Φ+Π nk nk(n k+λ)+φ Γ nk nk(n k+λ)+γ nk nk µ nk Π nk Γm rz+m sc, Φm r yz m s bc, Πm ry+m bs, Proof We now calculate the intersection number p in (i) as an example By Eq () and Theorem (i), we can obtain the (,)-entry p of B(0) : p k 3 + m r 3 + s 3 m + nsk nk Let à 0, Ã, à and Ẽ 0, Ẽ, Ẽ be the adjacency matrices and primitive idempotents of X in Theorem Then à k Ẽ 0 + rẽ + sẽ and thus à 3 k3 Ẽ0+ r 3 Ẽ + s 3 Ẽ under the usual matrix multiplication Take the trace of both sides of this identity: trace(k 3 Ẽ0+ r 3 Ẽ + s 3 Ẽ )k 3 + m r 3 + m s 3, trace(ã 3 )sum of all entries of (à à ) Since à k Ã0+λà +µã, à à λã Hence, trace(ã 3 )nk λ and thus k 3+m r 3 +m s 3 nk λ So p (λ+ s)/ The other intersection numbers can be obtained in a similar way 5

6 Since the character tables P I and P II are completely determined by P, we can check the parameter set (n, k, λ, µ) of a strongly regular graph for possible fissions Furthermore, that intersection numbers are nonnegative integers put some arithmetic restrictions on the parameters n, k,λ,µ Note the intersection matrices in Theorem (ii) can be obtained from those in (i) by switching r and s, and t and u Therefore, we will state these restrictions for the case (i) Corollary 3 For Theorem (i), the following hold: (i) r, s and hence t, u must be integers; (ii)λ+ s 0mod ; (iii) k(k λ +u) 0mod k ; (iv) k (k µ r) 0mod k; 3 Pseudocyclicity A d-class association scheme is called pseudocyclic if all the nontrivial multiplicities coincide Let GF(q) be a finite field with q elements, andαbe a primitive element of GF(q) For a fixed divisor d of q, define (x, y) R i if x y α i α d, i d These relations R i define a pseudocyclic association scheme We denote it by Cyc(q, d), called the d-class cyclotomic scheme over GF(q) The scheme Cyc(q, d) is symmetric if and only if (q )/d is even or q is a power of The intersection numbers of Cyc(q, d) are given by cyclotomic numbers of order d (for example, see [3, Chapter ] for cyclotomy) The intersection number p k i j is the number of nonzero elements z GF(q) such (x, z) R i and (z, y) R j for any (x, y) R k, which can be reduced to the number of solutions s inα j i α d such that + s is inα k i α d The latter is the cyclotomic number ( j i, k i) It is not difficult to prove the follow result Lemma 3 Let q p b a power of prime p Then Cyc(q, ) is a skew-symmetric scheme if and only if q 5mod 8 and b is odd The following result is due to Song [, Lemma 33] Lemma 3 Suppose that P is the character table of a -class skew-symmetric scheme whose symmetrization is Cyc(q, ) for q 5 mod 8 Then P has the following form: P f f f f ρ ρ τ τ ρ ρ τ τ τ τ ρ ρ τ τ ρ ρ f f f f f (q ) ρ+ ρ, where ( ) ( + q) τ+ τ ( q) ρ ρ+τ τ 8 (3q+) Song [] gave two solutions for the system ( ) and he also raised the following questions: Question Is there any other solution for the system ( ) that yields a feasible fission table P for given P (from the symmetrization of P), for a large prime power q 5 mod 8? 6

7 Question Are there any other two-class primitive schemes (strongly regular graphs) that admit symmetrizable fission schemes besides Cyc(q, ) (Paley graph) for q 5 mod 8? In the rest of this section, we will investigate these questions For q mod, the Paley graph P(q) has as vertex set GF(q), with two vertices being adjacent if their difference is a nonzero square in GF(q) This graph gives rise to a strongly regular graph with m m (q )/ A strongly regular graph with m m is called a conference graph Therefore, all Paley graphs are conference graphs But the converse is not true; there are conference graphs that are not Paley graphs A conference graph on q vertices, denoted by C(q), has parameters k(q )/,λ(q 5)/ andµ(q )/ (q is not required to be a prime power) When there is no danger of confusion, we also use P(q) and C(q) for the -class schemes from the Paley graph P(q) and the conference graph C(q), respectively For C(q), we determine the character tables of its -class skew-symmetric fission schemes Theorem 33 C(q) has a putative skew-symmetric fission scheme with four classes if and only if q 5mod 8, and there exist integers g, h such that qg + h with g mod Proof C(q) has eigenvalues k(q )/, r, s( ± q)/ We first show that C(q) can not have a skew-symmetric fission scheme with character table of type I or II We treat type II here and type I can be handled similarly By Theorem (ii), p λ+r q+ q 7, p 6 k(k λ t) q+ k 6 q+ Now p p /, a contradiction Now suppose that C(q) has a -class skew-symmetric fission scheme with character table of type III: f f f f ρ τ τ ρ f (q ) ( P III τ ρ ρ τ, where ρ ) + q+ (q z) () ( τ ρ ρ τ τ ) q+ z ρ τ τ ρ We can calculate the first intersection matrices B of the scheme from Theorem (iii): qAq 7q+ q(q z) 0 A B D C 6qBq + q+ q(q z)+8 q z(q z) B 0 E E B D, where 6qCq + q 6 q(q z) 0 E D E B 6qDq + q+ q(q z) 8 q z(q z) f A E E A 6qE q 3q q(q z) Since A+E (q 5)/8, q 5mod 8 So q can not be a perfect square Otherwise, q is an odd integer and thus q or 3 mod It follows that q mod 8, a contradiction Now q is a nonsquare integer So q zg q for some integer g in order for A to be an integer Since A, C, E are integers, it follows that g mod In order for B to be an integer, z(q z)h q for some integer h Substituting z(q g q)/ into z(q z)h q, we can obtain that qg + h Conversely, if q 5 mod 8 and if there exist integer s, t such that qg + h with g mod, then P III is the character table of a putative scheme, where z(q g q)/ 7

8 We now determine the character table of the cyclotomic scheme Cyc(q, ) for q 5 mod 8 Theorem 3 Let q f+ be a prime power with f odd So Cyc(q, ) is a -class skewsymmetric association scheme Let g and h be defined by q g + h, g mod and (g, q); these conditions determine g uniquely, and h up to a sign Then the following hold: (i) Cyc(q, ) has the following character table P: f f f f f ρ τ τ ρ (q ) ( τ ρ ρ τ, where ρ + q+ q g ) q ( τ ρ ρ τ τ ρ τ τ ρ q+ q+g ) q (ii) Cyc(q, ) has the following intersection matrices B, B : A B D C 0 E E B D 0 E E B D, 0 D A C B, where 0 E D E B f E A A E f A E E A 0 B E D E 6Aq 7+g 6Bq++g+8h 6C q+ 6g 6Dq++g 8h 6E q 3 g Proof Since the intersection numbers p k i j of Cyc(q, ) are given by the cyclotomic numbers ( j i, k i), which are given in [0, Proposition ] From the intersection matrices, we can calculate the character table P We note that a putative -class skew-symmetric fission scheme of C(q) has intersection matrices of the form in Theorem 3 (ii), where qg + h with g mod In particular, Theorem 33 answers Question, in which q is a prime power with q 5 mod 8 Question remains open From number theory (eg, [, 76]), qg + h has a solution if and only if in the prime factorization of q, every prime factor 3 mod has an even exponent In particular, if q 5mod 8 is a prime, there is essentially one way to express q as a sum of two squares So Cyc(q, ) has a unique fission table, which is realized by Cyc(q, ) Imprimitivity In this section, we investigate -class skew-symmetric imprimitive association schemes An association scheme (X,{R i } d i0 ) is imprimitive if the union of some relations is an equivalence relation that is not R 0 or X X, and primitive otherwise LetX(X,{R 0, R, R, R T, RT } be a skew-symmetric association scheme IfXis imprimitive, then R 0 R R T or R 0 R R T is an equivalence relation on X Without loss of generality, we assume that R 0 R R T is an equivalence relation So (X, R R T ) is the union of certain copies of a complete graph, gk f, where n X g f Thus, (X, R R T ) is the complete multipartite graph gk f The symmetrization X has the following character table: f f (g ) P f f g (3) 0 g( f ) 8

9 By Theorem,Xhas one of the following character tables: f f (g ) f (g ) ( f ) f f τ τ σ ( ) + f P I σ 0 0 σ, where σ 0 0 σ τ ( ) f+ g f f f τ τ f f (g ) f (g ) ( f ) ρ f f ρ ρ ( ) f g( f ) f + P II / ω ω /, where g / ω ω / ω f (g ) ρ f f f ρ f f (g ) f (g ) ( f ) ρ ( f + ( ) f g z)( f ) f (g ) ρ τ τ ρ σ ( ) + z P III σ ω ω σ, where f g σ ω ω σ τ ( ) f+ z ρ τ τ ρ ω ( f g z)(g ) g( f ) By Theorem (i), the intersection matrices B, B for P I has the following principal parts: f f+ 0 ( f ) ( f ) 0 0, 0 (g 3) f (g+) f ( f ) 0 f (g ) (g 3) f (g 3) f f (g ) f f 3 0 ( f ) 0 0 It follows that f, g 3mod The intersection matrix B for P II has negative entries and thus P II is not realizable For P III, the the parameter y can be calculate from Theorem (iii): y f f (g ) (g f z) So z<g f By Theorem (iii), we can obtain the intersection numbers In particular, p z g f f g and hence z g f, a contradiction So P III is not realizable either Thus, we have proved following result, and the if part was mentioned in [, Lemma 3] Theorem Let X be an imprimitive -class association scheme with character table given in (3) X has a putative -class skew-symmetric fission scheme if and only if f, g 3mod In this case, the character table of this fission scheme is realized as P I As pointed out in [], when f, g 3 mod are prime powers, the fission scheme in Theorem is realized as a wreath product of Cyc( f, ) and Cyc(g, ) For example, there are two -class skew-symmetric association schemes on vertices from the wreath products Cyc(3, ) wr Cyc(7, ) and Cyc(7, ) wr Cyc(3, ) 9

10 5 Lists of small feasible parameters In order to generate feasible parameters for -class skew-symmetric association schemes we shall classify them into three sets according to their symmetrizations: The symmetrization is imprimitive; The symmetrization is pseudocyclic thus a conference type, which is primitive 3 The symmetrization is non-conference type and primitive These three sets cover all possibilities The tables to follow list information about existence and enumeration of primitive skew-symmetric schemes with classes In the heading #, a plus sign + means that there is at least one such scheme; a question mark? that there is no such scheme known; and a number m that there are m such schemes Case is determined by Theorem, so each feasible parameter is determined by a pair ( f, g) For distinct primes f and g with f, g 3 mod, there are at least two -class skewsymmetric imprimitive association schemes on f g vertices, realized by the wreath product Case is determined by Theorem 33 In this case, qg + h with g mod, and the pairs (g, h) can be easily generated (for example, the command sumsqr in Maple) Each parameter set in this case is determined by the pair (g, h) In particular, if q is a prime power with (g, p), then Cyc(q, ) realizes this parameter set We list the parameter sets up to 35 vertices in Table Table : Feasible parameters of pseudocyclic skew-symmetric schemes n g # +? + +?? + +? + n g #? ???? +?? n g # ??? An association scheme in Case 3 has character table given by one of the three types in Theorem Character tables of type I or II are uniquely determined by the underlying symmetrizations, while those of type III need an additional parameter z Here is how we determine z Starting with the parameter set of a strongly regular graph, we generate the intersection matrices of all skew-symmetric fission schemes with four classes Then we determine the value of z using Theorem (iii) Based on the table of strongly regular graphs on A E Brouwer s webpage [5], a list is generated for up to 300 vertices in Table We further rule out some parameter sets with the Krein condition We note that the Krein condition rules out several parameter sets in Table It turns out that these parameter sets are from the family of -class Johnson schemes The Johnson scheme J(v, ) has as vertices all -subsets of a v-set and two -subsets in relation R i if their intersection has size i (0 i ) The relation R defines a strongly regular graph, with parameters n v(v ), k(v ), λv, µ 0

11 Table : Feasible parameters of non-conference type skew-symmetric schemes n k λ µ r m s m type z # III 7 0 [5] III 50 0 Krein III Krein III 36? III 7? II? III 5? III Krein III 75? I? III Krein III 08? II? III 5? II? III 363? III 0? III 78 0 Krein III 575? I? I? We ask the following: Question 3 Does any Johnson scheme J(v, ) admit a -class skew-symmetric fission scheme? We now settle this question in the rest of this section J(v, ) has the following character table: (v ) (v )(v 3) P v v+3 v v(v 3)/ Since both of the nontrivial multiplicities v and v(v 3)/ are even, it is necessary that v 3 mod for J(v, ) to admit a desired fission scheme Sinceλ+ sv 3mod, this fission scheme can not have character table of type I by Corollary 3 (ii) If its character table is of type II, then by Theorem (ii), we have λ 3r So v5, a contradiction If this fission scheme has character table of type III, we can compute its intersection numbers using Theorem (iii) In particular, we have the following: 5 v and k µ+s v 5 nkλ+π nk v(v 3) z, v(v 3) nk(n k+λ)+γ z nk v(v 3) Since intersection numbers are nonnegative integer and z>0, either z v(v 3) or z v(v 3) The Krein numbers can be calculated from Eq () For z v(v 3), q 3

12 (v )(v v(v )) (v ) nk m z m < 0, a contradiction For z v(v 3), the value c in Theorem (iii) is (v )(6 v) So v3 and hence z0, a contradiction Therefore, we have proved: Proposition 5 No Johnson scheme J(v, ) admits a -class skew-symmetric fission scheme 6 Concluding Remarks Remark We do not know any association scheme with character table of type II or III In view of Theorems 33 and 3, it is interesting to know which -class fission tables of C(q) or Cyc(q, ) can be realized Using the small association schemes data of Hanaki and Miyamoto [9], we find that Cyc(q, ) are the only -class pseudocyclic skew-symmetric schemes for q 30 Remark The association schemes discussed in the paper are related to some combinatorial designs Each pseudocyclic scheme give rise to a -(n, f, f ) design and -(n, f+, f+ ) design(see [, p 8]) A -class skew-symmetric association scheme is equivalent to a Hadamard tournament and an imprimitive skew-symmetric association scheme gives rise to a multipartite tournament (see [] ) It seems interesting to pursuit further study along this line Remark 3 Question 3 should be asked in more general form Which -class association scheme admits a (putative) skew-symmetric fission scheme with classes? For example, study the possibility of -class skew-symmetric fission scheme of known series of strongly regular graphs We shall investigate this question in another paper Acknowledgments The authors would like to thank Misha Muzychuk for helpful discussion and Qing Xiang for providing some references on cyclotomy We are indebted to the anonymous reviewers for their thoughtful reports, and in particular, for Remark 3 and pointing out some mistakes in an early draft K Wang s research is supported by NCET , NSF of China (08707) and the Fundamental Research Funds for the Central Universities of China References [] E Bannai, T Ito, Algebraic Combinatorics I: Association Schemes, The Benjamin/Cummings Publishing Company, Inc, Menlo Park, CA, 98 [] E Bannai, SY Song, Character tables of fission schemes and fusion schemes, European J Combin, (993) [3] BC Berndt, RJ Evans, KS Williams, Gauss and Jacobi sums, Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons Inc, New York, 998 [] AE Brouwer, AM Cohen, A Neumaier, Distance-Regular Graphs, Springer-Verlag, Berlin, Heidelberg, 989 [5] AE Brouwer, Table of parameters of strongly regular graphs, [6] AE Brouwer, Strongly regular graphs, in: CJ Colbourn and JH Dinitz (Eds), Handbook of Combinatorial designs, CRC Press, Boca Raton, 007 [7] ER van Dam, Three-class association schemes, J Algebraic Combin, 0(999) [8] RW Goldbach, HL Claasen, Feasibility conditions for non-symmetric 3-class association schemes, Discrete Math, 59 (986) 8 [9] RW Goldbach, H L Claasen, The structure of imprimitive non-symmetric 3-class association schemes, European J Combin, 7 (996) 3 67 [0] DG Higman, Coherent configurations part I: ordinary representation theory Geom Dedicata, (975) 3 [] KF Ireland, MI Rosen, A classical introduction to modern number theory, Springer-Verlag, New York, 98

13 [] T Ito, A Munemasa, MYamada, Amorphous association schemes over the Galois rings of characteristic, European J Combin, (99) [3] L Jørgensen, Algorithmic approach to non-symmetric 3-class association schemes, in: M Klin, et al (eds), Algorithmic Algebraic Combinatorics and Gröbner Bases, Springer, 009, pp 5-68 [] S Kirkland, BL Shader, On multipartite tournament matrices with constant team size, Linear and Multilinear Algebra, 35 (993) 9 63 [5] RA Liebler, RA Mena, Certain distance-regular digraphs and related rings of characteristic, J Combin Theory Ser A, 7 (985) 3 [6] J Ma, Three-class association schemes on Galois rings in characteristic, Graphs Combin, 3 (007) [7] J Ma, The nonexistence of certain skew-symmetric amorphous association schemes, European J Combin, 3 (00) [8] R Mathon, 3 class association schemes, In: Proceedings of the Conference on Algebraic Aspects of Combinatorics, Univ Toronto, Toronto, ON, 975, in: Congressus Nurmerantium, vol XIII, 975, pp 3 55 [9] I Miyamoto, A Hanaki, Table of small association schemes, available at [0] G Myerson, Period polynomials and gauss sums for finite fields, Acta Arithmetica, 39 (98) 5 6 [] SY Song, Class 3 association schemes whose symmetrizations have two classes, J Combin Theory Ser A, 70 (995) 9 [] SY Song, Commutative association schemes whose symmetrizations have two classes, J Algebraic Combin, 5 (996)