Structuring quantum effects: superoperators as arrows Export

@misc{citeulike:430844, abstract = {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.}, archivePrefix = {arXiv}, author = {Vizzotto, J. K. and Altenkirch, T. and Sabry, A.}, citeulike-article-id = {430844}, citeulike-linkout-0 = {http://arxiv.org/abs/quant-ph/0501151}, citeulike-linkout-1 = {http://arxiv.org/pdf/quant-ph/0501151}, day = {25}, eprint = {quant-ph/0501151}, keywords = {pl, qm, qml}, month = {Jan}, posted-at = {2006-10-17 03:12:02}, priority = {2}, title = {Structuring quantum effects: superoperators as arrows}, url = {http://arxiv.org/abs/quant-ph/0501151}, year = {2005} }

TY - ELEC ID - citeulike:430844 L3 - citeulike-article-id:430844 N2 - 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. TI - Structuring quantum effects: superoperators as arrows KW - pl KW - qm KW - qml AU - Vizzotto, JK AU - Altenkirch, T AU - Sabry, A PY - 2005/Jan/25/ UR - http://arxiv.org/abs/quant-ph/0501151 ER -