[논문 리뷰] Deciding the existence of perfect entangled strategies for nonlocal games

Laura Mančinska, David E. Roberson외 1명|arXiv (Cornell University)|2015. 06. 24.

Computability, Logic, AI Algorithms참고 문헌 21인용 수 7

한 줄 요약

이 논문은 비국소 게임에 대해 최대 얽힘 상태에서 프로젝션 측정을 사용하는 완벽한 얽힘 전략(PME 전략)의 존재를 결정하는 것은 유도된 그래프에서의 양자 독립수 문제로 환원됨을 보여준다. 핵심 결과는 독립집합 게임이 이 결론 문제에 대해 가장 어려운 사례이며, 모든 대칭 동기 게임에 대해 완벽한 전략의 존재성이 독립집합 게임에 대한 동일한 질문으로 환원된다는 것이다.

ABSTRACT

First, we consider the problem of deciding whether a nonlocal game admits a perfect entangled strategy that uses projective measurements on a maximally entangled shared state. Via a polynomial-time Karp reduction, we show that independent set games are the hardest instances of this problem. Secondly, we show that if every independent set game whose entangled value is equal to one admits a perfect entangled strategy, then the same holds for all symmetric synchronous games. Finally, we identify combinatorial lower bounds on the classical and entangled values of synchronous games in terms of variants of the independence number of appropriate graphs. Our results suggest that independent set games might be representative of all nonlocal games when dealing with questions concerning perfect entangled strategies.

연구 동기 및 목표

• 비국소 게임이 최대 얽힘 상태에서 프로젝션 측정을 사용하는 완벽한 얽힘 전략을 허용하는지 여부를 결정하는 데 필요한 계산 복잡도를 규명하는 것.
• 대칭 동기 게임에 대해 완벽한 전략의 존재성이 동일한 질문을 독립집합 게임에 대해 묻는 것으로 환원되는지 조사하는 것.
• 그래프 이론적 불변량을 사용하여 동기 게임의 고전적 및 얽힘 값에 대한 조합적 하한을 규명하는 것.
• 제한된 측정 및 얽힘 조건 하에서 완벽한 얽힘 전략의 결정 가능성과 도달 가능성에 대해 탐구하는 것.

제안 방법

• PME(최대 얽힘 상태에서의 프로젝션 측정) 전략의 개념을 도입하고, 결정 문제 PERFECT-PME를 정의하는 것.
• 비국소 게임 $G$에서 유도된 게임 그래프 $X(\tilde{G})$를 구성하여 그의 구조와 전략 공간을 표현하는 것.
• 완벽한 PME 전략의 존재성을 특징짓는 핵심 불변량으로서의 양자 독립수 $\alpha_q(X(\tilde{G}))$를 사용하는 것.
• PERFECT-PME 문제를 양자 독립수 문제(Q-INDEPENDENCE)로 다항식 시간 내에 Karp 환원하는 것.
• 동기 게임의 대칭성과 자기일관성 구조를 활용하여 $G$의 전략과 관련된 독립집합 게임 $G'$의 전략을 연결하는 것.
• 연산자 이론적 및 그래프 이론적 도구를 사용하여 $\alpha_q(X(\tilde{G})) = |Q| + |R|$ if and only if a perfect PME strategy exists 를 증명하는 것.

실험 결과

연구 질문

• RQ1 비국소 게임에 대해 완벽한 PME 전략의 존재성을 결정하는 문제는 계산적으로 어려운가? 만약 그렇다면, 그 복잡도 클래스는 무엇인가?
• RQ2 대칭 동기 게임에 대해 완벽한 얽힘 전략의 존재성이 동일한 질문을 독립집합 게임에 대해 묻는 것으로 환원될 수 있는가?
• RQ3 게임의 얽힘 값과 그에 대응하는 그래프의 양자 독립수 사이의 관계는 무엇인가?
• RQ4 어떤 조건에서 1인 얽힘 값이 PME 전략을 통해 도달될 수 있는가?
• RQ5 독립집합 게임은 완벽한 얽힘 전략의 존재성 측면에서 일반 비국소 게임을 대표하는가?

주요 결과

• 결정 문제 PERFECT-PME는 양자 독립수 문제(Q-INDEPENDENCE)로 다항식 시간 내에 환원 가능하다.
• 독립집합 게임은 PERFECT-PME 문제에 대해 가장 어려운 사례이며, 이들에 대해 문제를 해결하면 모든 비국소 게임에 대해 문제를 해결한 셈이다.
• 비국소 게임 $G$가 완벽한 PME 전략을 허용하는 것은 $\alpha_q(X(\tilde{G})) = |Q| + |R|$ 이다와 동치이며, 이는 완벽한 PME 전략 존재성에 대한 정확한 특성화를 제공한다.
• 모든 얽힘 값이 1인 독립집합 게임이 완벽한 얽힘 전략을 허용한다면, 모든 대칭 동기 게임 역시 그러한 전략을 허용한다.
• 대칭 동기 게임의 얽힘 값이 1임은 그에 대응하는 독립집합 게임의 양자 독립수가 질문 집합 크기의 합과 같을 때이고, 그와 동시에 그 조건이 성립함을 의미한다.
• 결과들은 독립집합 게임이 완벽한 얽힘 전략의 존재성을 연구할 때 일반 비국소 게임을 대표하는 것으로 보인다.