Pith. sign in

REVIEW 2 major objections 4 minor 23 references

This paper claims that in massless scalar QED the classical infrared triangle — logarithmic soft theorem, divergent superphaserotation charge, and memory tail — is exactly zero to all orders in the electromagnetic coupling.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 14:07 UTC pith:W63TOH6O

load-bearing objection Massless sQED's log infrared triangle is indeed trivial—the paper is likely right, but it hides several technical steps. the 2 major comments →

arxiv 2512.21239 v3 pith:W63TOH6O submitted 2025-12-24 hep-th gr-qc

Exact Infrared Triangle in Massless sQED with Long-range Interactions

Sangmin Choi , Ameya Kadhe , Andrea Puhm This is my paper
classification hep-th gr-qc
keywords asymptotic symmetriessoft photon theoremsuperphaserotationmassless scalar QEDinfrared trianglememory effectlong-range interactionslogarithmic soft theorem
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper works in massless scalar QED, where charged matter is a massless complex scalar field interacting with photons, and asks what long-range electromagnetic interactions do to the infrared triangle. It derives the asymptotic charge for the divergent superphaserotation — a local, angle-dependent phase rotation of charged matter — and shows that both the logarithmic hard and soft pieces of that charge vanish identically to all orders in the electric charge e. This matches the fact that the classical logarithmic soft photon theorem in massless scalar QED is exactly zero. The authors also compute the O(e^2) infrared correction to the charge behind Low's subleading soft photon theorem. A direct corollary is that the tail of the electromagnetic velocity-kick memory vanishes completely, so the whole classical infrared triangle collapses to zero.

Core claim

On its own terms, the paper's discovery is that in massless scalar QED the long-range Coulombic interaction, rather than producing a logarithmically divergent phase dressing of the matter as it does for massive matter, only modifies the scalar field at subleading order in 1/r. As a result, the coefficient of the ln r piece of the matter current that would generate the logarithmic hard charge vanishes: 3,1 j_u = 0 upon using the equations of motion and the Lorenz gauge condition. Likewise, the 1/u tail of the radiative gauge field at null infinity that would generate the logarithmic soft charge vanishes, A_C^{(1,n)} = 0, because no matter current survives on the boundary of null infinity. The

What carries the argument

The central object is the asymptotic charge functional Q[\epsilon] = \int_\Sigma (\epsilon \star j + d\epsilon \wedge \star F), evaluated on a Cauchy slice with the linearly divergent superphaserotation parameter \epsilon = r \epsilon(\hat{x}) + (u/2)(D^2+2)\epsilon(\hat{x}) + \cdots. A superphaserotation is the physical large gauge transformation that acts on matter as an angle-dependent phase rotation; the linearly divergent choice is what connects the charge to the subleading (Low) and logarithmic soft theorems. The proof runs by splitting Q into hard and soft pieces, isolating the ln r and 1/u divergent coefficients, and showing each vanishes: the hard piece cancels because the O(ln r) c

Load-bearing premise

The load-bearing assumption is that the symmetry behind the logarithmic soft photon theorem in massless scalar QED is the same linearly divergent superphaserotation that works for massive scalar QED; if the true symmetry is different or needs a different parameter, the charges computed here are not the relevant ones.

What would settle it

A direct order-e^3 (one-loop) computation of the classical logarithmic soft photon amplitude in massless scalar QED for a generic two-charged-scalar scattering event, with the collinear regions regulated as in Appendix D: any non-zero result would contradict the claimed exact vanishing. Equivalently, an explicit finite-energy scattering solution on null infinity whose radiative data A_C has a non-vanishing 1/u coefficient at late times would falsify the vanishing soft charge and the vanishing memory tail.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The classical logarithmic soft photon theorem in massless scalar QED vanishes exactly to all orders in e, matching the one-loop-exact vanishing found in amplitude computations.
  • The subleading tree-level (Low) soft theorem is not rendered ambiguous by logarithmic terms, because the logarithmic corrections that would make it ambiguous vanish.
  • The asymptotic symmetry charge for the logarithmically divergent superphaserotation is identically zero, so the conservation law contains no information beyond the tree-level leading and subleading soft theorems.
  • The tail of the electromagnetic velocity-kick memory vanishes to all orders in e, so long-range interactions between soft radiation and massless matter produce no late-time memory tail.
  • The charge associated with Low's subleading soft photon theorem receives an explicit O(e^2) correction from the 2e^2|\phi|^2 A_C term, with no higher-order corrections in the coupling.

Where Pith is reading between the lines

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

  • Editorial extension: if the cancellation of 3,1 j_u is structural rather than an accident of scalar coupling, the same triviality should hold in massless spinor QED, where the matter current is bilinear in spinors; a direct construction of the dressed spinor field would test this.
  • Editorial extension: the exactness argument suggests the surprising possibility that the classical logarithmic infrared triangle is zero for every massless matter content, while all physical information sits in the quantum logarithmic soft theorem that this paper leaves unexplained.
  • Editorial extension: one can test the all-orders claim by setting up the large-r recursion for the gauge field and current to arbitrarily high order in e and verifying that no 3,n j_u or A_C^{(1,n)} modes are generated; if a mode appears at some finite order, the exactness fails before radiative corrections become important.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper extends the asymptotic-symmetry analysis of logarithmic soft photon theorems from massive to massless scalar QED. In retarded Bondi coordinates, it constructs a perturbatively dressed large-r expansion for the massless scalar coupled to the long-range radiative/Coulombic gauge field, and computes the Noether charge for a linearly r-divergent 'superphaserotation' parameter ϵ(u,r,x^A)=rϵ(x^A)+... . The charge is split into hard and soft pieces at each order in r. The authors find that the O(ln r) hard charge vanishes because the relevant current component ^{3,1}j_u cancels exactly (Appendix B), and the O(ln r) soft charge vanishes because the logarithmic soft photon current J_+^{(ln)} vanishes; the key step is Eq. (4.25), where the coefficient A_C^{(1)} of the 1/u tail in the radiative data is written as a boundary term that is argued to vanish. They further compute an O(e^2) correction to Low's subleading charge and conclude that the tail of the electromagnetic velocity-kick memory vanishes exactly in e. The paper claims that all corners of the classical infrared triangle—logarithmic soft theorem, divergent superphaserotation charge, and tail memory—are exactly zero to all orders.

Significance. If established, the result is significant: it completes the classical infrared triangle for massless scalar QED in the trivial direction and shows that the one-loop exact vanishing of the classical logarithmic soft photon theorem is compatible with, and explained by, an asymptotic symmetry conservation law. The explicit all-orders cancellation is a strong statement, and the paper includes substantial algebraic support (Appendices A–D), including the demonstration that potential collinear divergences do not affect the classical soft factor. The computation is parameter-free and yields a falsifiable prediction (zero tail memory for massless charged scalars). The main caveat is the reliance on the same divergent superphaserotation ansatz as in the massive case, which is stated but not derived; however, this is a reasonable working hypothesis and is partially validated by the recovery of the known leading and subleading charges.

major comments (2)
  1. [§4.2, Eqs. (4.23)–(4.25)] The derivation of the vanishing of A_C^{(1),+} is load-bearing for the soft logarithmic charge and the tail-memory result, but it is not exhibited in enough detail. Please provide the intermediate steps: the large-r expansion of the Green's function representation (4.23), the origin of the ln(-q·q') factors in (4.24), and the integration by parts in u' that converts the current integral into the boundary term involving ^{4,0}j_r. In particular, justify carefully why the boundary term vanishes: massless fields reach null infinity, so the statement 'no current survives at the boundary of I^+' needs an explicit argument using the assumed fall-offs, rather than being asserted.
  2. [Appendix C] The all-orders exactness claim is central to the paper's title and conclusions, but the proof in Appendix C is an induction sketch. The step 'It follows that the expressions obtained in appendix B ... remain unchanged at higher orders in the coupling' is plausible but not formally demonstrated. Please state the inductive hypothesis explicitly (the form of the large-r expansions of A and j at each order in e), and show that the scalar dressing ϕ_{1,n} retains the form (A.5) with no new r^{-2} ln^l r current components. As written, the argument is too compressed for a result that is claimed to be exact to all orders.
minor comments (4)
  1. [§4.3, Eq. (4.31)] There is an apparent typo: Eq. (4.30) contains the term D^A {}^{1,0}F_{uA}, while Eq. (4.31) writes D^A {}^{0,0}F_{uA}. Please correct the superscript or explain the notation if this is intentional.
  2. [§4.2, Eq. (4.24)] The notation in Eq. (4.24) is hard to follow: the roles of q, q', the raising/lowering of the index on q'_μ, and the meaning of the binomial sum would benefit from a brief explanation, including the definition of q·q' in this context.
  3. [§4, Eq. (4.10)] The underbraces in Eq. (4.10) group some field-strength terms under Q_H^{(0)} rather than Q_S^{(0)}. This is explained in the text as a consequence of dϵ∧*F contributing to the hard charge, but a sentence immediately after the equation clarifying this grouping would help the reader.
  4. [References] Reference [14] is listed as 'Work in progress'. If a published version is available at the time of resubmission, it should be cited; otherwise, consider removing the placeholder.

Circularity Check

0 steps flagged

No circular reduction: the vanishing logarithmic charges are derived in-paper from the equations of motion; the same-author ansatz citation is explicit, independently anchored, and non-load-bearing.

full rationale

I find no circular reduction. The central claims---vanishing of the logarithmic hard charge Q_H^(ln) (4.19)-(4.20) and logarithmic soft charge Q_S^(ln) (4.22),(4.27)---are obtained by in-paper computations, not imported. Q_H^(ln)=0 because ^{3,1}j_u is computed to vanish (Appendix B, (B.3)-(B.4)); the cancellation uses the EOM-derived dressing phi_{1,1}=-ie ^{2,1}A_r phi_{0,0} (A.11) and the exact Lorenz-gauge relation partial_u ^{2,1}A_r = -^{1,1}A_u ((2.21)/(A.10)), and holds for any profile of epsilon. Q_S^(ln)=0 because the 1/u (and (ln u)^n/u) coefficients A_C^{(1,n)} vanish (4.24)-(4.26) via current conservation plus the stated physical boundary condition that no current survives at u=+-infinity of I^+; this too is independent of epsilon. No parameter is fitted anywhere; the O(e^2) correction to the subleading charge (4.37) is computed from the current. The known one-loop-exact vanishing of the classical logarithmic soft factor (independent Sahoo-Sen [19]) enters as the theorem to be reproduced; the charge computation does not assume it, so the match is a genuine consistency check rather than a reduction to the input. The principal self-citation is [13] (Choi-Laddha-Puhm, arXiv:2412.16149), used to motivate the symmetry choice. The paper explicitly labels the linearly divergent superphaserotation as an 'ansatz' (Secs. 1, 3, and 6) and anchors it independently by reproducing the leading Weinberg charge (4.12)-(4.15) and matching the independent Campiglia-Laddha subleading charge (4.32)-(4.36; cf. [9]). Since the vanishing claims do not depend on the functional form of epsilon, the cited ansatz does not force the central result; the self-citation is minor and non-load-bearing. The flagged weaknesses are transparency issues, not circularity: the route from (4.23) to (4.25) is abbreviated, and the all-orders induction in Appendix C is compressed ('It follows that...'), but neither step assumes its conclusion. The score of 2 reflects only the presence of non-load-bearing same-author citations, not any reduction of the derivation to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The paper introduces no new particles or conserved quantities; its main assumption is the symmetry ansatz and the structural fall-off of current components.

axioms (3)
  • ad hoc to paper The symmetry responsible for logarithmic soft theorems in massless sQED is the same linearly divergent superphaserotation as in massive sQED (section 3).
    The paper motivates this by analogy to [13], but it is an assumption about the symmetry structure.
  • domain assumption The soft factor (1.5) used in section 1 equals the classical soft factor (D.1) used in appendix D, despite different notation and index sums.
    The paper does not prove the equivalence; the versions differ in the pre-factor and the operator ordering.
  • domain assumption The current components 2,n j_A and 2,n j_C vanish for all n≥1 and 2,n j_A = 2,0 j_A δ_{n,0}, as stated in appendix B.
    This is a key structural input used in (4.24) and (4.37); it is stated without an independent derivation.

pith-pipeline@v1.3.0-alltime-deepseek · 17094 in / 4257 out tokens · 33277 ms · 2026-08-03T14:07:00.777831+00:00 · methodology

0 comments
read the original abstract

The logarithmic soft photon theorem in four spacetime dimensions encodes an infinite-dimensional asymptotic symmetry which acts on massive matter as a divergent superphaserotation. Here we extend this result to massless matter which is both more subtle and surprising. We derive the charge associated to divergent superphaserotations and show that it exactly vanishes to all orders in the electromagnetic coupling. This is in agreement with the vanishing of the classical logarithmic soft photon theorem which is one-loop exact. Special care is required for massless matter due to potential collinear divergences which, as we show, do however not affect the superphaserotation charge. We furthermore compute the infrared corrections to the charge associated to the subleading tree-level soft photon theorem. As a corollary of our result, we find that the tail to the velocity kick memory due to the long-range interactions between soft electromagnetic radiation and massless matter vanishes.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 1 canonical work pages

  1. [1]

    New Symmetries of Massless QED

    Temple He, Prahar Mitra, Achilleas P. Porfyriadis, and Andrew Strominger. “New Symmetries of Massless QED”. In:JHEP10 (2014), p. 112.doi:10.1007/JHEP10(2014)112. arXiv:1407.3789 [hep-th]

    Pith/arXiv arXiv 2014

  2. [2]

    Low’s Subleading Soft Theorem as a Symmetry of QED

    Vyacheslav Lysov, Sabrina Pasterski, and Andrew Strominger. “Low’s Subleading Soft Theorem as a Symmetry of QED”. In:Phys. Rev. Lett.113.11 (2014), p. 111601.doi:10.1103/PhysRevLett. 113.111601. arXiv:1407.3814 [hep-th]

    Pith/arXiv arXiv 2014

  3. [3]

    On BMS Invariance of Gravitational Scattering

    Andrew Strominger. “On BMS Invariance of Gravitational Scattering”. In:JHEP07 (2014), p. 152.doi:10.1007/JHEP07(2014)152. arXiv:1312.2229 [hep-th]

    Pith/arXiv arXiv 2014

  4. [4]

    2D Kac-Moody Symmetry of 4D Yang-Mills Theory

    Temple He, Prahar Mitra, and Andrew Strominger. “2D Kac-Moody Symmetry of 4D Yang-Mills Theory”. In:JHEP10 (2016), p. 137.doi:10 . 1007 / JHEP10(2016 ) 137. arXiv:1503 . 02663 [hep-th]

    2016

  5. [5]

    Asymptotic Symmetries of Yang-Mills Theory

    Andrew Strominger. “Asymptotic Symmetries of Yang-Mills Theory”. In:JHEP07 (2014), p. 151. doi:10.1007/JHEP07(2014)151. arXiv:1308.0589 [hep-th]

    Pith/arXiv arXiv 2014

  6. [6]

    Asymptotic symmetries of gravity and soft theorems for massive particles

    Miguel Campiglia and Alok Laddha. “Asymptotic symmetries of gravity and soft theorems for massive particles”. In:JHEP12 (2015), p. 094.doi:10.1007/JHEP12(2015)094. arXiv:1509. 01406 [hep-th]

    work page doi:10.1007/jhep12(2015)094 2015

  7. [7]

    Semiclassical Vi- rasoro symmetry of the quantum gravityS-matrix

    Daniel Kapec, Vyacheslav Lysov, Sabrina Pasterski, and Andrew Strominger. “Semiclassical Vi- rasoro symmetry of the quantum gravityS-matrix”. In:JHEP08 (2014), p. 058.doi:10.1007/ JHEP08(2014)058. arXiv:1406.3312 [hep-th]. 21

    Pith/arXiv arXiv 2014

  8. [8]

    Sub-subleading soft gravitons and large diffeomorphisms

    Miguel Campiglia and Alok Laddha. “Sub-subleading soft gravitons and large diffeomorphisms”. In:JHEP01 (2017), p. 036.doi:10.1007/JHEP01(2017)036. arXiv:1608.00685 [gr-qc]

    Pith/arXiv arXiv 2017

  9. [9]

    Subleading soft photons and large gauge transformations

    Miguel Campiglia and Alok Laddha. “Subleading soft photons and large gauge transformations”. In:JHEP11 (2016), p. 012.doi:10.1007/JHEP11(2016)012. arXiv:1605.09677 [hep-th]

    Pith/arXiv arXiv 2016

  10. [10]

    Asymptotic Symmetries for Logarithmic Soft Theorems in Gauge Theory and Gravity

    Sangmin Choi, Alok Laddha, and Andrea Puhm. “Asymptotic Symmetries for Logarithmic Soft Theorems in Gauge Theory and Gravity”. In: (Mar. 2024). arXiv:2403.13053 [hep-th]

    Pith/arXiv arXiv 2024

  11. [11]

    The classical super-rotation infrared triangle. Classical logarithmic soft theorem as conservation law in gravity

    Sangmin Choi, Alok Laddha, and Andrea Puhm. “The classical super-rotation infrared triangle. Classical logarithmic soft theorem as conservation law in gravity”. In:JHEP04 (2025), p. 138. doi:10.1007/JHEP04(2025)138. arXiv:2412.16142 [hep-th]

    arXiv 2025

  12. [12]

    Loop Corrected Soft Photon Theorem as a Ward Identity

    Miguel Campiglia and Alok Laddha. “Loop Corrected Soft Photon Theorem as a Ward Identity”. In:JHEP10 (2019), p. 287.doi:10.1007/JHEP10(2019)287. arXiv:1903.09133 [hep-th]

    Pith/arXiv arXiv 2019

  13. [13]

    The Classical Super-Phaserotation Infrared Triangle

    Sangmin Choi, Alok Laddha, and Andrea Puhm. “The Classical Super-Phaserotation Infrared Triangle”. In: (Dec. 2024). arXiv:2412.16149 [hep-th]

    arXiv 2024

  14. [14]

    In: (Work in progress)

    Sangmin Choi, Ameya Kadhe, and Andrea Puhm. In: (Work in progress)

  15. [15]

    Soft Photon and Graviton Theorems in Effective Field Theory

    Henriette Elvang, Callum R. T. Jones, and Stephen G. Naculich. “Soft Photon and Graviton Theorems in Effective Field Theory”. In:Phys. Rev. Lett.118.23 (2017), p. 231601.doi:10 . 1103/PhysRevLett.118.231601. arXiv:1611.07534 [hep-th]

    Pith/arXiv arXiv 2017

  16. [16]

    On Loop Corrections to Subleading Soft Behavior of Gluons and Gravitons

    Zvi Bern, Scott Davies, and Josh Nohle. “On Loop Corrections to Subleading Soft Behavior of Gluons and Gravitons”. In:Phys. Rev. D90.8 (2014), p. 085015.doi:10.1103/PhysRevD.90. 085015. arXiv:1405.1015 [hep-th]

    Pith/arXiv arXiv 2014

  17. [17]

    Logarithmic Terms in the Soft Expansion in Four Dimensions

    Alok Laddha and Ashoke Sen. “Logarithmic Terms in the Soft Expansion in Four Dimensions”. In:JHEP10 (2018), p. 056.doi:10.1007/JHEP10(2018)056. arXiv:1804.09193 [hep-th]

    Pith/arXiv arXiv 2018

  18. [18]

    Observational Signature of the Logarithmic Terms in the Soft Graviton Theorem

    Alok Laddha and Ashoke Sen. “Observational Signature of the Logarithmic Terms in the Soft Graviton Theorem”. In:Phys. Rev. D100.2 (2019), p. 024009.doi:10.1103/PhysRevD.100. 024009. arXiv:1806.01872 [hep-th]

    Pith/arXiv arXiv 2019

  19. [19]

    Classical and Quantum Results on Logarithmic Terms in the Soft Theorem in Four Dimensions

    Biswajit Sahoo and Ashoke Sen. “Classical and Quantum Results on Logarithmic Terms in the Soft Theorem in Four Dimensions”. In:JHEP02 (2019), p. 086.doi:10.1007/JHEP02(2019)086. arXiv:1808.03288 [hep-th]

    Pith/arXiv arXiv 2019

  20. [20]

    All order classical electro- magnetic soft theorems

    Debanjan Karan, Babli Khatun, Biswajit Sahoo, and Ashoke Sen. “All order classical electro- magnetic soft theorems”. In:JHEP11 (2025), p. 025.doi:10.1007/JHEP11(2025)025. arXiv: 2501.07328 [hep-th]

    Pith/arXiv arXiv 2025

  21. [21]

    Ward identity for loop level soft photon theorem for massless QED coupled to gravity

    Sayali Atul Bhatkar. “Ward identity for loop level soft photon theorem for massless QED coupled to gravity”. In:JHEP10 (2020), p. 110.doi:10.1007/JHEP10(2020)110. arXiv:1912.10229 [hep-th]

    Pith/arXiv arXiv 2020

  22. [22]

    Bremsstrahlung of very low-energy quanta in elementary particle collisions

    F. E. Low. “Bremsstrahlung of very low-energy quanta in elementary particle collisions”. In:Phys. Rev.110 (1958), pp. 974–977.doi:10.1103/PhysRev.110.974. 22

    doi:10.1103/physrev.110.974 1958

  23. [23]

    An electromagnetic analogue of gravitational wave memory

    Lydia Bieri and David Garfinkle. “An electromagnetic analogue of gravitational wave memory”. In:Class. Quant. Grav.30 (2013), p. 195009.doi:10.1088/0264-9381/30/19/195009. arXiv: 1307.5098 [gr-qc]. 23

    Pith/arXiv arXiv 2013