[논문 리뷰] Beating one bit of communication with and without quantum pseudo-telepathy

István Márton, Erika Bene외 2명|arXiv (Cornell University)|2023. 08. 21.

Quantum Mechanics and ApplicationsPhysics and Astronomy참고 문헌 52인용 수 3

한 줄 요약

이 논문은 8×8 이상의 차원에서의 양자 얽힘 상태에 대한 사영 측정으로부터 유도되는 특정 고차원 양자 상관관계가 한 비트의 통신으로는 클래스적 시뮬레이션 한계를 초월함을 보여준다. 63입력, 2출력의 정이면체 벨 부등식을 포함한 새로운 벨 유사 부등식을 통해 저자들은 양자 위반값이 한 비트의 클래스적 한계를 초월함을 증명하였으며, 이는 한 비트의 정보로는 이러한 상관관계를 시뮬레이션할 수 없음을 보여주며, 양자 가짜텔레파시 게임의 경우에도 마찬가지로 성립함을 시사한다.

ABSTRACT

According to Bell's theorem, certain entangled states cannot be simulated classically using local hidden variables (LHV). But if can we augment LHV by classical communication, how many bits are needed to simulate them? There is a strong evidence that a single bit of communication is powerful enough to simulate projective measurements on any two-qubit entangled state. In this study, we present Bell-like scenarios where bipartite correlations resulting from projective measurements on higher dimensional states cannot be simulated with a single bit of communication. These include a three-input, a four-input, a seven-input, and a 63-input bipartite Bell-like inequality with 80089, 64, 16, and 2 outputs, respectively. Two copies of emblematic Bell expressions, such as the Magic square pseudo-telepathy game, prove to be particularly powerful, requiring a $16 imes 16$ state to beat the one-bit classical bound, and look a promising candidate for implementation on an optical platform.

연구 동기 및 목표

• 한 비트의 클래스적 통신으로 고차원 이변량 양자 상태에 대한 사영 측정을 시뮬레이션하는 데에 충분한가를 판단하는 것.
• 양자 상관관계에 의해 위반되지만 어떤 한 비트의 클래스적 통신 모델에 의해도 위반되지 않는, 벨 유사 부등식을 구성하는 것.
• 한 비트의 클래스적 모델이 실패하는 최소 차원의 양자 시스템(예: 8×8)과 입력/출력 구성 요소를 특정하는 것.
• 가령 이중 마법의 정사각형과 같은 양자 가짜텔레파시 게임이 한 비트의 클래스적 시뮬레이션 한계를 초월하는 데에 얼마나 강력한가를 탐색하는 것.
• 기하학적 및 최적화 기법을 사용하여 한 비트의 클래스적 한계에 대한 엄밀한 상한을 설정하고, 양자 우월성을 증명하는 것.

제안 방법

• 정이면체 다면체와 알려진 가짜텔레파시 게임(예: 마법의 정사각형, CGLMP)의 텐서 곱 기반으로 새로운 벨 유사 부등식을 구성한다.
• 결정적 전략 최적화를 활용하여 한 비트의 클래스적 값 $L1\text{bit}$ 에 대해 가능한 한 낮은 상한을 구하기 위해 볼록 반복 알고리즘(see-saw 알고리즘)을 사용한다.
• 기하학적 분석을 적용하여 $L1\text{bit}(\text{Plato}_{E7}) \leq \sqrt{2} \times L(\text{Plato})$ 를 증명함으로써 분석적 상한을 도출한다.
• 관계식 $L1\text{bit}(\text{Plato}) \leq \sqrt{2} \times L(\text{Plato})$ 를 활용하여 $L1\text{bit}(\text{Plato}_{E7}) < 565$ 를 유도하며, 양자 값은 567임을 확인한다.
• 클래스적 시뮬레이션의 복잡도를 평가하기 위해 전체 확률 공간 차원 $D_P$ 를 분석하며, 63입력의 경우 $D_P = 15876$ 이다.
• 다양한 구성 방식에 대해 양자 위반값과 한 비트의 클래스적 한계를 비교한다. 이는 $\text{CHSH}^{\otimes 4}$, $\text{Magic}^{\otimes 2}$, 그리고 가짜텔레파시 게임의 잘라낸 형태를 포함한다.

실험 결과

연구 질문

• RQ1 8×8 등의 고차원 얽힘 상태에 대한 사영 측정은 한 비트의 클래스적 통신으로만 시뮬레이션될 수 있는가?
• RQ2 입력과 출력의 수가 적은 벨 유사 부등식 중에서 양자 상관관계가 한 비트의 클래스적 통신 한계를 위반하는 경우가 존재하는가?
• RQ3 한 비트의 클래스적 시뮬레이션 한계를 초월하는 데에 필요한 최소 차원의 양자 시스템(차원 수 $d$ 기준)은 무엇인가?
• RQ4 이중 마법의 정사각형과 같은 양자 가짜텔레파시 게임이 텐서 곱으로 조합되었을 때, 한 비트의 클래스적 한계를 초월하는 데에 얼마나 강력한가?
• RQ5 기하학적 및 최적화 기법을 사용하여 한 비트의 클래스적 값에 대한 분석적 상한을 도출할 수 있는가? 이를 통해 양자 우월성을 확실히 증명할 수 있는가?

주요 결과

• 63입력, 2출력의 정이면체 벨 부등식 $\text{Plato}_{E7}$ 는 양자 값을 567로 가지며, 이는 한 비트의 클래스적 한계인 565 미만을 초월함을 증명하여, 한 비트의 정보로는 충분하지 않음을 입증한다.
• 이중 마법의 정사각형 게임 ($\text{Magic}^{\otimes 2}$)의 경우, 16×16 양자 상태가 필요하며, 양자 값은 81, 클래스적 한계는 75로, 한 비트의 한계를 초월한다.
• 잘라낸 이중 마법의 정사각형 게임 ($[\text{Magic}^{\otimes 2}]_s$)은 각 당사자에게 7개의 입력과 16개의 출력을 가지며, 양자 값은 49로, 한 비트의 클래스적 한계인 48를 초월한다.
• $\text{CGLMP}_8^{\otimes 2}$ 구성은 4개의 입력과 64개의 출력을 가지며, 양자 위반값은 12.123, 한 비트의 클래스적 한계는 12로, 이로써 간극이 확인된다.
• $[\text{CGLMP}_{283}^{\otimes 2}]_s$ 구성은 3개의 입력과 $283^2$개의 출력을 가지며, 양자 값은 8.0002059로, 한 비트의 한계인 8을 초월함을 보여주며, 높은 출력 차원에서의 위반을 입증한다.
• $\text{Plato}_{E7}$ 구성의 전체 확률 공간 차원 $D_P$ 는 15,876이며, 잘라낸 이중 마법의 정사각형의 12,544보다 크므로, 클래스적 시뮬레이션의 복잡도가 더 높음을 시사한다.