Quantum Linear Optics via String Diagrams

Abstract

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.

In Proceedings QPL 2022, arXiv:2311.08375

References in corpus (8)

• Quantum computational advantage using photons
• Resource-efficient linear optical quantum computation
• t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices
• Gigahertz decoy quantum key distribution with 1 Mbit/s secure key rate
• Femtosecond laser micromachining for integrated quantum photonics
• Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
• The algebra of entanglement and the geometry of composition
• Classical and quantum structuralism

Cited by in corpus (3)

• Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
• ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
• A dataflow programming framework for linear optical distributed quantum computing