## The Terwilliger algebra of the hypercube.(English)Zbl 0997.05097

Let $$Q_D$$ be a hypercube of dimension $$D$$ with the vertex set $$X$$. Fix a vertex $$x\in X$$, and let $$T=T(x)$$ denote the associated Terwilliger algebra. It is proved that (1) $$T$$ is the subalgebra of $$\text{Mat}_X({\mathbf C})$$ generated by the adjacency matrix $$A$$ and a diagonal matrix $$A^*$$ with $$yy$$ entry $$D-\partial(x,y)$$ for all $$y\in X$$ (Lemma 3.8); (2) $$A^2A^*-2AA^*A+A^*A^2=4A^*$$, $$(A^*)^2A-2A^*AA^*+A(A^*)^2=4A$$ (Theorem 4.2); (3) $$\dim(T)=(D+3)(D+2)(D+1)/6$$ (Corollary 14.15); (4) let $$\phi=(1/8)(A(A^*)^2A+A^*A^2A^*-(AA^*)^2-(A^*A)^2+4A^2+4(A^*)^2)$$, $$\gamma=\lfloor D/2\rfloor$$, $$\alpha_r=(D-2r)(D-2r+2)/2$$ ($$0\leq r\leq \gamma$$, $$\phi_r=f_r(\phi)$$, where $$f_r\in {\mathbf C}[\lambda]$$ is given by $$f_r=\prod_{i\in \{0,\dots ,\gamma\}-r}(\lambda-\alpha_i)/(\alpha_r-\alpha_i))$$ then (i) $$\phi_0+\cdots +\phi_\gamma=I$$, (ii) $$\phi_r\phi_s=\delta_{rs}\phi_r$$, and (iii) $$\phi_0,\dots ,\phi_\gamma$$ is a basis for the center of $$T$$ (Theorem 14.10).

### MSC:

 5e+30 Association schemes, strongly regular graphs

### Keywords:

association schemes; Terwilliger algebra; hypercube
Full Text:

### References:

 [1] Balmaceda, J.M.P.; Oura, M., The Terwilliger algebras of the group association schemes of S5and A5, Kyushu J. math., 48, 221-231, (1994) · Zbl 0821.05059 [2] Bannai, E.; Ito, T., Algebraic combinatorics I: association schemes, (1984), Benjamin/Cummings London · Zbl 0555.05019 [3] Bannai, E.; Munemasa, A., The Terwilliger algebras of group association schemes, Kyushu J. math., 49, 93-102, (1995) · Zbl 0839.05095 [4] Brouwer, A.E.; Cohen, A.M.; Neumaier, A., Distance-regular graphs, (1989), Springer Berlin · Zbl 0747.05073 [5] Caughman IV, J.S., The Terwilliger algebra for bipartite P - and Q -polynomial association schemes, Discrete math., 196, 65-95, (1999) · Zbl 0924.05067 [6] Collins, B.V.C., The girth of a thin distance-regular graph, Graphs comb., 13, 21-34, (1997) [7] Collins, B.V.C., The Terwilliger algebra of an almost-bipartite distance-regular graph and its antipodal 2-cover, Discrete math., 216, 35-69, (2000) · Zbl 0955.05113 [8] Curtin, B., Bipartite distance-regular graphs I, Graphs comb., 15, 143-157, (1999) · Zbl 0927.05083 [9] Curtin, B., Bipartite distance-regular graphs II, Graphs comb., 15, 377-391, (1999) · Zbl 0939.05088 [10] Curtin, B., Distance-regular graphs which support a spin model are thin, 16th british combinatorial conference (London, 1997), Discrete math., 197/198, 205-216, (1999) · Zbl 0929.05095 [11] Curtin, B.; Nomura, K., Distance-regular graphs related to quantum enveloping algebra of (sl(2)), J. algebr. comb., 12, 25-36, (2000) · Zbl 0967.05067 [12] Curtis, C.W.; Reiner, I., Representation theory of finite groups and associative algebras, (1962), Interscience New York · Zbl 0131.25601 [13] Diaconis, P.; Graham, R., An affine walk on the hypercube: asymptotic methods in analysis and combinatorics, J. comput. appl. math., 41, 215-235, (1992) · Zbl 0754.60074 [14] Diaconis, P.; Graham, R.; Morrison, J., Asymptotic analysis of a random walk on a hypercube with many dimensions, Random struct. algorithms, 1, 51-72, (1990) · Zbl 0723.60085 [15] Dickie, G., Twice Q -polynomial distance-regular graphs are thin, Europ. J. combinatorics, 16, 555-560, (1995) · Zbl 0852.05085 [16] Dickie, G.; Terwilliger, P., A note on thin P -polynomial and dual-thin Q -polynomial symmetric association schemes, J. algebr. comb., 7, 5-15, (1998) · Zbl 0898.05084 [17] E. Egge, A generalization of the Terwilliger algebra, J. Algebra, to appear. · Zbl 0960.05108 [18] Godsil, C.D., Algebraic combinatorics, (1993), Chapman and Hall New York · Zbl 0814.05075 [19] Hobart, S.A.; Ito, T., The structure of nonthin irreducible T -modules: ladder bases and classical parameters, J. algebr. comb., 7, 53-75, (1998) · Zbl 0911.05059 [20] Ishibashi, H., The Terwilliger algebras of certain association schemes over the Galois rings of characteristic 4, Graphs comb., 12, 39-54, (1996) · Zbl 0852.05081 [21] Proctor, R.A., Representation of sl2(C) on posets and the sperner property, SIAM J. algebr. discrete methods, 3, 275-280, (1982) · Zbl 0496.06004 [22] Sloane, N.J.A., An introduction to association schemes and coding theory, Theory and application of special functions, 35, 225-260, (1975) · Zbl 0333.94001 [23] Tanabe, K., The irreducible modules of the Terwilliger algebras of Doob schemes, J. algebr. comb., 6, 173-195, (1997) · Zbl 0868.05056 [24] Terwilliger, P., The subconstituent algebra of an association scheme I, J. algebr. comb., 1, 363-388, (1992) · Zbl 0785.05089 [25] Terwilliger, P., The subconstituent algebra of an association scheme II, J. algebr. comb., 2, 73-103, (1993) · Zbl 0785.05090 [26] Terwilliger, P., The subconstituent algebra of an association scheme III, J. algebr. comb., 2, 177-210, (1993) · Zbl 0785.05091 [27] Tomiyama, M.; Yamazaki, N., The subconstituent algebra of a strongly regular graph, Kyushu J. math., 48, 323-334, (1994) · Zbl 0842.05098
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.