结构化量子效应：作为箭头的超算子
量子物理
2007-05-23 v1 编程语言
摘要
我们表明，基于密度矩阵与超算子的量子计算模型可分解为一个纯经典（函数式）部分和一个建模概率与测量的效应部分。该效应部分可使用称为箭头的单子的推广来建模。我们用编程语言 Haskell 及其针对箭头计算的特定语法表达了由此得到的可执行量子计算模型。然而在 Haskell 中的嵌入并不完美：对量子计算的忠实建模需要 Haskell 不能直接表达的型能力。
引用
@article{arxiv.quant-ph/0501151,
title = {Structuring quantum effects: superoperators as arrows},
author = {J. K. Vizzotto and T. Altenkirch and A. Sabry},
journal= {arXiv preprint arXiv:quant-ph/0501151},
year = {2007}
}
备注
21 pages, 4 figures