--- title: Trio Hahn Algebra Overview url: https://www.emergentmind.com/topics/trio-hahn-algebra type: topic --- # Trio Hahn Algebra Overview “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