[논문 리뷰] Categorical Operational Physics

Sean Tull|arXiv (Cornell University)|2019. 02. 01.

Quantum Mechanics and Applications참고 문헌 15인용 수 9

한 줄 요약

이 논문은 운영 원리에 기반하여 유한차원 양자 이론을 완전히 범주론적으로 재구성한다. 이는 범주론적 양자역학과 효과스 이론을 확장하며, 확률적 가정 없이 다이어그램 범주론을 통해 순수화, 중첩, 위상과 같은 양자 특성을 유도한다.

ABSTRACT

Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their processes, as described mathematically through the language of category theory. This extends a framework for quantum processes known as categorical quantum mechanics (CQM) due to Abramsky and Coecke. We first consider categorical frameworks for operational theories. We introduce a notion of such theory, based on those of Chiribella, D'Ariano and Perinotti (CDP), but more general than the probabilistic ones typically considered. We establish a correspondence between these and what we call "operational categories", using features introduced by Jacobs et al. in effectus theory, an area of categorical logic to which we provide an operational interpretation. We then see how to pass to a broader category of "super-causal" processes, allowing for the powerful diagrammatic features of CQM. Next we study operational theories themselves. We survey numerous principles that a theory may satisfy, treating them in a basic diagrammatic setting, and relating notions from probabilistic theories, CQM and effectus theory. We provide a new description of superpositions in the category of pure quantum processes, using this to give an abstract construction of the category of Hilbert spaces and linear maps. Finally, we reconstruct finite-dimensional quantum theory itself. More broadly, we give a recipe for recovering a class of generalised quantum theories, before instantiating it with operational principles inspired by an earlier reconstruction due to CDP. This reconstruction is fully categorical, not requiring the usual technical assumptions of probabilistic theories. Specialising to such theories recovers both standard quantum theory and that over real Hilbert spaces.

연구 동기 및 목표

• 범주론을 사용하여 운영 이론의 일반적 프레임워크를 개발하기 위해.
• 범주론적 양자역학, 효과스 이론, 운영 확률 이론을 하나의 범주론적 기초로 통합하기 위해.
• 범주론적 구조를 사용하여 유한차원 양자 이론을 순수한 운영 원리로부터 재구성하기 위해.
• 양자 과정에서의 중첩과 위상의 새로운 추상적 특성화를 제공하기 위해.
• 범주론적 쌍대성과 순수성 개념을 사용하여 양자 재구성에서 확률적 가정을 제거하기 위해.

제안 방법

• 효과스 이론과 운영 확률 이론의 공리에 기반하여, 일반 물리 이론의 과정을 모델링하기 위해 운영 범주를 사용한다.
• 전체화와 코프로덕트를 통해 초인과 과정을 도입하여, 범주론적 양자역학과 유사한 다이어그램적 추론을 가능하게 한다.
• 이중프로덕트, 커널, 최소 확장과 같은 범주론적 구성요소를 사용하여 순수성과 구별 가능성과 같은 양자 특성을 모델링한다.
• 위상 코프로덕트와 도우플러 구조를 사용하여 양자 중첩과 위상 게이트를 추상적으로 특성화한다.
• 운영 원리로부터 컴act 및 도우플러 구조를 도출하여, 이들이 양자 역행성과 쌍대성과 어떻게 연결되는지 밝힌다.
• 치리벨라-다리아노-페리노티의 영감을 받은 공리에 기반한 재구성 조리법을 순수 과정의 범주에 적용한다.

실험 결과

연구 질문

• RQ1 범주론을 사용하여 과정의 조합만으로 운영 물리 이론를 순수하게 어떻게 형식화할 수 있는가?
• RQ2 순수화, 중첩, 위상 게이트와 같은 양자 특성을 뒷받침하는 범주론적 구조는 무엇인가?
• RQ3 확률적 가정 없이, 단지 범주론적 및 운영 원리만을 사용하여 유한차원 양자 이론을 재구성할 수 있는가?
• RQ4 일반적인 운영 범주에서 순수성, 이상적 압축, 최소 확장의 개념은 어떻게 관련되어 있는가?
• RQ5 도우플러 및 컴팩트 구조는 운영 공리에서 양자 이론적 특성을 회복하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 운영 이론과 운영 범주 사이의 대응관계를 확립하여, 후자가 운영 물리학을 위한 자연스러운 범주론적 프레임워크임을 보여준다.
• 논문은 순수 양자 과정의 범주에서 위상 코프로덕트를 사용하여 중첩의 새로운 범주론적 구성요소를 도입한다.
• 이 프레임워크는 확률이나 볼록 구조를 가정하지 않고도, 유한차원 양자 이론을 완전히 재구성할 수 있도록 한다.
• 재구성 과정에서 컴팩트 및 도우플러 범주가 운영 공리로부터 도출되며, 이러한 구조들이 물리적 공리에서 유래됨을 보여준다.
• 힐베르트 공간과 선형 사상의 범주가 순수 과정과 관련된 '잘 행동하는' 범주로 추상적으로 재구성될 수 있음을 증명한다.
• 이 작업은 표준 양자 이론과 실수 양자 이론을 일반화된 양자 이론 프레임워크의 특수한 경우로 복원한다.