[논문 리뷰] Operational Theories of Physics as Categories

Sean Tull|arXiv (Cornell University)|2016. 02. 19.

Advanced Algebra and Logic참고 문헌 24인용 수 11

한 줄 요약

이 논문은 물리학의 운영-확률 이론을 모델링하기 위한 범주론적 프레임워크로 운영 범주를 소개한다. Chiribella 등이 제안한 인과적 운영-확률 이론을 일반화한 것으로, 총계 및 부분 형태의 운영 범주와 운영 이론에 제어 기능이 있는 이론(OTC) 사이의 대응 관계를 수립한다. 이는 모든 OTC가 부분 범주 Par(B)에서 코프로덕트를 사용해 직합을 갖는 이론으로 완성될 수 있음을 보여주며, 범주론적 논리의 핵심 개념인 효과스(effectuses)를 이러한 이론의 부분집합으로 식별한다.

ABSTRACT

We introduce a new approach to the study of operational theories of physics using category theory. We define a generalisation of the (causal) operational-probabilistic theories of Chiribella et al. and establish their correspondence with our new notion of an operational category. Our work is based on effectus theory, a recently developed area of categorical logic, to which we give an operational interpretation, demonstrating its relevance to the modelling of general probabilistic theories.

연구 동기 및 목표

• 물리학의 운영 이론을 일반화한 Chiribella 등의 인과적 운영-확률 이론을 일반화하는 범주론적 프레임워크를 개발하는 것.
• 일반적인 확률 이론을 모델링하기에 적합한 효과스 이론의 약화된 형태로 운영 범주를 도입하는 것.
• 총계 및 부분 형태의 운영 범주와 운영 이론에 제어 기능이 있는 이론(OTC) 사이의 대응 관계를 수립하는 것.
• 모든 OTC가 부분 범주에서의 코프로덕트를 사용해 직합을 갖는 이론으로 완성될 수 있음을 보이는 것.
• 효과스에 정확히 대응하는 OTC의 부분집합을 식별함으로써, 범주론적 논리와 운영 물리학을 연결하는 것.

제안 방법

• 부분 테스트 범주 Par(B)에서의 코프로덕트를 사용해 운영 이론에서의 고전적 자료와 조밀화를 모델링한다.
• 테스트, 결과, 확률에 대한 추가 구조를 갖춘 대칭 모나드 범주로서 운영 범주를 정의한다.
• 부분 테스트의 범주 Par(B)를 도입하고, (−)total 변환을 통해 총계 범주 B와 동치임을 보여준다.
• Par(B)에서의 코프로덕트를 사용해 각 OTC에 대해 직합을 갖는 새로운 OTC를 할당하는 완성 함자 (−)+를 구성한다.
• 효과스 범주의 이론을 적용해 운영 논리의 해석을 하며, 특히 특성 함수로 표현되는 예측자 p: A → 1 + 1를 중심으로 다룬다.
• OTC의 범주와 부분 형태의 운영 범주 간의 함자적 대응 관계를 수립한다.

실험 결과

연구 질문

• RQ1 코프로덕트와 조밀화를 사용해 운영-확률 이론을 어떻게 범주론적으로 형식화할 수 있는가?
• RQ2 운영 이론에 제어 기능이 있는 이론(OTC)의 기초가 되는 범주론적 구조는 무엇이며, 기존의 프레임워크(예: 효과스 이론)와의 관계는 어떠한가?
• RQ3 모든 운영 이론이 범주론적 코프로덕트를 사용해 직합을 갖는 이론으로 완성될 수 있는가?
• RQ4 어느 OTC가 효과스에 정확히 대응하는가? 이러한 부분집합을 특징짓는 공리들은 무엇인가?
• RQ5 Par(B)에서의 코프로덕트와 부분 사상의 보편 성질이 고전적 자료와 확률적 과정의 모델링에 어떻게 기여하는가?

주요 결과

• 논문은 총계 형태와 부분 형태의 운영 범주 사이의 이원성(duality)을 수립하며, 각 형태가 (−)total 및 Par(−) 함자를 통해 상호로 결정됨을 보여준다.
• 모든 운영 이론에 제어 기능이 있는 이론(OTC)은 부분 범주 Par(B)에서의 코프로덕트를 사용해 (−)+의 구성으로 직합을 갖는 새로운 OTC로 완성될 수 있다.
• 정리 18은 직합을 포함하는 OTC에 대응하는 운영 범주를 식별하며, 이러한 범주는 정확히 이러한 구조를 갖는 OTC에서 유래된 것임을 보여준다.
• 관찰 23은 효과스에 대응하는 OTC의 부분집합을 식별하며, 효과스가 공리 1과 2를 만족하는 OTC와 동치임을 보여준다.
• 이 프레임워크는 운영 논리의 범주론적 의미론을 제공하며, 예측자 p: A → 1 + 1는 고전 논리에서의 부분집합에 대응하고, 사상 f > g는 조밀화를 모델링한다.
• 결과적으로 OTC와 운영 범주 사이의 함자적 대응 관계가 수립되었으며, (−)+와 Event(−)는 직합을 갖는 OTC의 범주와 부분 형태의 운영 범주의 범주 간에 서로의 역 등가를 이룬다.