[논문 리뷰] Sheaf-Theoretic Methods in Quantum Mechanics and Quantum Information Theory

Carmen Constantin|arXiv (Cornell University)|2015. 10. 09.

Quantum Mechanics and Applications참고 문헌 109인용 수 4

한 줄 요약

이 학위논문은 군집론적 및 토포스 이론적 프레임워크를 적용하여 콘텍스츄얼리티, 비국소성, 얽힘과 같은 기초 양자 현상을 분석한다. 논문은 콘텍스츄얼리티의 삼중 수준 계층을 제안하고, 모든 n-qubit 얽힌 상태—단일 큐비트 및 벨 상태의 텐서 곱을 제외한 나머지—가 논리적으로 비국소적임을 증명하며, 이를 확인할 수 있는 구조적 알고리즘을 제시한다.

ABSTRACT

In this thesis we use the language of sheaf theory in order to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-locality - between quantum and classical physics. We first present, based on the work of Abramsky and Brandenburger, how sheaves, defined over certain posets of physically meaningful contexts, give a natural setting for capturing and analysing important quantum mechanical phenomena, such as quantum non-locality and contextuality. We also describe how this setting naturally leads to a three level hierarchy of quantum contextuality: weak contextuality, logical non-locality and strong contextuality. We use these insights in order to classify certain multipartite entangled states. Almost all of these turn out to be at least logically non-local, and a number of them even turn out to be strongly contextual. We further extend this result by showing that all n-qubit entangled states, with the exception of tensor products of single-qubit and bipartite maximally-entangled states, are logically non-local. Our proof is constructive: given any n-qubit state, we present an algorithm which produces n+2 local observables witnessing its logical non-locality. In the second half of the thesis we use the same basic principle of sheaves defined over physically meaningful contexts, in order to present an elegant mathematical language, known under the name of the Topos Approach, in which many quantum mechanical concepts, such as states, observables, and propositions about these, can be expressed. We then show that the language of the Topos Approach is as least as expressive, in logical terms, as traditional quantum logic. Finally, starting from a topos-theoretic perspective, we develop the construction of contextual entropy in order to give a unified treatment of classical and quantum notions of information theoretic entropy.

연구 동기 및 목표

• 물리적으로 의미 있는 콘텍스트 위에서 군집론을 활용하여 양자-고전적 차이—얽힘, 콘텍스츄얼리티, 비국소성—를 이해하기.
• 기존에 알려지지 않은 다중편자 얽힌 상태의 새로운 클래스인 '기능적 의존성이 있는 균형 상태'를 군집론적 콘텍스츄얼리티를 통해 분류하기.
• 군집론적 통찰을 토포스 접근법으로 확장하여 양자 상태, 관측량, 명제를 위한 통합된 수학적 언어 제공하기.
• 토포스 접근법이 기존 양자 논리만큼 표현력이 뛰어나다는 것을 보여주기.
• 토포스 프레임워크 내에서 연역적 엔트로피를 정의하고 고전적 및 양자 정보이론적 엔트로피 개념을 통합하기.

제안 방법

• 측정 콘텍스트의 부분순서집합 위에서 군집론을 사용하여 양자 시스템을 모델링하고, Abramsky-Brandenburger 프레임워크를 활용해 콘텍스츄얼리티와 비국소성을 수학적으로 형식화하기.
• 군집론 코homology에서 전역 단면의 장애를 이용해 콘텍스츄얼리티의 세 수준—약한 콘텍스츄얼리티, 논리적 비국소성, 강한 콘텍스츄얼리티—를 정의하기.
• 순열적으로 비대칭인 상태에 대한 다항식 기반 분류법을 구축하고, 기능적 의존도의 정도를 통해 그들의 콘텍스츄얼리티 분석하기.
• 임의의 n-큐비트 얽힌 상태에서 논리적 비국소성을 증명하는 데 사용할 수 있는 n+2개의 국소 관측량을 생성하는 구조적 알고리즘 개발하기.
• 토포스 접근법을 적용하여 스펙트럼 프레샤프 위의 측도로 양자 상태를 표현하고, daseinisation와 C*-대수의 Gelfand 대칭을 사용하기.
• 연역적 엔트로피를 군집론적 상태 위의 측도로 정의하여 샤논 및 본 네만 엔트로피를 일반화하고, 국소 추적과 콘텍스트 위의 측도를 통합하기.

실험 결과

연구 질문

• RQ1 다중편자 얽힌 상태 중에서 어떤 상태들이 논리적 비국소성을 보이며, 이를 체계적으로 분류할 수 있는가?
• RQ2 임의의 n-큐비트 얽힌 상태에서 논리적 비국소성을 증명하는 국소 관측량을 식별할 수 있는 구조적 알고리즘을 개발할 수 있는가?
• RQ3 토포스 이론적 언어가 기존 양자 논리만큼 표현력이 높은가에 대해 어느 정도까지 성립하는가?
• RQ4 연역적 엔트로피는 어떻게 정의되고 고전적 및 양자 정보이론적 엔트로피 개념을 통합하는 데 사용될 수 있는가?
• RQ5 토포스 접근법을 통해 전역 단면의 군집론적 구조로부터 순수 및 임의의 양자 상태를 재구성할 수 있는가?

주요 결과

• 단일 큐비트 상태와 이원자 최대 얽힌 상태의 텐서 곱을 제외한 모든 n-큐비트 얽힌 상태는 논리적으로 비국소적이다.
• 임의의 n-큐비트 얽힌 상태에서 논리적 비국소성을 증명하는 데 사용할 수 있는 n+2개의 국소 관측량을 생성하는 구조적 알고리즘이 제시된다.
• 기능적 의존성이 있는 균형 상태의 클래스는 최소한 논리적으로 비국소적인 상태를 포함하며, 일부는 강한 콘텍스츄얼리티를 띤다.
• 토포스 접근법이 기존 양자 논리만큼 표현력이 뛰어나며, 토포스 프레임워크에서 명제 논리의 체계적 재구성이 가능함을 입증하였다.
• 연역적 엔트로피는 샤논 및 본 네만 엔트로피의 군집론적 일반화로 정의되며, 국소 추적에 대해 성질가 유지된다.
• 얽힌 콘텍스트에서 엔트로피의 하위가환성에 대한 반례를 구성하여, 토포스 프레임워크 내에서 연역적 엔트로피의 일반적인 하위가환성 실패를 입증하였다.