量子过程的概率分支互模拟
量子物理
2007-05-23 v1 编程语言
摘要
利用量子原理的算法的完整形式化描述必须同时考虑量子与经典计算组件，并将它们组装以进行通信与协作。此外，为建模并发与分布式量子计算以及量子通信协议，还必须考虑将量子比特在物理上从一个位置移动到另一位置的量子到量子通信。受提供协作计算建模框架的经典进程代数启发，我们定义了一种进程代数记号，为包含量子与经典部分的并发及分布式计算的形式化描述提供了统一风格。基于确保量子对象、操作与通信依量子力学公设运行的操作语义，我们定义了被视为具有相同行为的过程间的概率分支互模拟。
引用
@article{arxiv.quant-ph/0508116,
title = {A probabilistic branching bisimulation for quantum processes},
author = {Marie Lalire},
journal= {arXiv preprint arXiv:quant-ph/0508116},
year = {2007}
}
备注
25 pages, 3 figures, submitted to a special issue of MSCS