Light-Matter Interaction in the ZXW Calculus
arXiv:2306.02114 · doi:10.4204/EPTCS.384.2
Abstract
In this paper, we develop a graphical calculus to rewrite photonic circuits involving light-matter interactions and non-linear optical effects. We introduce the infinite ZW calculus, a graphical language for linear operators on the bosonic Fock space which captures both linear and non-linear photonic circuits. This calculus is obtained by combining the QPath calculus, a diagrammatic language for linear optics, and the recently developed qudit ZXW calculus, a complete axiomatisation of linear maps between qudits. It comes with a 'lifting' theorem allowing to prove equalities between infinite operators by rewriting in the ZXW calculus. We give a method for representing bosonic and fermionic Hamiltonians in the infinite ZW calculus. This allows us to derive their exponentials by diagrammatic reasoning. Examples include phase shifts and beam splitters, as well as non-linear Kerr media and Jaynes-Cummings light-matter interaction.
arXiv commentIn Proceedings QPL 2023, arXiv:2308.15489. 27 pages, lots of figures
References in corpus (21)
- Three qubits can be entangled in two inequivalent ways
- tket : A Retargetable Compiler for NISQ Devices
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
- Reducing T-count with the ZX-calculus
- Combinatorial Hopf algebras in quantum field theory I
- Phase Gadget Synthesis for Shallow Circuits
- There and back again: A circuit extraction tale
- Interacting Hopf Algebras
- Logical blocks for fault-tolerant topological quantum computation
- Quantum computation with Kerr-nonlinear photonic crystals
- Photon-number entanglement generated by sequential excitation of a two-level atom
- The algebra of entanglement and the geometry of composition
- Infinite-dimensional Categorical Quantum Mechanics
- The GHZ/W-calculus contains rational arithmetic
- A categorical framework for the quantum harmonic oscillator
- Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
- Nonlinear quantum logic with colliding graphene plasmons
- Diagrammatic Differentiation for Quantum Machine Learning
- Towards Quantum Field Theory in Categorical Quantum Mechanics
- Quantum Field Theory in Categorical Quantum Mechanics