[論文レビュー] Quantum Communication Cannot Simulate a Public Coin

Dmitry Gavinsky, Julia Kempe+1 more|arXiv (Cornell University)|Nov 8, 2004

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

ひとこと要約

この論文は、量子同時メッセージ伝達（SMP）プロトコルが、古典的パブリックコインプロトコルを効率的にシミュレートできないことを示しており、2つのモデル間で初めて指数的分離を確立している。古典的パブリックコインプロトコルは O(log n) ビットで関係的ハミング距離問題を解けるが、量子プロトコルでは Ω(√n) ブラシを要する。これは、SMPモデルにおいてパブリックランダムネスを量子通信で効率的に置き換えられないことを示している。

ABSTRACT

We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large class of efficient classical public-coin protocols can be turned into efficient quantum protocols without public coin. This raises the question whether this can be done always, i.e. whether quantum communication can always replace a public coin in the SMP model. We answer this question in the negative, exhibiting a communication problem where classical communication with public coin is exponentially more efficient than quantum communication. Together with a separation in the other direction due to Bar-Yossef et al., this shows that the quantum SMP model is incomparable with the classical public-coin SMP model. In addition we give a characterization of the power of quantum fingerprinting by means of a connection to geometrical tools from machine learning, a quadratic improvement of Yao's simulation, and a nearly tight analysis of the Hamming distance problem from Yao's paper.

研究の動機と目的

• 量子通信が、同時メッセージ伝達（SMP）モデルにおいて、古典的パブリックコインプロトコルを効率的にシミュレートできるかどうかを明らかにすること。
• Yaoの2004年の量子フィンガープrintとパブリックコインシミュレーションに関する研究後に残された未解決問題を解消すること。
• 量子通信が古典的パブリックコイン通信よりも指数的に非効率になる具体的な関係的問題を確立すること。
• 量子フィンガープリントの限界を特定し、ハミング距離問題に対する量子プロトコルの境界を改善すること。

提案手法

• アリスが x ∈ {0,1}^n を持ち、ボブが y と s を持ち、|s| = n/2 である関係的問題を構築し、レフェリーは s_i = 1 を満たすある i に対して (i, x_i, y_i) を出力する必要がある。
• 誤差を低減した確率的等価性テストを用いて、古典的パブリックコインプロトコルが O(log n) ビットの通信量でこの問題を解けることを証明する。
• Nayakのブレシス要件に関する境界を活用し、量子ランダムアクセスコードへの還元により、量子下界として Ω(√n) ブラシを確立する。
• 量子フィンガープリント写像の線形性を用いて、フィンガープリント上のローカルビットフラップをシミュレートし、d ビットの差異に対して O(d(log n)^2) ブラシでハミング距離テストを実行可能であることを示す。
• Yaoのシミュレーションを改善し、c ビットのパブリックコインプロトコルが O(2^{2c}(c + log n)) ブラシでシミュレート可能であることを示し、従来の O(2^{4c} log n) の境界に比べて2乗の改善を達成する。
• 均一なハーフスペースの配置による幾何的配置として最適な量子フィンガープリントを特徴づけ、マージンに基づく学習ツールと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 SMPモデルにおける効率的な古典的パブリックコインプロトコルは、パブリックコインを一切使わない量子プロトコルによって効率的にシミュレート可能か？
• RQ2 量子SMP通信複雑性が古典的パブリックコイン複雑性よりも指数的に大きい関係的問題は存在するか？
• RQ3 差異がdビットに制限されたハミング距離問題における最適な量子通信コストは何か？
• RQ4 量子フィンガープリントは機械学習における幾何的マージン最大化とどのように関係するか？
• RQ5 指数的分離は、関係ではなくブール関数に対しても拡張可能か？

主な発見

• 古典的パブリックコインSMPプロトコルが O(log n) ビットの通信量で解ける関係的問題が存在する一方、任意の量子SMPプロトコルは Ω(√n) ブラシを要する。これは指数的分離を証明する。
• 無制限の事前エンタングルメントがあっても、量子下界 Ω(√n) ブラシが成立する。これは、この限界がエンタングルメント不足に起因するものではないことを示している。
• dビットの差異を持つハミング距離問題に対する量子プロトコルは O(d(log n)^2) ブラシを用い、1ウェイプロトコルの Ω(d) の下界と照らし合わせると、ほぼ最適である。
• 古典的cビットパブリックコインプロトコルのシミュレーションにおいて、2乗の改善が達成された：O(2^{2c}(c + log n)) ブラシで十分であり、Yaoの O(2^{4c} log n) の境界を改善した。
• 量子フィンガープリントは、均一なハーフスペースの配置として得られる最大マージンとして幾何的に特徴づけられ、量子通信と学習理論を結びつける。
• 本論文では、同様の指数的ギャップがブール関数に対しても存在するかは未解決のままだが、候補関数が提示されている。