Path Integral Approach to Input-Output Theory

This paper introduces a Schwinger-Keldysh path integral formulation of input-output theory that simplifies the analysis of nonlinear quantum systems by providing direct access to full output field statistics, demonstrated through the calculation of Kerr oscillator statistics where output squeezing is identified as a cause for reduced reflection.

The Gist

The Big Picture: Listening to the Echo

Imagine you have a musical instrument inside a soundproof box (a cavity). You want to know what the instrument is doing, but you can't open the box. Instead, you listen to the sound leaking out of a small hole (the output).

In the world of quantum physics, this is exactly what scientists do with light. They shine a laser into a tiny box containing a quantum system (like an atom or a special crystal) and measure the light that bounces back or leaks out. This is called Input-Output Theory.

Usually, if the box contains a simple, predictable system (like a standard mirror), it's easy to calculate what the output light will look like. But if the system inside is nonlinear—meaning it behaves in a complex, chaotic, or "fussy" way (like a guitar string that changes its own tension when plucked hard)—the math becomes a nightmare. Traditional tools struggle to predict what the output light will do in these complex scenarios.

The New Tool: A "Recipe Book" for Chaos

The authors of this paper (Aaron Daniel, Matteo Brunelli, Aashish Clerk, and Patrick Potts) have created a new mathematical "recipe book" to solve this problem. They use a method called the Schwinger-Keldysh path integral.

Think of it this way:

• Old Way: Trying to solve a complex puzzle by looking at every single piece one by one. It's slow, and if the puzzle gets too big (nonlinear), you get stuck.
• New Way: Using a "diagrammatic" approach. Instead of writing out endless equations, the authors draw pictures (diagrams) that represent how particles interact. It's like using a flowchart to solve a maze instead of trying to memorize every turn.

How It Works: The "Shadow" and the "Ghost"

To make this work, the authors use a clever trick involving two types of "fields" (mathematical descriptions of the light):

1. The Classical Field: This is like the "average" behavior of the light, the part you can easily measure.
2. The Quantum Field: This is the "ghost" part, representing the weird, fluctuating quantum noise that makes things unpredictable.

By treating the light inside the box and the light leaking out as a single, connected story, they can draw diagrams to calculate exactly what the output light will look like, including its statistical properties (how "bunched" or "spread out" the photons are).

The Main Discovery: The "Squeezed" Reflection

The authors tested their new method on a specific, tricky system called a Kerr oscillator. Imagine a swing that gets stiffer the harder you push it.

They found something surprising about the light reflecting off this system:

• The Mystery: When they measured the light coming out, the "reflection" (how much light bounced back) was lower than expected.
• The Old Explanation: Usually, if less light comes back, it means some light was lost or absorbed inside the box.
• The New Explanation: The authors proved that no light was lost. Instead, the light was being "squeezed."

The Analogy: Imagine a balloon filled with air. If you squeeze the balloon, the air doesn't disappear; it just gets packed tighter in a different shape. Similarly, the nonlinear system inside the box didn't eat the photons; it rearranged them. The light became "squeezed," changing its statistical shape so that it looked like less light was reflecting, even though the total number of photons remained the same.

Why This Matters

1. It's Easier: Their diagram method makes calculating complex quantum systems much simpler than previous methods.
2. It's Accurate: It works even when the system is hot (finite temperature), which is a common real-world condition that other methods struggle with.
3. It Reveals Hidden Truths: It can spot effects (like the squeezing mentioned above) that standard "average" calculations would miss completely.

Summary

This paper introduces a new, visual way to do the math for quantum light experiments. Instead of getting lost in complicated equations, scientists can now use diagrams to predict how complex, "fussy" quantum systems will behave. They used this tool to discover that a specific type of nonlinear system doesn't lose light when it reflects; it just "squeezes" the light into a different, harder-to-detect shape. This helps us better understand and control quantum systems in the future.

Technical Summary

1. Problem Statement

Input-output theory is a cornerstone of quantum optics, used to describe quantum systems (like cavities) probed by light. It connects the internal dynamics of a system to the light entering and leaving it.

• The Limitation: While standard input-output theory (based on quantum Langevin equations) works well for linear systems, it becomes analytically intractable for nonlinear systems (e.g., Kerr oscillators). Calculating output field statistics (such as coherence functions $G^{(n)}$) for nonlinear systems typically requires solving complex hierarchies of equations or using master equations that do not directly yield output statistics.
• The Gap: There is a lack of systematic theoretical methods to compute the statistics of light leaving a nonlinear cavity, particularly at finite temperatures. Existing methods often struggle with the cross-terms between input fields and cavity modes when calculating higher-order correlations.

2. Methodology

The authors propose a novel framework combining Input-Output Theory with the Schwinger-Keldysh path integral formalism (a tool from non-equilibrium quantum field theory).

• Core Formalism:

  • Instead of solving Langevin equations, the authors derive a Moment Generating Functional (MGF), $\Lambda_{out}[\chi, \chi']$, for the output field $\hat{b}_{out}$.
  • This is achieved by integrating out the bath degrees of freedom from the total system-bath action, resulting in an effective action $S_{out}$ that depends only on the system fields ($\phi_{cl}, \phi_q$) and source fields ($\chi, \chi'$) coupled to the output.
  • The action includes a specific source term that ensures the resulting correlation functions are normally ordered and time-ordered, which is crucial for photodetection statistics.

• Perturbative Expansion:

  • The action is split into a Gaussian part (linear cavity) and an interaction part ($S_{int}$) representing nonlinearity (e.g., Kerr term).
  • The authors perform a cumulant expansion of the MGF. This allows them to treat the nonlinearity perturbatively.
  • Diagrammatic Technique: They develop a set of diagrammatic rules (analogous to Feynman diagrams) to compute these cumulants.
    • Vertices: Represent the nonlinear interaction (e.g., $U \hat{a}^\dagger \hat{a}^\dagger \hat{a} \hat{a}$).
    • Lines: Represent Green's functions (Retarded, Advanced, Keldysh) connecting the system fields.
    • External Legs: Squares represent input sources; half-circles represent output detectors.
    • Rules: Specific causality and connectivity rules are established to eliminate vanishing terms and simplify calculations.

• Partial Summation:

  • To go beyond low-order perturbation, the authors introduce partial summation techniques.
  • Loop Summation: Infinite subsets of "loop" diagrams (thermal loops) are summed analytically by "dressing" the Green's functions, effectively shifting the detuning parameter to include thermal effects ($\Delta \to \Delta + 4n_B U$).
  • Mean-Field Connection: They show that summing specific classes of diagrams corresponds to a finite-temperature mean-field theory for the intra-cavity field.

3. Key Contributions

1. Direct Access to Output Statistics: The formalism provides a direct route to calculating output field cumulants (e.g., $\langle \hat{b}_{out}^\dagger \hat{b}_{out} \rangle$, $G^{(2)}$) without needing to first solve for the full intra-cavity density matrix and then map it to the output.
2. Unified Framework for Nonlinearity: It bridges quantum optics and non-equilibrium field theory, making powerful tools like diagrammatic expansions and renormalization techniques available for input-output problems.
3. Finite Temperature Handling: The method naturally incorporates finite temperature effects ($n_B \neq 0$) through the distribution function $F = 2n_B + 1$ in the Keldysh Green's functions, avoiding the complexity of thermal master equations.
4. Diagrammatic Rules for Output: The paper establishes a complete set of rules for constructing and evaluating diagrams specifically for output field correlations, including multiplicity factors and causality constraints.

4. Results: Application to the Kerr Oscillator

The authors apply their formalism to a coherently driven Kerr nonlinear oscillator ($H_{int} = U \hat{a}^\dagger \hat{a}^\dagger \hat{a} \hat{a}$).

• Reflection Probability:

  • They find that the reflection coefficient $R$ decreases due to the Kerr nonlinearity.
  • Crucial Insight: This reduction is not due to photon loss (the system is unitary regarding photon number conservation in the reflection process). Instead, it arises from the squeezing of the output light. The nonlinearity redistributes the photon statistics, reducing the coherent amplitude while increasing fluctuations.
  • Standard mean-field theory fails to capture this reduction in reflection, predicting $R=1$ always, whereas the diagrammatic approach correctly predicts $R < 1$.

• Coherence Functions:

  • $G^{(1)}$ (First Order): The first-order coherence function shows a decay at long times consistent with the reduced reflection probability.
  • $G^{(2)}$ (Second Order): The normalized second-order coherence function $g^{(2)}$ exhibits bunching or anti-bunching depending on the drive detuning. The output $g^{(2)}$ behaves markedly differently from the intra-cavity $g^{(2)}$, highlighting the importance of calculating output statistics directly.

• Squeezing Spectrum:

  • The output light is squeezed at zero temperature. At finite temperatures, this squeezing is strongly suppressed, a result captured accurately by the dressed Green's function approach.

• Validation:

  • At zero temperature, results match exact solutions from literature (Ref. [34]).
  • At finite temperatures, results are benchmarked against numerical simulations (using QuantumOptics.jl), showing excellent agreement.

5. Significance

• Theoretical Advancement: This work resolves a long-standing difficulty in quantum optics: the systematic calculation of output statistics for nonlinear driven-dissipative systems. It moves beyond the limitations of quantum Langevin equations and standard master equation approaches.
• Practical Utility: The diagrammatic approach simplifies complex calculations that would otherwise require deriving cumbersome hierarchies of equations. The ability to perform partial summations (resummation of loops) allows for capturing non-perturbative effects (like frequency shifts) even with a perturbative starting point.
• Broad Applicability: While demonstrated on a Kerr oscillator, the framework is general. It can be extended to few-level systems, spin systems, fermionic degrees of freedom, and systems with squeezed baths or parametric drives. This is particularly relevant for the emerging field of cavity materials engineering, where light-matter coupling is used to alter many-body system properties.
• Physical Insight: The discovery that reflection reduction in a lossless nonlinear cavity is driven by output squeezing rather than leakage provides a new physical intuition for nonlinear cavity QED phenomena.

In summary, the paper establishes a robust, diagrammatic path-integral framework that unifies input-output theory with non-equilibrium field theory, enabling the precise and intuitive calculation of output field statistics for complex nonlinear quantum systems at finite temperatures.