Inverses, disintegrations, and Bayesian inversion in quantum Markov categories

From MaRDI portal
Publication:6333352

arXiv2001.08375MaRDI QIDQ6333352FDOQ6333352


Authors: Arthur J. Parzygnat Edit this on Wikidata


Publication date: 21 January 2020

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.













This page was built for publication: Inverses, disintegrations, and Bayesian inversion in quantum Markov categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6333352)