Semantics for a Quantum Programming Language by Operator Algebras
arXiv:1412.8545 · doi:10.4204/EPTCS.172.12
Abstract
This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of the category of W*-algebras and normal completely positive subunital maps is an elementary quantum flow chart category in the sense of Selinger. As a consequence, it gives a denotational semantics for Selinger's first-order functional quantum programming language QPL. The use of operator algebras allows us to accommodate infinite structures and to handle classical and quantum computations in a unified way.
In Proceedings QPL 2014, arXiv:1412.8102
References in corpus (7)
- Fundamentals of Quantum Information Theory
- Reexamination of Quantum Bit Commitment: the Possible and the Impossible
- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
- Categorical aspects of bivariant K-theory
- Presheaf models of quantum computation: an outline
- Semantics for a Quantum Programming Language by Operator Algebras
- Normal completely positive maps on the space of quantum operations