[論文レビュー] Effective protocols for low-distance file synchronization

Aleksandr Chuklin|arXiv (Cornell University)|Feb 23, 2011

Advanced Data Storage Technologies参考文献 14被引用数 4

ひとこと要約

この論文は、ハミング距離が有界なバイナリファイルの同期に向けた通信効率の良いプロトコルについて、符号理論およびインタラクティブ通信複雑性を活用して包括的なサーベイと拡張を提示する。特に確率的およびリストデコーディングに基づくアプローチに対して新たな改善を加え、$ H(\alpha)n + o(n) $ ビットの最適通信複雑性を達成し、実用的な展開に適した多項式時間計算を実現する。

ABSTRACT

Suppose that we have two similar files stored on different computers. We need to send the file from the first computer to the second one trying to minimize the number of bits transmitted. This article presents a survey of results known for this communication complexity problem in the case when files are "similar" in the sense of Hamming distance. We mainly systematize earlier results obtained by various authors in 1990s and 2000s and discuss its connection with coding theory, hashing algorithms and other domains of computer science. In particular cases we propose some improvements of previous constructions.

研究の動機と目的

• ハミング距離制約下での通信効率の良いファイル同期に関する既知の結果を体系化し拡張すること。
• 理論的通信複雑性と分散ファイル同期およびエラー訂正符号における実用的応用を橋渡しすること。
• 新たな構成（特に修正版NBAプロトコルと計算効率のより優れた代替確率的プロトコル）を導入することで、既存プロトコルの改善を図ること。
• インタラクティブ通信モデルにおける通信コスト、計算複雑性、誤り耐性のトレードオフを分析すること。
• リストデコーダブルな符号をシャノン容量に近い状態で使用することで、ファイル同期における最適通信複雑性を達成する可能性の検討。

提案手法

• アリスとボブがメッセージを交換して、ハミング距離が有界なファイル $ X $ と $ Y $ を同期する形式的な通信複雑性フレームワークを採用する。
• 決定的および確率的プロトコルを用い、送信ビット数を最小限に抑えつつ多項式時間計算を許容する。
• 最悪事態の誤りに対処し、近似的に最適な通信レートを達成するため、リストデコーディング機能を有するエラー訂正符号を適用する。
• 一般化されたNBA問題に対する新しいプロトコル（プロトコル4）を導入し、通信および計算効率の面で先行構成を改善する。
• 情報理論的下界に一致する多項式時間デコードを実現する代替確率的プロトコル（定理3、ステートメント11）を提案する。
• 極値的組合せ論およびデランダム化（例：k-一様独立置換）の道具を用いてランダムネスの使用を削減し、効率を向上させる。

実験結果

リサーチクエスチョン

• RQ1 インタラクティブ通信を用いて、高々 $ \alpha n $ 個の位置で異なる2つのファイルを同期するのに必要な最小ビット数は何か？
• RQ2 確率的プロトコルは、多項式時間計算を維持しつつ、情報理論的下界 $ H(\alpha)n + o(n) $ ビットに達することができるか？
• RQ3 リストデコーディング技術をどのように活用して、最適通信複雑性を持つ効率的な同期プロトコルを設計できるか？
• RQ4 1ラウンドプロトコルと複数ラウンドプロトコルの間で、通信コストと計算複雑性のトレードオフはどのように異なるか？
• RQ5 新たな構成は、通信コスト、計算複雑性、または敵対的誤りに対する耐性の面で、既存プロトコルを上回ることができるか？

主な発見

• この論文は、ハミング距離制約下でのファイル同期の通信複雑性が $ H(\alpha)n $ で下界づけられ、その下限が確率的プロトコルを用いて漸近的に達成可能であることを確立する。
• 新たな確率的プロトコル（ステートメント11）が提案され、$ H(\alpha)n + o(n) $ の通信量と多項式時間計算を達成し、理論的下限に一致する。
• シャノン容量に近い状態のリストデコーダブルな符号の使用により、最適通信複雑性が達成可能であるが、そのような符号の構成は未解決の問題のままである。
• NBA問題の修正版（ステートメント4）が導入され、通信および計算効率の面で向上した新しいプロトコルを提供する。
• 1ラウンド決定的プロトコルは非効率的であることが示され、オルリツキー（1993, 2003）による以前の理論的結果を裏付ける。
• ファイル同期、エラー訂正符号、情報再結合の間の理論的および実用的関係が確立され、共通のアルゴリズム的原則が強調される。