[논문 리뷰] Algorithms, Bounds, and Strategies for Entangled XOR Games

Adam Bene Watts, Aram W. Harrow외 2명|arXiv (Cornell University)|2018. 01. 02.

Complexity and Algorithms in Graphs참고 문헌 28인용 수 3

한 줄 요약

이 논문은 대칭 XOR 게임의 공유 연산자 값이 정확히 1인지 여부를 다항시간 알고리즘으로 결정하는 방법을 제시하며, 오랫동안 미해결이었던 결정 가능성 문제를 해결한다. 새로운 기준을 도입하여 완벽한 양자 전략의 실현 조건을 제시하고, 명시적인 얽힘 기반 전략을 구성하며, NPA (ncSoS) 계층의 수렴에 대한 날카운 경계를 설정한다. 이는 최악의 경우 이중 지수적 속도 저하를 보이며, 만족 불가능한 단계를 가진 랜덤 XOR 게임의 존재를 증명한다.

ABSTRACT

We study the complexity of computing the commuting-operator value $ω^*$ of entangled XOR games with any number of players. We introduce necessary and sufficient criteria for an XOR game to have $ω^* = 1$, and use these criteria to derive the following results: 1. An algorithm for symmetric games that decides in polynomial time whether $ω^* = 1$ or $ω^* < 1$, a task that was not previously known to be decidable, together with a simple tensor-product strategy that achieves value 1 in the former case. The only previous candidate algorithm for this problem was the Navascués-Pironio-Acín (also known as noncommutative Sum of Squares or ncSoS) hierarchy, but no convergence bounds were known. 2. A family of games with three players and with $ω^* < 1$, where it takes doubly exponential time for the ncSoS algorithm to witness this (in contrast with our algorithm which runs in polynomial time). 3. A family of games achieving a bias difference $2(ω^* - ω)$ arbitrarily close to the maximum possible value of $1$ (and as a consequence, achieving an unbounded bias ratio), answering an open question of Briët and Vidick. 4. Existence of an unsatisfiable phase for random (non-symmetric) XOR games: that is, we show that there exists a constant $C_k^{ ext{unsat}}$ depending only on the number $k$ of players, such that a random $k$-XOR game over an alphabet of size $n$ has $ω^* < 1$ with high probability when the number of clauses is above $C_k^{ ext{unsat}} n$. 5. A lower bound of $Ω(n \log(n)/\log\log(n))$ on the number of levels in the ncSoS hierarchy required to detect unsatisfiability for most random 3-XOR games. This is in contrast with the classical case where the $n$-th level of the sum-of-squares hierarchy is equivalent to brute-force enumeration of all possible solutions.

연구 동기 및 목표

• 대칭 XOR 게임의 양자 값 ω*가 정확히 1인지 여부를 결정하는 문제로서, 이전에는 결정 가능성이 알려져 있지 않았다.
• 가능한 경우 ω* = 1을 달성하는 명시적인 텐서곱 전략을 구성함으로써, 완벽한 전략 문제에 대한 구조적 해법을 제공한다.
• 특히 최악의 경우에 대해 XOR 게임에서 NPA (ncSoS) 계층의 수렴 행동을 분석한다.
• 비대칭이 아닌 랜덤 XOR 게임에서 ω* < 1이 고확률로 성립하는 단계 전이의 존재를 규명한다.
• XOR 게임에서 편향 비율에 대한 열린 문제를 해결하기 위해, 양자 값과 고전적 값 간의 차이가 임의로 크게 설정된 가족을 구성한다.

제안 방법

• PARITY-PERMUTED REFUTATIONS (PREFs)와 MERP (최대 얽힘, 상대 위상) 전략에 기반한 ω* = 1 여부에 대한 필요 및 충분 조건을 도입한다.
• 대칭 게임을 대상으로 하는 알고리즘을 개발하여, 유효한 PREF 반증이 존재하는지 다항시간 내에 검사한다.
• 조합적 도구와 셔플 기반 게이지(Shuffle gadgets)를 사용하여 반증를 구성하고 검증함으로써, 만족 불가능성의 효율적 탐지가 가능해진다.
• 확률적 분석을 적용하여, 랜덤 게임에서 성공적인 반증 경로의 기대 수를 추정하며, 카탈란 수 추정과 질의 매핑 제약 조건을 활용한다.
• 마르코프 부등식과 과도수(Overcounting) 기법을 활용하여, 반증를 위해 필요한 NPA 계층 수준의 하한을 유도한다.
• MERP 전략과 PREF 반증 간의 이중성(duality)을 활용하여, XOR 게임에서의 양자 우월성에 대한 구조적 통찰을 확립한다.

실험 결과

연구 질문

• RQ1 대칭 XOR 게임의 공유 연산자 값 ω*가 정확히 1인지 여부는 결정 가능한가?
• RQ2 대칭 XOR 게임에서 ω* = 1인지 여부를 다항시간에 결정할 수 있는 알고리즘을 구성할 수 있는가?
• RQ3 ω* < 1인 XOR 게임에서 NPA (ncSoS) 계층의 최악의 수렴 속도는 어떠한가?
• RQ4 비대칭이 아닌 랜덤 XOR 게임에서, 문장 수가 특정 임계값을 초과하면 ω* < 1이 고확률로 성립하는 단계 전이가 존재하는가?
• RQ5 편향 차이 2(ω* − ω)가 최대 가능 값인 1에 임의로 가까이 갈 수 있도록 XOR 게임을 구성할 수 있는가? 이는 무한한 편향 비율을 의미한다.

주요 결과

• 대칭 XOR 게임에서 ω* = 1인지 여부를 다항시간 내에 결정할 수 있는 알고리즘을 제시하며, 이는 이전에 열려있던 결정 가능성 문제를 해결한다.
• 값이 1일 경우, ω* = 1을 달성하는 단순한 텐서곱 전략을 구성함으로써, 구조적 양자 우월성을 제공한다.
• 세 명의 플레이어로 구성된 XOR 게임의 가족을 구성하였으며, 이 경우 NPA 계층이 ω* < 1을 탐지하는 데 이중 지수 시간이 소요되는 반면, 제시된 알고리즘은 다항시간 내에 해결 가능하다.
• 논문은 무작위 k-XOR 게임에서 만족 불가능한 단계의 존재를 증명한다: k ≥ 3일 때, 클라우즈 수가 C_k^unsat * n을 초과하면 ω* < 1이 고확률로 성립한다.
• 편향 차이 2(ω* − ω)가 1에 임의로 가까워지는 XOR 게임의 가족을 구성함으로써, Briët와 Vidick가 제기한 무한한 편향 비율 문제에 대한 답을 제시한다.
• 대부분의 랜덤 3-XOR 게임에서 만족 불가능성을 탐지하기 위해 필요한 NPA 계층 수준의 수에 대해 Ω(n log n / log log n)의 하한을 확립한다.