DeepAI AI Chat
Log In Sign Up

Conditional distributions for quantum systems

02/02/2021
by   Arthur J. Parzygnat, et al.
0

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.

READ FULL TEXT
05/01/2020

Effectus of Quantum Probability on Relational Structures

The notion of effectus from categorical logic is relevant in the emergin...
10/24/2022

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

We propose a category-theoretic definition of retrodiction and use it to...
09/19/2023

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

An extension of Cencov's categorical description of classical inference ...
04/21/2019

Quantum channels as a categorical completion

We propose a categorical foundation for the connection between pure and ...
09/29/2022

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

We generalise an existing construction of Bayesian Lenses to admit lense...
05/11/2020

Computational Adequacy for Substructural Lambda Calculi

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