Tridiagonal Pair Overview

• Tridiagonal pair is an ordered pair of diagonalizable operators on a finite-dimensional space that satisfy tridiagonal containment conditions with ordered eigenspaces and no proper common invariant subspace.
• They are characterized by symmetric, unimodal eigenspace dimensions (shape), and for the sharp case, by split sequences and canonical idempotents that enable precise classification.
• Tridiagonal pairs underpin applications in Q-polynomial distance-regular graphs, representation theory, and quantum algebras, linking algebraic structure to combinatorial and integrable systems.

A tridiagonal pair is an ordered pair $A,A^*$ of diagonalizable linear transformations on a finite-dimensional vector space $V$ such that there exists an ordering $\{V_i\}_{i=0}^d$ of the eigenspaces of $A$ with

$$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$

there exists an ordering $\{V_i^*\}_{i=0}^{\delta}$ of the eigenspaces of $A^*$ with

$$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$

and there is no nonzero proper common invariant subspace for $A$ and $A^*$ (Ito et al., 2010). It is known that $V$0, and this common value is called the diameter. Tridiagonal pairs were motivated by the theory of $V$1-polynomial distance-regular graphs, and the subject has developed strong links with representation theory, bispectral problems, integrable systems, and $V$2-Onsager and related algebras (Ito et al., 2010).

1. Definition, diameter, and shape

The defining tridiagonal containment conditions are formulated relative to standard orderings of eigenspaces. They do not require the eigenspaces to be one-dimensional, so the most natural matrix interpretation is block tridiagonal rather than scalar tridiagonal. The irreducibility condition excludes a decomposition into smaller common invariant pieces and is part of the definition itself (Ito et al., 2010).

A basic structural fact is that if $V$3 and $V$4 are standard orderings, then

$V$5

Writing this common value as $V$6, the sequence $V$7 is called the shape. The shape is symmetric and unimodal: $V$8 and

$V$9

Accordingly,

$\{V_i\}_{i=0}^d$0

These identities are among the fundamental invariants of the theory (Ito et al., 2010).

The standard idempotent formalism is packaged in a tridiagonal system

$\{V_i\}_{i=0}^d$1

where $\{V_i\}_{i=0}^d$2 and $\{V_i\}_{i=0}^d$3 are the primitive idempotents associated with the chosen standard orderings. For a diagonalizable $\{V_i\}_{i=0}^d$4 with eigenvalues $\{V_i\}_{i=0}^d$5,

$\{V_i\}_{i=0}^d$6

and similarly for $\{V_i\}_{i=0}^d$7. This idempotent language is the natural coordinate-free substitute for choosing explicit eigenbases (Ito et al., 2010).

2. Sharp systems, split sequences, and classification by parameter arrays

A tridiagonal pair is called sharp when $\{V_i\}_{i=0}^d$8. Over an algebraically closed field, every tridiagonal pair is sharp, so the sharp case is the generic classification regime in that setting (Ito et al., 2010). For a sharp tridiagonal system, one introduces the polynomials

$\{V_i\}_{i=0}^d$9

and similarly $A$0 from the dual eigenvalues. The split sequence $A$1 is defined by

$A$2

with $A$3. The parameter array of a sharp tridiagonal system is then

$A$4

and two sharp tridiagonal systems are isomorphic if and only if they have the same parameter array (Ito et al., 2010).

The classification theorem identifies exactly which parameter arrays occur. A sharp tridiagonal system exists with parameter array

$A$5

if and only if the eigenvalues are pairwise distinct, the two eigenvalue sequences satisfy the common ratio condition

$A$6

for $A$7, and the split sequence satisfies

$A$8

When these conditions hold, the system is unique up to isomorphism (Ito et al., 2010).

The proof runs through the universal algebra $A$9 attached to feasible eigenvalue data and the $$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$0-conjecture. For feasible

$$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$1

one forms an algebra generated by $$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$2 with the tridiagonal vanishing relations

$$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$3

and proves that the corner algebra $$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$4 is a polynomial algebra in $$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$5 variables. This yields the existence part of the classification and, over an algebraically closed field, a classification of all tridiagonal pairs up to isomorphism (Ito et al., 2010).

3. Split decompositions and canonical operators

A central refinement of the eigenspace picture is the first split decomposition

$$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$6

which satisfies

$$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$7

together with

$$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$8

There is also a second split decomposition

$$A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\qquad (0\le i\le d),$$9

again giving

$\{V_i^*\}_{i=0}^{\delta}$0

These decompositions share the same lower partial sums with respect to the $\{V_i^*\}_{i=0}^{\delta}$1-flag but encode different $\{V_i^*\}_{i=0}^{\delta}$2-filtrations (Bockting-Conrad, 2011).

Bockting-Conrad introduced two canonical endomorphisms attached to any tridiagonal pair, $\{V_i^*\}_{i=0}^{\delta}$3 and $\{V_i^*\}_{i=0}^{\delta}$4. The operator

$\{V_i^*\}_{i=0}^{\delta}$5

is characterized by

$\{V_i^*\}_{i=0}^{\delta}$6

while $\{V_i^*\}_{i=0}^{\delta}$7 is the unique operator satisfying

$\{V_i^*\}_{i=0}^{\delta}$8

and

$\{V_i^*\}_{i=0}^{\delta}$9

with $A^*$0. These operators commute: $A^*$1 and, under the nonvanishing condition on $A^*$2, both $A^*$3 and $A^*$4 are degree-$A^*$5 polynomials in $A^*$6 (Bockting-Conrad, 2011).

For tridiagonal pairs of $A^*$7-Racah type, the double lowering operator $A^*$8 lowers both split decompositions,

$A^*$9

and the transition map $$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$0 from the first split decomposition to the second admits the factorization

$$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$1

The same work introduces an intermediate diagonalizable operator

$$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$2

whose eigenspace decomposition is a “halfway point” between $$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$3 and $$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$4 (Bockting-Conrad, 2019).

A later refinement distinguishes two raising/lowering formalisms: the decomposition

$$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$5

relative to the $$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$6-eigenspace decomposition, and the split maps $$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$7 defined by

$$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$8

The comparison is mediated by

$$AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\qquad (0\le i\le \delta),$$9

which identifies $A$0 with $A$1. Under this identification, $A$2 becomes $A$3, $A$4 becomes a quadratic expression in $A$5, and $A$6 becomes a cubic expression in $A$7. The same comparison yields injectivity, surjectivity, and rank formulas for powers of $A$8 and $A$9, paralleling the classical results for $A^*$0 and $A^*$1 (Terwilliger, 25 Jul 2025).

4. Thin cases, Leonard pairs, and concrete matrix models

A tridiagonal pair of shape

$A^*$2

is a Leonard pair (Ito et al., 2010). In this case every eigenspace is one-dimensional, the pair is multiplicity-free, and one can use the full parameter-array machinery. Leonard pairs form the sharp finite-dimensional case of the broader tridiagonal-pair notion, and many explicit matrix classifications are first obtained there (Nomura, 2014).

A particularly rigid specialization is the totally bipartite case. A pair $A^*$3 is totally bipartite when the tridiagonal containments lose the middle term: $A^*$4 In this regime every eigenspace is one-dimensional, so every totally bipartite tridiagonal pair is a Leonard pair. Its eigenvalue array

$A^*$5

is classified by three conditions: distinct eigenvalues, a common recurrence

$A^*$6

and antisymmetry

$A^*$7

The resulting closed forms fall into Krawtchouk, Bannai/Ito, and $A^*$8-Racah families (Nomura et al., 2017).

Another concrete realization is the lower-bidiagonal/tridiagonal, or LB-TD, form for Leonard pairs. Here $A^*$9 is lower bidiagonal with all subdiagonal entries equal to $V$00, while $V$01 is irreducible tridiagonal. Over an algebraically closed field, with $V$02 not a root of unity, the intrinsic criterion is that a Leonard pair has LB-TD form if and only if at least two of $V$03, $V$04, $V$05 are nonzero. In the same non-root-of-unity regime, LB-TD form occurs exactly for Leonard pairs of type $V$06-Racah, $V$07-Hahn, or dual $V$08-Hahn (Nomura, 2014).

Recent work on type II tridiagonal pairs develops a higher-multiplicity analogue of Leonard overlap coefficients. Two bases are constructed: in one, $V$09 is diagonal and $V$10 is block tridiagonal; in the other, $V$11 is diagonal and $V$12 is block tridiagonal. The change-of-basis coefficients are given by nested products of Racah-like special functions involving shift operators. For $V$13, the coefficients reduce to ordinary Racah-polynomial form (Crampe et al., 3 Mar 2025).

5. Quantum-algebraic and combinatorial interfaces

A prominent specialization is the $V$14-Serre type. In this case one may choose standard orderings so that

$V$15

and the pair satisfies the cubic $V$16-Serre relations

$V$17

$V$18

Then $V$19 becomes an irreducible module for the positive part $V$20, with $V$21 and $V$22. The alternating elements of $V$23 act on the six canonical decompositions of $V$24 in a tightly controlled way: each acts in either a block diagonal, block upper bidiagonal, block lower bidiagonal, or block tridiagonal fashion (Terwilliger, 2022).

The same $V$25-Serre framework admits a one-parameter perturbation theory. If $V$26 denotes the split-decomposition operator and one defines

$V$27

then $V$28 is again a tridiagonal pair if and only if

$V$29

where $V$30 is the Drinfel'd polynomial attached to the original pair. In this case the perturbed split sequence is $V$31 (Karan, 2021).

For $V$32-Racah type tridiagonal pairs, the double lowering operator $V$33 and the grading operators $V$34 yield two $V$35-module structures on $V$36. In each, the Chevalley generator $V$37 acts as a scalar multiple of $V$38, and comparison of the two Casimir actions implies that $V$39 can be written as a rational function of $V$40, while $V$41 and $V$42 satisfy a quadratic relation (Bockting-Conrad, 2013). A further development constructs two $V$43-module structures, where $V$44 is the $V$45-tetrahedron algebra generated by four copies of $V$46; the two main ingredients are again $V$47 and the invertible operator $V$48, and the distinguished central element on the $V$49-module coincides with the TD-pair Casimir $V$50 (Terwilliger, 2020).

The combinatorial origin remains central. Tridiagonal pairs were motivated by $V$51-polynomial distance-regular graphs (Nomura et al., 2017). An $V$52-symmetric enlargement of the tridiagonal algebra has six generators arranged on a regular hexagon so that nonadjacent generators commute and adjacent generators satisfy tridiagonal relations. For a $V$53-polynomial distance-regular graph $V$54, the tensor power $V$55 of the standard module becomes a module for this algebra, and the Hamming graph case is analyzed in detail (Terwilliger, 2024).

6. Root-of-unity, higher-order, and tensorial extensions

The ordinary definition uses a linear ordering of eigenspaces. A root-of-unity extension replaces this by cyclic indexing. A cyclic tridiagonal pair of cyclicity $V$56 is an ordered pair $V$57 with eigenspaces indexed by $V$58 such that

$V$59

with indices understood modulo $V$60. A broad class arises from $V$61-Racah tridiagonal pairs after specializing $V$62 to a primitive $V$63-th root of unity (Baseilhac et al., 2016).

This root-of-unity regime produces divided polynomials

$V$64

which act as higher-order analogues of the tridiagonal partner. In an eigenbasis of $V$65, the operator $V$66 becomes block $V$67-diagonal, and dually for $V$68. The algebra generated by the divided polynomials is identified as a higher-order generalization of the Onsager algebra and can be viewed as a subalgebra of the $V$69-Onsager algebra at a primitive $V$70-th root of unity (Baseilhac et al., 2016).

Tensorial and higher-rank analogues also appear in the $V$71-symmetric tridiagonal algebra, where six generators support multiple overlapping tridiagonal-algebra embeddings, and in type II tridiagonal pairs, where overlap coefficients between canonical eigen-bases take the form of multivariable Racah-like special functions with shift operators (Terwilliger, 2024, Crampe et al., 3 Mar 2025). This suggests that the standard two-operator framework extends naturally toward cyclic, tensorial, and multivariable settings, while retaining the characteristic tridiagonal constraints in modified form.