[論文レビュー] Tridiagonal pairs of Krawtchouk type

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Jun 7, 2007

Finite Group Theory Research参考文献 30被引用数 5

ひとこと要約

本稿は、特性が0の代数的に閉じた体上におけるKrawtchouk型の三重対を調査し、両演算子に対して不変な一意の非退化対称双線形形式の存在を証明するとともに、$A,A^*$, $-A,-A^*$, $A^*,A$, $-A^*,-A$ 間の同型関係を確立する。主な貢献は、形状ベクトルの積生成関数と両演算子を固定する標準的反自己同型を用いた、このような対の特徴付けである。

ABSTRACT

Let $K$ denote an algebraically closed field with characteristic 0 and let $V$ denote a vector space over $K$ with finite positive dimension. Let $A,A^*$ denote a tridiagonal pair on $V$ with diameter $d$. We say that $A,A^*$ has Krawtchouk type whenever the sequence $\lbrace d-2i brace_{i=0}^d$ is a standard ordering of the eigenvalues of $A$ and a standard ordering of the eigenvalues of $A^*$. Assume $A,A^*$ has Krawtchouk type. We show that there exists a nondegenerate symmetric bilinear form $< , >$ on $V$ such that $= < u,Av>$ and $= < u,A^*v>$ for $u,v\in V$. We show that the following tridiagonal pairs are isomorphic: (i) $A,A^*$; (ii) $-A,-A^*$; (iii) $A^*,A$; (iv) $-A^*,-A$. We give a number of related results and conjectures.

研究の動機と目的

• Krawtchouk型の三重対を、固有値の順序と形状ベクトルを用いて特徴付けること。
• 三重対の両演算子に対して不変な一意の非退化対称双線形形式の存在を確立すること。
• $A,A^*$, $-A,-A^*$, $A^*,A$, $-A^*,-A$ の4つの演算子対が、Krawtchouk型の条件下で同型であることを証明すること。
• 環境代数の構造的性質、特に両演算子を固定する標準的反自己同型の存在を調査すること。
• 三重対のパラメータ配列の特徴付けを予想し、トレース式と構造定数との関係を明らかにすること。

提案手法

• A および A^* に対して、$\{d-2i\}_{i=0}^d$ が標準的固有値順序であると仮定して、Krawtchouk型の三重対を定義する。
• Leonard対および三重対の理論を用いて、形状ベクトル $\{\rho_i\}_{i=0}^d$ 及びその生成関数の性質を導出する。
• すべての $u,v \in V$ に対して $\langle Au,v\rangle = \langle u,Av\rangle$ および $\langle A^*u,v\rangle = \langle u,A^*v\rangle$ を満たす、$V$ 上の非退化対称双線形形式 $\langle\cdot,\cdot\rangle$ を構成する。
• 両演算子 $A$ および $A^*$ を固定し、$X^{\dagger\dagger} = X$ を満たす、$\mathrm{End}(V)$ 上の一意の反自己同型 $\dagger$ の存在を証明する。
• パラメータ配列内の構造定数 $\zeta_i$ を、射影の積のトレースおよび評価多項式に関連付ける。
• 標準的反同型を用いて、$A,A^*$ を双対空間 $\tilde{V}$ における像に写し、このような対の同型類を分析する。

実験結果

リサーチクエスチョン

• RQ1 任意のKrawtchouk型三重対は、両演算子に対して不変な一意の非退化対称双線形形式をもつか？
• RQ2 $A,A^*$ がKrawtchouk型であるとき、$(A,A^*)$, $(-A,-A^*)$, $(A^*,A)$, $(-A^*,-A)$ の対は同型であるか？
• RQ3 Krawtchouk型三重対の形状ベクトル $\{\rho_i\}_{i=0}^d$ は、幾何級数の生成関数の積として表現可能か？
• RQ4 $\mathrm{End}(V)$ に、Krawtchouk型三重対において両演算子 $A$ および $A^*$ を固定する標準的反自己同型が存在するか？
• RQ5 特性が0の代数的に閉じた体上では、三重対のパラメータ配列がその同型類を一意に決定するか？

主な発見

• すべての $u,v \in V$ に対して $\langle Au,v\rangle = \langle u,Av\rangle$ および $\langle A^*u,v\rangle = \langle u,A^*v\rangle$ を満たす、$V$ 上の非退化対称双線形形式 $\langle\cdot,\cdot\rangle$ が存在し、スカラー倍を除き一意である。
• Krawtchouk型三重対の形状ベクトル $\{\rho_i\}_{i=0}^d$ は、ある非負整数 $N$ および正の整数 $d_j$ を用いて、$\sum_{i=0}^d \rho_i \lambda^i = \prod_{j=1}^N (1 + \lambda + \cdots + \lambda^{d_j})$ を満たす。
• $A,A^*$, $-A,-A^*$, $A^*,A$, $-A^*,-A$ の4つの対は、$A,A^*$ がKrawtchouk型であるとき同型である。
• $\mathrm{End}(V)$ 上に、$X^{\dagger\dagger} = X$ かつ $A^\dagger = A$, $A^{*\dagger} = A^*$ を満たす一意の反自己同型 $\dagger$ が存在する。
• Krawtchouk型三重対のパラメータ配列は、固有値 $\theta_i$, $\theta^*_i$ および構造定数 $\zeta_i$ によって一意に決定され、$\zeta_0 = 1$, $\zeta_d \neq 0$ であり、$2 \leq i \leq d-1$ に対して固有値差の有理式が一定である。
• 予想として、二つの三重対が同型であるための必要十分条件は、同じパラメータ配列を持つことであり、構造定数 $\zeta_i$ は射影の積のトレースおよび評価多項式を用いて表現可能である。