[논문 리뷰] Unique Games with Entangled Provers are Easy

Julia Kempe, Oded Regev외 1명|ArXiv.org|2007. 10. 02.

Complexity and Algorithms in Graphs참고 문헌 35인용 수 4

한 줄 요약

이 논문은 얽힌 증인을 가진 유일성 게임이 준수형 프로그래밍을 통해 효율적으로 근사될 수 있음을 보여주며, 양자 버전의 유일성 게임 추측과 모순된다. 저자들은 SDP 해를 양자 전략으로 변환하는 새로운 양자 라운딩 기법을 도입하여, 얽힘이 고전적으로 어려운 문제 클래스를 크게 단순화시킴을 증명한다.

ABSTRACT

We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are `unique' constraints (i.e., permutations), the value of the game can be well approximated by a semidefinite program. Essentially the only algorithm known previously was for the special case of binary answers, as follows from the work of Tsirelson in 1980. Among other things, our result implies that the variant of the unique games conjecture where we allow the provers to share entanglement is false. Our proof is based on a novel `quantum rounding technique', showing how to take a solution to an SDP and transform it to a strategy for entangled provers. Using our approximation by a semidefinite program we also show a parallel repetition theorem for unique entangled games.

연구 동기 및 목표

• 증인이 얽힌 상태에서 유일성 게임의 계산 복잡도를 조사하여, 양자 버전의 유일성 게임 추측에 도전한다.
• 준수형 프로그래밍을 사용하여 얽힌 증인을 가진 유일성 게임의 양자 값을 근사하는 방법을 개발한다.
• 얽힘이 고전적 복잡도 기대와는 반대로 유일성 게임의 난이도를 감소시킴을 입증한다.
• 새로운 SDP 근사 기법을 사용하여 얽힌 증인을 가진 유일성 게임에 대한 병렬 반복 정리를 증명한다.

제안 방법

• 저자들은 유일성 게임의 양자 값을 완화하는 데 사용되는 새로운 준수형 프로그래밍(SDP 3)을 도입하며, 상태 노름과 내적에 대한 제약 조건을 포함한다.
• SDP 해를 얽힌 증인을 위한 유효한 양자 전략으로 매핑하는 양자 라운딩 기법을 설계한다.
• 순열 기반 수락 조건의 구조를 활용하여 성공 확률을 SDP 타당성과 내적 민감도의 함수로 제한한다.
• 삼각 부등식과 노름 부등식에 기반하여, 다양한 전략 구성에서의 성공 확률 차이에 대한 경계를 사용한다.
• 핵심 기술적 단계로, 복합 게임의 SDP가 텐서 곱 SDP의 완화임을 보여주며, 병렬 반복 분석을 가능하게 한다.
• 저자들은 정리 5.5를 적용하여 텐서 곱 SDP의 값이 개별 SDP 값의 곱과 같음을 보여주며, 지수 감소 경계를 확보한다.

실험 결과

연구 질문

• RQ1 증인이 얽힌 상태일 때, 얽힌 증인을 가진 유일성 게임의 양자 값을 효율적으로 근사할 수 있는가?
• RQ2 얽힘이 존재할 경우, 양자 버전의 유일성 게임 추측이 무효화되는가?
• RQ3 유일성 게임의 양자 값을 날카롭게 경계할 수 있는 준수형 프로그래밍을 구성할 수 있는가?
• RQ4 얽힌 증인을 가진 유일성 게임에 대해, 고전적 병렬 반복의 양자 버전이 존재하는가?
• RQ5 얽힌 게임의 맥락에서, 양자 라운딩은 고전적 라운딩과 어떻게 다를까?

주요 결과

• ε가 완전한 만족도에서의 이격도일 때, 얽힌 증인을 가진 유일성 게임의 양자 값은 추가 오차 O(√ε) 내에서 준수형 프로그래밍을 통해 근사될 수 있다.
• 양자 유일성 게임 추측은 잘못되었으며, 얽힌 증인이 존재할 경우 조건이 완전히 만족되지 않더라도 높은 성공 확률을 달성할 수 있다.
• 병렬 반복 정리가 확립되었으며, m번 반복된 게임의 값은 (1 - ε²/16)^m의 지수 감소 비율로 감소한다. 여기서 ε는 단일 게임 값에서의 역간격이다.
• SDP 완화(SDP 3)는 엄밀히 타당하며, 그 값은 작은 오차 내에서 양자 값과 일치하므로 효율적인 근사가 가능하다.
• 양자 라운딩 기법은 SDP 해를 성공적으로 양자 전략으로 변환하며, 성공 확률은 기저 상태 벡터의 민감도에 의해 제한된다.
• 두 게임의 SDP 해의 텐서 곱은 그들의 복합 게임의 SDP 해에 대해 타당한 해이며, 반복 게임에서의 일관성을 보장한다.