[논문 리뷰] Quantum soundness of the classical low individual degree test

Zhengfeng Ji, Anand Natarajan외 3명|arXiv (Cornell University)|2020. 09. 27.

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 결과 및 저개수도 테스트의 양자 안정성에 의존한 다른 연구들의 타당성이 복원된다.
• 분석은 상태에 의존하는 거리 측도, 프로젝티브 측정값 변환, 초입방체 그래프에서의 분산 통제를 활용한 저차수 테스트의 양자 안정성 증명을 위한 새로운 프레임워크를 제공한다.