DeepAI AI Chat
Log In Sign Up

Universal Properties in Quantum Theory

01/29/2019
by   Mathieu Huot, et al.
0

We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels are derived from pure quantum theory by allowing discarding. We phrase this in category theoretic terms by showing that the category of CPTP maps is the universal monoidal category with a terminal unit that has a functor from the category of isometries. In other words, the CPTP maps are the affine reflection of the isometries.

READ FULL TEXT

page 1

page 2

page 3

page 4

06/09/2022

Universal Properties of Partial Quantum Maps

We provide a universal construction of the category of finite-dimensiona...
05/01/2020

Effectus of Quantum Probability on Relational Structures

The notion of effectus from categorical logic is relevant in the emergin...
04/06/2018

The Category of von Neumann Algebras

In this dissertation we study the category of completely positive normal...
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...
12/20/2020

Physical Implementability of Quantum Maps and Its Application in Error Mitigation

Completely positive and trace-preserving maps characterize physically im...
04/21/2019

Quantum channels as a categorical completion

We propose a categorical foundation for the connection between pure and ...
05/18/2022

Coend Optics for Quantum Combs

We compare two possible ways of defining a category of 1-combs, the firs...