[論文レビュー] A characterization of Leonard pairs using the parameters $\{a_i\}_{i=0}^{d}$

Edward Hanson|arXiv (Cornell University)|May 20, 2012

graph theory and CDMA systems参考文献 13被引用数 3

ひとこと要約

本稿は、パラメータ $ olimits\{a_i\}_{i=0}^d$ を用いた代数的特徴付けを通じて、レオナード対の構造を明らかにし、パスカシオの $Q$-多項式距離正則グラフに関する組合せ論的結果を、完全に線形代数的枠組みへと拡張する。この研究では、レオナード対が $a_i$ パラメータとそれらに付随する構造的制約によって完全に決定されることを示し、グラフ論的仮定に依存せずにこのような対を特定するための新たな基準を提供する。

ABSTRACT

Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V o V$ and $A^*: V o V$ that satisfy (i) and (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 irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Arlene Pascasio recently obtained a characterization of the $Q$-polynomial distance-regular graphs using the intersection numbers $a_i$. In this paper, we extend her results to a linear algebraic level and obtain a characterization of Leonard pairs. Pascasio's argument appears to rely on the underlying combinatorial assumptions, so we take a different approach that is algebraic in nature.

研究の動機と目的

• パラメータの交差数を用いたパスカシオの $Q$-多項式距離正則グラフの特徴付けを、グラフ論的仮定を一切含まない完全に代数的設定に一般化すること。
• レオナード対の特徴付けを、パラメータ $\{a_i\}_{i=0}^d$ とその構造的制約にのみ依存する形で提供すること。
• 三重対角行列および対角行列の表現に基づく代数的枠組みを構築することで、組合せ論的仮定への依存を排除すること。
• レオナード系の文脈において「リーブ（葉）」の概念を導入し、$a_i$ パラメータを用いて構造的特徴を同定すること。
• 関連図 $\Delta$ におけるリーブの識別を目的とした、$a_i$ パラメータと固有値列に基づく二つのアルゴリズムを提示すること。

提案手法

• レオナード対の定義を、$A$ が非可約三重対角で $A^*$ が対角となる基底と、逆に $A^*$ が非可約三重対角で $A$ が対角となる基底の二つを用いる。
• 妥当な基底における $A$ の対角成分から得られるパラメータ $\{a_i\}_{i=0}^d$ を導入し、特徴付けの根幹をなす。
• レオナード系の理論と直交多項式を用いて、$a_i$, $\theta_i$, $\theta_i^*$ を含む再帰関係を導出する。
• 固有値間の隣接関係を表す図 $\Delta$ を用い、リーブを唯一の他の頂点に接続する頂点として定義する。
• リーブである頂点 $r$ が $s$ のみに接続されているかどうかをテストする二つのアルゴリズムを開発し、$a_i$ パラメータと固有値列に基づく。
• 再帰関係と行列方程式を用いて、$a_i$ パラメータがレオナード対であるための必要十分条件を満たしているかを検証する。

実験結果

リサーチクエスチョン

• RQ1 交差数を用いた $Q$-多項式距離正則グラフの特徴付けを、グラフ論的仮定を一切含まない完全に代数的設定に一般化できるか。
• RQ2 パラメータ $\{a_i\}_{i=0}^d$ をどのように用いることで、レオナード対を完全に特徴付けられるか。
• RQ3 $\{a_i\}_{i=0}^d$ に課される代数的条件は、線形変換の対がレオナード対を形成することを保証するか。
• RQ4 図 $\Delta$ の固有値図における「リーブ」の概念を、$a_i$ パラメータのみを用いてどのようにアルゴリズム的に同定できるか。
• RQ5 $a_i$ パラメータと固有値列 $\{\theta_i^*\}$ に課される条件は、$\Delta$ の頂点がリーブであることを保証するか。

主な発見

• レオナード対は、$\theta_i^*$ と $\theta_i$ を含む再帰関係系と整合性を持つ $a_i$ パラメータによって特徴付けられる。
• $1 \leq i \leq d$ に対して $\theta_i^* \neq \theta_0^*$ である条件は、図 $\Delta$ の連結性を保証し、特徴付けに不可欠である。
• 頂点 $r$ が $s$ のみに接続されている（リーブである）ための必要十分条件は、$\theta_s$ を代入した $u_i(\theta_s)$ の列が、$\theta_i^*$ と $a_r^*$ を含む特定の有理関数恒等式を満たすことである。
• リーブを識別するための第一のアルゴリズムは、$\alpha_j$ の再帰的計算を実行し、各ステップで固有値 $\theta_s$ と整合性があるかを行列方程式でチェックする。
• 第二のアルゴリズムは、$A$ の各行の和が一定であるという仮定に基づき、$\alpha_j$ の計算を省略し、各インデックス $j$ に対して単一の行列方程式をチェックするだけで済ませる。
• 本稿では、固有値とパラメータの制約が満たされている限り、$a_i$ パラメータがレオナード対を同型を除いて完全に決定することを証明している。