Dagger and Dilation in the Category of Von Neumann algebras
arXiv:1803.01911
Abstract
This doctoral thesis is a mathematical study of quantum computing, concentrating on two related, but independent topics. First up are dilations, covered in chapter 2. In chapter 3 "diamond, andthen, dagger" we turn to the second topic: effectus theory. Both chapters, or rather parts, can be read separately and feature a comprehensive introduction of their own.
References in corpus (19)
- Informational derivation of Quantum Theory
- Optimal Cloning of Pure States
- Probabilistic theories with purification
- Quantum Information Processing with Finite Resources -- Mathematical Foundations
- Characterization of the Sequential Product on Quantum Effects
- Categorical Probabilistic Theories
- Uniqueness and order in sequential effect algebras
- A Recipe for State-and-Effect Triangles
- Quotient-Comprehension Chains
- Universal Properties in Quantum Theory
- A universal property for sequential measurement
- The Category of Von Neumann Algebras
- Operational Theories of Physics as Categories
- Categorical Operational Physics
- On orthogonal systems in Hilbert C*-modules
- Distances between States and between Predicates
- Hyper Normalisation and Conditioning for Discrete Probability Distributions
- Picture-perfect Quantum Key Distribution
- Unordered Tuples in Quantum Computation
Cited by in corpus (8)
- The Category of Von Neumann Algebras
- Categorical Operational Physics
- A computer scientist's reconstruction of quantum theory
- Effectuses in Categorical Quantum Foundations
- Pure Maps between Euclidean Jordan Algebras
- Sufficient Statistics and Split Idempotents in Discrete Probability Theory
- Quantum Theory from Principles, Quantum Software from Diagrams
- Deriving Dagger Compactness