[論文レビュー] Bounds and Constructions for Multi-Symbol Duplication Error Correcting Codes

Andreas Lenz, Niklas Jünger+1 more|arXiv (Cornell University)|Jul 8, 2018

Radiation Effects in Electronics被引用数 11

ひとこと要約

本稿では、任意のアルファベット $ \mathbb{Z}_p $ 上で $ t $ 個の長さ $ \ell $ のタンドム相同を是正する符号について、非漸近的上界と2つの構成的技法を提示する。上界は球詰めを用いて導出され、タンドム相同を重複根を介してゼロ挿入エラーに写像することで、高い基数を達成する効率的な符号構成が可能になる。特に、構成法2は特定のパラメータにおいて近似的に最適な性能を示す。

ABSTRACT

In this paper, we study codes correcting $t$ duplications of $\\ell$ consecutive symbols. These errors are known as tandem duplication errors, where a sequence of symbols is repeated and inserted directly after its original occurrence. Using sphere packing arguments, we derive non-asymptotic upper bounds on the cardinality of codes that correct such errors for any choice of parameters. Based on the fact that a code correcting insertions of $t$ zero-blocks can be used to correct $t$ tandem duplications, we construct codes for tandem duplication errors. We compare the cardinalities of these codes with their sphere packing upper bounds. Finally, we discuss the asymptotic behavior of the derived codes and bounds, which yields insights about the tandem duplication channel.

研究の動機と目的

• 長さ $ \ell $ の $ t $ 個のタンドム相同を是正する符号のサイズに対する非漸近的上界を導出すること。
• 任意のアルファベット $ \mathbb{Z}_p $ 上で $ t $ 個のタンドム相同を是正する明示的な符号構成法を開発すること。
• 球詰め上界と符号の基数を比較し、効率性を評価すること。
• タンドゥム相同チャネルにおける符号レートと冗長性の漸近的挙動を分析すること。
• 単一および固定長の相同是正に限られた先行研究を、任意の $ t $, $ \ell $, $ p $ に一般化すること。

提案手法

• Levenshtein距離における球詰めの議論を用いて、長さ $ \ell $ の $ t $ 個のタンドゥム相同に対して非漸近的上界を導出する。
• 変換 $ \mathcal{T}(\mathbf{x}) = (y(\mathbf{x}), \mu(\mathbf{x}), \pi(\mathbf{x})) $ を用いてタンドゥム相同エラーを単一のゼロ挿入エラーに写像し、重要な構造的要素を保持する。
• $ \pi(\mathbf{x}) $ が単一ゼロ挿入是正集合に属することを保証することで、$ t $-タンドゥム相同是正符号を構成し、[2] で知られている構成法を用いる。
• ゼロ挿入同値性に基づく構成法1を提案し、ハミング重みと二項係数の数え上げにより基数の下界を導出する。
• 重複根を用いる構成法2を提案し、異なる重複根を持つ語は互いに交差しないエラー球を持つため、より高い符号レートが達成可能である。
• 関数 $ \pi(\mathbf{x}) $ を用いて重複によって誘発されるゼロ挿入をモデル化し、既知の挿入是正符号設計に還元可能である。

実験結果

リサーチクエスチョン

• RQ1 任意のアルファベット $ \mathbb{Z}_p $ 上で、長さ $ \ell $ の $ t $ 個のタンドゥム相同を是正する符号のサイズに対する非漸近的上界は何か？
• RQ2 タンドゥム相同エラーをどのようにゼロ挿入エラーに変換することで、既存の挿入是正符号構成法を活用できるか？
• RQ3 直接挿入写像法と比較して、重複根に基づく構成法による基数の向上はどの程度か？
• RQ4 提案された符号の冗長性は、球詰め上界および先行研究の構成法と比べてどうか？
• RQ5 $ n $, $ t $, $ \ell $ が変化する際の符号レートと冗長性の漸近的挙動はいかなるものか？

主な発見

• 球詰め上界として、$ t $-タンドゥム相同是正符号のサイズは $ |\mathcal{C}| \lesssim \frac{p^n}{n^t (p-1)^t} $ と得られ、エラー球の体積に関する議論に基づく。
• 構成法1では、基数の下界として $ |\mathcal{C}^1| \geq \sum_{r=0}^{n-\ell} \frac{N_{p,\ell}(n-\ell,r) \binom{r}{t}}{(2r+1)^t} $ が得られ、ここで $ N_{p,\ell}(n,r) $ は $ r $ 個の非ゼロ記号と $ \ell $ 個の連続するゼロを含まない語の数を表す。
• 構成法2では、異なる重複根に対してエラー球が互いに交差しないため、構成法1よりも高い基数を達成でき、$ |\mathcal{C}^2| \geq p^\ell \sum_{w=0}^{\lfloor n/\ell \rfloor - 1} \sum_{r=0}^{n-(w+1)\ell} \frac{N_{p,\ell}(n-(w+1)\ell,r) \binom{r+w}{w}}{(2\max(r,t)+1)^t} $ が成立する。
• $ t=1 $ の場合、[10, Cor. 1] の上界はタイトであり、球詰め上界と一致し、手法の妥当性が裏付けられる。
• 図1および図2の冗長性プロットから、構成法2は特定のパラメータセットにおいて基数の観点で近似的に最適に近い性能を示す。
• $ t $ 個の相同を是正するための冗長性は、$ \ell $ が大きくなるに従って減少することが確認され、長い相同長さは符号レートへのペナルティを軽減することが示された。