[論文レビュー] Subspace Polynomials and Cyclic Subspace Codes

Eli Ben‐Sasson, Tuvi Etzion+2 more|arXiv (Cornell University)|Apr 30, 2014

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

ひとこと要約

本稿は、最適パラメータを持つ巡回部分空間符号を構成するための新しい代数的道具として部分空間多項式を導入する。固定された $k$ に対して、$\mathcal{G}_q(n,k)$ における最小距離 $2k-2$ の巡回符号が無限に多くの $n$ に対して存在することを、体拡張埋め込みと軌道構造における包含除算法を用いて証明し、全軌道または退化軌道を持つ符号の明示的構成も提示する。

ABSTRACT

Subspace codes have received an increasing interest recently due to their application in error-correction for random network coding. In particular, cyclic subspace codes are possible candidates for large codes with efficient encoding and decoding algorithms. In this paper we consider such cyclic codes and provide constructions of optimal codes for which their codewords do not have full orbits. We further introduce a new way to represent subspace codes by a class of polynomials called subspace polynomials. We present some constructions of such codes which are cyclic and analyze their parameters.

研究の動機と目的

• 巡回部分空間符号の一般化された構成法の欠如、特に最適最小距離を持つものについての課題を解決すること。
• 部分空間の交差や軌道構造の効率的解析を可能にする、部分空間の新しい表現として部分空間多項式を考案すること。
• 固定された $k$ に対して、$\mathcal{G}_q(n,k)$ における最小距離 $2k-2$ の巡回符号が無限に多くの $n$ に対して存在することを証明すること。
• 最小距離をスケーリングしながら、より大きなグラスマンニアンに小さな体上の巡回符号を埋め込む方法を検討すること。
• 全長軌道を持つ巡回符号の明示的構成を行い、特に $n$ が素数のときの自己同型群を分析すること。

提案手法

• 部分空間を、その根が部分空間を張る特殊な線形化多項式（部分空間多項式）で表現することで、部分空間の性質の代数的取り扱いを可能にする。
• 2つの多項式の間のギャップという概念を用い、それらに対応する部分空間の交差次元を評価することで、多項式の構造と部分空間幾何の関連を確立する。
• 軌道分解に基づき、$n$ の約数に付随する部分符号を組み合わせて得られる巡回符号のサイズを計算するために包含除算法を適用する。
• $\mathcal{G}_{q^d}(n/d, k/d)$ から $\mathcal{G}_q(n,k)$ への体のノルム写像を用いた埋め込みにより、巡回性を保ちながら最小距離を $d$ 倍にスケーリングする。
• シンガー部分群とフロベニウス自己同型の構造を活用し、構成された符号の自己同型群がシンガー部分群の正規化群を含むことを示す。
• $\text{gap}(P_1, P_2) \geq d$ ならば $\dim(V_1 \cap V_2) \leq \dim(V_1) - d/2$ が成り立つことを利用し、符号の最小距離を評価する。

実験結果

リサーチクエスチョン

• RQ1 固定された $k$ に対して、無限に多くの $n$ に対して最小距離 $2k-2$ の巡回部分空間符号を明示的に構成できるか？
• RQ2 部分空間多項式を用いて、特にその軌道構造と交差構造を分析するにはどうすればよいか？
• RQ3 部分空間の軌道構造と、それに対応する部分空間多項式の代数的性質との関係は何か？
• RQ4 小さな体上の巡回符号を、巡回性と最小距離を制御しながらより大きなグラスマンニアンに埋め込むことは可能か？
• RQ5 複数の軌道、特に $\frac{q^n-1}{q-1}$ よりも小さい（退化した）軌道を持つ巡回符号を構成することは可能か？

主な発見

• 本稿は、任意の固定された $k$ に対して、無限に多くの $n$ に対して $\mathcal{G}_q(n,k)$ に最小距離 $2k-2$ の巡回符号が存在することを証明し、特殊な場合に長年の予想を解決した。
• 部分空間多項式と軌道分解を用いた明示的構成が提示され、符号のサイズは $n$ の約数に関する包含除算法の式で与えられる。
• $n$ が素数の場合、構成された符号の自己同型群はシンガー部分群の正規化群を含み、強い構造的性質を持つ。
• 約数 $d_i$ に対応する部分符号からなる巡回符号のサイズは、包含除算法により $|\mathbb{C}| = \sum_{i} {n/d_i \brack k/d_i}_{q^{d_i}} - \sum_{i<j} {n/\text{lcm}(d_i,d_j) \brack k/\text{lcm}(d_i,d_j)}_{q^{\text{lcm}(d_i,d_j)}} + \cdots$ と与えられる。
• $\mathcal{G}_{q^d}(n/d, k/d)$ に属する最小距離 $2(k/d) - 2\delta$ の巡回符号 $\mathbb{C}$ を $\mathcal{G}_q(n,k)$ に符号 $\mathbb{C}'$ として埋め込むことができ、サイズは保たれ、最小距離は $2k - 2d\delta$ にスケーリングされる。
• 本稿は、2つの部分空間多項式のギャップが、それに対応する符号の最小距離の下界を与えることを示したが、交差サイズの評価には最適ではない可能性がある。