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

Ruiliang Li This is my paper

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 · 8 canonical work pages · 2 internal anchors

  1. [1]

    Cheung, A

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

    Pith/arXiv arXiv 2017

  2. [2]

    Pasterski, S.-H

    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]

    Pith/arXiv arXiv 2017

  3. [3]

    Pasterski and S.-H

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

    Pith/arXiv arXiv 2017

  4. [4]

    Pasterski, S.-H

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

    Pith/arXiv arXiv 2017

  5. [5]

    Pasterski,Lectures on Celestial Amplitudes,Eur

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

    arXiv 2021

  6. [6]

    Pasterski, M

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

    work page doi:10.48550/arxiv.2111.11392 2021

  7. [7]

    Weinberg,Infrared Photons and Gravitons,Phys

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

    1965

  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

    1958

  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

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1703.05448 2017

  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]

    arXiv 2019

  11. [11]

    Donnay, A

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

    Pith/arXiv arXiv 2019

  12. [12]

    Nande, M

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

    Pith/arXiv arXiv 2018

  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]

    arXiv 2021

  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]

    arXiv 2022

  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]

    arXiv 2021

  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]

    arXiv 2022

  17. [17]

    Fiorucci, D

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

    arXiv 2024

  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]

    arXiv 2019

  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 –

    work page doi:10.48550/arxiv.2601.03361 2026

  20. [20]

    Kapec and P

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

    arXiv 2022

  21. [21]

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

    work page doi:10.48550/arxiv.2601.05951 2026

  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]

    arXiv 2023

  23. [23]

    Ball,Currents in Celestial CFT,Mod

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

    arXiv 2024

  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]

    arXiv 2023

  25. [25]

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

    arXiv 2022

  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

    work page doi:10.48550/arxiv.2601.10601 2026

  27. [27]

    Kulp and S

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

    arXiv 2025

  28. [28]

    Guevara, Y

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

    arXiv 2025

  29. [29]

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

    arXiv 2024

  30. [30]

    Pacifico, C

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

    arXiv 2025

  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]

    arXiv 2024

  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]

    arXiv 2025

  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]

    arXiv 2022

  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]

    arXiv 2023

  35. [35]

    Magnea and E

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

    Pith/arXiv arXiv 2026

  36. [36]

    Catani,The Singular Behaviour of QCD Amplitudes at Two-Loop Order,Phys

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

    Pith/arXiv arXiv 1998

  37. [37]

    Becher and M

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

    Pith/arXiv arXiv 2009

  38. [38]

    Gardi and L

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

    Pith/arXiv arXiv 2009

  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]

    arXiv 2022

  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 –

    1964

  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]

    arXiv 2019

  42. [42]

    Krishna and B

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

    arXiv 2023

  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

    work page doi:10.1007/bfb0009678 1977

  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]

    arXiv 2021

  45. [45]

    Borji and Y

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

    arXiv 2024

  46. [46]

    Himwich and M

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

    arXiv 2025

  47. [47]

    Karan, B

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

    arXiv 2025

  48. [48]

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

    arXiv 2025

  49. [49]

    Campiglia and A

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

    arXiv 2019

  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

    work page doi:10.1007/978-3-642-96750-4 1998

  51. [51]

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

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.20433 2026

  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

    1945

  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

    1964

  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 –

    1948