[論文レビュー] Two linear transformations each tridiagonal with respect to an eigenbasis of the other; an algebraic approach to the Askey scheme of orthogonal polynomials

Paul Terwilliger|ArXiv.org|Aug 27, 2004

Matrix Theory and Algorithms参考文献 84被引用数 50

ひとこと要約

本稿では、互いの固有基底に関してそれぞれ三重対角である線形変換のペアであるレオナード対を導入し、それらの演算子とアスキー多項式スキームの終端的分岐との間の深い代数的関係を確立する。主な貢献は、3項再帰、差分方程式、アスキー＝ウィルソン双対性、および直交性を、レオナード系の構造を通じて、q-ラカハ、ハーン、クラフトシューブ、バナイ/イツォ型を含む多項式に対して一様な線形代数的枠組みで統一することにある。

ABSTRACT

Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V o V$ and $A^*:V o V$ that satisfy the following two conditions: There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. We give a correspondence between Leonard pairs and a class of orthogonal polynomials. This class coincides with the terminating branch of the Askey scheme and consists of the $q$-Racah, $q$-Hahn, dual $q$-Hahn, $q$-Krawtchouk, dual $q$-Krawtchouk, quantum $q$-Krawtchouk, affine $q$-Krawtchouk, Racah, Hahn, dual Hahn, Krawtchouk, Bannai/Ito, and orphan polynomials. We describe the above correspondence in detail. We show how, for the listed polynomials, the 3-term recurrence, difference equation, Askey-Wilson duality, and orthogonality can be expressed in a uniform and attractive manner using the corresponding Leonard pair. We give some examples that indicate how Leonard pairs arise in representation theory and algebraic combinatorics. We discuss a mild generalization of a Leonard pair called a tridiagonal pair. At the end we list some open problems. Throughout these notes our argument is elementary and uses only linear algebra. No prior exposure to the topic is assumed.

研究の動機と目的

• 三重対角構造を持つ線形作用素と古典的直交多項式との間の新しい代数的枠組みを確立すること。
• レオナード対の組合せ的および代数的性質を用いて、アスキースキームの終端的分岐全体を特徴づけること。
• q-ラカハ、ハーン、クラフトシューブ、バナイ/イツォ型を含む広範な直交多項式クラスについて、再帰、差分方程式、双対性、直交性といった主要な性質を一様に線形代数的枠組みで導出すること。
• レオナード対の概念を三重対角ペアへ一般化し、表現論および量子代数との関係を調査すること。
• 直交多項式および代数的組合せ論の理論における未解決問題を特定し、今後の研究の方向性を示唆すること。

提案手法

• レオナード対を、それぞれが相手の固有基底に関して三重対角である2つの線形変換AとA*として定義する。
• 固有値と双対固有値を符号化するパラメータ配列を含むレオナード系の概念を導入し、それによってすべてのこのようなペアを分類する。
• 基底となるベクトル空間の標準基底およびスプリット基底を構成し、AとA*の作用を標準形で表現する。
• レオナード系の構造を用いて、関連する直交多項式の3項再帰と差分方程式を導出する。
• AとA*の固有値が対称的な関数的関係を満たすことを示すことによって、アスキー＝ウィルソン双対性を確立する。
• パラメータ配列を用いてレオナード系全体を再構成し、それが同型を除いて系を完全に分類することを証明する。

実験結果

リサーチクエスチョン

• RQ1 アスキースキームの終端的分岐の全体系が、1つの代数的構造から一貫して導出可能であるか。
• RQ2 2つの線形変換にどのような代数的条件を課すと、それらがレオナード対を生成し、古典的直交多項式系に対応するか。
• RQ3 3項再帰、差分方程式、および直交性が、レオナード対の性質を用いて一様に表現可能か。
• RQ4 アスキー＝ウィルソン双対性は、レオナード系の文脈で果たす役割は何か。また、それはどのように代数的に符号化されるか。
• RQ5 レオナード対は、U_q(sl_2) やリー代数などの量子代数の表現とどのように関係するか。

主な発見

• 本稿では、レオナード系とアスキースキームの終端的分岐（q-ラカハ、q-ハーン、双対q-ハーン、q-クラフトシューブ、および関連多項式を含む）との間の一対一対応を確立した。
• 各多項式における3項再帰と差分方程式は、標準基底およびスプリット基底におけるレオナードペアの作用から一様に導出された。
• アスキー＝ウィルソン双対性は、A, A*, および第3の作用素Aε（必ずしも対角化可能でない）の固有値間の対称的関係として代数的に表現された。
• 固有値と双対固有値からなるパラメータ配列は、同型を除いてレオナード系を完全に分類する。
• パラメータが特定の条件を満たすとき、レオナードペアの基底となるベクトル空間が、U_q(sl_2) の完全に非自明なモジュールを支えることを示した。
• 理論により、パラメータ配列を用いて直交関係、行列表現、遷移行列（例：P）を一様に表現する枠組みが提供された。