量子线性光学：基于字符串图的方法
Quantum Linear Optics via String Diagrams
AI总结：
本文通过定义从ZX演算到线性光学电路的函子，建立了量子比特与光子量子计算间的形式化桥梁，并提出了量子线性光学的组合理论，以支持多光子事件推理。
摘要：
我们在基于量子比特的量子计算与光子量子计算之间建立了一座形式化的桥梁。为此，我们定义了一个从ZX演算到线性光学电路的函子。在此过程中，我们提供了量子线性光学的组合理论，该理论能够推理涉及多个光子的事件，例如执行线性光学和基于融合的量子计算所需的事件。
英文摘要：
We establish a formal bridge between qubit-based and photonic quantum computing. We do this by defining a functor from the ZX calculus to linear optical circuits. In the process we provide a compositional theory of quantum linear optics which allows to reason about events involving multiple photons such as those required to perform linear-optical and fusion-based quantum computing.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
