[論文レビュー] Problems on q-Analogs in Coding Theory

Tuvi Etzion|arXiv (Cornell University)|May 27, 2013

Cooperative Communication and Network Coding参考文献 99被引用数 21

ひとこと要約

本稿は、ランダムネットワークコーディングへの応用を念頭に、定次元符号および部分空間符号に注目したqアナログ符号理論における未解決問題について包括的なサーベイを提示する。100の研究問題を提示し、巡回符号などの新規構成法を提案するとともに、グラスマン多様体グラフにおけるハミルトン閉路や射影空間における補完写像といった構造的問題を検討し、有限体上のベクトル空間におけるqアナログデザインおよび誤り訂正符号の理論的基盤を前進させる。

ABSTRACT

The interest in $q$-analogs of codes and designs has been increased in the last few years as a consequence of their new application in error-correction for random network coding. There are many interesting theoretical, algebraic, and combinatorial coding problems concerning these q-analogs which remained unsolved. The first goal of this paper is to make a short summary of the large amount of research which was done in the area mainly in the last few years and to provide most of the relevant references. The second goal of this paper is to present one hundred open questions and problems for future research, whose solution will advance the knowledge in this area. The third goal of this paper is to present and start some directions in solving some of these problems.

研究の動機と目的

• qアナログ符号理論における最近の進展、特に定次元および部分空間符号に注目し、ランダムネットワークコーディングへの応用を焦点にサーベイすること。
• 今後のqアナログ組合せ論および符号理論の研究を導くために、100の未解決問題を特定し提示すること。
• 巡回符号などの新規構成法やグラスマン多様体および射影空間グラフの構造的解析を含む、一部の問題に対する解決を開始すること。
• 射影空間における補完の存在および性質、およびF_q上での射影空間における線形符号の構造を調査すること。
• 古典的組合せ論的対象のqアナログと符号理論的問題との間の関係を確立すること、例えば中間レベル問題のqアナログ。

提案手法

• 本稿は、F_q^nのすべてのk次元部分空間からなる集合であるG_q(n,k)、すなわちグラスマン多様体空間を、定次元符号を定義する基盤として用いる。
• 3つの距離測度を用いる：部分空間距離 d_S(X,Y) = dim X + dim Y - 2 dim(X ∩ Y)、インジェクション距離 d_I(X,Y) = max(dim X, dim Y) - dim(X ∩ Y)、および等次元部分空間に対してはグラスマン多様体距離 d_G(X,Y) = k - dim(X ∩ Y)。
• 大規模なグラスマン多様体符号を生成するために、主に既知の二値定重み符号を活用する「マルチレベル構成」を用いる。
• 部分空間距離を持つ部分空間符号のサイズに関する新しい一般境界を提案し、極値組合せ論と関連付ける。
• ハミルトン閉路を生成するための巡回シフトおよびネックレスに基づく構成を検討し、ハミンググラフにおける中間レベル問題にインspiredされる。
• 部分空間XとX^⊥の交わりが{0}であるような集合V_q(n) = {X ∈ P_q(n) : X ∩ X^⊥ = {0}}に制限された、正規性、全単射性（k次元と(n−k)次元部分空間間）、対合性、および部分空間距離における等長性を満たす写像f: U → Uとしての補完写像を定義する。

実験結果

リサーチクエスチョン

• RQ1 任意のqおよびkに対して、G(P_q^S(2k+1))に、すべてのk次元および(k+1)次元部分空間を含むハミルトン閉路が存在するか？
• RQ2 G(P_q^S(2k+1))において、k次元および(k+1)次元部分空間のみを含む最長パスの長さは何か？
• RQ3 射影空間P_q(n)全体に補完写像を定義できるか、それとも最大定義域は集合V_q(n)に限られるか？
• RQ4 P_2(n)における最大の線形符号のサイズが2^nであるか、それ以上のサイズ（例：2^{n+1}）の線形符号が存在可能か？
• RQ5 F_2^nを符号語として含むP_2(n)における線形符号Cについて、次元kの符号語の数は(n choose k)以下であるか？

主な発見

• 本稿は、d_G(X,Y) = k - dim(X ∩ Y) が部分空間距離の半分に等しく、dim X = dim Y = k のときにはインジェクション距離に正確に一致することを確立した。
• q=2の場合、V_q(n)に含まれる部分空間の漸近的割合は lim_{n→∞} |V_q(n)| / |P_q(n)| = ∏_{i=1}^∞ 1/(1 + q^{-i}) ≈ 0.4194 であり、qが増加するにつれて増加する。
• マルチレベル構成が、大規模なグラスマン多様体符号を構成する上で最も効果的な方法であることが示され、他の既知の構成法よりも大きな符号を得ることが多い。
• 良好な距離特性を持つ新しい巡回符号構成法が導入され、構造的性質や最適性に関する新たな問題を提起した。
• k=1またはk=2の場合、巡回シフトおよび修正されたネックレス法を用いて、P_q(2k+1)の中間レベルにハミルトン閉路が存在することが証明された。
• |V_q(n)| について閉形式の式が得られ、|P_q(n)|に比例することが示され、q=2のときの極限比は約0.4194に収束することがわかった。