Quantum Linear Optics via String Diagrams
arXiv:2204.12985 · doi:10.4204/EPTCS.394.6
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.
arXiv commentIn Proceedings QPL 2022, arXiv:2311.08375
References in corpus (26)
- Review article: Linear optical quantum computing
- Quantum computational advantage using photons
- Experimental Realization of Teleporting an Unknown Pure Quantum State via Dual Classical and Einstein-Podolski-Rosen Channels
- Resource-efficient linear optical quantum computation
- Optical quantum computation using cluster states
- tket : A Retargetable Compiler for NISQ Devices
- Classical simulation of noninteracting-fermion quantum circuits
- Strawberry Fields: A Software Platform for Photonic Quantum Computing
- Gigahertz decoy quantum key distribution with 1 Mbit/s secure key rate
- Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
- Femtosecond laser micromachining for integrated quantum photonics
- PyZX: Large Scale Automated Diagrammatic Reasoning
- Quantum Experiments and Graphs: Multiparty States as coherent superpositions of Perfect Matchings
- The ZX calculus is a language for surface code lattice surgery
- There and back again: A circuit extraction tale
- Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
- On the PROP corresponding to bialgebras
- Demonstration of efficient scheme for generation of "Event Ready" entangled photon pairs from single photon source
- Logical blocks for fault-tolerant topological quantum computation
- The algebra of entanglement and the geometry of composition
- DisCoPy: Monoidal Categories in Python
- Strong Complementarity and Non-locality in Categorical Quantum Mechanics
- Quantum physics and the beam splitter mystery
- A categorical framework for the quantum harmonic oscillator
- On the functor l^2
- Classical and quantum structuralism