[논문 리뷰] A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality

Samson Abramsky, Adam Brandenburger|arXiv (Cornell University)|2011. 02. 01.

Quantum Mechanics and Applications참고 문헌 36인용 수 6

한 줄 요약

이 논문은 단순화된 이론과 층 이론을 사용하여 양자 시스템에서 국소성과 문맥성의 특성을 특성화하기 위한 통합된 층 이론적 프레임워크를 제시한다. 이는 숨겨진 변수 모델이 존재할 때만 경험적 모델이 확장 가능하다는 것을 증명하며, 이는 측정 간의 불가분성(불일치성)이 양자역학에서 국소성과 문맥성의 행동의 핵심 원인임을 규명한다.

ABSTRACT

A number of landmark results in the foundations of quantum mechanics show that quantum systems exhibit behaviour that defies explanation in classical terms, and that cannot be accounted for in such terms even by postulating “hidden variables” as additional unobserved factors. Much has been written on these matters, but there is surprisingly little unanimity even on basic definitions or the inter-relationships among the various concepts and results. We use the mathematical language of sheaves and monads to give a very general and mathematically robust description of the behaviour of systems in which one or more measurements can be selected, and one or more outcomes observed. We say that an empirical model is extendable if it can be extended consistently to all sets of measurements, regardless of compatibility. A hidden-variable model is factorizable if, for each value of the hidden variable, it factors as a product of distributions on the basic measurements. We prove that an empirical model is extendable if and only if there is a factorizable hidden-variable model which realizes it. From this we are able to prove generalized versions of well-known No-Go theorems. At the conceptual level, our equivalence result says that the existence of incompatible measurements is the essential ingredient in non-local and contextual behavior in quantum mechanics.

연구 동기 및 목표

• 양자역학의 기초에서 국소성과 문맥성에 대한 개념적 및 정의적 모순을 해결하기 위해.
• 양자 시스템에서 측정 행동을 기하학적으로 엄밀하고 일반적인 프레임워크로 기술하기 위해.
• 경험적 모델의 확장 가능성과 인수분해 가능한 은닉 변수 모델의 존재 가능성 간의 관계를 명확히 하기 위해.
• 층 이론적 도구를 사용하여 잘 알려진 금지 정리들을 일반화하기 위해.
• 측정 간 불가분성이 양자 시스템에서 국소성과 문맥성의 행동의 근본적 근원임을 규명하기 위해.

제안 방법

• 논문은 측정 맥락 간의 경험적 데이터를 모델링하기 위해 층 이론을 활용하며, 결과를 측정 맥락 위의 섹션으로 간주한다.
• 경험적 모델의 구조와 겹치는 측정 집합 간의 일관성 조건을 형식화하기 위해 단순화된 이론을 도입한다.
• 확장 가능성은 모든 가능한 측정 조합에 대해 전역 섹션의 존재로 정의된다. 이는 가용성 여부와는 무관하다.
• 은닉 변수 모델의 인수분해 가능성은 개별 측정에 대한 곱 측도로 공동 분포를 분해하는 것으로 형식화된다.
• 범주론을 사용하여 다양한 문맥성과 국소성의 개념을 하나의 수학적 구조 아래 통합한다.
• 확장 가능성과 인수분해 가능성 간의 등가성 증명은 층 이론적 맥락 내에서 코homological 및 범주론적 기법에 의존한다.

실험 결과

연구 질문

• RQ1 측정 간의 가용성 여부와 관계없이, 경험적 모델이 모든 측정 맥락에 걸쳐 일관되게 확장될 수 있는 조건은 무엇인가?
• RQ2 은닉 변수 모델이 측정 간에 인수분해될 수 있는 정확한 수학적 특성은 무엇인가?
• RQ3 측정 간 불가분성은 양자 시스템에서 국소성과 문맥성의 행동이 어떻게 발생하는가와 어떤 관련이 있는가?
• RQ4 코헨-스피커 정리와 벨의 정리와 같은 잘 알려진 금지 정리는 이 일반 프레임워크 내에서 특수한 경우로 유도될 수 있는가?
• RQ5 층 이론적 일관성 조건이 고전적 행동과 양자적 행동을 구분하는 데 정확히 어떤 역할을 하는가?

주요 결과

• 경험적 모델이 확장 가능하다는 것은, 즉 모든 측정 맥락에 걸쳐 결과의 전역 할당이 가능하다는 것은, 그 모델을 재현할 수 있는 인수분해 가능한 은닉 변수 모델이 존재할 때이고, 그 경우에만 성립한다.
• 확장 가능성과 인수분해 가능성 간의 등가성은 측정 간 불가분성이 원인임을 고려할 때, 국소성과 문맥성을 통합적으로 이해할 수 있는 기초를 제공한다.
• 이 프레임워크는 벨의 정리와 코헨-스피커 정리를 더 넓은 층 이론적 원리의 특수한 경우로 일반화한다.
• 수학적 구조는 측정 간 불가분성이 양자역학에서 국소성과 문맥성의 행동에 필수적인 자원임을 드러낸다.
• 층과 단순화된 이론의 사용은 경험적 모델과 그 실현 가능성에 대해 정확하고 범주론적인 기술을 가능하게 하여 이전 접근법의 모호함을 해결한다.
• 결과적으로, 확장이 불가능한 모든 경험적 모델은 측정 맥락의 구조에 따라 본질적으로 문맥성 또는 비국소성임을 보여준다.