[論文レビュー] Generalized Hamming schemes

Chris Godsil|arXiv (Cornell University)|Nov 4, 2010

Coding theory and cryptography参考文献 7被引用数 8

ひとこと要約

本稿は、基本的な配置系 $\mathcal{A}$ の関係のカルテシアン積を用いて、古典的なハミング配置系の自然な拡張として一般化ハミングスキームを導入する。このスキームは、配置系とそのボーズ＝メスナー代数の枠組みを用いて、$\mathbb{Z}_4$ のような環上の符号の重み列挙多項式に対する一般化マクマイルズ定理を確立し、符号理論における既知の結果を統一的かつ拡張的に扱う。

ABSTRACT

We introduce a class of association schemes that generalizes the Hamming scheme. We derive generating functions for their eigenvalues, and use these to obtain a version of MacWilliams theorem.

研究の動機と目的

• 任意の固定された対称配置系 $\mathcal{A}$ から、$H(n,\mathcal{A})$ と呼ばれる新しい配置系のクラスを構成することにより、古典的ハミングスキーム $H(n,q)$ を一般化すること。
• $H(n,\mathcal{A})$ の固有値の生成関数を導出し、このスキームのより深い代数的解析を可能にすること。
• $\mathbb{Z}_4$ のような環上の符号の重み列挙多項式に対して、一般化マクマイルズ定理を確立することにより、符号理論における古典的結果を拡張すること。
• モジュラーダイナミクス不変性の性質が一般化スキーム構成においてどのように保存されるかを調査し、スピンモデルや代数的組合せ論と関連付けること。

提案手法

• $H(n,\mathcal{A})$ を、$V^n$ 上の配置系とし、$v,w$ 間の隣接関係を、基本スキーム $\mathcal{A}$ の座標毎の関係のカウントからなるベクトル $h(v,w)$ によって定義する。
• $\mathcal{A}$ のボーズ＝メスナー代数を用いて、$H(n,\mathcal{A})$ の代数を構成し、行列積およびシュール積に関して閉じていることを保証する。
• $\mathcal{A}$ の固有値行列 $P$ を $n$ 重対称冪に持ち上げることで、$H(n,\mathcal{A})$ の固有値の生成関数を導出する。この操作は、誘導作用 $\widehat{P}$ を通して行われる。
• ボーズ＝メスナー代数における行列積とシュール積の双対性を応用し、重み列挙多項式のマクマイルズ変換を導出する。
• ${\mathcal{A}}$ がモジュラーダイナミクス不変条件 $(PT)^3 = cI$ を満たすならば、誘導作用 $\widehat{P}\widehat{T}$ を通じて $H(n,{\mathcal{A}})$ も同様の性質を備えることを証明する。
• $H(n,{\mathcal{C}}_4) \cong H(2n,2)$ という同型を用いて、$\mathbb{Z}_4$-符号におけるリー重み列挙多項式を二進重み列挙多項式に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、積構成を用いて、任意の基本配置系に対して古典的ハミングスキームを一般化できるか？
• RQ2 得られる一般化ハミングスキームの固有値の生成関数は何か？
• RQ3 この枠組みを用いて、$\mathbb{Z}_4$ 上の符号の重み列挙多項式に対して、マクマイルズ型双対性定理を確立できるか？
• RQ4 一般化スキーム構成において、モジュラーダイナミクス不変性の性質が保存される条件は何か？
• RQ5 $\mathbb{Z}_4$-符号の重み列挙多項式は、スキームの同型を介してどのように二進符号の重み列挙多項式と関連づけられるか？

主な発見

• 任意の対称的基底スキーム $\mathcal{A}$ に対して、一般化スキーム $H(n,\mathcal{A})$ は配置系である。隣接関係は、座標毎の関係カウントのベクトルによって定義される。
• $H(n,\mathcal{A})$ の固有値は、$\mathcal{A}$ の固有値行列 $P$ の $n$ 重対称冪によって生成され、これにより固有値の生成関数が得られる。
• $\mathbb{Z}_4$-符号の完全重み列挙多項式に対して、一般化マクマイルズ定理が導出される：$W^\perp_C(s,t,u,v) = \frac{1}{|C|} W_C(s+t+u+v, s+it-u-iv, s-t+u-v, s-it-u+iv)$。
• 対称化重み列挙多項式に対しては、マクマイルズ恒等式が $W^\perp_C(s,t,u) = \frac{1}{|C|} W_C(s+2t+u, s-u, s-2t+u)$ として得られ、これは $\mathbb{Z}_4$ 上の加法的符号に対して有効である。
• $\mathcal{C}_4$（$\mathbb{Z}_4$ 上の2クラススキーム）は $H(2,2)$ と同型であり、したがって $H(n,{\mathcal{C}}_4) \cong H(2n,2)$ が成り立ち、リー重み列挙多項式と二進重み列挙多項式を結びつける。
• 基底スキーム ${\mathcal{A}}$ が $(PT)^3 = cI$ というモジュラーダイナミクス不変条件を満たすならば、$({\widehat{P}}\widehat{T})^3 = cI$ を通じて $H(n,{\mathcal{A}})$ も同様の性質を備える。これは、バナイとバナイの結果を一般化する。