pith. sign in

arxiv: 2606.30431 · v1 · pith:IJ675E7Jnew · submitted 2026-06-29 · ✦ hep-th · math-ph· math.MP

Loop-level dipole currents and the renormalized hard celestial current algebra in QED

Pith reviewed 2026-06-30 05:03 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MP
keywords celestial current algebrasoft-photon operatorQED loop correctionsinfrared subtractionone-cocyclePlancherel transformcelestial OPEdipole currents
0
0 comments X

The pith

The one-loop logarithmic soft-photon operator in QED yields a scheme-independent hard-hard residue in its commutator with celestial hard currents.

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

This paper calculates the finite-energy action of the normalized one-loop logarithmic soft-photon operator in infrared-subtracted abelian gauge theory. Its commutator with Mellin-difference hard currents leaves a residue that is independent of renormalization scheme and survives every one-particle redefinition. A two-particle Plancherel transform after meromorphic continuation maps this residue onto an analytic two-particle primary module, with the coefficient map serving as a hard-current one-cocycle. The cocycle defines a minimal filtered abelian extension that possesses a canonical two-particle primitive and integrates to an affine action. The construction extracts the logarithmic two-particle coefficient functional from ordinary hard amplitudes and the universal soft kernel, establishing a finite-energy link between the dipole-current Ward identity and the exponentiated long-range celestial OPE.

Core claim

The commutator of the normalized one-loop logarithmic soft-photon operator with Mellin-difference hard currents possesses a scheme-independent hard-hard residue that survives every one-particle redefinition. With the stated meromorphic continuation, a two-particle Plancherel transform identifies this residue with an analytic two-particle primary module, establishing the coefficient map as a hard-current one-cocycle. This cocycle defines a minimal filtered abelian extension that has a canonical two-particle primitive and integrates to an affine action. For scalar hard legs the fixed-leg operator agrees coefficient by coefficient with the symmetry-governed long-range logarithmic tower, and app

What carries the argument

The scheme-independent hard-hard residue of the commutator between the normalized one-loop logarithmic soft-photon operator and Mellin-difference hard currents, identified via two-particle Plancherel transform as a one-cocycle defining a minimal filtered abelian extension.

If this is right

  • For scalar hard legs the fixed-leg operator agrees coefficient by coefficient with the long-range logarithmic tower.
  • The logarithmic two-particle coefficient functional is determined directly from the ordinary hard amplitude and the universal soft kernel.
  • The construction supplies a finite-energy relation between the dipole-current Ward identity and the exponentiated long-range celestial OPE.

Where Pith is reading between the lines

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

  • The minimal abelian extension organizes loop-level corrections inside the celestial current algebra beyond tree level.
  • The affine action obtained by integration may constrain the structure of multi-particle celestial correlators at finite energy.

Load-bearing premise

A meromorphic continuation of the normalized one-loop logarithmic soft-photon operator exists that permits a two-particle Plancherel transform identifying the residue with an analytic two-particle primary module.

What would settle it

An explicit computation in which the hard-hard residue depends on the choice of renormalization scheme or is removed by a one-particle operator redefinition, or in which the Plancherel transform after continuation fails to produce the claimed two-particle primary module.

read the original abstract

We determine the finite-energy action of the normalized one-loop logarithmic soft-photon operator in an infrared-subtracted abelian gauge theory. Its commutator with Mellin-difference hard currents has a scheme-independent hard-hard residue that survives every one-particle redefinition. With the meromorphic continuation stated explicitly below, a two-particle Plancherel transform identifies this residue with an analytic two-particle primary module, and the coefficient map is a hard-current one-cocycle. The cocycle defines a minimal filtered abelian extension. It has a canonical two-particle primitive and integrates to an affine action. For scalar hard legs, the fixed-leg operator agrees coefficient by coefficient with the symmetry-governed long-range logarithmic tower of Choi, Kadhe, and Puhm. Applied to a tree-level scalar-QED photon-exchange block, the construction determines the logarithmic two-particle coefficient functional from the ordinary hard amplitude and the universal soft kernel. This gives a finite-energy relation between the dipole-current Ward identity and the exponentiated long-range celestial OPE.

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.

Referee Report

2 major / 0 minor

Summary. The paper determines the finite-energy action of the normalized one-loop logarithmic soft-photon operator in an infrared-subtracted abelian gauge theory. Its commutator with Mellin-difference hard currents has a scheme-independent hard-hard residue that survives every one-particle redefinition. With the meromorphic continuation stated explicitly below, a two-particle Plancherel transform identifies this residue with an analytic two-particle primary module, and the coefficient map is a hard-current one-cocycle. The cocycle defines a minimal filtered abelian extension with a canonical two-particle primitive that integrates to an affine action. For scalar hard legs, the fixed-leg operator agrees coefficient by coefficient with the symmetry-governed long-range logarithmic tower of Choi, Kadhe, and Puhm. Applied to a tree-level scalar-QED photon-exchange block, the construction determines the logarithmic two-particle coefficient functional from the ordinary hard amplitude and the universal soft kernel, giving a finite-energy relation between the dipole-current Ward identity and the exponentiated long-range celestial OPE.

Significance. If the central results hold, the work would furnish a concrete loop-level realization of renormalized hard celestial current algebra in QED, linking the normalized one-loop soft-photon operator to hard currents through a scheme-independent residue, a one-cocycle, and a filtered abelian extension. It supplies an explicit bridge between standard QED amplitudes and celestial constructions by deriving the logarithmic two-particle coefficient from the hard amplitude plus soft kernel, and it reproduces the Choi-Kadhe-Puhm tower for scalars, thereby offering a falsifiable finite-energy relation between dipole Ward identities and long-range OPEs.

major comments (2)
  1. [Abstract] Abstract: the central claim that the commutator possesses a scheme-independent hard-hard residue surviving every one-particle redefinition is asserted without any explicit operator definitions, residue computation, or reference to a specific equation; the residue is load-bearing for the subsequent Plancherel identification and one-cocycle construction.
  2. [Abstract] Abstract (paragraph on the commutator and Plancherel transform): the meromorphic continuation of the normalized one-loop logarithmic soft-photon operator is stated to be given explicitly below and to permit a two-particle Plancherel transform that maps the residue exactly onto an analytic two-particle primary module, yet no derivation of the poles, residues, convergence domain, or verification that the continued operator matches the Plancherel measure is supplied; this step is the weakest assumption and is required for the module identification, the one-cocycle property, and the filtered extension.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying points where the abstract could better guide readers to the supporting calculations. The manuscript contains the explicit operator definitions, residue computations, and meromorphic continuation in the main text; the abstract is a summary. We will revise the abstract to include equation references and a brief pointer to the derivation section. We address the comments below.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the central claim that the commutator possesses a scheme-independent hard-hard residue surviving every one-particle redefinition is asserted without any explicit operator definitions, residue computation, or reference to a specific equation; the residue is load-bearing for the subsequent Plancherel identification and one-cocycle construction.

    Authors: The abstract summarizes the main results; the explicit definitions of the normalized one-loop soft-photon operator, the Mellin-difference hard currents, the commutator calculation, and the proof that the hard-hard residue is scheme-independent and survives one-particle redefinitions appear in the body (with the residue extracted in the section on the commutator and verified under redefinitions). We will revise the abstract to reference the relevant equations for the residue and the survival argument. revision: yes

  2. Referee: [Abstract] Abstract (paragraph on the commutator and Plancherel transform): the meromorphic continuation of the normalized one-loop logarithmic soft-photon operator is stated to be given explicitly below and to permit a two-particle Plancherel transform that maps the residue exactly onto an analytic two-particle primary module, yet no derivation of the poles, residues, convergence domain, or verification that the continued operator matches the Plancherel measure is supplied; this step is the weakest assumption and is required for the module identification, the one-cocycle property, and the filtered extension.

    Authors: The abstract states that the meromorphic continuation is given explicitly below; the derivation of the poles and residues, the convergence domain, and the verification that the continued operator is compatible with the two-particle Plancherel measure (leading to the primary module identification) are supplied in the main text immediately following the abstract statement. We will revise the abstract to add a direct reference to that derivation section. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained against external benchmarks

full rationale

The paper derives the finite-energy action of the normalized one-loop logarithmic soft-photon operator, identifies a scheme-independent hard-hard residue in its commutator with Mellin-difference hard currents, invokes an explicitly stated meromorphic continuation to perform a two-particle Plancherel transform, and concludes that the coefficient map is a one-cocycle defining a minimal filtered abelian extension. The central steps rely on the paper's own explicit construction of the continuation and transform rather than on any fitted parameter renamed as prediction, self-definitional closure, or load-bearing self-citation. The sole external reference (Choi, Kadhe, Puhm) is to independent prior work on the logarithmic tower and is used only for coefficient-by-coefficient agreement on scalar legs, not to justify the core residue or cocycle. No equation reduces to its own input by construction, and the result is presented as falsifiable against tree-level scalar-QED amplitudes and the universal soft kernel.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence and normalizability of a one-loop logarithmic soft-photon operator, the validity of a meromorphic continuation, and the applicability of a two-particle Plancherel transform; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption Existence of a normalized one-loop logarithmic soft-photon operator whose finite-energy action can be determined
    Invoked at the start of the abstract as the object whose commutator is computed.
  • domain assumption Meromorphic continuation of the operator that permits a two-particle Plancherel transform
    Explicitly referenced in the abstract as required for identifying the residue with an analytic two-particle primary module.

pith-pipeline@v0.9.1-grok · 5701 in / 1488 out tokens · 46231 ms · 2026-06-30T05:03:21.261866+00:00 · methodology

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

54 extracted references · 48 canonical work pages · 12 internal anchors

  1. [1]

    4D Scattering Amplitudes and Asymptotic Symmetries from 2D CFT

    C. Cheung, A. de la Fuente and R. Sundrum,4D Scattering Amplitudes and Asymptotic Symmetries from 2D CFT,JHEP2017(2017) 112 [1609.00732]

  2. [2]

    Flat Space Amplitudes and Conformal Symmetry of the Celestial Sphere

    S. Pasterski, S.-H. Shao and A. Strominger,Flat Space Amplitudes and Conformal Symmetry of the Celestial Sphere,Phys. Rev. D96(2017) 065026 [1701.00049]

  3. [3]

    A Conformal Basis for Flat Space Amplitudes

    S. Pasterski and S.-H. Shao,A Conformal Basis for Flat Space Amplitudes,Phys. Rev. D96 (2017) 065022 [1705.01027]

  4. [4]

    Gluon Amplitudes as 2d Conformal Correlators

    S. Pasterski, S.-H. Shao and A. Strominger,Gluon Amplitudes as 2d Conformal Correlators, Phys. Rev. D96(2017) 085006 [1706.03917]

  5. [5]

    Pasterski,Lectures on Celestial Amplitudes,Eur

    S. Pasterski,Lectures on Celestial Amplitudes,Eur. Phys. J. C81(2021) 1062 [2108.04801]

  6. [6]

    Pasterski, M

    S. Pasterski, M. Pate and A.-M. Raclariu,Celestial Holography, 2021. 10.48550/arXiv.2111.11392

  7. [7]

    Weinberg,Infrared Photons and Gravitons,Phys

    S. Weinberg,Infrared Photons and Gravitons,Phys. Rev.140(1965) B516

  8. [8]

    Low,Scattering of Light of Very Low Frequency by Systems of Spin One-Half,Phys

    F.E. Low,Scattering of Light of Very Low Frequency by Systems of Spin One-Half,Phys. Rev.110(1958) 974

  9. [9]

    Lectures on the Infrared Structure of Gravity and Gauge Theory

    A. Strominger,Lectures on the Infrared Structure of Gravity and Gauge Theory, 2017. 10.48550/arXiv.1703.05448

  10. [10]

    Pate, A.-M

    M. Pate, A.-M. Raclariu and A. Strominger,Conformally Soft Theorem in Gauge Theory, Phys. Rev. D100(2019) 085017 [1904.10831]

  11. [11]

    Conformally Soft Photons and Gravitons

    L. Donnay, A. Puhm and A. Strominger,Conformally Soft Photons and Gravitons,JHEP 2019(2019) 184 [1810.05219]

  12. [12]

    Soft Factorization in QED from 2D Kac-Moody Symmetry

    A. Nande, M. Pate and A. Strominger,Soft Factorization in QED from 2D Kac-Moody Symmetry,JHEP2018(2018) 079 [1705.00608]

  13. [13]

    Guevara, E

    A. Guevara, E. Himwich, M. Pate and A. Strominger,Holographic Symmetry Algebras for Gauge Theory and Gravity,JHEP2021(2021) 152 [2103.03961]

  14. [14]

    Himwich, M

    E. Himwich, M. Pate and K. Singh,Celestial Operator Product Expansions and w 1+∞ Symmetry for All Spins,JHEP2022(2022) 080 [2108.07763]

  15. [15]

    Strominger,w 1+∞ Algebra and the Celestial Sphere: Infinite Towers of Soft Graviton, Photon, and Gluon Symmetries,Phys

    A. Strominger,w 1+∞ Algebra and the Celestial Sphere: Infinite Towers of Soft Graviton, Photon, and Gluon Symmetries,Phys. Rev. Lett.127(2021) 221601 [2105.14346]

  16. [16]

    Bhardwaj, L

    R. Bhardwaj, L. Lippstreu, L. Ren, M. Spradlin, A. Yelleshpur Srikant and A. Volovich, Loop-Level Gluon OPEs in Celestial Holography,JHEP2022(2022) 171 [2208.14416]

  17. [17]

    Fiorucci, D

    A. Fiorucci, D. Grumiller and R. Ruzziconi,Logarithmic Celestial Conformal Field Theory, Phys. Rev. D109(2024) L021902 [2305.08913]

  18. [18]

    Himwich and A

    E. Himwich and A. Strominger,Celestial Current Algebra from Low’s Subleading Soft Theorem,Phys. Rev. D100(2019) 065001 [1901.01622]

  19. [19]

    Banerjee, R

    S. Banerjee, R. Mandal and B. Sahoo,All Loop Soft Photon Theorems and Higher Spin Currents on the Celestial Sphere, 2026. 10.48550/arXiv.2601.03361. – 52 –

  20. [20]

    Kapec and P

    D. Kapec and P. Mitra,Shadows and Soft Exchange in Celestial CFT,Phys. Rev. D105 (2022) 026009 [2109.00073]

  21. [21]

    S. Choi, A. Kadhe and A. Puhm,Long-Range Interactions in Celestial CFT, 2026. 10.48550/arXiv.2601.05951

  22. [22]

    Ball,Celestial Locality and the Jacobi Identity,JHEP2023(2023) 146 [2211.09151]

    A. Ball,Celestial Locality and the Jacobi Identity,JHEP2023(2023) 146 [2211.09151]

  23. [23]

    Ball,Currents in Celestial CFT,Mod

    A. Ball,Currents in Celestial CFT,Mod. Phys. Lett. A39(2024) 2430007 [2407.13558]

  24. [24]

    J. Mago, L. Ren, A. Yelleshpur Srikant and A. Volovich,Deformed w 1+∞ Algebras in the Celestial CFT,SIGMA19(2023) 044 [2111.11356]

  25. [25]

    L. Ren, M. Spradlin, A.Y. Srikant and A. Volovich,On Effective Field Theories with Celestial Duals,JHEP2022(2022) 251 [2206.08322]

  26. [26]

    Liu and W.-J

    R. Liu and W.-J. Ma,Unifying Soft and Hard Dynamics: The Hard Current Algebra in Celestial Holography, 2026. 10.48550/arXiv.2601.10601

  27. [27]

    Kulp and S

    J. Kulp and S. Pasterski,Multiparticle States for the Flat Hologram,JHEP2025(2025) 091 [2501.00462]

  28. [28]

    Guevara, Y

    A. Guevara, Y. Hu and S. Pasterski,Multiparticle Contributions to the Celestial OPE,JHEP 2025(2025) 178 [2402.18798]

  29. [29]

    A. Ball, Y. Hu and S. Pasterski,Multicollinear Singularities in Celestial CFT,JHEP2024 (2024) 219 [2309.16602]

  30. [30]

    Pacifico, C

    F. Pacifico, C. Sleight and M. Taronna,Conformal Partial Wave Expansion of Celestial Correlators,JHEP2025(2025) 048 [2502.03087]

  31. [31]

    Bhardwaj and A

    R. Bhardwaj and A. Yelleshpur Srikant,Celestial Soft Currents at One-Loop and Their OPEs,JHEP2024(2024) 034 [2403.10443]

  32. [32]

    Compere, D

    G. Compere, D. Fontaine and K. Nguyen,Electromagnetic Multipole Expansions and the Logarithmic Soft Photon Theorem,SciPost Phys. Core8(2025) 066 [2503.23937]

  33. [33]

    Costello and N.M

    K. Costello and N.M. Paquette,Associativity of One-Loop Corrections to the Celestial Operator Product Expansion,Phys. Rev. Lett.129(2022) 231604 [2204.05301]

  34. [34]

    Bittleston,On the Associativity of 1-Loop Corrections to the Celestial Operator Product in Gravity,JHEP2023(2023) 018 [2211.06417]

    R. Bittleston,On the Associativity of 1-Loop Corrections to the Celestial Operator Product in Gravity,JHEP2023(2023) 018 [2211.06417]

  35. [35]

    Non-abelian soft radiation data for a celestial theory

    L. Magnea and E. Zunino,Non-Abelian Soft Radiation Data for a Celestial Theory,Class. Quant. Grav.43(2026) 125007 [2512.22104]

  36. [36]

    The Singular Behaviour of QCD Amplitudes at Two-loop Order

    S. Catani,The Singular Behaviour of QCD Amplitudes at Two-Loop Order,Phys. Lett. B 427(1998) 161 [hep-ph/9802439]

  37. [37]

    Infrared singularities of scattering amplitudes in perturbative QCD

    T. Becher and M. Neubert,Infrared Singularities of Scattering Amplitudes in Perturbative QCD,Phys. Rev. Lett.102(2009) 162001 [0901.0722]

  38. [38]

    Factorization constraints for soft anomalous dimensions in QCD scattering amplitudes

    E. Gardi and L. Magnea,Factorization Constraints for Soft Anomalous Dimensions in QCD Scattering Amplitudes,JHEP2009(2009) 079 [0901.1091]

  39. [39]

    Bern, J.P

    Z. Bern, J.P. Gatica, E. Herrmann, A. Luna and M. Zeng,Scalar QED as a Toy Model for Higher-Order Effects in Classical Gravitational Scattering,JHEP2022(2022) 131 [2112.12243]

  40. [40]

    Gel’fand and G.E

    I.M. Gel’fand and G.E. Shilov,Generalized Functions. Volume 1. Properties and Operations, Academic Press, New York (1964). – 53 –

  41. [41]

    Sahoo and A

    B. Sahoo and A. Sen,Classical and Quantum Results on Logarithmic Terms in the Soft Theorem in Four Dimensions,JHEP2019(2019) 086 [1808.03288]

  42. [42]

    Krishna and B

    H. Krishna and B. Sahoo,Universality of Loop Corrected Soft Theorems in 4d,JHEP2023 (2023) 233 [2308.16807]

  43. [43]

    Dobrev, G

    V.K. Dobrev, G. Mack, V.B. Petkova, S.G. Petrova and I.T. Todorov,Harmonic Analysis on the n-Dimensional Lorentz Group and Its Application to Conformal Quantum Field Theory, vol. 63 ofLecture Notes in Physics, Springer (1977), 10.1007/BFb0009678

  44. [44]

    Atanasov, W

    A. Atanasov, W. Melton, A.-M. Raclariu and A. Strominger,Conformal Block Expansion in Celestial CFT,Phys. Rev. D104(2021) 126033 [2104.13432]

  45. [45]

    Borji and Y

    M. Borji and Y. Pano,Distributional Celestial Amplitudes,JHEP2024(2024) 120 [2401.08877]

  46. [46]

    Himwich and M

    E. Himwich and M. Pate,Shadow Celestial Operator Product Expansions,JHEP2025 (2025) 139 [2505.09499]

  47. [47]

    Karan, B

    D. Karan, B. Khatun, B. Sahoo and A. Sen,All Order Classical Electromagnetic Soft Theorems,JHEP2025(2025) 025 [2501.07328]

  48. [48]

    S. Choi, A. Laddha and A. Puhm,The Classical Super-Phaserotation Infrared Triangle, JHEP2025(2025) 155 [2412.16149]

  49. [49]

    Campiglia and A

    M. Campiglia and A. Laddha,Loop Corrected Soft Photon Theorem as a Ward Identity, JHEP2019(2019) 287 [1903.09133]

  50. [50]

    H¨ ormander,The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, vol

    L. H¨ ormander,The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, vol. 256 ofGrundlehren der mathematischen Wissenschaften, Springer, Berlin, Heidelberg (1998), 10.1007/978-3-642-96750-4

  51. [51]

    R. Liu, Z. Liu and W.-J. Ma,Shadow Completion in Celestial OPEs, 2026. 10.48550/arXiv.2606.20433

  52. [52]

    Hochschild,On the Cohomology Groups of an Associative Algebra,Annals of Mathematics 46(1945) 58

    G. Hochschild,On the Cohomology Groups of an Associative Algebra,Annals of Mathematics 46(1945) 58

  53. [53]

    Gerstenhaber,On the Deformation of Rings and Algebras,Annals of Mathematics79 (1964) 59

    M. Gerstenhaber,On the Deformation of Rings and Algebras,Annals of Mathematics79 (1964) 59

  54. [54]

    Chevalley and S

    C. Chevalley and S. Eilenberg,Cohomology Theory of Lie Groups and Lie Algebras, Transactions of the American Mathematical Society63(1948) 85. – 54 –