[論文レビュー] Quantum Distributed Network Computing: Lower Bounds and Techniques

Michael Elkin, Hartmut Klauck+2 more|arXiv (Cornell University)|Jul 22, 2012

Cryptography and Data Security参考文献 63被引用数 5

ひとこと要約

この論文は、最小全域木、最小カット、最短経路などの基本的問題に対する分散ネットワークアルゴリズムを、量子通信が高速化できるかどうかを調査する。サーバー・モデルと量子シミュレーション定理を導入し、古典的通信複雑性の下界を量子分散設定に拡張することで、これらの問題において、量子通信が著しい高速化を提供しないことを証明している。ハミルトニアンサイクルやスパニングツリーの検証タスクでさえも同様である。

ABSTRACT

The focus of this paper is on {\em quantum distributed} computation, where we investigate whether quantum communication can help in {\em speeding up} distributed network algorithms. Our main result is that for certain fundamental network problems such as minimum spanning tree, minimum cut, and shortest paths, quantum communication {\em does not} help in substantially speeding up distributed algorithms for these problems compared to the classical setting. In order to obtain this result, we extend the technique of Das Sarma et al. [SICOMP 2012] to obtain a uniform approach to prove non-trivial lower bounds for quantum distributed algorithms for several graph optimization (both exact and approximate versions) as well as verification problems, some of which are new even in the classical setting, e.g. tight randomized lower bounds for Hamiltonian cycle and spanning tree verification, answering an open problem of Das Sarma et al., and a lower bound in terms of the weight aspect ratio, matching the upper bounds of Elkin [STOC 2004]. Our approach introduces the {\em Server model} and {\em Quantum Simulation Theorem} which together provide a connection between distributed algorithms and communication complexity. The Server model is the standard two-party communication complexity model augmented with additional power; yet, most of the hardness in the two-party model is carried over to this new model. The Quantum Simulation Theorem carries this hardness further to quantum distributed computing. Our techniques, except the proof of the hardness in the Server model, require very little knowledge in quantum computing, and this can help overcoming a usual impediment in proving bounds on quantum distributed algorithms.

研究の動機と目的

• 量子通信が、最小全域木や最短経路などの基本的グラフ問題に対する分散ネットワークアルゴリズムを著しく高速化できるかどうかを特定すること。
• 古典的通信複雑性を拡張する、量子分散計算における下界を証明する一般化されたフレームワークを構築すること。
• ハミルトニアンサイクルやスパニングツリーの検証といった、古典的分散計算における未解決問題、たとえばタイトな確率的下界を解明すること。
• サーバー・モデルと量子シミュレーションを用いて、分散アルゴリズムと通信複雑性の間に接続を確立すること。
• 量子計算の専門知識に依存を最小限に抑えることにより、非専門家にも核心的な技術がアクセス可能になるようにすること。

提案手法

• 追加の計算能力を備えた二者間通信複雑性モデルとしてのサーバー・モデルを導入し、より強力な設定においても古典的難易度を保持すること。
• 量子シミュレーション定理を開発し、サーバー・モデルからの下界を量子分散アルゴリズムに移転すること。
• サーバー・モデルを用いて、ハミルトニアンサイクルやスパニングツリー検証などの問題における古典的下界を証明し、未解決の問題を解決すること。
• 量子シミュレーション定理を適用して、これらの古典的下界を量子分散設定に拡張すること。
• 量子計算の知識を最小限に抑え、分散計算分野の研究者にとって広くアクセス可能になるようにすること。
• 既存の古典的下界技術を活用し、新たな理論的枠組みを通じてそれらを量子設定に適応すること。

実験結果

リサーチクエスチョン

• RQ1 量子通信は、最小全域木や最短経路といった基本的ネットワーク問題に対する分散アルゴリズムを著しく高速化できるか？
• RQ2 ハミルトニアンサイクルやスパニングツリーの検証といった古典的検証問題におけるタイトな確率的下界は何か？
• RQ3 重みの比が分散グラフ問題の複雑さにどのように影響するか。また、下界が既存の上界と一致するか？
• RQ4 サーバー・モデルは、より強力な設定においても古典的通信複雑性の難易度をどの程度保持するか？
• RQ5 量子シミュレーション定理は、深く量子計算の知識を持たずに、古典的下界を量子分散アルゴリズムに移転できるか？

主な発見

• 量子通信は、最小全域木、最小カット、最短経路問題を解く分散アルゴリズムに対して、著しい高速化を提供しない。
• 本論文は、ハミルトニアンサイクルとスパニングツリー検証のタイトな確率的下界を確立し、Das Sarmaらが提起した未解決問題を解決した。
• 重みの比に関する下界を証明し、Elkin（STOC 2004）の上界と一致させることで、このパラメータにおける最適性を示した。
• サーバー・モデルは、古典的難易度を効果的に保持しており、古典的設定ですら新たな下界を導出可能である。
• 量子シミュレーション定理により、古典的下界を量子分散アルゴリズムに移転可能であり、量子下界解析の一般化された手法を提供する。
• 提案されたフレームワークは、量子計算の専門知識を最小限に抑え、量子専門知識のない研究者にもアクセス可能である。