[논문 리뷰] Contextuality without incompatibility

John H. Selby, David Schmid외 4명|arXiv (Cornell University)|2021. 06. 16.

Quantum Mechanics and Applications인용 수 4

한 줄 요약

이 논문은 측정의 비가역성이 양자 이론에서 일반화된 비맥락성의 실패를 증명하는 데 필수적이지도 않고 충분히지도 않음을 보여준다. 비가역 측정을 포함하는 모든 맥락성 증명이 오직 가역 측정만을 사용하는 증명으로 재구성될 수 있음을 보여줌으로써, 저자들은 맥락성이 본질적으로 날카롭지 않은 측정에서의 운영 등가성에서 기인하며, 비가역성 때문이 아니라고 밝히며, 양자 비고전성의 핵심 자원을 재정의한다.

ABSTRACT

The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker noncontextuality, one does indeed require sets of incompatible measurements. However, a more broadly applicable notion of classicality is the existence of a generalized-noncontextual ontological model. In particular, this notion can imply constraints on the representation of outcomes even within a single nonprojective measurement. We leverage this fact to demonstrate that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality. Furthermore, we show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements.

연구 동기 및 목표

• 측정의 비가역성이 양자 맥락성의 증명에 필수적이라는 전통적 견해에 도전하기 위해.
• 오직 가역 측정만을 포함하는 상황에서도 일반화된 비맥락성이 위반될 수 있음을 보여주기 위해.
• 맥락성이 비가역성 때문이 아니라 날카롭지 않은 측정에서의 운영 등가성에서 기인한다는 것을 확립하기 위해.
• 비가역 측정을 포함하는 모든 맥락성 증명을 오직 가역 측정만을 사용하는 증명으로 변환하는 구축 가능한 방법을 제공하기 위해.
• 측정의 가역성과 무관하게 운영 등가성이 비고전성의 기초적 역할을 하는 것을 명확히 하기 위해.

제안 방법

• 저자들은 단일 POVM(예: {½𝕀, ½𝕀})의 결과 간 운영 등가성이 온톨로지 모델에 제약을 가하는 준비-측정 상황을 분석한다.
• 그들은 일반화된 비맥락성 원칙을 적용하여, 운영적으로 동등한 절차는 동일한 온톨로지 표현을 가져야 한다고 요구한다.
• 비맥락적으로 실현 가능한 공동 분포 P(y,s)의 하이퍼콘을 구성하고 선형 프로그래밍을 통해 그 면을 정의하는 부등식을 식별한다.
• 비맥락성 부등식 C ≥ 0를 유도하며, 여기서 C = q(p₁|₀ + p₁|₂) + (q−1)p₂|₀ + p₀|₂ − (q+1)p₁|₁ 이고, 양자 실현이 이를 위반함을 보여준다.
• 양자 상태와 POVM(예: q ≈ 0.6 인 M(q))가 C ≥ 0 위반, 구체적으로 C ≈ −0.138 를 유도함으로써 비맥락적 모델을 배제함을 보여준다.
• 비가역 측정을 포함하는 모든 맥락성 증명이 준비 설정의 플래그-볼록화를 통해 오직 가역 측정만을 사용하는 등가 증명으로 변환될 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 측정의 비가역성은 양자 이론에서 일반화된 비맥락성의 실패를 증명하는 데 필수적인가?
• RQ2 비가역 측정이 전혀 없는 준비-측정 상황에서 맥락성을 입증할 수 있는가?
• RQ3 단일 날카롭지 않은 측정의 결과 간 운영 등가성이 맥락성을 생성하는 데 어떤 역할을 하는가?
• RQ4 비가역 측정을 포함하는 맥락성 증명은 항상 오직 가역 측정만을 사용하는 증명으로 재구성할 수 있는가?
• RQ5 맥락성의 근본적 자원은 측정의 비가역성인지, 아니면 날카롭지 않은 측정에서의 운영 등가성인가?

주요 결과

• 논문은 측정의 비가역성이 맥락성에 필수적이지 않음을 증명한다: 비가역 측정을 포함하는 모든 맥락성 증명은 오직 가역 측정만을 사용하는 증명으로 변환될 수 있다.
• 비맥락성 부등식 C ≥ 0 의 특정 위반 사례가 입증되며, M(q) 양자 실현에서 C ≈ −0.138 로 나타나 비맥락적 모델을 배제한다.
• 단일 날카롭지 않은 POVM(예: {½𝕀, ½𝕀})의 결과 간 비자명한 운영 등가성의 존재는 온톨로지 모델에 비자명한 제약을 가하며, 비가역성 없이도 맥락성을 가능하게 한다.
• 결과는 맥락성이 본질적으로 비가역성과 연결되어 있지 않으며, 날카롭지 않은 측정에서의 운영 등가성의 구조에서 기인한다는 것을 보여준다.
• 일반화된 비맥락성의 프레임워크는 단일 날카롭지 않은 측정에 적용될 수 있으며, 비가역성이 없이도 맥락성을 이끄는 비자명한 제약을 드러낸다.
• 저자들은 참조문헌 [25]에서 비가역성이 맥락성에 필수적이고 충분하다는 주장을 반박하며, 제한된 상태 집합과 같은 현실적인 가정 하에서는 성립하지 않음을 보여준다.