[論文レビュー] Optimal Error Rates for Interactive Coding I: Adaptivity and Other Settings

Mohsen Ghaffari, Bernhard Haeupler+1 more|arXiv (Cornell University)|Dec 6, 2013

Coding theory and cryptography参考文献 8被引用数 4

ひとこと要約

この論文は、適応的および非適応的インタラクティブコーディングにおける最大許容誤り率について、きつい上限を確立している。適応的コーディングでは、標準誤りの場合、誤り耐性が非適応的の場合の1/4から2/7に向上し、共有ランダムネスが利用可能な場合には1/2から2/3に向上する。また、リストデコーダブルなインタラクティブ通信についても、きつい上限1/2を示しており、それ以上の誤り率では不可能であることを示している。

ABSTRACT

We consider the task of interactive communication in the presence of adversarial errors and present tight bounds on the tolerable error-rates in a number of different settings. Most significantly, we explore adaptive interactive communication where the communicating parties decide who should speak next based on the history of the interaction. Braverman and Rao [STOC'11] show that non-adaptively one can code for any constant error rate below 1/4 but not more. They asked whether this bound could be improved using adaptivity. We answer this open question in the affirmative (with a slightly different collection of resources): Our adaptive coding scheme tolerates any error rate below 2/7 and we show that tolerating a higher error rate than 1/3 is impossible. We also show that in the setting of Franklin et al. [CRYPTO'13], where parties share randomness not known to the adversary, adaptivity increases the tolerable error rate from 1/2 to 2/3. For list-decodable interactive communications, where each party outputs a constant size list of possible outcomes, the tight tolerable error rate is 1/2. Our negative results hold even for unbounded communication and computations, whereas for our positive results communication and computations are polynomially bounded. Most prior work considered coding schemes with linear amount of communication, while allowing unbounded computations. We argue that studying tolerable error rates in this relaxed context helps to identify a setting's intrinsic optimal error rate. We set forward a strong working hypothesis which stipulates that for any setting the maximum tolerable error rate is independent of many computational and communication complexity measures. We believe this hypothesis to be a powerful guideline for the design of simple, natural, and efficient coding schemes and for understanding the (im)possibilities of coding for interactive communications.

研究の動機と目的

• 敵対的誤りのもとでのインタラクティブ通信における最適誤り率を特定すること。
• 通信の順序が履歴に依存する適応的戦略が、非適応的方式を上回る誤り耐性を達成できるかどうかを調査すること。
• 共有ランダムネスとリストデコーディングの影響を分析し、きつい上界と下界を確立すること。
• 特に、適応的設定における最大許容誤り率に関する先行研究の未解決問題を解消すること。
• 内在的な誤り耐性が計算的・通信的複雑性の測度とは独立しているという仮説を形式化し、検証すること。

提案手法

• 通信の順序が相互作用の履歴と誤り推定に応じて適応する、適応的インタラクティブコーディングの形式的モデルを提唱する。
• 誤り検出と再送信を含む3ラウンドプロトコルである適応的交換ブロックを導入し、定数サイズのアルファベットと共有ランダムネスを用いる。
• チェルノフ不等式と確率的解析を用いて、敵対的破壊下での適応的交換ブロックにおける復号誤りの確率を上限付ける。
• 先行研究の技術（例：[10], [5]）を応用し、検出された破壊と消去を、半分の破壊と同等とみなす。
• 効率的にデコード可能なツリーコードを活用して、多項式時間計算と定数通信レートを達成する適応的コーディング方式を構築する。
• 不変性の議論と対称性に基づく推論を用いて不可能性結果を導出し、元の2/7の主張に欠陥が発覚した後、正しくは1/3の境界であると修正する。

実験結果

リサーチクエスチョン

• RQ1 適応的戦略は、非適応的方式の1/4という上限を超えて、インタラクティブコーディングにおける最大許容誤り率を向上させられるか？
• RQ2 標準誤りに対する適応的コーディングにおける誤り率のきつい上界は何か？ また、これは効率的な計算で達成可能か？
• RQ3 共有ランダムネスがある場合、適応的プロトコルにおける最大許容誤り率はどのように変化するか？ また、その境界は、きつい不可能性結果と一致するか？
• RQ4 リストデコーダブルなインタラクティブ通信における最適誤り率は何か？ また、この設定では適応的戦略に利点があるか？
• RQ5 適応的メッセージ交換問題における2/7の不可能性境界は正当であるか？ それとも、誤った対称性の仮定に依存しているのか？

主な発見

• 適応的コーディングは、標準誤りの場合、2/7未満の誤り率を許容でき、それに一致する不可能性結果（元の主張とは異なり、2/7ではなく1/3）が存在する。これは、元の証明に欠陥があったことの是正である。
• 共有ランダムネスがある場合、適応的戦略により誤り耐性が1/2から2/3に向上し、この境界はきつい。より高いレートでは不可能である。
• リストデコーダブルなインタラクティブ通信では、最大許容誤り率は1/2であり、適応的かどうかにかかわらず成り立つ。
• 元の主張である適応的メッセージ交換問題における2/7の不可能性境界は、証明における正当でない対称性の仮定に起因しており、正しくは1/3の境界である。
• 適応的交換ブロックでは、各ブロックで復号誤りが発生する確率は最大3δであり、高確率で両当事者が正しく復号できる。これは、最大1回の送信が破壊された場合に成立する。
• 適応的交換ブロックと既存の誤り耐性シミュレーション技術を組み合わせることで、定数通信レートと多項式時間計算を達成するロバストな適応的プロトコルを構築した。失敗確率は2^−Ω(n)である。