Quantum Programs as Kleisli Maps

MaRDI QIDQ5014792zbMATH OpenFDO

Authors Abraham Westerbaan

Publication date 8 December 2021

Full work available at URL https://arxiv.org/abs/1501.01020, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2016.14

Mathematics Subject Classification ID

Quantum computation (81P68) General theory of (C^*)-algebras (46L05) Relevant commutative algebra (14A05) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Abstract: Furber and Jacobs have shown in their study of quantum computation that the category of commutative C*-algebras and PU-maps (positive linear maps which preserve the unit) is isomorphic to the Kleisli category of a comonad on the category of commutative C*-algebras with MIU-maps (linear maps which preserve multiplication, involution and unit). [Furber and Jacobs, 2013] In this paper, we prove a non-commutative variant of this result: the category of C*-algebras and PU-maps is isomorphic to the Kleisli category of a comonad on the subcategory of MIU-maps. A variation on this result has been used to construct a model of Selinger and Valiron's quantum lambda calculus using von Neumann algebras. [Cho and Westerbaan, 2016]

Recommendations

• An algebra of pure quantum programming
• Quantum programs with classical output streams (extended abstract)
• Invariants of quantum programs: characterisations and generation
• Selected topics in quantum programming theory
• A programming language characterizing quantum polynomial time
• scientific article; zbMATH DE number 1612487
• Quantum Predicative Programming
• Semantics for a quantum programming language by operator algebras

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 473381 (Why is no real title available?)
• scientific article; zbMATH DE number 2107988 (Why is no real title available?)
• A 2-categories companion
• A note on unitary operators in \(C^ *\)-algebras
• A representation theory for commutative topological algebra
• From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
• Positive Functions on C ∗ -Algebras

Cited in

(12)

• scientific article; zbMATH DE number 5708042 (Why is no real title available?)
• A non-commutative Bayes' theorem
• Semantics of quantum programming languages: Classical control, quantum control
• Complete positivity and natural representation of quantum computations
• From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
• An algebra of pure quantum programming
• Quantum programming with inductive datatypes: causality and affine type theory
• Presheaf models of quantum computation: an outline
• Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
• From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
• Total and partial computation in categorical quantum foundations
• Invariants of quantum programs: characterisations and generation

This page was built for publication: Quantum Programs as Kleisli Maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014792)