[논문 리뷰] A parallel repetition theorem for entangled projection games

Irit Dinur, David Steurer외 1명|arXiv (Cornell University)|2013. 10. 15.

Quantum Mechanics and Applications참고 문헌 41인용 수 7

한 줄 요약

이 논문은 얽힌 투영 게임에 대한 평행 반복 정리를 수립하며, 얽힌 값이 1−ε인 게임의 k중 복제에서 얽힌 값이 O((1−ε^c)^k)의 형태로 지수적으로 감소함을 증명한다. 여기서 c≥1은 전역 상수이며, 제약 그래프가 팽창하는 경우 c=1이 된다. 증명은 얽힌 값의 곱셈적 완화를 도입하고, 얽힌 값과 실제 얽힌 값 간의 밀접한 관계를 정밀하게 연결하기 위해 양자 상관 샘플링 보조정리를 사용한다. 이는 고전 기법을 양자 환경으로 확장한 것이다.

ABSTRACT

We study the behavior of the entangled value of two-player one-round projection games under parallel repetition. We show that for any projection game $G$ of entangled value 1-eps < 1, the value of the $k$-fold repetition of G goes to zero as O((1-eps^c)^k), for some universal constant c\geq 1. Previously parallel repetition with an exponential decay in $k$ was only known for the case of XOR and unique games. To prove the theorem we extend an analytical framework recently introduced by Dinur and Steurer for the study of the classical value of projection games under parallel repetition. Our proof, as theirs, relies on the introduction of a simple relaxation of the entangled value that is perfectly multiplicative. The main technical component of the proof consists in showing that the relaxed value remains tightly connected to the entangled value, thereby establishing the parallel repetition theorem. More generally, we obtain results on the behavior of the entangled value under products of arbitrary (not necessarily identical) projection games. Relating our relaxed value to the entangled value is done by giving an algorithm for converting a relaxed variant of quantum strategies that we call "vector quantum strategy" to a quantum strategy. The algorithm is considerably simpler in case the bipartite distribution of questions in the game has good expansion properties. When this is not the case, rounding relies on a quantum analogue of Holenstein's correlated sampling lemma which may be of independent interest. Our "quantum correlated sampling lemma" generalizes results of van Dam and Hayden on universal embezzlement.

연구 동기 및 목표

• XOR 및 유일성 게임에 대해 알려진 결과를 확장하여, 얽힌 투영 게임에 대한 평행 반복 정리를 수립한다.
• 특히 그 감소율을 분석하기 위해 반복 독립 게임에서 얽힌 값의 행동을 분석한다.
• 비통신 당사자 간의 근사 상태 공유를 위한 허문스테인의 상관 샘플링 보조정리의 양자 버전을 개발한다.
• 유연한 양자 전략(벡터 양자 전략)과 실제 양자 전략 간의 간격을 효율적인 변환 알고리즘을 통해 메우기 위해 노력한다.
• 고전적 평행 반복 기법을 분석 도구를 활용해 얽힌 게임에 특화된 분석 도구를 사용하여 양자 환경으로 일반화한다.

제안 방법

• 제품 게임에서 완전히 곱셈적인, 얽힌 값의 완화를 도입한다.
• 분석적 접근성을 향상시키기 위해 양자 전략의 완화된 변형인 '벡터 양자 전략'을 정의한다.
• 두 당사자가 클래스적으로 기술된 근접한 양자 상태를 가질 때, 공유된 얽힌 상태를 지역적으로 생성할 수 있도록 허용하는 양자 상관 샘플링 보조정리를 개발한다.
• 양자 상관 샘플링 보조정리를 사용하여, 벡터 양자 전략을 오차가 제한된 실제 양자 전략으로 변환한다.
• 제약 그래프에 강한 팽창성이 없는 경우를 다루기 위해 허문스테인의 양자 버전 상관 샘플링을 적용한다.
• 마르코프 부등식과 농도 경계를 통해, 완화된 값과 진짜 얽힌 값 간의 엄밀한 연결을 증명한다.

실험 결과

연구 질문

• RQ1 투영 게임의 얽힌 값이 평행 반복 하에서 지수적으로 감소하는가? 만약 그렇다면, 그 감소율은 어떠한가?
• RQ2 디누르와 스투어의 고전적 분석 프레임워크를 양자 환경으로 확장하여 이러한 감소를 증명할 수 있는가?
• RQ3 일반적인 투영 게임에 대해 감소 상수 O((1−ε^c)^k)에서 최적의 지수 c는 무엇인가?
• RQ4 벡터 양자 전략을 제어 가능한 오차로 실제 양자 전략으로 변환할 수 있는가?
• RQ5 클래스적으로 기술된 근접한 입력 상태에서, 비통신 당사자 간에 공유된 상태 준비를 가능하게 하는 양자 상관 샘플링 보조정리를 구성할 수 있는가?

주요 결과

• 값이 1−ε인 투영 게임의 얽힌 값은 k중 평행 반복 하에서 어떤 전역 상수 c≥1에 대해 O((1−ε^c)^k)의 형태로 감소한다.
• 제약 그래프가 팽창하는 경우, 최적의 지수 c=1을 달성하여 O((1−ε)^k) 감소를 이룬다.
• 얽힌 값의 완화는 제품 게임에서 완전히 곱셈적이며, 제품 게임 분석의 사용을 가능하게 한다.
• 비통신 당사자 간에 입력 상태에 대해 근접한 공유된 얽힌 상태를 생성할 수 있도록 허용하는 양자 상관 샘플링 보조정리가 구성되었다.
• 벡터 양자 전략에서 실제 양자 전략으로의 변환은 높은 확률로 성공하며, 입력 상태가 δ-근접일 경우 오차는 O(δ^{1/12}) 이하로 제한된다.
• 증명는 마르코프 부등식과 농도 경계의 새로운 응용을 통해, 높은 신뢰도로 완화된 값과 진짜 얽힌 값 간의 관계를 확립한다.