[論文レビュー] Construction of Codes for Network Coding

Andreas-Stephan Elsenhans, Axel Kohnert+1 more|arXiv (Cornell University)|May 17, 2010

Coding theory and cryptography参考文献 10被引用数 7

ひとこと要約

本論文は、q-組合せデザインのqアナロジーと群作用、特にSinger巡回群を用いて、ネットワーク符号における定次元部分空間符号の新規構築法を提示する。これにより、高い最小距離を有する大規模な符号を構築でき、1誤りあたりたった7つの体演算で効率的な復号が可能となり、ランダムな軌道選択により高い確率で近似的最適な性能を達成する。

ABSTRACT

Based on ideas of Kötter and Kschischang we use constant dimension subspaces as codewords in a network. We show a connection to the theory of q-analogues of a combinatorial designs, which has been studied in Braun, Kerber and Laue as a purely combinatorial object. For the construction of network codes we successfully modified methods (construction with prescribed automorphisms) originally developed for the q-analogues of a combinatorial designs. We then give a special case of that method which allows the construction of network codes with a very large ambient space and we also show how to decode such codes with a very small number of operations.

研究の動機と目的

• ネットワーク符号応用を想定し、大きな最小距離を有する定次元部分空間符号を体系的に構築するための手法を開発すること。
• 部分空間符号とq-組合せデザインのアナロジー（特にSteiner系）との間の関係を確立すること。
• 自己同型群とSinger巡回群による対称性を活用して、このような符号の効率的復号を可能とすること。
• 部分空間間の所望の交差性質を満たす符号を生成するための確率的枠組みを提供すること。
• Singer巡回群下でのランダムな軌道選択が、必要な最小距離制約を高い確率で満たす符号を生成することを示すこと。

提案手法

• 部分空間に作用する群作用（特にSinger巡回群）を用い、それらから生成される軌道を定次元符号のコドワードとして構成する。
• 構築された符号が最小部分空間距離2(k−t+1)以上を保つようにするため、ディオファントス不等式系を適用する。
• 軌道に含まれるk次元部分空間同士の対ごとの交わりが1次元以下であるという条件を採用し、これにより最小距離が保証される。
• 商対の体元が一意であることを保証するため、離散対数問題の計算的困難性を活用し、望ましくない交わりを回避する。
• ランダムに選択されたk個の体元の組が、互いに1次元以下の交わりを持つ部分空間を生成する確率を推定するための確率的モデルを適用する。
• 受信信号と候補コドワードとの間の商比較に基づく復号アルゴリズムを適用し、1誤りあたりGF(2^v)で最大7回の乗算と7回の除算で実行可能である。

実験結果

リサーチクエスチョン

• RQ1 q-組合せデザインのアナロジーを用いて、保証された最小距離を持つ定次元部分空間符号を体系的に構築できるか？
• RQ2 Singer巡回群のような群作用を用いて、最小交わり性を持つ大規模で構造的な部分空間符号を生成できるか？
• RQ3 Singer巡回群下でのランダムな軌道選択が、所望の最小距離を満たす符号を生成する確率はどの程度か？
• RQ4 対称性に基づくアルゴリズムにより、このような符号の効率的復号が可能か？
• RQ5 利用可能な軌道の数は体のサイズと次元に従ってどのように変化するか？また、衝突のない軌道の期待数はどの程度か？

主な発見

• q=2, v=100, k=3の場合、ランダムな軌道が対間の商条件を満たさない確率は約 exp(−3.31×10⁻²⁸) であり、成功の確実性が極めて高いことが示された。
• 結合可能な衝突のない軌道の期待数は約 6.7×10¹³ であり、非常に大規模な符号構築が可能である。
• 構築された符号の復号アルゴリズムは、1誤りあたりGF(2^v)で最大7回の体乗算と7回の除算で実行可能であり、極めて低い計算複雑性を達成した。
• 本手法により、符号の最小距離が少なくとも2(k−1)以上に保証され、非消失ケースでは最大k−2個の誤りを訂正可能であることが保証された。
• 本手法はk次元部分空間およびn個の軌道へと一般化可能であり、利用可能なペアの数は軌道数に組合せ的に依存する。
• 各(t−1)次元部分空間が高々1つのコドワード部分空間にしか含まれないことを保証することで、部分空間符号とqアナロジーのデザイン（特にSteiner系）との強い関連性を確立した。