DeepAI AI Chat
Log In Sign Up

Conditional distributions for quantum systems

by   Arthur J. Parzygnat, et al.

Conditional distributions, as defined by the Markov category framework, are studied in the setting of matrix algebras (quantum systems). Their construction as linear unital maps are obtained via a categorical Bayesian inversion procedure. Simple criteria establishing when such linear maps are positive are obtained. Several examples are provided, including the standard EPR scenario, where the EPR correlations are reproduced in a purely compositional (categorical) manner. A comparison between the Bayes map and the Petz recovery map is provided, illustrating some key differences.


Effectus of Quantum Probability on Relational Structures

The notion of effectus from categorical logic is relevant in the emergin...

Axioms for retrodiction: achieving time-reversal symmetry with a prior

We propose a category-theoretic definition of retrodiction and use it to...

On the categorical foundations of quantum information theory: Categories and the Cramer-Rao inequality

An extension of Cencov's categorical description of classical inference ...

Quantum channels as a categorical completion

We propose a categorical foundation for the connection between pure and ...

Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion

We generalise an existing construction of Bayesian Lenses to admit lense...

Computational Adequacy for Substructural Lambda Calculi

Substructural type systems, such as affine (and linear) type systems, ar...