---
title: Leonard Trios in Algebraic Combinatorics
url: https://www.emergentmind.com/topics/leonard-trios
type: topic
---

# Leonard Trios in Algebraic Combinatorics

Leonard trios occupy two closely related but not identical positions in algebraic combinatorics and representation theory. In the classical usage, a Leonard trio is a Leonard triple: an ordered triple of linear transformations on a finite-dimensional vector space such that each transformation is diagonal in some basis while the other two are irreducible tridiagonal in that same basis [1108.0458]. In more recent work on rational functions, “Leonard trio” has also been introduced as a distinct three-operator structure \((V,\widehat V,Z)\) extending Leonard pairs and tailored to generalized eigenvalue problems and biorthogonal rational functions [2601.15052]. Across both usages, the unifying theme is the organization of bispectral data by diagonal/tridiagonal compatibility, with strong links to Askey–Wilson-type algebras, Bannai–Ito structures, Terwilliger algebras, distance-regular graphs, and finite-dimensional representation theory [2005.02386].

## 1. Terminology and core definitions

A Leonard triple on a finite-dimensional vector space \(V\) is an ordered triple
\[
(A,A^*,A^\varepsilon)
\]
such that each one is diagonal in some basis while the other two are irreducible tridiagonal in that same basis [1112.4577]. Equivalently, in one basis \(A\) is diagonal and \(A^*,A^\varepsilon\) are irreducible tridiagonal; in a second basis \(A^*\) is diagonal and \(A^\varepsilon,A\) are irreducible tridiagonal; and in a third basis \(A^\varepsilon\) is diagonal and \(A,A^*\) are irreducible tridiagonal [1108.0458]. The associated pairs \((A,A^*)\), \((A^*,A^\varepsilon)\), and \((A^\varepsilon,A)\) are Leonard pairs [1112.4577].

Within this classical setting, the literature distinguishes additional subclasses. A triple is **totally bipartite** if all six tridiagonal matrices occurring in the three Leonard-pair realizations have zero diagonal entries, and **totally almost bipartite** if all six are almost bipartite, meaning all interior diagonal entries are zero and exactly one endpoint diagonal entry may be nonzero [1301.0652]. The shorthand **totally B/AB** denotes either of these two cases [1112.4577]. Another important designation is **Bannai/Ito type**, meaning that each associated Leonard pair is of Bannai/Ito type [1112.4577].

A common source of ambiguity is terminological rather than structural. One body of work states explicitly that a “Leonard trio” is just another name for a Leonard triple [1108.0458]. By contrast, recent work on bispectral rational functions introduces a new notion of Leonard trio as an ordered triple \((V,\widehat V,Z)\) with asymmetric tridiagonality conditions: there exists a basis in which \(V\) is diagonal and multiplicity free while \(Z\) and \(VZ\) are tridiagonal, and another basis in which \(\widehat V\) is diagonal and multiplicity free while \(Z\) and \(ZV\) are tridiagonal [2601.15052]. This suggests that current usage splits into a classical “Leonard triple” meaning and a newer rational-function-oriented extension.

## 2. Classification in the classical triple setting

The most general classical family singled out in the literature is the class of Leonard triples of QRacah type [1108.0458]. In that setting the three eigenvalue sequences are parametrized by nonzero scalars \(a,b,c,q\) as
\[
\theta_i = a q^{2i-d}+a^{-1}q^{d-2i},\qquad
\theta_i^* = b q^{2i-d}+b^{-1}q^{d-2i},\qquad
\theta_i^\varepsilon = c q^{2i-d}+c^{-1}q^{d-2i},
\]
for \(0\le i\le d\), subject to the reduced parameter conditions recorded in the classification [1108.0458]. The classification theorem identifies the isomorphism classes of Leonard triples of QRacah type with \((\mathbb Z_2)^3\)-orbits of admissible parameter tuples \((a,b,c;q)\) [1108.0458].

A decisive structural feature of the QRacah theory is the existence of a uniquely determined third operator \(A^\varepsilon\) completing a QRacah Leonard pair \((A,A^*)\) so that the three operators satisfy the \(\mathbb Z_3\)-symmetric Askey–Wilson relations
\[
qAA^* - q^{-1}A^*A + (q^2-q^{-2})A^\varepsilon = \text{scalar}\cdot I,
\]
together with its two cyclic analogues [1108.0458]. In this framework, \((A,A^*,A^\varepsilon)\) is a Leonard triple if and only if \(A^\varepsilon\) is multiplicity-free, equivalently if and only if \(c^2\) avoids the forbidden set
\[
q^{2d-2}, q^{2d-4}, \dots, q^{2-2d}
\]
[1108.0458].

The Bannai/Ito classification supplies a second major family. The algebra
\[
xy+yx=2z,\qquad yz+zy=2x,\qquad zx+xz=2y
\]
defines the anticommutator spin algebra \(\mathcal A\), and finite-dimensional irreducible \(\mathcal A\)-modules are classified into the five families \(B(d)\), \(AB(d,0)\), \(AB(d,x)\), \(AB(d,y)\), and \(AB(d,z)\) [1112.4577]. On any finite-dimensional irreducible \(\mathcal A\)-module, the actions of \(x,y,z\) form a Leonard triple: type \(B\) yields a totally bipartite Leonard triple, while type \(AB\) yields a totally almost bipartite Leonard triple [1112.4577]. For diameter at least \(3\), the paper shows that totally B/AB Leonard triples of Bannai/Ito type, finite-dimensional irreducible \(\mathcal A\)-modules, and the corresponding Leonard-pair data are essentially in one-to-one correspondence [1112.4577].

The normalization theory in the Bannai/Ito setting is also rigid. A totally B/AB Leonard triple of Bannai/Ito type is normalized when the structure constants in
\[
AA^\ast+A^\ast A=\nu^\varepsilon A^\varepsilon,\qquad
A^\ast A^\varepsilon+A^\varepsilon A^\ast=\nu A,\qquad
A^\varepsilon A+A A^\varepsilon=\nu^\ast A^\ast
\]
are all equal to \(2\) [1301.0652]. This normalization removes scaling ambiguity and aligns the triple-level relations with the defining relations of \(\mathcal A\) [1301.0652].

## 3. Algebraic sources: \(\mathcal A\), \(\triangle_q\), DAHA, and the universal Bannai–Ito algebra

The anticommutator spin algebra \(\mathcal A\) is the basic algebraic source of classical Bannai/Ito Leonard triples [1112.4577]. In Brown’s framework, finite-dimensional irreducible \(\mathcal A\)-modules correspond to normalized totally B/AB Leonard triples of Bannai/Ito type, and vice versa [1301.0652]. This realizes Leonard triples not merely as matrix configurations but as representation-theoretic shadows of an explicit anticommutator algebra.

The universal Askey–Wilson algebra \(\triangle_q\) and the universal DAHA of type \((C_1^\vee,C_1)\) provide the analogous mechanism on the \(q\)-side. The DAHA \(\mathfrak H_q\) is generated by \(t_i^{\pm1}\) with
\[
t_it_i^{-1}=t_i^{-1} t_i=1,\qquad
t_i+t_i^{-1}\ \text{central},\qquad
t_0t_1t_2t_3=q^{-1},
\]
and there is an algebra homomorphism \(\triangle_q\to\mathfrak H_q\) sending
\[
A \mapsto t_1t_0+(t_1t_0)^{-1},\qquad
B \mapsto t_3t_0+(t_3t_0)^{-1},\qquad
C \mapsto t_2t_0+(t_2t_0)^{-1}
\]
[2005.02386]. For a finite-dimensional irreducible \(\mathfrak H_q\)-module \(V\), the central theorem states that
\[
A,B,C \text{ are diagonalizable on }V
\quad\Longleftrightarrow\quad
A,B,C \text{ act as Leonard triples on all composition factors of the }\triangle_q\text{-module }V
\]
[2005.02386]. Thus diagonalizability of the Askey–Wilson generators on the DAHA module is exactly the criterion governing Leonard triple structure on all composition factors.

The recent Bannai–Ito development replaces \(\triangle_q\) by the universal Bannai–Ito algebra \(BI\) and constructs it from a skew group ring over \(U(\mathfrak{sl}_2)\). The starting algebra is
\[
U(\mathfrak{sl}_2)_{\mathbb Z/2\mathbb Z}=U(\mathfrak{sl}_2)\rtimes \mathbb Z/2\mathbb Z,
\]
where \(\mathbb Z/2\mathbb Z=\{1,\rho\}\) acts by
\[
\rho(E)=F,\qquad \rho(F)=E,\qquad \rho(H)=-H
\]
[2510.23173]. Using the coproduct
\[
\Delta(E)=E\otimes 1+1\otimes E,\quad
\Delta(F)=F\otimes 1+1\otimes F,\quad
\Delta(H)=H\otimes 1+1\otimes H,\quad
\Delta(\rho)=\rho\otimes \rho,
\]
the paper defines on the \(\Delta(H)\)-eigenspace
\[
V(1)=\{v\in V\mid \Delta(H)v=v\}
\]
the operators
\[
X=\Delta(E\rho),\qquad
Y=\frac12(H\otimes 1-1\otimes H),\qquad
Z=(E\otimes 1-1\otimes E)\Delta(\rho)
\]
[2510.23173]. On \(V(1)\) they satisfy the Bannai–Ito relations
\[
\{X,Y\}=Z,\qquad \{Y,Z\}=X,\qquad \{Z,X\}=Y+\Lambda\otimes 1-1\otimes \Lambda,
\]
with \(\Lambda=EF+FE+\frac{H^2}{2}\) [2510.23173]. For a finite-dimensional irreducible \(U(\mathfrak{sl}_2)_{\mathbb Z/2\mathbb Z}^{\otimes 2}\)-module \(V\), the following are equivalent: \(V(1)\neq 0\); the resulting \(BI\)-module \(V(1)\) is irreducible; and the operators \(X,Y,Z\) act on \(V(1)\) as a Leonard triple [2510.23173].

## 4. Combinatorial realizations and Terwilliger algebras

Distance-regular graphs provide concrete realizations in which Leonard triples arise from adjacency-type operators. For the hypercube \(Q_D\) and its antipodal quotient \(\tilde Q_D\), the Terwilliger algebra plays the central role [1301.0652]. When \(D\) is even, there exists a unique \(\mathcal A\)-module structure on the standard module of \(Q_D\) such that \(x,y\) act as the adjacency and dual adjacency matrices respectively; when \(D\) is odd, the corresponding statement holds for the antipodal quotient \(\tilde Q_D\) [1301.0652]. In these realizations, the weighted adjacency matrix supplies the third operator: on \(Q_D\), the triple \((A,B,C)\) acts on any irreducible \(T\)-module as a totally bipartite Leonard triple of Bannai/Ito type, while on \(\tilde Q_D\), the triple \((\tilde A,\tilde B,\tilde C)\) acts as a totally almost bipartite Leonard triple of Bannai/Ito type [1301.0652].

The odd-graph realization of the universal Bannai–Ito algebra gives a more recent combinatorial synthesis [2510.23173]. For the odd graph \(O_{d+1}\), the construction begins from a \((2d+1)\)-element set \(\Omega\) and the permutation module on \(2^\Omega\), identified with a tensor product module through
\[
\iota(x_0):2^\Omega\to 2^{\Omega\setminus x_0}\otimes 2^{x_0},\qquad
x\mapsto (x\setminus x_0)\otimes (x\cap x_0)
\]
[2510.23173]. On the resulting standard module for the Terwilliger algebra \((x_0)\), the three distinguished operators are identified as
\[
X=\text{adjacency matrix of }O_{d+1},
\]
\[
Y=\frac{d+1}{2d+1}A^*(x_0)+\frac{1}{2(2d+1)},
\qquad
Z=\frac{d+1}{2d+1}\{A,A^*(x_0)\}+\frac{1}{2d+1}
\]
[2510.23173]. This yields a surjective algebra homomorphism
\[
BI \twoheadrightarrow (x_0)
\]
and implies that \(X,Y,Z\) act on every irreducible \((x_0)\)-module as a Leonard triple [2510.23173]. The paper describes this as “a unified description of Leonard triples on all irreducible modules over the Terwilliger algebra” [2510.23173].

These graph-theoretic realizations clarify that Leonard triples are not merely classification objects attached to abstract algebras. They also appear canonically on irreducible Terwilliger modules, where adjacency, dual adjacency, and weighted or anticommutator-derived operators encode the triple structure [1301.0652].

## 5. Leonard trios as a framework for bispectral rational functions

A newer strand of the subject introduces Leonard trios specifically to encode biorthogonal rational functions. In this setting, a Leonard trio is an ordered triple \((V,\widehat V,Z)\) satisfying two asymmetric tridiagonality conditions: there exists a basis in which \(V\) is diagonal and multiplicity free, \(Z\) is tridiagonal, and \(VZ\) is tridiagonal; and another basis in which \(\widehat V\) is diagonal and multiplicity free, \(Z\) is tridiagonal, and \(ZV\) is tridiagonal [2601.15052]. For an irreducible Leonard trio, the structure is strengthened by requiring irreducibility in the relevant tridiagonal realizations and, in a basis where \(Z\) is diagonal, requiring \(V\) and \(\widehat V\) to be irreducible tridiagonal [2601.15052].

The associated overlap coefficients satisfy generalized eigenvalue problems rather than the ordinary Leonard-pair recurrence/difference system. If
\[
V u_n = \lambda_n u_n,\qquad \widehat V \hat u_x = \widehat \lambda_x \hat u_x,
\]
then the overlaps
\[
W_n(x):=(\hat u_x^*,u_n)
\]
obey one generalized eigenvalue problem in \(n\) and another in \(x\), and under the stated nondegeneracy assumptions \(W_n(x)/W_0(x)\) becomes a rational function of the spectral variable [2601.15052]. The dual overlaps satisfy the biorthogonality relations
\[
\sum_{x=0}^N W_m(x)\widehat W_n(x)=\delta_{m,n}, \qquad
\sum_{n=0}^N W_n(x)\widehat W_n(y)=\delta_{x,y}
\]
[2601.15052]. This is the rational-function analogue of the bispectral orthogonal-polynomial mechanism familiar from Leonard pairs.

The first detailed classification result in this newer theory is the irreducible \(q\)-Racah-type case, where the overlap coefficients are Wilson rational functions [2601.15052]. The paper states that the most general irreducible Leonard trio of \(q\)-Racah type is controlled by a specific parameter specialization and that Wilson’s rational functions appear as the overlap coefficients, together with their recurrence, difference, and biorthogonality relations [2601.15052].

A parallel development in the Hahn case introduces the trio Hahn algebra \(t\mathfrak H\), generated by \(\mathcal V,\widetilde{\mathcal V},\mathcal Z,\mathcal Z^{-1}\), with defining relations
\[
\mathcal Z^{-1}\mathcal Z=\mathcal Z\mathcal Z^{-1}=I,
\]
\[
[\mathcal V,\widetilde{\mathcal V}]=-\widetilde{\mathcal V}^2-\mathcal V+\widetilde{\mathcal V}+\zeta\,\mathcal Z^{-2},
\]
\[
[\mathcal Z,\widetilde{\mathcal V}]=\mathcal Z+I,
\]
\[
[\mathcal V,\mathcal Z]=\{\widetilde{\mathcal V},\mathcal Z\}-\mathcal Z+\eta-I
\]
[2605.19475]. The paper proves that this trio Hahn algebra is isomorphic to the extended meta Hahn algebra \(m\mathfrak H^\star\), identifying
\[
V\mapsto \mathcal V,\qquad Z\mapsto \mathcal Z,\qquad X\mapsto \widetilde{\mathcal V}\mathcal Z,
\]
with inverse map \(\widetilde{\mathcal V}\mapsto XZ^{-1}\) [2605.19475]. In finite-dimensional realizations on \(\mathbb C_N[x]\), the operators
\[
V=(x+a)(x+1-a-N)T^+-x(x+1)I,
\]
\[
\widetilde V=(x+c)T^+-xI,
\]
\[
Z=-T^-,\qquad Z^{-1}=-T^+
\]
form a Leonard trio in the Hahn sense [2605.19475]. The classical Hahn polynomials and Hahn-type rational functions then appear as overlaps between eigenbases of these operators, and their bispectrality and biorthogonality follow from the trio framework [2605.19475].

## 6. Related structures, limitations, and boundary cases

Leonard triples sit within a broader hierarchy of Leonard-type structures. Leonard pairs remain the foundational two-operator objects, with classical realizations such as the Krawtchouk case coming from pairs of normalized semisimple elements in \(\mathfrak{sl}_2\); in that setting the transition coefficients between eigenbases are Krawtchouk polynomials, and every Leonard pair of Krawtchouk type arises from such an \(\mathfrak{sl}_2\)-module realization [1201.1645]. This background is relevant because many triple constructions are extensions or completions of Leonard-pair data.

Not every bispectral finite family lies inside the Leonard framework. The dual \(-1\) Hahn polynomials provide a contrast case: they retain a three-term recurrence relation, but their dual spectral equation is fourth order rather than second order, and the corresponding generalized Leonard pair has a \(3\)-diagonal/\(5\)-diagonal asymmetry [1108.0132]. In the eigenbasis where \(A\) is diagonal, \(B\) is tridiagonal; in the eigenbasis where \(B\) is diagonal, \(A\) is five-diagonal [1108.0132]. The paper explicitly notes that it does not develop a theory of Leonard trios or Leonard triples for these polynomials [1108.0132]. This suggests a sharp boundary: finite bispectrality alone does not force Leonard duality, still less a Leonard triple or Leonard trio structure.

Another limitation concerns scope. Some DAHA constructions produce linked Leonard pairs rather than trios. For the universal DAHA \(\hat H_q\) of type \((C_1^\vee,C_1)\), if \(\mathcal V\) is a feasible finite-dimensional irreducible module, then the pair \(X+X^{-1},Y+Y^{-1}\) acts on each eigenspace of \(t_0\) as a Leonard pair of \(q\)-Racah type [1701.06089]. The paper does not build a Leonard trio on a single space, but rather a pair of Leonard pairs on the two complementary \(t_0\)-eigenspaces [1701.06089]. This is a reminder that not every three-operator environment yields a genuine triple or trio.

A final caution concerns the distinction between the classical and the newer rational-function usages. The classical theory of Leonard triples is symmetric in three operators, with each operator diagonal in one basis and the other two irreducible tridiagonal [1108.0458]. The recent Leonard-trio theory is asymmetric and explicitly tied to generalized eigenvalue problems, Heun operators, and rational overlap coefficients [2601.15052]. The shared terminology reflects a common diagonal/tridiagonal philosophy, but the defining axioms and applications are different.

## 7. Mathematical significance and current direction

Taken together, the cited developments show that Leonard trios form a nexus linking operator theory, representation theory, and algebraic combinatorics. In the classical sense, Leonard triples classify rigid three-operator configurations of QRacah and Bannai/Ito type, with complete parameter-level descriptions and explicit symmetry relations such as the \(\mathbb Z_3\)-symmetric Askey–Wilson relations [1108.0458]. They arise naturally from finite-dimensional irreducible modules over \(\mathcal A\), \(\triangle_q\), the universal Bannai–Ito algebra, and related algebras [1112.4577].

The graph-theoretic realizations show that these triple structures are also canonical on irreducible modules for Terwilliger algebras of hypercubes, antipodal quotients, and odd graphs, where adjacency and dual adjacency operators acquire a third companion coming from weighted adjacency or Bannai–Ito constructions [1301.0652]. In particular, the odd-graph homomorphism \(BI\twoheadrightarrow (x_0)\) places Leonard triples directly inside the Terwilliger algebra of a distance-regular graph [2510.23173].

The newer rational-function theory broadens the subject from orthogonal polynomials to biorthogonal rational functions. Here Leonard trios are no longer merely synonyms for Leonard triples but algebraic devices that encode generalized eigenvalue problems, biorthogonality, and bispectrality, with Wilson rational functions and Hahn-type rational functions appearing as overlap coefficients [2601.15052]. A plausible implication is that the subject is evolving from a classification theory of highly rigid tridiagonal/diagonal triples toward a broader framework in which multi-operator spectral problems organize finite families of special functions beyond the polynomial regime [2605.19475].

Source: https://www.emergentmind.com/topics/leonard-trios