[论文解读] Two linear transformations each tri-diagonal with respect to an eigenbasis of the other; the TD-D canonical form and the LB-UB canonical form

Paul Terwilliger|ArXiv.org|Apr 6, 2003

graph theory and CDMA systems参考文献 31被引用 8

一句话总结

本文引入了两个典范形式——TD-D 与 LB-UB——用于描述李昂纳德对（Leonard pairs），即一对线性变换，彼此在对方的特征基下均为三对角矩阵。核心贡献在于刻画了三对角-对角或下/上双对角矩阵构成李昂纳德对的条件，通过显式参数化与超几何级数恒等式，将其与 q-Racah 多项式联系起来。

ABSTRACT

Let $\K$ denote a field and let $V$ denote a vector space over $\K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V o V$ and $B:V o V$ which satisfy both (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $B$ is diagonal; (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $B$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. We introduce two canonical forms for Leonard pairs. We call these the TD-D canonical form and the LB-UB canonical form. In the TD-D canonical form the Leonard pair is represented by an irreducible tridiagonal matrix and a diagonal matrix, subject to a certain normalization. In the LB-UB canonical form the Leonard pair is represented by a lower bidiagonal matrix and an upper bidiagonal matrix, subject to a certain normalization. We describe the two canonical forms in detail. As an application we obtain the following results. Given square matrices $A,B$ over $\K$, with $A$ tridiagonal and $B$ diagonal, we display a necessary and sufficient condition for $A,B$ to represent a Leonard pair. Given square matrices $A,B$ over $\K$, with $A$ lower bidiagonal and $B$ upper bidiagonal, we display a necessary and sufficient condition for $A,B$ to represent a Leonard pair. We briefly discuss how Leonard pairs correspond to the $q$-Racah polynomials and some related polynomials in the Askey scheme. We present some open problems concerning Leonard pairs.

研究动机与目标

• 在域 K 上的有限维向量空间中，定义并刻画两种典范形式——TD-D 与 LB-UB——用于李昂纳德对。
• 提供一对矩阵（一个三对角，一个对角，或一个下/上双对角）构成李昂纳德对的充要条件。
• 通过显式参数化，建立李昂纳德对与 Askey 计划中 q-Racah 多项式之间的对应关系。
• 通过矩阵标准化与结构约束，提供识别与分类李昂纳德对的框架。

提出的方法

• 引入 TD-D 典范形式：在特定标准化下，将李昂纳德对表示为一个不可约三对角矩阵与一个对角矩阵。
• 定义 LB-UB 典范形式：在相同标准化下，将该对表示为一个下双对角矩阵与一个上双对角矩阵。
• 利用特征基的结构与矩阵表示，推导矩阵元素的递推关系与参数约束。
• 使用基本超几何级数 $_4\phi_3$ 表达特征基之间过渡矩阵的元素。
• 推导出特征值 $\theta_i$, $\theta^*_j$ 与过渡系数 $k_j$, $k^*_j$ 的显式公式，其以参数 $r_1, r_2, s, s^*, q, d$ 表示。
• 证明过渡矩阵元素为特征值的 q-Racah 多项式，从而将代数结构与正交多项式联系起来。

实验结果

研究问题

• RQ1 在何种条件下，三对角矩阵 A 与对角矩阵 B 构成李昂纳德对？
• RQ2 在何种条件下，下双对角矩阵 A 与上双对角矩阵 B 构成李昂纳德对？
• RQ3 如何用 q-Racah 多项式表达特征基之间过渡矩阵的元素？
• RQ4 定义 TD-D 与 LB-UB 典范形式的精确标准化是什么？
• RQ5 参数 $r_1, r_2, s, s^*, q, d$ 如何决定李昂纳德对及其关联多项式的结构？

主要发现

• TD-D 典范形式存在且在标准化下唯一，其中 A 为三对角，B 为对角，满足特定的特征值与过渡系数约束。
• LB-UB 典范形式存在且在标准化下唯一，其中 A 为下双对角，B 为上双对角，提供了同一李昂纳德对的另一种矩阵表示。
• 特征基之间过渡矩阵的元素由基本超几何级数 $_4\phi_3$ 给出，且被识别为特征值的 q-Racah 多项式。
• 特征值 $\theta_i$, $\theta^*_j$ 与过渡系数 $k_j$, $k^*_j$ 的显式公式已以 $q$-Pochhammer 符号及参数 $r_1, r_2, s, s^*, q, d$ 推导得出。
• 对 $A, A^*$ 生成矩阵代数 $\mathrm{Mat}_{d+1}(\mathbb{K})$，确认其代数独立性并完全生成环境代数。
• 李昂纳德对的结构与 Askey-Wilson 计划精确对应，其中 q-Racah 多项式自然地作为与特征值序列相关的正交多项式出现。