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.
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 featu…
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…
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 conditions (i), (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 diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. We give an overview o…
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), (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$. In the literature on Leonard pai…
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 both conditions below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal, and the matrix representing $A^*$ is irreducible tridiagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is diagonal, and the matrix representing $A$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. Refining this notion a bit, we in…
Fix an algebraically closed field $\mathbb{F}$ and an integer $n \geq 1$. Let $\text{Mat}_n(\mathbb{F})$ denote the $\mathbb{F}$-algebra consisting of the $n \times n$ matrices that have all entries in $\mathbb{F}$. We consider a pair of diagonalizable matrices in $\text{Mat}_{n}(\mathbb{F})$, each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. Such a pair is called a Leonard pair in $\text{Mat}_{n}(\mathbb{F})$. In the present paper, we find all Leonard pairs $A,A^*$ in $\text{Mat}_{n}(\mathbb{F})$ such that each of $A$ and $A^*$ is irreducible tridiagonal wi…
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…
Let $V$ denote a vector space 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$. In this paper, we characterize the Leonard pairs using the noti…
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), (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$. In this paper we investigate th…
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 both conditions below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is diagonal and the matrix representing $A$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. Referring to the above Leonar…
Fix an algebraically closed field $\mathbb{F}$ and an integer $d \geq 3$. Let $\text{Mat}_{d+1}(\mathbb{F})$ denote the $\mathbb{F}$-algebra consisting of the $(d+1) \times (d+1)$ matrices that have all entries in $\mathbb{F}$. We consider a pair of diagonalizable matrices $A,A^*$ in $\text{Mat}_{d+1}(\mathbb{F})$, each acts in an irreducible tridiagonal fashion on an eigenbasis for the other one. Such a pair is called a Leonard pair in $\text{Mat}_{d+1}(\mathbb{F})$. For a Leonard pair $A,A^*$ there is a nonzero scalar $q$ that is used to describe the eigenvalues of $A$ and $A^*$. In the pres…
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 conditions (i), (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 diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. Let $A,A^*$ den…
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 $B:V\to V$ which satisfy both (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $B$ is diagonal; (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $B$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. We introduce two canonical for…
Let $V$ denote a vector space 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$. Arlene Pascasio recently obtained a characterization of the $Q$…
Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\rightarrow V$ and $A^{*}: V\rightarrow 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 the literature, there are some paramet…
Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\rightarrow V$ and $A^*: V\rightarrow 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$. Very roughly speaking, a Leonard pair is a line…
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), (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$. It is known that there exists 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 conditions (i), (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 diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. The structure o…
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$ which satisfy the following two properties: (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$. Referring to the above…
Let $\mathbb{K}$ denote an algebraically closed field. Let $V$ denote a vector space over $\mathbb{K}$ with finite positive dimension. By a Leonard triple on $V$ we mean an ordered triple of linear transformations in ${\rm End}(V)$ such that for each of these transformations there exists a basis of $V$ with respect to which the matrix representing that transformation is diagonal and the matrices representing the other two transformations are irreducible tridiagonal. There is a family of Leonard triples said to have QRacah type. This is the most general type of Leonard triple. We classify the L…
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 t…
Let $\F$ denote a field and let $V$ denote a vector space over $\F$ with finite positive dimension. Consider a pair $A,A^*$ of diagonalizable $\F$-linear maps on $V$, each of which acts on an eigenbasis for the other one in an irreducible tridiagonal fashion. Such a pair is called a Leonard pair. We consider the self-dual case in which there exists an automorphism of the endomorphism algebra of $V$ that swaps $A$ and $A^*$. Such an automorphism is unique, and called the duality $A \leftrightarrow A^*$. In the present paper we give a comprehensive description of this duality. In particular, we …
In this paper, we introduce the concepts of compatibility and companion for Leonard pairs. These concepts are roughly described as follows. Let $\mathbb{F}$ denote a field, and let $V$ denote a vector space over $\mathbb{F}$ with finite positive dimension. A Leonard pair on $V$ is an ordered pair of diagonalizable $\mathbb{F}$-linear maps $A : V \to V$ and $A^* : V \to V$ that each act in an irreducible tridiagonal fashion on an eigenbasis for the other one. Leonard pairs $A,A^*$ and $B,B^*$ on $V$ are said to be compatible whenever $A^* = B^*$ and $[A,A^*] = [B,B^*]$, where $[r,s] = r s - s r…
Fix an algebraically closed field $\F$ and an integer $d \geq 3$. Let $V$ be a vector space over $\F$ with dimension $d+1$. A Leonard pair on $V$ is a pair of diagonalizable linear transformations $A: V \to V$ and $A^* : V \to V$, each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. There is an object related to a Leonard pair called a Leonard system. It is known that a Leonard system is determined up to isomorphism by a sequence of scalars $(\{þ_i\}_{i=0}^d, \{þ^*_i\}_{i=0}^d, \{\vphi_i\}_{i=1}^d, \{ϕ_i\}_{i=1}^d)$, called its parameter array. The scalars $\{þ…
A Leonard pair is an ordered pair of diagonalizable linear maps on a finite-dimensional vector space, that each act on an eigenbasis for the other one in an irreducible tridiagonal fashion. In the present paper we consider a type of Leonard pair, said to have spin. The notion of a spin model was introduced by V.F.R. Jones to construct link invariants. A spin model is a symmetric matrix over $\mathbb{C}$ that satisfies two conditions, called the type II and type III conditions. It is known that a spin model $\sf W$ is contained in a certain finite-dimensional algebra $N({\sf W})$, called the No…
This paper is about three classes of objects: Leonard triples, distance-regular graphs and the modules for the anticommutator spin algebra. Let $\K$ denote an algebraically closed field of characteristic zero. Let $V$ denote a vector space over $\K$ with finite positive dimension. A Leonard triple on $V$ is an ordered triple of linear transformations in $\mathrm{End}(V)$ such that for each of these transformations there exists a basis for $V$ with respect to which the matrix representing that transformation is diagonal and the matrices representing the other two transformations are irreducible…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. By a Leonard pair on $V$ we mean an ordered pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following two conditions: (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. Let $v^*_0, ..., v^*_d$ (resp. $v_0, ..…
Fix an algebraically closed field $\mathbb{F}$ and an integer $d \geq 3$. Let $V$ be a vector space over $\mathbb{F}$ with dimension $d+1$. A Leonard pair on $V$ is an ordered pair of diagonalizable linear transformations $A: V \to V$ and $A^* : V \to V$, each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. Let $\{v_i\}_{i=0}^d$ (resp.\ $\{v^*_i\}_{i=0}^d$) be such an eigenbasis for $A$ (resp.\ $A^*$). For $0 \leq i \leq d$ define a linear transformation $E_i : V \to V$ such that $E_i v_i=v_i$ and $E_i v_j =0$ if $j \neq i$ $(0 \leq j \leq d)$. Define $E^*_i : …
