arXiv++ Combinatorics

Terwilliger algebras are a subalgebra of a matrix algebra that are constructed from association schemes over finite sets. In 2010, Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative. In that paper she gave five equivalent conditions for a Terwilliger algebra to be almost commutative. In this paper, we provide a classification of which groups result in an almost commutative Terwilliger algebra when looking at the group association scheme (the Schur ring generated by the conjugacy classes of the group). In particular, we show that all such groups are either abelian, or Camina groups. Following this classification, we then compute the dimension and non-primary primitive idempotents for each Terwilliger algebra of this form for the first three types of groups whose group association scheme gives an almost commutative Terwilliger algebra. The final case will be considered in a second paper.

This paper delves into the Terwilliger algebra associated with the ordered Hamming scheme, which extends from the wreath product of one-class association schemes and was initially introduced by Delsarte as a natural expansion of the Hamming schemes. Levstein, Maldonado and Penazzi have shown that the Terwilliger algebra of the Hamming scheme of length $n$ is the $n$-fold symmetric tensor algebra of that of the one-class association scheme. Furthermore, Bhattacharyya, Song and Tanaka have established that the Terwilliger algebra of the wreath product of a one-class association scheme is a direct sum of the ``primary'' subalgebra and commutative subalgebras. This paper extends these findings to encompass both conclusions.

The Terwilliger algebras of asymmetric association schemes of rank $3$, whose nonidentity relations correspond to doubly regular tournaments, are shown to have thin irreducible modules, and to always be of dimension $4k+9$ for some positive integer $k$. It is determined that asymmetric rank $3$ association schemes of order up to $23$ are determined up to combinatorial isomorphism by the list of their complex Terwilliger algebras at each vertex, but this no longer true at order $27$. To distinguish order $27$ asymmetric rank $3$ association schemes, it is shown using computer calculations that the list of rational Terwilliger algebras at each vertex will suffice.

The Terwilliger algebras of association schemes over an arbitrary field $\mathbb{F}$ were called the Terwilliger $\mathbb{F}$-algebras of association schemes in [8]. In this paper, we study the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. We determine the $\mathbb{F}$-dimensions, the centers, the semisimplicity, the Jacobson radicals, and the algebraic structures of the Terwilliger $\mathbb{F}$-algebras of factorial association schemes.

In 1992, Terwilliger introduced the notion of the \emph{Terwilliger algebra} in order to study association schemes. The Terwilliger algebra of an association scheme $\mathcal{A}$ is the subalgebra of the complex matrix algebra, generated by the \emph{Bose-Mesner algebra} of $\mathcal{A}$ and its dual idempotents with respect to a point $x$. In [{\em Kyushu Journal of Mathematics}, 49(1):93--102, 1995] Bannai and Munemasa determined the dimension of the Terwilliger algebra of abelian groups and dihedral groups, by showing that they are triply transitive (i.e., triply regular and dually triply regular). In this paper, we give a generalization of their results to the group association scheme of semidirect products of the form $C_n\rtimes C_2$, where $C_m$ is a cyclic group of order $m\geq 2$. Moreover, we will give the complete characterization of the Wedderburn components of the Terwilliger algebra of these groups.

Let $Γ=(X,\mathcal{R})$ denote a finite, simple, connected, and undirected non-bipartite graph with vertex set $X$ and edge set $\mathcal{R}$. Fix a vertex $x \in X$, and define $\mathcal{R}_f = \mathcal{R} \setminus \{yz \mid \partial(x,y) = \partial(x,z)\}$, where $\partial$ denotes the path-length distance in $Γ$. Observe that the graph $Γ_f=(X,\mathcal{R}_f)$ is bipartite. We say that $Γ$ supports a uniform structure with respect to $x$ whenever $Γ_f$ has a uniform structure with respect to $x$ in the sense of Miklavič and Terwilliger \cite{MikTer}. Assume that $Γ$ is a distance-regular graph with classical parameters $(D,q,α,β)$ and diameter $D\geq 4$. Recall that $q$ is an integer such that $q \not \in \{-1,0\}$. The purpose of this paper is to study when $Γ$ supports a uniform structure with respect to $x$. We studied the case $q \le 1$ in \cite{FMMM}, and so in this paper we assume $q \geq 2$. Let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Under an additional assumption that every irreducible $T$-module with endpoint $1$ is thin, we show that if $Γ$ supports a uniform structure with respect to $x$, then either $α= 0$ or $α=q$, $β=q^2(q^D-1)/(q-1)$, and $D \equiv 0 \pmod{6}$.

The Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$ are expressible in terms of Hahn polynomials. The phenomenon can be explained by an algebra homomorphism $\natural$ from the universal Hahn algebra $\mathcal H$ into $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$. Let $Ω$ denote a finite set of size $D$ and $2^Ω$ denote the power set of $Ω$. It is generally known that $\mathbb C^{2^Ω}$ supports a $U(\mathfrak{sl}_2)$-module. Let $k$ denote an integer with $0\leq k\leq D$ and fix a $k$-element subset $x_0$ of $Ω$. By identifying $\mathbb C^{2^Ω}$ with $\mathbb C^{2^{Ω\setminus x_0}}\otimes \mathbb C^{2^{x_0}}$ this induces a $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module structure on $\mathbb C^{2^Ω}$ denoted by $\mathbb C^{2^Ω}(x_0)$. Pulling back via $\natural$ the $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module $\mathbb C^{2^Ω}(x_0)$ forms an $\mathcal H$-module. When $1\leq k\leq D-1$ the $\mathcal H$-module $\mathbb C^{2^Ω}(x_0)$ enfolds the Terwilliger algebra of the Johnson graph $J(D,k)$ with respect to $x_0$. This result connects these two seemingly irrelevant topics: The Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$ and the Terwilliger algebras of Johnson graphs. Unfortunately some steps break down in the $q$-analog case. By making detours, the imperceptible connection between the Clebsch--Gordan coefficients of $U_q(\mathfrak{sl}_2)$ and the Terwilliger algebras of Grassmann graphs is successfully disclosed in this paper.

The generalized wreath product of symmetric association schemes was introduced by R.A.Bailey in the European Journal of Combinatorics 27 (2006) 428-435. It is recognized as a unification of both the wreath product and the direct product of symmetric association schemes. While its potential applicability to any association scheme had been implied, this paper provides a formal and explicit confirmation of that claim. Moreover, we establish the irreducible representations of its adjacency algebra and Terwilliger algebra.

Let $\mathbb{F}$ be an arbitrary field. In this paper, we continue studying the Terwilliger algebras of association schemes over $\mathbb{F}$ that were called the Terwilliger $\mathbb{F}$-algebras of association schemes in [8]. We determine the algebraic structures of the Terwilliger $\mathbb{F}$-algebras of the association schemes induced from the Cayley tables of elementary abelian $2$-groups, which provides infinite many examples and counterexamples for the study of the Terwilliger $\mathbb{F}$-algebras of association schemes.

Let $Γ$ denote a finite, simple and connected graph. Fix a vertex $x$ of $Γ$ which is not a leaf and let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Assume that the unique irreducible $T$-module with endpoint $0$ is thin, or equivalently that $Γ$ is pseudo-distance-regular around $x$. We consider the property that $Γ$ has, up to isomorphism, a unique irreducible $T$-module with endpoint $1$, and that this $T$-module is thin. The main result of the paper is a combinatorial characterization of this property.

In the year 2000, Eric Egge introduced the generalized Terwilliger algebra $\mathcal T$ of a distance-regular graph $Γ$. For any vertex $x$ of $Γ,$ there is a surjective algebra homomorphism $\natural$ from $\mathcal T$ to the Terwilliger algebra $T(x)$. If $Γ$ is complete, then $\natural$ is an isomorphism. If $Γ$ is not complete, then $\natural$ may or may not be an isomorphism, and in general the details are unknown. We show that if $Γ$ is a hypercube, then the algebra homomorphism $\natural:\mathcal T \to T(x)$ is an isomorphism for all vertices $x$ of $Γ$.

The universal enveloping algebra $U(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ is a unital associative algebra over $\mathbb C$ generated by $E,F,H$ subject to the relations \begin{align*} [H,E]=2E, \qquad [H,F]=-2F, \qquad [E,F]=H. \end{align*} The element $$ Λ=EF+FE+\frac{H^2}{2} $$ is called the Casimir element of $U(\mathfrak{sl}_2)$. Let $Δ:U(\mathfrak{sl}_2)\to U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$ denote the comultiplication of $U(\mathfrak{sl}_2)$. The universal Hahn algebra $\mathcal H$ is a unital associative algebra over $\mathbb C$ generated by $A,B,C$ and the relations assert that $[A,B]=C$ and each of \begin{align*} [C,A]+2A^2+B, \qquad [B,C]+4BA+2C \end{align*} is central in $\mathcal H$. Inspired by the Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$, we discover an algebra homomorphism $\natural:\mathcal H\to U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$ that maps \begin{eqnarray*} A &\mapsto & \frac{H\otimes 1-1\otimes H}{4}, \\ B &\mapsto & \frac{Δ(Λ)}{2}, \\ C &\mapsto & E\otimes F-F\otimes E. \end{eqnarray*} By pulling back via $\natural$ any $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module can be considered as an $\mathcal H$-module. For any integer $n\geq 0$ there exists a unique $(n+1)$-dimensional irreducible $U(\mathfrak{sl}_2)$-module $L_n$ up to isomorphism. We study the decomposition of the $\mathcal H$-module $L_m\otimes L_n$ for any integers $m,n\geq 0$. We link these results to the Terwilliger algebras of Johnson graphs. We express the dimensions of the Terwilliger algebras of Johnson graphs in terms of binomial coefficients.

The universal enveloping algebra $U(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ is a unital associative algebra over $\mathbb C$ generated by $E,F,H$ subject to the relations \begin{align*} [H,E]=2E, \qquad [H,F]=-2F, \qquad [E,F]=H. \end{align*} The distinguished central element $$ Λ=EF+FE+\frac{H^2}{2} $$ is called the Casimir element of $U(\mathfrak{sl}_2)$. The universal Hahn algebra $\mathcal H$ is a unital associative algebra over $\mathbb C$ with generators $A,B,C$ and the relations assert that $[A,B]=C$ and each of \begin{align*} α=[C,A]+2A^2+B, \qquad β=[B,C]+4BA+2C \end{align*} is central in $\mathcal H$. The distinguished central element $$ Ω=4ABA+B^2-C^2-2βA+2(1-α)B $$ is called the Casimir element of $\mathcal H$. By investigating the relationship between the Terwilliger algebras of the hypercube and its halved graph, we discover the algebra homomorphism $\natural:\mathcal H\rightarrow U(\mathfrak{sl}_2)$ that sends \begin{eqnarray*} A &\mapsto & \frac{H}{4}, \\ B & \mapsto & \frac{E^2+F^2+Λ-1}{4}-\frac{H^2}{8}, \\ C & \mapsto & \frac{E^2-F^2}{4}. \end{eqnarray*} We determine the image of $\natural$ and show that the kernel of $\natural$ is the two-sided ideal of $\mathcal H$ generated by $β$ and $16 Ω-24 α+3$. By pulling back via $\natural$ each $U(\mathfrak{sl}_2)$-module can be regarded as an $\mathcal H$-module. For each integer $n\geq 0$ there exists a unique $(n+1)$-dimensional irreducible $U(\mathfrak{sl}_2)$-module $L_n$ up to isomorphism. We show that the $\mathcal H$-module $L_n$ ($n\geq 1$) is a direct sum of two non-isomorphic irreducible $\mathcal H$-modules.

Let $2.O_{m+1}$ denote the doubled Odd graph with vertex set $X$ on a set of cardinality $2m+1$, where $m\geq 1$. Fix a vertex $x_0\in X$. Let $\mathcal{A}:=\mathcal{A}(x_0)$ denote the centralizer algebra of the stabilizer of $x_0$ in the automorphism group of $2.O_{m+1}$, and $T:=T(x_0)$ the Terwilliger algebra of $2.O_{m+1}$. In this paper, we first give a basis of $\mathcal{A}$ by considering the action of the stabilizer of $x_0$ on $X\times X$ and determine the dimension of $\mathcal{A}$. Furthermore, we give three subalgebras of $\mathcal{A}$ such that their direct sum is $\mathcal{A}$ as vector space. Next, for $m\geq 3$ we find all isomorphism classes of irreducible $T$-modules to display the decomposition of $T$ in a block-diagonalization form. Finally, we show that the two algebras $\mathcal{A}$ and $T$ coincide. This result tells us that the graph $2.O_{m+1}$ may be the first example of bipartite but not $Q$-polynomial distance-transitive graph for which the corresponding centralizer algebra and Terwilliger algebra are equal.

Let $O_{m+1}$ denote the Odd graph on a set of cardinality $2m+1$, where $m$ is a positive integer. Denote by $X$ its vertex set and by $T:=T(x_0)$ its Terwilliger algebra with respect to any fixed vertex $x_0\in X$. In this paper, we first prove that $T$ coincides with the centralizer algebra of the stabilizer of $x_0$ in the automorphism group of $O_{m+1}$ by considering the action of this automorphism group on $X\times X\times X$. Then we give the decomposition of $T$ for $m\geq 3$ by using all the homogeneous components of $V:=\mathbb{C}^X$, each of which is a nonzero subspace of $V$ spanned by the irreducible $T$-modules that are isomorphic. Finally, we display an orthogonal basis for every homogeneous component of $V$.

We study the upper bounds for $A(n,d)$, the maximum size of codewords with length $n$ and Hamming distance at least $d$. Schrijver studied the Terwilliger algebra of the Hamming scheme and proposed a semidefinite program to bound $A(n, d)$. We derive more sophisticated matrix inequalities based on a split Terwilliger algebra to improve Schrijver's semidefinite programming bounds on $A(n, d)$. In particular, we improve the semidefinite programming bounds on $A(18,4)$ to $6551$.

For a finite connected simple graph, the Terwilliger algebra is a matrix algebra generated by the adjacency matrix and idempotents corresponding to the distance partition with respect to a fixed vertex. We will consider algebras defined by two other partitions and the centralizer algebra of the stabilizer of the fixed vertex in the automorphism group of the graph. We will give some methods to compute such algebras and examples for various graphs.

Let $D\geq 3$ denote an integer. For any $x\in \mathbb F_2^D$ let $w(x)$ denote the Hamming weight of $x$. Let $X$ denote the subspace of $\mathbb F_2^D$ consisting of all $x\in \mathbb F_2^D$ with even $w(x)$. The $D$-dimensional halved cube $\frac{1}{2}H(D,2)$ is a finite simple connected graph with vertex set $X$ and $x,y\in X$ are adjacent if and only if $w(x-y)=2$. Fix a vertex $x\in X$. The Terwilliger algebra $\mathcal T=\mathcal T(x)$ of $\frac{1}{2}H(D,2)$ with respect to $x$ is the subalgebra of ${\rm Mat}_X(\mathbb C)$ generated by the adjacency matrix $A$ and the dual adjacency matrix $A^*=A^*(x)$ where $A^*$ is a diagonal matrix with $$ A^*_{yy}=D-2w(x-y) \qquad \hbox{for all $y\in X$}. $$ In this paper we decompose the standard $\mathcal T$-module into a direct sum of irreducible $\mathcal T$-modules.

The adjacency matrix of a symplectic dual polar graph restricted to the eigenspaces of an abelian automorphism subgroup is shown to act as the adjacency matrix of a weighted subspace lattice. The connection between the latter and $U_q(sl_2)$ is used to find the irreducible components of the standard module of the Terwilliger algebra of symplectic dual polar graphs. The multiplicities of the isomorphic submodules are given.

Let $D\geq 1$ and $q\geq 3$ be two integers. Let $H(D)=H(D,q)$ denote the $D$-dimensional Hamming graph over a $q$-element set. Let ${\mathcal T}(D)$ denote the Terwilliger algebra of $H(D)$. Let $V(D)$ denote the standard ${\mathcal T}(D)$-module. Let $ω$ denote a complex scalar. We consider a unital associative algebra $\mathfrak K_ω$ defined by generators and relations. The generators are $A$ and $B$. The relations are $A^2 B-2 ABA +B A^2 =B+ωA$, $B^2A-2 BAB+AB^2=A+ωB$. The algebra $\mathfrak K_ω$ is the case of the Askey-Wilson algebras corresponding to the Krawtchouk polynomials. The algebra $\mathfrak K_ω$ is isomorphic to ${\rm U}(\mathfrak{sl}_2)$ when $ω^2\not=1$. We view $V(D)$ as a $\mathfrak{K}_{1-\frac{2}{q}}$-module. We apply the Clebsch-Gordan rule for ${\rm U}(\mathfrak{sl}_2)$ to decompose $V(D)$ into a direct sum of irreducible ${\mathcal T}(D)$-modules.