arXiv++ Combinatorics

In this paper we characterize the nonnegative irreducible tridiagonal matrices and their permutations, using certain entries in their primitive idempotents. Our main result is summarized as follows. Let $d$ denote a nonnegative integer. Let $A$ denote a matrix in $\matR$ and let $\{þ_i\}_{i=0}^d$ denote the roots of the characteristic polynomial of $A$. We say $A$ is multiplicity-free whenever these roots are mutually distinct and contained in $\R$. In this case $E_i$ will denote the primitive idempotent of $A$ associated with $þ_i$ $(0 \leq i \leq d)$. We say $A$ is symmetrizable whenever there exists an invertible diagonal matrix $Δ\in \matR$ such that $ΔA Δ^{-1}$ is symmetric. Let $Γ(A)$ denote the directed graph with vertex set $\{0,1,...,d\}$, where $i \rightarrow j$ whenever $i \neq j$ and $A_{ij} \neq 0$. Theorem: Assume that each entry of $A$ is nonnegative. Then the following are equivalent for $0 \leq s,t \leq d$: (i) The graph $Γ(A)$ is a bidirected path with endpoints $s$, $t$: (ii) The matrix $A$ is symmetrizable and multiplicity-free. Moreover the $(s,t)$-entry of $E_i$ times $(þ_i-þ_0)...(þ_i-þ_{i-1})(þ_i-þ_{i+1})...(þ_i-þ_d)$ is independent of $i$ for $0 \leq i \leq d$, and this common value is nonzero. Recently Kurihara and Nozaki obtained a theorem that characterizes the $Q$-polynomial property for symmetric association schemes. We view the above result as a linear algebraic generalization of their theorem.

Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $ 0 \leq i \leq d$ the dimensions of $V_i,V_{d-i},V^*_i, V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever ${\rm dim} V_0=1$. It is known that if $F$ is algebraically closed then $A,A^*$ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the $μ$-conjecture.

We obtain the following characterization of $Q$-polynomial distance-regular graphs. Let $\G$ denote a distance-regular graph with diameter $d\ge 3$. Let $E$ denote a minimal idempotent of $\G$ which is not the trivial idempotent $E_0$. Let $\{θ_i^*\}_{i=0}^d$ denote the dual eigenvalue sequence for $E$. We show that $E$ is $Q$-polynomial if and only if (i) the entry-wise product $E \circ E$ is a linear combination of $E_0$, $E$, and at most one other minimal idempotent of $\G$; (ii) there exists a complex scalar $β$ such that $θ^*_{i-1}-βθ^*_i + θ^*_{i+1}$ is independent of $i$ for $1 \le i \le d-1$; (iii) $θ^*_i \ne θ^*_0$ for $1 \le i \le d$.

Let $\K$ denote a field and let $V$ denote a vector space over $\K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. We say the pair $A,A^*$ is {\it sharp} whenever $\dim V_0=1$. It is known that if $\K$ is algebraically closed then $A,A^*$ is sharp. A conjectured classification of the sharp tridiagonal pairs was recently introduced by T. Ito and the second author. Shortly afterwards we introduced a conjecture, called the {\em $μ$-conjecture}, which implies the classification conjecture. In this paper we show that the $μ$-conjecture holds in a special case called $q$-Racah.

Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\{V_i\}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\{V^*_i\}_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. We say the pair $A,A^*$ is {\it sharp} whenever $\dim V_0=1$. It is known that if $F$ is algebraically closed then $A,A^*$ is sharp. A conjectured classification of the sharp tridiagonal pairs was recently introduced by T. Ito and the second author. We present a result which supports the conjecture. Given scalars $\{þ_i\}_{i=0}^d$, $\{þ^*_i\}_{i=0}^d$ in $F$ that satisfy the known constraints on the eigenvalues of a tridiagonal pair, we define an $F$-algebra $T$ by generators and relations. We consider the algebra $e^*_0Te^*_0$ for a certain idempotent $e^*_0 \in T$. Let $R$ denote the polynomial algebra over $F$ involving $d$ variables.We display a surjective algebra homomorphism $μ: R \to e^*_0Te^*_0$. We conjecture that $μ$ is an isomorphism. We show that this $μ$-conjecture implies the classification conjecture, and that the $μ$-conjecture holds for $d\leq 5$.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V^*_i$, $V_{d-i}$, $V^*_{d-i}$ coincide; we denote this common dimension by $ρ_i$. In this paper we prove that $ρ_i \leq ρ_0 \binom{d}{i}$ for $0 \leq i \leq d$. It is already known that $ρ_0=1$ if $\K$ is algebraically closed.

Motivated by investigations of the tridiagonal pairs of linear transformations, we introduce the augmented tridiagonal algebra ${\mathcal T}_q$. This is an infinite-dimensional associative ${\mathbb C}$-algebra with 1. We classify the finite-dimensional irreducible representations of ${\mathcal T}_q$. All such representations are explicitly constructed via embeddings of ${\mathcal T}_q$ into the $U_q(sl_2)$-loop algebra. As an application, tridiagonal pairs over ${\mathbb C}$ are classified in the case where $q$ is not a root of unity.

We introduce the notion of a {\it mock tridiagonal system}. This is a generalization of a tridiagonal system in which the irreducibility assumption is replaced by a certain non-vanishing condition. We show how mock tridiagonal systems can be used to construct tridiagonal systems that meet certain specifications. This paper is part of our ongoing project to classify the tridiagonal systems up to isomorphism.

Let $\F$ denote a field and let $V$ denote a vector space over $\F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$, and for $0 \leq i \leq d$ the dimensions of $V_i, V^*_i, V_{d-i}, V^*_{d-i}$ coincide. Denote this common dimension by $ρ_i$ and call $A,A^*$ {\it sharp} whenever $ρ_0=1$. Let $T$ denote the $\F$-subalgebra of ${\rm End}_\F(V)$ generated by $A,A^*$. We show: (i) the center $Z(T)$ is a field whose dimension over $\F$ is $ρ_0$; (ii) the field $Z(T)$ is isomorphic to each of $E_0TE_0$, $E_dTE_d$, $E^*_0TE^*_0$, $E^*_dTE^*_d$, where $E_i$ (resp. $E^*_i$) is the primitive idempotent of $A$ (resp. $A^*$) associated with $V_i$ (resp. $V^*_i$); (iii) with respect to the $Z(T)$-vector space $V$ the pair $A,A^*$ is a sharp tridiagonal pair.

Let $K$ denote an algebraically closed field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote the eigenvalue of $A$ (resp. $A^*$) associated with $V_i$ (resp. $V^*_i$). The pair $A,A^*$ is said to have {\it $q$-Racah type} whenever $θ_i = a + b q^{2i-d}+ c q^{d-2i}$ and $θ^*_i = a^* + b^*q^{2i-d}+c^*q^{d-2i}$ for $0 \leq i \leq d$, where $q, a,b,c,a^*,b^*,c^*$ are scalars in $K$ with $q,b,c,b^*,c^*$ nonzero and $q^2 \not\in \lbrace 1,-1\rbrace$. This type is the most general one. We classify up to isomorphism the tridiagonal pairs over $K$ that have $q$-Racah type. Our proof involves the representation theory of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\{V_i\}{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\{V^*_i\}{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever $\dim V_0=1$. It is known that if $K$ is algebraically closed then $A,A^*$ is sharp. Assuming $A,A^*$ is sharp, we use the data $Φ=(A; \{V_i\}{i=0}^d; A^*; \{V^*_i\}{i=0}^d)$ to define a polynomial $P$ in one variable and degree at most $d$. We show that $P$ remains invariant if $Φ$ is replaced by $(A;\{V_{d-i}\}{i=0}^d; A^*; \{V^*_i\}{i=0}^d)$ or $(A;\{V_i\}{i=0}^d; A^*; \{V^*_{d-i}\}{i=0}^d)$ or $(A^*; \{V^*_i\}{i=0}^d; A; \{V_i\}{i=0}^d)$. We call $P$ the {\it Drinfel'd polynomial} of $A,A^*$. We explain how $P$ is related to the classical Drinfel'd polynomial from the theory of Lie algebras and quantum groups. We expect that the roots of $P$ will be useful in a future classification of the sharp tridiagonal pairs. We compute the roots of $P$ for the case in which $V_i$ and $V^*_i$ have dimension 1 for $0 \leq i \leq d$.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\{V_i\}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_i + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\{V^*_i\}_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_i + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv)there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a tridiagonal pair on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i, V_{d-i}, V^*_i, V^*_{d-i}$ coincide. In this paper we show that the following (i)--(iv) hold provided that $K$ is algebraically closed: (i) Each of $V_0$, $V^*_0$, $V_d$, $V^*_d$ has dimension 1. (ii) There exists a nondegenerate symmetric bilinear form $(,)$ on $V$ such that $(Au,v)=(u,Av)$ and $(A^*u,v)=(u,A^*v)$ for all $u,v \in V$. (iii) There exists a unique anti-automorphism of $End(V)$ that fixes each of $A,A^*$. (iv) The pair $A,A^*$ is determined up to isomorphism by the data $(\{þ_i\}_{i=0}^d; \{þ^*_i\}_{i=0}^d; \{ζ_i\}_{i=0}^d)$, where $þ_i$ (resp. $þ^*_i$) is the eigenvalue of $A$ (resp. $A^*$) on $V_i$ (resp. $V^*_i$), and $\{ζ_i\}_{i=0}^d$ is the split sequence of $A,A^*$ corresponding to $\{þ_i\}_{i=0}^d$ and $\{þ^*_i\}_{i=0}^d$.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. Let $End(V)$ denote the $K$-algebra consisting of all $K$-linear transformations from $V$ to $V$. We consider a pair $A,A^* \in End(V)$ that satisfy (i)--(iv) below: (i) Each of $A,A^*$ is diagonalizable. (ii) There exists an ordering $\{V_i\}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$. (iii) There exists an ordering $\{V^*_i\}_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$. (iv) There is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\em tridiagonal pair} on $V$. Let $E^*_0$ denote the element of $End(V)$ such that $(E^*_0-I)V^*_0=0$ and $E^*_0V^*_i=0$ for $1 \leq i \leq d$. Let $D$ (resp. $D^*$) denote the $K$-subalgebra of $End(V)$ generated by $A$ (resp. $A^*$). In this paper we prove that the span of $E^*_0 D D^*DE^*_0$ equals the span of $E^*_0D E^*_0DE^*_0$, and that the elements of $E^*_0 D E^*_0$ mutually commute. We relate these results to some conjectures of Tatsuro Ito and the second author that are expected to play a role in the classification of tridiagonal pairs.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of $K$-linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfies the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering ${V_i}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering ${V^*_i}_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\em tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. We say the pair $A,A^*$ is {\em sharp} whenever $\dim V_0=1$. A conjecture of Tatsuro Ito and the second author states that if $K$ is algebraically closed then $A,A^*$ is sharp. In order to better understand and eventually prove the conjecture, in this paper we begin a systematic study of the sharp tridiagonal pairs.

In this paper we discuss a relationship between the following two algebras: (i) the subconstituent algebra $T$ of a distance-regular graph that has $q$-Racah type; (ii) the $q$-tetrahedron algebra $\boxtimes_q$ which is a $q$-deformation of the three-point $sl_2$ loop algebra. Assuming that every irreducible $T$-module is thin, we display an algebra homomorphism from $\boxtimes_q$ into $T$ and show that $T$ is generated by the image together with the center $Z(T)$.

Let $V$ denote a vector space with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. In an earlier paper we described 24 special bases for $V$. One feature of these bases is that with respect to each of them the matrices that represent $A$ and $A^*$ are (i) diagonal and irreducible tridiagonal or (ii) irreducible tridiagonal and diagonal or (iii) lower bidiagonal and upper bidiagonal or (iv) upper bidiagonal and lower bidiagonal. For each ordered pair of bases among the 24, there exists a unique linear transformation from $V$ to $V$ that sends the first basis to the second basis; we call this the transition map. In this paper we find each transition map explicitly as a polynomial in $A,A^*$.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Let $x$, $c$, $x^*$, $c^*$ denote scalars in $K$ with $x$, $x^*$ nonzero, and note that $xA+cI$, $x^*A^* + c^*I$ is a Leonard pair on $V$. We give necessary and sufficient conditions for this Leonard pair to be isomorphic to the Leonard pair $A$, $A^*$. We also give necessary and sufficient conditions for this Leonard pair to be isomorphic to the Leonard pair $A^*$, $A$.

Let $Γ$ denote a distance-regular graph with classical parameters $(D,b,α,β)$ and $b\not=1$, $α=b-1$. The condition on $α$ implies that $Γ$ is formally self-dual. For $b=q^2$ we use the adjacency matrix and dual adjacency matrix to obtain an action of the $q$-tetrahedron algebra $\boxtimes_q$ on the standard module of $Γ$. We describe four algebra homomorphisms into $\boxtimes_q$ from the quantum affine algebra $U_q({\hat{\mathfrak{sl}}_2})$; using these we pull back the above $\boxtimes_q$-action to obtain four actions of $U_q({\hat{\mathfrak{sl}}_2})$ on the standard module of $Γ$.

Let $V$ denote a vector space with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. Let $v_0,v_1,...,v_d$ (resp. $w_0,w_1,...,w_d$) denote a basis for $V$ referred to in (i) (resp. (ii)). We show that there exists a unique linear transformation $S: V \to V$ that sends $v_0$ to a scalar multiple of $v_d$, fixes $w_0$, and sends $w_i$ to a scalar multiple of $w_i$ for $1 \leq i \leq d$. We call $S$ the {\it switching element}. We describe $S$ from many points of view.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\it Leonard pair} on $V$. Let $\cal X$ denote the set of linear transformations $X:V \to V$ such that the matrix representing $X$ with respect to the basis (i) is tridiagonal and the matrix representing $X$ with respect to the basis (ii) is tridiagonal. We show that $\cal X$ is spanned by $I$, $A$, $A^*$, $AA^*$, $A^*A$, and these elements form a basis for $\cal X$ provided the dimension of $V$ is at least 3.