[논문 리뷰] Simulating Quantum Correlations with Finite Communication

Oded Regev, Ben Toner|ArXiv.org|2007. 08. 07.

Quantum Computing Algorithms and Architecture참고 문헌 35인용 수 12

한 줄 요약

이 논문은 두 명의 당사자가 d차원 양자 상태를 공유할 때, 구기하학과 구삼각형의 부피 계산에 기반한 프로토콜을 사용하여, 두 당사자 간의 이변량 양자 상관관계를 정확히 시뮬레이션하는데 두 비트의 고전적 통신만으로도 충분하다는 것을 보여준다. 이는 이전의 접근 방식에서 무한한 통신이 필요로 했던 바, 유한한 통신—구체적으로는 단지 두 비트—만으로도 양자 비국소적 상관관계를 완전히 재현할 수 있음을 보여주는 장기적인 열린 문제를 해결한다.

ABSTRACT

Assume Alice and Bob share some bipartite $d$-dimensional quantum state. A well-known result in quantum mechanics says that by performing two-outcome measurements, Alice and Bob can produce correlations that cannot be obtained locally, i.e., with shared randomness alone. We show that by using only two bits of communication, Alice and Bob can classically simulate any such correlations. All previous protocols for exact simulation required the communication to grow to infinity with the dimension $d$. Our protocol and analysis are based on a power series method, resembling Krivine's bound on Grothendieck's constant, and on the computation of volumes of spherical tetrahedra.

연구 동기 및 목표

• 두 당사자 간의 임의의 양자 상관관계를 유한한 통신으로 시뮬레이션할 수 있는지 여부라는 열린 문제를 해결하기 위해.
• 공유된 랜덤성으로의 고전적 시뮬레이션(실패함)과 무한한 통신(성공함) 사이의 격차를 메우기 위해, 최소한의 통신 비용을 규명하기 위해.
• 임의의 단위 벡터 a와 b에 대해 E[αβ] = ⟨a,b⟩의 양자 상관관계를 정확히 재현하는 프로토콜을 개발하기 위해, 단지 두 비트의 통신만을 사용한다.
• 구삼각형과 크리브네 유형의 경계에 기반한 기하학적 및 분석적 프레임워크를 제공하여, 두 비트의 충분성을 증명하기 위해.

제안 방법

• 크리브네의 골로텐딕 상수에 대한 경계에 영감을 얻은 멱급수 방법을 사용하여 상관관계의 구조를 분석한다.
• 통신 전략을 구기하학으로 모델링하며, 앨리스의 출력과 전송된 비트에 기반해 단위 구를 영역으로 분할한다.
• 다양한 통신 전략 하에서 상관관계 근사의 오차를 제한하기 위해, 구삼각형의 부피를 계산한다.
• 오르토항 기반의 분할 기법을 사용하며, k=1을 사용하여, 이는 작은 ε의 극한에서 오차를 최소화하는 데 최적임을 보였다.
• 앨리스의 구를 네 개의 집합 R(α,c)로 분할하는 결정론적 프로토콜을 분석하며, 전송된 비트 c에 기반해 보브의 최적 반응을 유도한다.
• 최적성의 엄밀한 증명을 위해, 보르수크-울람 정리의 확장과 위상적 추론이 필요할 것으로 추측된다.

실험 결과

연구 질문

• RQ1 유한한 고전적 통신만으로도 양자 상관관계를 정확히 시뮬레이션할 수 있으며, 만약 가능하다면 최소한의 통신 비용은 얼마인가?
• RQ2 두 비트의 통신만으로도 차원 d에 관계없이 양자 상관관계의 정확한 시뮬레이션을 달성할 수 있는 프로토콜이 존재하는가?
• RQ3 k=1인 오르토항 프로토콜이 작은 ε에서 오차 항 B_n(ε)을 최소화하는 데 최적임을 증명할 수 있는가?
• RQ4 양자 상관관계를 시뮬레이션하는 어떤 프로토콜에서도 통신 트랜스크립트의 최소 엔트로피는 얼마인가?
• RQ5 양자 상관관계를 시뮬레이션하는 어떤 프로토콜이라도, 단일 트랜스크립트의 확률이 높아지는 극한에서도 반드시 비트리스 통신을 포함하는가?

주요 결과

• 두 비트의 고전적 통신으로도, 양자 상태의 차원 d에 관계없이 두 당사자 간의 이변량 양자 상관관계를 정확히 시뮬레이션할 수 있다.
• 제안된 프로토콜은 고차원 구에서의 구삼각형 기하학적 성질과 부피 계산을 활용하여 정확한 시뮬레이션을 달성한다.
• 앨리스의 구를 그녀의 출력과 전송된 비트에 기반해 네 영역으로 분할하는 결정론적 전략을 사용하며, 보브는 오차를 최소화하기 위해 최적의 반응을 한다.
• k=1인 오르토항 프로토콜은 최적일 것으로 추측되며, lim_{n→∞, ε→0} B_n(ε)/ε ≥ 8/π 이다. 이는 점점 커지는 근사에서 오차를 최소화함을 시사한다.
• 최대 트랜스크립트 확률에 대한 하한이 확립되었으며, 어떤 유효한 프로토콜에서도 트랜스크립트가 (3−√2)/2 ≈ 0.79 초과의 확률로 나타날 수 없다. 이는 비트리스 통신이 피할 수 없다는 것을 의미한다.
• 분석 결과, 공유된 랜덤성만으로는 어떤 프로토콜도 양자 상관관계를 시뮬레이션할 수 없으며, 적어도 한 비트의 통신이 필요하고, 두 비트로는 충분하다.