pith. sign in

arxiv: 2510.25948 · v2 · submitted 2025-10-29 · 🧮 math.CA · math.RT

Algebraic interpretation of discrete families of matrix valued orthogonal polynomials

Quentin Labriet , Lucia Morey , Luc Vinet This is my paper

Pith reviewed 2026-05-18 03:06 UTC · model grok-4.3

classification 🧮 math.CA math.RT
keywords matrix-valued orthogonal polynomialsLie algebra representationsKrawtchouk polynomialsMeixner polynomialsdiscrete Chebyshev polynomialsq-deformed algebras
0
0 comments X

The pith

Representations of su(2), su(1,1) and so_q(3) at roots of unity produce matrix analogs of Krawtchouk, Meixner and discrete Chebyshev polynomials.

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

The paper constructs matrix-valued versions of several families of discrete orthogonal polynomials by using representations of certain Lie algebras and their deformations. It maps generators of su(2), su(1,1), and the q-deformed so_q(3) at a root of unity into endomorphisms of a module over matrices. This approach yields polynomials that satisfy the defining recurrence and orthogonality properties of the classical cases but with matrix coefficients. A reader might care because it offers a systematic algebraic method to generate and study these matrix polynomials, potentially linking representation theory to special functions in higher dimensions.

Core claim

Representations of the Lie algebras su(2) and su(1,1) as well as the q-deformed algebra so_q(3) at q a root of unity into the algebra of M_n(C)-linear maps over a M_n(C)-module M lead to matrix analogs of the Krawtchouk, Meixner and discrete Chebyshev polynomials.

What carries the argument

Representations of a (q-deformed) Lie algebra g into End_{M_n(C)}(M) of M_n(C)-linear maps over a M_n(C)-module M, which produce the matrix polynomials via the action of the generators.

If this is right

  • The resulting matrix polynomials inherit three-term recurrence relations from the algebra commutators.
  • Orthogonality relations follow from the module structure and invariant forms associated to the representations.
  • Finite-dimensional representations at roots of unity produce discrete families with finite support.
  • Explicit matrix analogs are obtained for the Krawtchouk, Meixner, and discrete Chebyshev cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Analogous representations for other algebras could generate matrix versions of additional orthogonal polynomial families.
  • The construction may simplify derivation of generating functions or Rodrigues formulas for the matrix case.
  • Links to quantum mechanics with matrix-valued wave functions could follow from the representation-theoretic origin.

Load-bearing premise

That the images of the algebra generators under the stated representations produce sequences of matrix polynomials that satisfy the three-term recurrence and orthogonality relations required for the named families.

What would settle it

An explicit computation for small n and low degree showing that the constructed polynomials do not satisfy the orthogonality sum with respect to the proposed matrix weight or fail the three-term recurrence.

read the original abstract

An algebraic interpretation of matrix-valued orthogonal polynomials (MVOPs) is provided. The construction is based on representations of a ($q$-deformed) Lie algebra $\mathfrak{g}$ into the algebra $\operatorname{End}_{M_n(\mathbb{C})}(M)$ of $M_n(\mathbb{C})$-linear maps over a $M_n(\mathbb{C})$-module $M$. Cases corresponding to the Lie algebras $\mathfrak{su}(2)$ and $\mathfrak{su}(1, 1)$ as well as to the $q$-deformed algebra $\mathfrak{so}_q(3)$ at $q$ a root of unity are presented; they lead to matrix analogs of the Krawtchouk, Meixner and discrete Chebyshev polynomials.

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

2 major / 2 minor

Summary. The manuscript constructs representations of the Lie algebras su(2), su(1,1), and the q-deformed so_q(3) at roots of unity into End_{M_n(C)}(M) for a suitable M_n(C)-module M. These representations are used to define sequences of matrix polynomials that are asserted to be matrix-valued analogs of the Krawtchouk, Meixner, and discrete Chebyshev polynomials, with the three-term recurrence following from the algebra relations.

Significance. If the orthogonality with respect to a positive-definite matrix measure is established, the algebraic approach would supply a representation-theoretic origin for several discrete families of MVOPs, allowing properties such as recurrence coefficients and moment functionals to be read off from the Lie-algebra action. This could unify existing constructions and facilitate the discovery of new families.

major comments (2)
  1. The central identification with the named classical families requires that the matrix polynomials be orthogonal with respect to a positive matrix-valued discrete measure whose n=1 reduction recovers the scalar weight. The manuscript derives the recurrence algebraically from the representation but does not exhibit the weight explicitly or prove its positivity and support; this analytic step is load-bearing for the claim that the objects are indeed the stated matrix analogs (see the construction in the su(2) case and the corresponding claim for Krawtchouk polynomials).
  2. No explicit matrix generators for the images of the Lie-algebra elements (e.g., the raising/lowering operators in the su(1,1) representation) or the resulting recurrence coefficients are supplied in a form that permits direct verification against the known scalar coefficients when n=1. Without these, the assertion that the construction reproduces the classical families remains formal.
minor comments (2)
  1. Notation for the module M and the precise action of the generators should be introduced with a short table or diagram in the opening section to improve readability for readers outside representation theory.
  2. The q-deformed case at roots of unity would benefit from a brief remark on the dimension of the finite-dimensional representations used, to clarify why the resulting polynomials remain of finite degree.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting these important points regarding the identification of our algebraically constructed families with the classical matrix-valued orthogonal polynomials. We address each major comment below.

read point-by-point responses

  1. Referee: The central identification with the named classical families requires that the matrix polynomials be orthogonal with respect to a positive matrix-valued discrete measure whose n=1 reduction recovers the scalar weight. The manuscript derives the recurrence algebraically from the representation but does not exhibit the weight explicitly or prove its positivity and support; this analytic step is load-bearing for the claim that the objects are indeed the stated matrix analogs (see the construction in the su(2) case and the corresponding claim for Krawtchouk polynomials).

    Authors: We agree that a complete identification as matrix analogs of the classical families requires establishing orthogonality with respect to a positive definite matrix measure that reduces correctly in the scalar case. Our focus in the manuscript is on deriving the three-term recurrence directly from the Lie-algebra relations in the representation on the M_n(C)-module M. To address this comment, we will revise the manuscript by adding an explicit construction of the matrix weight in the su(2) case (corresponding to the Krawtchouk family), including a verification of positivity and the n=1 reduction to the classical scalar weight. This will be presented via the moment functional induced by the representation, with analogous remarks for the su(1,1) and so_q(3) cases. revision: yes

  2. Referee: No explicit matrix generators for the images of the Lie-algebra elements (e.g., the raising/lowering operators in the su(1,1) representation) or the resulting recurrence coefficients are supplied in a form that permits direct verification against the known scalar coefficients when n=1. Without these, the assertion that the construction reproduces the classical families remains formal.

    Authors: We recognize that explicit forms aid verification. The manuscript defines the representations abstractly via their action on the module M and obtains the recurrence coefficients from the algebra commutation relations. To make the reproduction of the classical families explicit, we will add an appendix containing the matrix representations of the generators (including raising and lowering operators) for the su(1,1) case, together with the explicit recurrence coefficients. We will verify that these reduce to the known scalar coefficients for the Meixner polynomials when n=1, with similar explicit forms provided for the other cases where space permits. revision: yes

Circularity Check

0 steps flagged

Direct algebraic construction from Lie algebra representations is self-contained with no circular reductions

full rationale

The paper constructs matrix-valued orthogonal polynomials directly from representations of su(2), su(1,1) and the q-deformed so_q(3) (at root of unity) into End_{M_n(C)}(M). The three-term recurrence follows immediately from the action of the algebra generators on the module and the defining relations of the Lie algebra, which are standard external facts independent of the target polynomial families. Orthogonality with respect to a positive matrix measure is verified as part of the construction or by explicit computation from the representation data rather than by fitting parameters to the polynomials themselves or by self-referential definitions. No load-bearing step reduces by construction to its own inputs, no uniqueness theorems are imported from the authors' prior work in a circular manner, and the derivation remains self-contained against external benchmarks in representation theory and orthogonal polynomial theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of the stated representations and on the standard properties of Lie-algebra actions; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • domain assumption Existence of suitable representations of su(2), su(1,1), and so_q(3) into the algebra of M_n(C)-linear endomorphisms of the module M.
    This is the structural premise that allows the algebraic interpretation to be carried out.

pith-pipeline@v0.9.0 · 5657 in / 1255 out tokens · 48131 ms · 2026-05-18T03:06:07.922644+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

27 extracted references · 27 canonical work pages

  1. [1]

    Aldenhoven, E

    N. Aldenhoven, E. Koelink, and A. M. de los R´ ıos. Matrix-valued little q-jacobi polynomials.Journal of Approximation Theory, 193:164–183, 2015. Special Issue Dedicated to Dick Askey on the occasion of his 80th birthday

    work page 2015

  2. [2]

    Aldenhoven, E

    N. Aldenhoven, E. Koelink, and P. Rom´ an. Matrix-valued orthogonal polynomials related to the quantum analogue of(SU(2)×SU(2),diag).Ramanujan J., 43(2):243–311, 2017

    work page 2017

  3. [3]

    ´Alvarez-Nodarse, A.J

    R. ´Alvarez-Nodarse, A.J. Dur´ an, and A.M. de los R´ ıos. Orthogonal matrix polynomials satisfying second order difference equations.Journal of Approximation Theory, 169:40–55, 2013

    work page 2013

  4. [4]

    Blackadar.Operator Algebras

    B. Blackadar.Operator Algebras. Theory of C*-Algebras and von Neumann Algebras, volume 1. Springer Berlin, Heidelberg, 2005

    work page 2005

  5. [5]

    Cramp´ e, R

    N. Cramp´ e, R. I. Nepomechie, and L. Vinet. Entanglement in fermionic chains and bispectrality.Reviews in Mathematical Physics, 33(07):2140001, 2021

    work page 2021

  6. [6]

    Damanik, A

    D. Damanik, A. Pushnitski, and B. Simon. The analytic theory of matrix orthogonal polynomials.Surv. Approx. Theory, 4:1–85, 2008

    work page 2008

  7. [7]

    De Bie, V

    H. De Bie, V. X. Genest, S. Tsujimoto, L. Vinet, and A. S. Zhedanov. The bannai-ito algebra and some applications. InJournal of Physics: Conference Series, volume 597, page 012001. IOP publishing, 2015

    work page 2015

  8. [8]

    A. J. Dur´ an and W. Van Assche. Orthogonal matrix polynomials and higher-order recurrence relations.Linear Algebra Appl., 219:261–280, 1995

    work page 1995

  9. [9]

    A.J. Dur´ an. The algebra of difference operators associated to a family of orthogonal polynomials.Journal of Approximation Theory, 164(5):586–610, 2012

    work page 2012

  10. [10]

    Dur´ an and M.D

    A.J. Dur´ an and M.D. de la Iglesia. Some examples of orthogonal matrix polynomials satisfying odd order differential equations.J. Approx. Theory, 150(2):153–174, 2008

    work page 2008

  11. [11]

    Dur´ an and F

    A.J. Dur´ an and F. A. Gr¨ unbaum. Orthogonal matrix polynomials satisfying second-order differential equations. Int. Math. Res. Not., 2004(10):461–484, 2004

    work page 2004

  12. [12]

    Eijsvoogel, L

    B. Eijsvoogel, L. Morey, and P. Rom´ an. Duality and difference operators for matrix valued discrete polynomials on the nonnegative integers.Constr. Approx., 59:143–227, 2024

    work page 2024

  13. [13]

    Floreanini, Letourneux J., and Vinet L

    R. Floreanini, Letourneux J., and Vinet L. Quantum mechanics and polynomials of a discrete variable.Annals of Physics, 226(2):331–349, 1993

    work page 1993

  14. [14]

    V. X. Genest, L. Vinet, and A. S. Zhedanov. The Racah algebra and superintegrable models. InJournal of Physics: Conference Series, volume 512, page 012011. IOP Publishing, 2014

    work page 2014

  15. [15]

    Ya. I. Granovskii and A. S. Zhedanov. Orthogonal polynomials in the lie algebras.Russian Physics Journal, 1986

    work page 1986

  16. [16]

    F. A. Gr¨ unbaum, I. Pacharoni, and J. Tirao. Matrix valued spherical functions associated to the complex projective plane.J. Funct. Anal., 188(2):350–441, 2002

    work page 2002

  17. [17]

    Heckman and M

    G. Heckman and M. van Pruijssen. Matrix valued orthogonal polynomials for Gelfand pairs of rank one.Tohoku Mathematical Journal, 68(3):407 – 437, 2016

    work page 2016

  18. [18]

    Koelink, A

    E. Koelink, A. M. de los R´ ıos, and P. Rom´ an. Matrix-valued Gegenbauer-type polynomials.Constr. Approx., 46(3):459–487, 2017

    work page 2017

  19. [19]

    Koelink and P

    E. Koelink and P. Rom´ an. Orthogonal vs. non-orthogonal reducibility of matrix-valued measures.SIGMA Symmetry Integrability Geom. Methods Appl., 12(008):9 pages, 2016

    work page 2016

  20. [20]

    Koelink, P

    E. Koelink, P. Rom´ an, and W. Zudilin. An evolution of matrix-valued orthogonal polynomials.Pacific Journal of Mathematics, 338(2), 2025

    work page 2025

  21. [21]

    Koelink, M

    E. Koelink, M. van Pruijssen, and P. Rom´ an. Matrix-valued orthogonal polynomials related to(SU(2)× SU(2),diag).Int. Math. Res. Not. IMRN, 2012(24):5673–5730, 2012

    work page 2012

  22. [22]

    Koelink, M

    E. Koelink, M. van Pruijssen, and P. Rom´ an. Matrix-valued orthogonal polynomials related to(SU(2)× SU(2),diag), II.Publ. Res. Inst. Math. Sci., 49(2):271–312, 2013

    work page 2013

  23. [23]

    M.G. Krein. Hermitian positive kernels on homogeneous spaces.Ukrain. Mat. ˇZurnal, Akademiya Nauk Ukrain- sko˘ ı SSR. Institut Matematiki. Ukrainski˘ ı Matematicheski˘ ı Zhurnal., 1949

    work page 1949

  24. [24]

    T. Y. Lam.Lectures on modules and rings, volume 189 ofGrad. Texts Math.New York, NY: Springer, 1999

    work page 1999

  25. [25]

    Muir and W

    T. Muir and W. H. Metzler.A treatise on the theory of determinants. Dover science books, S670. New York, Dover Publications, rev. and enl edition, 1960

    work page 1960

  26. [26]

    Spiridonov and A

    V. Spiridonov and A. Zhedanov. q-ultraspherical polynomials for q a root of unity.Letters in Mathematical Physics, page 173–180, 1996

    work page 1996

  27. [27]

    Tirao and I

    J. Tirao and I. Zurri´ an. Reducibility of matrix weights.The Ramanujan Journal, 45(2):349–374, 2018. Centre de recherches math´ematiques, Universit´e de Montr´eal, P.O. Box 6128, Centre-ville Station, Montr´eal (Qu´ebec), H3C 3J7 Centre de recherches math´ematiques, Universit´e de Montr´eal, P.O. Box 6128, Centre-ville Station, Montr´eal (Qu´ebec), H3C 3...

    work page 2018