[論文レビュー] Some algebra related to $P$-and $Q$-polynomial association schemes

Tatsuro Ito, K. TANABE+1 more|ArXiv.org|Jun 27, 2004

Advanced Algebra and Geometry参考文献 21被引用数 37

ひとこと要約

本稿では、有限次元ベクトル空間上の対角化可能な線形作用素のペアである三重対角（TD）ペアを導入する。これらは特定の三重対角作用条件と非可約性を満たす。本稿は、このようなペアが対称的かつ単調増加の固有空間次元を持つことを証明し、パrameters β, γ, γ*, ϱ, ϱ* で定義される二次代数的関係を満たし、固有値の間隔が β+1 に従うことを示す。これらはTDペアを分類する基盤的構造を提供し、関連付けられた構造式と直交多項式との関係を明らかにする。

ABSTRACT

Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. Consider a pair of linear transformations $A:V o V$ and $A^*:V o V$ that satisfy both conditions below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal, and the matrix representing $A^*$ is irreducible tridiagonal. (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. Such a pair is called a Leonard pair on $V$. In this paper we introduce a mild generalization of a Leonard pair called a tridiagonal pair. A Leonard pair is the same thing as a tridiagonal pair such that for each transformation all eigenspaces have dimension one.

研究の動機と目的

• P-およびQ-多項式的関連構造から生じる構造の一般化として、三重対角（TD）ペアを形式化し、研究すること。
• TDペアの構造的性質を確立すること。特に、直径の等しさと固有空間次元の対称性を含む。
• 五つのパrameterでパラメータ化された、TDペアを特徴付ける二次代数的関係（Dolan-Grady関係の一般化）を導出すること。
• TDペアを部分構成代数、Terwilliger代数、q-Racah多項式と結びつけることで、TDペアの分類の基盤を築くこと。

提案手法

• TDペアを、有限次元ベクトル空間 V 上の対角化可能な線形作用素 A と A* のペアとして定義する。これらは固有空間上で三重対角作用をし、非可約性を満たす。
• 三重対角作用条件を用いて、A と A* の直径 d と δ が等しいことを示す。
• A と A* の i 番目の固有空間の次元 ρi が対称的（ρi = ρd−i）かつ単調増加的（i ≤ d/2 のとき ρi−1 ≤ ρi）であることを証明する。
• A と A* を含む非可換な二次関係を導出し、Dolan-Grady関係を一般化する。パラメータは β, γ, γ*, ϱ, ϱ* である。
• d ≥ 3 のとき、これらの関係がTDペアの代数的構造を一意に決定することを示す。
• 導出された関係を通じて、Terwilliger代数やAskey-Wilson代数といった既知の代数的構造と接続する。

実験結果

リサーチクエスチョン

• RQ1 有限次元ベクトル空間上の二つの対角化可能な線形作用素が、互いの固有空間上で三重対角作用をし、非自明な不変部分空間を生成しない場合、どのような構造的制約が生じるか？
• RQ2 このようなペアにおいて、A と A* の固有空間の次元どうしがどのように関係するか。また、それらにどのような対称性や単調増加性の性質が現れるか？
• RQ3 このような作用素の交換子構造を特徴付ける二次代数的関係を導出可能か。その関係を制御するパラメータは何か？
• RQ4 A と A* の固有値どうしがどのように関係し合うか。また、パラメータ β はそれらの間隔にどのような役割を果たすか？
• RQ5 これらのTDペアは、関連付けられた構造式や直交多項式理論における既知の構造をどの程度一般化するか？

主な発見

• TDペアにおける二つの作用素 A と A* の直径 d と δ は等しい。
• A と A* の i 番目の固有空間の次元 ρi は対称的（ρi = ρd−i）かつ単調増加的（i ≤ d/2 のとき ρi−1 ≤ ρi）である。
• 基礎体に一意に定まるパラメータ β, γ, γ*, ϱ, ϱ* が存在し、A と A* が次の二次交換子関係を満たす：[A, A²A* − βAA*A + A*A² − γ(AA* + A*A) − ϱA*] = 0 および [A*, A*²A − βA*A A* + A A*² − γ*(A*A + AA*) − ϱ*A] = 0。
• 2 ≤ i ≤ d−1 のとき、A の固有値 θi に対して (θi−2 − θi+1)/(θi−1 − θi) = β+1 が成り立つ。
• 2 ≤ i ≤ d−1 のとき、A* の固有値 θ*i に対しても (θ*i−2 − θ*i+1)/(θ*i−1 − θ*i) = β+1 が成り立ち、A* に対しても固有値の間隔が対称的であることが示される。
• 本稿では、生成関数 ∑ρiti が (1+t+⋯+tdj) の積に等しいと予想しており、固有空間次元の組み合わせ的分解を示唆している。