Structuring quantum effects: superoperators as arrows
@article{Vizzotto2006StructuringQE,
title={Structuring quantum effects: superoperators as arrows},
author={Juliana Kaizer Vizzotto and Thorsten Altenkirch and Amr Sabry},
journal={Mathematical Structures in Computer Science},
year={2006},
volume={16},
pages={453 - 468}
}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…
44 Citations
Quantum information effects
- Computer ScienceProc. ACM Program. Lang.
- 2022
This work studies the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation, and provides universal categorical constructions that semantically interpret this arrow metalanguage with choice.
A functional quantum programming language
- Computer Science20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
- 2005
QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings explicit, and preserves superpositions and entanglement -which is essential for quantum parallelism.
QML : Quantum data and control
- Computer Science
- 2005
This work presents an operational semantics of QML programs using quantum circuits, and a denotational semantics using superoperators, and introduces the language QML, a functional language for quantum computations on finite types.
A pr 2 00 5 A functional quantum programming language
- Computer Science
- 2005
QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings explicit, and preserves superpositions and entanglement – which is essential for quantum parallelism.
Quantum Computing over Finite Fields
- Computer Science
- 2011
A model of discrete quantum computing is distill from this quantum theory using a monadic metalanguage built on top of a universal reversible language for finite computations, and hence is directly implementable in a language like Haskell.
The Arrow Calculus as a Quantum Programming Language
- Computer ScienceWoLLIC
- 2009
This framework expresses quantum programming using well-understood and familiar classical patterns for programming in the presence of computational effects using the arrow calculus extended with monadic constructions.
Towards Quantum Haskell via Quantum Arrows
- Computer Science
- 2006
This work proposes a set of high level primitives to be used forquan- tum programming. We call Quantum Haskell (QHaskell) the lan guage generated by the primitives as it is induced by a model for…
From Symmetric Pattern-Matching to Quantum Control
- PhysicsFoSSaCS
- 2018
One perspective on quantum algorithms is that they are classical algorithms having access to a special kind of memory with exotic properties, and the control flow notions of sequencing, conditionals, loops, and recursion are entirely classical.
Towards a formally verified functional quantum programming language
- Computer Science
- 2010
This thesis looks at the development of a framework for a functional quantum programming language, designed following a structural approach as given by a categorical model of quantum computation, first developed in Haskell and then implemented in Agda.
References
SHOWING 1-10 OF 30 REFERENCES
Structure and interpretation of quantum mechanics: a functional framework
- Computer ScienceHaskell '03
- 2003
It is concluded that functional languages are right tools for formal computations in quantum physics by constructing effectively the tensor states for composed systems and a toy model of quantum circuit toolbox.
Functional Quantum Programming
- Computer ScienceAPLAS
- 2001
This paper sees quantum programming as a special kind of non-deterministic programming where negative probabilities are allowed and a monadic style of quantum programming is proposed.
A functional quantum programming language
- Computer Science20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
- 2005
QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings explicit, and preserves superpositions and entanglement -which is essential for quantum parallelism.
Modeling quantum computing in Haskell
- PhysicsHaskell '03
- 2003
The paper develops a model of quantum computing from the perspective of functional programming. The model explains the fundamental ideas of quantum computing at a level of abstraction that is…
Quantum circuits with mixed states
- Computer ScienceSTOC '98
- 1998
A solution for the subroutine problem: the general function that a quantum circuit outputs is a probabilistic function, but using pure state language, such a function can not be used as a black box in other computations.
A Lambda Calculus for Quantum Computation with Classical Control
- Computer ScienceTLCA
- 2005
A functional programming language for quantum computers by extending the simply-typed lambda calculus with quantum types and operations, and gives a type system using affine intuitionistic linear logic.
Towards a quantum programming language
- Computer ScienceMathematical Structures in Computer Science
- 2004
This paper describes the syntax and semantics of a simple quantum programming language with high-level features such as loops, recursive procedures, and structured data types, and has an interesting denotational semantics in terms of complete partial orders of superoperators.
Quantum typing
- Computer ScienceArXiv
- 2004
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAMmodel, following the work of P. Selinger (2003) on quantum…
Quantum Computation, Categorical Semantics and Linear Logic
- MathematicsArXiv
- 2003
A type theory and denotational semantics are developed and provided for a simple fragment of the quantum lambda calculus, a formal language for quantum computation based on linear logic.
Quantum computation and quantum information
- PhysicsMathematical Structures in Computer Science
- 2007
This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing. The first two papers deal…