⚛️ high-energy theory

Adiabatic definitions of scattering matrix and inclusive scattering matrix

This paper analyzes the adiabatic definition of the scattering matrix within the L-functional formalism, introducing the concept of an inclusive scattering matrix linked to inclusive cross sections and exploring its connections to adiabatic quantum computing.

Original authors: Albert Schwarz

Published 2026-07-21

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Albert Schwarz

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 Invisible Dance of Particles

Imagine the universe as a giant, bustling dance floor where tiny particles are the dancers. In the world of quantum physics, these dancers don't just bump into each other and bounce away; they interact in a way that creates a cloud of invisible "noise" around them. When two particles collide, they might emit a swarm of tiny, ghostly particles (like soft photons) that are so faint we can't see them individually, but they are there, changing the energy of the collision.

For decades, physicists have tried to write a perfect "score" for this dance, called the scattering matrix. This score predicts exactly what happens when particles collide. However, there's a catch: if you try to calculate the score using the standard rules, the math often explodes into infinity because of that invisible noise. It's like trying to count the steps of a dancer while ignoring the wind blowing their hair; the calculation gets messy and breaks.

To fix this, scientists use a clever trick called the adiabatic method. Imagine slowly turning up the music (the interaction) very gently, letting the dancers get used to it, and then slowly turning it down. This "slow-motion" approach helps smooth out the math. But even with this trick, there are different ways to define the final score, and some definitions are better than others at handling that invisible noise. This paper dives into a specific, powerful way of looking at these collisions using a mathematical tool called L-functionals. Think of L-functionals as a special kind of "recipe card" that doesn't just list the ingredients (particles) but describes the entire state of the kitchen (the quantum system) in a way that handles the chaos of infinite possibilities much better than old methods.

The Paper's Journey: From Slow Motion to the Perfect Score

In this paper, the author, A. Schwarz, takes us on a tour of how to define the scattering matrix and a special version called the inclusive scattering matrix using these L-functionals. The main goal is to show that when we use this specific mathematical framework, we can naturally arrive at the "inclusive" score—a score that counts not just the main dancers, but also the invisible noise they leave behind.

The story starts by explaining the basics of L-functionals. Instead of tracking individual particles like a camera following a single actor, L-functionals track the "mood" of the entire system. It's like describing a crowd not by counting heads, but by measuring the collective energy and movement of the whole group. The author shows that in this language, the rules of the game (the equations of motion) are surprisingly clean and don't get stuck on the infinite problems that plague other methods.

The paper then explores the adiabatic definition. This is the "slow-motion" trick mentioned earlier. The author demonstrates that if you start with a simple, quiet system and slowly introduce the complex interactions (the collision), you can track how the system changes. However, simply slowing things down isn't enough to get the perfect score; you have to add some "phase factors." Think of these as tiny, invisible tuning knobs. If you don't turn these knobs just right, the final score is slightly off. The paper proves that by adjusting these knobs based on how the system was "dressed" (changed) during the slow-motion process, you get a renormalized scattering matrix. This is the corrected, finite score that physicists actually need to make predictions.

A key finding of the paper is the relationship between this new "inclusive" score and the traditional one. The author shows that the inclusive scattering matrix is essentially the same as the traditional one, just viewed through the lens of L-functionals. It's like looking at the same dance through a different pair of glasses; the dance is the same, but the new glasses make the invisible noise visible and manageable. The paper explicitly states that this approach works beautifully for theories where the math doesn't blow up (no infrared or ultraviolet divergences). It notes that while this specific method doesn't directly solve the messiest parts of Quantum Electrodynamics (QED)—where the noise is infinite—it suggests a way to define the inclusive score for QED by taking limits from cleaner theories.

The author also connects this to adiabatic quantum computing. Just as the paper uses "slow changes" to find the stable state of a particle system, quantum computers use slow changes to find the solution to a problem. The paper suggests that the techniques used here are a generalization of those computing methods, offering a broader way to find stable states in complex systems.

Finally, the paper looks at what happens when the quantum world turns into the classical world (when the tiny constant $\hbar$ goes to zero). The author finds that in this limit, the inclusive scattering matrix simplifies and can be described using "Green functions" in a specific "Keldysh basis." This is a fancy way of saying that as the quantum weirdness fades away, the math settles into a form that looks very much like the classical physics we see in everyday life, governed by specific types of interactions.

In short, this paper doesn't just propose a new way to calculate particle collisions; it provides a rigorous proof that the "inclusive" way of counting (including the invisible noise) is the natural result of using L-functionals and adiabatic methods. It simplifies previous proofs, clarifies the role of those "tuning knobs" (phase factors), and bridges the gap between complex quantum math and the classical world, all while keeping the calculations finite and manageable. The author is confident in these mathematical derivations, presenting them as proven results within the framework of perturbation theory, rather than just guesses or simulations.

Technical Summary: Adiabatic Definitions of Scattering Matrix and Inclusive Scattering Matrix

Problem Statement
The paper addresses the rigorous definition of the scattering matrix (S-matrix) and the inclusive scattering matrix within the formalism of L-functionals. This formalism, rooted in the geometric approach to quantum theory, represents states as non-linear functionals (L-functionals) on Weyl or Clifford algebras, corresponding to vectors in all irreducible representations of Canonical Commutation Relations (CCR) or Anticommutation Relations (CAR). A primary challenge is establishing the relationship between the adiabatic S-matrix (derived via slowly varying Hamiltonian families) and the renormalized scattering matrix, particularly in the context of inclusive cross-sections. Furthermore, the paper investigates the classical limit ( $\hbar \to 0$ ) of these matrices and their connection to adiabatic quantum computing.

Methodology
The author employs the formalism of L-functionals, where quantum states are represented as positive linear functionals $L_K(\alpha^*, \alpha) = \text{Tr}(e^{-\alpha a^\dagger} e^{\alpha^* a} K)$ on a Weyl algebra. The methodology proceeds through several key steps:

Formalism Setup: The paper defines evolution operators and adiabatic S-matrices ( $\hat{S}_a$ ) within this functional framework. It distinguishes between the standard operator formalism (acting on Fock space) and the L-functional formalism, where the "Hamiltonian" acts as a differential operator on the space of functionals.
Adiabatic Limit and Renormalization: The author analyzes the limit of the adiabatic S-matrix as the adiabatic parameter $a \to 0$ and volume $\Omega \to \infty$ . It is demonstrated that the direct adiabatic limit yields a non-renormalized matrix. To obtain the renormalized S-matrix, specific phase factors (adiabatic dressing) are introduced. These factors are derived from the energy shifts of the ground state and one-particle states during the adiabatic switching process.
Green Functions and Diagrams: The paper utilizes generalized Green functions (GGreen functions), which are analogs of Green functions in the L-functional formalism and correspond to those in the Keldysh formalism of non-equilibrium statistical physics. Diagrammatic techniques are developed where propagators are physical two-point GGreen functions and vertices are one-particle irreducible (1PI) diagrams.
Inclusive Scattering Matrix: The inclusive scattering matrix $S$ is defined as an operator in the space of L-functionals. The paper establishes a mapping between the conventional renormalized S-matrix $\hat{S}$ and the inclusive matrix $S$ via the relation $S L_K = L_{\hat{S} K \hat{S}^\dagger}$ .
Classical Limit: The behavior of the inclusive scattering matrix is analyzed in the limit $\hbar \to 0$ , utilizing the Keldysh basis (classical and quantum components) to show that the limit is governed by specific GGreen functions.

Key Contributions and Results

Adiabatic Definition of Renormalized S-Matrix: The paper provides a simplified proof showing that the renormalized scattering matrix $\hat{S}$ can be obtained as a limit of the adiabatic S-matrix $\hat{S}_{a,\Omega}$ multiplied by unitary operators $\hat{U}_{a,\Omega}$ that account for phase shifts:
$\hat{S} = \lim_{a \to 0} \lim_{\Omega \to \infty} \hat{U}_{a,\Omega} \hat{S}_{a,\Omega} \hat{U}_{a,\Omega} \langle \theta | \hat{S}_{a,\Omega} | \theta \rangle^{-1}$
Here, $\hat{U}_{a,\Omega}$ involves phase factors $r_{a,\Omega}(k)$ derived from the difference between interacting and free one-particle energies.
Inclusive Scattering Matrix in L-Functionals: The paper defines the inclusive scattering matrix $S$ directly within the L-functional formalism without requiring a volume cutoff. It proves that $S$ is related to the conventional renormalized S-matrix $\hat{S}$ by the transformation $S L_K = L_{\hat{S} K \hat{S}^\dagger}$ . This relationship justifies the terminology "inclusive," as inclusive cross-sections can be directly expressed via matrix elements of $S$ .
Expression via Amputated GGreen Functions: A central result is the demonstration that the inclusive scattering matrix can be expressed in terms of on-shell amputated GGreen functions. This mirrors the standard LSZ reduction formula but is derived within the L-functional framework. The paper conjectures that this expression remains valid for Quantum Electrodynamics (QED), where infrared divergences are naturally absent in the L-functional formalism.
Connection to Adiabatic Quantum Computing: The paper draws a parallel between the construction of stationary states via adiabatic dressing (limit $a \to 0$ ) and the principles of adiabatic quantum computing. It suggests that the techniques used to obtain stationary states of complicated Hamiltonians from simple ones can be viewed as generalizations of adiabatic quantum computing, particularly when problems are reduced to finding equilibrium states.
Classical Limit ( $\hbar \to 0$ ): The paper shows that the equations of motion for L-functionals and the inclusive scattering matrix possess a well-defined limit as $\hbar \to 0$ . In this limit, the dynamics are governed by GGreen functions in the Keldysh basis, specifically those involving the "quantum" component ( $\phi_{qu}$ ), which is proportional to $\hbar$ .

Significance and Claims
The paper claims to offer a simpler proof of the main results regarding the adiabatic definition of the scattering matrix found in previous literature (specifically referencing works [4] and [5]). By utilizing the L-functional formalism, the author eliminates the need for volume cutoffs in the definition of the scattering matrix, simplifying the proofs and the handling of divergences (assuming the absence of infrared and ultraviolet divergences in the specific theories considered, except for the conjectured application to QED).

The work positions the inclusive scattering matrix not merely as a computational tool for cross-sections but as a fundamental object in the geometric approach to quantum theory. It bridges the gap between the algebraic approach (L-functionals), non-equilibrium statistical physics (Keldysh formalism), and adiabatic quantum computing. The paper modestly frames its results as a clarification and simplification of existing perturbative techniques, providing a unified framework for defining scattering matrices and analyzing their classical limits without relying on the specific representation of the CCR algebra.

The Invisible Dance of Particles

The Paper's Journey: From Slow Motion to the Perfect Score

More like this