[論文レビュー] List Decoding of Deletions Using Guess & Check Codes

Serge Kas Hanna, Salim El Rouayheb|arXiv (Cornell University)|Oct 16, 2018

Advanced biosensing and bioanalysis techniques参考文献 19被引用数 3

ひとこと要約

この論文は、一定数の削除δを是正するためのGuess & Check (GC) コードのリストデコード性能を調査する。著者らは、メッセージ長kに依存しない定数で抑えられるリストサイズを達成できることを示し、対数的冗長性と多項式時間デコードを実現しており、実用的な削除訂正応用において非常に効率的である。

ABSTRACT

Guess & Check (GC) codes are systematic binary codes that can correct multiple deletions, with high probability. GC codes have logarithmic redundancy in the length of the message $k$, and the encoding and decoding algorithms of these codes are deterministic and run in polynomial time for a constant number of deletions $\delta$. The unique decoding properties of GC codes were examined in a previous work by the authors. In this paper, we investigate the list decoding performance of these codes. Namely, we study the average size and the maximum size of the list obtained by a GC decoder for a constant number of deletions $\delta$. The theoretical results show that: (i) the average size of the list approaches $1$ as $k$ grows; and (ii) there exists an infinite sequence of GC codes indexed by $k$, whose maximum list size in upper bounded by a constant that is independent of $k$. We also provide numerical simulations on the list decoding performance of GC codes for multiple values of $k$ and $\delta$.

研究の動機と目的

• 定数個の削除δの下でのGuess & Check (GC) コードのリストデコード性能を分析すること。
• メッセージ長kの関数として、GCデコーダーが生成する平均および最大リストサイズを特定すること。
• 削除訂正の文脈において、GCコードのリストサイズおよび冗長性の理論的上限を確立すること。
• さまざまなkおよびδに対して理論的予測を数値シミュレーションで検証すること。

提案手法

• GCコード構成は、q進MDSコードと2値繰返し符号を用いたシステム的符号化であり、パリティ保護に使用される。
• デコード処理は、2段階の「当てずっぽう＆検証」戦略を採用する：まず複数のデコード関数を用いて候補となる符号語を生成し、次にMDSパリティチェックを用いて不正な候補をフィルタリングする。
• 理論的分析では、有限体上の線形代数を用いて、パリティ制約を満たすまたは違反するメッセージ集合をモデル化し、リストサイズを分析する。
• 重要な主張として、追加のパリティ制約を満たすメッセージ集合のサイズは、元の集合のサイズの半分以下であると示す。
• 一様分布するメッセージを仮定した確率的議論を用いて、リストサイズ確率の上限を導出する。
• 理論的予測の妥当性を検証するために、kおよびδの複数の値に対してシミュレーションを実施する。

実験結果

リサーチクエスチョン

• RQ1 メッセージ長kが増加するに従い、GCデコーダーが返すリストの平均サイズはいかほどか？
• RQ2 固定されたδに対して、GCコードの最大リストサイズがkに依存しない定数で上界を持つことは可能か？
• RQ3 GCデコードフレームワーク下で、リストサイズはkおよびδの関数としてどのようにスケーリングするか？
• RQ4 「当てずっぽう＆検証」デコード戦略は、リストサイズと冗長性効率にどのような影響を及えるか？
• RQ5 理論的リストサイズの上限は、シミュレーションでの実効的性能と比較してどのように一致するか？

主な発見

• GCコードの平均リストサイズは、メッセージ長kが増加するにつれて1に近づき、期待値としてほぼ一意のデコードが達成されることを示している。
• 任意の固定されたδに対して、最大リストサイズがkに依存しない定数で抑えられる無限のGCコード列が存在する。
• リストサイズはO(1)で上界が抑えられ、対数的冗長性を達成し、効率的な多項式時間デコードが可能である。
• 理論的分析により、リストサイズがl−1より大きい確率が0であるならば、リストサイズがl−1である確率が0であることが示され、実現可能なリストサイズに離散的なジャンプが生じることを示している。
• シミュレーションにより、さまざまなkおよびδの値において、リストサイズが小さく安定していることが確認され、理論的上限を支持している。
• 「当てずっぽう＆検証」デコード戦略は、MDSパリティチェックを活用して不正な候補を効果的にフィルタリングすることで、リストサイズを効果的に削減している。