pith. sign in

arxiv: 2605.19475 · v1 · pith:V64OY4L3new · submitted 2026-05-19 · 🧮 math-ph · math.MP

Algebraic Leonard trio approach to rational functions: the Hahn case

Nicolas Cramp\'e , Quentin Labriet , Lucia Morey , Luc Vinet This is my paper

Pith reviewed 2026-05-20 02:23 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords Hahn polynomialsLeonard triosmeta Hahn algebrabiorthogonal rational functionsdifference operatorsbispectral properties
0
0 comments X

The pith

Hahn polynomials and biorthogonal rational functions arise as overlaps between eigensolutions in finite-dimensional difference-operator realizations of the trio Hahn algebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper interprets finite families of Hahn polynomials and associated biorthogonal rational functions through the algebraic framework of Leonard trios. It introduces the trio Hahn algebra and proves its isomorphism to the meta Hahn algebra, establishing a structural link. Finite-dimensional realizations are built using difference operators, allowing the polynomials and functions to appear as overlaps between eigensolutions of eigenvalue problems. This setup naturally yields the bispectral and biorthogonality properties from the algebra.

Core claim

The trio Hahn algebra is isomorphic to the meta Hahn algebra. Finite dimensional realizations in terms of difference operators are constructed, and the functions of interest arise as overlaps between eigensolutions of ordinary eigenvalue problems. Their bispectral and biorthogonality properties follow naturally from the algebraic framework.

What carries the argument

The trio Hahn algebra, proven isomorphic to the meta Hahn algebra, which enables the construction of finite-dimensional difference operator realizations whose eigensolution overlaps produce the Hahn polynomials and biorthogonal rational functions.

Load-bearing premise

The finite-dimensional realizations constructed via difference operators faithfully capture the full bispectral and biorthogonality properties without additional analytic verification or explicit basis changes.

What would settle it

Explicitly compute the overlaps for a small dimension such as 3 and verify whether they reproduce the known explicit expressions or satisfy the bispectral relations for Hahn polynomials.

read the original abstract

The finite families of Hahn polynomials and associated biorthogonal rational functions are interpreted algebraically in the framework of Leonard trios. We introduce the trio Hahn algebra and prove that it is isomorphic to the meta Hahn algebra, thereby clarifying the structural connection between Leonard trios and meta algebras. Finite dimensional realizations in terms of difference operators are constructed, and the functions of interest arise as overlaps between eigensolutions of ordinary eigenvalue problems. Their bispectral and biorthogonality properties follow naturally from the algebraic framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript interprets finite families of Hahn polynomials and associated biorthogonal rational functions algebraically via Leonard trios. It introduces the trio Hahn algebra, proves its isomorphism to the meta Hahn algebra, constructs finite-dimensional realizations using difference operators, and shows that the polynomials and rational functions arise as overlaps between eigensolutions of ordinary eigenvalue problems, with bispectral and biorthogonality properties claimed to follow naturally from the algebraic framework.

Significance. If the isomorphism proof and derivations hold, the work clarifies structural links between Leonard trios and meta algebras for special functions. The finite-dimensional difference-operator realizations provide concrete algebraic models, which is a strength for explicit computations and potential extensions to other cases. The parameter-free algebraic approach aligns with standard methods in this literature.

major comments (1)
  1. [Finite-dimensional realizations] In the construction of finite-dimensional realizations via difference operators and the derivation of overlaps (detailed after the isomorphism proof), the claim that bispectrality and biorthogonality follow naturally from the algebraic framework is load-bearing. The manuscript must explicitly identify or construct the bilinear form or inner product on the space that makes the overlaps biorthogonal, as the operator algebra determines actions but does not canonically induce the standard pairing or measure without an additional datum such as a trace or invariant form.
minor comments (2)
  1. [Abstract] The abstract could briefly indicate the specific parameters or dimension of the Hahn realizations to orient readers.
  2. [Isomorphism proof] Ensure consistent notation for the trio algebra generators across the isomorphism statement and the realization sections.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comment on the finite-dimensional realizations is well-taken and helps clarify the presentation. We address it point by point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: In the construction of finite-dimensional realizations via difference operators and the derivation of overlaps (detailed after the isomorphism proof), the claim that bispectrality and biorthogonality follow naturally from the algebraic framework is load-bearing. The manuscript must explicitly identify or construct the bilinear form or inner product on the space that makes the overlaps biorthogonal, as the operator algebra determines actions but does not canonically induce the standard pairing or measure without an additional datum such as a trace or invariant form.

    Authors: We agree that the operator algebra alone does not canonically determine the pairing, and that an explicit construction of the bilinear form is required to rigorously establish biorthogonality. In the revised manuscript we will add a dedicated paragraph in the section on finite-dimensional realizations that defines an invariant bilinear form on the module via the standard trace pairing compatible with the difference operators. We will then verify that this form is preserved by the generators of the trio Hahn algebra and that the overlaps between the indicated eigensolutions are biorthogonal with respect to it. This explicit datum makes the derivation of biorthogonality (and the associated bispectrality) fully rigorous while remaining within the algebraic framework. revision: yes

Circularity Check

0 steps flagged

Algebraic construction and isomorphism proof are self-contained without reduction to inputs by definition.

full rationale

The paper defines the trio Hahn algebra, proves its isomorphism to the meta Hahn algebra via explicit algebraic relations, constructs finite-dimensional realizations using difference operators, and identifies the Hahn polynomials and biorthogonal rational functions as overlaps of eigensolutions. Bispectrality and biorthogonality are asserted to follow from these algebraic structures. No quoted step reduces a derived quantity to a fitted parameter or prior self-citation by construction; the central claims rest on direct algebraic manipulation and realization rather than on renaming or self-referential prediction. The derivation chain is therefore independent of the target results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard algebraic axioms for Leonard trios and meta algebras from prior literature, plus domain assumptions about the existence of finite-dimensional representations via difference operators. No new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Leonard trios provide a valid algebraic framework for interpreting orthogonal polynomials and rational functions.
    Invoked throughout the abstract as the interpretive lens for Hahn polynomials.
  • domain assumption Finite-dimensional realizations exist in terms of difference operators that preserve the required eigenvalue problems.
    Stated as the construction method yielding the functions of interest.

pith-pipeline@v0.9.0 · 5608 in / 1222 out tokens · 23173 ms · 2026-05-20T02:23:52.230642+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Lesky, and Ren´ e F

    Roelof Koekoek, Peter A. Lesky, and Ren´ e F. Swarttouw. Hypergeometric orthogonal polynomials and theirq-analogues. Springer Monographs in Mathematics. Springer-Verlag, 2010. 12

    work page 2010

  2. [2]

    Hidden symmetry

    Alexei S Zhedanov. “Hidden symmetry” of Askey–Wilson polynomials. Theoretical and Mathematical Physics, 89(2):1146–1157, 1991

    work page 1991

  3. [3]

    Two linear transformations each tridiagonal with re- spect to an eigenbasis of the other

    Paul Terwilliger. Two linear transformations each tridiagonal with re- spect to an eigenbasis of the other. Linear Algebra and its Applications, 330(1):149–203, 2001

    work page 2001

  4. [4]

    A unified algebraic underpinning for the Hahn polynomials and rational functions

    Luc Vinet and Alexei Zhedanov. A unified algebraic underpinning for the Hahn polynomials and rational functions. Journal of Mathematical Analysis and Applications, 497(1):124863, 2021

    work page 2021

  5. [5]

    Meta algebras and biorthogonal rational functions: the Hahn case

    Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. Meta algebras and biorthogonal rational functions: the Hahn case. Forum of Mathematics, Sigma, 13:e139, 2025

    work page 2025

  6. [6]

    Bis- pectrality and biorthogonality of the rational functions ofq-Hahn type

    Isma¨ el Bussi` ere, Julien Gaboriaud, Luc Vinet, and Alexei Zhedanov. Bis- pectrality and biorthogonality of the rational functions ofq-Hahn type. Journal of Mathematical Analysis and Applications, 516(1):126443, 2022

    work page 2022

  7. [7]

    Meta algebras and biorthogonal rational functions: theq-Hahn case

    Pierre-Antoine Bernard, Abderahmane Bouziane, Samuel Pellerin, Simone Tˆ etu, Satoshi Tsujimoto, Luc Vinet, Meri Zaimi, and Alexei Zhedanov. Meta algebras and biorthogonal rational functions: theq-Hahn case. Arabian Journal of Mathematics, 2025

    work page 2025

  8. [8]

    Meta algebras and special functions: the Racah case

    Nicolas Crampe, Quentin Labriet, Lucia Morey, Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. Meta algebras and special functions: the Racah case. 2026

    work page 2026

  9. [9]

    Al- gebras behind the bispectrality of the Wilson rational functions and their 4ϕ3 limits

    Nicolas Crampe, Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. Al- gebras behind the bispectrality of the Wilson rational functions and their 4ϕ3 limits. Numer Algor, 2025

    work page 2025

  10. [10]

    Bispectral rational functions and Leonard trios

    Nicolas Cramp´ e, Wolter Groenevelt, Quentin Labriet, Lucia Morey, Luc Vinet, and Carel Wagenaar. Bispectral rational functions and Leonard trios. preprint arXiv:2601.15052

    work page arXiv

  11. [11]

    An elementary approach to 6j-symbols (classical, quantum, rational, trigonometric, and elliptic)

    Hjalmar Rosengren. An elementary approach to 6j-symbols (classical, quantum, rational, trigonometric, and elliptic). The Ramanujan Journal, 13:133–168, 2007

    work page 2007

  12. [12]

    On the foundations of combinato- rial theory III: Theory of binomial enumeration

    Richard Mullin and Gian-Carlo Rota. On the foundations of combinato- rial theory III: Theory of binomial enumeration. In Graph theory and its applications. Academic Press, New York, 1970

    work page 1970

  13. [13]

    Gupta and D.R

    D.P. Gupta and D.R. Masson. Contiguous relations, continued fractions and orthogonality. Transactions of the American Mathematical Society, 350:769–808, 1998

    work page 1998

  14. [14]

    Orthogonal functions from Gram determinants

    James A Wilson. Orthogonal functions from Gram determinants. SIAM journal on mathematical analysis, 22(4):1147–1155, 1991. 13

    work page 1991