行政院國家科學委員會專題研究計畫 成果報告
關於圖形的值譜及其距離正則性的研究
研究成果報告(精簡版)
計 畫 類 別 : 個別型 計 畫 編 號 : NSC 98-2115-M-009-013- 執 行 期 間 : 98 年 08 月 01 日至 99 年 07 月 31 日 執 行 單 位 : 國立交通大學應用數學系(所) 計 畫 主 持 人 : 黃大原 計畫參與人員: 博士班研究生-兼任助理人員:藍國元 博士班研究生-兼任助理人員:李光祥 處 理 方 式 : 本計畫可公開查詢中 華 民 國 99 年 10 月 29 日
The Geometry of Rectangular Matrices and Their Characterizations --- searching for cospectral mates and distance regular mates
of the bilinear forms graphs
Tayuan Huang
Abstract:
A non-distance-regular cospectral mate and a non-vertex-transitive distance- regular mates for the Grassmann graphJ n d with q( , ) n≥ + ≥d 3 6or with n= + ≥d 1 3 were recently given by E.R. van Dam and J.H.Koolen, and by E.R. van Dam, W.H. Haemer, J.H. Koolen and E. Spence respectively. From the view point thatJ n d and the bilinear form q( , )
graphH n d are the point graphs and their dual of the close related projective incidence q( , )
structures and attenuated space, we may wonder whether similar situations hold for the
bilinear forms graphsH n d ? q( , )
E.R. van Dam and J.H. Koolen, A new family of distance-regular graphs with unbounded diameter, Invent. Math. 162, 189-193 (2005)
E.R. van Dam, W.H. Haemer, J.H. Koolen and E. Spence, Characterizing distance-regularity of graphs by the spectrum, JCT A 113 (2006) 1805-1820.
Contents:
1. Preliminary and some background
1.1 association schemes, Bose Mesner algebra and distance regular graphs 1.2 association schemes, distance regular graphs in the western world 1-3 a state of the art survey of the geometry of matrices
1-4 the bilinear forms graphs H n d and their characterizations, an update q( , ) 1-5 joint characterizations of Grassmann graphs and bilinear forms graphs 2. The geometry of rectangular matrices, the attenuated spaces and d-nets
2-1 the structures of nets and d-nets
2-2 d-projective incidence structures and d-attenuated spaces 2-3 d-attenuated spaces and the bilinear forms graphs
2-4 how to associate geometric structures to distance regular graphs ? 2-5 the structures of maximal cliques
2-6 a pair of incidence structures derived from distance regular mates
3-1 some known facts about the Grassmann graphs
3-2 cospectral mates and distance-regular mates of the Grassmann graphs 3-3 the bilinear forms graphs
3-4 candidates for cospectral mates distance-regular mates of the bilinear forms graphs 3-5 a non distance-regular cospectral mates of the Johnson graphs
I Preliminary and background
Association schemes were first introduced by statisticians R.C. Bose et.al. around 1950 in connection with the design of experiments in statistics, and independently by some group theorists. In addition to its applications in the design of experiments, Ph. Delsarte
recognized and fully used association schemes as a basic underlying structure of coding theory and design theory around 1970. A project of classifying association schemes in term of their geometric structures, their parameters or even their spectra was proposed by E. Bannai around 1980. The study of the geometry of matrices by Z. Wan provided an abundant source for association schemes around 1960.
1-1 association schemes, Bose Mesner algebra and distance regular graphs
Definition: (commutative, symmetric) d-class association schemes
1. A (commutative, symmetric) d-class association scheme on X is a (d+ - tuple 1) 0 1 2
(A A A, , , ,Ad) of (0,1)
Α = -matrices of order |X | |× X |satisfying
a.A0 = , I Ai Aj =δijAi for i j, ≤ , d 0 d i i= A =J
∑
,b. for every i , there exist i with ' '
t i i A = A (or i t i A = Arespectively), and
c. there exist nonnegative integers pi jk, for all i j k, , ∈
{
0,1, 2, ,d}
such that ,0 d k i j j i k i j k A A =A A =
∑
= p A .2. The linear span of the matrices
{
A ii| =0,1, ,d}
is called the Bose-Mesner algebra of the association schemeΑ =(A A A0, 1, 2, ,Ad).3. A symmetric scheme (X,{ }Ai 0≤ ≤i d) is called a distance regular graph G if 1,k j p =0 except j= −k 1, , ork k+ ; usually, 1 1,i i i a = p , 1, 1i i i b = p + and 1, 1i i i c = p − . Let
( ) ( )
(
V G E G)
G= , be a connected graph of diameter d,
( )
x{
yy V( )
GGi = ∈ is at distance i from x
}
; for x∈V( )
G , consider partitions of V( )
G :Definition The graph G is called distance-regular if ci
( )
x,y =ci, ai( )
x,y =ai, bi( )
x,y =bi are constants whenever x,y∈V( )
G are at distance i≤d. The arrayof parameters 0 1 2 0 1 2 0 1 2 ... ... ... d d d c c c c a a a a b b b b ⎡ ⎤ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎣ ⎦
or
{
b0,b1,b2,...,bd−1;c1,c2,c3,...,cd}
is called the intersection array of G. Moreover0 1 2 0 1 2 0 1 2 ... ... ... d d d c c c c a a a a b b b b ⎡ ⎤ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎣ ⎦ ←→ Spec G( )=( (b0 =k),θ θ1, 1, ...,θd) in a systematic way.
Some families of examples:
1. Hammning graph ( , )H n q
2. Johnson graph ( , )J n d
3. The Grassmann graph J n d (also called the q-analog of the Johnson graph) is defined q( , ) on the set of all d-dimensional subspaces of an n-dimensional vector space overGF q . Two ( ) vertices A and B are adjacent whenever dim(A∩B)= − . d 1
4. The bilinear forms graph H n d (also called the q-analog of the Humming graph) is q( , ) defined on the vertex setMd n× ( )q of all d×n matrices over GF(q) , ,A B∈Md n× ( )q adjacent if and only if the rank ofA − B is 1. Then H n dq( , ) is a distance-regular graph with
1 ( 1) /( 1) i i i c =q− q − q− (independent of n, d), and 2 1 ( 1)( 1) /( 1) i d n i i b =q q − − q − − q− .
5. The Petersen graph, the Odd graphOk, and the Generalized odd graphs of diameterd,
The distance-regular graph with classical parameters( , , , )d q α β
Regular graphs related to classical graphs and groups of Lie type have an intersection array the parameters of which can be expressed in terms of the diameter d and three other parameters q , α and β, called the classical parameters, as follows:
i 1 , c 1 1 1 1 1 1 i d i i i i b =⎜⎛⎡ ⎤ ⎡ ⎤⎢ ⎥ ⎢ ⎥− ⎟⎜⎞⎛β α− ⎢ ⎥⎡ ⎤⎟⎞ =⎢ ⎥⎡ ⎤⎛⎜ +α⎡⎢ − ⎤⎥⎟⎞ ⎣ ⎦ ⎣ ⎦ ⎣ ⎦ ⎣ ⎦ ⎣ ⎦ ⎝ ⎠⎝ ⎠ ⎝ ⎠ (1a, b) (i=0,1,..., )d , where n k ⎡ ⎤ ⎢ ⎥
⎣ ⎦ denotes the Gaussian coefficient with basis q (for q= , it is the 1 ordinary binomial coefficient). Clearly,
1 1 1 1 1 1 i i d i i a =⎡ ⎤⎢ ⎥⎜⎛⎜β− +α⎜⎛⎡ ⎤ ⎡ ⎤ ⎡⎢ ⎥ ⎢ ⎥ ⎢− − − ⎤⎥⎞⎟⎟⎞⎟ ⎣ ⎦⎝ ⎝⎣ ⎦ ⎣ ⎦ ⎣ ⎦⎠⎠ (1c)
(i=0,1,..., )d . Furthermore, the corresponding eigenvalues θ0 > >θ1 >θd can be calculated in terms of the intersection array as follows:
1 1 1 i
d i i i
θ =⎢⎡ − ⎤⎥⎛⎜β α− ⎡ ⎤⎢ ⎥⎞⎟−⎡ ⎤⎢ ⎥
⎣ ⎦⎝ ⎣ ⎦⎠ ⎣ ⎦ (2) (i=0,1,..., )d . Refer to [4, Chapters 6 and 8] for more details.
1. the Johnson graph ( , )J n d with classical parameters ( ,1,1,d n d− ) (n≥2d≥ , 4) 2. the Hamming graph H d n with classical parameters ( ,1, 0,q( , ) d n− ( ,1) n d ≥2).
3. the Grassmann graphs J n d (with parametersq( , ) ( , )α β =( ,[q 1n d− +1] 1)− ) ,
4. the bilinear forms graphs H n d (with parameters ( , )q( , ) α β =(q−1,qn− ), 1)
As a consequence, the Grassmann graphs and the bilinear forms graphs are characterized simultaneously among distance-regular graphs with classical parameters, together with some extra geometric conditions. (HFu37) Some remarks on distance-regular graphs with classical parameters ( , , , )d q α β :
1. The four families of distance-regular graphs mentioned above have the property that β can be arbitrary large with respect to the other three parametersd, q , and α . The following result shows that there are no other graphs with this property. (M24)
Corollary: Suppose that the distance-regular graph Γ has classical parameters ( , , , )d q α β
with d≥3 and that Γ is not a Grassmann graph, a bilinear forms graph, a Hamming graph, or a Johnson graph. Thenβ is bounded in terms ofd, q andα .
2. Suppose Γ is a strongly regular graph. It is easy to see that Γ has classical parameters (2, , , )q α β and these can be uniquely chosen in such a way thatβ > . If the parameters are 0 integers and if β is sufficiently large with respect to α and q , then Bose [1] (see also [8]) showed that the graph is the collinearity graph of a partial geometry with parameters
(q+1,β+1,α+ This is the analogue to Corollary 1.3 in the case 1). d =2. (M24)
3. Distance-regular graphs with classical parameters ( , , , )d q α β and q= have been 1 characterized by Neumaier and Terwilliger [4, Theorem 6.1.1]. (HFu 37)
1-2 Association Schemes, Bose Mesner Algebras and Distance Regular Graphs in the western world
1950 Bose
1973 Delsarte [D73] 1980 Bannai (坂內英一)
geometrical characterization
⇒ parametric characterization (with or without additional constraints) ⇒ spectral characterization
1984 Bannai, Ito, Algebraic Cocmbinatorics: Association Schemes, Cumminghams 1989 Brouwer, Cohen and Neumaier, Distance Regular Graphs, Springer
1998 Delsarte [DL98]
2004 Bailey, Association Schemes, Design Experiments, Algebra and Combinatorics [B04]
The notion of distance-regularity for graphs goes back to the platonic solids of antiquity, which has deep connection to many topics of the present-day theory and applications of geometrics, groups, codes and designs. E. Bannai [1, Chapter 3] has compiled a list of distance-regular graphs with large diameters, believing that has an essentially complete list around 1980. The characterization problems of known important classes of distance-regular graphs by their
parameters have a long history in combinatorics. (H3) The classification of all infinite families of distance-regular graphs is a major problem.
It seems that there are several different stages in the characterization of association schemes. Bannai propose to distinguish the following:
1. geometric characterization;
2. parametric characterization, assuming various structures of the neighborbood of a point; or the right sizes of maximal cliques;
3. parametric characterization, assuming arithmetic restrictions on the parameters; 4. complete characterization by the parameters. (Bannai 367)
A way to check whether an algebra of symmetric matrices is a Bose-Mesner algebra and hence an association schems.
Theorem (BCN page. 57)
Let A be a vector space of symmentric n n× matrices.
1. A has a basis of mutually disjoint (0,1) matrices if and only if A is closed under Hadamard multiplication.
2. A has a basis of mutually orthogonal idempotent if and only if A is closed under ordinary multiplication.
3. A is the Bose Mesner algebra of an association scheme if and only if A is closed under both ordinary and Hadamard multiplication, and ,I J∈ A
Referrences:
Benjamin/Cummings 1984.
[BCN88] A.E. Brouwer, Cohen and Neumaier, Distance Regular Graphs, Springer 1989.
[D73]. Philippe Delsarte, An Algebraic Approach to the Association Schemes of Coding Theory,
Philips Research Reports Supple. 10 (1973).
[DL98]. Philippe Delsarte and Vladimir I. Levenhtein, Association Schemes and Coding Theory,
IEEE Transactions on Information Theory Vol.44, No.6 October 1998.
[B04] R. A. Bailey, Association Schemes, Design Experiments, Algebra and Combinatorics Cambridge Studies in Advanced Mathematics 84, Cambridge University Press 2004 Ch. 13 History and References
1-3. a state of the art survey of the geometry of matrices
Relating to his study of the theory of functions of several complex variables, L.K. Hua(華羅庚) initiated the work in the geometry of matrices in the middle forties. In this geometry, the point of the space are a certain kind of matrices of a given size, the four types of matrices under studied
rectangular matrices, alternate matrices, symmetric matrices, and Hermitian matrices; including
their fundamental theorems and the characterization of motion groups in terms of their invariants (papers were published in Transaction of AMS around 1945-1946)
… to each such space there is associated a group of motions, and the aim of the study is then to characterize the group of motions in the space by as few geometric invariants as possible.
… studying the geometry of matrices of various types over the complex field, discovered that the invariant “adjacency” alone is sufficient to characterize the group of motion of space…
… the complex field was replaced by any field or division ring around 1950 (see Annals of Math. 1949, Chinese J. of Mathematics, Vol. 1 (1951))
… Hua’s pioneer work has been followed by many mathematicians, and more general results have been obtained. The study of the geometry of matrices was then succeeded by many mathematicians, and it has also been applied to graph theory in recent years.
(Geometry of Matrices, Zhe-Xian Wan 萬哲先, World Scientific 1996)
Let D be a division ring, m n, ≥ , the geometry of rectangular matrices is defined on the 2 spaceMm n× ( )D ={X m n| × over }D , with the group
{X PXQ+R P Q| , and are R m m× invertible matrices},
and the arithmetric distance betweenX and Y ∈Mm n× ( )D is rank(X −Y), and X and Y ( )
m n
M × D
∈ are adjacent if rank(X −Y)=1. Theorem (Fundamental Theorem, Wan 1965)
Let A be a bijection from Mm n× ( )D to itself. Assume that both A and A−1 reserve the adjacency of any two points of Mm n× ( )D . Then,
1. when m≠ , A is of the form n
( )
A X =PX Qσ + (*) R
where ,P Q∈GL Dm( ), ( )R∈Mm n× D , and σ is an automorphism of D ;
2. when m=n, in addition to (∗), A can also be of the form A X( )=P Xt( τ)Q+ R
where P Q R are as above, and, , τ is an anti-automorphism of D .
In the fundamental theorem of the geometry of rectangular matrices, all bijective mappings ofMm n× ( )D are determined such that bothϕ and
1 ϕ−
preserve adjacency. Wan
showed that if a bijective mapϕ of Mm n× ( )D preserves the adjacency, then so 1 ϕ−
preserve the adjacency. Thus the supposition that ϕ−1 preserves adjacency may be omitted in the fundamental theorem. It is also shown in [ ] that this is also possible in the case of symmetric and hermitian matrices
Theorem (Wan et. al., 2004, 2006)
Let D be a divison ring and let m n, ≥ be integers. 2
1. If a bijective map ϕ from (Γ Mm n× ( ))D to itself preserves the adjacency inMm n× ( )D , then alsoϕ−1 preserves the adjacency.
2. If a bijective map ϕ is from (Γ Mm n× ( ))D to itself for which any two adjacent vertices A, B of (Γ Mm n× ( ))D implies adjacent A ,B
ϕ ϕ
, then ϕ is a graph automorphism of Γ(Mm n× ( ))D .
Geometry of rectangular matrices
Let D be a division ring, m n, ≥ , and let 2 Mm n× ( )D ={X m n| × over }D
space: ( )Mm n× D
group: {X PXQ+R P Q| , and are R m m× invertible matrices}
invariants: rank(X −Y) the arithmetric distance betweenX and Y ,
adjacency: rank(X −Y)=1. Definition: maximal sets in Mm n× ( )D
a maximal set in Mm n× ( )D is a maximal set of points (matrices) such that any two of them are adjacent. The normal forms of maximal sets are
11 12 1 1 0 0 0 : 0 0 0 n i x x x x D ⎧⎛ ⎞ ⎫ ⎪⎜ ⎟ ⎪ ⎪⎜ ⎟ ∈ ⎪ ⎨⎜ ⎟ ⎬ ⎪⎜ ⎟ ⎪ ⎪⎝ ⎠ ⎪ ⎩ ⎭ … … , or 11 21 1 m1 0 0 x 0 0 : x 0 0 i x x D ⎧⎛ ⎞ ⎫ ⎪⎜ ⎟ ⎪ ⎪⎜ ⎟ ∈ ⎪ ⎨⎜ ⎟ ⎬ ⎪⎜ ⎟ ⎪ ⎪⎝ ⎠ ⎪ ⎩ ⎭
Maximal sets are called maximal cliques in graph theory in the western world around 1980, and the geometric structures, called the attenuated spaces (Ray-Chaudhuri an A. Sprague 1980) in term of lines defined by the intersection of two maximal sets containing two adjacent points in common have been studied.
Theorem: There are two types of maximal cliques with sizes q q respectively, and each with n, d the numbers ( 1) 1 n d d q − ⎡ ⎤⎢ ⎥ ⎣ ⎦, ( 1) 1 d n n q − ⎡ ⎤⎢ ⎥ ⎣ ⎦ respectively. (Bannai 372)
[H51] Hua, L.K. A theorem on matrices over a field and it sapplications. Acta Math. Sinica (1951), 109-163
[W96] Zhe-Xian Wan, Geometry of Matrices: In Memory of Professor L.K. Hua (1910-1985), 443-453 in: Progress in Algebraic Combinatorics, Advanced Studied in Pure Mathematics 24, 1996.
[W96] Zhe-Xian Wan, Geometry of Matrices, World Scientific, Singapore 1996
[HW04] Wen-ling Huang, Ronald Hofer and Zhe-Xian Wan, Adjacency preserving mappings of symmetric and hermitian matrices, Aequationes Math. 67 (2004) 132-139
[HW04] Wen-ling Huang and Zhe-Xian Wan, Adjacency Preserving Mappings of Rectangular Matrices, Beitrage zur Algebra und Geometrie, Contribution to Algebra and Geometry Volume 45(2004) No.2, 435-446
1-4. The bilinear forms graphs H n d and their characterizations q( , )
When the field is finite, say GF(q), the bilinear forms graph ( , )H n d is defined over q
( ( )) d n
M × GF q , which is a distance regular graph with the intersection array 1 ( 1) / 1 i i i c =q− q − q− for i≤ −d 1, and 2 ( 1) / 1 i d i i b =q q − − q− for i≤ −d 1.
The weak 4-vertex condition was used by Sprague and Huang respectively in the
characterizations of the bilinear forms graphsH n d for d = 3 or general d. Sprague [ ] q( , )
characterized ( ,3)H nq by assuming the parameters and the weak 4-vertex condition where 6, 2
characterization of 3-attenuated spaces by using the arguments similar to those used in [14]. (H 2) Finally, Sprague [16] characterized d-attenuated spaces in terms of the structure of their
2-spaces:
Huang (1987)
Let Γ be a distance-regular graph of diameter d with intersection array
0 1 2 1 1 2 3
{ , ,b b b , ,bd− ; ,c c c, , ,cd} such that 1. The weak 4-vertex conditions holds inΓ ,
the number of edges of the induced subgraph on the common neighborhood of vertices x and y depends only on the distance between them. (H1)
2. c2 =q q( +1), bi =q2i(qd i− −1) /q− , 1 0≤ ≤ −i d 1, 3. n≥2d ≥ 4, q≥ . 4
Then q is a prime power, and the graph Γ is isomorphic to the bilinear form graph H n d . q( , )
… the restriction q≥ in section 3 (Prop 3.7) of [7] was used by Huang to apply a well-known 4 theorem of Buekenhout. (M33) However, it was noticed by Cuypers that the use of Buekenhout result can be avoided, one uses a result of Thas and DeClerck [12], which also holds for q= 2 and q= . A shorter proof of the results of Section 4. (C18) 3
Cuypers (1992) improved the conditions:
1. (1−qd−1) /(q− is an eigenvalue of the adjacency matrix of Γ ; and 1) 2. c2 =q q( + ,1) bi =q2i(qd i− −1) /q− , 1 0≤ ≤ −i d 1,
3. n≥2d ≥6and 4q≥ .
i.e., the bilinear form graph H n d is characterized by its intersection array q( , ) whenevern≥2d ≥6andq≥ . 4
… the conditions n≥2d ≥6 and q≥ are used by Huang to derive an incidence structure 4 fromΓ , and q≥ is needed to apply a theorem by Buekenhout (see [2]). Cuyper showed that 4 the use of Buekenhout’s result can be avoided by quoting a result of Thas and Declerck [5] which is also valid forq=2, 3. So Cuyper generalize Huang’s theorem to the following: (M…)
… however, Huang needs it only to show that lines have size β+ and that the incidence 1 structure consisting of the vertices and lines satisfies the dual of Pasch’s Axiom, which we have already shown. Thus the arguments of Huang show that q is a prime power, β =qn− for some 1
integer n≥d and Γ is the bilinear forms graphH n d . (M34) q( , )
… the proof can be completed using the techniques of Huang … Thus the arguments of Huang show that q is a prime power, β =qn− for some integer 1 n≥d and is the bilinear forms graph as required. (M34)
Metsch (1999) further improved the conditions:
the bilinear form graph H n d is characterized by its intersection array whenever either q( , ) 3, 3
n≥ +d q≥ or n≥ +d 4,q= . 2
Theorem (Huang 1987 + Cuyper 1992 + Metsch 1999)
Let Γ be a distance-regular graph of diameter d with intersection array
0 1 2 1 1 2 3 { , ,b b b , ,bd− ; ,c c c, , ,cd} such that 1. bi =q2i(qd i− −1) /q− , 1 0≤ ≤ −i d 1, 1 , 1 . 1 i i i c =q− ⎡ ⎤⎢ ⎥ ≤ ≤i d ⎣ ⎦ 2. n≥ +d 3,q≥ ; 3 n≥ +d 4,q= . 2
Then q is a prime power, and Γ ≅H n dq( , ).
1-5. Joint Characterizations of Grassmann graphs and Bilinear forms graphs
Because the bilinear forms graph H n d is an induced subgraph of the Grassman graph q( , )
( , ) q
J n d , joint characterizations of Grassmann graphs and Bilinear forms graphs are surveyed in
the following.
1. a joint characterization of Grassmann graphs and bilinear forms graphs among distance regular graphs with classical parameters is given by Fu and Huang (1994); and by Metsch (1999) respectively;
2. a joint characterization of Grassmann spaces and attenuated spaces over amply
regular(0, )α -geometries satisfying the dual of Veblen-Young’s axiom was given by by G.Bonoli, N. Melone (2003).
3. a joint characterization of Grassmann graphs and bilinear forms graphs over
distance-regular(0, )α - Reguli by F. de Clerck, S. De Winter E. Kujiken and C. Tonesi (2006). Moreover,
[FH94] T.S. Fu and T. Huang, A Unified Approach to a Characterization of Grassamn graphs and bilinear forms graphs, Europ. J. Combinatorics (1994)15, 363-373.
[M99]
[BM03] G. Bonoli, N. Melone, A Characterization of Grassman and Atteenuated Spaces as (0, )α -Geometries, Europ. J. Combinatorics (2003)24, 489-498.
[CW06] F. de Clerck, S. De Winter E. Kujiken and C. Tonesi, Distance-Regular (0, )α -Reguli, Designs, Codes and Cryptography 38 (2006) 179-194.
Definition:
For an integerα ≥1, a connected semilinear space Π =( , )P B is called a finite (0, )α -geometry with parameters ( , )s t if it satisfies the following axioms:
1. each block containss+1 points; 2. each point belongs tot+1 blocks; and 3. for every anti-flag ( , )x B , ( , )α x B =0,α.
Any (0,α)-geometry with parameters (s, t) is called an amply regular (0,α)-geometry with parameters (s, t,α,μ) if the number of points adjacent to any pair of points at distance two is a constantμ> 0.
Amply regular (0, )α -geometries satisfying (VY*) for which μ α= 2 orα α( + was studied 1) by G.Bonoli, N. Melone in [ ]. This result generalizes those of Debroey [ ] and of Ray-Chaudhuri and Sprague [ ]. It gives a common characterization of the Grassmann and attenuated spaces as amply regular (0, )α -geometries and, under weaker assumptions, we obtain the result due to Fu-Huang [9].
An important role in incidence structures is played by the so-called Pasch’s axiom
(Veblen-Young’s axiom (VY)) and the diagonal axiom (the dual VY*), resp. (see for example [5, 8, 16, 17]). (P52~53)
1. Two distinct transversals of two intersecting blocks are incident. (Pasch’s axiom)
2. Two distinct points x, y not on a block B and adjacent to two distinct common points on B, are adjacent. (the diagonal axiom)
Note that both Johnson and Grassmann geometries satisfy Pasch’s axiom and the diagonal axiom (see [14]), while the attenuated spaces satisfy the diagonal axiom but not Pasch’s axiom.
axioms: (P60~61)
1. S is a partial linear space of order (s, t).
2. The point diameter (i.e. the largest possible distance between two vertices corresponding to points) of the incidence graph Φ of S is 2d ≥4.
3. There exist integers α2i−1, 2≤i≤d, such that for any point p and any line L of S which are at distance 2i-1 in Φ there are precisely α2i−1 points incident with L and at distance 2i-2 from p.
4. There exist integers t2i, 2≤i≤d , such that for any two points p and q of S which are at distance 2i in Φ there are precisely t2i +1 lines incident with q and at distance 2i-1 from p.
Using results proved by Huang in [H87], Cuypers has proved in [Cu92] that a distance-regular graph with the same intersection array as Hq(m,d), with m≥ d2 ≥6 and q≥4, is the point graph of a (0,α)-geometry satisfying the so-called diagonal axiom, which is the dual of the Pasch (or Veblen-Young) axiom. Form arguments similar as in [15] (see also [2]) it follows that the geometry is uniquely defined and hence that Γ is isomorphic to Hq(m,d). (P73~74) The geometry constructed in Subsection 4.1, seen as a geometry on the bilinear forms graph, is also known as an attenuated space [13]. (P73~74)
2. The geometry of rectangular matrices, the attenuated spaces and d-nets
In addition to the intersectional arrays and the spectra of distance regular graphs, the geometric
structures associated with distance regular graphs are also play vital roles.
2-1 The structure of nets and d-nets
1. A net ( of dimension 2) is a semilinear space D=( , )P B satisfying the following condition:
1. B is partitioned into at least three non-empty classes such that 2. the blocks of each class partition P,
3. blocks of different classes intersect.
2. A d-net or net of dimension d is a semilinear spaceD=( , )P B of dimension d≥3 satisfying the following three conditions.
1. Each plane of D is a net.
2. The intersection of two subspaces is a subspace.
3. Two planes in a 3-space are disjoint or intersect in a block.
Theorem (Sprague 1983)
Every finite d-net, where d≥3 is an integer, is an (n, q, d)-attenuated space for some prime power q and positive integer n. (The original theorem covers the infinite case also.)
2-2 The ( , , )d q n - projective incidence structures and the ( , , )d q n - attenuated space
Definition
1. The ( , , )d q n -projective incidence structure
the collection of subspaces of the n-dimensional vector space over GF q where subspaces ( ) of dimension d are called points, those of dimension d−1 are called lines, and incidence is the usual containment. (HF38)
2. The ( , , )d q n -attenuated space
Let V be an (n+d)-dimensional vector space over GF q and let ( ) W be a given
n-dimensional subspace ofV . The ( , , )d q n -attenuated space is the collection of subspacesU of V with U∩W =0, where subspacesU of dimension d are called points, those of dimension d−1 are called lines, and incidence is the usual containment. (HF38)
The bilinear forms graph H n d is therefore the induced subgraph of the Grassman graph q( , )
( , )
q
J n+d d on the vertices that meet W trivially. Indeed,J n d andq( , ) H n d are the q( , )
collinearity graphs of the ( , , )d q n - projective incidence structures [11] and
the ( , , )d q n -attenuated spaces [10, 12], respectively (HFu38). The bilinear forms graph H n d q( , ) can be viewed not only as a subgraph but also as a geometric hyperplane of the Grassmann graphJ nq( +d d, ). (HF38)
2-3 Attenuated spaces and the bilinear forms graphs
Let V be a vector space of dimension n + d over GF(q) andW = w w1, 2,...,wn ⊆V a fixed subspace of dimension n. Let further {w1, w2, …, wn; u1, u2, …, ud} be a basis for V, where
1,..., d U = u u . Let i ℑ A A V and dim(A U) 0 i ⎧ ⎡ ⎤ ⎫ ⎪ ⎪ =⎨ ∈⎢ ⎥ ∩ = ⎬ ⎣ ⎦ ⎪ ⎪ ⎩ ⎭,
then A= u1+v u1, 2+v2,...,ud +vd for unique choices of v v1, 2,...,vd ∈ . Let W
1 n i ij j j v a w = =
∑
, and MA = ⎣ ⎦⎡ ⎤aij d n× , then each A corresponds to the unique matrix MA of order d n× . Moreover If ,A B correspond to MA, MB respectively as given, then d−dim(A∩B)=rank M( A−MB).2-4 How to associate geometric structures to distance-regular graphs?
Two techniques dealing with the geometric structures associated with distance regular graphs in terms of of maximal cliques
How to treat the maximal cliques of distance regular graphs ?
1. The Bose and Laskar argument
One of the crucial steps to characterize distance regular graphs is to show the existence of maximal cliques of the right size. The characterization of the Hamming graph H n( , 2) and the Johnson graphJ v( , 2) by Bose and Lasker (1967) is one of the original papers towards this goal; the technique used by them is called Bose-Laskar argument. This argument provide essential information on intersections of maximal cliques of a distance-regular graph simply in terms of the parameters of the graphs. In order to apply this technique, we usually need some restriction on the parameters; for example, q must be sufficiently large compare with n inH n q , and v ( , )
must be sufficiently large compare with k in ( , )J v k .
Theorem (Bose and Laskar 1967) Let G be a graph satisfying the following conditions: 1. deg( )x =r k( − for all1) x V G∈ ( ),
2. |G x1( )∩G y1( ) |= − + if x and k 2 α y V G∈ ( ) are adjacent,
3. |G x1( )∩G y1( ) | 1≤ + if x and β y V G∈ ( ) are not adjacent, where r≥ , 1 k≥2,α ≥0 and 0β ≥ are fixed integers.
A maximal clique with at least k− −(r 1)α vertices is called a grand clique. Suppose ( , , ), ( , , )k> pα β γ ρ α β γ , where
( , , ) 1 (( 1)( 2 ) / 2)
p α β γ = + γ + γβ − α , and ( , , ) 1ρ α β γ = + +β (2γ −1)α . Then
1. each vertex of G is contained in exactly γ grand cliques, and
2. each pair of adjacent vertices is contained in exactly one grand clique.
2. A technique in terms of graph representation
In addition to the Bose-Laskar argument, the following theorem obtained by the technique of graph representations provides another mechanism to deal with the structures of maximal cliques. The above two theorems provide essential information on intersections of maximal cliques of a distance-regular graph simply in terms of the parameters of the graphs.
Theorem (BCN, p.160)
Let Γ be a distance-regular graph of diameter d with eigenvalues k =θ0 >θ1 > >θd. 1. If d≥3, θ1 < b1−1 and suppose that every singular line of Γ has size at least s+1;
a. if s≥3, b1/(θ1+ ≤1) s2− + , or if s = 2, s 1 b1/(θ1+ ≤ , then distinct maximal cliques 1) 2 intersect in a singular line, a point or the empty set.
b. if s≥4 and b1/(θ1+ ≤ + , then every edge is in at most two maximal cliques. 1) s 1 2. If d≥2, then the size of a clique C in Γ is bounded by C ≤1−k/θd. If equality holds
then every vertex x∉C is adjacent to either 0 or b1/(θd + + −1) 1 k/θd vertices of C. No vertex of Γ has distance d to C.
Theorem (Hoffman bound). Let Γ be a distance-regular graph with valency k and an eigenvalue θ <0, then the size of a clique C in Γ is bounded by C ≤ +1 k/θ . (C20)
2-4 The structure of maximal cliques
The Bose-Laskar argument provide essential information on intersections of maximal cliques of a distance-regular graph simply in terms of the parameters of the graphs. (HFu38). In order to apply this technique, we usually need some restriction on the parameters; for example,
1. q must be sufficiently large compare with n inH n q , and ( , ) 2. v must be sufficiently large compare with k in ( , )J v k .
For the case of the bilinear form graph with intersection parameters 0 ( 1)( 1) /( 1)
n d b = q − q − q− , 1 2 n d a =q +q − − and q c2 =q q( + , 1) 2 ( , , , )k γ α β =(qn, (qd −1) /(q−1),qd −q q, + + . In q 1) order that k is larger than the maximum ( , , )p α β r and ( , , )ρ α β γ , this causes some constraints over n, d, and q. Moreover each grand clique contains at least
2
( 1) n (( d ) /( 1))
k− −γ α =q − q −q q−
vertices.
In addition to the Bose-Laskar argument, the following theorem (BCN 160) obtained by the technique of graph representations provides another mechanism to deal with the tructures of maximal cliques. (HFu38)
… tthe above two numerical constraints on n and d, interpreted as [ ]2 1 d
β α≥ with d ≥3 in terms of the classical parameters, were needed in both cases because both Sprague and Huang used the Bose-Laskar argument.
… instead of the Bose-Laskar argument, the following two theorems in terms of the technique of graph representations were used by Huang and Fu [ ] to improve the bound from [ ]21
d β α≥
toβ α> [ ]1d , i.e.n≥2d+1 forJ n d andq( , ) n≥ +d 1 forH n d . However, the assumption q( , )
{ }
1 max 5,q
α + ≥ is still required. (Theorem A(ii)) [HFu 38]
… the Grassmann graphsJ n d with q( , ) n≥3d ≥9,q≥ , or with 3 n≥3d+ ≥1 4 whenever
2
q= , and the bilinear forms graphsH n d with q( , ) n≥2d≥6,q≥ have been characterized 4 by Sprague [13], Huang [10] respectively.
… regarding the classes of maximal cliques as their lines, two incidence structures are derived from the distance-regular graph considered in the Main Theorem; note that any two points at distance 2 have(q+1)(α+ , i.e. 1) c in the theorem, common neighbors in both incidence 2
structures. (HFu38)
2-5 A pairs of incidence structures derived from Γ
A maximal clique in Γ with at least q vertices is called a grand clique. Let ,n x y V∈ Γ be ( ) adjacent andAx y, = ∪ , where S1 S2
1 ( 1( ) 1( )) ,
S = Γ x ∩Γ y − <x y>, and
2 { | , is adjacent to each point of }1
S = z z∈<x y> S
ThenAx y, , called the assembly determined by the adjacent pair x, y, is a clique. Let
L = the set of all grand clique of Γ , and
A = the set of all assemblies of Γ .
A pair of semilinear incidence structures Π =( ( ), , )V Γ L∈ and ( ( ), , )V Γ A∈ are considered by
Huang and Cuyper. The weak 4-vertex condition is used by Huang in the proof of 2.2 and 2.4 of [4]. (C20) However, the role played by the weak 4-vertex condition can be replaced by Hoffman bound and a result of Brouwer and Wilbrink. Indeed,
1. Proposition 2.2 of [4] is a direct consequence of the fact that (1−qd−1) /(q− is an 1) eigenvalue of the adjacency matrix (i.e., condition (1) of Theorem 1.3) and the following Hoffman bound (see [3]). (C20)
2. It remains to prove 2.4 of [4] without using the weak 4-vertex condition.
Proposition 2.4 (Γ1( )x ∩Γ1( ))y − <x y, >is a clique for any adjacent pair x and y.
Proposition 2.4 is a first step in attaching an affine structure to a subset of the form
1 1
(Γ ( )x ∩Γ ( )) { , }y ∪ x y for adjacent pair x and y which is essential in determining the structure of the subspaces of ∏ .
The above mentioned incidence structures have been considered by Brouwer and Wilbrink [1], even under weaker conditions. We then conclude that the incidence structure ∏ satisfies the dual of Pasch’s axiom, and hence Prop 2.4 follows. The proof of Theorem 1.3 as in [4] continues. Wilbrink and Brouwer [18] proved that certain semi-partial geometries with some weak restrictions on parameters satisfy the dual of Pasch’s axiom. (HFu37)
Theorem The semi-linear incidence structure ∏ =( ( ), , )V Γ L∈ satisfies the following
properties;
1. each point of Γ is contained in exactly γ =(qd −1) /(q− lines, and 1)
2. each pair of adjacent points x, y is contained in exactly one line, denoted by x y, . 3. every line contains q points; n
4. a point x is adjacent to 0 or q points on a line not containing x;
5. for any two non-adjacent points x and y we have Γ1( )x ∩ Γ1( )y =0 or q q( + . 1) Moreover, Γ is the adjacency graph of ∏ .
We then show that the restriction of ∏ toAx y, is an affine space of dimension d overGF q , ( ) which is the first in determining the structure of the subspaces of ∏ . (H6)
Theorem The incidence structure ( ( ), , )V Γ A∈ is a semi-linear incidence structure with Γ as its
collinearity graph, having many properties in common with ( ( ), , )V Γ A∈ .
The crucial observation in the proof of Theorem 1.2 (C). With the lines of ∏ playing the role of the assemblies for ( ( ), , )V Γ A∈ , we can prove similar results. (C19)
We recall that the 2-spaces of any assembly are affine plane of order q. To prove that the
assembly is indeed isomorphic to a d-dimensional affine space overGF q . (C18) The structure ( ) of 2-spaces of∏ is studied in Section 4 in terms of the structure of assemblies obtained in the last section. (H10), we show that any 2-space of ∏ is a net. Further properties about parallel lines, which are essential to subsequent development of the structure of 2-spaces of ∏ . (H10)
Any 3-space of ∏ is a ( , ,3)n q -attenuated space is proved in Proposition 5.2 , which provides a starting point of the induction argument. We finally show that ∏ =( ( ), )V Γ L is a d-net. (H13)
Sections 4 and 5 of Huang [12] provide the rest of the proof; precisely,
- the definition of parallelism between blocks, and the characterization of planes as net are exactly the same of Section 4 of [12];
- the intersection of two subspaces is a subspace (D2) follows from the assumption of connectedness of intersection between subspaces.
- two planes in a 3-space are disjoint or intersect in a block (D3) is exactly the same as Proposition 5.2 of [12]. (B53)
3. Searching for cospectral mates and distance regular mates of bilinear forms graphs
Recently, a non-distance-regular cospectral mate and a non-vertex-transitive distance-regular mates for the Grassmann graphJ n d with q( , ) n≥ + ≥d 3 6or with n= + ≥d 1 3 respectively were given by E.R. van Dam and J.H.Koolen, and by E.R. van Dam, W.H. Haemer, J.H. Koolen and E. Spence respectively. From the view point that J n d is the point graph of the projective q( , )
incidence structures , ; 1 V V d d ⎛⎡ ⎤ ⎡ ⎤ ⎞ ⊇ ⎜⎢ ⎥ ⎢ − ⎥ ⎟ ⎣ ⎦ ⎣ ⎦ ⎝ ⎠, , 1 ; V V d d ⎛⎡ ⎤ ⎡ ⎤ ⎞ ⊆ ⎜⎢ ⎥ ⎢ + ⎥ ⎟ ⎣ ⎦ ⎣ ⎦
⎝ ⎠, and the bilinear form graph ( , )
q
H n d is the collinearity graph of the attenuated space
(
ℑd( ,V W),ℑd−1( ,V W);⊇)
, we may wonder whether similar situations hold for the bilinear forms graphsH n d due to the close q( , ) relationship between the projective incidence structures and the attenuated spaces,.Some necessary backgrounds and some proposal are collected for references.
[DK05] E.R. van Dam and J.H.Koolen, A new family of distance-regular graphs with unbounded diameter, Invent. Math. 162, 189-193 (2005)
[DH 06] E.R. van Dam, W.H. Haemer, J.H. Koolen and E. Spence, Characterizing distance-regularity of graphs by the spectrum, JCT A 113 (2006) 1805-1820.
3-1 some known facts about the Grassmann graphJ n d q( , ) Let V =Fqn, consider the semilinear incidence structures
1 , ; 1 V V d d π =⎛⎜⎡ ⎤ ⎡⎢ ⎥ ⎢ ⎤⎥ ⊇⎞⎟ − ⎣ ⎦ ⎣ ⎦ ⎝ ⎠, 2 , 1 ; V V d d π =⎛⎜⎡ ⎤ ⎡⎢ ⎥ ⎢ ⎤⎥ ⊆⎞⎟ + ⎣ ⎦ ⎣ ⎦ ⎝ ⎠
1. . for the incidence structure 1 , ; 1 V V d d π =⎛⎜⎡ ⎤ ⎡⎢ ⎥ ⎢ ⎤⎥ ⊇⎞⎟ − ⎣ ⎦ ⎣ ⎦ ⎝ ⎠ a. there are n d ⎡ ⎤ ⎢ ⎥
⎣ ⎦ points and there are 1
n d
⎡ ⎤
⎢ − ⎥
⎣ ⎦ lines.
b. each line is incident to ( 1) 1
( 1) 1 n d n d d d − − − + ⎡ ⎤ ⎡ ⎤ = ⎢ − − ⎥ ⎢ ⎥
⎣ ⎦ ⎣ ⎦ points, and each point is incident to
1 1 d d d ⎡ ⎤ ⎡ ⎤ = ⎢ − ⎥ ⎢ ⎥ ⎣ ⎦ ⎣ ⎦ lines.
c. two points are collinear if and only if they meet in an (d− -dimensional subspace. 1)
d. the point graph is the Grassmann graph J n d with the adjacency matrix of q( , )
1 t d
NN − ⎢ ⎥⎡ ⎤I
2. for the incidence structure 2 , ; 1 V V d d π =⎛⎜⎡ ⎤ ⎡⎢ ⎥ ⎢ ⎤⎥ ⊆⎞⎟ + ⎣ ⎦ ⎣ ⎦ ⎝ ⎠ a. there are n d ⎡ ⎤ ⎢ ⎥
⎣ ⎦ points, and there are 1
n d
⎡ ⎤
⎢ + ⎥
⎣ ⎦ lines.
b. each line is incident to 1 1
1 d d d + + ⎡ ⎤ ⎡= ⎤ ⎢ ⎥ ⎢ ⎥
⎣ ⎦ ⎣ ⎦ points, and each point is incident to
( 1) 1 n d n d d d − − ⎡ ⎤ ⎡= ⎤ ⎢ − − ⎥ ⎢ ⎥ ⎣ ⎦ ⎣ ⎦ lines.
c. two points are collinear if and only if they together generate a d+1 subspace, and hence they
meet in an (d− -dimensional subspace. 1)
d. the point graph is the Grassmann graph J n d with the adjacency matrix of q( , )
1 t n d
NN − ⎢⎡ − ⎤⎥I
⎣ ⎦ , where N is the point-line incidence matrix of π2.
3. The lines in π π1, 2 correspond to the two types of maximal cliques of the Grassmann graph ( , )
q
J n d respectively.
3-2 cospectral mates and distance-regular mate of the Grassmann graphJ n d q( , )
3-2 a. A non-distance-regular cospectral mate ofJ n d q( , ) in terms of the line graphs of some incidence structures:
[DH 06] E.R. van Dam, W.H. Haemer, J.H. Koolen and E. Spence, Characterizing distance-regularity of graphs by the spectrum, JCT A 113 (2006) 1805-1820.
1. the Grassmann graphJ n d is the line graph of the incidence structureq( , ) I n d : q( , )
Let n
q
V =F , consider the semilinear incidence structure ( , ) , ) 1 q V V I n d d d ⎛⎡ ⎤ ⎡ ⎤⎞ = ⎜⎢ − ⎥ ⎢ ⎥⎟ ⎣ ⎦ ⎣ ⎦ ⎝ ⎠
with the point-line incidence matrix N,
1. the point graph of I n d with adjacent matrix q( , ) 1 1 t n d
NN − ⎢⎡ − + ⎤⎥I
⎣ ⎦ is isomorphic to ( ,J n dq − 1)
2. the line graph of I n d with an adjacent matrix q( , )
1
t d
N N− ⎢ ⎥⎡ ⎤I
⎣ ⎦ is isomorphic to J n d . q( , ) Note that NN andt N N have the same nonzero eigenvalues; t
a. the point graph remains the same, and b. the number of lines, and the sizes of lines
remain the same, then the line graph ofC n d is cospectral with that of q( , ) I n d , i.e., the q( , ) Grassmann graphJ n d . q( , )
First we define the partial linear space C n d for q( , ) t≥1 in general, and then reduce to the special case that t=1. For n≥2d−1,d≥ , let 3 n
q
V =F , and H1,...,H be (2t d− - 2) dimensional subspaces of V such that dim(Hi∩Hj)≤ −d 1for i≠ . Consider the semilinear j
incidence structure ( , ) , 1 2 1 q V C n d L L d ⎛⎡ ⎤ ⎞ = ⎜⎢ − ⎥ ⎟ ⎣ ⎦ ⎝ ∪ ⎠ where 1 {( , ) | is a 2 dimensional subspace of i} L = S i S d− H
the line ( , )S i consists of all d−1 dimensional subspaces of H containing S; i
2 { | is a dimensional subspace not contained in any i}
L = T T d H
the line T consists of all its d−1 subspaces.
More explicitly,
lines ( , ), ( , )S i T j ∈ are adjacent in the line graph, L1
if i= and S Tj ∪ spans a (d− dimensional subspace, or 1) if Hi∩Hj is a (d− dimensional subspace containing S T1) ∪ . lines( , )S i ∈ and L1 T∈ are adjacent L2
if S⊆ and moreover T intersect T H in a (i d− dimensional subspace; 1)
lines T T, '∈ are adjacent if they intersect in a (L2 d− dimensional subspace. Q.E.D. 1)
Theorem The line graph of the semilinear spaceC n d is cospectral withq( , ) J n d , which is not q( , ) distance-regular.
Fort=1, ( ,1)U and W are not adjacent, and have at least 2
1 1
d
⎡ ⎤ ⎡ ⎤ ⋅ ⎢ ⎥ ⎢ ⎥
⎣ ⎦ ⎣ ⎦many common neighbors, while 2 2 2 1 c = ⎢ ⎥⎡ ⎤
⎣ ⎦ forJ n d , the line graph of q( , ) C n d is a non-distance-regular cospectral q( , ) with the Grassmann graphJ n d . q( , )
for example: there is a d-dimensional subspace W that intersectsH (say) in a1 (d− dimensional 2) subspace U and not contained in H for each i. i
Question: Do similar arguments work for the bilinear forms graphs in terms of the attenuated
spaces?
There is a correspondence between bipartite regular graphs with 5 eigenvalues and so called
partial geometric designs. Examples of the latter are transversal designs, and these form the key
to the construction of graphs cospectral with distance-regular antipodal covers of complete bipartite graphs.
The incidence structure between the two biparts of such a cover is a (square) resolvable
transversal deigns (also called a symmetric net). A transversal design is a design of points and lines, such that all blocks have the same size, each point is in the same number of blocks, and such that the points can be partitioned into groups, such that each block intersects each group in one point, and such that two points from different groups meet in a constant numberμpoints. Lemma [Lemma 9.3.2, BCN 269]
Let V be a vector space of dimension n overGF q , and 0( ) ≤i j, ≤ , then n
a. the number of m-subspaces is n
m
⎡ ⎤ ⎢ ⎥ ⎣ ⎦,
b. if X is a j-spaces of V, then there are preciselyqij n j i
−
⎡ ⎤
⎢ ⎥
⎣ ⎦ i-spaces Y in V such that X ∩Y =0.
c. if X is a j-spaces of V, then there are precisely q(i m)(j m) n j j
i m m
− − ⎡ − ⎤ ⎡ ⎤ ⎢ − ⎥ ⎢ ⎥
⎣ ⎦ ⎣ ⎦ i-spaces Y in V such that
X ∩ is an m-space. Y
3-2 b: a non-transitive distance-regular mate of the Grassmann graphJq(2e+1, )e
[DK05] E.R. van Dam and J.H.Koolen, A new family of distance-regular graphs with unbounded diameter, Invent. Math. 162, 189-193 (2005)
The case ( , )n d =(2e+1, )e
Let V =Fq2e+1 with a fixed hyperplane H, consider the semilinear incidence structure
3 , 1 2; # V L L e π = ⎜⎛⎡ ⎤⎢ ⎥ ⎞⎟ ⎣ ⎦ ⎝ ∪ ⎠ where 1 { | but } 1 V L A A A H e ⎡ ⎤ = ∈⎢ ⎥ ⊄ +
2 1 H L e ⎡ ⎤ = ⎢ − ⎥
⎣ ⎦ , the line B∈ is incident to the e-dimensional subspaces of H containing B. L2
Note that in the semilinear incidence structure 3 V ,L1 L2; #
e π = ⎜⎛⎡ ⎤⎢ ⎥ ⎞⎟ ⎣ ⎦ ⎝ ∪ ⎠ 1. there are 2e 1 e + ⎡ ⎤ ⎢ ⎥ ⎣ ⎦ points and 2e 1 e + ⎡ ⎤ ⎢ ⎥ ⎣ ⎦ lines; (check: 2 1 1 e e + ⎡ ⎤ ⎢ + ⎥ ⎣ ⎦ 2 1 e e ⎡ ⎤ − ⎢ + ⎥ ⎣ ⎦ 2 1 e e ⎡ ⎤ + ⎢ − ⎥ ⎣ ⎦ 2e 1 e + ⎡ ⎤ = ⎢ ⎥ ⎣ ⎦?) 2. each line is incident to 1
1
e+
⎡ ⎤
⎢ ⎥
⎣ ⎦ points, and each point is incident to 1 1 e+ ⎡ ⎤ ⎢ ⎥ ⎣ ⎦ lines; 3. two points are collinear if and only if they meet in an (e− -dimensional subspace. 1) 4. its point graph is the Grassmann graph Jq(2e+1, )e with 1
1 t e
NN − ⎢⎡ + ⎤⎥I
⎣ ⎦ as its adjacency matrix where N is the point-line incidence matrix of π3.
6. its the line graph (or called the block graph), with 1 1
t e
N N − ⎢⎡ + ⎤⎥I
⎣ ⎦ as its adjacency matrix, has the same spectrum as that of the Grassmann graphJq(2e+1, )e ,
becauseNN andt N N have the same nonzero eigenvalues. t
Theorem [ DK05]
Let G be the graph with vertex set
all(e+ -dimensional subspaces of V not contained in H, together with 1) the(e− -dimensional subspaces of H, where 1)
1. two vertices of the 1st kind are adjacent if they intersect in an e-dimensional subspace; 2. a vertex of the 1st kind is adjacent to a vertex of the 2nd kind if the first contains the second; 3. two vertices of the 2nd kind are adjacent if they intersect in an(e− dimensional subspaces. 2) Then G is distance-regular with the same parameters as that of the Grassmann graphJq(2e+1, )e , not vertex-transitive and hence not isomorphic toJq(2e+1, )e .
1. G is distance - regular
a. a graph cospectral with a distance-regular graph Γ with diameter e is itself distance
regular if for every vertex the number of vertices at distance e is the same as in Γ ; b. sincek in G is indeed the same as in the Grassmann graph, and hence G is e
distance-regular; c. the parameters of a distance-regular graph follows from its spectrum, G has the same
parameters asJq(2e+1, )e . 2. G is not vertex-transitive:
3-3 the bilinear forms graphH n d q( , ) Let V =Fqn d+ , and W V n ⎡ ⎤ ∈ ⎢ ⎥ ⎣ ⎦; moreover let ( , ) { | , with {0}} d V V W A A A W d ⎡ ⎤ ℑ = ∈⎢ ⎥ = ⎣ ⎦ ∩ , 1( , ) { | , with {0}} 1 d V V W A A A W d − ⎡ ⎤ ℑ = ∈⎢ ⎥ = − ⎣ ⎦ ∩
consider the semilinear incidence structureπ1 = ℑ
(
d( ,V W),ℑd−1( ,V W);⊇)
, called attenuated spaces.Note that
1. there are q points and nd ( 1)
1 n d d q − ⎡ ⎤ ⎢ ⎥
⎣ ⎦ lines in the semilinear incidence structure; 2. each line is incident to q points, and each point is incident to n
1 1 d d d ⎡ ⎤ ⎡ ⎤ = ⎢ − ⎥ ⎢ ⎥ ⎣ ⎦ ⎣ ⎦ lines; 3. two points are collinear if and only if they meet in an (d− -dimensional subspace. 1) 4. the point graph of π1 is the bilinear forms graph H n d with q( , )
1 t d NN I d ⎡ ⎤ − ⎢ − ⎥ ⎣ ⎦ as its adjacency graph where N is the point-line incidence matrix of π1.
.
3-4 candidates for distance-regular mate of the bilinear forms graphsH n d q( , ) (all need to be further checked)
3-4 a: Searching for cospectral mates of the the bilinear forms graphs
3-4 b: Searching for distance regular mates of the the bilinear forms graphs The case ( , )n d =(d+1, )d Let V Fq2d 1 + = , 1 V W d ⎡ ⎤ ∈ ⎢ + ⎥ ⎣ ⎦ and 2 V H d ⎡ ⎤ ∈ ⎢ ⎥
⎣ ⎦ with W ⊆H; moreover let
( , ) { | , and {0}} i V V W A A A W i ⎡ ⎤ ℑ = ∈⎢ ⎥ = ⎣ ⎦ ∩ , and { | , } 1 V B B B H d ⎡ ⎤ ℜ = ∈⎢ ⎥ ⊄ +
⎣ ⎦ (the condition B⊄H needs double checks!) Consider the semilinear incidence structure
(
)
2 d( ,V W), d 1(H W, ); # π = ℑ ℜ ℑ∪ − .
(The condition B⊄H considered in ℜ needs double checks, one check point is that 1
|ℜ + ℑ| | d−(H W, ) | = q .) nd
Note that
1. there are q points and … lines in nd π2;
2. each line is incident to q points, and each point is incident to n
1 1 d d d ⎡ ⎤ ⎡ ⎤ = ⎢ − ⎥ ⎢ ⎥ ⎣ ⎦ ⎣ ⎦ lines inπ2; 3. two points are collinear in π2 if and only if they meet in an (d− -dimensional subspace. 1) 4. the point graph of π2 is the bilinear forms graphH n d with q( , )
1 t d NN I d ⎡ ⎤ − ⎢ − ⎥ ⎣ ⎦ as its adjacency matrix where N is the point-line incidence matrix of π2.
5. the line graph G of π2 is defined on the vertex set consisting of all (d+ -dimensional 1) subspaces of V not contained in H, together with the (d− -dimensional subspaces of H 1) meeting trivially with W, where
1. two vertices of the 1st kind are adjacent if they intersect in an e-dimensional subspace; 2. a vertex of the 1st kind is adjacent to a vertex of the 2nd kind if the first contains the 2nd; 3. two vertices of the 2nd kind are adjacent if they intersect in an (d− dimensional subspaces. 2)
Claim: the line graph G is distance-regular with the same parameters as that of the bilinear form graphH dq( +1, )d , not vertex-transitive and hence not isomorphic toH dq( +1, )d .
3.5 A non-distance-regular cospectral mate of ( , )J n d
E.R. van Dam, W.H. Haemers, J. H. Koolen, E. Spence,
Journal of Combinatorial Theory Series A 113 (2006) 1805-1820
A constructions of cospectral mates in terms of switching tool by Godsil and McKay:
Theorem [Godsil switching G82]Let G be a graph and let ∏ = { ,D C C1, 2,...,Cm} be a partition of the vertex set of G. Suppose that
1.{ ,C C1 2,...,Cm} is a regular partition of ( )V G − ; D
2. every vertex x∈Dand everyi∈{1, 2,..., }m , x has either 0, 1
2|C or |i| C neighbors ini| C . i Make a new graph H as follows:
for eachx∈Dandi∈{1, 2,..., }m such that x has1
2|C neighbors ini| C , delete the i corresponding 1
2|C edges and join x instead to thei| 1
2|C other vertices in |i| C . i| Then G and H have the same spectrum.
Theorem The Johnson graph J n d with ( , ) n≥ + ≥d 3 4 has a non-distance regular cospetral mate.
Question: Does Godsil switching preserve the walk-regularity of graphs?
Reference:
[BI84] E. Bannai and T. Ito, Algebraic Combinatorics I: Association Schemes, Benjamin/Cummings 1984
[BM03] G. Bonoli, N. Melone, A Characterization of Grassman and Atteenuated Spaces as (0, )α -Geometries, Europ. J. Combinatorics (2003)24, 489-498.
[Cu92] Hans Cuypers, Two Remarks on Huang’s Characterization of the Bilinear Forms Graphs Europ. J. Combinatorics (1992)13, 33-37.
[CW06] F. de Clerck, S. De Winter E. Kujiken and C. Tonesi, Distance-Regular (0, )α -Reguli, Designs, Codes and Cryptography 38 (2006) 179-194.
[FH94] T.S. Fu and T. Huang, A Unified Approach to a Characterization of Grassamn graphs and bilinear forms graphs, Europ. J. Combinatorics (1994)15, 363-373.
[H87] Tayuan Hunag, A Characterization of the Association Schemes of Bilinear Forms Europ. J. Combinatorics (1987)8, 159-173
[HW04] Wen-ling Huang and Zhe-Xian Wan, Adjacency Preserving Mappings of Rectangular Matrices, Beitrage zur Algebra und Geometrie, Contribution to Algebra and Geometry Volume 45(2004) No.2, 435-446
[Me99] Klaus Metsch, On a Characterization of Bilinear Forms Graphs, Europ. J. Combinatorics (1999)20, 293-306.
[RS79] D.K.Ray-Chaudhuri and Alan Sprague, A Combinatorial Characterization of Attenuated Spaces , Util. Mathematics 15 (1979) 3-29.
[Sp81] Alan P. Sprague, Incidence Structures whose Planes are Nets, Europ. J. Combinatorics (1981)2, 193-204
[W96] Zhe-Xian Wan, Geometry of Matrices: In Memory of Professor L.K. Hua (1910-1985), 443-453 in: Progress in Algebraic Combinatorics, Advanced Studied in Pure Mathematics 24, 1996.
98 年度專題研究計畫研究成果彙整表
計畫主持人:黃大原 計畫編號: 98-2115-M-009-013-計畫名稱:關於圖形的值譜及其距離正則性的研究 量化 成果項目 實際已達成 數(被接受 或已發表) 預期總達成 數(含實際已 達成數) 本計畫實 際貢獻百 分比 單位 備 註 ( 質 化 說 明:如 數 個 計 畫 共 同 成 果、成 果 列 為 該 期 刊 之 封 面 故 事 ... 等) 期刊論文 0 0 100% 研究報告/技術報告 0 0 100% 研討會論文 0 0 100% 篇 論文著作 專書 0 0 100% 申請中件數 0 0 100% 專利 已獲得件數 0 0 100% 件 件數 0 0 100% 件 技術移轉 權利金 0 0 100% 千元 碩士生 0 0 100% 博士生 0 0 100% 博士後研究員 0 0 100% 國內 參與計畫人力 (本國籍) 專任助理 0 0 100% 人次 期刊論文 0 0 100% 研究報告/技術報告 0 0 100% 研討會論文 0 0 100% 篇 論文著作 專書 0 0 100% 章/本 申請中件數 0 0 100% 專利 已獲得件數 0 0 100% 件 件數 0 0 100% 件 技術移轉 權利金 0 0 100% 千元 碩士生 0 0 100% 博士生 0 0 100% 博士後研究員 0 0 100% 國外 參與計畫人力 (外國籍) 專任助理 0 0 100% 人次其他成果