关于量子 IO Monad 中编码过程的自动化
量子物理
2012-10-03 v1 计算机科学中的逻辑
摘要
目前显而易见的是，任何量子计算设备的实现都需要使用容错编码方案。然而，未来的量子程序员并不希望被此类编码方案的细节所束缚。量子编程语言和库正在开发中，其中之一便是量子 IO Monad（Quantum IO Monad）。QIO（其常用缩写）提供了一个接口，通过用纯函数式编程语言 Haskell 编写的函数库来定义和模拟量子计算。本文提出了一种解决方案，该方案接受任意 QIO 程序，并返回一个结合了特定量子纠错技术的等价程序。
引用
@article{arxiv.1210.0611,
title = {On the Automation of Encoding Processes in the Quantum IO Monad},
author = {James Barratt},
journal= {arXiv preprint arXiv:1210.0611},
year = {2012}
}
备注
In Proceedings QPL 2011, arXiv:1210.0298. In memory of my brother, Bill Barratt (1972- 2010)