Meta Hahn Algebra: Unified Hahn Framework

• Meta Hahn algebra is a three-generator quadratic algebra unifying Hahn polynomials and biorthogonal rational functions via generalized eigenvalue problems.
• It embeds the ordinary Hahn algebra as a subalgebra and acts as a PBW deformation of the Jordan plane, linking various Hahn-centered structures.
• The framework supports finite-dimensional modules with natural bases whose overlaps yield Hahn polynomials and Hahn-type rational functions.

Meta Hahn algebra denotes a family of Hahn-centered extension structures in which the ordinary Hahn algebra is embedded into a larger algebraic framework. In the most explicit recent usage, it is the three-generated quadratic algebra $m\mathfrak H$ with generators $X,Z,V$, designed so that finite-dimensional representations simultaneously produce Hahn polynomials and Hahn-type biorthogonal rational functions as overlap coefficients of ordinary and generalized eigenvalue problems (Tsujimoto et al., 2024). In broader usage, the same expression also refers to Heun-type, superalgebraic, oscillator, and higher-rank extensions in which a Hahn algebra appears as a subalgebra, an even part, or a symmetry algebra (Vinet et al., 2018, Genest et al., 2013).

1. Terminology and scope

The expression is used in several related senses across the literature. The common theme is not a single universal presentation, but the enlargement of a Hahn-type bispectral algebra so that additional structures—generalized eigenvalue problems, Heun operators, reflections, Leonard trios, or higher-rank symmetries—are incorporated in a single framework (Tsujimoto et al., 2024, Vinet et al., 2018).

Usage	Defining feature	Representative source
Meta Hahn algebra $m\mathfrak H$	Three-generated quadratic algebra unifying Hahn polynomials and Hahn-type biorthogonal rational functions	(Tsujimoto et al., 2024)
Trio Hahn algebra	Leonard-trio presentation isomorphic to the extended meta Hahn algebra	(Crampé et al., 19 May 2026)
Heun–Hahn extension	Hahn algebra enlarged by the algebraic Heun operator $W$ into a cubic Heun–Racah algebra of Hahn type	(Vinet et al., 2018)
Hahn superalgebra	Quadratic superalgebra whose even part is the Hahn algebra with reflections	(Genest et al., 2013)

A precise and widely used algebraic meaning is the one given in "Meta Algebras and Biorthogonal Rational Functions: The Hahn Case" (Tsujimoto et al., 2024) and "A unified algebraic underpinning for the Hahn polynomials and rational functions" (Vinet et al., 2020). In that setting, the adjective “meta” indicates that the algebra simultaneously contains an Askey–Wilson-type Hahn subalgebra and a rational or generalized-eigenvalue subalgebra, so that orthogonal polynomials and biorthogonal rational functions are treated within one representation-theoretic object (Tsujimoto et al., 2024).

2. The three-generator quadratic algebra $m\mathfrak H$

In the 2024 formulation, the meta Hahn algebra $m\mathfrak H$ is generated over $\mathbb{R}$ by $X,Z,V$ and the identity $I$, with central parameters $\xi,\eta$, and defining relations

$X,Z,V$0

$X,Z,V$1

$X,Z,V$2

It has a central Casimir element

$X,Z,V$3

The algebra is minimally quadratic: commutators are quadratic, or linear plus constant, in the generators (Tsujimoto et al., 2024).

A basic structural feature is the embedding of the ordinary Hahn algebra. Setting

$X,Z,V$4

one obtains a Hahn algebra with parameters

$X,Z,V$5

Thus $X,Z,V$6 is meta in the literal sense that a Hahn algebra sits inside it as a two-generator subalgebra, while the full three-generator algebra carries additional generalized-eigenvalue structure (Tsujimoto et al., 2024).

The subalgebra generated by $X,Z,V$7 and $X,Z,V$8 is equally important. The relation

$X,Z,V$9

identifies it as a PBW deformation of the Jordan plane $m\mathfrak H$0. In the 2020 treatment, this same two-generator sector is described as a real form of the deformed Jordan plane, and the full $m\mathfrak H$1 is presented as the smallest three-generator quadratic enlargement that simultaneously contains the Hahn algebra and the rational Hahn algebra (Vinet et al., 2020).

The 2020 paper uses a standardized presentation

$m\mathfrak H$2

$m\mathfrak H$3

$m\mathfrak H$4

with central Casimir

$m\mathfrak H$5

In that formulation, the embeddings $m\mathfrak H$6 and $m\mathfrak H$7 realize, respectively, the Hahn algebra and the rational Hahn algebra inside $m\mathfrak H$8 (Vinet et al., 2020).

3. Finite-dimensional modules, EVP/GEVP bases, and special functions

The defining representation-theoretic setting of $m\mathfrak H$9 is a finite $W$0-dimensional module $W$1 with basis $W$2, in which all three generators act two-diagonally. In the 2024 realization,

$W$3

$W$4

and $W$5 is likewise two-diagonal, with representation parameters constrained by

$W$6

The free coefficients $W$7 are gauge data; orthogonality and bispectrality are independent of that choice (Tsujimoto et al., 2024).

Three natural bases are then introduced. The first is a generalized eigenbasis for the pair $W$8,

$W$9

with

$m\mathfrak H$0

The second is an eigenbasis of $m\mathfrak H$1,

$m\mathfrak H$2

The third is an eigenbasis of the pencil $m\mathfrak H$3,

$m\mathfrak H$4

These bases are paired with adjoint bases $m\mathfrak H$5, and their scalar products satisfy orthogonality, dual orthogonality, or $m\mathfrak H$6-orthogonality relations (Tsujimoto et al., 2024).

The overlaps between the $m\mathfrak H$7- and $m\mathfrak H$8-eigenbases yield Hahn polynomials. Writing

$m\mathfrak H$9

one finds that both are Hahn polynomials

$m\mathfrak H$0

The standard Hahn orthogonality and dual orthogonality relations follow from completeness and dual completeness of the eigenbases, and the standard recurrence and difference equations follow from tridiagonal actions of $m\mathfrak H$1 and $m\mathfrak H$2 in the corresponding bases (Tsujimoto et al., 2024).

The overlaps between the $m\mathfrak H$3-eigenbasis and the $m\mathfrak H$4-GEVP basis yield Hahn-type biorthogonal rational functions. Defining

$m\mathfrak H$5

one obtains the rational Hahn functions

$m\mathfrak H$6

$m\mathfrak H$7

with parameter identification

$m\mathfrak H$8

Their biorthogonality and generalized bispectrality are not imposed externally; they arise from the fact that one overlap involves an ordinary eigenvalue problem and the other a generalized eigenvalue problem (Tsujimoto et al., 2024).

The 2020 differential and difference models make the same mechanism explicit. On $m\mathfrak H$9, one realization is

$\mathbb{R}$0

$\mathbb{R}$1

and the corresponding contour-integral scalar products identify the overlap functions with the standard Hahn polynomials and rational Hahn functions written as terminating $\mathbb{R}$2 series (Vinet et al., 2020).

4. Leonard trios and the trio Hahn algebra

A major reformulation was introduced in "Algebraic Leonard trio approach to rational functions: the Hahn case" (Crampé et al., 19 May 2026). There, the trio Hahn algebra $\mathbb{R}$3 is defined in terms of generators

$\mathbb{R}$4

and central elements $\mathbb{R}$5, with relations

$\mathbb{R}$6

$\mathbb{R}$7

$\mathbb{R}$8

$\mathbb{R}$9

Its Casimir is

$X,Z,V$0

The central structural theorem is that the extended meta Hahn algebra $X,Z,V$1, obtained by adjoining $X,Z,V$2, is isomorphic to $X,Z,V$3 (Crampé et al., 19 May 2026).

The isomorphism is explicit: $X,Z,V$4 together with the corresponding identification of central elements. This clarifies that the Leonard-trio and meta-algebra viewpoints are two presentations of the same Hahn-type structure (Crampé et al., 19 May 2026).

In the same paper, finite-dimensional realizations on $X,Z,V$5 are constructed using shift operators $X,Z,V$6. A basic realization is

$X,Z,V$7

$X,Z,V$8

$X,Z,V$9

This realization carries a Leonard trio $I$0: in one basis $I$1 is diagonal and $I$2 are tridiagonal; in another basis $I$3 is diagonal and $I$4 are tridiagonal (Crampé et al., 19 May 2026).

The overlap coefficients between the eigenbases recover both classical Hahn polynomials and Hahn rational functions, now using only ordinary eigenvalue problems. For the $I$5- and $I$6-eigenbases, the overlap coefficients are Hahn polynomials

$I$7

For the $I$8- and $I$9-eigenbases, the overlap coefficients are the Hahn rational functions

$\xi,\eta$0

together with explicit biorthogonality relations. The trio formulation therefore shifts the emphasis from generalized eigenvalue problems to Leonard trios without changing the underlying algebraic content (Crampé et al., 19 May 2026).

5. Other Hahn-centered extension paradigms

A different use of the phrase appears in "The Heun operator of Hahn type" (Vinet et al., 2018). There the starting point is the canonical Hahn pair $\xi,\eta$1 on the finite uniform grid $\xi,\eta$2, with $\xi,\eta$3 and $\xi,\eta$4 the Hahn difference operator. The Heun–Hahn operator is the bilinear combination

$\xi,\eta$5

which is the most general second-order difference operator on the grid that maps polynomials of degree $\xi,\eta$6 to polynomials of degree $\xi,\eta$7, is tridiagonal in both Pochhammer and Hahn bases, and is bilinear in the operators of the Hahn algebra. Adjoining $\xi,\eta$8 enlarges the Hahn algebra to a cubic Heun–Racah algebra of Hahn type. In this sense, the paper presents a Heun-driven “meta” extension of Hahn algebra rather than the three-generator algebra $\xi,\eta$9 (Vinet et al., 2018).

The paper "The Hahn superalgebra and supersymmetric Dunkl oscillator models" introduces yet another Hahn-centered enlargement (Genest et al., 2013). There the Hahn superalgebra is a quadratic superalgebra whose even generators

$X,Z,V$00

satisfy the Hahn algebra with reflections, while the odd generators

$X,Z,V$01

anticommute with the reflections. The grading is supplied by reflection operators $X,Z,V$02, and the two-dimensional supersymmetric Dunkl oscillator has the even part of this Hahn superalgebra as invariance algebra. The paper explicitly describes this construction as a “meta-Hahn” layer in which the Hahn algebra is embedded into a larger superalgebraic object (Genest et al., 2013).

Finite oscillator models supply a third extension pattern. In "Finite oscillator models: the Hahn oscillator", the algebra $X,Z,V$03 is a deformation of $X,Z,V$04 extended by a parity operator $X,Z,V$05, with position wavefunctions expressed in dual Hahn polynomials and a continuum parabose limit (Jafarov et al., 2011). In "The $X,Z,V$06 Hahn oscillator and a discrete Hahn-Fourier transform", the quadratic algebra $X,Z,V$07 is a parity-graded deformation of $X,Z,V$08, its position and momentum wavefunctions are Hahn polynomials, and the discrete Hahn–Fourier transform satisfies

$X,Z,V$09

with eigenvalues in $X,Z,V$10 (Jafarov et al., 2011). These oscillator algebras are not identical with $X,Z,V$11, but they realize the same Hahn-centered principle: a parity-extended algebra whose representation theory is governed by Hahn or dual Hahn functions.

A related $X,Z,V$12 analogue is the algebra $X,Z,V$13 of dual $X,Z,V$14 Hahn polynomials (Genest et al., 2012). It is a two-parameter generalization of $X,Z,V$15 with an involution $X,Z,V$16, arises from the recurrence relation of the dual $X,Z,V$17 Hahn polynomials, and also appears as the hidden symmetry algebra of the Clebsch–Gordan problem of $X,Z,V$18. In superconformal quantum mechanics, the same dual $X,Z,V$19 Hahn algebra is realized as the symmetry algebra of a two-dimensional superintegrable system built from two copies of $X,Z,V$20 (Bernard et al., 2020). This suggests a broader family of reflection-deformed Hahn-type algebras alongside the non-reflection meta Hahn algebra $X,Z,V$21.

6. Integrable, higher-rank, and $X,Z,V$22-deformed contexts

The Hahn algebra also appears as a truncation of a boundary algebra from integrable systems. In "Truncation of the reflection algebra and the Hahn algebra", the level-1 truncated reflection algebra $X,Z,V$23 attached to the Yangian of $X,Z,V$24 is shown to be isomorphic to the Hahn algebra (Crampe et al., 2019). In the $X,Z,V$25 presentation this yields

$X,Z,V$26

$X,Z,V$27

This situates the Hahn algebra as a finite truncation of a reflection algebra and suggests a hierarchy of higher truncations beyond the standard Hahn level (Crampe et al., 2019).

A multivariate and superintegrable extension appears in "Hahn polynomials on polyhedra and quantum integrability" (Iliev et al., 2017). There multivariate Hahn polynomials on lattice polyhedra are common eigenfunctions of commuting partial difference operators, and the symmetry operators

$X,Z,V$28

generate a representation of the Kohno–Drinfeld Lie algebra. The discrete Hamiltonian

$X,Z,V$29

has an explicit set of $X,Z,V$30 generators for its symmetry algebra. This is not called $X,Z,V$31, but it provides a higher-rank Hahn-centered symmetry algebra that extends the one-variable pattern (Iliev et al., 2017).

The $X,Z,V$32-deformed analogue is the meta $X,Z,V$33-Hahn algebra $X,Z,V$34 (Bernard et al., 2024). It is generated by $X,Z,V$35 with central parameters $X,Z,V$36 and relations

$X,Z,V$37

$X,Z,V$38

$X,Z,V$39

Like $X,Z,V$40, it contains a $X,Z,V$41-Hahn algebra as a two-generator subalgebra and yields both $X,Z,V$42-Hahn orthogonal polynomials and rational $X,Z,V$43-Hahn biorthogonal functions as overlap coefficients in bidiagonal finite-dimensional representations (Bernard et al., 2024).

The $X,Z,V$44-Clebsch–Gordan interpretation is developed from a different angle in "Hidden symmetry of Hahn problem for $X,Z,V$45" (Lavrenov, 2021). There the hidden symmetry algebra of the Hahn problem is a special case of the Askey–Wilson algebra $X,Z,V$46, generated by $X,Z,V$47 with $X,Z,V$48-commutator closure. In the Hahn specialization, the corresponding overlap coefficients are $X,Z,V$49-Hahn polynomials. This shows that the meta-Hahn viewpoint sits naturally inside the larger Askey–Wilson and $X,Z,V$50-Askey scheme framework (Lavrenov, 2021).

7. Conceptual synthesis

In its strict modern sense, Meta Hahn algebra is the three-generated quadratic algebra $X,Z,V$51 that unifies two kinds of bispectral data: a Leonard-pair Hahn sector generated by $X,Z,V$52, and a generalized-eigenvalue Hahn-rational sector generated by $X,Z,V$53 (Tsujimoto et al., 2024). Its fundamental structural content is threefold: the Hahn algebra embeds through $X,Z,V$54; the subalgebra $X,Z,V$55 is a PBW deformation of the Jordan plane; and finite-dimensional modules carry several natural bases whose overlaps are Hahn polynomials or Hahn-type biorthogonal rational functions (Tsujimoto et al., 2024, Vinet et al., 2020).

The Leonard-trio reformulation sharpens this picture. The isomorphism $X,Z,V$56 shows that the meta-algebra and Leonard-trio languages are equivalent descriptions of the same Hahn-type mechanism, one emphasizing generalized eigenvalue problems, the other emphasizing tridiagonalization in multiple eigenbases (Crampé et al., 19 May 2026).

At the same time, the phrase retains a broader meaning. It also covers Heun–Hahn cubic extensions, Hahn superalgebras with reflections, parity-deformed oscillator algebras, dual $X,Z,V$57 Hahn structures, multivariate Kohno–Drinfeld symmetry algebras, and $X,Z,V$58-deformations. The common pattern is enlargement: the classical Hahn algebra is retained as a subalgebra, even part, limit, or hidden symmetry, while additional operators encode generalized bispectrality, reflection grading, or higher-rank coupling (Vinet et al., 2018, Genest et al., 2013, Iliev et al., 2017, Bernard et al., 2024).

The current program extends beyond the Hahn node itself. The literature explicitly points toward meta Racah, meta $X,Z,V$59-Hahn, meta $X,Z,V$60-Racah, infinite-dimensional versions, multivariate extensions, and deeper structural study of meta algebras, including PBW properties, Artin–Schelter regularity, and links with integrable systems and quantum algebras (Tsujimoto et al., 2024, Bernard et al., 2024, Crampé et al., 19 May 2026). Within that program, the meta Hahn algebra functions as the prototype: the first fully developed case in which orthogonal polynomials, biorthogonal rational functions, Leonard structures, and generalized bispectrality are all organized by a single quadratic algebra.