[논문 리뷰] Decidability of Fully Quantum Nonlocal Games with Noisy Maximally Entangled States

Minglong Qin, Penghui Yao|arXiv (Cornell University)|2022. 11. 19.

Quantum Mechanics and Applications인용 수 3

한 줄 요약

이 논문은 플레이어들이 노이즈가 있는 최대 얽힘 상태를 공유할 때 완전히 양자 비국소 게임의 결정 가능성을 확립하며, 양자 값에 임의로 가까이 근사하기 위해 필요한 노이즈가 있는 EPR 쌍의 수에 대한 계산 가능한 상한을 증명한다. 초월 연산자에 대한 푸리에 분석을 확장하고, 불변성 원리와 차원 감소를 증명함으로써, 공유된 얽힘 상태의 노이즈가 계산 가능성을 복원함을 보여주며, 이는 노이즈가 없는 경우의 결정 불가능성(MIP*=RE)과 대비된다.

ABSTRACT

This paper considers the decidability of fully quantum nonlocal games with noisy maximally entangled states. Fully quantum nonlocal games are a generalization of nonlocal games, where both questions and answers are quantum and the referee performs a binary POVM measurement to decide whether they win the game after receiving the quantum answers from the players. The quantum value of a fully quantum nonlocal game is the supremum of the probability that they win the game, where the supremum is taken over all the possible entangled states shared between the players and all the valid quantum operations performed by the players. The seminal work $\mathrm{MIP}^*=\mathrm{RE}$ implies that it is undecidable to approximate the quantum value of a fully nonlocal game. This still holds even if the players are only allowed to share (arbitrarily many copies of) maximally entangled states. This paper investigates the case that the shared maximally entangled states are noisy. We prove that there is a computable upper bound on the copies of noisy maximally entangled states for the players to win a fully quantum nonlocal game with a probability arbitrarily close to the quantum value. This implies that it is decidable to approximate the quantum values of these games. Hence, the hardness of approximating the quantum value of a fully quantum nonlocal game is not robust against the noise in the shared states. This paper is built on the framework for the decidability of non-interactive simulations of joint distributions and generalizes the analogous result for nonlocal games. We extend the theory of Fourier analysis to the space of super-operators and prove several key results including an invariance principle and a dimension reduction for super-operators. These results are interesting in their own right and are believed to have further applications.

연구 동기 및 목표

• 공유된 얽힘이 노이즈가 있을 경우, 완전히 양자 비국소 게임에서 양자 값 근사의 결정 불가능성이 유지되는지 조사하기.
• 노이즈가 있는 최대 얽힘 상태가 양자 값을 근사하기 위해 필요한 복제 수에 대한 계산 가능한 상한을 제공할 수 있는지 확인하기.
• 비상호작용 시뮬레이션과 푸리에 분석의 프레임워크를 양자 비국소 게임의 맥락에서 초월 연산자 공간으로 확장하기.
• 공유된 얽힘 상태의 노이즈가 양자 값 근사의 복잡성을 감소시켜 결정 가능성을 회복함을 확립하기.

제안 방법

• 완전히 양자 비국소 게임에서의 양자 전략을 분석하기 위해 초월 연산자 푸리에 분석 프레임워크를 개발한다.
• 초월 연산자에 대한 불변성 원리와 차원 감소 정리를 증명하여, 고전적 불변성 원리를 양자 연산자 공간으로 일반화한다.
• 초월 연산자 표현을 위해 Choi-Jamiołkowski 이sovorphism를 사용하고, 트레이스 노름과 스펙트럼 분해를 적용한다.
• Hölder 부등식과 트레이스 부등식을 적용하여, 투영된 초월 연산자와 원래 초월 연산자 간의 차이를 근사한다.
• 데코herence를 모델링하기 위해 노이즈 연산자 ∆γ(P)를 도입하고, 전략 성능에 대한 영향을 분석한다.
• ε-네트워킹과 연산자 노름 상한을 활용하여, 임의의 ε 이내로 양자 값을 근사하기 위해 유한한 수의 노이즈가 있는 EPR 쌍만 필요함을 보여준다.

실험 결과

연구 질문

• RQ1 플레이어들이 완전한 EPR 쌍 대신 노이즈가 있는 최대 얽힘 상태만 공유할 경우, 완전히 양자 비국소 게임의 양자 값은 결정 가능한가?
• RQ2 양자 값을 ε-근사하기 위해 필요한 노이즈가 있는 EPR 쌍의 수에 대한 계산 가능한 상한을 설정할 수 있는가?
• RQ3 공유된 얽힘 상태의 노이즈가 노이즈가 없는 경우와 비교해, 양자 비국소 게임 값 근사의 복잡성에 어떤 영향을 미치는가?
• RQ4 푸리에 분석과 같은 고전적 도구가 양자 정보의 초월 연산자 공간으로 얼마나 일반화될 수 있는가?
• RQ5 노이즈가 있는 양자 작동 조건 하에서 초월 연산자에 대한 불변성 원리와 차원 감소가 성립하는가?

주요 결과

• 노이즈가 있는 최대 얽힘 상태를 공유하는 완전히 양자 비국소 게임의 양자 값은 결정 가능하며, 임의의 ε > 0 범위 내에서 값에 근사하기 위해 필요한 노이즈가 있는 EPR 쌍의 수에 대한 계산 가능한 상한이 존재한다.
• 저자들은 초월 연산자 불변성 원리와 차원 감소 결과를 증명하였으며, 이는 결정 가능성을 가능하게 하는 핵심 기술적 도구이다.
• 공유된 얽힘 상태의 노이즈가 계산 가능성을 복원한다: 완전한 EPR 쌍이 있는 MIP*=RE 결과(결정 불가능성)와는 대조적으로, 노이즈가 있는 상태는 문제의 결정 가능성을 회복시킨다.
• 논문은 양자 값을 노이즈가 있는 EPR 쌍의 수에 따라 유한 차원 전략 공간에서 ε-네트워킹을 통해 근사할 수 있음을 확립한다.
• 노이즈가 있는 EPR 쌍의 수에 대한 상한은 게임의 기술적 묘사와 정밀도 ε에만 의존하며, 기저 상태 공간의 복잡성과는 무관하다.
• 이 결과는 이전의 노이즈가 있는 얽힘 상태를 가진 고전적 비국소 게임 연구를 일반화하며, 비상호작용 시뮬레이션 이론을 완전히 양자 맥락으로 확장한다.