[論文レビュー] Synchronization Strings: Channel Simulations and Interactive Coding for Insertions and Deletions

Bernhard Haeupler, Amirbehshad Shahrasbi+1 more|arXiv (Cornell University)|Jul 13, 2017

DNA and Biological Computing参考文献 21被引用数 10

ひとこと要約

本稿では、挿入・削除チャネルを定数倍の誤り率増加で半誤りチャネルに変換するチャネルシミュレーションを導入し、既存のエラー耐性符号の効率的利用を可能にする。同期文字列と編集距離ツリー符号を用いて、同期エラーに対する計算的に効率的で高レートのインタラクティブ符号化方式を初めて提示し、近似的に最適なレートを達成するとともに、小さなアルファベットでも動作する。

ABSTRACT

We present many new results related to reliable (interactive) communication over insertion-deletion channels. Synchronization errors, such as insertions and deletions, strictly generalize the usual symbol corruption errors and are much harder to protect against. We show how to hide the complications of synchronization errors in many applications by introducing very general channel simulations which efficiently transform an insertion-deletion channel into a regular symbol corruption channel with an error rate larger by a constant factor and a slightly smaller alphabet. We generalize synchronization string based methods which were recently introduced as a tool to design essentially optimal error correcting codes for insertion-deletion channels. Our channel simulations depend on the fact that, at the cost of increasing the error rate by a constant factor, synchronization strings can be decoded in a streaming manner that preserves linearity of time. We also provide a lower bound showing that this constant factor cannot be improved to $1+ε$, in contrast to what is achievable for error correcting codes. Our channel simulations drastically generalize the applicability of synchronization strings. We provide new interactive coding schemes which simulate any interactive two-party protocol over an insertion-deletion channel. Our results improve over the interactive coding schemes of Braverman et al. [TransInf 2017] and Sherstov and Wu [FOCS 2017], which achieve a small constant rate and require exponential time computations, with respect to computational and communication complexities. We provide the first computationally efficient interactive coding schemes for synchronization errors, the first coding scheme with a rate approaching one for small noise rates, and also the first coding scheme that works over arbitrarily small alphabet sizes.

研究の動機と目的

• 挿入・削除エラーを一般化した符号の破損よりもはるかに困難に修正される長年のチャレンジに取り組むこと。
• 従来のインタラクティブ符号化方式が非効率的または低通信レートであったという制限を克服すること。
• 挿入・削除チャネルを誤り率が定数倍増加するのみの半誤りチャネルにシミュレートする一般枠組みを構築すること。
• 効率的かつストリーミング対応のチャネルシミュレーションにより、既存の半誤り符号化方式を同期エラーの状況に応用可能にする。
• 最小のアルファベットサイズで動作し、計算的に効率的で高レートかつ低オーバーヘッドを達成する、挿入・削除エラーに対する初めてのインタラクティブ符号化方式を構築すること。

提案手法

• 挿入・削除チャネルを誤り率が (1+ε) 倍増加する半誤りチャネルに変換するチャネルシミュレーション技術を導入し、わずかに大きなアルファベットサイズを用いる。
• 従来のエラー耐性符号に使用されてきた同期文字列を活用し、挿入・削除のストリーミング処理と線形時間での復号を可能にする。
• 同期文字列を用いて、任意の半誤り符号を挿入・削除チャネル用に耐性を持つ符号に変換するブラックボックス変換を構築する。
• 同期文字列と編集距離ツリー符号の間の密接な関係を確立し、両者の間で結果を直接移転可能にする。
• ツリー符号構造のエッジラベルを変更することで、ε-同期文字列を (2ε−ε²)-編集距離ツリー符号に拡張する新規手法を設計する。
• 得られたツリー符号を用いて、小さなノイズ率に対してレートが1に近づく計算複雑度が定数の、初めてのインタラクティブ符号化方式を構築する。

実験結果

リサーチクエスチョン

• RQ1 挿入・削除チャネルは、誤り率の増加が定数倍に留まる範囲で、半誤りチャネルとして効率的にシミュレート可能か？
• RQ2 同期文字列を用いて、計算的に効率的かつ高通信レートを達成するインタラクティブ符号化方式を設計可能か？
• RQ3 任意に小さなアルファベットサイズで動作し、高レートと低オーバーヘッドを維持するインタラクティブ符号化方式を構築可能か？
• RQ4 同期文字列を用いた挿入・削除チャネルのシミュレーションにおいて、誤り率増加を 1+ε に改善することは可能か？
• RQ5 同期文字列と編集距離ツリー符号の関係は何か？ 一方の結果を他方に直接移転可能か？

主な発見

• 本稿では、挿入・削除チャネルを誤り率が (1+ε) 倍増加する半誤りチャネルに変換するチャネルシミュレーションを構築し、既存の半誤り符号化方式の利用を可能にした。
• 本稿は、挿入・削除エラーに対する計算的に効率的で高レートのインタラクティブ符号化方式を初めて提示し、小さなノイズ率に対してレートが1に近づくことを達成した。
• 提案手法は任意に小さなアルファベットサイズで動作し、従来の研究における主要な制限を克服した。
• 下界により、チャネルシミュレーションにおいて (1+ε) の誤り率増加を 1+ε に改善することは不可能であることが示されたが、これはエラー耐性符号とは異なり、誤り率増加の下限が厳しくなることを示している。
• 本稿では、同期文字列と編集距離ツリー符号の間に密接な関係を確立し、両者の間で結果を直接移転可能であることを示した。
• GuruswamiとWangの最新のコードよりもレート・距離トレードオフを改善する、明示的な低レートバイナリ挿入・削除符号を構築した。