[논문 리뷰] Three-player entangled XOR games are NP-hard to approximate

Thomas Vidick|arXiv (Cornell University)|2013. 02. 06.

Computability, Logic, AI Algorithms참고 문헌 25인용 수 32

한 줄 요약

이 논문은 어떤 상수 요인보다 (2−ε)에 더 가까운 삼자 XOR 게임의 얽힌 값(approximating the entangled value)을 근사하는 것이 P≠NP 하에 NP-난이도임을 증명한다. 이는 P≠NP 하에 얽힌 게임에 대한 첫 번째 상수 요인 근사 난이도를 확립한다. 결과는 하스트의 고전적 난이도 결과를 양자 비국소성으로 확장하며, 얽힌 플레이어를 대상으로 한 점 대 평면 저차수 테스트의 새로운 타당성 분석을 사용한다.

ABSTRACT

We show that for any eps>0 the problem of finding a factor (2-eps) approximation to the entangled value of a three-player XOR game is NP-hard. Equivalently, the problem of approximating the largest possible quantum violation of a tripartite Bell correlation inequality to within any multiplicative constant is NP-hard. These results are the first constant-factor hardness of approximation results for entangled games or quantum violations of Bell inequalities shown under the sole assumption that P eq NP. They can be thought of as an extension of Hastad's optimal hardness of approximation results for MAX-E3-LIN2 (JACM'01) to the entangled-player setting. The key technical component of our work is a soundness analysis of a point-vs-plane low-degree test against entangled players. This extends and simplifies the analysis of the multilinearity test by Ito and Vidick (FOCS'12). Our results demonstrate the possibility for efficient reductions between entangled-player games and our techniques may lead to further hardness of approximation results.

연구 동기 및 목표

• P ≠ NP 라는 가정 하에 얽힌 다자 게임에 대한 첫 번째 상수 요인 근사 난이도를 확립하기.
• MAX-E3-LIN2에 대한 하스트의 최적의 NP-난이도 결과를 얽힌 플레이어를 포함한 양자 환경으로 확장하기.
• 삼중 Bell 상관 불평등의 최대 양자 위반을 어떤 상수 요인 내에서 근사하는 것이 NP-난이도임을 보여주기.
• 얽힌 플레이어에 맞게 조정된 점 대 평면 저차수 테스트를 개발하고 분석하여, 양자 복잡도 이론에서 새로운 감소를 가능하게 하기.

제안 방법

• 저자들은 얽힌 플레이어에 대해 타당성이 보장되는 점 대 평면 저차수 테스트를 도입하여, 고전적 선형성 테스트를 양자 환경으로 일반화한다.
• 이 테스트에 대한 새로운 타당성 분석을 제공하며, 이는 양자 전략과 얽힘을 활용하여 이토와 비딕의 이전 작업을 확장한다.
• 분석은 양자 연산자 노름과 비국소 게임 감소를 기반으로 하며, 이 테스트의 타당성이 얽힌 XOR 게임의 근사 난이도와 연결된다.
• 고전적 NP-난이도 문제에서 얽힌 게임으로의 감소를 사용하여 근사 비율을 유지하는 양자 전략 시뮬레이션을 통해 구성한다.
• 이 프레임워크는 얽힌 게임 간의 효율적 감소를 가능하게 하여 난이도 결과를 다양한 비국소 게임 클래스 간에 이동시킬 수 있다.
• 강력한 추측에 의존하지 않고, 오직 P ≠ NP 라는 가정만으로 난이도를 확립한다.

실험 결과

연구 질문

• RQ1 어떤 ε>0 에 대해 삼자 XOR 게임의 얽힌 값을 (2−ε) 요인 내에서 근사하는 것이 NP-난이도인가?
• RQ2 고전적 MAX-E3-LIN2에 대한 근사 난이도가 얽힌 플레이어를 포함한 양자 환경으로 확장될 수 있는가?
• RQ3 얽힌 플레이어를 상대로 하는 점 대 평면 저차수 테스트의 타당성은 무엇인가?
• RQ4 삼중 Bell 부등식의 양자 위반은 어떤 상수 요인 내에서 다항 시간에 근사될 수 있는가?
• RQ5 어떤 기법이 근사 난이도를 유지하면서 얽힌 게임 간의 효율적 감소를 가능하게 하는가?

주요 결과

• 모든 ε>0 에 대해 삼자 XOR 게임의 얽힌 값을 (2−ε) 요인 내에서 근사하는 것은 NP-난이도이다.
• 삼중 Bell 상관 불평등의 최대 양자 위반을 어떤 상수 요인 내에서 근사하는 문제 역시 NP-난이도이다.
• 이 결과는 P ≠ NP 라는 가정 하에 얽힌 게임에 대한 첫 번째 상수 요인 근사 난이도를 확립한다.
• 얽힌 플레이어를 대상으로 한 점 대 평면 저차수 테스트의 타당성 분석은 이론적으로 새로운 것으로서 이전 접근보다 더 단순하다.
• 이 프레임워크는 얽힌 게임 간의 새로운 감소를 가능하게 하며, 양자 복잡도 이론에서 추가적인 근사 난이도 결과를 이끌 수 있다.
• 이 연구는 하스트의 고전적 난이도 결과를 양자 비국소성 환경으로 확장하며, 양자 복잡도 이론에서 중요한 도약을 이룬다.