[論文レビュー] Forms and Linear Network Codes

Johan P. Hansen|arXiv (Cornell University)|Mar 7, 2013

Cooperative Communication and Network Coding参考文献 8被引用数 4

ひとこと要約

本稿では、有限体上の正規化された斉次多項式を用いた線形ネットワーク符号の新規構成を提示する。代数幾何学的手法を活用し、グラスマン多様体空間内に等距離なベクトル部分空間を生成する。互いに最小次元の交わりを持つことを保証することで、高い最小距離を達成し、明示的なパラメータ（二項係数および多項式の次数に由来）を用いて、ネットワーク符号における頑健な誤り訂正を実現する。

ABSTRACT

We present a general theory to obtain linear network codes utilizing forms and obtain explicit families of equidimensional vector spaces, in which any pair of distinct vector spaces intersect in the same small dimension. The theory is inspired by the methods of the author utilizing the osculating spaces of Veronese varieties. Linear network coding transmits information in terms of a basis of a vector space and the information is received as a basis of a possibly altered vector space. Ralf Koetter and Frank R. Kschischang introduced a metric on the set af vector spaces and showed that a minimal distance decoder for this metric achieves correct decoding if the dimension of the intersection of the transmitted and received vector space is sufficiently large. The vector spaces in our construction are equidistant in the above metric and the distance between any pair of vector spaces is large making them suitable for linear network coding. The parameters of the resulting linear network codes are determined.

研究の動機と目的

• 形式および多項式イデアルを用いて、高い最小距離を持つ線形ネットワーク符号を構成する一般化された代数的フレームワークの開発。
• グラスマン多様体距離における等距離符号の設計という課題に取り組み、交わりの次元が十分に大きい場合に信頼性の高い復号を保証すること。
• 従来のヴェロネーゼ多様体の接空間に基づく構成を、自明な公約因を持つ任意の正規化された斉次多項式の集合へと一般化すること。
• 多項式の次数および体のサイズに依存する、符号パラメータ（サイズ、次元、最小距離）の明示的公式の導出。
• 既約多項式または線形多項式のべきによる符号が、予測可能で最適な距離挙動を示す等距離部分空間を生成することの実証。

提案手法

• 符号は、$ G $ を次数 $ e $ の正規化された斉次多項式として、$ V_G = G \cdot \mathbb{F}_q[X_0,\dots,X_n]_{d-e} $ として定義される像部分空間として構成される。ここで $ d \geq e $ である。
• 各符号 $ \mathcal{C}_\mathcal{B} $ は、任意の2つの異なる要素が定数以外の公約因を持たないような正規化された斉次多項式の集合 $ \mathcal{B} $ を選んで形成される。
• 環境空間は $ \mathbb{F}_q[X_0,\dots,X_n]_d $ であり、次元は $ N = \binom{n+d}{n} $ である。各符号部分空間の次元は $ l = \binom{n+d-e}{n} $ である。
• 2つの異なる部分空間 $ V_{G_1}, V_{G_2} $ 間の最小距離は、その交わりの次元に依存し、$ d-e < e $ か $ d-e \geq e $ かに応じて異なる。
• 主な技術的道具は、多項式イデアルの交差理論を用いて $ \dim(V_{G_1} \cap V_{G_2}) $ を評価し、距離の明示的公式を導出することにある。
• 従来のヴェロネーゼ多様体の接空間に基づく構成を、線形形式のべきに限らない任意の多項式集合へと一般化している。

実験結果

リサーチクエスチョン

• RQ1 代数幾何学、特に形式および多項式イデアルの理論をどのように用いて、グラスマン多様体内に等距離な部分空間を持つ線形ネットワーク符号を構成できるか？
• RQ2 正規化された斉次多項式の集合にどのような条件を課すと、対応する符号部分空間が最小交わり次元を持ち、したがって最大の最小距離を達成するか？
• RQ3 多項式の次数および体のパrameterに由来する二項係数の公式を用いて、線形ネットワーク符号の最小距離を明示的に計算・最適化できるか？
• RQ4 生成多項式が既約または線形多項式のべきである場合、符号パラメータ（サイズ、レート、正規化距離）はどのように振る舞うか？
• RQ5 生成多項式の次数と、グラスマン多様体距離における結果的な等距離性の関係は何か？

主な発見

• 構成された符号 $ \mathcal{C}_\mathcal{B} $ はグラスマン多様体距離において等距離であり、すべてのペアワイズ距離が等しいため、均一な誤り訂正能力を有する。
• $ d-e < e $ の場合、交わりの次元は0であり、最小距離は $ 2 \binom{n+d-e}{n} $ に達し、最大の分離が実現される。
• $ d-e \geq e $ の場合、交わりの次元は $ \binom{n+d-2e}{n} $ であり、最小距離は $ 2\left(\binom{n+d-e}{n} - \binom{n+d-2e}{n}\right) $ に減少するが、依然としてすべてのペアで一定である。
• $ \mathcal{B} = \mathcal{I}(e) $（正規化された既約斉次多項式の集合）の場合、符号サイズは $ q $ と共に急激に増加し、正規化距離 $ \delta $ は $ e $ の増加に伴い減少するが、レート $ R $ は急激に低下する。
• $ \mathcal{B} = \mathcal{L}(e) $（線形形式の $ e $ 重積の集合）の場合、符号サイズは $ \frac{q^{n+1} - 1}{q - 1} $ であり、$ \mathbb{F}_2 $ および $ n=2 $ に対してパラメータが明示的に表形式で示され、小規模な $ e $ に対して正規化距離 $ \delta = 1 $ を達成している。
• 符号のレート $ R $ は $ d $ および $ e $ の増加に伴い急激に低下するが、$ e $ が小さい間は正規化距離 $ \delta $ は高いままであり、低次の多項式では強力な誤り訂正が可能であることが示唆される。