Åo»I. õºÝÞ@~iW ×
i_rNSC 89-2115-M-009-033
Ƨ89O8`1^90O7`31^
x¹ßZ
»ñø;.Tàó.
weng@math.nctu.edu.tw
90
O9`28^
× × ×ZZZ``` Γ = (X, R) ×à5K 3 ÝûÒ ÑJ%, M ÎÍ Bose-Mesner ó. ü ×ÃF x ∈ X, T Î Γ Ey9ÃFÝ T erwilliger ó. E∗ i (0 ≤ i ≤ D) Γ 8Ey x ÝÏ i Í gx, C V Γ Ýýã T ÿ. ' v ∈ E∗ 1V ×kày ÐF 0 Ý;V T ÿÝ& 0 '. (M; v) = {P ∈ M|P v ∈ E∗ DV }. |ìËB : (i) (M; v) Ýî 2. (ii) Mv Î×ÐF 1 Ý;V T ßÿ. #½, ' î « (i)-(ii) W ñ, v α ÎE∗ 1AE1∗ 8ETy v Ý©ÇÂ. J (M; v)b×Ã9 {J, E}, ÍE ×8ETy
e α = ( ∞ α = −1, −1 − b1 1+α otherwise. Ýa. n n n"""ÞÞÞ T erwilliger ó; g; a .
Abstract: Let Γ = (X, R) denote a distance-regular graph with diameter D ≥ 3. Let M denote the Bose-Mesner algebra of Γ. Fix a base vertex x ∈ X, and let T denote the Ter-williger algebra of Γ with respect to x. Let E∗ i
(0 ≤ i ≤ D) denote the ith dual idempotent of Γ with respect to x. Let V denote the stan-dard T-module of Γ. Suppose v ∈ E∗
1V is a
nonzero vector which is orthogonal to the ir-reducible T-module of endpoint 0. Let (M; v) denote the subspace {P ∈ M|P v ∈ E∗
DV } of
M. Then the following (i)-(ii) are equivalent.
(i) (M; v) has dimension 2.
(ii) Mv is a thin irreducible T-module of endpoint 1.
Furthermore, suppose (i)-(ii) hold, and let α be the eigenvalue of E∗
1AE1∗ associated with
with v. Then (M; v) has a basis {J, E}, where
E is a pseudo idempotent associated with
e α = ( ∞ α = −1, −1 − b1 1+α otherwise.
Keywords: Terwilliger algebra; dual idem-potent; pseudo idempotent.
ÞÞÞ```ãããêêêÝÝÝ ×ßy@~Z¤ [5] `ÝÕ&9å ÛûÒÑJ%ÝP², ©½Î9v%îÝ T erwilliger ÿ ÝP². !`&Æôs¨9 v%ÝxE9° T erwilliger ÿÝ@ ~, 6¥, ô.h9v%ÝÐF 1 Ý T erwilliger ÿ|WÑ. ãy T erwilliger ÿ&9ß@~, A [3], [4], [5], [6], [8], [11], .h&ÆXãh6á, 5 ºÝ, &Æ.ÂÝ [5] Ý, EXbûÒÑ J% , âF 1 Ý T erwilliger ÿb× MÝÝ. ëëëDDD¡¡¡ 1
Z`Ý/Î&ÆxÝs¨, 4Q EâF 1 Ý T erwilliger ÿ, &ÆÎ Ý, ¬&ÆKá¼, 39]«@~, b×v&ÆÞÍL aÝÎp6& ð¥Ý. 9aÎxQ Ý.Â. &ÆEy%`ÎaºW x , ôbÑ. ° ° °WWWÝÝÝ hiÝÞ¶W×S¡Z, ±s¨ Ýa¶°xbµ@~ÝÂ. . xÝ¿]y , aôb× °?ݶ°P². ¨²Âÿ@~, ÎÍb× vûÒÑJ%, ÆÎåÛûÒÑJ%Ý Q.Â, ÍÑôQÝW÷? " " "¢¢¢ZZZ¤¤¤
[1 ] E. Bannai and T. Ito, Algebraic
Com-binatorics I, Benjamin-Cummings,
Cal-ifornia, 1984.
[2 ] A.E. Brouwer, A. M. Cohen, and A. Neumaier, Distance-Regular Graphs, Spring-Verlag, Berlin, 1989.
[3 ] B. Curtin, Bipartite distance-regular graphs I, Graphs Combin., 15(2):143-158, 1999.
[4 ] B. Curtin, Bipartite distance-regular graphs II, Graphs Combin., 15(4):377-391, 1999.
[5 ] J. Go, Tight distance-regular graphs and the Terwilliger algebra, preprint [6 ] S. Hobart and T. Ito, The
struc-ture of nonthin irreducible T-modules of endpoint 1: ladder bases and classi-cal parameters, J. Algebraic Combin., 7(1):53-75, 1998.
[7 ] P. Terwilliger, A new feasibility con-dition for distance-regular graphs,
Dis-crete Math., 61:311-315, 1986.
[8 ] P. Terwilliger, The subconstituent algebra of an association scheme I,
Journal of Algebraic Combinatorics,
1(4):363-388, 1992.
[9 ] P. Terwilliger, The subconstituent algebra of an association scheme II,
Journal of Algebraic Combinatorics,
2(1):73-103, 1993.
[10 ] P. Terwilliger, The subconstituent algebra of an association scheme III,
Journal of Algebraic Combinatorics,
2(2):177-210, 1993.
[11 ] P. Terwilliger, The subconstituent al-gebra of a distance-regular graph; thin modules with endpoint one, preprint