[論文レビュー] Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

Jing Chen, Andrew Drucker|arXiv (Cornell University)|Nov 2, 2010

Quantum Information and Cryptography参考文献 14被引用数 19

ひとこと要約

本稿は、$\tilde{O}(\mathrm{poly}(\mathrm{poly}(m)))$ 個のメルリンを用いる3-SATのベルQMAプロトコルを提示する。各メルリンは$O(\log m)$量子ビットを送信し、完全性が$1 - \exp(-\Omega(\sqrt{m}))$、音響ギャップが定数となる。このプロトコルはエンタングルド測定を回避しており、従来の研究よりも分析が単純化されているが、証明長および音響パラメータは同等を維持している。

ABSTRACT

BellQMA protocols are a subclass of multi-prover quantum Merlin-Arthur protocols in which the verifier is restricted to perform nonadaptive,unentangled measurements on the quantum states received from each Merlin. In this paper, we prove that m-clause 3-SAT instances have BellQMA proofs of satisfiability with constant soundness gap, in which O(sqrt(m)polylog(m)) Merlins each send O(log m) qubits to Arthur. Our result answers a question of Aaronson et al., who gave a protocol with similar parameters that used entangled measurements; the analysis of our protocol is significantly simpler than that of Aaronson et al. Our result also complements recent work of Brandao, Christandl, and Yard, who showed upper bounds on the power of multiprover quantum proofs with unentangled but adaptive (LOCC) measurements.

研究の動機と目的

• エンタングルド測定が3-SATの短いマルチプローバー量子証明に必要かどうかを解明すること。
• 定数音響ギャップとサブラインアー証明長を備えた3-SATのベルQMAプロトコルを構築すること。
• エンタングルド（スワップテスト）測定に依存する従来のプロトコルの分析を大幅に単純化すること。
• 近年の$k$が増加する際のLOCCQMAおよびベルQMAに関する否定的結果を補完すること。
• NP完全問題のための効率的な量子証明系において、非エンタングルで非適応的測定が十分であることを示すこと。

提案手法

• Arthurに$\tilde{O}(\sqrt{m})$ 個の非エンタングルメルリンが、それぞれ$O(\log m)$量子ビット状態を送信するベルQMAプロトコルを設計する。
• $n$ 頂点と$m$ 個の節を持つ$d$-正則グラフに基づいて、頂点集合と辺制約の確率的構成を用いる。
• Arthurが重複する頂点集合における色分けの整合性を、独立的かつ非適応的測定を用いて検証する検証手順を定義する。
• 集中限界とチエビシェフの不等式を適用して、辺制約における違反がゼロとなる確率を抑え込む。
• グラフの拡張性と次数の上限を活用して、整合性のない割り当て下での違反節の期待値の下界を確立する。
• $\varepsilon < \eta/20$ および $d > 1$ を用いて、下界 $\mathbb{E}[V_{i,j}] \geq \varepsilon/n$ を導出し、有意な違反確率を保証する。

実験結果

リサーチクエスチョン

• RQ1 3-SATの短いマルチプローバー量子証明は、エンタングルド測定を回避しながら、定数音響ギャップとサブラインアー証明長を維持できるか？
• RQ2 ベルQMAモデルにおける効率的な証明系を達成するために、スワップテストやエンタングルド測定は必要か？
• RQ3 従来のプロトコルの分析を、同じ漸近的パラメータを維持したまま著しく単純化できるか？
• RQ4 非エンタングルで非適応的測定を用いるベルQMAプロトコルは、NP完全問題に対してどの程度の能力を持つか？
• RQ5 測定が非エンタングルかつ非適応的である制限のもとで、証明長は節の数$m$ に対してどのようにスケーリングするか？

主な発見

• プロトコルは完全性$1 - \exp(-\Omega(\sqrt{m}))$ および音響$1 - \Omega(1)$ を達成し、従来のプロトコルと同等の音響ギャップを維持する。
• メルリンの数は$\tilde{O}(\sqrt{m})$ であり、各々が$O(\log m)$量子ビットを送信するため、総証明長はサブラインアーとなる。
• プロトコルは完全にエンタングルド測定を回避しており、非エンタングルで非適応的測定に依存しており、分析が単純化されている。
• 違反節の期待値は$\Omega((m')^2 / n)$ で下界が保証され、高い検出確率が得られる。
• チエビシェフの不等式を用いて、$m' = \Theta(\sqrt{n})$ のとき$\Pr[V = 0] \leq 0.01$ を示し、高い確率で音響性を保証する。
• この結果は、ベルQMAモデルにおける3-SATの短い量子証明において、エンタングルド測定が本質的でないことを示唆する。