Leonard Trios in Algebraic Combinatorics

• Leonard trios are defined as ordered triples of linear operators where one operator is diagonal while the others are irreducible tridiagonal, extending the concept of Leonard pairs.
• They arise in algebraic combinatorics and representation theory, with well-studied classifications including QRacah and Bannai/Ito types, and realizations via Terwilliger algebras and distance-regular graphs.
• Recent work generalizes Leonard trios to model biorthogonal rational functions and generalized eigenvalue problems, bridging traditional orthogonal polynomial settings with modern DAHA and Hahn-type frameworks.

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 (Huang, 2011). 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 (Crampé et al., 21 Jan 2026). 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 (Huang, 2020).

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 (Brown, 2011). 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 (Huang, 2011). The associated pairs $(A,A^*)$, $V$0, and $V$1 are Leonard pairs (Brown, 2011).

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 (Brown, 2013). The shorthand totally B/AB denotes either of these two cases (Brown, 2011). Another important designation is Bannai/Ito type, meaning that each associated Leonard pair is of Bannai/Ito type (Brown, 2011).

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 (Huang, 2011). By contrast, recent work on bispectral rational functions introduces a new notion of Leonard trio as an ordered triple $V$2 with asymmetric tridiagonality conditions: there exists a basis in which $V$3 is diagonal and multiplicity free while $V$4 and $V$5 are tridiagonal, and another basis in which $V$6 is diagonal and multiplicity free while $V$7 and $V$8 are tridiagonal (Crampé et al., 21 Jan 2026). 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 (Huang, 2011). In that setting the three eigenvalue sequences are parametrized by nonzero scalars $V$9 as

$(A,A^*,A^\varepsilon)$0

for $(A,A^*,A^\varepsilon)$1, subject to the reduced parameter conditions recorded in the classification (Huang, 2011). The classification theorem identifies the isomorphism classes of Leonard triples of QRacah type with $(A,A^*,A^\varepsilon)$2-orbits of admissible parameter tuples $(A,A^*,A^\varepsilon)$3 (Huang, 2011).

A decisive structural feature of the QRacah theory is the existence of a uniquely determined third operator $(A,A^*,A^\varepsilon)$4 completing a QRacah Leonard pair $(A,A^*,A^\varepsilon)$5 so that the three operators satisfy the $(A,A^*,A^\varepsilon)$6-symmetric Askey–Wilson relations

$(A,A^*,A^\varepsilon)$7

together with its two cyclic analogues (Huang, 2011). In this framework, $(A,A^*,A^\varepsilon)$8 is a Leonard triple if and only if $(A,A^*,A^\varepsilon)$9 is multiplicity-free, equivalently if and only if $A$0 avoids the forbidden set

$A$1

(Huang, 2011).

The Bannai/Ito classification supplies a second major family. The algebra

$A$2

defines the anticommutator spin algebra $A$3, and finite-dimensional irreducible $A$4-modules are classified into the five families $A$5, $A$6, $A$7, $A$8, and $A$9 (Brown, 2011). On any finite-dimensional irreducible $A^*,A^\varepsilon$0-module, the actions of $A^*,A^\varepsilon$1 form a Leonard triple: type $A^*,A^\varepsilon$2 yields a totally bipartite Leonard triple, while type $A^*,A^\varepsilon$3 yields a totally almost bipartite Leonard triple (Brown, 2011). For diameter at least $A^*,A^\varepsilon$4, the paper shows that totally B/AB Leonard triples of Bannai/Ito type, finite-dimensional irreducible $A^*,A^\varepsilon$5-modules, and the corresponding Leonard-pair data are essentially in one-to-one correspondence (Brown, 2011).

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

$A^*,A^\varepsilon$6

are all equal to $A^*,A^\varepsilon$7 (Brown, 2013). This normalization removes scaling ambiguity and aligns the triple-level relations with the defining relations of $A^*,A^\varepsilon$8 (Brown, 2013).

3. Algebraic sources: $A^*,A^\varepsilon$9, $A^*$0, DAHA, and the universal Bannai–Ito algebra

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

The universal Askey–Wilson algebra $A^*$3 and the universal DAHA of type $A^*$4 provide the analogous mechanism on the $A^*$5-side. The DAHA $A^*$6 is generated by $A^*$7 with

$A^*$8

and there is an algebra homomorphism $A^*$9 sending

$A^\varepsilon,A$0

(Huang, 2020). For a finite-dimensional irreducible $A^\varepsilon,A$1-module $A^\varepsilon,A$2, the central theorem states that

$A^\varepsilon,A$3

(Huang, 2020). 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 $A^\varepsilon,A$4 by the universal Bannai–Ito algebra $A^\varepsilon,A$5 and constructs it from a skew group ring over $A^\varepsilon,A$6. The starting algebra is

$A^\varepsilon,A$7

where $A^\varepsilon,A$8 acts by

$A^\varepsilon,A$9

(Huang et al., 27 Oct 2025). Using the coproduct

$A^\varepsilon$0

the paper defines on the $A^\varepsilon$1-eigenspace

$A^\varepsilon$2

the operators

$A^\varepsilon$3

(Huang et al., 27 Oct 2025). On $A^\varepsilon$4 they satisfy the Bannai–Ito relations

$A^\varepsilon$5

with $A^\varepsilon$6 (Huang et al., 27 Oct 2025). For a finite-dimensional irreducible $A^\varepsilon$7-module $A^\varepsilon$8, the following are equivalent: $A^\varepsilon$9; the resulting $A,A^*$0-module $A,A^*$1 is irreducible; and the operators $A,A^*$2 act on $A,A^*$3 as a Leonard triple (Huang et al., 27 Oct 2025).

4. Combinatorial realizations and Terwilliger algebras

Distance-regular graphs provide concrete realizations in which Leonard triples arise from adjacency-type operators. For the hypercube $A,A^*$4 and its antipodal quotient $A,A^*$5, the Terwilliger algebra plays the central role (Brown, 2013). When $A,A^*$6 is even, there exists a unique $A,A^*$7-module structure on the standard module of $A,A^*$8 such that $A,A^*$9 act as the adjacency and dual adjacency matrices respectively; when $(A,A^*)$0 is odd, the corresponding statement holds for the antipodal quotient $(A,A^*)$1 (Brown, 2013). In these realizations, the weighted adjacency matrix supplies the third operator: on $(A,A^*)$2, the triple $(A,A^*)$3 acts on any irreducible $(A,A^*)$4-module as a totally bipartite Leonard triple of Bannai/Ito type, while on $(A,A^*)$5, the triple $(A,A^*)$6 acts as a totally almost bipartite Leonard triple of Bannai/Ito type (Brown, 2013).

The odd-graph realization of the universal Bannai–Ito algebra gives a more recent combinatorial synthesis (Huang et al., 27 Oct 2025). For the odd graph $(A,A^*)$7, the construction begins from a $(A,A^*)$8-element set $(A,A^*)$9 and the permutation module on $V$00, identified with a tensor product module through

$V$01

(Huang et al., 27 Oct 2025). On the resulting standard module for the Terwilliger algebra $V$02, the three distinguished operators are identified as

$V$03

$V$04

(Huang et al., 27 Oct 2025). This yields a surjective algebra homomorphism

$V$05

and implies that $V$06 act on every irreducible $V$07-module as a Leonard triple (Huang et al., 27 Oct 2025). The paper describes this as “a unified description of Leonard triples on all irreducible modules over the Terwilliger algebra” (Huang et al., 27 Oct 2025).

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 (Brown, 2013).

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$08 satisfying two asymmetric tridiagonality conditions: there exists a basis in which $V$09 is diagonal and multiplicity free, $V$10 is tridiagonal, and $V$11 is tridiagonal; and another basis in which $V$12 is diagonal and multiplicity free, $V$13 is tridiagonal, and $V$14 is tridiagonal (Crampé et al., 21 Jan 2026). For an irreducible Leonard trio, the structure is strengthened by requiring irreducibility in the relevant tridiagonal realizations and, in a basis where $V$15 is diagonal, requiring $V$16 and $V$17 to be irreducible tridiagonal (Crampé et al., 21 Jan 2026).

The associated overlap coefficients satisfy generalized eigenvalue problems rather than the ordinary Leonard-pair recurrence/difference system. If

$V$18

then the overlaps

$V$19

obey one generalized eigenvalue problem in $V$20 and another in $V$21, and under the stated nondegeneracy assumptions $V$22 becomes a rational function of the spectral variable (Crampé et al., 21 Jan 2026). The dual overlaps satisfy the biorthogonality relations

$V$23

(Crampé et al., 21 Jan 2026). 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 $V$24-Racah-type case, where the overlap coefficients are Wilson rational functions (Crampé et al., 21 Jan 2026). The paper states that the most general irreducible Leonard trio of $V$25-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 (Crampé et al., 21 Jan 2026).

A parallel development in the Hahn case introduces the trio Hahn algebra $V$26, generated by $V$27, with defining relations

$V$28

$V$29

$V$30

$V$31

(Crampé et al., 19 May 2026). The paper proves that this trio Hahn algebra is isomorphic to the extended meta Hahn algebra $V$32, identifying

$V$33

with inverse map $V$34 (Crampé et al., 19 May 2026). In finite-dimensional realizations on $V$35, the operators

$V$36

$V$37

$V$38

form a Leonard trio in the Hahn sense (Crampé et al., 19 May 2026). 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 (Crampé et al., 19 May 2026).

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 $V$39; in that setting the transition coefficients between eigenbases are Krawtchouk polynomials, and every Leonard pair of Krawtchouk type arises from such an $V$40-module realization (Nomura et al., 2012). 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 $V$41 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 $V$42-diagonal/$V$43-diagonal asymmetry (Tsujimoto et al., 2011). In the eigenbasis where $V$44 is diagonal, $V$45 is tridiagonal; in the eigenbasis where $V$46 is diagonal, $V$47 is five-diagonal (Tsujimoto et al., 2011). The paper explicitly notes that it does not develop a theory of Leonard trios or Leonard triples for these polynomials (Tsujimoto et al., 2011). 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 $V$48 of type $V$49, if $V$50 is a feasible finite-dimensional irreducible module, then the pair $V$51 acts on each eigenspace of $V$52 as a Leonard pair of $V$53-Racah type (Nomura et al., 2017). The paper does not build a Leonard trio on a single space, but rather a pair of Leonard pairs on the two complementary $V$54-eigenspaces (Nomura et al., 2017). 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 (Huang, 2011). The recent Leonard-trio theory is asymmetric and explicitly tied to generalized eigenvalue problems, Heun operators, and rational overlap coefficients (Crampé et al., 21 Jan 2026). 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 $V$55-symmetric Askey–Wilson relations (Huang, 2011). They arise naturally from finite-dimensional irreducible modules over $V$56, $V$57, the universal Bannai–Ito algebra, and related algebras (Brown, 2011).

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 (Brown, 2013). In particular, the odd-graph homomorphism $V$58 places Leonard triples directly inside the Terwilliger algebra of a distance-regular graph (Huang et al., 27 Oct 2025).

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 (Crampé et al., 21 Jan 2026). 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 (Crampé et al., 19 May 2026).