Canonical Quantisation of Bound and Unbound WQFT

This paper derives a canonical quantisation-based Worldline Quantum Field Theory formalism suitable for both scattering and bound configurations of the classical two-body problem, utilizing the Magnus expansion to compute matrix elements that encode physical observables.

The Gist

The Big Picture: A New Way to Watch the Cosmic Dance

Imagine two massive objects in space, like two black holes or neutron stars. They are dancing together. Sometimes they swing past each other and fly apart (scattering). Sometimes they get stuck in a loop, orbiting each other for years before eventually crashing (bound orbits).

Physicists need to predict exactly how these dances move to understand the ripples they send through space, called gravitational waves. These ripples are what detectors like LIGO listen for.

This paper is about building a better "camera" to film this dance. The authors, Riccardo Gonzo and Gustav Mogull, have developed a new mathematical framework to calculate how these objects move and interact.

The Problem with the Old Camera (Path Integrals)

For decades, physicists have used a method called the Path Integral.

• The Analogy: Imagine trying to predict where a dancer will end up by summing up every possible step they could have taken, simultaneously. It’s like watching a movie where every possible version of the scene plays at once, and you average them out.
• The Issue: This works great for short interactions (like two cars passing on a highway). But it gets very messy and rigid when you try to describe long-term dances (like planets orbiting a star). It also makes it hard to track how the system changes moment-by-moment.

The New Camera (Canonical Quantisation)

The authors decided to rebuild the framework from the ground up using a different method called Canonical Quantisation.

• The Analogy: Instead of watching every possible ghostly path at once, this method treats the objects like players in a strict game with clear rules. You track their position and momentum step-by-step, updating their "score" as they interact.
• The Benefit: This approach is much more flexible. It allows the physicists to handle both the "fly-by" (scattering) and the "orbit" (bound) scenarios using the same set of rules.

The Secret Weapon: The "Magnus" Operator

In their new framework, they use a specific mathematical tool called the Magnus Expansion.

• The Analogy: Think of the standard way of calculating physics (the S-matrix) as taking a photo of the dancers after the show is over. You see the final pose, but you don't know how they got there.
• The Innovation: The Magnus operator is like a diary of the performance. Instead of just the final photo, it records the accumulated changes that happened during the interaction. It tracks the "log" of the time-evolution.
• Why it matters: This diary approach makes it much easier to calculate things like how much energy is lost to gravitational waves (radiation) and how the orbit shifts over time.

Two Types of Motion, One Language

The paper shows how to use this new "diary" method for two different scenarios:

1. Unbound Motion (Scattering): Two objects swing past each other.
   • Analogy: Two skaters gliding past each other on ice, exchanging a high-five, and skating away.
2. Bound Motion (Orbits): Two objects are locked in a gravitational embrace.
   • Analogy: Two skaters holding hands and spinning in a circle.

Previously, physicists often had to use different math for these two scenarios. This paper provides a unified language. It shows that the math for the "fly-by" can be directly translated into the math for the "orbit."

The "Toy Model" (Why use a Scalar Field?)

You might notice the paper talks about "scalar fields" and "charged particles."

• The Reality: Real black holes interact via Gravity.
• The Paper's Trick: The authors used a simplified "toy model" (a scalar field) to prove their method works.
• The Analogy: It’s like a pilot testing a new flight simulator in a wind tunnel with a small model plane before flying a real jumbo jet. If the math works for the simple model, it can be upgraded to handle the complex reality of gravity and electromagnetism.

Why Should We Care?

1. Gravitational Waves: As we detect more black hole mergers, we need incredibly precise predictions to match the signals. This new method helps calculate those signals more accurately.
2. Unified Theory: By treating orbits and scattering the same way, it helps connect different areas of physics that were previously kept separate.
3. Efficiency: It avoids the "doubling" of variables required by older methods (Schwinger-Keldysh formalism), making the calculations cleaner and less prone to errors.

Summary

In short, this paper is about rewriting the rulebook for how we calculate the motion of massive objects in space. By switching from a "sum of all paths" approach to a "step-by-step operator" approach, the authors have created a more versatile tool. This tool can describe both the brief encounters of stars and the long-term orbits of planets, all while keeping a detailed "diary" of the energy and momentum exchanged during the dance. This brings us one step closer to perfectly understanding the gravitational waves that ripple through our universe.

Technical Summary

Here is a detailed technical summary of the paper "Canonical Quantisation of Bound and Unbound WQFT" by Riccardo Gonzo and Gustav Mogull.

1. Problem Statement

The paper addresses the challenge of applying Quantum Field Theory (QFT) techniques to classical physics, specifically the gravitational two-body problem (scattering and bound orbits).

• Current Limitations: Standard modern QFT approaches rely heavily on the path integral formalism (specifically the Schwinger-Keldysh "in-in" formalism) to handle classical observables. While effective for one-point functions (like momentum impulse), this approach obscures the link to classical equations of motion and is inflexible for the Magnus expansion, which is crucial for isolating classical physics from quantum corrections.
• The Gap: There is a lack of a unified, operator-based framework that can handle both unbound scattering and bound orbits (such as inspiraling binaries) without relying on path integrals. Bound orbits require finite time intervals and non-zero background configurations, which standard scattering amplitude ($\hat{S}$-matrix) formalisms struggle to accommodate directly.
• Objective: To rebuild the Worldline Quantum Field Theory (WQFT) formalism from the ground up using canonical quantisation, enabling the direct computation of matrix elements of the operator $\hat{N} = -i\hbar \log \hat{U}$ (where $\hat{U}$ is the time-evolution operator) for both scattering and bound configurations.

2. Methodology

The authors construct a WQFT framework based on Hamiltonian mechanics and canonical quantisation, avoiding the path integral.

• Canonical Quantisation:
  • The system is quantised by promoting dynamical fields (bulk scalar field $\phi$ and worldline coordinates $x^\mu_i$) to operators.
  • Poisson brackets are upgraded to equal-time commutation relations (Dirac brackets).
  • The time-evolution operator is defined in the interaction picture: $\hat{U}(t, t_0) = \exp(i\hat{N}(t, t_0)/\hbar)$.
• The Magnus Expansion:
  • Instead of the Dyson series (used for $\hat{S}$), the authors use the Magnus expansion for $\hat{N}$.
  • $\hat{N}$ is Hermitian and encodes the perturbative scattering dynamics. Its vacuum element ($\langle 0|\hat{N}|0\rangle$) is referred to as the "Magnusian."
  • This expansion naturally incorporates retarded and advanced propagators (causal boundary conditions) rather than Feynman propagators, which is more suitable for classical physics.
  • Murua Coefficients: Diagrams in the Magnus expansion are weighted by specific coefficients (Murua coefficients) that account for different causality flows (retarded/advanced combinations) to ensure Lorentz covariance.
• Perturbative Expansions:
  • Post-Lorentzian (PL) Expansion: An expansion around a trivial background (flat space, straight-line trajectories, vanishing scalar field). This corresponds to the standard coupling expansion suitable for scattering.
  • Self-Force (SF) Expansion: An expansion around a non-trivial background (e.g., a heavy body sourcing a static field and a light body on a Keplerian orbit). This is suitable for bound orbits and extreme mass-ratio inspirals (EMRI).
• Toy Model: The calculations are performed on a scalar toy model (two charged particles interacting via a massless scalar field $\phi$), but the formalism is designed to generalize to gravity and electromagnetism.

3. Key Contributions

1. Reconstruction of WQFT: The paper provides a first-principles derivation of WQFT using canonical quantisation, eliminating the need for the Schwinger-Keldysh path integral and its associated doubling of degrees of freedom.
2. Unified Operator Framework: It establishes a single framework capable of describing both scattering (infinite time intervals) and bound orbits (finite time intervals) using the same $\hat{N}$-operator formalism.
3. Magnus Amplitudes: The authors define and compute "Magnus amplitudes" (matrix elements of $\hat{N}$ with external states). These encode all physical data needed for classical observables.
4. 1SF Dynamics: They provide a complete set of gauge-invariant matrix elements describing 1st Self-Force (1SF) dynamics up to 3rd Post-Lorentzian (3PL) order for both scattering and bound orbits.
5. Observables Extraction: The paper details how to extract physical observables (momentum impulse, scattering angle, energy/angular momentum loss, waveforms) from $\hat{N}$-matrix elements using classical Poisson brackets on the background variables.
6. Bound-to-Unbound Mapping: It demonstrates the integrand-level link between scattering and bound matrix elements, showing how the 0SF radial action is encoded in the PL expansion, facilitating unbound-to-bound mappings.

4. Key Results

• Scattering (PL & SF):
  • Calculated radiative and vacuum matrix elements of $\hat{N}$ up to 1SF order.
  • Demonstrated that the vacuum element $\langle 0|\hat{N}|0\rangle$ captures conservative dynamics, while elements with external states capture radiative dynamics.
  • Showed that the probe-limit radial action is encoded in the PL expansion of the vacuum element.
• Bound Orbits:
  • Defined a cycle-restricted Magnus generator $\hat{N}^<_{T}$ for finite time intervals.
  • Calculated radiative and vacuum matrix elements for bound orbits, showing they mirror the scattering diagrams but with periodic background trajectories and finite-time integrals.
  • Derived expressions for per-orbit energy and angular momentum losses ($\Delta E, \Delta L$) and periastron advance ($\Delta \Phi$) directly from $\hat{N}$.
• Conservative vs. Radiative:
  • Confirmed that conservative dynamics (zero momentum loss) are captured by the vacuum element, while radiative losses are controlled by radiative Magnus elements and their Poisson brackets.
  • Analyzed "squeezing effects" (deviations from Poissonian statistics) in the radiation sector, showing they arise from non-linear bulk interactions (coupling $g$).
• Comparison of Expansions:
  • Established a relationship between the PL and SF $\hat{N}$ matrices: $\hat{N}^{(PL)} \approx \bar{I}^{>}_r + \hat{N}^{(SF)>}$, where $\bar{I}^{>}_r$ is the 0SF radial action. This allows translating results between the two expansions.

5. Significance and Future Implications

• Theoretical Clarity: By using canonical quantisation, the paper clarifies the connection between QFT operators and classical equations of motion, specifically highlighting the role of the Magnus expansion in the classical limit ($\hbar \to 0$).
• Gravitational Wave Physics: The framework is directly applicable to gravitational wave astronomy. It offers a new pathway to compute waveforms and observables for binary black hole systems, particularly in the self-force regime relevant for LISA (Extreme Mass Ratio Inspirals).
• Avoiding Tail Effects: A major advantage is the ability to compute bound orbit observables directly without relying on analytic continuation from scattering amplitudes. This potentially circumvents "tail" effects (non-local-in-time hereditary terms) that complicate high-order Post-Minkowskian calculations.
• Generalizability: While demonstrated on a scalar model, the authors assert the formalism generalizes naturally to gravity (General Relativity) and electromagnetism. Future work will apply this to spin effects, higher PM orders, and direct integration over bound trajectories.

In summary, this paper provides a rigorous, operator-based foundation for WQFT that unifies scattering and bound state calculations, offering a powerful alternative to path-integral methods for classical gravitational dynamics.