相互作用的量子可观测量：范畴代数与图示法
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
Coecke 与 Duncan 提出 ZX-calculus，并用 dagger 对称幺半范畴刻画互补量子可观测量。
论文信息（2011，New Journal of Physics 13, 043016；预印本：2009）：Bob Coecke、Ross Duncan。DOI；arXiv:0906.4725
工作
本文有两个相互关联的目标：为多量子比特系统建立直观的图形演算，并在 dagger 对称幺半范畴中公理化量子可观测量的互补性。ZX-calculus 用图形节点和线表示量子过程；每个可观测量对应一个交换特殊 dagger Frobenius 代数，并产生描述相位平移的 phase group。
主要贡献
- 提出可用于量子计算推导的 ZX-calculus 图形语言。
- 用 dagger 对称幺半范畴刻画互补性和相位结构。
- 识别 Z、X 自旋可观测量满足的强互补性及其 bialgebra 结构。
- 将图形演算与范畴代数之间的对应关系用于量子过程推理。
局限与适用范围
图形等式提供结构化推理，却不自动给出硬件编译、噪声模型或所有图形变换的高效算法。抽象范畴需要具体模型和标量解释才能对应实际量子系统；可表达的等式也不等同于某个设备已实现或已验证。
与其他工作的关系
它延伸了 量子协议的范畴语义 与 Dagger 紧闭范畴与完全正映射 的范畴基础，并为量子线路的图形推理提供语言。与 测量演算 相比，ZX-calculus 更强调过程图和可观测量代数；与 量子线路 相比，它提供更抽象的等式推理层。
原论文
Bob Coecke and Ross Duncan, Interacting Quantum Observables: Categorical Algebra and Diagrammatics, New Journal of Physics 13, 043016 (2011), DOI: 10.1088/1367-2630/13/4/043016. arXiv:0906.4725