[論文レビュー] Bivariate $P$-polynomial association schemes

Pierre-Antoine Bernard, Nicolas Crampé+3 more|arXiv (Cornell University)|Dec 21, 2022

Coding theory and cryptography参考文献 28被引用数 4

ひとこと要約

本稿では、一変数多項式を二変数多項式に置き換えることで、古典的な $P$-多項式スケームを一般化した二変数 $P$-多項式関連スキームの型 $(\alpha,\beta)$ を導入する。これらのスキームと特定の交差数制約との間の同値性を確立し、既知の高ランクスキーム（直接積、対称化スキーム、24-cell、非二値ジョンソンスキーム、および等長空間・減衰空間からのもの）がこのクラスに属することを示す。同様に、$Q$-多項式バージョンについても定義されている。

ABSTRACT

Bivariate P-polynomial association scheme of type $(α,β)$ are defined as a generalization of the P-polynomial association schemes. This generalization is shown to be equivalent to a set of conditions on the intersection parameters. A number of known higher rank association schemes are seen to belong to this broad class. Bivariate Q-polynomial association schemes are similarly defined.

研究の動機と目的

• 一変数から二変数多項式への $P$-多項式関連スキームの概念の一般化。
• 新たな単項式への部分順序を用いて、型 $(\alpha,\beta)$ の二変数 $P$-多項式関連スキームを定義し、特徴づけること。
• 二変数 $P$-多項式性と交差数に関する特定の制約との同値性を確立すること。
• フレームワークを $Q$-多項式スキームへ拡張し、既知の関連スキームにその存在を示すこと。
• 直交多項式、部分構成代数、および多変数一般化への可能性との関連を調査すること。

提案手法

• 単項式に全順序 deg-lex を定義し、パrameter $0 \leq \alpha \leq 1$, $0 \leq \beta < 1$ を用いて二変数多項式のための部分順序 $\preceq_{(\alpha,\beta)}$ を導入する。
• 型 $(\alpha,\beta)$ の二変数 $P$-多項式関連スキームの概念を導入し、隣接行列が $\preceq_{(\alpha,\beta)}$ 順序下で次数 $i$ の二変数多項式 $v_i$ を用いて $A_i = v_i(A_1, A_2)$ と表されることを要求する。
• 交差数制約を用いて二変数多項式 $v_{ij}$ の再帰関係を導出し、線形再帰系を構成する。
• スキームパrameterから得られる隣接行列 $A_{10}$ および $A_{01}$ の固有値 $\theta_{ij}$ と $\mu_{ij}$ を用いて、Bose–Mesner代数の射影を構成する。
• 双対固有値を用い、同様の方法で二変数 $Q$-多項式スキームを定義し、対称化および直接積構成により性質を検証する。
• 多項式 $v_{ij}$ とその双対 $v^\star_{mn}$ の間のウィルソン型双対関係を確立し、$P$-および $Q$-多項式構造を結びつける。

実験結果

リサーチクエスチョン

• RQ1 古典的な $P$-多項式関連スキームの概念を、構造的整合性を保ちつつ二変数多項式へ一般化する方法は何か？
• RQ2 型 $(\alpha,\beta)$ の二変数 $P$-多項式関連スキームを特徴付ける交差数に関する制約は何か？
• RQ3 24-cell や非二値ジョンソンスキームなどの既知の高ランク関連スキームのうち、二変数 $P$-多項式性を満たすものはどれか？
• RQ4 $Q$-多項式性を同様に二変数設定に一般化できるか？ どのスキームがその性質を示すか？
• RQ5 二変数 $P$-および $Q$-多項式スキームから生じる代数的構造（部分構成代数、一般化されたレナード対など）は何か？

主な発見

• 型 $(\alpha,\beta)$ の二変数 $P$-多項式関連スキームは、パrameter $k, b, c, \theta, \tau$ を含む多項式 $v_{ij}$ の再帰関係の系と同値である。
• $P$-多項式スキームの直接積および対称化スキームは、24-cell、非二値ジョンソンスキーム、および等長空間・減衰空間からのスキームを含め、すべて二変数 $P$-多項式スキームを生成する。
• $P$-多項式スキームの対称化は、二変数 $P$-および $Q$-多項式スキームを生成し、多項式 $v_{ij}$ と $v^\star_{mn}$ の間の明示的双対関係が成り立つ。
• $A_{10}$ および $A_{01}$ の固有値 $\theta_{ij}$ と $\mu_{ij}$ は、それぞれ $\theta_{ij} = (N-i-j)k + i\theta + j\tau$ および $\mu_{ij} = (N-i-j)\frac{kb}{c} - i(\theta+1) - j(\tau+1)$ で与えられる。
• ウィルソン型双対性が成立する：$\frac{i!j!(N-i-j)!}{k^i (bk/c)^j} v_{ij}(\theta_{mn}, \mu_{mn}) = \frac{m!n!(N-m-n)!}{(k^\star)^m (b^\star k^\star / c^\star)^n} v^\star_{mn}(\theta^\star_{ij}, \mu^\star_{ij})$ であり、双対性が確認される。
• このようなスキームの部分構成代数は4つの生成元によって生成され、三重対角関係およびレナード対の高ランク一般化を示唆する。