测量演算
The Measurement Calculus
Danos、Kashefi 与 Panangaden 为测量式量子计算建立语法、操作语义、指称语义和标准化理论。
论文信息（正式版本：2007，JACM 54(2)；早期预印本：2004）：Vincent Danos、Elham Kashefi、Prakash Panangaden。arXiv:0704.1263；早期版本 arXiv:quant-ph/0412135
工作
本文提出 measurement calculus，用一组描述纠缠、测量和经典依赖的命令表达测量式量子计算，尤其是 one-way 或 measurement-based quantum computation。论文为这些程序给出语法、操作语义和指称语义，并研究把程序重写为标准形式的理论，使测量顺序与经典信号依赖可以被系统分析。
主要贡献
- 建立测量模式的统一程序语法。
- 给出测量演算的操作语义和指称语义。
- 研究标准化重写，说明等价程序如何调整测量与依赖关系。
- 为测量式量子计算提供可组合、可推理的程序表示。
局限与适用范围
该演算主要描述理想化的测量式计算；语义不自动涵盖噪声、硬件校准、编译成本或具体设备的测量延迟。标准化理论也不等同于对所有程序的自动优化或对硬件执行的正确性证明。具体资源估计和容错实现需要额外模型。
与其他工作的关系
它把 量子线路 中的测量与经典控制提升为可重写的程序演算，也可与 QPL 语言 的命令和超算子语义对照。与 量子协议的范畴语义 相比，测量演算更直接呈现程序语法和执行顺序；与 Dagger 紧闭范畴与完全正映射 相比，它专注测量式纯态计算的程序化表示。
原论文
Vincent Danos, Elham Kashefi, and Prakash Panangaden, The Measurement Calculus, Journal of the ACM 54(2) (2007). arXiv:0704.1263; early version arXiv:quant-ph/0412135