[論文レビュー] Quantum soundness of the classical low individual degree test

Zhengfeng Ji, Anand Natarajan+3 more|arXiv (Cornell University)|Sep 27, 2020

Quantum Information and Cryptography参考文献 23被引用数 12

ひとこと要約

この論文は、量子複雑性理論の重要な要素である二プレーヤー低個別次数テストの量子健全性を確立する。著者らは、量子プローバーが高確率でだましに成功するためには、その応答が低個別次数多項式に対応している必要があることを証明することで、MIP* = RE および関連する非局所ゲーム解析における基礎的結果の有効性を回復し、先行研究における重大な誤りを是正する。

ABSTRACT

Low degree tests play an important role in classical complexity theory, serving as basic ingredients in foundational results such as $\mathsf{MIP} = \mathsf{NEXP}$ [BFL91] and the PCP theorem [AS98,ALM+98]. Over the last ten years, versions of these tests which are sound against quantum provers have found increasing applications to the study of nonlocal games and the complexity class~$\mathsf{MIP}^*$. The culmination of this line of work is the result $\mathsf{MIP}^* = \mathsf{RE}$ [arXiv:2001.04383]. One of the key ingredients in the first reported proof of $\mathsf{MIP}^* = \mathsf{RE}$ is a two-prover variant of the low degree test, initially shown to be sound against multiple quantum provers in [arXiv:1302.1242]. Unfortunately a mistake was recently discovered in the latter result, invalidating the main result of [arXiv:1302.1242] as well as its use in subsequent works, including [arXiv:2001.04383]. We analyze a variant of the low degree test called the low individual degree test. Our main result is that the two-player version of this test is sound against quantum provers. This soundness result is sufficient to re-derive several bounds on~$\mathsf{MIP}^*$ that relied on [arXiv:1302.1242], including $\mathsf{MIP}^* = \mathsf{RE}$.

研究の動機と目的

• 低個別次数テストの量子健全性に関する先行研究における重大な誤りを是正することにより、MIP* = RE における鍵となる結果を無効にしていた問題を解消すること。
• 二プレーヤー低個別次数テストの量子健全性を確立し、高確率で勝利する戦略が必ず低個別次数多項式に対応することを保証すること。
• 低個別次数テストの厳密な量子健全性証明を提供し、量子複雑性理論および非局所ゲームにおける再利用を可能にすること。
• MIP* = RE および関連する研究で、誤った先行解析に依存していた結果の有効性を回復すること。

提案手法

• 著者らは、有限体上の点および軸に平行な直線に関するクエリに応答する二プレーヤー量子ゲームとして低個別次数テストを分析する。
• 量子測定の比較に状態依存距離を導入し、重複するクエリにおける測定の整合性関係を導出する。
• 主要な技術的ステップとして、一般測定を一様化せずに整合性を保ちつつ射影測定に変換するため、Naimark拡張と正規直交化補題を用いる。
• 測定演算子の構造に関する帰納法を用い、自己改善および貼り合わせ技術を用いて、グローバルな整合性と可換性を強制する。
• ハイパーキューブグラフにおける分散を分析し、誤差の蓄積を制御し、Chernoff 界を用いて期待値からの逸脱確率を上限付ける。
• 局所測定を統合してグローバルに整合性を持つ測定にしたがって貼り合わせた測定演算子を構築し、全体の戦略が低個別次数多項式に近いことを保証する。

実験結果

リサーチクエスチョン

• RQ1 元の証明が誤りを含んでいたとしても、二プレーヤー低個別次数テストは量子プローバーに対して健全であるか？
• RQ2 高確率で勝利する量子プローバー戦略が、必ず低個別次数多項式に対応するための条件は何か？
• RQ3 量子設定において測定の整合性と可換性をどのように強制し、古典的低次多項式挙動を模倣できるか？
• RQ4 射影測定への変換と状態依存距離を用いることで、低個別次数テストの健全性を再確立できるか？
• RQ5 是正された証明により、MIP* = RE 結果および関連する複雑性理論的境界の有効性が回復されるか？

主な発見

• 二プレーヤー低個別次数テストは量子健全性を有する：任意の量子プローバー戦略が確率 1−ε 以上で勝利するためには、低個別次数多項式に対応している必要がある。
• 健全性の境界は定量的にタイトであり、誤差はクエリ数 k に関して指数関数的に減少し、具体的には θ = 1/(200m) のもとで exp(−θ²k/2) の形を取る。
• テストの完全性は 1 − κ(1 + 1/(100m)) − ν − exp(−k/(80000m²)) 以上であり、誠実な戦略が高確率で成功することを示している。
• 測定演算子の強い自己整合性と可換性が証明されており、これは量子設定において古典的多項式挙動を模倣するために不可欠である。
• この結果により、MIP* = RE 結果および低個別次数テストの量子健全性に依存していた他の研究の有効性が回復された。
• 本分析は、状態依存距離、射影測定への変換、ハイパーキューブグラフにおける分散制御を用いた、低次多項式テストの量子健全性を証明する新しい枠組みを提供している。