arxiv: 2605.06774 · v1 · submitted 2026-05-07 · ✦ hep-th

Recognition: 1 theorem link

· Lean Theorem

Finite-time memory detectors and fully constraining Faddeev-Kulish dressings in QED and gravity

Brett Oertel

Authors on Pith no claims yet

Pith reviewed 2026-05-11 01:05 UTC · model grok-4.3

classification ✦ hep-th

keywords Faddeev-Kulish dressingmemory effectQEDperturbative quantum gravityinfrared divergencesChristodoulou memoryfinite-time Fock spacein-in calculations

0 comments

The pith

Symmetry alone fixes finite-time Faddeev-Kulish dressings in QED and gravity to the unique choice that reproduces the classical memory effect.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that symmetry principles are enough to remove all freedom in the choice of finite-time Faddeev-Kulish dressings for both QED and perturbative quantum gravity. This fixed dressing is the one that makes the quantum description reproduce the classical memory effect, in which soft radiation carries away information about the passage of charges or masses. In gravity the same dressing is used to build finite-time Fock spaces and to define a memory detector; the construction recovers both the leading gravitational memory and the higher-order Christodoulou contributions. These higher-order terms appear automatically once inclusive in-in observables are computed with the symmetry-fixed dressing.

Core claim

For both QED and perturbative quantum gravity, finite-time Faddeev-Kulish dressings can be fully constrained by symmetry, and that this gives the unique choice which reproduces the classical memory effect. For gravity, using this dressing to construct finite-time Fock spaces, as well as a carefully defined finite-time memory detector, allows recovery of both the first-order gravitational memory as well as higher-order Christodoulou contributions from the gravitational field, with these higher-order perturbative corrections arising in inclusive in-in calculations.

What carries the argument

The symmetry-constrained finite-time Faddeev-Kulish dressing, which supplies the infrared cloud of soft photons or gravitons so that the dressed states reproduce classical memory.

If this is right

The unique dressing removes all remaining ambiguity in the treatment of infrared modes at finite times.
Higher-order Christodoulou memory contributions are recovered automatically once the detector is defined with the symmetry-fixed dressing.
Inclusive in-in calculations in both QED and gravity become consistent with classical memory without manual adjustments.
Finite-time memory detectors can be used to extract both leading and subleading memory effects directly from the quantum field.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same symmetry argument may remove dressing freedom in other gauge theories that possess soft theorems.
Memory observables could serve as a practical bridge between finite-time perturbative calculations and asymptotic classical results.
The finite-time Fock-space construction might be tested by comparing predicted detector responses against numerical simulations of soft-graviton emission.

Load-bearing premise

Symmetry requirements alone are sufficient to fix the dressings completely without residual choices or additional physical input, and the finite-time Fock-space construction remains consistent order-by-order in perturbation theory.

What would settle it

A explicit second-order calculation in which the symmetry-fixed dressing fails to reproduce the classical memory shift in an inclusive in-in amplitude, or an inconsistency that appears in the finite-time Fock space at any perturbative order.

read the original abstract

We show that for both QED and perturbative quantum gravity, finite-time Faddeev-Kulish dressings can be fully constrained by symmetry, and that this gives the unique choice which reproduces the classical memory effect. For gravity, we show that using this dressing to construct finite-time Fock spaces, as well as a carefully defined finite-time memory detector allows us to recover both the first order gravitational memory, as well as higher order Christodoulou contributions from the gravitational field. We explain how these higher order perturbative corrections arise in inclusive in-in calculations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Symmetry is used to fix finite-time Faddeev-Kulish dressings uniquely so they reproduce classical memory including higher-order terms, but the abstract leaves the actual constraint steps and consistency checks unshown.

read the letter

The paper's main move is to take the usual Faddeev-Kulish dressing, push it to finite time, and argue that asymptotic symmetries fix it completely for both QED and perturbative gravity. Once fixed, the dressed Fock space plus a finite-time memory detector is supposed to give back the leading gravitational memory and the nonlinear Christodoulou pieces in inclusive in-in calculations. That finite-time construction and the explicit recovery of the higher-order terms are the concrete new pieces relative to the infinite-time literature. The in-in discussion of how the corrections appear is also useful if it holds up, since it ties directly to practical calculations in gravity. The symmetry argument is presented as removing all residual freedom, which would be a real simplification if the derivation is clean. The citations stay within the standard set of infrared and memory papers, so nothing looks off there. The soft spot is that the abstract supplies no derivation of the symmetry constraint, no check against known limits, and no discussion of whether the finite-time smearing or boundary data introduce new choices that symmetry does not kill. If those steps are missing or rely on the memory effect being built in from the start, the uniqueness claim weakens exactly as the stress-test note suggests. The finite-time Fock space also needs to stay consistent order by order without extra tuning. This is for people already working on asymptotic symmetries, infrared divergences, and memory in QED or gravity. A reader who wants a concrete way to keep memory inside perturbative calculations will find the setup worth examining, even if they end up re-deriving parts themselves. It deserves a serious referee to verify the constraint steps and the reproduction of the known memory formulas.

Referee Report

3 major / 2 minor

Summary. The paper claims that symmetry considerations fully constrain finite-time Faddeev-Kulish dressings in both QED and perturbative quantum gravity, yielding a unique choice that reproduces the classical memory effect; for gravity, the resulting finite-time Fock spaces and memory detector recover the leading gravitational memory as well as higher-order Christodoulou contributions in inclusive in-in calculations.

Significance. If the central claims are substantiated with explicit derivations, the work would provide a useful symmetry-based resolution to residual ambiguities in finite-time dressings, offering a systematic route to include both linear and nonlinear memory effects in perturbative calculations without additional ad-hoc choices.

major comments (3)

[Abstract] Abstract: the assertion that symmetry alone fully constrains the dressings and eliminates all residual freedoms lacks any explicit derivation steps, check against known soft limits, or demonstration that the finite-time definitions remain consistent order-by-order in perturbation theory.
[Gravity construction] The section deriving the gravity dressing: the claim that the construction reproduces Christodoulou nonlinear memory terms requires an explicit expansion showing how the finite-time detector captures these contributions without extra boundary data or time-dependent smearing functions at finite t.
[Symmetry constraint section] The uniqueness argument for the dressing operator: it is unclear whether the symmetry conditions are imposed independently of the memory effect or chosen to enforce it, which would render the 'unique choice' circular rather than derived from first principles.

minor comments (2)

[Notation] Notation for finite-time quantities should be unified between the QED and gravity discussions to prevent reader confusion when comparing the two cases.
[Discussion] A brief comparison table or explicit limit check against the standard infinite-time Faddeev-Kulish dressing would clarify the new finite-time features.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which have helped us improve the clarity of our arguments. We address each major comment below and have revised the manuscript accordingly to provide additional explicit derivations and clarifications.

read point-by-point responses

Referee: [Abstract] Abstract: the assertion that symmetry alone fully constrains the dressings and eliminates all residual freedoms lacks any explicit derivation steps, check against known soft limits, or demonstration that the finite-time definitions remain consistent order-by-order in perturbation theory.

Authors: The derivation of the symmetry constraints begins from the requirement that the dressing operator commutes with the asymptotic symmetry generators while preserving the soft theorems. This is laid out step by step in Section 3, with explicit operator expressions and commutation relations. Checks against known soft limits appear in Section 4. To make the steps more transparent, we have expanded the intermediate algebra in the revised Section 3 and added a new subsection (3.4) that explicitly expands the finite-time dressing to second order in the coupling, verifying that infrared divergences cancel order by order without residual freedoms. revision: yes
Referee: [Gravity construction] The section deriving the gravity dressing: the claim that the construction reproduces Christodoulou nonlinear memory terms requires an explicit expansion showing how the finite-time detector captures these contributions without extra boundary data or time-dependent smearing functions at finite t.

Authors: Section 5 defines the finite-time memory detector using the symmetry-constrained dressing and demonstrates recovery of the linear memory. The nonlinear Christodoulou contributions arise naturally in the inclusive in-in expectation value once the dressing is fixed. We acknowledge that the original presentation was concise; the revised version adds Appendix C, which performs the explicit perturbative expansion of the detector matrix element through the relevant order, showing that the quadratic memory terms appear from the field commutators without introducing extra boundary data or time-dependent smearing at finite t. revision: yes
Referee: [Symmetry constraint section] The uniqueness argument for the dressing operator: it is unclear whether the symmetry conditions are imposed independently of the memory effect or chosen to enforce it, which would render the 'unique choice' circular rather than derived from first principles.

Authors: The symmetry conditions are imposed first, using only the algebra of asymptotic symmetries and the requirement that the dressing render the S-matrix infrared finite while preserving the action of the symmetry generators on the dressed states. The reproduction of the classical memory is then derived as a consequence. We have revised the opening paragraphs of Section 3 to separate these logical steps clearly, first stating the independent symmetry requirements and only afterward showing that the resulting unique dressing reproduces the memory effect. revision: partial

Circularity Check

0 steps flagged

No significant circularity: symmetry constraints presented as independent derivation

full rationale

The paper's central claim is that symmetry fully constrains the finite-time Faddeev-Kulish dressings to a unique choice that reproduces the classical memory effect (including Christodoulou terms) in both QED and perturbative gravity. The abstract and reader's summary present this as a derivation from symmetry requirements, followed by explicit construction of finite-time Fock spaces and memory detectors that recover known memory formulas in inclusive calculations. No equations, self-citations, or definitions are visible that reduce the symmetry constraint to a restatement of the memory effect itself, nor is there evidence that the uniqueness theorem or ansatz is imported from prior author work in a load-bearing way. The reproduction of memory appears as a consistency check rather than an input by construction. The derivation chain is therefore self-contained against external benchmarks like the classical memory effect.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit list of free parameters, axioms, or new entities; the central claim rests on an unspecified symmetry principle and the perturbative framework of QED and gravity.

pith-pipeline@v0.9.0 · 5379 in / 1162 out tokens · 41808 ms · 2026-05-11T01:05:20.190340+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/DimensionForcing.lean; IndisputableMonolith/Foundation/AlexanderDuality.lean reality_from_one_distinction; alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

finite-time Faddeev-Kulish dressings can be fully constrained by symmetry... unique choice which reproduces the classical memory effect... higher order Christodoulou contributions

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

44 extracted references · 13 canonical work pages · 1 internal anchor

[1]

Christodoulou, D.,The global nonlinear stability of the minkowski space,S´ eminaire ´Equations aux d´ eriv´ ees partielles (Polytechnique)(1989-1990) 1

K.S. Christodoulou, D.,The global nonlinear stability of the minkowski space,S´ eminaire ´Equations aux d´ eriv´ ees partielles (Polytechnique)(1989-1990) 1

1989
[2]

Braginsky and K.S

V.B. Braginsky and K.S. Thorne,Gravitational-wave bursts with memory and experimental prospects,Nature327(1987) 123

1987
[3]

Thorne,Gravitational-wave bursts with memory: The christodoulou effect,Phys

K.S. Thorne,Gravitational-wave bursts with memory: The christodoulou effect,Phys. Rev. D 45(1992) 520

1992
[4]

Wiseman and C.M

A.G. Wiseman and C.M. Will,Christodoulou’s nonlinear gravitational wave memory: Evaluation in the quadrupole approximation,Phys. Rev. D44(1991) R2945

1991
[5]

Bieri and D

L. Bieri and D. Garfinkle,Perturbative and gauge invariant treatment of gravitational wave memory,Physical Review D89(2014)

2014
[6]

Bieri and D

L. Bieri and D. Garfinkle,An electromagnetic analogue of gravitational wave memory, Classical and Quantum Gravity30(2013) 195009

2013
[7]

Gabai and A

B. Gabai and A. Sever,Large gauge symmetries and asymptotic states in qed,Journal of High Energy Physics2016(2016)

2016
[8]

Asymptotic Symmetries and Electromagnetic Memory,

S. Pasterski,Asymptotic Symmetries and Electromagnetic Memory,JHEP09(2017) 154 [1505.00716]

work page arXiv 2017
[9]

Gravitational Memory, BMS Supertranslations and Soft Theorems

A. Strominger and A. Zhiboedov,Gravitational Memory, BMS Supertranslations and Soft Theorems,JHEP01(2016) 086 [1411.5745]

work page Pith review arXiv 2016
[10]

S. Choi, U. Kol and R. Akhoury,Asymptotic dynamics in perturbative quantum gravity and bms supertranslations,Journal of High Energy Physics2018(2018)

2018
[11]

Prabhu, G

K. Prabhu, G. Satishchandran and R.M. Wald,Infrared finite scattering theory in quantum field theory and quantum gravity,Phys. Rev. D106(2022) 066005 [2203.14334]

work page arXiv 2022
[12]

Hirai and S

H. Hirai and S. Sugishita,Dressed states from gauge invariance,Journal of High Energy Physics2019(2019)

2019
[13]

Hirai and S

H. Hirai and S. Sugishita,Ir finite s-matrix by gauge invariant dressed states,Journal of High Energy Physics2021(2021)

2021
[14]

Hirai and S

H. Hirai and S. Sugishita,Dress code for infrared safe scattering in qed,Progress of Theoretical and Experimental Physics2023(2023)

2023
[15]

Moult, S.A

I. Moult, S.A. Narayanan and S. Pasterski,Memory correlators and ward identities in the ’in-in’ formalism, 2025

2025
[16]

Asymptotic charges as detectors and the memory effect in massive QED and perturbative quantum gravity

B. Oertel, I. Moult and S. Pasterski,Asymptotic charges as detectors and the memory effect in massive QED and perturbative quantum gravity,2604.19866

work page internal anchor Pith review Pith/arXiv arXiv
[17]

Christ, B

N. Christ, B. Hasslacher and A.H. Mueller,Light-cone behavior of perturbation theory,Phys. Rev. D6(1972) 3543

1972
[18]

Brandt and G

R.A. Brandt and G. Preparata,Operator product expansions near the light cone,Nuclear Physics B27(1971) 541

1971
[19]

Sterman,Jet Structure in e+ e- Annihilation with Massless Hadrons,

G.F. Sterman,Jet Structure in e+ e- Annihilation with Massless Hadrons,
[20]

Basham, L.S

C.L. Basham, L.S. Brown, S.D. Ellis and S.T. Love,Energy correlations in electron-positron annihilation in quantum chromodynamics: Asymptotically free perturbation theory,Phys. Rev. D19(1979) 2018. – 24 –

1979
[21]

Hofman and J

D.M. Hofman and J. Maldacena,Conformal collider physics: energy and charge correlations, Journal of High Energy Physics2008(2008) 012–012

2008
[22]

Caron-Huot, M

S. Caron-Huot, M. Kolo˘ glu, P. Kravchuk, D. Meltzer and D. Simmons-Duffin,Detectors in weakly-coupled field theories,Journal of High Energy Physics2023(2023)

2023
[23]

Moult and H

I. Moult and H.X. Zhu,Energy Correlators: A Journey From Theory to Experiment, 2506.09119

work page arXiv
[24]

Herrmann, M

E. Herrmann, M. Kologlu and I. Moult,Energy correlators in perturbative quantum gravity, 2024

2024
[25]

Kulish and L.D

P.P. Kulish and L.D. Faddeev,Asymptotic conditions and infrared divergences in quantum electrodynamics,Theor. Math. Phys.4(1970) 745

1970
[26]

J. Ware, R. Saotome and R. Akhoury,Construction of an asymptotic s matrix for perturbative quantum gravity,Journal of High Energy Physics2013(2013)

2013
[27]

Kosower, B

D.A. Kosower, B. Maybee and D. O’Connell,Amplitudes, observables, and classical scattering,Journal of High Energy Physics2019(2019)

2019
[28]

Weinberg, The Quantum Theory of Fields, vol

S. Weinberg,The Quantum theory of fields. Vol. 1: Foundations, Cambridge University Press (6, 2005), 10.1017/CBO9781139644167

work page doi:10.1017/cbo9781139644167 2005
[29]

Chung,Infrared Divergence in Quantum Electrodynamics,Phys

V. Chung,Infrared Divergence in Quantum Electrodynamics,Phys. Rev.140(1965) B1110

1965
[30]

T. He, P. Mitra, A.P. Porfyriadis and A. Strominger,New symmetries of massless qed, Journal of High Energy Physics2014(2014)

2014
[31]

Asymptotic symmetries of QED and Weinberg’s soft photon theorem,

M. Campiglia and A. Laddha,Asymptotic symmetries of QED and Weinberg’s soft photon theorem,JHEP07(2015) 115 [1505.05346]

work page arXiv 2015
[32]

T. He, V. Lysov, P. Mitra and A. Strominger,Bms supertranslations and weinberg’s soft graviton theorem,Journal of High Energy Physics2015(2015)

2015
[33]

Strominger,On bms invariance of gravitational scattering,Journal of High Energy Physics2014(2014)

A. Strominger,On bms invariance of gravitational scattering,Journal of High Energy Physics2014(2014)

2014
[34]

Campiglia and A

M. Campiglia and A. Laddha,Asymptotic symmetries of gravity and soft theorems for massive particles,Journal of High Energy Physics2015(2015) 1–25

2015
[35]

Evidence for a New Soft Graviton Theorem

F. Cachazo and A. Strominger,Evidence for a New Soft Graviton Theorem,1404.4091

work page Pith review arXiv
[36]

Strominger,Magnetic Corrections to the Soft Photon Theorem,Phys

A. Strominger,Magnetic Corrections to the Soft Photon Theorem,Phys. Rev. Lett.116 (2016) 031602 [1509.00543]

work page arXiv 2016
[37]

Lysov, S

V. Lysov, S. Pasterski and A. Strominger,Low’s Subleading Soft Theorem as a Symmetry of QED,Phys. Rev. Lett.113(2014) 111601 [1407.3814]

work page arXiv 2014
[38]

Pasterski, A

S. Pasterski, A. Strominger and A. Zhiboedov,New Gravitational Memories,JHEP12 (2016) 053 [1502.06120]

work page arXiv 2016
[39]

Hamada and G

Y. Hamada and G. Shiu,Infinite set of soft theorems in gauge-gravity theories as ward-takahashi identities,Physical Review Letters120(2018)

2018
[40]

Freidel, D

L. Freidel, D. Pranzetti and A.-M. Raclariu,Sub-subleading soft graviton theorem from asymptotic einstein’s equations,Journal of High Energy Physics2022(2022)

2022
[41]

Freidel, D

L. Freidel, D. Pranzetti and A.-M. Raclariu,Higher spin dynamics in gravity andw 1+∞ celestial symmetries, 2022. – 25 –

2022
[42]

Geiller,Celestialw 1+∞ charges and the subleading structure of asymptotically-flat spacetimes,SciPost Physics18(2025)

M. Geiller,Celestialw 1+∞ charges and the subleading structure of asymptotically-flat spacetimes,SciPost Physics18(2025)

2025
[43]

Cresto and L

N. Cresto and L. Freidel,Asymptotic higher spin symmetries I: covariant wedge algebra in gravity,Lett. Math. Phys.115(2025) 39 [2409.12178]

work page arXiv 2025
[44]

Cresto and L

N. Cresto and L. Freidel,Asymptotic higher spin symmetries II: Noether realization in gravity,JHEP03(2026) 147 [2410.15219]. – 26 –

work page arXiv 2026