[논문 리뷰] The Parallel-Repeated Magic Square Game is Rigid

Matthew Coudron, Anand Natarajan|arXiv (Cornell University)|2016. 09. 20.

Quantum Mechanics and Applications참고 문헌 11인용 수 23

한 줄 요약

이 논문은 마법의 정사각형 게임의 n라운드 병렬 반복의 강성(faithfulness)을 확립하며, 확률 1−ε로 성공하는 임의의 양자 전략은 국소 등급변환 하에서 2n EPR 쌍에 대해 O(poly(nε))-근접해야 하며, 플레이어의 측정값도 이상적인 파울리 연산자에 대해 O(poly(nε))-근접해야 한다. 이 결과는 이전의 병렬 자가검증 기법에 비해 오차 의존성에서 지수적 향상을 이루었고, 모든 n-qubit 파울리 측정값을 강건하게 인증한다.

ABSTRACT

We show that the $n$-round parallel repetition of the Magic Square game of Mermin and Peres is rigid, in the sense that for any entangled strategy succeeding with probability $1 -\varepsilon$, the players' shared state is $O(\mathrm{poly}(n\varepsilon))$-close to $2n$ EPR pairs under a local isometry. Furthermore, we show that, under local isometry, the players' measurements in said entangled strategy must be $O(\mathrm{poly}(n\varepsilon))$ close to the "ideal" strategy when acting on the shared state.

연구 동기 및 목표

• 마법의 정사각형 게임의 n라운드 병렬 반복을 이용해 2n EPR 쌍에 대한 강건한 자가검증을 확립하기.
• 이전의 병렬 자가검증 기법이 약한 오차 의존성 또는 전체 측정 구조를 인증하지 못하는 한계를 극복하기.
• 강건하게 상태와 모든 n-qubit 파울리 측정 연산자 연산자를 동시에 인증하는 엄밀한 병렬 테스트를 제공하기.
• 강력한 오차 스케일링과 완전한 측정 인증을 제공함으로써 양자 복잡도 이론 및 장치에 의존하지 않는 프로토콜에의 적용을 가능하게 하기.

제안 방법

• Wu 등(2016)이 밝힌 단일라운드 마법의 정사각형 게임의 알려진 강성(faithfulness)을 기본 빌딩 블록으로 활용한다.
• 다른 라운드의 연산자 간의 근사적 교환관계를 강제하기 위해 병렬 반복 게임 전역에서 일관성 검사를 도입한다.
• 라운드 간 측정 결과 간의 일관성 관계를 이용해 공동 상태와 측정 연산자에 대한 경계를 유도한다.
• 노름 부등식을 활용해 플레이어의 상태를 2n EPR 쌍에 가까운 목표 상태로 매핑하기 위해 등급변환을 적용한다.
• 2-노름 거리 대신 기대값 기반의 보장을 사용함으로써 성질 테스트에 더 자연스러운 프레임워크를 제공한다.
• 오차 누적에 대한 제어를 n과 ε에 다항함수적 의존성으로 유지함으로써 단일라운드 분석을 전체 병렬 반복으로 확장한다.

실험 결과

연구 질문

• RQ1 마법의 정사각형 게임의 n라운드 병렬 반복은 2n EPR 쌍에 대한 강건한 자가검증으로 사용될 수 있는가?
• RQ2 병렬 반복 게임은 전략에서 전체 n-qubit 파울리 측정 연산자 집합을 강건하게 인증하는가?
• RQ3 병렬 자가검증의 오차 의존성은 지수적 스케일링을 초월해 향상시킬 수 있는가, 동시에 전체 측정 인증을 유지할 수 있는가?
• RQ4 다항함수적 오차 의존성과 함께 상태 및 측정 인증을 동시에 달성하는 엄밀한 병렬 테스트를 달성할 수 있는가?
• RQ5 병렬 게임의 전역 일관성 구조를 활용해 서로 다른 라운드의 연산자 간의 근사적 교환관계를 강제할 수 있는가?

주요 결과

• 확률 1−ε로 성공하는 임의의 얽힌 전략은 국소 등급변환 하에서 2n EPR 쌍에 대해 O(poly(nε))-근접해야 한다.
• 플레이어의 측정 연산자도 동일한 등급변환 하에서 이상적인 파울리 연산자에 대해 O(poly(nε))-근접해야 하며, 이는 전체 측정 인증을 보장한다.
• 오차 의존성은 nε에 대해 다항함수적이며, 이는 이전의 엄밀한 병렬 자가검증 기법에 비해 지수적 향상을 나타낸다.
• 이 결과는 강건하고 엄밀한 병렬 테스트로서 상태와 모든 n-qubit 파울리 측정 연산자 연산자를 동시에 인증한다.
• 분석은 게임 구조에 내재된 전역 일관성 검사를 통해 라운드 간 근사적 교환관계를 강제함으로써 단일라운드 강성의 확장을 가능하게 한다.
• 보장은 2-노름 상태 거리 대신 파울리 연산자의 기대값을 기반으로 하며, 이는 2-노름 거리보다 성질 테스트에 더 자연스럽다.