论文标题
PBS-Calculus：一种用于量子计算相干控制的图形语言
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations
论文作者
论文摘要
我们介绍了PBS-Calculus，以代表和理由涉及量子操作相干控制的量子计算。已知相干控制，尤其是不确定的因果秩序，可以使多个计算和通信优势比量子电路（如量子电路）具有多种计算优势。 PBS-Calculus的灵感来自量子光学元件，特别是偏光束分离器（简称PBS）。我们正式化了PBS-Diagram的语法和语义，并为该语言配备了一种方程理论，这被证明是合理的和完整的：只有使用PBS-Calculus的规则将一个图表示相同的量子演变。此外，我们表明方程理论是最小的。最后，我们考虑了诸如实施受控排列和循环展开之类的应用程序。
We introduce the PBS-calculus to represent and reason on quantum computations involving coherent control of quantum operations. Coherent control, and in particular indefinite causal order, is known to enable multiple computational and communication advantages over classically ordered models like quantum circuits. The PBS-calculus is inspired by quantum optics, in particular the polarising beam splitter (PBS for short). We formalise the syntax and the semantics of the PBS-diagrams, and we equip the language with an equational theory, which is proved to be sound and complete: two diagrams are representing the same quantum evolution if and only if one can be transformed into the other using the rules of the PBS-calculus. Moreover, we show that the equational theory is minimal. Finally, we consider applications like the implementation of controlled permutations and the unrolling of loops.
