[논문 리뷰] A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games

Ben W. Reichardt, Falk Unger외 1명|arXiv (Cornell University)|2012. 09. 03.

Quantum Information and Cryptography인용 수 26

한 줄 요약

이 논문은 고전적 검증자가 CHSH 게임의 강성( rigidity)을 통해 양자 시스템을 엄격히 인증하고 제어할 수 있음을 보여주며, 최적에 가까운 CHSH 게임 성능은 시스템이 EPR entanglement와 특정 측정을 수행하고 있음을 반드시 의미함을 증명한다. 핵심 기여는 티셔르손 부등식의 강건한 역성질을 제시한 것으로, 이는 장치 독립형 양자 키 분배와 검증된 양자 계산을 가능하게 한다.

ABSTRACT

Can a classical system command a general adversarial quantum system to realize arbitrary quantum dynamics? If so, then we could realize the dream of device-independent quantum cryptography: using untrusted quantum devices to establish a shared random key, with security based on the correctness of quantum mechanics. It would also allow for testing whether a claimed quantum computer is truly quantum. Here we report a technique by which a classical system can certify the joint, entangled state of a bipartite quantum system, as well as command the application of specific operators on each subsystem. This is accomplished by showing a strong converse to Tsirelson's optimality result for the Clauser-Horne-Shimony-Holt (CHSH) game: the only way to win many games is if the bipartite state is close to the tensor product of EPR states, and the measurements are the optimal CHSH measurements on successive qubits. This leads directly to a scheme for device-independent quantum key distribution. Control over the state and operators can also be leveraged to create more elaborate protocols for realizing general quantum circuits, and to establish that QMIP = MIP*.

연구 동기 및 목표

• 고전적 시스템이 내부 구조에 대한 가정 없이 신뢰할 수 없는 양자 장치를 검증하고 제어할 수 있는지에 대한 근본적 문제를 해결하기 위해.
• 이전 방법들이 신뢰할 수 있는 장치나 메모리 없는 가정이 필요로 하는 한계를 극복하고, 장치 독립형 양자 키 분배(DIQKD) 프레임워크를 수립하기 위해.
• 비국소 게임 상관관계를 통해 고전적 프로버가 양자 시스템에 특정한 양자 역학적 동역학을 강제할 수 있도록 하여 검증된 양자 계산을 가능하게 하기 위해.
• 반복된 CHSH 게임에서 최적에 가까운 성능을 내면, 해당 시스템의 상태와 측정이 텐서곱 구조를 가진 EPR 상태와 최적 측정임을 증명하기 위해.
• QMIP = MIP*임을 증명함으로써 양자 복잡도 이론에서 오랫동안 미해결이었던 문제를 해결하기 위해.

제안 방법

• CHSH 비국소 게임의 강성을 활용: 최적에 가까운 양자 위반을 달성하는 모든 전략은 이상적인 EPR 전략과 등가임을 보여줌.
• 티셔르손 부등식의 강건한 역성질을 증명하여, 만약 시스템이 높은 확률로 많은 CHSH 게임에서 승리한다면, 그 상태와 측정이 EPR 상태와 파울리 측정에 가까워야 함을 보임.
• 순차적 게임 조합을 사용하여 강성을 다중 큐비트로 확장함으로써, 반복된 CHSH 게임이 하위계 간의 텐서곱 구조를 강제함을 입증함.
• 양자 데 피네티 정리와 상태 토모그래피 프로토콜을 적용하여, X 및 Z 기저에서 관측된 상관관계로부터 양자 상태와 과정을 재구성함.
• 이deal 전략을 통한 시뮬레이션 추론을 통해, 거의 최적의 전략은 항상 EPR 상태와 파울리 측정의 텐서곱으로 근사 가능함을 보임.
• 마르코프 유사 부등식과 연산자 노름 근사치를 사용하여 측정 연산자의 이상치를 제한함으로써, 강건한 인증을 가능하게 함.

실험 결과

연구 질문

• RQ1 고전적 시스템은 신뢰할 수 없는 양자 장치에 얽힘의 존재를 검증하고 특정한 양자 연산을 강제할 수 있는가?
• RQ2 양자 시스템이 EPR 얽힘과 최적의 CHSH 측정을 구현하고 있음을 강건하고 장치 독립적인 방식으로 인증할 수 있는가?
• RQ3 CHSH 게임의 강성은 다중 라운드로 확장되어 다중 큐비트 얽힌 상태와 유니터리 동역학을 인증할 수 있는가?
• RQ4 반복된 CHSH 게임에서 최적에 가까운 성능은 기저가 되는 양자 상태와 측정의 텐서곱 구조를 암시하는가?
• RQ5 이 프레임워크를 통해 양자 다중 프로버 인터랙티브 프로토콜(QMIP)이 MIP*와 동일함을 증명할 수 있는가?

주요 결과

• 고전적 검증자는 양자 시스템이 EPR 쌍의 텐서곱에 가까운 상태에 있을 것임을 검증할 수 있으며, 연산자 노름 기준 오차는 O(ε^{1/144}) 이내이다.
• 각 하위계에서의 측정 연산자가 파울리 X, Y, Z 연산자에 가까워야 하며, 관련 노름 기준 오차는 O(ε^{1/144}) 이내이다.
• 관측된 X 및 Z 기저 상관관계로부터 상태와 동역학을 토모그래피적으로 재구성할 수 있어, 사전 지식 없이도 전체 특성을 특성화할 수 있다.
• 장치를 신뢰하지 않고도 얽힘과 측정 결과를 인증함으로써, 장치 독립형 양자 키 분배가 가능해진다.
• 강성 결과는 강건하다: CHSH 게임을 확률 1−ε로 승리하는 모든 전략은 연산자 노름 기준으로 이상적인 EPR 전략으로부터 O(ε^{1/144}) 이내에 있어야 한다.
• 이 프레임워크는 QMIP = MIP*임을 입증하여, 얽힘을 가진 양자 다중 프로버 인터랙티브 프로토콜이 얽힘을 가진 고전적 프로토콜과 동등한 능력을 지닌다는 것을 보여준다.