[논문 리뷰] Optimal robust quantum self-testing by binary nonlocal XOR games

Carl A. Miller, Yaoyun Shi|arXiv (Cornell University)|2012. 07. 07.

Quantum Computing Algorithms and Architecture인용 수 27

한 줄 요약

이 논문은 이진 비국소 XOR 게임이 최적의 강건한 양자 자기검증을 가능하게 하는 단순한 기준을 수립한다. 이 기준은 두 번째 차수 오차 항(O(√ε))을 포함한다. 이는 CHSH 게임과 Acín 등이 제안한 난수 생성 게임의 가족이 최적의 강건성 자기검증을 가능하게 함을 증명한다. 이는 실험적 오차를 수용하면서도 보안성과 난수 보장성을 유지하는 장치 독립형 양자 프로토콜을 가능하게 한다.

ABSTRACT

Self-testing a quantum device means verifying the existence of a certain quantum state as well as the effect of the associated measurements based only on the statistics of the measurement outcomes. Robust, i.e., error-tolerant, self-testing quantum devices are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted quantum devices. We give a criterion which determines whether a given binary XOR game is robust self-testing with the asymptotically optimal error parameter. As an application, we prove that the celebrated CHSH game is an optimally robust self-test. We also prove the same for a family of tests recently proposed by Acin et al. (PRL 108:100402, 2012) for random number generation, thus extending the benefit of the latter tests to allow imperfect or untrusted quantum devices.

연구 동기 및 목표

• 이진 비국소 XOR 게임이 최적의 두 번째 차수 오차 항(O(√ε))을 가진 강건한 자기검증을 가능하게 하는 일반적이고 검증 가능한 기준을 개발하는 것.
• CHSH 게임이 최적의 강건한 자기검증임을 증명하고, 이는 이전의 오차 한계를 향상시킨다.
• 최근 Acín 등이 제안한 양자 난수 생성을 위한 비국소 게임의 가정에 최적의 강건성을 확장하는 것.
• 다변수 삼각함수와 그 헤시안 행렬을 기반으로 한 통합 프레임워크를 제시하여 양자 비국소 게임에서의 강건한 자기검증을 분석하는 것.

제안 방법

• 저자는 게임의 수식 함수에서 유도된 다항식 Pf를 이진 XOR 게임 f에 대해 정의한다.
• 최적의 양자 점수는 다변수 삼각함수 Zf(θ1,…,θn)의 최댓값으로 표현되며, 이는 Werner와 Wolf의 구성 방식을 일반화한 것이다.
• 강건한 자기검증은 Zf의 국소적 및 전역적 성질을 분석함으로써 결정되며, 특히 최댓값에서의 헤시안 행렬의 비특이성에 초점이 맞춰져 있다.
• 기준은 Zf의 최댓값이 대칭성에 대해 유일하고, 이 최댓값에서의 헤시안 행렬이 비특이해야 한다는 조건을 요구한다.
• 증명은 분해 정리를 통해 일반적인 양자 전략을 n-qubit 전략으로 환원함으로써 유한 차원 힐베르트 공간 분석을 가능하게 한다.
• 강건성 한계는 점수의 편차 ε을 양자 상태와 측정이 목표 구성과의 유사도(밀도)와 연결함으로써 유도되며, 이로 인해 O(√ε) 오차 항이 도출된다.

실험 결과

연구 질문

• RQ1 이진 XOR 게임이 O(√ε) 오차를 가진 최적의 강건한 자기검증을 가능하게 하는 단순하고 일반적인 기준을 수립할 수 있는가?
• RQ2 CHSH 게임은 최적의 강건한 자기검증이며, 가장 좋은 가능한 오차 스케일링을 달성하는가?
• RQ3 Acín 등이 난수 생성을 위해 제안한 비국소 게임도 강건한 자기검증을 가능하게 하는가, 그리고 실험적 노이즈 하에서도 그 이점을 유지하는가?
• RQ4 자기검증의 강건성은 최댓값에서 점수 함수의 헤시안 행렬만으로도 결정될 수 있는가?

주요 결과

• CHSH 게임은 제안된 기준을 충족한다: 점수 함수는 대칭성에 대해 유일한 최댓값을 가지며, 이 최댓값에서의 헤시안 행렬은 비특이하다. 이는 최적의 두 번째 차수 강건한 자기검증임을 확인한다.
• Acín 등이 난수 확장 목적으로 도입한 hα 게임 가족(α > 1)도 이 기준을 충족하여 최적의 강건한 자기검증임을 증명한다.
• 강건성 한계는 O(√ε)이며, 이는 상수를 제외한 최고의 가능한 오차 스케일링이며, 이전 결과의 O(ε^{1/4}) 또는 O(ε^{1/2}) 오차 항보다 향상된 것이다.
• 밀도 bound ‖(U₁⊗⋯⊗Uₙ)Φ − χ⊗Γ‖ ≤ K√ε에서의 강건성 계수 K는 함수 Zf로부터 명시적으로 결정될 수 있으며, 게임 매개변수에 대한 최적화를 가능하게 한다.
• 분석은 3명의 플레이어가 참가하는 GHZ 게임도 최적의 강건한 자기검증임을 확인한다. 이는 이전 결과와 일치하지만, 이제는 새로운 기준을 통해 증명된 것이다.
• 이 프레임워크는 기존 자기검증 결과를 통합하고 일반화하며, 점수 함수의 헤시안에 대한 해석적 조건으로 환원함으로써 새로운 최적의 자기검증을系통적으로 발견할 수 있게 한다.