[論文レビュー] Automorphisms of Codes in the Grassmann Scheme

Tuvi Etzion, Alexander Vardy|arXiv (Cornell University)|Oct 21, 2012

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

ひとこと要約

本稿では、有限体上のグラスマンニアンにおける自己同型群を構成するための新規手法を提示する。Frobenius写像と巡回シフトを用い、PG(5,3)における直線の新しい並進構造および、ほぼスティーナー構造に近い大きな符号を発見した。この手法は、円分部分群とグラフベースのクリーク探索を活用し、互いに素な部分空間を同定することで、パラメータ (n=7, k=3, q=2) に対して最小距離4の、これまでに知られていた最大の符号を実現した。

ABSTRACT

Two mappings in a finite field, the Frobenius mapping and the cyclic shift mapping, are applied on lines in PG($n,p$) or codes in the Grassmannian, to form automorphisms groups in the Grassmanian and in its codes. These automorphisms are examined on two classical coding problems in the Grassmannian. The first is the existence of a parallelism with lines in the related projective geometry and the second is the existence of a Steiner structure. A computer search was applied to find parallelisms and codes. A new parallelism of lines in PG(5,3) was formed. A parallelism with these parameters was not known before. A large code which is only slightly short of a Steiner structure was formed.

研究の動機と目的

• 有限体上のグラスマンニアンおよび射影幾何における非自明なスティーナー構造と並進構造を構成するという、長年の未解決問題に取り組む。
• グラスマンニアンにおける符号の自己同型群を生成するための体系的で包括的な手法を開発する。Frobenius写像と巡回シフトを用いる。
• パラメータ n ≡ 1 (mod 6) の下で、スティーナー構造 S₂[2,3,13] および PG(n,p) における並進構造を構成可能かどうかを検討する。
• 円分部分群とグラフクリークを基盤とする計算フレームワークを提供し、互いに素で、部分群を完全にカバーする部分空間を探索する。
• 部分空間構造と距離特性を保存する自己同型群を組み込むことで、既知の構成を拡張する。

提案手法

• Frobenius写像 𝛺ₗ(x) = x^{p^ℓ} と巡回シフト Φⱼ(αⁱ) = α^{i+j} を、グラスマンニアン内の部分空間に適用し、自己同型群を生成する。
• 円分部分群を用いて、Frobenius写像による乗法的軌道に従って体の元をグループ化し、部分空間差の表現を効率化する。
• 各3次元部分空間 X に対して、その構造を特定し、互いに素であることを保証するための、部分群差集合 C(Δ(X)) を定義する。
• 頂点 V が部分群グループの7要素部分集合を表し、辺 E が互いに素で、部分群を完全にカバーする部分空間を結ぶグラフ G(V,E) を構築する。
• このグラフにおけるクリークは、互いに素で、部分群を完全にカバーする3次元部分空間の集合に対応し、サイズ15のクリークはスティーナー構造 S₂[2,3,13] を表す。
• n=13 の場合に、このグラフ上でコンピュータ探索を実施し、大きなクリークを探索した。その結果、14クリークが正常に同定された。

実験結果

リサーチクエスチョン

• RQ1 Frobenius写像および巡回シフト自己同型を用いて、新しいパラメータにおける PG(n,p) における直線の並進構造を構成可能か？
• RQ2 提案手法により、n ≡ 1 (mod 6) を満たす場合、特に n=13 のとき、非自明なスティーナー構造 S₂[2,3,n] を得られるか？
• RQ3 Frobenius写像と巡回シフトによって生成される自己同型群を用いて、グラスマンニアンにおける部分空間を体系的に互いに素に構成可能か？
• RQ4 G₂(7,3) において最小距離4の符号の最大サイズは何か？また、この手法によって改善可能か？
• RQ5 n と p に対して特定の数論的条件が満たされる場合、PG(n,p) における並進構造の一般構成が可能か？

主な発見

• PG(5,3)における直線の新しい並進構造が、成功裏に構成された。これは、以前は存在しないとされてきた。
• n=13 の場合、G₂(13,3) において、3次元部分空間が1,490,762個の符号が発見され、以前の最良知られていた符号（1,221,296）を上回った。
• 構築された符号は最小距離4であり、パラメータに関しては、これまでに知られていた最大の符号である。自己同型群は巡回シフトとFrobenius写像によって生成された。
• n=13 の場合のグラフにおいて、サイズ14のクリークが同定され、互いに素で、部分群を完全にカバーする3次元部分空間の大きな集合が存在することが示された。
• 15クリーク（S₂[2,3,13] に対応）の探索は、依然として計算的に非現実的であるが、フレームワークは確立された。
• 本手法は、並進構造およびグラスマンニアンにおける非自明なスティーナー構造の新しい無限族を構成するための実用的基盤を提供する。