[论文解读] 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 的關鍵結果無效。
• 確立雙對手低個別次數測試的量子正確性，確保高機率獲勝策略必須對應於低個別次數多項式。
• 提供低個別次數測試的嚴謹量子正確性證明，使其可重複應用於量子複雜度理論與非局域遊戲。
• 恢復依賴於先前 flawed 分析的 MIP* = RE 及相關研究結果的有效性。

提出的方法

• 作者將低個別次數測試分析為一個雙證明者量子遊戲，其中證明者針對有限體中的點與軸平行線回應查詢。
• 他們引入一種與狀態相關的距離度量，以比較量子測量，並推導出重疊查詢上測量之間的一致性關係。
• 一個關鍵技術步驟是使用 Naimark 放大與正交化引理，將一般測量轉換為投影測量，而不損失一致性。
• 證明使用測量運算元結構的歸納法，並結合自我改進與拼接技術，以強制實現全局一致性與交換性。
• 作者分析超立方體圖中的變異數，以控制錯誤累積，並應用 Chernoff 不等式來限制偏離預期行為的機率。
• 他們構造了一個拼接的測量運算元，將局部測量結合為一個全局一致的測量，確保整體策略接近於低個別次數多項式。

实验结果

研究问题

• RQ1 即使原始證明存在缺陷，雙對手低個別次數測試是否仍對量子證明者具有正確性？
• RQ2 何種條件可確保以高機率獲勝的量子證明者策略必須與低個別次數多項式一致？
• RQ3 在量子設定中，如何強制實現測量的一致性與交換性，以模擬經典低次多項式行為？
• RQ4 能否使用投影測量與與狀態相關的距離度量，重新建立低個別次數測試的正確性？
• RQ5 修正後的證明是否恢復了 MIP* = RE 結果及其他複雜度理論界線的有效性？

主要发现

• 雙對手低個別次數測試具有量子正確性：任何以至少 1−ε 機率獲勝的量子證明者策略，必須與低個別次數多項式一致。
• 正確性界是定量緊緻的，錯誤隨查詢次數 k 呈指數衰減，具體為 exp(−θ²k/2)，其中 θ = 1/(200m)。
• 測試的完整性至少為 1 − κ(1 + 1/(100m)) − ν − exp(−k/(80000m²))，顯示誠實策略以高機率成功。
• 證明建立了測量運算元強大的自一致性與交換性，這是在量子設定中模擬經典多項式行為的必要條件。
• 該結果恢復了 MIP* = RE 結果及其他依賴於低個別次數測試量子正確性的研究結果的有效性。
• 分析提供了一套新框架，用於使用與狀態相關的距離度量、投影測量轉換與超立方體圖中的變異數控制，來證明低次多項式測試的量子正確性。