Quantum Programs as Kleisli Maps

zbMATH Open1486.81071arXiv1501.01020MaRDI QIDQ5014792FDOQ5014792

Authors: Abraham Westerbaan 

Publication date: 8 December 2021

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]

Full work available at URL: https://arxiv.org/abs/1501.01020

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

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)

Cites Work

• Title not available (Why is that?)
• From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
• Title not available (Why is that?)
• A representation theory for commutative topological algebra
• Positive Functions on C ∗ -Algebras
• A note on unitary operators in \(C^ *\)-algebras
• A 2-categories companion
• Title not available (Why is that?)

Cited In (7)

• A non-commutative Bayes' theorem
• Semantics of quantum programming languages: Classical control, quantum control
• An algebra of pure quantum programming
• Quantum programming with inductive datatypes: causality and affine type theory
• Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
• Invariants of quantum programs: characterisations and generation
• Title not available (Why is that?)

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)