Papers
Topics
Authors
Recent
Search
2000 character limit reached

Infrared physics of QED and gravity from representation theory

Published 6 Mar 2026 in hep-th and gr-qc | (2603.06297v1)

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.

Authors (2)

Summary

  • The paper demonstrates that organizing asymptotic states as UIRs of extended symmetry groups resolves infrared divergences in QED and gravity.
  • It introduces a hard/soft decomposition of supermomenta and establishes unique norms for soft sectors, ensuring IR-finite amplitudes.
  • The work presents a unified framework linking soft theorems, memory effects, and the construction of dressed states for unitary scattering matrices.

Representation Theory Approach to Infrared Physics in QED and Gravity


Motivation and Background

Quantum Electrodynamics (QED) and perturbative gravity are plagued by infrared (IR) divergences in scattering amplitudes involving massless bosons. Traditional treatments, such as resummation of divergent terms and inclusive cross-section calculations, control such divergences at the level of physically measurable observables but do not yield a mathematically well-defined, unitary SS-matrix on the conventional Fock space. Previous works, notably the Faddeev-Kulish (FK) framework and its generalizations, construct dressed states—charged particles accompanied by coherent clouds of soft bosons—which lead to IR-finite scattering amplitudes; however, such states exhibit ambiguities, lack a clear status as normalizable Fock states, and fail to systematically encode the conserved quantum numbers associated with asymptotic symmetries.

Over the last decade, profound insights have emerged connecting soft theorems, memory effects, and symmetries at null infinity to infinite-dimensional extensions of the Poincaré group: large U(1)U(1) gauge transformations in QED and the Bondi-Metzner-Sachs (BMS) group in gravity. These symmetry groups impose infinitely many conservation laws in the infrared regime, suggesting that asymptotic states should be organized according to unitary irreducible representations (UIRs) of these extended symmetry algebras.


Structure of Asymptotic Symmetry Groups

QED Asymptotic Symmetry:

The group is SO(3,1)(R3,1×E[0])SO(3,1) \ltimes (\mathbb{R}^{3,1} \times \mathcal{E}[0]), where E[0]\mathcal{E}[0] denotes smooth weight-zero conformal densities on the celestial sphere. It extends translations to include angle-dependent large U(1)U(1) transformations.

Gravity Asymptotic Symmetry (BMS):

The group is SO(3,1)E[1]SO(3,1) \ltimes \mathcal{E}[1], where E[1]\mathcal{E}[1] are smooth weight-one conformal densities (supertranslations). The Lorentz group acts naturally, and supertranslations generalize spacetime translations.

The representation theory for groups of the form SO(3,1)ASO(3,1) \ltimes A (with abelian AA) uses induced representations parameterized by elements of the dual space AA^* (supermomenta), leading to a classification in terms of Lorentz orbits and associated little groups.


Hard and Generic Representations

Hard Representations

Hard UIRs correspond to conventional Poincaré particles lifted to the larger asymptotic symmetry group. The hard supermomentum for each particle is completely determined by physical momentum and charge, with explicit forms:

  • QED (for a scalar of momentum pμp^\mu and charge qeq_e):
    • Massless: (pμ,Q(z,))=(ωqμ(ζ,ζˉ),qeδ(2)(zζ))\Big(p^\mu, Q(z,)\Big) = (\omega q^\mu(\zeta, \bar{\zeta}), q_e \delta^{(2)}(z-\zeta))
    • Massive: (pμ,Q(z,))=(pμ,qem24π(q(z,)p)2)\Big(p^\mu, Q(z,)\Big) = (p^\mu, \dfrac{q_e m^2}{4\pi\, (q(z,)\cdot p)^2})
  • BMS (gravity, scalar momentum pμp^\mu):
    • Massless: P(z,)=ωδ(2)(zζ)P(z,) = \omega \delta^{(2)}(z-\zeta)
    • Massive: P(z,)=m44π(q(z,)p)3P(z,) = -\dfrac{m^4}{4\pi (q(z,)\cdot p)^3}

Hard UIRs have maximal-dimensional little groups coinciding with the standard Poincaré little groups.

Generic Representations

Generic UIRs allow for non-trivial soft supermomentum components and reduced little groups. The supermomentum can be uniquely decomposed into "hard" and "soft" pieces:

  • QED: P=(pμ,Q(z,))+(0μ,ððˉN(z,))P = (p_\mu, Q(z,)) + (0_\mu, \eth\bar{\eth}\mathcal{N}(z,))
  • BMS: P(z,)=Phard(z,)+ð2ðˉ2N(z,)P(z,) = P_{\text{hard}}(z,) + \eth^2\bar{\eth}^2 N(z,)

The decomposition is nonlinear and Lorentz-invariant. The soft sector forms a Hilbert space with explicit invariant norms:

  • QED: N2=d2zzNzˉN\|\mathcal{N}\|^2 = \int d^2z\,\partial_z\mathcal{N}\partial_{\bar{z}}\mathcal{N}
  • BMS: N2=d2zz2Nzˉ2N\|N\|^2 = \int d^2z\,\partial^2_z N\,\partial^2_{\bar{z}} N

These spaces admit a two-point function encoding the inner product structure via projective null cone contractions.


Infrared Divergences as Supermomentum Conservation Failure

In conventional scattering processes involving only hard states, conservation of momentum and charge does not guarantee conservation of supermomentum due to nonlinear distributional identities. The obstruction is directly given by the soft factors in soft photon/graviton theorems:

  • QED Soft Factor: S(z,)=12πiηiqilnpiq(z,)\mathcal{S}(z,) = \frac{1}{2\pi}\sum_i \eta_i q_i \ln|p_i \cdot q(z,)|
  • Gravity Soft Factor: S(z,)=12πiηi(piq(z,))lnpiq(z,)\mathscr{S}(z,) = -\frac{1}{2\pi}\sum_i \eta_i (p_i \cdot q(z,)) \ln|p_i \cdot q(z,)|

These soft factors are precisely the missing terms required for supermomentum conservation. The formalism recasts soft theorems as Ward identities of asymptotic symmetry groups.

Exponentiation Formula for Virtual Divergences:

The real part of the exponent in the IR factorization theorem is proportional to the norm squared of the soft factor:

  • QED: (W)=log(Λ/λ)8πS2\Re(\mathcal{W}) = -\frac{\log(\Lambda/\lambda)}{8\pi}\|\mathcal{S}\|^2
  • Gravity: (W)=2Glog(Λ/λ)S2\Re(\mathcal{W}) = -2G\log(\Lambda/\lambda)\|\mathscr{S}\|^2

For gravity, the formula is well-behaved even in the presence of massless particles, while QED suffers additional collinear divergences for massless charged particles.


Dressed States and Supermomentum Eigenstates

Faddeev-Kulish (FK) and Generalized Dressings

Dressing operators attach coherent clouds of soft bosons to charged particles, ensuring IR-finiteness. The dressing ambiguity—due to gauge freedom—manifests as freedom in the dressing profile (vector cμc^\mu for QED, tensor cμνc^{\mu\nu} for gravity).

  • QED FK Dressing:

pFK=eR^p|\vec{p}\rangle_{FK} = e^{\hat{R}}|\vec{p}\rangle, where R^\hat{R} is constructed from a profile fμ(k,p)=qe(pμpkcμ)ψ(k,p)f^\mu(k,p) = q_e\left(\frac{p^\mu}{p\cdot k} - c^\mu\right)\psi(k,p).

  • Gravity FK Dressing:

pFK=eR^p|\vec{p}\rangle_{FK} = e^{\hat{R}}|\vec{p}\rangle, with fμν(k,p)=(pμpνpk+cμν)ψ(k,p)f^{\mu\nu}(k,p) = \left(\frac{p^\mu p^\nu}{p\cdot k} + c^{\mu\nu}\right)\psi(k,p).

Dressed states are eigenstates of the soft charge, but not of the full supermomentum operator unless a singular limiting procedure is implemented. The dressing can be adjusted to yield supermomentum eigenstates, thereby linearizing the supermomentum in the momenta and ensuring conservation for suitable choices.

Supermomentum Eigenstates and Goldstone Operators

Through an appropriate limit (regulating the dressing profile), dressed states can be mapped to true supermomentum eigenstates. This procedure is mathematically akin to introducing a canonical Goldstone operator and promoting the soft sector to a representation-theoretic basis. The Goldstone operator realizes the canonical commutation relation with the soft charge ([Q^,Φ^]=i[\hat{Q},\hat{\Phi}] = -i in QED; similar for gravity).

The resulting supermomentum eigenstates have the property that, if all dressings are taken appropriately, the nonlinear obstruction vanishes and conservation of momentum and charge directly implies supermomentum conservation. IR-finite amplitudes can thus be systematically constructed.


Implications and Outlook

The representation-theoretic approach provides a unified and rigorous language for encoding the universal infrared structure of scattering in QED and gravity. By organizing asymptotic states in terms of UIRs of the full asymptotic symmetry group, the formalism naturally incorporates the infinite set of conservation laws and provides a well-defined Hilbert space structure, circumventing ambiguities and pathologies of previous constructions.

Numerical Results and Claims:

  • The real part of the virtual IR divergence exponent is exactly proportional to the invariant norm of the obstruction to supermomentum conservation.
  • All IR-safe dressed states correspond to supermomentum eigenstates under suitable limiting procedures.
  • The nonlinear hard/soft decomposition of supermomenta is unique and invariant, distinct from spherical harmonics decompositions.

Contradictory Claims:

  • Not all dressed states are equivalent: different choices of dressing (gauge ambiguities) can alter matrix elements and analytic properties, as documented in recent works.
  • Conventional Fock states are insufficient for IR-finite SS-matrix elements; only the broader Hilbert space of induced representations guarantees unitary asymptotic dynamics.

Practical and Theoretical Implications:

  • Offers a systematic platform for constructing IR-finite, unitary SS-matrices in both QED and perturbative gravity.
  • Facilitates a mathematically robust formulation of memory effects and their quantum counterparts.
  • Provides a foundation for potential developments in flat-space holography, with correspondence between boundary symmetry representation theory and bulk amplitudes.
  • Pathways to extend to higher dimensions, nonabelian gauge theories, and enlarged symmetry groups (e.g., superrotations).

Speculation on Future Directions:

  • A new particle basis, defined via UIRs of asymptotic symmetry groups, may replace Poincaré-based definitions in IR-sensitive theories.
  • Extension of the method to non-abelian gauge theories may require major conceptual advances in induced representation theory.

Conclusion

The paper demonstrates that a systematic representation-theoretic classification of asymptotic symmetry groups (SO(3,1)SO(3,1) \ltimes infinite-dimensional abelian group) encodes the entire infrared physics of QED and gravity in flat spacetime. The framework unifies soft theorems, memory effects, and IR cancellation in scattering amplitudes, directly linking the non-conservation of supermomentum for conventional states to the universal structure of IR divergences. The notion of asymptotic particles as UIRs of the extended symmetry provides a mathematically well-defined basis for both practical calculations and theoretical understanding, with significant implications for the structure of quantum field theory beyond standard Fock space and the ongoing development of flat-space holography. Finite, unitary scattering requires an enlarged Hilbert space constructed from these induced representations, and the approach outlined lays the groundwork for systematic advances in IR physics across both gauge and gravitational theories (2603.06297).

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

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 E[0]E[0] (the sphere function space) and the ððˉ\eth\bar\eth 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 Q(z,zˉ)Q(z,\bar z) for each external leg using the paper’s massless/massive formulas.
    • Automatically derive the obstruction S(z,zˉ)S(z,\bar z) (soft factor) from the hard/soft decomposition and enforce global conservation.
    • Sample soft modes from the Gaussian induced by the inner product N1,ˉN2=N1ˉN2\langle \partial\mathcal N_1, \bar\partial\mathcal N_2\rangle=\int \partial\mathcal N_1\,\bar\partial\mathcal N_2.
    • 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 P=(pμ,Q(z,zˉ))+(0,ððˉN)P=(p_\mu,Q(z,\bar z))+(0,\eth\bar\eth\mathcal N).
    • Spin-weighted calculus helpers implementing ð\eth, ðˉ\bar\eth, and conformal densities E[w]E[w] on S2S^2 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 S(z,zˉ)S(z,\bar z) 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 Q(z,zˉ)Q(z,\bar z) and its ððˉ\eth\bar\eth-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 S2S^2, 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 N(z,zˉ)\mathcal N(z,\bar z) 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 N(z,zˉ)\mathcal N(z,\bar z) 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 S2S^2 with ð\eth/ðˉ\bar\eth 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 U(1)U(1) 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."

Open Problems

We're still in the process of identifying open problems mentioned in this paper. Please check back in a few minutes.

Collections

Sign up for free to add this paper to one or more collections.

Tweets

Sign up for free to view the 2 tweets with 61 likes about this paper.