[논문 리뷰] Two-player entangled games are NP-hard

Anand Natarajan, Thomas Vidick|arXiv (Cornell University)|2017. 10. 09.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 6

한 줄 요약

이 논문은 질문 길이가 로그 크기이고 답변 길이가 상수인 두 플레이어 양자 얽힌 게임의 최대 성공 확률을 상수 요인 이내로 근사하는 것이 NP-난이도임을 증명한다. 두 개의 얽힌 증인에 대한 Raz-Safra 저도 테스트의 향상된 분석을 통해, NEXP ⊆ MIP*가 세 명의 증인 대신 두 명의 증인만으로도 성립함을 입증함으로써, 핵심적인 복잡도 이론적 질문을 해결한다.

ABSTRACT

We show that the maximum success probability of players sharing quantum entanglement in a two-player game with classical questions of logarithmic length and classical answers of constant length is NP-hard to approximate to within constant factors. As a corollary, the inclusion $\mathrm{NEXP}\subseteq\mathrm{MIP}^*$, first shown in [IV12] with three provers, holds with two provers only. The proof is based on a simpler, improved analysis of the low-degree test Raz and Safra (STOC'97) against two entangled provers.

연구 동기 및 목표

• 제한된 고전적 통신을 가진 두 플레이어 비국소 게임에서 양자 우월성의 계산 난이도를 규명하는 것.
• 특히 MIP* 복잡도 클래스와 관련하여 두 얽힌 증인이 가진 능력의 이해 격차를 해소하는 것.
• 특히 두 얽힌 증인에 대해 양자 얽힘의 맥락에서 저도 테스트의 이전 분석을 향상시키는 것.
• NEXP ⊆ MIP*가 세 명의 증인 대신 두 명의 증인만으로도 성립함을 보이는 것. 이는 이전 결과가 세 명의 증인이 필요로 했음을 확장하는 것이다.

제안 방법

• 두 증인과 얽힌 환경에서 사용하기 위해 Raz-Safra 저도 테스트를 재편하고 재분석하며, 양자 전략에 대한 타당성에 중점을 둔다.
• 이전 접근 방식보다 더 엄격하게 얽힌 증인의 성공 확률을 제한하는 보다 정교한 분석 기법을 도입한다.
• 양자 얽힘과 비국소 상관관계의 성질을 활용하여, 양자 증인들이 고전적 증거 체계를 시뮬레이션할 수 있음을 활용한다.
• 향상된 타당성 한계를 사용하여, NEXP에 속하는 모든 언어가 완전성은 1이고 타당성 한계는 1에서 멀리 떨어져 있는 두 증인 양자 상호작용 증거 체계를 가짐을 보인다.
• 최대 성공 확률 근사 문제를 알려진 NP-난이도 문제로 감소시켜, 근사 난이도를 입증한다.

실험 결과

연구 질문

• RQ1 질문 길이가 로그 크기이고 답변 길이가 상수인 두 플레이어 얽힌 게임의 최대 성공 확률을 상수 요인 이내로 근사하는 것은 NP-난이도인가?
• RQ2 세 명의 증인이 아닌 두 명의 얽힌 증인만으로도 NEXP ⊆ MIP*를 확립할 수 있는가?
• RQ3 두 증인에 대해 양자 얽힘의 영향을 고려한 상황에서 Raz-Safra 저도 테스트를 타당하게 분석할 수 있는가?
• RQ4 두 증인 버전의 저도 테스트에서 얽힌 증인의 성공 확률에 대한 가장 날카로운 상한은 무엇인가?

주요 결과

• 질문 길이가 로그 크기이고 답변 길이가 상수인 두 플레이어 얽힌 게임의 최대 성공 확률은 어떤 상수 요인 이내로 근사하는 것이 NP-난이도이다.
• 두 얽힌 증인에 대한 Raz-Safra 저도 테스트의 향상된 분석은 타당성 한계를 확보하여, 두 증인만으로도 NEXP ⊆ MIP*를 증명할 수 있게 한다.
• 결과적으로 두 얽힌 증인이 MIP*의 전체 능력을 달성하는 데 충분함을 확인하여, 양자 복잡도 이론에서 핵심적인 열린 질문을 해결한다.
• 기존 접근 방식에 비해 더 강력하고 단순한 분석 기법을 제공하며, 복잡한 다중 증인 구성에 대한 의존도를 줄인다.