[論文レビュー] Coding Theory in Projective Space

Natalia Silberstein, Tuvi Etzion|arXiv (Cornell University)|May 22, 2008

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

ひとこと要約

本稿は、定次元符号におけるコドワードの新規表現を、縮小エクソン行列とフェラーダイアグラムによる分割を用いて提示する。これにより、距離計算と符号化が効率的に行える。グレアスマン符号と定重符号の間の関係を確立し、最適ランクメトリック符号から新しい定次元符号を構築するとともに、符号構築のための非制限射影空間への表現の一般化を実現する。

ABSTRACT

Projective space of order $n$ over a finite field $GF(q)$, denoted by $\\mathcal{P}_{q}(n),$ is a set of all the subspaces of a vector space $GF(q)^{n}.$ The projective space is a metric space with the distance function $d_{s}(U,V)=dim(U)+dim(V)-2dim(U\\cap V)$, for all $U,V\\in\\mathcal{P}_{q}(n)$. A code in the projective space is a subset of $\\mathcal{P}_{q}(n)$. Koetter and Kschischang showed that codes in projective space are useful for errors and erasures correction in random network coding. If the dimension of each codeword is restricted to a fixed integer, the code forms a subset of a finite-field Grassmannian. Such a code is called a constant-dimension code. We introduce a representation of codewords in Grassmannian by codewords in the associated constant-weight codes and matrices in reduced echelon form. We describe an algorithm for detecting the distance between two subspaces of $\\mathcal{P}_{q}(n)$ based on such representation. It is known that the size of Grassmannian can be determined by Gaussian coefficient. Using the connection between the Gaussian coefficient and the number of partitions we show encoding methods for constant-dimension codes, based on representation of partitions by Ferrer diagrams. Next, we consider rank-metric codes. We construct new constant-dimension codes, based on optimal rank-metric codes. We continue by studying the codes in unrestricted projective space. We generalize the representation of codewords in unrestricted projective space by vectors in the Hamming space and matrices in reduced echelon form. We construct new codes in $\\mathcal{P}_{q}(n)$, using our construction of codes in Grassmannian.

研究の動機と目的

• 射影空間における定次元符号のための効率的な表現および符号化手法の開発。
• コード構築のためのガウス係数、整数分割、フェラーダイアグラムの関係の確立。
• ハミング空間および縮小エクソン形式を用いて、グレアスマンから非制限射影空間へのコドワード表現の一般化。
• 最適ランクメトリック符号に基づく新しい定次元符号の構築。
• 行列表現を用いた部分空間間の距離計算の効率化。

提案手法

• グレアスマンにおけるコドワードを縮小エクソン形式行列として表現し、定重符号に写像する。
• 整数分割を表すフェラーダイアグラムを用い、ガウス係数と結びつけて符号化を実現する。
• 距離公式 $ d_s(U,V) = \dim(U) + \dim(V) - 2\dim(U \cap V) $ を適用し、部分空間距離計算を効率化する。
• 既知の最適ランクメトリック符号を基盤として、新しい定次元符号を構築する。
• 部分空間をハミング空間および縮小エクソン行列に写像することで、非制限射影空間におけるコドワード表現を一般化する。
• グレアスマン符号構築法と一般化表現を組み合わせ、$ \mathcal{P}_q(n) $ における新しい符号を生成する。

実験結果

リサーチクエスチョン

• RQ1 グレアスマンにおけるコドワードは、行列形式および分割を用いてどのように効率的に表現・符号化できるか？
• RQ2 コード構築の文脈で、ガウス係数、整数分割、フェラーダイアグラムの関係は何か？
• RQ3 最適ランクメトリック符号を用いて、射影空間における新しい定次元符号を構築できるか？
• RQ4 行列表現を用いて、射影空間における2つの部分空間間の距離をどのように効率的に計算できるか？
• RQ5 グレアスマンにおけるコドワード表現を、非制限射影空間へ一般化することで、より広範な符号構築が可能になるか？

主な発見

• 本稿は、ガウス係数と整数分割の数の間の直接的な関係を確立し、フェラーダイアグラム表現による符号化を可能にした。
• 次元に基づく公式 $ d_s(U,V) = \dim(U) + \dim(V) - 2\dim(U \cap V) $ を用いることで、部分空間間の距離計算が効率的に行えるようになった。
• 最適ランクメトリック符号を基盤として、コードサイズおよび構造の向上を実現する新しい定次元符号が構築された。
• 非制限射影空間におけるコドワードは、ハミングベクトルおよび縮小エクソン行列を用いて表現され、グレアスマン手法が一般化された。
• フェラーダイアグラムの使用により、分割の列挙に基づく定次元符号の体系的な符号化が可能になった。
• 提案されたフレームワークにより、グレアスマン構築法と一般化表現を組み合わせることで、$ \mathcal{P}_q(n) $ における新しい符号の構築が可能になった。