[논문 리뷰] Inverses, disintegrations, and Bayesian inversion in quantum Markov categories

Arthur J. Parzygnat|arXiv (Cornell University)|2020. 01. 21.

Algebraic structures and combinatorial models참고 문헌 62인용 수 8

한 줄 요약

이 논문은 고전적 및 양자 확률을 통합하는 범주론적 프레임워크로 양자 마르코프 범주를 도입하여, 역행성의 체계적 연구를 가능하게 한다. 역행성은 역원, 분해, 베이지안 역행성으로 나뉘며, 이들 간의 계층 관계인 역원 ⇒ 분해 가능 ⇒ 베이지안 역행성 가능이 설정되며, 이는 베이지안 역행성이 두 가지를 일반화함을 보여준다. 주요 결과로는 양자 정보 이론에서의 일반화된 비방송 정리와 S-양성 및 거의 어디에나 모듈라인 범주에서의 비가환 피셔–니먼 인수분해 정리가 포함된다.

ABSTRACT

We introduce quantum Markov categories as a structure that refines and extends a synthetic approach to probability theory and information theory so that it includes quantum probability and quantum information theory. In this broader context, we analyze three successively more general notions of reversibility and statistical inference: ordinary inverses, disintegrations, and Bayesian inverses. We prove that each one is a strictly special instance of the latter for certain subcategories, providing a categorical foundation for Bayesian inversion as a generalization of reversing a process. We unify the categorical and $C^*$-algebraic notions of almost everywhere (a.e.) equivalence. As a consequence, we prove many results including a universal no-broadcasting theorem for S-positive categories, a generalized Fisher--Neyman factorization theorem for a.e. modular categories, a relationship between error correcting codes and disintegrations, and the relationship between Bayesian inversion and Umegaki's non-commutative sufficiency.

연구 동기 및 목표

• 고전적 마르코프 범주를 확장하여 양자 확률 및 양자 정보 이론을 포함하는 범주론적 프레임워크인 양자 마르코프 범주를 개발한다.
• 고전적 및 양자 환경에서 모두 성립하는 세 가지 역행성 개념—일반적인 역원, 분해, 베이지안 역원—을 형식화하고 통합한다.
• 특히 비가환적인 양자적 맥락에서, 프로세스의 역행성의 일반화로서 베이지안 역행성의 범주론적 기초를 확립한다.
• 범주론적 및 C∗-대수적 개념인 거의 어디에나 동치(а.е. 등가)를 통합하고, 이 개념이 양자 통계적 추론에서 수행하는 역할을 규명한다.
• 비방송 정리와 일반화된 피셔–니먼 인수분해 정리와 같은 새로운 결과를 증명한다.

제안 방법

• 완전히 양성적 단위 사상(CPU)의 C∗-대수 간 사상 범주를 포함하는 더 큰 범주로 확장된 복사 사상을 갖는 양자 마르코프 범주를 도입한다.
• 문자열 다이어그램과 범주론적 공리계를 사용하여, 점차 더 일반적인 세 가지 역행성 개념—일반적인 역원, 분해, 베이지안 역원—을 정의하고 분석한다.
• 고전적 결과(예: 피셔–니먼 인수분해)를 비가환 맥락으로 일반화하기 위해, 거의 어디에나 모듈라 부분범주(후에 S-양성 또는 거의 어디에나 모듈라 범주로 불림)의 개념을 도입한다.
• S-양성 및 엄격히 양성 부분범주 구조를 활용하여, 비방송 결과 및 인과성 조건을 포함한 일반화된 정리를 도출한다.
• 양자 맥락에서 거의 어디에나 등가성과 거의 어디에나 결정론을 형식화하고, 이들이 연산자 대수학적 정의와 일관됨을 보이며, 다이어그램적 추론을 가능하게 한다.
• 거의 어디에나 모듈라 맥락에서, 베이지안 역행성이 분해를 포함하고, 분해가 역원을 포함함을 보여주며, 반대 방향의 포함관계는 일반적으로 성립하지 않음을 반례로 보여준다.

실험 결과

연구 질문

• RQ1 범주론을 활용하여 고전적 역행성 개념—역원, 분해, 베이지안 역행성—을 양자 맥락으로 어떻게 일반화할 수 있는가?
• RQ2 특히 비가환 맥락에서, 양자 마르코프 범주에서 분해와 베이지안 역원의 존재를 보장하는 범주론적 조건은 무엇인가?
• RQ3 양자 확률에서의 거의 어디에나 등가성 및 거의 어디에나 결정론 개념은 범주론적 및 C∗-대수적 구조와 어떻게 관련되는가?
• RQ4 베이지안 역행성이 양자 시스템에서의 프로세스 역행성의 가장 일반적인 형태인 이유는 무엇이며, 이는 우메가키의 비가환 충분성과 어떻게 관련되는가?
• RQ5 고전적 및 양자 확률을 통합하는 범주론적 프레임워크에서 비방송 정리 및 인수분해 정리와 같은 일반화된 정리를 도출할 수 있는가?

주요 결과

• C∗-대수 간 완전히 양성적 단위 사상의 범주는 복사 사상을 지원하는 양자 마르코프 범주에 통합되며, 이는 물리적으로 복사 사상을 실행할 수 없음에도 불구하고 다이어그램적 추론을 가능하게 한다.
• 모든 거의 어디에나 모듈라 부분범주에서, 상태를 보존하는 모든 역원은 분해이며, 모든 분해는 베이지안 역원이지만, 그 반대는 일반적으로 성립하지 않는다.
• S-양성 부분범주에 대해 일반화된 비방송 정리가 증명되었으며, 이는 양자 정보 이론의 비방송 원리의 일반화이다.
• 거의 어디에나 모듈라 범주에 대해 일반화된 피셔–니먼 인수분해 정리가 확립되었으며, 이는 고전적 결과를 비가환적, 양자 통계 모델로 확장한다.
• 연산자 대수학에서 유도된 비가환적 거의 어디에나 등가성 개념은 양자 마르코프 범주로 확장된 콜로-자콥스의 문자열 다이어그램 정의와 일치한다.
• 베이지안 역행성과 우메가키의 비가환 충분성 간의 관계가 범주론적 프레임워크에서 형식화되고 증명되었으며, 이는 양자 통계 모델에서 충분성의 핵심을 포괄함을 보여준다.