Infrared physics of QED and gravity from representation theory
Abstract: The infrared structure of QED and gravity is known to be governed by an infinite-dimensional symmetry group which extends the Poincaré group to include, respectively, large $U(1)$ transformations and BMS supertranslations. We describe how the unitary irreducible representations (UIRs) of these asymptotic symmetry groups encode universal infrared features of a scattering process. Motivated by the goal of defining an infrared-finite $S$-matrix based on these UIRs, we also study supermomentum eigenstates and contrast our construction with the dressed-state approach for infrared-safe amplitudes.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Explain it Like I'm 14
Explaining “Infrared physics of QED and gravity from representation theory”
1) What is this paper about?
This paper looks at a long‑standing problem in physics: when particles interact through light (photons) or gravity (gravitons), calculations of “what comes out” of a collision often blow up and give infinities. These are called infrared (IR) problems and are caused by huge numbers of very low‑energy photons or gravitons that are always produced in such processes.
The authors propose a new, more mathematical way to handle this using the language of symmetries and “representation theory.” They show that the right way to describe the incoming and outgoing states in a collision is to include not just the particles you can count, but also the pattern of very soft (ultra‑low‑energy) radiation spread across the sky. This pattern is encoded by an infinite set of symmetries acting at the edges of spacetime (“asymptotic symmetries”). Using these, they build a framework that could lead to clean, infinity‑free scattering predictions.
2) What questions are they trying to answer?
In everyday terms, the paper asks:
- Can we describe particle collisions in a way that automatically includes the unavoidable cloud of very soft photons or gravitons, so our answers don’t blow up?
- How do the infinite “edge symmetries” of spacetime (extra gauge transformations in QED, and BMS supertranslations in gravity) control what happens with soft radiation?
- Can we classify good, physical states for scattering by using the basic building blocks (unitary irreducible representations, or UIRs) of these big symmetry groups?
- How do these symmetry‑based states compare to the older “dressed states” idea (Faddeev–Kulish), where you attach a soft cloud to each charged particle?
3) What methods do they use?
The authors use representation theory, which is a precise way to classify how objects (like particle states) transform under a group of symmetries.
Key ideas in simple language:
- Asymptotic symmetries: Besides the usual spacetime motions (rotations, boosts, and shifts), there are extra “angle‑dependent” symmetries that live at infinity—think of them as rules that can vary across directions on the sky. In QED (electromagnetism), these are “large U(1) transformations”; in gravity, they’re called BMS supertranslations.
- Supermomentum: Ordinary momentum tells you how fast and in what direction a particle moves. Supermomentum is like momentum spread out over the whole sky—it’s a function on the celestial sphere (the directions you can look to from where you sit). It keeps track of the soft radiation pattern as part of the state itself.
- Hard vs soft parts: Every state’s supermomentum can be split uniquely into:
- a “hard” part, tied to the usual particles’ momenta and charges (what we normally keep), and
- a “soft” part, a smooth pattern with zero total momentum and charge, encoding the long‑range fields and soft radiation.
- Little groups and UIRs: They use standard tools to classify all possible “building block” states (UIRs) of the asymptotic symmetry groups, guided by the subgroups (“little groups”) that keep a given supermomentum fixed. This mirrors how we classify ordinary particles, but now with the infinite symmetries included.
An analogy: Imagine tracking a soccer match. The “hard” data are the goals and who scored (momenta and charges). The “soft” data are the crowd’s chant pattern around the stadium (soft radiation across the sky). To fully describe the match, you need both.
4) What do they find, and why does it matter?
Main findings (in plain terms):
- Hard‑only is not enough: If you only keep the usual particle data (hard part), you violate conservation laws associated with the infinite edge symmetries. Nature enforces these laws by producing extra soft photons or gravitons—this is exactly what “soft theorems” (like Weinberg’s) say. So, hard‑only states predict IR divergences.
- Unique hard/soft split: Any physically relevant state naturally splits into a hard piece (ordinary particles) plus a soft piece (a smooth function on the sky). This split is unique and respects Lorentz symmetry (the usual symmetry of spacetime).
- Soft theorems = supermomentum conservation: The famous soft factors that always appear when a very low‑energy photon or graviton is emitted can be reinterpreted as the universe enforcing conservation of supermomentum (the extended “momentum on the sky”).
- A better classification of states: By classifying UIRs of the asymptotic symmetry groups, the authors provide a clean menu of allowed “particle + soft pattern” states. This offers a principled way to build scattering states that are less ambiguous than older constructions.
- Comparison with dressed states (Faddeev–Kulish): Dressed states attach a specific soft cloud to each charged particle and can remove IR divergences, but they have drawbacks (ambiguities, mathematical issues, and problems when total charge isn’t zero). In this paper’s approach, instead of forcing the cloud to be a particular one, you label states by their supermomentum pattern and require only that total supermomentum is conserved. This is more flexible and closer to fundamental symmetries.
Why this matters: It reframes notorious IR problems as a mismatch between the states we use and the true symmetries of the theory. Fix the states, and the infinities become controlled or disappear.
5) What is the potential impact?
- Toward an IR‑finite S‑matrix: The S‑matrix is the master list of probabilities for “what goes in” and “what comes out” in particle collisions. By building it out of the right symmetry‑based states (UIRs that include soft patterns), we may achieve a mathematically clean, IR‑finite S‑matrix for QED and gravity.
- Unifying QED and gravity: The same logic applies to photons and gravitons. In gravity, the BMS symmetries and related “memory effects” (lasting changes after a wave passes) naturally fit into this picture.
- Clearer physical criteria: Just as Wigner’s classification tells us which particle types are allowed by Poincaré symmetry, this work charts the landscape of “asymptotic representations” and helps identify which ones are physically relevant for real scattering.
- Better theoretical tools: Reinterpreting soft theorems and virtual IR effects as conservation of supermomentum could guide new calculations and reduce ambiguities in how we include soft radiation.
In short, the paper suggests a cleaner, symmetry‑first way to describe scattering in theories with long‑range forces—one that matches what nature actually conserves and naturally accounts for the soft radiation that always shows up.
Knowledge Gaps
Below is a concise, actionable list of knowledge gaps, limitations, and open questions left unresolved by the paper. Each item pinpoints a concrete direction for future work.
- Complete classification of QED asymptotic UIRs: The full Mackey-type classification of unitary irreducible representations of SO(3,1) ⋉ (R{3,1} × E[0]) is deferred to a forthcoming work. A rigorous, measure-theoretic classification (little orbits, induced representations, admissible stabilizers, unitary induction data) is still missing here.
- Existence and construction of an IR-finite, unitary S-matrix built from asymptotic UIRs: A concrete definition of the scattering Hilbert space, asymptotic dynamics (wave operators), unitarity, completeness, and cluster decomposition in the representation-theoretic framework remains to be established.
- Selection criteria for “physical” asymptotic UIRs: Beyond the mathematical landscape, the paper does not specify operational criteria to discard exotic representations (analogous to excluding Poincaré tachyons/continuous-spin). Develop constraints based on locality, positivity, causality, and compatibility with observed IR phenomena.
- Explicit multi-particle state space and tensor product structure: The paper does not spell out how to compose single-UIR states into interacting multiparticle states when the hard/soft decomposition is nonlinear. A concrete tensor product and clustering prescription preserving supermomentum conservation is needed.
- Supermomentum conservation in actual scattering amplitudes: While hard representations fail to conserve supermomentum and a hard/soft decomposition is given, the paper does not provide a constructive procedure to build in/out states (or projectors) that enforce supermomentum conservation event-by-event at the amplitude level.
- Mapping between Faddeev-Kulish dressings and supermomentum eigenstates: The relation between FK cloud functions and the soft potential N(z, z̄) is not established. One needs: (i) a precise bijection (or obstruction) between FK dressings and supermomentum data, (ii) criteria for uniqueness/minimality of the dressing in this language, and (iii) a comparison of analytic properties and normalizability.
- Computable examples of IR-finite amplitudes in the new framework: Beyond reproducing universal statements (soft theorems, virtual exponentiation), explicit scattering amplitudes for simple processes (e.g., 2→2 with massive/massless charges) using supermomentum eigenstates remain to be worked out.
- Treatment of massless charged particles and collinear divergences: The framework’s handling of collinear singularities (and their interplay with soft divergences) is not addressed. It is unclear how the representation-theoretic approach accommodates massless charges, jet factorization, and collinear-safe observables.
- Normalizability and separability of the soft sector: Although a Lorentz-invariant norm on the space of soft supermomenta is provided, the paper does not construct the full soft-sector Hilbert space (creation/annihilation operators, completeness, separability) or prove that composite states with nontrivial soft content are normalizable.
- Uniqueness and global well-posedness of the hard/soft decomposition: The decomposition P = Phard + Psoft is claimed unique and Lorentz-invariant, but its dependence on distributional identities, patching on S2, and the kernel of the operator ϵϵ̄ (e.g., zero modes) merits a fully rigorous proof and clarification of potential ambiguities.
- Superrotation sector and extended BMS symmetry (gravity): The analysis focuses on large U(1) (QED) and BMS supertranslations (gravity). It remains open how to incorporate superrotations (and their representation theory), and whether they impose additional, practically relevant constraints on scattering.
- Inclusion of magnetic large gauge symmetries and dual charges (QED): Only electric large gauge transformations are used. Extend the representation framework to include dual (magnetic) charges and determine the impact on supermomentum data and selection rules.
- Beyond leading soft order: The representation-theoretic encoding of subleading soft theorems (in QED and gravity) is not developed. Formulate how subleading charges and their Ward identities appear as constraints on UIRs and on the S-matrix.
- Loop-level structure and UV–IR mixing: While virtual soft exponentiation is discussed conceptually, a systematic treatment of loop corrections (including UV–IR mixing) and renormalization within the representation-theoretic S-matrix remains to be established.
- Matching at null/timelike infinity and memory: For massive states (timelike infinity) and massless states (null infinity), formal relations to currents are given, but a unified, dynamical matching (including memory effects and antipodal matching) within this representation framework is not constructed.
- Gravitational case: physically relevant UIRs and IR-finite S-matrix: The gravitational analog is proposed, but a concrete identification of viable BMS UIRs, their soft content, and explicit IR-finite gravitational amplitudes are not produced here.
- Gauge invariance and global charge constraints: The approach suggests a path beyond FK’s zero-net-charge restriction, but a rigorous account of Gauss-law constraints, boundary conditions, and gauge-invariant state spaces with nonzero total charge is missing.
- Celestial CFT interface: The work does not clarify how supermomentum eigenstates map to celestial operators/correlators, what operator spectrum they imply, or how crossing, OPE data, and unitarity constraints translate in this representation language.
- Non-abelian generalization: Extending the construction to non-abelian gauge theories (asymptotic symmetries, color memory, and factorization) is left open; this includes dealing with confinement and color flux at infinity.
- Practical observables and detectors: A prescription to translate supermomentum conservation into concrete, detector-level IR-safe observables (inclusive definitions, resolution scales) within the representation framework is not provided.
Practical Applications
Immediate Applications
Below are concrete, deployable use cases that leverage the paper’s representation-theoretic formulation of infrared (IR) physics, the hard/soft supermomentum decomposition, and the connection between soft theorems and asymptotic charge conservation.
- High-energy physics (HEP) simulation plugins for soft radiation
- Sector: Software, Particle Physics
- What: Implement a module for Monte Carlo event generators (e.g., PYTHIA, HERWIG, SHERPA, MadGraph add-ons) that enforces supermomentum conservation and samples soft configurations via the soft-sector Hilbert space defined by the Lorentz-invariant norm on (the sphere function space) and the operator.
- Why: The framework reinterprets soft photon factors and virtual soft exponentiation as consequences of supermomentum conservation; using supermomentum eigenstates offers an alternative to Faddeev–Kulish (FK) dressings with fewer ambiguities.
- Tools/Workflow:
- Compute hard charges for each external leg using the paper’s massless/massive formulas.
- Automatically derive the obstruction (soft factor) from the hard/soft decomposition and enforce global conservation.
- Sample soft modes from the Gaussian induced by the inner product .
- Interface to existing YFS-style exponentiation as a consistency check.
- Assumptions/Dependencies: Focused on QED (and gravitational) sectors; for QCD, non-abelian extensions are nontrivial. Validation against LEP and LHC soft-photon observables needed.
- Symbolic/numeric libraries for celestial and soft-structure calculations
- Sector: Software, Academia
- What: Lightweight Python/Mathematica packages exposing:
Q_hard(z, zb, p, q_e)for hard supercharges (massless delta-function or massive kernel),S_soft(z, zb, {p_i,q_i,η_i})for the soft obstruction function,decompose_supermomentum(P)returning the nonlinear hard/soft split .- Spin-weighted calculus helpers implementing , , and conformal densities on with correct transformation properties.
- Why: Makes the paper’s construction usable in perturbative calculations, cross-checks of soft theorems, and pedagogy.
- Tools/Workflow: Python (NumPy/JAX) backends with spherical harmonics and spin-weighted transforms; interfaces to existing libraries (s2kit, spinsfast).
- Assumptions/Dependencies: Numerical stability near singular directions; consistent conventions for conformal densities and patches.
- Gravitational-wave (GW) data-analysis consistency checks for memory
- Sector: Astrophysics, Software
- What: Add BMS-supertranslation charge conservation constraints as sanity checks/priors in GW pipelines (LIGO/Virgo/KAGRA) for burst and BBH signals; flag systematic biases when the (nonlinear) memory sector implied by soft charges is missing from templates.
- Why: The paper’s “soft theorem = conservation of supermomentum” unifies the logic behind (gravitational) memory; even without full new templates, conserved-charge checks can improve robustness.
- Tools/Workflow: Post-processing module that computes the net supertranslation charge flux implied by a waveform; compare with that reconstructed from the signal’s tail/memory.
- Assumptions/Dependencies: Current detectors’ sensitivity to memory is marginal; use as a consistency test rather than detection per se.
- Numerical-relativity boundary-condition diagnostics
- Sector: Computational Physics
- What: Diagnostic routines for NR codes (Einstein Toolkit, SpEC) to monitor asymptotic-charge budgets and the obstruction function at outer boundaries; reduce spurious reflections by enforcing near-conservation numerically.
- Why: The hard/soft decomposition identifies precisely what must be balanced for physically faithful asymptotics.
- Tools/Workflow: Surface integrals on large spheres to extract and its -decomposable part; trigger adaptive mesh/refinement near angular regions contributing large soft flux.
- Assumptions/Dependencies: Gauge/coordinate choices must align with asymptotic extraction; does not by itself generate new waveforms.
- IR-safe pedagogy and training materials
- Sector: Education
- What: Course modules and interactive notebooks illustrating:
- How FK dressing compares to supermomentum eigenstates,
- Why hard representations alone fail to conserve supermomentum,
- How virtual soft divergences exponentiate in this representation-theoretic language.
- Why: Low friction path to transfer the new viewpoint into curricula and group seminars.
- Tools/Workflow: Jupyter notebooks building the soft sector inner product, delta-function identities on , and simple 2–3 leg examples.
- HPC performance improvements in IR integrations
- Sector: Software, Energy (indirect)
- What: Use the derived structure (e.g., closed-form soft factors, hard/soft split) to precondition integrals and reduce cancellations from IR singularities in precision QED computations.
- Why: Less variance in Monte Carlo integrations; lower CPU-hours and energy consumption.
- Tools/Workflow: Variance-reduction schemes that integrate out analytically the soft sector guided by the paper’s identities.
- Assumptions/Dependencies: Gains depend on the observable and existing subtraction/exponentiation techniques in the code base.
Long-Term Applications
These applications require further theoretical development, scaling, or experimental readiness.
- A unitary, IR-finite S-matrix built on asymptotic symmetry UIRs
- Sector: Academia, Software
- What: Replace Fock-space asymptotics with UIR-based asymptotic Hilbert spaces labeled by supermomenta (enforcing the soft-sector conservation laws by construction); construct corresponding scattering codes.
- Why: A mathematically well-defined, unitary, IR-safe S-matrix that avoids the ambiguities of FK dressing and inclusive-only definitions.
- Tools/Workflow: Induced-representation toolkits, explicit wavefunctions on orbit spaces, sampling over soft modes using the Lorentz-invariant norm; numerical amplitude engines that take supermomentum eigenstates as inputs/outputs.
- Assumptions/Dependencies: Full classification of QED asymptotic UIRs (forthcoming), analogous development for gravity and, ultimately, non-abelian gauge theories.
- Non-abelian generalization for QCD and next-generation event generators
- Sector: Particle Physics, Software
- What: Extend the representation-theoretic construction to asymptotic symmetries (or proxies) in non-abelian gauge theories; integrate into parton showers with supermomentum-like constraints for soft gluons.
- Why: Precision LHC/FCChh predictions systematically constrained by soft-sector conservation, beyond current exponentiation models.
- Tools/Workflow: Color-dressed soft sectors with group-valued charges, generalized celestial kernels; hybrid integration with SCET resummation.
- Assumptions/Dependencies: Conceptual hurdles (non-abelian memory, gauge dependence) and computational complexity.
- GW memory–aware detector design and calibration
- Sector: Instrumentation, Astrophysics, Policy
- What: Use BMS-charge budgets to derive optimal filters and calibration strategies for LISA and 3G ground-based detectors specifically targeting memory; define performance metrics that report asymptotic-charge closure.
- Why: Improves detectability and interpretation of low-frequency tails; standardizes memory reporting across collaborations.
- Tools/Workflow: End-to-end simulations including soft-sector priors; calibration routines outputting supertranslation-charge residuals.
- Assumptions/Dependencies: Detector sensitivity to memory; community consensus on reporting standards.
- Quantum simulation algorithms in IR-safe bases
- Sector: Quantum Computing, Software
- What: Develop quantum algorithms that prepare supermomentum eigenstates (or controlled soft dressings) to simulate QED/gravity scattering without IR divergences dominating resource counts.
- Why: Reduces state-preparation overheads compared to naive Fock states; leverages group structure for circuit compression.
- Tools/Workflow: Circuit constructions for sampling modes; error-mitigation strategies guided by asymptotic symmetry constraints.
- Assumptions/Dependencies: Fault-tolerant devices or robust error-controlled NISQ-era approaches; tractable discretization of the celestial sphere.
- Celestial-compression of radiation data streams
- Sector: Communications, Astrophysics Software
- What: Represent radiative data (EM/GW) by a small set of soft-mode coefficients plus hard kinematics, exploiting the nonlinear hard/soft decomposition for telemetry compression.
- Why: Efficient storage/transmission of long-duration events with dominant soft tails (e.g., space-based detectors).
- Tools/Workflow: Real-time hard/soft decomposition pipelines; rate–distortion analysis tied to asymptotic-charge fidelity.
- Assumptions/Dependencies: Hardware support and algorithmic robustness to noise and incomplete sky coverage.
- ML architectures equivariant under asymptotic symmetries
- Sector: Machine Learning, Software
- What: Build neural networks with built-in Lorentz and (approximate) BMS equivariance to predict soft radiation patterns and denoise memory signals; incorporate charge-conservation layers as hard constraints.
- Why: Sample-efficient learning; physically faithful extrapolation in low-signal regimes (e.g., memory).
- Tools/Workflow: Group-equivariant layers on with / operations and conformalweights; loss functions penalizing supermomentum-mismatch.
- Assumptions/Dependencies: Availability of high-quality labeled datasets; consensus on symmetry-preserving discretizations.
- Standards and best practices for IR-safe experimental reporting
- Sector: Policy, Academia–Experiment Interface
- What: Define IR-safe reporting that includes “asymptotic charge ledgers” (momentum, global charge, and supermomentum budgets) alongside conventional observables; publish detector-resolution maps as celestial smearing kernels.
- Why: Reproducibility and cross-experimental consistency in the soft sector; clearer interpretation of inclusive vs exclusive measurements.
- Tools/Workflow: Community white papers; extensions to HEPData formats and GW metadata schemas.
- Assumptions/Dependencies: Community buy-in; tooling support in analysis frameworks.
- Cross-domain transfer to systems with long-range interactions
- Sector: Condensed Matter, Plasma Physics
- What: Explore representation-theoretic treatments of IR phenomena (soft modes, memory-like constraints) in systems with long-range interactions and emergent gauge structures.
- Why: Potentially new resummation/dressing paradigms for transport and response in complex media.
- Tools/Workflow: Map asymptotic charges to conserved-mode constraints in effective theories; numerical implementations on curved/periodic manifolds.
- Assumptions/Dependencies: Existence of suitable analogs of asymptotic symmetries; experimental observables sensitive to soft sectors.
Notes on assumptions and dependencies common across applications
- The IR-finite S-matrix agenda presumes that UIR-based asymptotic states can be made fully operational for QED and gravity, with technical details (classification, inner products, completeness) settled for realistic processes.
- Direct collider impact often requires non-abelian generalizations (QCD); interim use cases focus on QED sectors, electroweak soft photons, and gravitational radiative tails.
- For gravitational applications, detector sensitivity to memory is a practical limiting factor; near-term value is in consistency checks and systematic control rather than immediate detections.
- Numerical implementations must handle global issues on the sphere (patching, delta-function identities, and integration-by-parts subtleties) consistent with the paper’s distributional framework.
Glossary
Asymptotic symmetry group: The infinite-dimensional symmetry group governing the infrared structure of quantum electrodynamics (QED) and gravity, extending the Poincaré group to include large transformations and BMS (Bondi-Metzner-Sachs) supertranslations. "The infrared structure of QED and gravity is known to be governed by an infinite-dimensional symmetry group which extends the Poincaré group."
BMS group: An extension of the Poincaré group that includes supertranslations. "Despite its different history, the status of infrared divergences for gravitational theories is now largely on par with that in QED: the analogue of the Faddeev-Kulish construction for perturbative quantum gravity was developed, and IR-finite dressed states were shown to respect the infinite set of BMS conservation laws."
Faddeev-Kulish (FK) states: Dressed quantum states that include interacting asymptotic states, removing infrared divergences. "FK states describe charged particles dressed by 'photon clouds', and their associated S-matrix elements were shown to be free of IR divergences."
Hard supermomentum: A representation space element characterized by momentum and electric charge, associated with Poincaré UIRs. "They give what we will refer to as the 'hard UIRs' of the asymptotic symmetry group of QED."
Irreducible representation (UIR): A mathematical representation that cannot be decomposed into smaller, constituent parts. "We describe how the unitary irreducible representations (UIRs) of these asymptotic symmetry groups encode universal infrared features of a scattering process."
Soft theorems: Theorems describing how scattering amplitudes behave in the limit of low energy (soft) particles. "In this context, a first step is to revisit and reformulate the standard understanding of infrared divergences in conventional scattering -- such as soft theorems and virtual divergences from soft exchanges."
Collections
Sign up for free to add this paper to one or more collections.