[論文レビュー] Round Elimination in Exact Communication Complexity

Jop Briët, Harry Buhrman+3 more|arXiv (Cornell University)|Jan 1, 2015

Complexity and Algorithms in Graphs参考文献 28被引用数 10

ひとこと要約

本稿は、正確な通信複雑性におけるラウンド削減を調査し、プロンプト等価問題に対する古典的プロトコルは常に1ラウンドプロトコルに簡略化可能であるのに対し、量子プロトコルでは根本的な非対称性を示す：特定の問題では1ラウンドと2ラウンドの量子複雑性の間に指数的ギャップが存在する。著者らは直交ランクに基づく量子彩色数の階層を導入し、リスト問題において量子設定ではラウンド削減が失敗することを示し、古典的直観に挑戦する。

ABSTRACT

We study two basic graph parameters, the chromatic number and the orthogonal rank, in the context of classical and quantum exact communication complexity. In particular, we consider two types of communication problems that we call promise equality and list problems. For both of these, it was already known that the one-round classical and one-round quantum complexities are characterized by the chromatic number and orthogonal rank of a certain graph, respectively. In a promise equality problem, Alice and Bob must decide if their inputs are equal or not. We prove that classical protocols for such problems can always be reduced to one-round protocols with no extra communication. In contrast, we give an explicit instance of a promise problem that exhibits an exponential gap between the one- and two-round exact quantum communication complexities. Whereas the chromatic number thus captures the complete complexity of promise equality problems, the hierarchy of "quantum chromatic numbers" (starting with the orthogonal rank) giving the quantum communication complexity for every fixed number of communication rounds thus turns out to enjoy a much richer structure. In a list problem, Bob gets a subset of some finite universe, Alice gets an element from Bob's subset, and their goal is for Bob to learn which element Alice was given. The best general lower bound (due to Orlitsky) and upper bound (due to Naor, Orlitsky, and Shor) on the classical communication complexity of such problems differ only by a constant factor. We exhibit an example showing that, somewhat surprisingly, the four-round protocol used in the bound of Naor et al. can in fact be optimal. Finally, we pose a conjecture on the orthogonality rank of a certain graph whose truth would imply an intriguing impossibility of round elimination in quantum protocols for list problems, something that works trivially in the classical case.

研究の動機と目的

• 通信ラウンドの役割が正確な古典的および量子通信複雑性に与える影響を理解すること。
• 特に古典的状況では自明であるが、量子プロトコルにおいてはラウンド削減が可能かどうかを分析すること。
• 彩色数や直交ランクなどのグラフパラメータを用いて、プロンプト等価問題およびリスト問題の通信複雑性を特徴付けること。
• 量子ラウンド複雑性およびエンタングルメント支援プロトコルに関する未解決の問いを解消すること。
• 明示的な例を構築することで、量子通信におけるラウンド簡略化の限界を調査し、最適なマルチラウンドプロトコルを示すこと。

提案手法

• 正確（決定的）プロトコルを用いた通信複雑性を研究するため、プロンプト等価問題およびリスト問題をフレームワークとして用いる。
• 1ラウンド古典的通信複雑性を特徴付けるために彩色数 χ(G) を適用し、1ラウンド量子複雑性に対して直交ランク ξ(G) を用いる。
• ユニタリ操作および量子状態準備を用いて特定のプロンプト等価問題を構築し、O(log n) 量子ビットを用いた2ラウンド量子プロトコルを達成する。
• 量子フーリエ変換および制御位相ゲート (Uz) を用いて、入力の差を符号化する直交状態を生成する。
• エンタングルメントとトランスポートを用いて量子通信を古典ビットでシミュレートし、わずか ⌈log n⌉ + 3 古典ビットで2ラウンドのエンタングルメント支援プロトコルを実現することを示す。
• 非信号相関を用いて、共有非信号資源があるとリスト問題が自明になることを示し、⌈log ω(L)⌉ ビットの最適通信が達成可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 プロンプト等価問題に対する古典的プロトコルは、通信コストを増加させることなく、常に1ラウンドプロトコルに簡略化可能か？
• RQ2 プロンプト等価問題において、1ラウンドと2ラウンドの正確な量子通信複雑性の間に指数的ギャップが存在するか？
• RQ3 リスト問題において、古典的状況と同様に量子プロトコルでもラウンド削減が成立するか？
• RQ4 直交ランク階層は、リスト問題のrラウンド量子プロトコルの複雑さを完全に捉えられるか？
• RQ5 リスト問題におけるエンタングルメント支援および非信号プロトコルの最適通信コストは何か？

主な発見

• プロンプト等価問題において、古典的通信複雑性は彩色数によって完全に特徴付けられ、1ラウンドプロトコルが最適である。したがって、ラウンド削減は不要である。
• 明示的なプロンプト等価問題において、指数的ギャップが存在する：1ラウンド量子複雑性は Ω(n) であるが、2ラウンドプロトコルでは O(log n) 量子ビットで十分である。
• 量子彩色数階層は非冗長である：高ラウンドプロトコルは1ラウンドプロトコルよりも指数的に効率的であることがある。
• K-リスト問題 (K = ∪_{d=n/2}^n L_d) において、2ラウンドのエンタングルメント支援プロトコルはわずか ⌈log n⌉ + 3 古典ビットで実現可能であり、標準的量子通信を凌駆する効率性を示している。
• 非信号相関により、すべてのリスト問題は自明になる：⌈log ω(L)⌉ ビットの1ラウンドプロトコルが最適かつ十分である。
• 本稿では、真であれば量子プロトコルにおけるリスト問題のラウンド削減が不可能であることを示唆する予想を提示している。これは古典的状況とは対照的である。