[論文レビュー] Potent Tree Codes and their applications: Coding for Interactive Communication, revisited

Ran Gelles, Amit Sahai|arXiv (Cornell University)|Apr 5, 2011

Cooperative Communication and Network Coding参考文献 13被引用数 10

ひとこと要約

本論文は、ノイジーなチャネルを介したインタラクティブな通信の完全に明示的で定数オーバーヘッドのシミュレーションを可能にする、強力なツリーコードと呼ばれる、新しい明示的構成可能なツリーコードのクラスを導入する。著者らは、ランダムに生成されたツリーコードが非常に高い確率で強力なツリーコードであることを示し、効率的に復号可能であることを証明することで、プロトコル長に関して指数的に小さい失敗確率を達成した。これにより、インタラクティブコーディング理論における長年の未解決問題が解決された。

ABSTRACT

We study the fundamental problem of reliable interactive communication over a noisy channel. In a breakthrough sequence of papers published in 1992 and 1993, Schulman gave non-constructive proofs of the existence of general methods to emulate any two-party interactive protocol such that: (1) the emulation protocol takes a constant-factor longer than the original protocol, and (2) if the emulation protocol is executed over a noisy channel, then the probability that the emulation protocol fails is exponentially small in the total length of the protocol. Unfortunately, Schulman's emulation procedures either only work in a model with a large amount of shared randomness, or are non-constructive in that they rely on the existence of good tree codes. The only known proofs of the existence of good tree codes are non-constructive, and finding an explicit construction remains an important open problem. Indeed, randomly generated tree codes are not good tree codes with overwhelming probability. In this work, we revisit the problem of reliable interactive communication, and obtain the following results: We introduce a new notion of goodness for a tree code, and define the notion of a potent tree code. We believe that this notion is of independent interest. We prove the correctness of an explicit emulation procedure based on any potent tree code. We show that a randomly generated tree code (with suitable constant alphabet size) is a potent tree code with overwhelming probability. Furthermore we are able to partially derandomize this result using only O(n) random bits, where $n$ is the depth of the tree. These results allow us to obtain the first fully explicit emulation procedure for reliable interactive communication over noisy channels with a constant communication overhead, and exponentially small failure probability.

研究の動機と目的

• ノイジーなチャネルを介した信頼性の高いインタラクティブ通信のための明示的ツリーコードを構築するという、長年の未解決問題を解決すること。
• シュルマンの1993年のプロトコルにおける、良いツリーコードの非構成的依存を、明示的かつ効率的な代替手段に置き換えること。
• 元のプロトコルの長さに関して指数的に小さい失敗確率を達成しつつ、定数因子の通信オーバーヘッドを実現すること。
• 定数個の参加者に対して、オーバーヘッドがO(n)に留まる多パーティ型インタラクティブ通信への拡張。
• 標準的なエラー訂正符号を用いて、O(n)のランダムビットのみを用いた確率的除去（デランドマイズ）された構成を提供すること。

提案手法

• 信頼性の高いインタラクティブ通信に十分な、緩められたが十分な条件である「強力なツリーコード」という概念を導入する。
• 任意の強力なツリーコードが、二パーティ型および多パーティ型プロトコルの完全に明示的かつ効率的なエミュレーション手順を可能にすることを証明する。
• 定数のアルファベットサイズを持つランダムに生成されたツリーコードが、非常に高い確率で強力なツリーコードであることを示す。
• 標準的なエラー訂正符号を用いて、バイナリ対称チャネルでさえも、このようなツリーコードを効率的に復号できることを示す。
• O(n)のランダムビットを用いて構成を部分的にデランドマイズし、それらを標準的なエラー訂正符号を介して符号化・共有する。
• 復号エラーが複数の参加者間で高確率で有界に保たれるようにすることで、多パーティ型通信へのフレームワークの拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 非構成的ツリーコード存在証明に依存せずに、ノイジーなチャネルを介した完全に明示的で定数オーバーヘッドのインタラクティブプロトコルのシミュレーションを達成できるか？
• RQ2 効率的かつ明示的なインタラクティブコーディングを可能にしつつ、指数的エラー抑制を維持できる、ツリーコードの良さの緩められた概念は存在するか？
• RQ3 定数のアルファベットサイズを持つランダムに生成されたツリーコードが、非常に高い確率で十分に良い（強力なツリーコードとして）と見なせるか？これにより実用的な構成が可能になるか？
• RQ4 このようなコードの構築に必要なランダムネスをO(n)ビットにまで削減できるか？効率性と信頼性を維持できるか？
• RQ5 このフレームワークは、通信オーバーヘッドが有界な多パーティ型インタラクティブプロトコルに拡張可能か？

主な発見

• 定数のアルファベットサイズを持つランダムに生成されたツリーコードは、非常に高い確率で強力なツリーコードであり、明示的構成が可能である。
• エミュレーションプロトコルの失敗確率は、元のプロトコル長Nに関して指数的に小さい。具体的には、2^(-Ω(N))で有界である。
• 二パーティ型プロトコルでは通信オーバーヘッドが定数であり、nパーティ型プロトコルではO(n)である。後者は定数nに対して最適である。
• 構成にはO(n)のランダムビットのみが必要であり、標準的なエラー訂正符号を用いて効率的に共有・デランドマイズ可能である。
• 標準的なエラー訂正符号を用いて効率的な復号が可能であり、ラベル誤り確率p < |S|^(-2)を満たすことで、低復号複雑性を確保できる。
• 適切なパrameter設定のもとで、固定された時間的パスを想定した場合、多パーティ型プロトコルへの拡張において、失敗確率は最大で1/(2(r+1))^Nである。