Trio Hahn Algebra Overview

• Trio Hahn algebra is a three-generator structure related to Hahn polynomials, Hahn-type biorthogonal rational functions, and discrete superintegrable systems.
• It unifies different Hahn algebra formulations via explicit difference operator realizations and embeddings in Lie algebras such as sl2.
• Finite-dimensional modules yield concrete overlap coefficients, special functions, and recurrence relations that encapsulate bispectrality.

“Trio Hahn algebra” denotes a family of closely related three-generator algebraic structures attached to Hahn polynomials, Hahn-type biorthogonal rational functions, and discrete superintegrable systems. In the literature represented here, the term appears for a quadratic algebra (R_H) generated by three difference operators (X,Y,Z) on the uniform grid [2005.04217], for the meta-Hahn algebra (m\mathfrak{H}) with generators (X,Z,V) that contains both the Hahn algebra and the rational-Hahn algebra [2009.05905], for a simplified “meta-Hahn (Trio) algebra” used to unify finite Hahn polynomial and rational-function families [2405.05692], and for a trio Hahn algebra (t\mathfrak{h}) proved to be isomorphic to the meta-Hahn algebra after adjoining (Z^{-1}) [2605.19475]. A recurrent theme is bispectrality: the same algebra controls both recurrence relations and difference or generalized eigenvalue equations.

1. Terminology and principal formulations

In the papers surveyed here, the expression “Trio Hahn algebra” labels several three-generator structures attached to Hahn-type bispectral problems.

Formulation	Generators	Role
(R_H) [2005.04217]	(X,Y,Z)	Quadratic algebra for ({}_3F_2) biorthogonal rational functions
(m\mathfrak{H}) [2009.05905]	(X,Z,V)	Unified algebra containing Hahn and rational-Hahn algebras
Meta-Hahn (Trio) algebra [2405.05692]	(X,Z,V)	Unified treatment of Hahn polynomials and Hahn-type rational functions
(t\mathfrak{h}) [2605.19475]	(\mathcal V,\widetilde{\mathcal V},\mathcal Z,\mathcal Z^{-1})	Leonard-trio formulation, isomorphic to (m\mathfrak h^*)
2D symmetry algebra [1707.03843]	(L_{12},L_{13},L_{23})	Hidden symmetry of Hahn-polynomial superintegrable systems

This nonuniform usage is structurally significant rather than merely terminological. In each case, the algebra is three-generated, admits a central element or Hamiltonian, and organizes a finite-dimensional representation in which one basis diagonalizes one generator while another generator is tridiagonal or bidiagonal. The one-variable Hahn algebra itself appears as a two-generator subalgebra or degeneration in several of these constructions [1506.07803].

2. The difference-operator trio Hahn algebra (R_H)

A concrete three-generator quadratic algebra was given on the ((N+1))-dimensional space
[
M_N={f:{x=0,1,2\ldots N}\to \mathbb R},
]
with parameters (\alpha,\beta), by the operators
[
X(\alpha,\beta)=(x-\alpha)I-xT^-,
]
[
Z(\alpha,\beta)=-I+\frac{x}{x-\alpha}T^-=(\alpha-x)\,X(\alpha,\beta)\,(x-\alpha)^{-1},
]
[
Y(\alpha,\beta)=A_1(x)T^++A_2(x)T^-+A_0(x)I,
]
where
[
A_1(x)=(x-\alpha)(x-N)(x+1-\alpha),
]
[
A_2(x)=x(x-\alpha)\bigl(x+\beta-\alpha-N\bigr),
]
[
A_0(x)=-(x-\alpha)^2-2x+\bigl(2\alpha-1+2N-\beta\bigr)x-N(\alpha-1).
]
In the monomial basis (e_k(x)=\delta_{k,x}), (X) and (Z) are bidiagonal and (Y) is tridiagonal [2005.04217].

These operators satisfy the quadratic commutation relations
[
[Z,X]=Z^2+Z,
]
[
[X,Y]=\xi_1(X^2+Z^2)+{X,Z}+{Y,Z}+\xi_4X+\xi_0Z+Y^2+\xi I,
]
[
[Y,Z]=3X^2+Z^2+\xi_2{X,Z}+\xi_3X+\xi_2Z+\xi I,
]
with structure constants
[
\xi_1=N-\beta,\quad \xi_2=\alpha(\alpha-\beta),\quad \xi_3=1+\alpha(1+N-\beta),
]
[
\xi_4=\alpha+(\alpha+1)(N-\beta),\quad \xi_0=4\alpha-2\beta-1,\quad \xi=\alpha(\beta-\alpha).
]
These equations define the Trio Hahn quadratic algebra (R_H). The cubic central element (Q) is explicit, and in the difference-operator realization one finds
[
Q=\alpha(\beta-\alpha)I
]
[2005.04217].

The algebra encodes the bispectrality of the Hahn-type rational functions through the generalized eigenvalue problem
[
Y(\alpha,\beta)\,U_n(\cdot;\alpha,\beta,N)=\lambda_n\,X(\alpha,\beta)\,U_n(\cdot;\alpha,\beta,N),
\qquad
\lambda_n=n(N-\beta-n),
]
with normalized solution
[

U_n(x;\alpha,\beta,N)

{}{3}F{2}!\Bigl(-n,-x,\beta+n-N;1-\alpha-x,1;1\Bigr).
]
The paper further gives three equivalent ((N+1))-dimensional irreducible representations: the monomial basis, a “Pochhammer-ratio” basis
[
\phi_n(x;\alpha)=\frac{(-x)n}{(\alpha-x)_n},
]
and the rational-function basis ({U_n(x;\alpha,\beta,N)}{n=0}^N), in which all three generators become tridiagonal [2005.04217].

3. The meta-Hahn algebra and unification of Hahn and rational-Hahn structures

A broader three-generator algebraic framework was introduced as the meta-Hahn algebra (m\mathfrak H). In its general form, one fixes real parameters (\mu_1,\mu,\mu_3) and a central charge (n_0), and defines the unital associative algebra over (\mathbb R) generated by (X,Z,V) with
[
[Z,X]=Z^2+Z,
]
[
[X,V]={V,Z}+\mu X+V-\mu_1 Z+n_0 I,
]
[
[V,Z]=2X+\mu Z+\mu_3 I.
]
The algebra admits the central element
[
Q={V,Z^2+Z}+2X^2+(2-\mu)Z^2+\mu{X,Z}+2\mu_3X+2(n_0+1)Z
]
[2009.05905].

A key internal component is the two-generator subalgebra (J=\langle X,Z\rangle), which obeys
[
[Z,X]=Z^2+Z.
]
This subalgebra is described as the real form of the “deformed Jordan plane,” and as a PBW-deformation of the Jordan plane. In finite-dimensional representations, it underlies the Hahn recurrence structure [2009.05905].

The same paper shows two embeddings. First, if
[
W=X+pZ,
\qquad
K_1=W,\quad K_2=V,
]
then (K_1,K_2) satisfy the quadratic Hahn algebra relations, so the usual Hahn algebra injects into (m\mathfrak H) via
[
K_1\leftarrow X+pZ,\qquad K_2\leftarrow V.
]
Second, if
[
Y:=XV,
]
then (X,Y,Z) satisfy the defining cubic commutation relations of the rational-Hahn algebra, so
[
X\mapsto X,\qquad Z\mapsto Z,\qquad Y\mapsto XV
]
realizes the rational-Hahn algebra inside (m\mathfrak H) [2009.05905].

A simplified form of the same unifying idea was used later under the label “Meta-Hahn (Trio) Algebra,” with defining relations
[
[Z,X]=Z^2+Z,\qquad [X,V]={V,Z}+V+\xi I,\qquad [V,Z]=2X+\eta I,
]
and Casimir
[
Q={V,Z^2+Z}+2(X^2+Z^2)+2\eta X+2(\xi+1)Z.
]
For
[
W=X+\rho Z,\qquad K_1=W,\quad K_2=V,
]
one obtains the standard Hahn algebra relations, so (m\mathfrak H) contains the usual two-generator Hahn algebra as the subalgebra generated by ({W,V}) [2405.05692].

4. Finite-dimensional modules, overlap coefficients, and special functions

Finite-dimensional representation theory is the point at which the trio Hahn constructions become a framework for concrete special functions. In one formulation, (V) acts on an ((N+1))-dimensional real vector space (V_N) with nondegenerate bilinear form, and four natural bases are constructed: a GEVP basis ({d_n}), an adjoint GEVP basis ({d_n^*}), the eigenbasis ({e_n}) of (V), and the pencil eigenbasis ({f_n}) of (X+pZ). Their overlaps produce four families of special functions. In particular,
[
(e_m,d_n^*)=U_m(n)
]
gives the bispectral rational Hahn functions, while
[
(f_m,e_n)
]
and
[
(f_m,e_n^*)
]
are proportional to the Hahn orthogonal polynomials. The paper states biorthogonality for (U_m(n)) and orthogonality for the Hahn polynomials through these overlaps [2009.05905].

In the ((N+1))-dimensional “two-diagonal” representation of the simplified meta-Hahn algebra, one takes a basis ({\ket n}{n=0}^N), fixes (\alpha,\beta\in\mathbb R), imposes
[
\eta=-N+2\alpha,\qquad \xi=(\beta+1)(N-\beta),
]
and defines
[
Z\ket n=-\ket n+a_n\ket{n+1},
]
[
X\ket n=(n-\alpha)\ket n-a_n(n-\beta)\ket{n+1},
]
[
V\ket n=(\beta-n)(n-\beta-1)\ket n-\frac{n(N+1-n)}{a{n-1}}\ket{n-1}.
]
The associated spectral data are
[
\lambda_n=\alpha-n,\qquad \mu_m=(\beta-m)(m-\beta-1),\qquad \nu_k=k-\alpha-\rho.
]
All of the corresponding eigenvectors can be expanded explicitly on ({\ket n}) in closed form by terminating ({}_3F_2)-series [2405.05692].

Two kinds of overlap coefficients appear. The EVP-EVP overlaps
[
S_m(n)=\braket{e_m}{f_n^*},\qquad \widetilde S_m(n)=\braket{e_m^*}{f_n}
]
are proportional to the classical Hahn polynomial
[

Q_m\bigl(n;\hat\alpha,\hat\beta,N\bigr)

{}{3}F{2}!\Bigl(-m,m+\hat\alpha+\hat\beta+1,-n;-N,\hat\alpha+1;1\Bigr),
]
with
[
\hat\alpha=-1-\beta-\rho,\qquad \hat\beta=\rho-\beta-1.
]
Their orthogonality follows from the biorthonormality of the eigenbases:
[
\sum_{n=0}^N \widetilde S_m(n)\,S_{m'}(n)=\delta_{m,m'},
\qquad
\sum_{m=0}^N \widetilde S_m(n)\,S_m(n')=\delta_{n,n'}.
]

The GEVP-EVP overlaps
[
U_m(n)=\braket{e_m}{d_n^*},\qquad \widetilde U_m(n)=\braket{e_m^*}{\,Z\mid d_n}
]
coincide, up to simple pre-factors in Pochhammer symbols, with the biorthogonal partners
[

\mathcal U_m(n;a,b,N)

\frac{(-1)^m(-N)_m}{(b+1)_m}
\,{}{3}F{2}!\Bigl(-n,-m,b+m-N;-N,a-n;1\Bigr),
]
[
{}_m(n;a,b,N)=\mathcal U_m\bigl(N-n;b+2-a,b,N\bigr),
]
with
[
a=\alpha-\beta,\qquad b-N=-2\beta-1.
]
The biorthogonality is stated in terms of explicit weights (w(n),w^*(m)) and normalizations (h_m,h_n^*) [2405.05692].

5. Leonard trios, concrete realizations, and Lie-theoretic embeddings

A recent reformulation introduces the trio Hahn algebra (t\mathfrak h) with generators
[
I,\quad \mathcal V,\quad \widetilde{\mathcal V},\quad \mathcal Z,\quad \mathcal Z^{-1},
]
central parameters (\eta,\zeta), and 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 V,\mathcal Z]

{\widetilde{\mathcal V},\mathcal Z}-\mathcal Z+\eta-I,
]
[
[\mathcal Z,\widetilde{\mathcal V}]=\mathcal Z+I.
]
The paper proves that, after adjoining (Z^{-1}), this algebra is isomorphic to the meta-Hahn algebra (m\mathfrak h^*) under
[
V\mapsto \mathcal V,\qquad Z\mapsto \mathcal Z,\qquad X\mapsto \widetilde{\mathcal V}\mathcal Z,
]
with inverse
[
\mathcal V\mapsto V,\qquad \mathcal Z\mapsto Z,\qquad \widetilde{\mathcal V}\mapsto XZ^{-1}.
]
This is the explicit statement that clarifies the structural connection between Leonard trios and meta algebras [2605.19475].

The same work gives a finite-dimensional difference-operator realization on (\mathbb C_N[x]), (\deg\le N):
[
\mathcal V=(x+a)(x+1-a-N)T^+-x(x+1)I,
]
[
\widetilde{\mathcal V}=(x+c)T^+-xI,
]
[
\mathcal Z=-T^-,
\qquad
\mathcal Z^{-1}=-T^+,
]
with
[
\eta=(2c+N)I,\qquad \zeta=(c-a)(a+c+N-1)I.
]
Its eigenbases include the (\mathcal V)-eigenbasis
[
\mathbf a_k(x)=(x+a)k\bigl(x+1-a-N\bigr){N-k},
]
the (\widetilde{\mathcal V})-eigenbasis
[
\mathbf b_k(x)=(x+c)_k,
]
and the generalized (X)-eigenbasis
[
X:=\widetilde V\,Z,\qquad \mathbf d_k=Z^{-1}\mathbf b_k=-(x+c+1)_k.
]
The ordinary Hahn polynomials and Hahn-type rational functions arise as overlaps between these bases, and because ((V,\widetilde V,Z)) form a Leonard trio, these overlaps encode bispectrality [2605.19475].

The meta-Hahn framework also admits differential and difference models and an embedding into (\mathcal U(\mathfrak{sl}_2)). One differential-operator model uses
[
Z=(x-1)I,
]
[
X=x(1-x)\partial_x-a x,
]
[
V=(1-2x)x\partial_x+[(N-1-\beta)x-N]-x(1-x)\partial_x^2,
]
and realizes the defining relations with (\mu_1=N-1-\beta) and (\mu_3=2a-\beta-1). The paper further presents an embedding of (m\mathfrak H) in (\mathcal U(\mathfrak{sl}_2)), and in finite-dimensional (\mathfrak{sl}_2)-modules of spin (j=N/2) this reproduces the differential model. A Padé approximation table for the binomial function ((1-x)^b) is obtained as a by-product [2009.05905].

6. Related usages: superintegrability, Heun-Hahn extensions, and (q)-analogues

In the two-dimensional Hahn-polynomial system on a hexagon, the “Trio-Hahn” algebra appears as the hidden symmetry algebra generated by
[
L_1=L_{2,3},\qquad L_2=L_{1,3},\qquad L_3=L_{1,2},
]
where
[
L_{ij}f(x)=x_j(x_i-\ell_i)[E_iE_j^{-1}-1]f(x)+x_i(x_j-\ell_j)[E_jE_i^{-1}-1]f(x).
]
The discrete Hamiltonian is
[
H=L_1+L_2+L_3=\sum_{1\le i<j\le 3}L_{ij},
]
and one has
[
[H,L_{ij}]=0.
]
The operators satisfy the Kohno-Drinfeld relations
[
[L_{ij},L_{kl}]=0\quad \text{if } {i,j}\cap{k,l}=\varnothing,
\qquad
[L_{ij},L_{ik}+L_{jk}]=0,
]
and close quadratically into a three-generator algebra. In this setting, the Trio-Hahn algebra is described as the discrete hidden symmetry underlying the two-dimensional Hahn-polynomial superintegrable system [1707.03843].

A different adjacent construction is the Heun-Hahn extension of the Hahn algebra. Starting from the Hahn generators (K_1,K_2), one adjoins the Heun-Hahn operator
[
W=T_1K_1K_2+T_2K_2K_1+T_3K_1+T_4K_2+T_0I.
]
The resulting algebra is finitely closed: no new generators are produced, and one ends up with exactly three “basic” generators ((K_1,K_2,W)). The paper explicitly states that this three-fold closure is what it calls the “Trio Hahn algebra” [1808.00153].

The one-variable Hahn algebra itself also arises as a degeneration of the tridiagonalization of the hypergeometric operator. In the degenerate case (T_1+T_2=0), the tridiagonalized operator becomes first order, preserves (\mathrm{span}{1,x,\dots,x^N}), and together with the Jacobi operator closes the Hahn algebra. The expansion coefficients between the corresponding eigenbases are the classical Hahn polynomials [1506.07803].

A (q)-analogue appears in the Hahn specialization of the Askey-Wilson algebra (AW(3)), with generators (A,B,C) satisfying
[
[A,B]_q=C,\qquad [B,C]=\Lambda B,\qquad [C,A]_q=\Lambda A+\Delta.
]
In the (sl_q(2)\otimes sl_q(2)) realization, the overlap coefficients between uncoupled and coupled bases are (q)-Hahn polynomials, and the algebraic relations encode their recurrence, difference, and duality properties. Here the “trio” language refers to the three-generator specialization of (AW(3)) underlying the Hahn problem for (sl_q(2)) [2104.01994].

Across these formulations, the common role of the trio Hahn algebra is to package finite-dimensional bispectral data into a three-generator algebra with a central element, concrete operator realizations, and overlap coefficients given by Hahn polynomials or Hahn-type biorthogonal rational functions. The later meta-Hahn and Leonard-trio papers make this unifying role explicit by placing the polynomial and rational-function families in a single algebraic structure [2405.05692][2605.19475].