[論文レビュー] On rounds in quantum communication

Hartmut Klauck|ArXiv.org|Apr 26, 2000

Quantum Computing Algorithms and Architecture参考文献 28被引用数 4

ひとこと要約

この論文は、ポインタジャンプ関数における量子通信のラウンド-通信階層を確立し、ボブが通信を開始する場合、任意の定数 $k$ に対して $k$-ラウンド量子プロトコルが $ olimits(n)$ 通信を必要とするという下界を証明している。本論文は、相対フォン・ノイマンエントロピーとトレース距離に基づく新しい情報測度を導入し、この下界を導出している。さらに、$k$-ラウンド量子プロトコルが集合の素性問題に対しては、定数 $k$ に対して $ olimits(n^{1/k})$ 通信を必要とすることが示され、ラウンド複雑度において顕著な量子的優位性が裏付けられている。

ABSTRACT

We investigate the power of interaction in two player quantum communication protocols. Our main result is a rounds-communication hierarchy for the pointer jumping function $f_k$. We show that $f_k$ needs quantum communication $Ω(n)$ if Bob starts the communication and the number of rounds is limited to $k$ (for any constant $k$). Trivially, if Alice starts, $O(k\log n)$ communication in $k$ rounds suffices. The lower bound employs a result relating the relative von Neumann entropy between density matrices to their trace distance and uses a new measure of information. We also describe a classical probabilistic $k$ round protocol with communication $O(n/k\cdot(\log^{(k/2)}n+\log k)+k\log n)$ in which Bob starts the communication. Furthermore as a consequence of the lower bound for pointer jumping we show that any $k$ round quantum protocol for the disjointness problem needs communication $Ω(n^{1/k})$ for $k=O(1)$.

研究の動機と目的

• 双方向量子通信プロトコルにおける相互作用の能力を調査すること。
• 量子設定下でのポインタジャンプ関数 $f_k$ におけるラウンド-通信階層を確立すること。
• 通信順序（誰が先に通信するか）が量子プロトコルの効率に与える影響を分析すること。
• ラウンド数が制限された条件下での量子通信複雑度の下界を導出すること。
• これらの結果を集合の素性問題に拡張し、$k$-ラウンドプロトコルに対して $\Omega(n^{1/k})$ の通信下界を示すこと。

提案手法

• 相対フォン・ノイマンエントロピーとトレース距離に基づく、量子情報の新しい測度を導入し、プレイヤー間の情報フローを定量化する。
• アラキ＝リーブの不等式とトレース距離の境界を用いて、相互情報量と密度行列間の情報的距離を関連付ける。
• ラウンドごとの情報的距離の再帰的解析を適用し、ボブのメッセージがアリスのシステムと次のポインタとの間の情報的距離を減少させることを示す。
• ポインタジャンプから集合の素性問題への還元を用いて、後者に対する下界を導出する。
• グローバーの探索とスーパードンスコーディングを用いて、古典的および量子プロトコルの上界を構築する。
• ボブが先に通信する場合、確率的古典的 $k$-ラウンドプロトコルが $O(n/k \cdot (\log^{(k/2)}n + \log k) + k\log n)$ の通信量を達成する。

実験結果

リサーチクエスチョン

• RQ1 ボブが通信を開始する場合、ポインタジャンプ関数の $k$-ラウンド量子プロトコルにおける通信複雑度は何か？
• RQ2 通信順序の選択（アリスが先かボブが先か）が量子通信複雑度に与える影響は何か？
• RQ3 相対エントロピーとトレース距離に基づく新しい情報理論的測度が、量子通信におけるより強い下界をもたらすことができるか？
• RQ4 定数 $k$ に対して、集合の素性問題の $k$-ラウンド量子通信複雑度は何か？
• RQ5 ポインタジャンプおよび集合の素性問題において、量子プロトコルは古典的プロトコルと比較して通信量およびラウンド複雑度の点でどのように異なるか？

主な発見

• ポインタジャンプ関数 $f_k$ に対して、ボブが通信を開始する任意の $k$-ラウンド量子プロトコルは、任意の定数 $k$ に対して $\Omega(n)$ 通信を必要とし、強いラウンド-通信階層が確立された。
• アリスが通信を開始する場合、$k$ ラウンドで $O(k\log n)$ 通信で十分であり、通信コストの顕著な非対称性が示された。
• ボブが先に通信する場合、ポインタジャンプの確率的古典的 $k$-ラウンドプロトコルは、通信量 $O(n/k \cdot (\log^{(k/2)}n + \log k) + k\log n)$ を達成し、既知の古典的下界に非常に近い。
• 本論文は、定数 $k$ に対して、集合の素性問題の $k$-ラウンド量子プロトコルが $\Omega(n^{1/k})$ 通信を必要とするという下界を証明した。この結果により、基本的な問題への下界が拡張された。
• 相対フォン・ノイマンエントロピーとトレース距離に基づく新しい情報測度により、ラウンド間の情報フローのタイトな境界が得られ、標準的な相互情報量の限界を克服した。
• ポインタジャンプから集合の素性問題への還元により、公開コインを用いても $k$-ラウンド制約下で $\Omega(n^{1/k})$ の下界が成立することが確認された。