arXiv++ Combinatorics

We describe explicitly the algebraic structure of the Terwilliger algebra of wreath products of cyclic schemes.

We give a full description of the algebraic structures of the Bose-Mesner algebra and Terwilliger algebra of the wreath product of one-class association schemes.

Let Gamma be a Q-polynomial distance-regular graph with vertex set X, diameter D geq 3 and adjacency matrix A. Fix x in X and let A*=A*(x) be the corresponding dual adjacency matrix. Recall that the Terwilliger algebra T=T(x) is the subalgebra of Mat_X(C) generated by A and A*. Let W denote a thin irreducible T-module. It is known that the action of A and A* on W induces a linear algebraic object known as a Leonard pair. Over the past decade, many results have been obtained concerning Leonard pairs. In this paper, these results will be applied to obtain a detailed description of W. In particular, we give a description of W in terms of its intersection numbers, dual intersection numbers and parameter array. Finally, we apply our results to the case in which Gamma has q-Racah type or classical parameters.

The de Bruijn-Tengbergen-Kruyswijk (BTK) construction is a simple algorithm that produces an explicit symmetric chain decomposition of a product of chains. We linearize the BTK algorithm and show that it produces an explicit symmetric Jordan basis (SJB). In the special case of a Boolean algebra the resulting SJB is orthogonal with respect to the standard inner product and, moreover, we can write down an explicit formula for the ratio of the lengths of the successive vectors in these chains (i.e., the singular values). This yields a new, constructive proof of the explicit block diagonalization of the Terwilliger algebra of the binary Hamming scheme. We also give a representation theoretic characterization of this basis that explains its orthogonality, namely, that it is the canonically defined (upto scalars) symmetric Gelfand-Tsetlin basis.

We first summarize the basic structure of the outer distribution module of a completely regular code. Then, employing a simple lemma concerning eigenvectors in association schemes, we propose to study the tightest case, where the indices of the eigenspace that appear in the outer distribution module are equally spaced. In addition to the arithmetic codes of the companion paper, this highly structured class includes other beautiful examples and we propose the classification of $Q$-polynomial completely regular codes in the Hamming graphs. A key result is Theorem 3.10 which finds that the $Q$-polynomial condition is equivalent to the presence of a certain Leonard pair. This connection has impact in two directions. First, the Leonard pairs are classified and we gain quite a bit of information about the algebraic structure of any code in our class. But also this gives a new setting for the study of Leonard pairs, one closely related to the classical one where a Leonard pair arises from each thin/dual-thin irreducible module of a Terwilliger algebra of some $P$- and $Q$-polynomial association scheme, yet not previously studied. It is particularly interesting that the Leonard pair associated to some code $C$ may belong to one family in the Askey scheme while the distance-regular graph in which the code is found may belong to another.

For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies for coding bounds using moment matrices. We give a computationally efficient block diagonalization of A in terms of a given block diagonalization of B, and work out some examples, including the Terwilliger algebra of the binary- and nonbinary Hamming cube. As a tool we use some basic facts about representations of the symmetric group.

Association schemes were originally introduced by Bose and his co-workers in the design of statistical experiments. Since that point of inception, the concept has proved useful in the study of group actions, in algebraic graph theory, in algebraic coding theory, and in areas as far afield as knot theory and numerical integration. This branch of the theory, viewed in this collection of surveys as the "commutative case," has seen significant activity in the last few decades. The goal of the present survey is to discuss the most important new developments in several directions, including Gelfand pairs, cometric association schemes, Delsarte Theory, spin models and the semidefinite programming technique. The narrative follows a thread through this list of topics, this being the contrast between combinatorial symmetry and group-theoretic symmetry, culminating in Schrijver's SDP bound for binary codes (based on group actions) and its connection to the Terwilliger algebra (based on combinatorial symmetry). We propose this new role of the Terwilliger algebra in Delsarte Theory as a central topic for future work.

In this paper, we study the subconstituent algebras, also called as Terwilliger algebras, of association schemes that are obtained as the wreath product of one-class association schemes $K_n=H(1, n)$ for $n\ge 2$. We find that the $d$-class association scheme $K_{n_{1}}\wr K_{n_{2}} \wr ... \wr K_{n_{d}}$ formed by taking the wreath product of $K_{n_{i}}$ has the triple-regularity property. We determine the dimension of the Terwilliger algebra for the association scheme $K_{n_{1}}\wr K_{n_{2}}\wr ... \wr K_ {n_{d}}$. We give a description of the structure of the Terwilliger algebra for the wreath power $(K_n)^{\wr d}$ for $n \geq 2$ by studying its irreducible modules. In particular, we show that the Terwilliger algebra of $(K_n)^{\wr d}$ is isomorphic to $M_{d+1}(\mathbb{C})\oplus M_1(\mathbb{C})^{\oplus \frac12d(d+1)}$ for $n\ge3$, and $M_{d+1}(\mathbb{C})\oplus M_1(\mathbb{C})^{\oplus \frac12d(d-1)}$ for $n=2$.

Let $Γ$ denote a distance-regular graph with diameter $D \ge 3$. Assume $Γ$ has classical parameters $(D,b,α,β)$ with $b < -1$. Let $X$ denote the vertex set of $Γ$ and let $A \in MX$ denote the adjacency matrix of $Γ$. Fix $x \in X$ and let $A^* \in MX$ denote the corresponding dual adjacency matrix. Let $T$ denote the subalgebra of $MX$ generated by $A, A^*$. We call $T$ the {\em Terwilliger algebra} of $Γ$ with respect to $x$. We show that up to isomorphism there exist exactly two irreducible $T$-modules with endpoint 1; their dimensions are $D$ and $2D-2$. For these $T$-modules we display a basis consisting of eigenvectors for $A^*$, and for each basis we give the action of $A$

This paper is a tutorial in a general and explicit procedure to simplify semidefinite programs which are invariant under the action of a symmetry group. The procedure is based on basic notions of representation theory of finite groups. As an example we derive the block diagonalization of the Terwilliger algebra of the binary Hamming scheme in this framework. Here its connection to the orthogonal Hahn and Krawtchouk polynomials becomes visible.

Let $V$ denote a vector space over C with finite positive dimension. By a {\em Leonard triple} on $V$ we mean an ordered triple of linear operators on $V$ such that for each of these operators there exists a basis of $V$ with respect to which the matrix representing that operator is diagonal and the matrices representing the other two operators are irreducible tridiagonal. Let $D$ denote a positive integer and let $Q_D$ denote the graph of the $D$-dimensional hypercube. Let $X$ denote the vertex set of $Q_D$ and let $A$ denote the adjacency matrix of $Q_D$. Fix $x \in X$ and let $A^*$ denote the corresponding dual adjacency matrix. Let $T$ denote the subalgebra of $Mat_X(C)$ generated by $A, A^*$. We refer to $T$ as the {\em Terwilliger algebra of} $Q_D$ {\em with respect to} $x$. The matrices $A$ and $A^*$ are related by the fact that $2 \im A = A^* A^e - A^e A^*$ and $2 \im A^* = A^e A - A A^e$, where $2 \im A^e = A A^* - A^* A$ and $\im^2=-1$. We show that the triple $A$, $A^*$, $A^e$ acts on each irreducible $T$-module as a Leonard triple. We give a detailed description of these Leonard triples.

We use the Terwilliger algebra to provide a new approach to the Assmus-Mattson theorem. This approach also includes another proof of the minimum distance bound shown by Martin as well as its dual.

Let $Y$ denote a $D$-class symmetric association scheme with $D \geq 3$, and suppose $Y$ is almost-bipartite P- and Q-polynomial. Let $x$ denote a vertex of $Y$ and let $T=T(x)$ denote the corresponding Terwilliger algebra. We prove that any irreducible $T$-module $W$ is both thin and dual thin in the sense of Terwilliger. We produce two bases for $W$ and describe the action of $T$ on these bases. We prove that the isomorphism class of $W$ as a $T$-module is determined by two parameters, the dual endpoint and diameter of $W$. We find a recurrence which gives the multiplicities with which the irreducible $T$-modules occur in the standard module. We compute this multiplicity for those irreducible $T$-modules which have diameter at least $D-3$.

Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$ and Bose-Mesner algebra $M$. For $θ\in C\cup \infty$ we define a 1 dimensional subspace of $M$ which we call $M(θ)$. If $θ\in C$ then $M(θ)$ consists of those $Y$ in $M$ such that $(A-θI)Y\in C A_D$, where $A$ (resp. $A_D$) is the adjacency matrix (resp. $D$th distance matrix) of $Γ.$ If $θ= \infty$ then $M(θ)= C A_D$. By a {\it pseudo primitive idempotent} for $θ$ we mean a nonzero element of $M(θ)$. We use pseudo primitive idempotents to describe the irreducible modules for the Terwilliger algebra, that are thin with endpoint one.