⚛️ quantum physics

First order Maxwell operator formalism for macroscopic quantum electrodynamics

This paper presents a first-order Maxwell operator formalism for macroscopic quantum electrodynamics that unifies electric and magnetic fields with boundary terms to derive a quantum input-output framework, yielding exact commutation relations consistent with the fluctuation-dissipation theorem for complex photonic structures.

Original authors: Ishita Agarwal, Ankit Kundu, Christian M. Lange, Jonathan D. Hood

Published 2026-03-31

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Ishita Agarwal, Ankit Kundu, Christian M. Lange, Jonathan D. Hood

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: A New Way to Map Light

Imagine you are trying to understand how water flows through a complex system of pipes, some of which are leaky, some are shiny, and some are shaped like twisted tunnels.

For a long time, scientists studying light (quantum optics) used a specific map to understand this flow. This map was great for simple, closed rooms (like a cavity) or empty space. However, it had a major flaw: it ignored the doors and windows.

In the real world, light often enters a system from the outside (like a laser beam entering a fiber optic cable) or leaks out. The old maps would just pretend the walls didn't exist or that the light never interacted with the edges. This worked fine for simple calculations, but it broke down when trying to design complex, modern nanophotonic devices (like tiny computer chips that use light instead of electricity).

This paper introduces a new, more complete map. It treats light not just as a single wave, but as a duo: the Electric field ( $E$ ) and the Magnetic field ( $H$ ) working together as a team. By keeping track of both and paying close attention to the "doors" (boundaries), the authors have created a universal language for how light moves, gets absorbed, and interacts with matter in the quantum world.

Key Concepts Explained with Analogies

1. The "Dual Field" Team (The Electric and Magnetic Duo)

The Old Way: Imagine trying to describe a dance by only watching the dancer's left foot. You miss half the story. Traditional theories often focused only on the Electric field, treating the Magnetic field as a sidekick that didn't need its own spotlight.
The New Way: The authors say, "Let's watch both feet!" They combine the Electric and Magnetic fields into a single Dual Field vector.

Analogy: Think of a zipper. You can't zip it up by pulling just one side; you need both sides to interlock perfectly. Similarly, in this new math, the Electric and Magnetic fields are two sides of the same zipper. This makes the math much more symmetrical and easier to handle, especially when light is moving through complex materials.

2. The "Green Operator" (The Universal GPS)

In physics, a "Green's function" is like a GPS that tells you: "If I drop a pebble here, where will the ripples be there?"

The Old Way: The GPS only worked for simple, flat ponds. If the pond had weird shapes or leaky edges, the GPS would get confused.
The New Way: The authors created a First-Order GPS. It doesn't just tell you where the ripple is; it tells you exactly how the ripple travels from one surface to another, even if the pond is full of obstacles.
Why it matters: This allows scientists to use computer simulations (which are already very good at calculating these ripples) to predict quantum behavior without having to reinvent the wheel.

3. The "Leaky Bucket" and the "Noise" (Fluctuation-Dissipation)

This is the most quantum part of the paper.

The Problem: If you have a bucket of water with a hole in it (a lossy/absorptive material), the water level drops. In the quantum world, if light gets absorbed, it disappears. But the laws of quantum mechanics say you can't just make information disappear; it has to go somewhere.
The Solution: The "hole" in the bucket doesn't just let water out; it also lets noise in.
Analogy: Imagine a noisy factory (the material). If the factory absorbs energy, it gets hot and starts vibrating. Those vibrations are "noise."
- Bulk Noise: The material itself is vibrating (thermal noise).
- Boundary Noise: The "doors" of the factory are letting in random drafts from the outside (vacuum fluctuations).
- The Breakthrough: The authors show that to keep the quantum rules (commutation relations) intact, you must include both the noise from the material and the noise coming in through the doors. If you ignore the doors, the math breaks.

4. The "Input-Output" Machine

The paper creates a formula that looks like this:
$\text{Output} = (\text{Input} \times \text{Propagation}) + (\text{Noise from the journey})$

Analogy: Think of sending a letter through a chaotic postal system.
- Input: The letter you write.
- Propagation: The truck driving it across the country (the Green's function).
- Noise: The rain, the bumps in the road, and the random people who might peek at the letter along the way.
- The Result: The paper proves that if you know exactly how the truck drives (the Green's function) and exactly how much rain/bumping happens (the material loss), you can predict exactly what the letter looks like when it arrives, including all the scratches and smudges.

Why Should You Care?

Better Quantum Computers: As we build quantum computers using light (photons), we need to connect tiny components together. This new math acts like a universal adapter, allowing engineers to chain different quantum devices together without losing the delicate quantum information.
Designing Invisible Things: Scientists are designing "inverse-designed" devices—structures that look weird but do amazing things with light. This paper gives them a tool to simulate how these weird shapes will behave with quantum light, even if the shapes are too complex for old math.
No More "Magic" Boundaries: It solves a long-standing headache where scientists had to pretend boundaries didn't exist to make the math work. Now, they can treat the boundaries as real, physical parts of the system.

The Bottom Line

This paper is like upgrading from a 2D map to a 3D hologram for light. It acknowledges that light is a team effort (Electric + Magnetic), that the edges of the world matter (boundaries), and that every time light gets absorbed, it creates a specific type of quantum noise.

By using this new "First-Order" language, scientists can now design and predict the behavior of the most complex, futuristic optical devices with the same ease that they currently design simple lenses. It bridges the gap between the messy reality of the real world and the pristine rules of quantum mechanics.

1. Problem Statement

Standard macroscopic Quantum Electrodynamics (QED) is traditionally formulated using the second-order Helmholtz equation for the electric field ( $\mathbf{E}$ ). This approach relies on the dyadic Green's function and typically treats material absorption via noise operators associated with the bulk medium. However, this standard framework has two significant limitations:

Neglect of Boundary Terms: It often assumes the field does not interact with finite boundaries or discards open-system boundary terms. This approximation fails for structured nanophotonic devices (e.g., waveguides, photonic crystals, inverse-designed devices) where input-output coupling occurs through specific boundaries rather than a uniform free-space continuum.
Lack of Input-Output Formalism: It does not naturally provide a quantum input-output description where incoming fields at boundaries are explicitly treated as independent channels alongside bulk absorption noise.
Complexity in Bianisotropic Media: The second-order formalism struggles with bianisotropic media (where $\mathbf{E}$ and $\mathbf{H}$ are coupled) because it decouples the fields, making propagation and reciprocity relations less direct.

The authors aim to develop a first-order operator formalism that retains both electric ( $\mathbf{E}$ ) and magnetic ( $\mathbf{H}$ ) fields, explicitly includes boundary terms, and provides a rigorous quantum input-output framework for complex, lossy, and dispersive photonic structures.

2. Methodology

The authors construct a new theoretical framework based on the following steps:

First-Order Dual Field Formulation:
- They recast Maxwell's equations into a single first-order operator equation using a dual field vector $\mathcal{E} = [\mathbf{E}, Z_0\mathbf{H}]^T$ , where $Z_0$ is the impedance of free space.
- They define a Maxwell operator $\mathcal{M} = \mathcal{H} - k_0\bar{\varepsilon}$ , where $\mathcal{H}$ is a symplectic curl operator and $\bar{\varepsilon}$ is a block-diagonal material tensor.
- This formulation treats $\mathbf{E}$ and $\mathbf{H}$ on equal footing, preserving the symplectic structure of the equations.
Green's Operator and Propagation:
- Instead of a second-order Green's function, they introduce a first-order Green operator $\mathcal{G}$ that propagates the dual field state between surfaces.
- Using the Love's equivalence principle, they derive an exact representation of the interior field as a sum of a volume integral (bulk sources) and a surface integral (boundary tangential fields).
Adjoint Identities and Symmetries:
- The authors utilize two distinct inner products to derive classical identities without heavy vector calculus:
  1. Energy Inner Product ( $L^2$ ): Used to derive power balance and the Generalized Optical Theorem.
  2. Reciprocal Inner Product: Used to derive Lorentz Reciprocity and Green's function symmetry.
- These symmetries reveal that the failure of the Maxwell operator to be self-adjoint is exactly balanced by volume absorption and surface flux terms.
Quantization via Heisenberg-Langevin Approach:
- Rather than diagonalizing the full Hamiltonian (Fano approach), they use the Heisenberg-Langevin method.
- The medium is modeled as a collection of oscillators coupled to a bosonic bath (representing absorption).
- This yields two distinct quantum noise sources:
  1. Bulk Langevin Noise ( $\hat{P}_N$ ): Arising from material absorption within the volume.
  2. Boundary Input-Output Noise ( $\hat{E}_{in}$ ): Arising from vacuum fluctuations entering through the boundary surface.

3. Key Contributions

Unified First-Order Operator Formalism: The paper establishes a compact operator equation $\mathcal{M}\mathcal{E} = \mathcal{S}$ that naturally incorporates both $\mathbf{E}$ and $\mathbf{H}$ , simplifying the treatment of propagation and reciprocity.
Exact Quantum Input-Output Relation: The interior quantum field is expressed as:
$\hat{\mathcal{E}}(\mathbf{r}) = k_0 \int_V \mathbf{g}(\mathbf{r}, \mathbf{r}') \hat{P}_N(\mathbf{r}') dV' - i \oint_S \mathbf{g}(\mathbf{r}, \mathbf{s}) (\bar{n}\times) \hat{E}_{in}(\mathbf{s}) dS$
This equation explicitly separates bulk dissipation noise from boundary input noise.
Generalized Optical Theorem as a Quantum Bridge: The authors prove that the Generalized Optical Theorem (derived classically from the energy adjoint identity) is the exact identity required to close the quantum commutation relations.
Commutation Relation Closure: They demonstrate that the equal-frequency commutator of the quantized field is determined solely by the imaginary part of the first-order Green operator:
$[\hat{E}_i(\mathbf{r}, \omega), \hat{E}^\dagger_j(\mathbf{r}', \omega')] = \frac{\hbar k_0}{\pi \varepsilon_0} \text{Im}[\mathbf{g}_{ij}(\mathbf{r}, \mathbf{r}', \omega)] \delta(\omega - \omega')$
This result holds even when dielectrics extend to the boundary, resolving previous inconsistencies in volume-only quantization schemes.
Transfer Matrix Formalism: The framework naturally leads to a quantum transfer-matrix description, allowing for the cascading of heterogeneous photonic components (e.g., waveguides, cavities, inverse-designed devices) while preserving canonical commutation relations.

4. Key Results

Fluctuation-Dissipation Consistency: The derived commutation relations satisfy the fluctuation-dissipation theorem exactly. The quantum noise added by the medium (bulk) and the boundary (input) are precisely constrained to ensure unitary evolution and correct commutation structures.
Surface-Volume Decomposition: The Generalized Optical Theorem is shown to decompose the anti-Hermitian part of the Green's function ( $\text{Im } \mathbf{g}$ ) into a volume integral (weighted by material absorption $\bar{\varepsilon}_I$ ) and a surface integral (weighted by the Poynting flux through the boundary).
Applicability to Complex Geometries: The formalism is applicable to any structure where the Green's function can be computed numerically or analytically, including:
- Inverse-designed nanophotonic devices.
- Slow-light waveguides.
- Chiral and magneto-optic media (bianisotropic systems).
- Photonic crystal bandgaps.
Cascaded Systems: The paper provides a rigorous method to chain multiple photonic elements. The noise added by each stage is automatically calculated to preserve the canonical commutator at the output, enabling the modeling of complex quantum networks.

5. Significance

This work represents a significant advancement in macroscopic QED by bridging the gap between classical electromagnetic simulation and quantum input-output theory.

Practical Utility: It allows researchers to use standard numerical electromagnetic solvers (which compute Green's functions for complex geometries) directly within a quantum framework. This removes the need for analytical mode expansions, which are often impossible for complex, inverse-designed, or non-periodic structures.
Theoretical Rigor: It resolves the "boundary problem" in macroscopic QED, showing that boundary operators are not just an add-on but are essential for satisfying the fluctuation-dissipation theorem in open systems.
Future Directions: The framework extends naturally to bianisotropic and topological photonic systems, which are difficult to treat with second-order formalisms. It sets the stage for a modal input-output theory for guided modes and provides a foundation for designing and analyzing next-generation quantum photonic circuits involving heterogeneous components.

In summary, the paper provides a minimal, symplectic, and exact operator framework that unifies classical propagation, reciprocity, and quantum noise in open, lossy, and structured electromagnetic environments.