[論文レビュー] 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

ひとこと要約

本稿は、互いの固有基底に関して三重対角行列である2つの線形変換からなるリチャードソン対の2つの標準形—TD-DおよびLB-UB—を導入する。主な貢献は、三重対角行列と対角行列、あるいは下/上二重対角行列がリチャードソン対をなすための条件の特徴付けであり、明示的なパrameter化と超幾何級数の恒等式を通じて、それらを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上のベクトル空間におけるリチャードソン対の2つの標準形—TD-DおよびLB-UB—を定義し、特徴づけること。
• 三重対角行列と対角行列、あるいは下/上二重対角行列のペアがリチャードソン対をなすための必要十分条件を提供すること。
• 明示的なパrameter化を通じて、リチャードソン対とAskeyスキームにおけるq-Racah多項式との間の対応を確立すること。
• 行列の正規化と構造的制約を用いたフレームワークを提供し、リチャードソン対の特定と分類を可能にすること。

提案手法

• TD-D標準形の導入：特定の正規化のもとで、不可約な三重対角行列と対角行列としてリチャードソン対を表現する。
• LB-UB標準形の定義：再び正規化のもとで、下二重対角行列と上二重対角行列としてペアを表現する。
• 固有基底と行列表現の構造を用いて、行列の成分に対する再帰関係とパラメータ制約を導出する。
• 基本超幾何級数 $_4\phi_3$ を用いて、固有基底間の移行行列の成分を表現する。
• パrameters $r_1, r_2, s, s^*, q, d$ を用いて、固有値 $\theta_i$, $\theta^*_j$ および移行係数 $k_j$, $k^*_j$ の明示的公式を導出する。
• 移行行列の成分が固有値に関する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多項式は固有値列に関連する直交多項式として自然に現れる。