[논문 리뷰] A Parallel Repetition Theorem for the GHZ Game

Holmgren, Justin, Justin Holmgren|arXiv (Cornell University)|2020. 08. 12.

Quantum Computing Algorithms and Architecture참고 문헌 20인용 수 3

한 줄 요약

이 논문은 3명의 플레이어가 참가하는 GHZ 게임의 평행 반복에 대해 다항식적으로 빠른 감쇠를 확립하며, t번 반복한 후 그 값이 t^{-Ω(1)}의 속도로 감소함을 증명한다. 저자들은 이전의 방법이 강한 상관관계를 가진 게임인 GHZ와 같이 실패하는 데에 기인한 한계를 극복하기 위해, 애매한 부분공간에 국소적으로 통합하는 것과 가역적 분해 기반의 새로운 증명 기법을 제안한다.

ABSTRACT

We give a new proof of the fact that the parallel repetition of the (3-player) GHZ game reduces the value of the game to zero polynomially quickly. That is, we show that the value of the n-fold GHZ game is at most n^{-Ω(1)}. This was first established by Holmgren and Raz [Holmgren and Raz, 2020]. We present a new proof of this theorem that we believe to be simpler and more direct. Unlike most previous works on parallel repetition, our proof makes no use of information theory, and relies on the use of Fourier analysis. The GHZ game [Greenberger et al., 1989] has played a foundational role in the understanding of quantum information theory, due in part to the fact that quantum strategies can win the GHZ game with probability 1. It is possible that improved parallel repetition bounds may find applications in this setting. Recently, Dinur, Harsha, Venkat, and Yuen [Dinur et al., 2017] highlighted the GHZ game as a simple three-player game, which is in some sense maximally far from the class of multi-player games whose behavior under parallel repetition is well understood. Dinur et al. conjectured that parallel repetition decreases the value of the GHZ game exponentially quickly, and speculated that progress on proving this would shed light on parallel repetition for general multi-player (multi-prover) games.

연구 동기 및 목표

• 강한 상관관계를 지닌 질문 분포로 인해 기존 기법이 실패하는 3명의 플레이어가 참가하는 GHZ 게임에 대해 강력한 평행 반복 경계를 확립하는 것.
• 다인용 게임에서만 역 Ackermann 감쇠를 달성한 이전 방법의 한계를 극복하는 것.
• 강한 상관관계를 지닌 다인용 게임에 적용 가능한 새로운 증명 프레임워크를 개발하는 것. 이는 더 넓은 평행 반복 문제의 진전에 기여할 수 있다.
• 장치 독립형 양자 암호화 및 entanglement 테스트와 같은 양자 정보 응용 분야에 유용한 정량적 경계를 제공하는 것.

제안 방법

• GHZ 게임에서의 전략 분석을 위해 애매한 부분공간에 국소적으로 통합하는 개념을 도입한다.
• 통제하기 어려운 부분을 분리하고 분석하기 위해 전략을 가역적 애매한 구성요소로 분해한다.
• 조건부 KL 발산과 통계적 거리 기법을 사용하여 서로 다른 전략 하에서의 분포 간의 편차를 제한한다.
• F2^n 위의 푸리에 분석을 적용하여 전략 구성요소와 그 상관관계를 분석한다.
• 誤差 항을 제어하기 위해 라마르트 W 함수를 포함하는 새로운 최적화 경계를 활용한다.
• 이러한 도구들을 조합하여 기존의 두 명의 플레이어 설정에서 사용되는 정보 이론적 또는 조합 기반 기법에 의존하지 않는 새로운 증명 구조를 구성한다.

실험 결과

연구 질문

• RQ1 기존 기법이 실패하는 상황에서 GHZ 게임에 대해 강력한 평행 반복 경계를 확립할 수 있는가?
• RQ2 GHZ 질문 분포의 강한 상관관계는 다인용 평행 반복의 가장 어려운 케이스를 나타내는가?
• RQ3 강한 상관관계가 존재하는 상황에서 이전 방법의 한계를 우회할 수 있는 새로운 증명 기법을 개발할 수 있는가?
• RQ4 GHZ 게임의 값이 평행 반복에서 다항식 감쇠를 보일 수 있는가, 아니면 오직 하위-Ackermann 감쇠만 가능할 수 있는가?
• RQ5 이 새로운 프레임워크는 유사한 상관관계를 지닌 다른 다인용 게임으로 일반화될 수 있는가?

주요 결과

• GHZ 게임의 t번 평행 반복의 값은 최대 t^{-Ω(1)}이며, 이는 다항식 감쇠를 의미한다.
• 이것은 이전에 알려진 최선의 경계 ≈1/α(t) (α는 역 Ackermann 함수)에 비해 상당한 향상이다.
• 이 증명은 애매한 부분공간에 국소적으로 통합하고 가역적 분해를 기반으로 하는 새로운 프레임워크를 도입한다.
• 저자들은 정보 이론, 푸리에 분석, 최적화 이론의 도구를 새로운 조합으로 활용하여 이 결과를 달성한다.
• 강한 상관관계를 지닌 게임에서는 기존의 두 명 플레이어 기법이 실패하므로, 이 방법은 이러한 기법에 의존하지 않는다.
• 결과는 Dinur 등이 추측한 lin처럼 강한 상관관계가 실제로 다인용 평행 반복의 가장 어려운 케이스임을 시사한다.