Structuring quantum effects: superoperators as arrows

Details Structuring quantum effects: superoperators as arrows Structuring quantum effects: superoperators as arrows

2005-01-25

arxiv.org/abs/quant-ph/0501151v1

Physics

Quantum Physics

21 pages, 4 figures

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Structuring quantum effects: superoperators as arrows does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Structuring quantum effects: superoperators as arrows, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Structuring quantum effects: superoperators as arrows will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-627928