通信量子进程
量子物理
2007-05-23 v1
摘要
我们定义了一种语言 CQP（Communicating Quantum Processes，通信量子进程）用于建模结合量子与经典通信及计算的系统。CQP 将 pi 演算的通信原语与量子态测量和变换原语相结合；特别地，量子比特（qubits）可沿通信信道在进程间传输。CQP 具有静态类型系统，其对信道分类、区分量子与经典数据，并控制量子态的使用。我们形式化地定义了 CQP 的语法、操作语义和类型系统，证明了语义保持类型，并证明类型保证系统中每个量子比特由唯一进程拥有。我们通过定义若干量子通信系统的模型来说明 CQP，并概述将 CQP 作为形式化分析与验证量子经典结合系统基础的计划。
引用
@article{arxiv.quant-ph/0409052,
title = {Communicating Quantum Processes},
author = {Simon Gay and Rajagopal Nagarajan},
journal= {arXiv preprint arXiv:quant-ph/0409052},
year = {2007}
}
备注
A revised version of a paper presented at the Second International Workshop on Quantum Programming Languages, Turku, Finland, July 2004. Note that the introductory sections of the paper are written with a computer science audience in mind