论文标题
lov-alculus：线性光学量子电路的图形语言
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
论文作者
论文摘要
我们介绍了Lov-Calculus，这是一种图形语言，用于与所谓真空态辅助输入有关线性光学量子电路的推理。我们介绍了语言的公理学并证明其健全性和完整性：两个Lov-Circuits表示相同的量子过程，并且仅当一个可以通过Lov-Calculus的规则转换为另一个时。我们给出了一个汇合和终止的重写系统，以将任何具有极性的lov-circuit重写为独特的三角法线形式，灵感来自Reck等人的普遍分解。 （1994）用于线性光学量子电路。
We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of the language and prove its soundness and completeness: two LOv-circuits represent the same quantum process if and only if one can be transformed into the other with the rules of the LOv-calculus. We give a confluent and terminating rewrite system to rewrite any polarisation-preserving LOv-circuit into a unique triangular normal form, inspired by the universal decomposition of Reck et al. (1994) for linear optical quantum circuits.
