[論文レビュー] A Note on Shared Randomness and Shared Entanglement in Communication

Dmitry Gavinsky|arXiv (Cornell University)|May 12, 2005

Quantum Computing Algorithms and Architecture参考文献 7被引用数 3

ひとこと要約

この論文は、1ラウンドの量子および古典的通信モデルにおける共有もつれと共有ランダムネスの相対的なパワーを調査する。本論文は、同時量子メッセージパッシングモデルにおいて共有もつれを用いて正確に解ける関係 MHMₙ を構築するが、同じモデルにおいて共有ランダムネスを用いては、正確にすら、0エラー設定ですらも、効率的に解くことはできない。これはもつれが計算的優位性を提供することを強く示唆する。さらに、ヤオのシミュレーション結果を共有ランダムネスを用いた1方向古典プロトコルへ一般化し、このようなプロトコルが同時量子モデルで効率的にシミュレートできることを示す。

ABSTRACT

We consider several models of 1-round classical and quantum communication, some of these models have not been defined before. We "almost separate" the models of simultaneous quantum message passing with shared entanglement and the model of simultaneous quantum message passing with shared randomness. We define a relation which can be efficiently exactly solved in the first model but cannot be solved efficiently, either exactly or in 0-error setup in the second model. In fact, our relation is exactly solvable even in a more restricted model of simultaneous classical message passing with shared entanglement. As our second contribution we strengthen a result by Yao that a "very short" protocol from the model of simultaneous classical message passing with shared randomness can be simulated in the model of simultaneous quantum message passing: for a boolean function f, QII(f) \in exp(O(RIIp(f))) log n. We show a similar result for protocols from a (stronger) model of 1-way classical message passing with shared randomness: QII(f) \in exp(O(RIp(f))) log n. We demonstrate a problem whose efficient solution in the model of simultaneous quantum message passing follows from our result but not from Yao's.

研究の動機と目的

• 共有もつれと共有ランダムネスの相対的パワーを、特に古典的通信にもつれを組み込む、または量子通信に共有ランダムネスを組み込むといった非標準的な設定を含めた1ラウンド通信モデルにおいて調査すること。
• 共有もつれを用いた同時量子メッセージパッシングモデルで、効率的かつ正確に解ける具体的な関係 MHMₙ を構築すること。この関係は、同じモデルにおいて共有ランダムネスを用いては、効率的に解けない、0エラー設定でさえも。
• 短い古典的プロトコルが共有ランダムネスを用いて実行可能であることを示すヤオのシミュレーション結果を、より強いモデル、すなわち1方向古典通信に共有ランダムネスを組み込んだモデルへ拡張すること。
• 新しいシミュレーション境界が、ヤオの元来の結果ではカバーされない問題を捉えていることを示すことにより、技術のより広範な適用可能性を示すこと。

提案手法

• 著者らは、同時量子メッセージパッシングモデルにおいてもつれの非局所的相関を活用することを目的とした新しい通信関係 MHMₙ を定義する。
• MHMₙ が共有もつれを用いたモデル R∥ₑ（同時古典的メッセージに共有もつれを組み込んだモデル）で正確に解けることを証明する。これは、共有もつれを用いた量子モデルよりも制限の厳しい設定である。
• MHMₙ が共有ランダムネスを用いたモデル Q∥_p（同時量子メッセージに共有ランダムネスを組み込んだモデル）で、0エラー設定ですらも効率的に解けないことを、古典的ランダムネスがもつれに基づく相関をシミュレートする際の限界を分析することで示す。
• ヤオのシミュレーション技法を一般化し、任意のコスト R¹_p(f) の1方向古典プロトコル（共有ランダムネスを用いる）が、コスト 2^{O(R¹_p(f))} · log n で同時量子モデルでシミュレート可能であることを証明する。
• 量子トランスポートと共有ランダムネスの構造を用いて、R¹_e（1方向古典通信に共有もつれを組み込んだモデル）におけるプロトコルが、Q¹_e（1方向量子通信に共有もつれを組み込んだモデル）における量子プロトコルによってシミュレート可能であることを示し、モデルの同等性を確立する。
• 著者らは、新しいシミュレーション境界から導かれる効率的な量子解法がヤオの元来の結果からは導けない通信問題を提示し、一般化されたシミュレーション技法の強力さを強調する。

実験結果

リサーチクエスチョン

• RQ1 量子通信チャネルを用いても、共有もつれが共有ランダムネスよりも1ラウンド通信において計算的優位性を提供できるか？
• RQ2 同じ同時量子メッセージパッシングモデルにおいて、共有もつれを用いて正確に解けるが、共有ランダムネスでは解けない関係が存在するか？
• RQ3 共有ランダムネスを用いた古典的プロトコルが量子プロトコルにシミュレート可能であるというヤオの結果は、より強いモデル、すなわち1方向古典通信に共有ランダムネスを組み込んだモデルへ拡張可能か？
• RQ4 新しいシミュレーション境界は、ヤオの元来のフレームワークではシミュレート不可能だった問題を捉えているか？

主な発見

• 関係 MHMₙ は、共有もつれを用いたモデル R∥_e（同時古典的メッセージに共有もつれを組み込んだモデル）で正確に解ける。これは、Q∥_e よりも制限の厳しい設定であるため、この文脈においてもつれのパワーを示している。
• MHMₙ は、共有ランダムネスを用いたモデル Q∥_p（同時量子メッセージに共有ランダムネスを組み込んだモデル）で、0エラー設定ですらも効率的に解けない。これは、共有ランダムネスがもつれに基づくプロトコルをシミュレートするのに不十分である可能性を示唆する。
• 著者らは新しいシミュレーション境界を確立した：任意のブール関数 f に対して、Q∥(f) ∈ 2^{O(R¹_p(f))} · log n。これはヤオの結果を同時モデルから1方向古典プロトコル（共有ランダムネスを用いる）へ一般化したものである。
• この新しい境界は、ヤオの元来の結果からは導けない問題を捉えており、一般化されたシミュレーション技法のより広範な適用可能性を示している。
• 1ラウンド量子モデルにおいてコストが定数の共有ランダムネスプロトコルは、一般化されたシミュレーション結果から、同時量子モデルで効率的にシミュレート可能である。
• 本論文は、共有もつれが1ラウンド通信において共有ランダムネスよりも優位である強力な証拠を提供している。なぜなら、共有ランダムネスでは、0エラー設定ですらも解けない問題をもつれが解けるからである。