Non-commutative disintegrations: existence and uniqueness in finite dimensions
arXiv:1907.09689 · doi:10.4171/JNCG/493
Abstract
Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes of 2-positive (resp. positive) unital maps form a category. We prove non-commutative disintegrations are a.e. unique whenever they exist. We provide an explicit characterization for when disintegrations exist in the setting of finite-dimensional C*-algebras, and we give formulas for the associated disintegrations.
slight reorganization, 51 pages, comments welcome!
References in corpus (14)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Disintegration and Bayesian Inversion via String Diagrams
- Translation of Lueders' "Uber die Zustandsanderung durch den Messprozess"
- Quantum Dynamics as an analog of Conditional Probability
- From time-reversal symmetry to quantum Bayes' rules
- Axioms for retrodiction: achieving time-reversal symmetry with a prior
- A non-commutative Bayes' theorem
- A functorial characterization of von Neumann entropy
- Inverses, disintegrations, and Bayesian inversion in quantum Markov categories
- Bayesian inversion and the Tomita-Takesaki modular group
- Stinespring's construction as an adjunction
- Towards a functorial description of quantum relative entropy
- On dynamical measures of quantum information
- Discrete probabilistic and algebraic dynamics: a stochastic commutative Gelfand-Naimark Theorem