[논문 리뷰] Contextuality beyond the Kochen-Specker theorem

Ravi Kunjwal|arXiv (Cornell University)|2016. 12. 21.

Quantum Mechanics and Applications참고 문헌 75인용 수 11

한 줄 요약

이 학위논문은 코헨-스피커 정리의 한계를 넘어서, 결정론적 숨겨진 변수를 가정하지 않는 운영적 프레임워크를 개발하여 연역성의 범위를 확장한다. 비결정론적 가정 없이 비연역성 부등식을 도입하고, n-사이클 시나리오로 연역성을 일반화하며, 스펙커의 시나리오와 더 넓은 양자 기초 이론 간의 다리를 놓는다. 이는 벨 유형의 가정 없이 단일 시스템 시나리오에서 연역성의 실험적 검증을 가능하게 한다.

ABSTRACT

When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.

연구 동기 및 목표

• 코헨-스피커 정리의 가정, 특히 결정론적 숨겨진 변수의 가정을 초월하는 연역성 프레임워크를 개발하는 것.
• 스펙커의 원래 비연역성 할당에 대한 비유를 확장하여 임의의 n-사이클 호환성 시나리오로 연역성을 일반화하는 것.
• 결정론을 가정하지 않고 비연역성 부등식을 도출하여, 단일 시스템 시나리오에서의 연역성 실험적 검증을 가능하게 하는 것.
• 운영적 접근과 그래프 이론적 접근을 통합하여, 특히 스펙켄스의 운영적 프레임워크와 연역성 시나리오의 그래프 이론적 특성화 간의 연결을 맺는 것.
• 양자 정보에서 연역성을 자원으로서 탐색하며, 노이즈에 대한 강건성과 측정 기반 양자 계산에서의 역할을 다루는 것.

제안 방법

• 스펙커의 운영적 프레임워크를 적응하여, 공동 측정 가능성 구조를 사용함으로써 결정론을 가정하지 않고 비연역성 부등식을 도출한다.
• 호환성 관계를 그래프로 모델링하고, 그 결과 도출된 비연역성 부등식을 분석함으로써 연역성을 n-사이클 호환성 시나리오로 일반화한다.
• 그래프 이론적 도구를 활용하여 연역성 시나리오를 특성화하고, 코헨-스피커 그래프 프레임워크와 연결하며, 비프로젝션 관측량으로까지 이를 확장한다.
• 이 프레임워크를 사용해 노이즈 하에서 연역성의 강건성을 분석하고, 얽힘과 비국소성의 경우와 유사한 '연역성 파괴 채널'을 정의한다.
• 이 형식을 적용하여, 마조르크 등(2015) 실험에서 구현된 바와 같은 단일 시스템 시나리오에서의 연역성 실험적 검증을 도출한다.
• 고전적 시뮬레이션에서의 지식 제약과 그 한계를 분석함으로써 연역성과 다른 양자 특성 간의 관계를 탐색한다.

실험 결과

연구 질문

• RQ1 코헨-스피커 정리와 마찬가지로 결정론적 숨겨진 변수를 가정하지 않는 운영적 프레임워크에서 연역성을 어떻게 정의할 수 있는가?
• RQ2 스펙커의 시나리오에서 임의의 n-사이클 호환성 구조로 연역성을 어떻게 일반화할 수 있는가?
• RQ3 결정론을 가정하지 않을 경우 도출할 수 있는 비연역성 부등식은 무엇이며, 그것이 어떻게 실험적 검증을 가능하게 하는가?
• RQ4 비국소성은 연역성의 특수한 경우라는 통상적인 믿음 외에, 벨 비국소성과 연역성 간의 관계는 어떠한가?
• RQ5 연역성을 양자 정보에서 자원으로 정량화할 수 있으며, 노이즈와 디코herence에 대해 얼마나 강건한가?

주요 결과

• 학위논문은 결정론을 가정하지 않고 비연역성 부등식을 도출하여, 마조르크 등(2015) 실험에서처럼 단일 시스템 시나리오에서의 연역성 실험적 검증을 가능하게 하였다.
• 이 연구는 n-사이클 호환성 시나리오로 연역성을 일반화하여, 임의의 순환 공동 측정 가능성 구조에서의 연역성 분석을 위한 체계적인 프레임워크를 제공한다.
• 이 작업은 그래프 이론적 특성화와 스펙켄스의 운영적 프레임워크 사이에 정량적 다리를 놓아, 두 주요 접근 방식을 통합한다.
• 노이즈 하에서 연역성이 강건하게 분석될 수 있음을 규명하였으며, 얽힘과 비국소성의 경우와 유사한 '연역성 파괴 채널'을 정의할 가능성이 있다.
• 이 프레임워크는 비프로젝션 관측량을 포함한 시나리오에서의 연역성 탐지가 가능하게 하여, 그래프 이론적 접근의 적용 범위를 확장한다.
• 결과는 연역성이 측정 기반 양자 계산에서 특히 중요한 기초 자원이며, 벨 유형의 가정 없이도 확인 가능하다는 견해를 지지한다.