[논문 리뷰] Equivalence of contextuality and Wigner function negativity in continuous-variable quantum optics

Jonas Haferkamp, Juan Bermejo-Vega|arXiv (Cornell University)|2021. 12. 29.

Quantum Mechanics and Applications인용 수 4

한 줄 요약

이 논문은 연속변수 양자광학에서 비틀림성과 위그너 함수의 음성 간 엄밀한 등가성을 확립하며, 가우시안 양자 시스템에 대한 비맥락적 은닉변수 모델이 정확히 음이 아닌 위그너 표현과 대응됨을 증명한다. 주요 결과는 비틀림성과 위그너 음성 모두가 비고전성의 동치 개념이며, 가우시안 광학에서 양자 계산의 초월성 자원으로 필수적이라는 것이다.

ABSTRACT

One of the central foundational questions of physics is to identify what makes a system quantum as opposed to classical. One seminal notion of classicality of a quantum system is the existence of a non-contextual hidden variable model as introduced in the early work by Bell, Kochen and Specker. In quantum optics, the non-negativity of the Wigner function is a ubiquitous notion of classicality. In this work we establish an equivalence between these two concepts. In particular, we show that any non-contextual hidden variable model for Gaussian quantum optics has an alternative non-negative Wigner function description. Conversely, it was known that the Wigner representation provides a non-negative non-contextual description of Gaussian quantum optics. It follows that contextuality and Wigner negativity are equivalent notions of non-classicality and equivalent resources for this quantum subtheory. In particular, both contextuality and Wigner negativity are necessary for a computational speed-up of quantum Gaussian optics. At the technical level, our result holds true for any subfamily of Gaussian measurements that include homodyne measurements, i.e., measurements of standard quadrature observables.

연구 동기 및 목표

• 연속변수 양자광학에서 양자 시스템과 고전 시스템을 어떻게 구분할 수 있는지에 대한 기초적 질문을 해결하기 위해.
• 비틀림성(비맥락적 은닉변수 모델을 통한 정의)과 위그너 함수 음성이라는 두 가지 중심적인 비고전성 개념 간의 관계를 명확히 하기 위해.
• 가우시안 양자광학에서 비맥락성이 음이 아닌 위그너 표현의 존재와 동치임을 확립하기 위해.
• 연속변수 시스템에서의 양자 계산의 초월성 자원으로서 비틀림성과 위그너 음성이 모두 필수적임을 보여주기 위해.
• 이 equivalence를 기존 이산변수 시스템(예: 홀수 차원 큐디트)으로부터 연속변수 영역으로 확장하여, 전체 가우시안 연산과 변환까지 포함시키기 위해.

제안 방법

• 이산변수 시스템에서의 증명 기법(Delfosse 등, 2015)을 연속변수 설정으로 적응하여, 위상공간 함수의 적분 가능성과 측도론적 성질에 중점을 두었다.
• Spekkens의 비틀림성 일반 프레임워크(2005)를 활용하여, 가우시안 양자광학에 대한 비맥락적 은닉변수 모델을 정의하였으며, 이는 상태 준비, 측정, 변환을 포함한다.
• 모든 비맥락적 모델이 가우시안 시스템에 대해 동측 측정를 수행할 경우 음이 아닌 위그너 함수 표현을 가져야 한다는 것을 증명함(정리 5).
• 위그너 표현이 전체 가우시안 하위이론에 대한 비맥락적 은닉변수 모델로서 유일함을 보였다.
• 위그너 함수의 채널에 대한 조합 법칙($W_{\rho_2 \rho_1} = W_{\rho_2} W_{\rho_1}$)을 활용하여 등가성을 순차적 및 역학적 비틀림성으로 확장하였다.
• Sheaf-이론적 비틀림성 프레임워크를 사용한 별개의 연구(Booth 등, 2021)와 비교하여, 연속변수 확장에서 일관성을 확인하였다.

실험 결과

연구 질문

• RQ1 연속변수 양자광학에서 비틀림성은 가우시안 상태 및 측정에 대해 위그너 함수 음성과 동치인가?
• RQ2 가우시안 양자광학에 대한 비맥락적 은닉변수 모델은 음이 아닌 위그너 함수 표현으로 완전히 특징지을 수 있는가?
• RQ3 비틀림성과 위그너 음성 간의 등가성은 전체 가우시안 연산, 즉 양자 채널과 변환까지 확장되는가?
• RQ4 위그너 함수 음성과 비틀림성은 연속변수 양자계산에서의 양자 계산 초월성에 어떤 역할을 하는가?
• RQ5 이산변수 시스템에서의 알려진 결과와 비교할 때, 연속변수 영역에서의 등가성은 특히 홀수 차원 큐디트에 대해 어떻게 다를까?

주요 결과

• 논문은 가우시안 양자광학에서 동측 측정에 대한 비맥락성이 음이 아닌 위그너 함수와 동치임을 증명한다(정리 5).
• 가우시안 양자광학에 대한 모든 비맥락적 은닉변수 모델은 유일한 음이 아닌 위그너 함수 표현을 갖는다. 이는 위그너 함수가 표준 비맥락적 모델임을 확인한다.
• 반대로, 음이 아닌 위그너 함수의 존재는 시스템이 비맥락적 은닉변수 기술을 갖는다는 것을 의미하며, 이는 双방향 등가성을 확인한다.
• 등가성은 전체 가우시안 하위이론까지 확장되며, 이는 모든 가우시안 상태, 측정, 완전히 정규화된 양성 트레이스 보존(CPTP) 사상이 포함된다. 이는 위그너 함수의 잘 정의된 조합 법칙 덕분이다.
• 비틀림성과 위그너 함수 음성은 연속변수 양자광학에서의 양자 계산 초월성에 있어 모두 필수적이다. 이 둘 모두가 효율적인 고전적 시뮬레이션을 배제하기 때문이다.
• 결과적으로 위그너 함수는 전체 보제닉 가우시안 하위이론에 대해 유일한 비맥락적 은닉변수 모델임을 시사하며, 연속변수 양자기초 이론에서의 기초적 질문을 해결한다.