Related papers: Light-Matter Interaction in the ZXW Calculus
The ZX-calculus is a universal graphical language for qubit quantum computation, meaning that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is a complete graphical rewrite system: any equation…
The exact factorization approach, originally developed for electron-nuclear dynamics, is extended to light-matter interactions within the dipole approximation. This allows for a Schrodinger equation for the photonic wavefunction, in which…
We introduce the fermionic ZW calculus, a string-diagrammatic language for fermionic quantum computing (FQC). After defining a fermionic circuit model, we present the basic components of the calculus, together with their interpretation, and…
Finite-dimensional quantum theory serves as the theoretical foundation for quantum information and computation. Mathematically, it is formalized in the category FHilb, comprising all finite-dimensional Hilbert spaces and linear maps between…
The ZW-calculus is a graphical language capable of representing 2-dimensional quantum systems (qubit) through its diagrams, and manipulating them through its equational theory. We extend the formalism to accommodate finite dimensional…
Nonlinear light-matter interaction, as the core of ultrafast optics, bulk photovoltaics, nonlinear optical sensing and imaging, and efficient generation of entangled photons, has been traditionally studied by first-principles theoretical…
Linear optical circuits can be used to manipulate the quantum states of photons as they pass through components including beam splitters and phase shifters. Those photonic states possess a particularly high level of expressiveness, as they…
We derive the full linear-response theory for non-relativistic quantum electrodynamics in the long wavelength limit, show quantum modifications of the well-known Maxwell's equation in matter and provide a practical framework to solve the…
The multipolar Hamiltonian of quantum electrodynamics (QED) is extensively employed in chemical and optical physics to treat rigorously the interaction of electromagnetic fields with matter. It is also widely used to evaluate intermolecular…
A rigorous treatment of light-matter interactions typically requires an interacting quantum field theory. However, most applications of interest are handled using classical or semiclassical models, which are valid only when quantum-field…
This paper develops practical summation techniques in ZXW calculus to reason about quantum dynamics, such as unitary time evolution. First we give a direct representation of a wide class of sums of linear operators, including arbitrary…
Matter-wave optics is often viewed as a linear analogue of photonics, where noninteracting particles are coherently split, diffracted, and recombined, and interference arises from single-particle coherence. In ultracold quantum gases,…
We study the atom-light interaction in the fully quantum regime, with focus on off-resonant light scattering into a cavity from ultracold atoms trapped in an optical lattice. The detection of photons allows the quantum nondemolition (QND)…
This chapter summarizes the recent progress in the theory and analytical tools of quadratic optomechanical interactions, as one of the prominent domains of contemporary nonlinear quantum optics. Emphasis has been put here first to show what…
We present a microscopic quantum theory for nonlinear optical phenomena in semiconductor quantum well heterostructures operating in the regime of ultra-strong light matter coupling regime. This work extends the Power-Zienau-Wooley (PZW)…
A system of harmonic oscillators coupled via nonlinear interaction is a fundamental model in many branches of physics, from biophysics to electronics and condensed matter physics. In quantum optics, weak nonlinear interaction between light…
ZW-calculus is a useful graphical language for pure qubit quantum computing. It is via the translation of the completeness of ZW-calculus that the first proof of completeness of ZX-calculus was obtained. A d-level generalisation of qubit…
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…
We develop a systematic projector-based Feynman diagram framework that intrinsically encodes quantum geometry for nonlinear optical responses. By explicitly incorporating geometric quantities such as the quantum geometric tensor, quantum…
Diagrammatic techniques for reasoning about monoidal categories provide an intuitive understanding of the symmetries and connections of interacting computational processes. In the context of categorical quantum mechanics, Coecke and…