[論文レビュー] Two linear transformations each tridiagonal with respect to an eigenbasis of the other; comments on the parameter array

Paul Terwilliger|ArXiv.org|Jun 19, 2003

graph theory and CDMA systems参考文献 16被引用数 10

ひとこと要約

本稿は、三重対の理論における重要な構造であるレオナード系のパラメータ配列の特徴付けを、行列の共役化と多項式恒等式を用いて確立することで提示する。これにより、直交多項式（例：q-Racah、Hahn、Krawtchouk）の完全な分類が得られ、二つの三重対称線形変換とその固有基底の相互作用から生じることを示す。

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 $A^*:V o V$ that satisfy conditions (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 $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. The structure of any given Leonard pair is deterined by a certain sequence of scalars called its {\it parameter array}. The set of parameter arrays is an affine algebraic variety. We give two characterizations of this variety. One involves bidiagonal matrices and the other involves orthogonal polynomials.

研究の動機と目的

• レオナード系の同型類に対応するパラメータ配列を特徴づけること。
• パラメータ配列がレオナード系から生じるための同値条件を、行列の共役化と多項式恒等式を用いて確立すること。
• そのようなパラメータ配列から生じるすべての直交多項式（例：q-Racah、Hahn、Bannai/Ito）を分類すること。
• 関連多項式の直交性、再帰的関係、差分方程式を含む、明示的なパラメトリック形式と構造的公式を提供すること。
• レオナード対の理論を無限列に拡張し、Askeyスキームにおける未解決問題を含む一般化を検討すること。

提案手法

• パラメータ配列を、5つの公理（PA1〜PA5）を満たすスカラーのタプルとして定義する：相異なる固有値（PA1）、構造定数の非消滅（PA2）、および固有値の差と構造定数を含む2つの再帰的恒等式（PA3–PA4）。
• Mat_{d+1}(K) 内の行列 A, B, A*, B* を定義し、2つの線形変換とその固有基底を三重対称形式で表現する。
• パラメータ配列がPA3–PA5を満たすことと、G⁻¹AG = B および G⁻¹A*G = B* を満たす可逆行列 G の存在が同値であることを確立する。
• 母関数と多項式恒等式を用いて、固有値と構造定数を含む2つの特定の和が互いにスカラー倍であることを示す。
• q-Racah、双対-q-Krawtchoukなど、既知のすべての直交多項式のパラメトリック形式をパラメータ配列から導出し、直交性、3項再帰的関係、差分方程式を含む。
• q-二項係数 [r,s,t]_q に類似した係数を用いて、移行行列 G の明示的公式を提示し、G がスカラー倍を除き一意的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 パラメータ配列にどのような条件を課すと、二つの三重対行列を互いに共役化する可逆行列が存在するか？
• RQ2 パラメータ配列を用いて、レオナード系から生じるすべての直交多項式をどのように分類できるか？
• RQ3 三重対の文脈において、構造定数 φ_i, ϕ_i と固有値列 θ_i, θ*_i の正確な関係は何か？
• RQ4 パラメータ配列から導かれる多項式は、Askeyスキームの古典的直交多項式とどのように関係しているか？
• RQ5 理論を無限長多項式列に拡張できるか。そのような一般化を可能にする条件は何か？

主な発見

• パラメータ配列がPA3–PA5を満たすことは、G⁻¹AG = B かつ G⁻¹A*G = B* を満たす可逆行列 G の存在と同値であり、強い代数的同値性を確立する。
• 本稿で定義された和によって定義される多項式は互いにスカラー倍であり、この条件がパラメータ配列の有効性を特徴づける。
• q-Racah、Hahn、Krawtchouk、Bannai/Ito、およびオルフェン多項式を含む、すべての古典的およびq-古典的直交多項式が、パラメータ配列構成の特別な場合として実現される。
• オルフェン多項式は特性2においてのみ存在し、最大次数が3に制限されるため、他の族とは明確に区別される。
• 移行行列 G はスカラー倍を除き一意に定まり、q-二項係数 [r,s,t]_q を用いて明示的に構成可能である。
• q = -1 の場合、Bannai/Ito 多項式は q-Racah 多項式の極限として現れ、これら直交系を統一的に扱う枠組みを提供する。