Bispectral rational functions and Leonard trios

This paper introduces the algebraic concept of Leonard trios as an extension of Leonard pairs, establishes their connection to bispectral rational functions and Heun operators, and initiates their classification by demonstrating that Wilson's rational functions serve as overlap coefficients with specific recurrence and summation properties.

The Gist

Imagine you are trying to understand a complex musical composition. In the world of mathematics, there are "songs" called polynomials that have been studied for a long time. These songs are special because they follow two different rules at the same time: one rule tells you how the song changes as you move through the notes (a recurrence relation), and another rule tells you how the song changes as you change the instrument playing it (a difference equation). Mathematicians call these bispectral songs.

For a while, mathematicians knew that these polynomial songs were connected to a specific algebraic structure called a Leonard Pair. Think of a Leonard Pair as a duet between two musicians (let's call them X and Y). In one room, X plays a simple melody while Y plays a complex, shifting rhythm. But if you walk into a second room, the roles flip: Y plays the simple melody, and X plays the complex rhythm. This perfect "flip" allows them to generate those special polynomial songs.

The New Discovery: The Leonard Trio

In this paper, the authors introduce a new, more complex musical ensemble called a Leonard Trio. Instead of just two musicians (X and Y), they add a third: Z.

Now, imagine a trio of musicians: V, $\tilde{V}$ (V-prime), and Z.

• In the first room, V plays a simple, steady beat (diagonal), while Z and $\tilde{V}$ play complex, shifting rhythms.
• In the second room, $\tilde{V}$ plays the steady beat, while Z and V play the complex rhythms.
• Crucially, there is a third room where Z plays the steady beat, and both V and $\tilde{V}$ play complex rhythms.

This three-way relationship is much harder to manage than the two-way duet. However, the authors show that this trio generates a new type of "song." Instead of the simple polynomial songs, this trio creates Bispectral Rational Functions.

The Analogy:
If the old polynomial songs were like a perfect, smooth line drawn on a piece of paper, the new Rational Functions are like a line that has been folded, twisted, and turned into a complex shape, but it still follows the same two musical rules (recurrence and difference equations). These specific songs are known as Wilson's Rational Functions.

How They Solved the Puzzle

The authors didn't just invent this trio; they built a machine to classify it. They realized that if you take two of the old "Leonard Pair" duets and force them to share a common musician (the operator Z), you can sometimes create a valid "Leonard Trio."

By doing this, they proved:

1. The Connection: The "overlap" between the two different ways of listening to this trio (the overlap coefficients) creates exactly the Wilson Rational Functions.
2. The Formula: They found a way to write these complex rational functions as a sum of products of two simpler polynomial songs (specifically, q-Racah polynomials). It's like taking two simple melodies, weaving them together, and creating a complex harmony.
3. The Limits: They showed that if you tweak the settings of this trio (like turning a volume knob to zero), the complex rational functions simplify back into the old, familiar polynomial songs. This confirms that their new theory includes the old one as a special case.

The "Reduced" Trio

The authors also looked at a simpler version called a Reduced Leonard Trio. Imagine if one of the musicians in the trio decided to stop playing the complex rhythm and just play a very simple, one-directional beat. In this case, the complex "generalized" rules simplify into a standard, well-known type of musical rule (called a RI-type recurrence). They showed that these simpler trios are just "shadows" or special limits of the more complex, full trios.

Why This Matters (According to the Paper)

The paper claims that this new "Leonard Trio" framework provides a powerful algebraic toolkit. Just as the "Leonard Pair" helped organize the world of polynomial songs (the Askey scheme), the "Leonard Trio" offers a way to organize and understand the more complex world of rational function songs.

They successfully classified the most general version of this trio (the irreducible one) and proved it is the mathematical home of Wilson's Rational Functions. They also provided a new, algebraic proof for the rules these functions obey, showing that they are deeply connected to the structure of the trio itself.

In short, the paper says: "We found a new three-player game (the Trio) that explains a complex type of math function (Wilson's Rational Functions) by showing how it is built from two simpler two-player games (Leonard Pairs)."

Technical Summary

Technical Summary: Bispectral Rational Functions and Leonard Trios

Problem Statement
The paper addresses the need for an algebraic framework to describe bispectral rational functions, specifically the Wilson rational functions and their generalizations. While finite families of hypergeometric bispectral orthogonal polynomials (the Askey scheme) are well-understood through their connection to Leonard pairs (LPs) and the Askey–Wilson algebra, a comparable algebraic structure for bispectral rational functions has been less developed. Previous work has introduced meta algebras and Heun operators to interpret these functions, but a unified structural definition analogous to the Leonard pair was lacking. The authors aim to provide such a setting to classify and understand these rational functions algebraically.

Methodology
The authors introduce a new algebraic structure called the Leonard trio (LT), defined as an ordered triplet $(V, \tilde{V}, Z)$ of endomorphisms on a finite-dimensional vector space $V$. The methodology proceeds through the following steps:

1. Definition and Generalization: The LT is defined by the existence of two bases where specific operators act diagonally or tridiagonally. Unlike Leonard triples, the operators in an LT do not necessarily share the same tridiagonal/diagonal properties in both bases simultaneously.
2. Connection to Bispectrality: The authors demonstrate that the overlap coefficients between the two bases associated with the LT, defined as $w_n(x) = \langle \tilde{v}^*_x, v_n \rangle$, satisfy two generalized eigenvalue problems (GEVPs). One is a recurrence relation in $n$ and the other a difference equation in $x$. This establishes that these overlap coefficients are bispectral rational functions.
3. Irreducible Leonard Trios (iLT): To make the classification tractable, the authors define "irreducible Leonard trios," which impose stricter conditions ensuring that the constituent operators form Leonard pairs with a shared operator $Z$. This allows the use of existing classifications of Leonard pairs (associated with the $q$-Askey scheme) to explore iLTs.
4. Algebraic Heun Operators: The study leverages the connection between iLTs and algebraic Heun operators. It is shown that the product of operators in an iLT (e.g., $\tilde{V}Z$) can be expressed as a linear combination of the identity and the generators of the associated Leonard pairs, satisfying specific Heun operator relations.
5. Classification of q-Racah Type: The authors focus on the case where the underlying Leonard pairs are of the $q$-Racah type. By solving the constraints imposed by the Heun operator relations on the parameters of the two $q$-Racah pairs, they derive the specific conditions required to form an iLT.
6. Reduced Leonard Trios (rLT): The paper also investigates a limiting case called the "reduced Leonard trio," where one of the operators becomes bidiagonal rather than tridiagonal. In this case, the generalized eigenvalue problem simplifies to a recurrence relation of the RI-type (Rational Inverse).

Key Contributions and Results

• Definition of Leonard Trios: The paper formally defines the Leonard trio, extending the concept of Leonard pairs to three operators. It proves that the overlap coefficients of the bases associated with an LT satisfy bispectral generalized eigenvalue problems.
• Algebraic Proof of Wilson Rational Functions: By classifying irreducible Leonard trios of the $q$-Racah type, the authors prove that the associated overlap coefficients are proportional to the Wilson rational functions. This provides a new algebraic derivation of these functions and their properties.
• Summation Formula: A significant result is the derivation of an explicit expression for the Wilson rational functions as a finite sum of products of two $q$-Racah polynomials. Specifically, the overlap coefficient $w_n(x)$ is expressed as:
  $$w_n(x) \propto \sum_{i=0}^N \Omega_i R^{(qR)}_i(x) R^{(qR)}_i(n)$$
  where $R^{(qR)}$ denotes $q$-Racah polynomials. This formula reduces to the classical Racah relation for $q$-Racah polynomials in the appropriate limit ($s \to 0$).
• Biorthogonality: The paper establishes the existence of biorthogonal partners for these rational functions and proves that these partners also satisfy bispectral relations.
• Reduced Trios and RI Relations: The authors introduce reduced Leonard trios and show that in this limit, the overlap coefficients satisfy an RI-type recurrence relation rather than a full generalized eigenvalue problem. An example is provided where the resulting functions are expressible as a $4\phi_3$ basic hypergeometric series and are associated with a dual $q$-Hahn type Leonard pair.
• Limits and Connections: The paper details how various limits of the constructed iLT yield known rational functions, including $q$-Racah polynomials, dual $q$-Hahn polynomials, and functions associated with the representation theory of $U_q(\mathfrak{su}(2))$.

Significance
The paper claims that the introduction of Leonard trios provides a powerful algebraic framework for studying bispectral rational functions, analogous to how Leonard pairs organize the bispectral orthogonal polynomials of the Askey scheme. By linking these functions to the classification of Leonard pairs and algebraic Heun operators, the authors offer a systematic way to generate and understand rational functions that satisfy bispectral properties.

The work rederives the generalized eigenvalue problems for Wilson rational functions and provides a new proof of the Racah relation (a summation formula for products of $q$-Racah polynomials) as a limiting case of the iLT construction. The authors suggest that a complete classification of irreducible Leonard trios could lead to a complete scheme for bispectral rational functions, potentially extending to Bannai–Ito type functions and multivariate cases, though they note that the full classification remains an open and challenging problem. The approach is presented as distinct from, yet complementary to, the "meta algebra" program and the study of rational Heun operators.