Light-Matter Interaction in the ZXW Calculus

DOI10.4204/EPTCS.384.2arXiv2306.02114OpenAlexW4386095905MaRDI QIDQ6200520FDOQ6200520

Authors: G. de Felice, Lia Yeh, Quanlong Wang, Bob Coecke 

Publication date: 22 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/2306.02114

Recommendations

• scientific article
• A diagrammatic calculus of fermionic quantum circuits
• A diagrammatic axiomatisation of fermionic quantum circuits
• SZX-calculus: scalable graphical quantum reasoning
• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Cites Work

• Interacting Quantum Observables
• Interacting quantum observables: categorical algebra and diagrammatics
• The Compositional Structure of Multipartite Quantum Entanglement
• The computational complexity of linear optics
• Interacting Hopf algebras
• COMBINATORIAL HOPF ALGEBRAS IN QUANTUM FIELD THEORY I
• A categorical framework for the quantum harmonic oscillator
• Rewriting measurement-based quantum computations with generalised flow
• Infinite-dimensional categorical quantum mechanics
• Quantum field theory in categorical quantum mechanics
• Towards Quantum Field Theory in Categorical Quantum Mechanics
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Two complete axiomatisations of pure-state qubit quantum computing
• A diagrammatic axiomatisation for qubit entanglement
• Diagrammatic reasoning beyond Clifford+T quantum mechanics
• Proceedings 18th international conference on quantum physics and logic, QPL, Gdansk, Poland, and online, June 7--11, 2021
• Title not available (Why is that?)
• A diagrammatic calculus of fermionic quantum circuits

This page was built for publication: Light-Matter Interaction in the ZXW Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200520)