[論文レビュー] Canonical Forms and Automorphisms in the Projective Space

Thomas Feulner|arXiv (Cornell University)|May 6, 2013

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

ひとこと要約

本稿では、有限体上の射影空間における部分空間の列の正規形および自己同型群を計算する実用的なアルゴリズムを提示する。この手法は、分割の細分化と半線形群作用を用い、従来の線形符号に関する研究を拡張し、部分空間の多重集合の列を扱えるようにし、自然な同値関係のもとで線形符号、加法的符号、およびランダムネットワーク符号の効率的な正規化を可能にする。

ABSTRACT

Let $\C$ be a sequence of multisets of subspaces of a vector space $\F_q^k$. We describe a practical algorithm which computes a canonical form and the stabilizer of $\C$ under the group action of the general semilinear group. It allows us to solve canonical form problems in coding theory, i.e. we are able to compute canonical forms of linear codes, $\F_{q}$-linear block codes over the alphabet $\F_{q^s}$ and random network codes under their natural notion of equivalence. The algorithm that we are going to develop is based on the partition refinement method and generalizes a previous work by the author on the computation of canonical forms of linear codes.

研究の動機と目的

• 射影空間における部分空間の列の正規形および自己同型群を、一般半線形群の作用のもとで実用的に計算するアルゴリズムの開発を目的とする。
• 従来の線形符号に関する研究を、部分空間の多重集合および拡張体上の符号を含むより一般的な対象へと拡張することを目的とする。
• 符号理論における正規化問題に計算的に効率的な解決策を提供することを目的とし、特に線形符号および加法的符号における同値問題に焦点を当てる。
• 一貫したフレームワークを用いて、ランダムネットワーク符号および双対双放物面の正規形の計算を可能にすることを目的とする。
• 既存のアルゴリズムと比較することで、APNに基づく符号などの既知の符号族における正しさと性能の評価を支援することを目的とする。

提案手法

• 分割の細分化をコアアルゴリズムフレームワークとして用い、半線形群作用のもとでの部分空間の列を処理できるように適応している。
• ホモモルフィズム原理を用いて、部分空間上の群作用から、部分空間の多重集合への構造的作用への正規化の拡張を実現している。
• 安定化子の計算を正規化プロセスに統合し、効率的な軌道および同値性テストを可能としている。
• 既知の自己同型に基づく探索木における枝刈り戦略を適用し、計算コストを低減している。
• 部分空間の正規代表を定義するために、行簡約階段形（RREF）と半線形変換を用いている。
• 繰り返しの細分化と個別化を用いて、従来の研究で扱われた1次元部分空間から、任意次元部分空間へのアルゴリズムの一般化を実現している。

実験結果

リサーチクエスチョン

• RQ1 一般半線形群の作用のもとで、射影空間内の部分空間の列の正規形をどのように効率的に計算できるか。
• RQ2 本手法が線形符号、加法的符号、およびランダムネットワーク符号に適用された際の計算性能はいかほどか。
• RQ3 1次元部分空間から任意次元部分空間へとアルゴリズムを拡張しても、効率性と正しさを維持できるか。
• RQ4 特に大規模または複雑な符号族に対して、既存手法と比較して、本アルゴリズムの自己同型群の計算性能はどの程度か。
• RQ5 双対双放物面のような組合せ的対象における同値性の検証および自己同型群の計算に、本アルゴリズムをどの程度まで応用できるか。

主な発見

• 本アルゴリズムは、射影空間内の部分空間の列の正規形および自己同型群を効率的に計算でき、線形符号に対しては既存手法と同等の性能を示している。
• APN関数 $f(x) = x^3$ から導かれる符号族に対して、$d=3$ の場合は0.1秒、$d=22$ の場合は最大8時間で自己同型群が計算可能であり、非自明なインスタンスにおいてもスケーラビリティを示している。
• 双対双放物面 ($\mathcal{C}_{f}^{(d)}$) における本アルゴリズムの実行時間は、対応する線形符号 ($C_f^{(d)}$) よりも常に長くはなっているが、既知の理論的同値性と整合している。
• $d=18$ の場合、$\mathcal{C}_{f}^{(d)}$ の正規形を計算するのに4分を要するが、線形符号バージョンでは45秒で完了しており、符号サイズが大きくなるに従い性能差が拡大していることがわかる。
• $d=22$ の場合、$\mathcal{C}_{f}^{(d)}$ の正規形を計算するのに8時間、線形符号バージョンでは4時間かかる。これは、本手法が有効ではあるが、複雑な対象に対しては計算コストが高くなることを示している。
• 本アルゴリズムは $\mathcal{C}_{f}^{(d)}$ の自己同型群を正しく計算でき、$d \geq 4$ では既知の群の位数と一致しており、理論的整合性に基づく正しさの妥当性が裏付けられている。