Structuring quantum effects: superoperators as arrows

We show that the model of quantum computation based on density matrices and superoperators can be decomposed into a pure classical (functional) part and an effectful part modelling probabilities and measurement. The effectful part can be modelled using a generalisation of monads called arrows. We express the resulting executable model of quantum computing in the Haskell programming language using its special syntax for arrow computations. However, the embedding in Haskell is not perfect: a faithful model of quantum computing requires type capabilities that are not directly expressible in Haskell.

[1]  John Hughes,et al.  Generalising monads to arrows , 2000, Sci. Comput. Program..

[2]  Ross Paterson,et al.  A new notation for arrows , 2001, ICFP '01.

[3]  Jonathan Grattage.  A functional quantum programming language , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[4]  Eugenio Moggi,et al.  Computational lambda-calculus and monads , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[5]  Benoît Valiron,et al.  A Lambda Calculus for Quantum Computation with Classical Control , 2005, TLCA.

[6]  André van Tonder,et al.  A Lambda Calculus for Quantum Computation , 2003, SIAM J. Comput..

[7]  Benoît Valiron,et al.  Quantum typing , 2004, ArXiv.

[8]  Albert Einstein,et al.  Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? , 1935 .

[9]  E. Knill,et al.  Conventions for quantum pseudocode , 1996, 2211.02559.

[10]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[11]  Amr Sabry,et al.  Modeling quantum computing in Haskell , 2003, Haskell '03.

[12]  Peter Selinger,et al.  Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.

[13]  Shin-Cheng Mu,et al.  Functional Quantum Programming , 2001, APLAS.

[14]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and EPR channels , 1993 .

[15]  Thorsten Altenkirch,et al.  Monadic Presentations of Lambda Terms Using Generalized Inductive Types , 1999, CSL.

[16]  Andr'e van Tonder,et al.  Quantum Computation, Categorical Semantics and Linear Logic , 2003, ArXiv.

[17]  Noam Nisan,et al.  Quantum circuits with mixed states , 1998, STOC '98.

[18]  Jerzy Karczmarczuk,et al.  Structure and interpretation of quantum mechanics: a functional framework , 2003, Haskell '03.

[19]  Thorsten Altenkirch,et al.  A Compiler for a Functional Quantum Programming Language , 2005 .

[20]  Bernhard Ömer,et al.  A Procedural Formalism for Quantum Computing , 2002 .

[21]  Philip Wadler,et al.  The essence of functional programming , 1992, POPL '92.