[論文レビュー] Improved Soundness for QMA with Multiple Provers

Alessandro Chiesa, Michael A. Forbes|arXiv (Cornell University)|Aug 10, 2011

Cryptography and Data Security参考文献 21被引用数 6

ひとこと要約

本稿は、PCP構成に依存せずに、NP完全問題に対する2プローバー量子メルリンク・アーティスト（QMA）プロトコルの健全性解析を改善し、Ω(N⁻²)の最適な健全性ギャップを達成した。さらに、κプローバーへの一般化により、κ ∈ Ω(log N)のとき、健全性がΩ(κ²N⁻¹)となる滑らかなトレードオフを実現し、PCPに基づく構成による部分線形マルチプローバーQMAプロトコルに関する未解決問題を解決した。

ABSTRACT

We present three contributions to the understanding of QMA with multiple provers: 1) We give a tight soundness analysis of the protocol of [Blier and Tapp, ICQNM '09], yielding a soundness gap Omega(1/N^2). Our improvement is achieved without the use of an instance with a constant soundness gap (i.e., without using a PCP). 2) We give a tight soundness analysis of the protocol of [Chen and Drucker, ArXiV '10], thereby improving their result from a monolithic protocol where Theta(sqrt(N)) provers are needed in order to have any soundness gap, to a protocol with a smooth trade-off between the number of provers k and a soundness gap Omega(k^2/N), as long as k>=Omega(log N). (And, when k=Theta(sqrt(N)), we recover the original parameters of Chen and Drucker.) 3) We make progress towards an open question of [Aaronson et al., ToC '09] about what kinds of NP-complete problems are amenable to sublinear multiple-prover QMA protocols, by observing that a large class of such examples can easily be derived from results already in the PCP literature - namely, at least the languages recognized by a non-deterministic RAMs in quasilinear time.

研究の動機と目的

• PCP構成を用いずに、2CSPに対するBlier-Tapp QMAプロトコルの健全性ギャップを改善すること。
• Chen-Druckerプロトコルのタイトな健全性解析を提供し、プローバー数κと健全性ギャップの間の滑らかなトレードオフを可能にすること。
• PCPに基づく構成を用いて、部分線形マルチプローバーQMAプロトコルに関する未解決問題を解決すること。

提案手法

• 一様性とエッジ整合性テストに基づく新しい拒否確率の議論を用いて、Blier-Tappプロトコルを分析する。
• Chen-Druckerプロトコルの洗練された分析を適用し、ベル測定と積テストを活用して、κとNの観点から健全性を評価する。
• 未満たされるグラフからの着色に基づく還元を用いて、もつれのない状態が拒否される確率を制限する。
• 頂点レジスタ上の周辺状態が一様に近いかどうかを保証する一様性テストを導入し、健全性の強化を可能にする。
• エッジ整合性、色整合性、スワップテストの拒否確率を統合して、一貫した健全性下限を導出する。
• 古典的PCP文献の結果を活用し、準線形時間で非決定的RAMによって決定可能な言語が部分線形マルチプローバーQMAプロトコルを有することを示す。

実験結果

リサーチクエスチョン

• RQ1 PCP構成に依存せずに、Blier-Tappプロトコルの健全性ギャップを改善できるか？
• RQ2 Chen-Druckerプロトコルにおいて、プローバー数κと健全性ギャップの最適なトレードオフは何か？
• RQ3 どのNP完全問題がLOCC検証下で部分線形マルチプローバーQMAプロトコルに適しているか？
• RQ4 定数の健全性とO(√N)の総キュービット数を有する2プローバーQMAプロトコルについて、タイトな上界は存在するか？
• RQ5 PCPに基づく構成を用いて、部分線形マルチプローバーQMAプロトコルに適したNP完全問題の広範なクラスを導出できるか？

主な発見

• Blier-Tappプロトコルの健全性ギャップは、PCPの使用なしにΩ(N⁻²)に改善され、タイトな境界が達成された。
• Chen-Druckerプロトコルにおいて、プローバー数κ ∈ Ω(log N)のとき、健全性ギャップはΩ(κ²N⁻¹)である。κ ∈ Θ(√N)のとき、最適なスケーリングが達成される。
• κ = 2の場合、プロトコルはΩ(N⁻²)の健全性ギャップを達成し、改善されたBlier-Tappの結果と一致する。
• 本稿は、非決定的RAMによって準線形時間で決定可能なすべての言語が部分線形マルチプローバーQMAプロトコルを有することを示すことで、未解決問題を解決した。
• ベル測定のみを用い、エンタングルメント操作を避けることで、完全な完全性とΩ(κ²N⁻¹)の健全性ギャップを持つ新しいプロトコルを構築した。
• 解析により、Chen-Druckerプロトコルの健全性がタイトであることが確認され、同じ制約下ではさらなる改善は不可能であることが示された。