pith. sign in

arxiv: 2604.04569 · v1 · submitted 2026-04-06 · ✦ hep-th

The Gauge-Invariant Mass Function

Kang-Sin Choi This is my paper

Pith reviewed 2026-05-10 19:56 UTC · model grok-4.3

classification ✦ hep-th
keywords gauge invariancemass functionrenormalizationpropagatoroff-shell particlesgauge theoriesvertex function
0
0 comments X

The pith

Renormalization defines a gauge-invariant mass function at every virtuality in gauge theories.

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

In gauge theories, the mass of a field has traditionally been treated as an on-shell concept, where the pole mass extracted from the propagator is gauge-invariant. The off-shell propagator, however, has lacked any gauge-invariant definition of mass for particles at arbitrary virtuality. This paper establishes that renormalization itself supplies such a mass function together with a gauge-invariant vertex. If correct, virtual particles become as rigorously defined as physical ones, reducing the on-shell versus off-shell distinction to a purely kinematic matter rather than a dynamical barrier.

Core claim

The mass of a field has been regarded as a purely on-shell concept: the pole mass is gauge-invariant, but the off-shell propagator has had no gauge-invariant definition of mass. Renormalization defines a gauge-invariant mass function at every virtuality, together with a gauge-invariant vertex. The virtual particle becomes as well defined as the on-shell one: the distinction is not dynamical but purely kinematic.

What carries the argument

The renormalization procedure yielding a gauge-invariant mass function at arbitrary virtuality together with its gauge-invariant vertex.

If this is right

  • The off-shell propagator acquires a well-defined gauge-invariant mass function at any virtuality.
  • The three-point vertex function is rendered gauge-invariant by the same procedure.
  • The distinction between on-shell and virtual particles reduces to a kinematic choice of momentum.
  • Gauge-invariant descriptions of propagators become available without additional fixing conditions.

Where Pith is reading between the lines

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

  • This definition may allow consistent inclusion of off-shell effects in gauge-invariant effective theories.
  • It could provide a route to gauge-invariant mass parameters in non-perturbative approaches such as lattice formulations.
  • Applications to specific models might yield new ways to extract mass scales from correlation functions at finite virtuality.

Load-bearing premise

Renormalization can be carried out in a gauge-invariant manner that directly yields a mass function for arbitrary virtuality without introducing new gauge-dependent artifacts.

What would settle it

An explicit calculation in a fixed gauge showing that the proposed mass function varies with the gauge-fixing parameter at some off-shell virtuality would disprove the claim.

read the original abstract

In gauge theories, the mass of a field has been regarded as a purely on-shell concept: the pole mass is gauge-invariant, but the off-shell propagator has had no gauge-invariant definition of mass. We show that renormalization defines a gauge-invariant mass function at every virtuality, together with a gauge-invariant vertex. The virtual particle becomes as well defined as the on-shell one: the distinction is not dynamical but purely kinematic.

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

1 major / 0 minor

Summary. The paper claims that in gauge theories the renormalization procedure itself defines a gauge-invariant mass function m(p²) at arbitrary virtuality p² together with a gauge-invariant vertex. This makes the off-shell propagator as well-defined as the on-shell one, reducing the on-shell/off-shell distinction to a purely kinematic matter rather than a dynamical one. The pole mass is recovered as the on-shell limit.

Significance. If the construction can be made explicit and shown to preserve gauge invariance without additional fixing conditions, the result would address a long-standing conceptual issue in QFT regarding off-shell mass definitions. It could affect treatments of running masses, effective propagators, and calculations involving virtual particles in QCD and electroweak theory. The manuscript receives credit for attempting a direct, renormalization-based resolution without new ad-hoc entities, but currently offers no equations or derivations to evaluate.

major comments (1)
  1. Abstract: the claim that 'renormalization defines a gauge-invariant mass function at every virtuality' is presented without any explicit construction, definition of the mass function, renormalization conditions, or demonstration that Ward identities are preserved. This is load-bearing for the central claim, as the entire argument rests on showing that the procedure yields a gauge-invariant object at arbitrary p² without introducing new artifacts.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for greater explicitness in presenting our central construction. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: Abstract: the claim that 'renormalization defines a gauge-invariant mass function at every virtuality' is presented without any explicit construction, definition of the mass function, renormalization conditions, or demonstration that Ward identities are preserved. This is load-bearing for the central claim, as the entire argument rests on showing that the procedure yields a gauge-invariant object at arbitrary p² without introducing new artifacts.

    Authors: We agree that the abstract states the result without the supporting construction and that the manuscript as submitted does not contain explicit equations or derivations. The current text is limited to the conceptual claim that renormalization itself supplies the gauge-invariant mass function m(p²) together with a compatible vertex. To rectify this, we will add an explicit definition of the mass function via the renormalized propagator, specify the gauge-invariant renormalization conditions (including the subtraction point and the treatment of the transverse projector), and include a short derivation showing that the Ward identities remain satisfied for the off-shell quantities. These additions will be placed in a new subsection following the introduction and will be summarized briefly in a revised abstract. This directly addresses the load-bearing aspect of the claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper asserts that renormalization in gauge theories produces a gauge-invariant mass function m(p²) at arbitrary virtuality together with a gauge-invariant vertex, reducing the on-shell/off-shell distinction to kinematics. No load-bearing step is shown to reduce by construction to a fitted input, self-citation chain, or ansatz smuggled from prior work by the same authors. The central claim is presented as following directly from standard renormalization without additional gauge-fixing artifacts, and the provided abstract and skeptic assessment contain no equations or citations that would allow identification of self-definitional reduction or renaming of a known result. The derivation therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that standard renormalization in gauge theories can be extended off-shell while preserving gauge invariance for the mass function; no free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption Renormalization can be performed such that the resulting mass function remains gauge-invariant at arbitrary virtuality.
    This is the load-bearing premise required for the claim to hold.

pith-pipeline@v0.9.0 · 5342 in / 1102 out tokens · 41560 ms · 2026-05-10T19:56:16.057957+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

45 extracted references · 45 canonical work pages

  1. [1]

    We now derive these results

    as special cases or approximations of a single object. We now derive these results. Gauge symmetry requirementWe denote the free fermion propagator byS F (k) =i/( /k−m) and its inverse byS −1 F (k) =−i( /k−m). The gauge-boson propagator in Rξ gauge decomposes as Dµν(ℓ) = −i ℓ2 gµν −(1−ξ) ℓµℓν ℓ2 =D ξ=1 µν (ℓ) +D P µν(ℓ), (3) whereD ξ=1 µν =−ig µν/ℓ2 andD ...

    work page 2023

  2. [2]

    Lehmann, K

    H. Lehmann, K. Symanzik and W. Zimmermann, Nuovo Cim.1(1955), 205–225. doi:10.1007/BF02731765

    work page doi:10.1007/bf02731765 1955

  3. [3]

    N. K. Nielsen, Nucl. Phys. B101(1975), 173–188. doi: 10.1016/0550-3213(75)90301-6

    work page doi:10.1016/0550-3213(75)90301-6 1975

  4. [4]

    K. S. Choi, J. Korean Phys. Soc.84(2024) no.8, 591- 595 [erratum: J. Korean Phys. Soc.86(2025) no.2, 156] doi:10.1007/s40042-024-01025-7 [arXiv:2310.00586 [hep- ph]]

    work page doi:10.1007/s40042-024-01025-7 2024

  5. [5]

    E. S. Abers and B. W. Lee, Phys. Rept.9(1973), 1–141. doi:10.1016/0370-1573(73)90027-6

    work page doi:10.1016/0370-1573(73)90027-6 1973

  6. [6]

    Tarrach, Nucl

    R. Tarrach, Nucl. Phys. B183(1981), 384–396. doi: 10.1016/0550-3213(81)90140-8

    work page doi:10.1016/0550-3213(81)90140-8 1981

  7. [7]

    A. S. Kronfeld, Phys. Rev. D58(1998), 051501. doi: 10.1103/PhysRevD.58.051501 [arXiv:hep-ph/9805215 [hep-ph]]

    work page doi:10.1103/physrevd.58.051501 1998

  8. [8]

    D. J. Gross and F. Wilczek, Phys. Rev. Lett.30(1973), 1343–1346. doi:10.1103/PhysRevLett.30.1343

    work page doi:10.1103/physrevlett.30.1343 1973

  9. [9]

    H. D. Politzer, Phys. Rev. Lett.30(1973), 1346–1349. doi:10.1103/PhysRevLett.30.1346

    work page doi:10.1103/physrevlett.30.1346 1973

  10. [10]

    J. M. Cornwall, Phys. Rev. D26(1982), 1453–1478. doi: 10.1103/PhysRevD.26.1453

    work page doi:10.1103/physrevd.26.1453 1982

  11. [11]

    J. M. Cornwall and J. Papavassiliou, Phys. Rev. D40 (1989), 3474–3485. doi:10.1103/PhysRevD.40.3474

    work page doi:10.1103/physrevd.40.3474 1989

  12. [12]

    Binosi and J

    D. Binosi and J. Papavassiliou, Phys. Rev. D66(2002), 085003. doi:10.1103/PhysRevD.66.085003 [arXiv:hep- ph/0205058 [hep-ph]]

    work page doi:10.1103/physrevd.66.085003 2002

  13. [13]

    Binosi and J

    D. Binosi and J. Papavassiliou, Phys. Rept.479 (2009), 1–152. doi:10.1016/j.physrep.2009.05.001 [arXiv:0909.2536 [hep-ph]]

    work page doi:10.1016/j.physrep.2009.05.001 2009

  14. [14]

    B. S. DeWitt, Phys. Rev.162(1967), 1195–1239. doi: 10.1103/PhysRev.162.1195

    work page doi:10.1103/physrev.162.1195 1967

  15. [15]

    Denner, G

    A. Denner, G. Weiglein and S. Dittmaier, Phys. Lett. B 333(1994), 420–426. doi:10.1016/0370-2693(94)90162-7 [arXiv:hep-ph/9406204 [hep-ph]]

    work page doi:10.1016/0370-2693(94)90162-7 1994

  16. [16]

    Hashimoto, J

    S. Hashimoto, J. Kodaira, Y. Yasui and K. Sasaki, Phys. Rev. D50(1994), 7066–7076. doi: 10.1103/PhysRevD.50.7066

    work page doi:10.1103/physrevd.50.7066 1994

  17. [17]

    Papavassiliou, Phys

    J. Papavassiliou, Phys. Rev. D51(1995), 856–861. doi: 10.1103/PhysRevD.51.856 [arXiv:hep-ph/9410385 [hep- ph]]

    work page doi:10.1103/physrevd.51.856 1995

  18. [18]

    C. D. Roberts and S. M. Schmidt, Eur. Phys. J. ST 229(2020), 3319–3340. doi:10.1140/epjst/e2020-000064- 6 [arXiv:2006.08782 [hep-ph]]

    work page doi:10.1140/epjst/e2020-000064- 2020

  19. [19]

    P. A. M. Dirac, Can. J. Phys.33(1955), 650–660. doi: 10.1139/p55-081

    work page doi:10.1139/p55-081 1955

  20. [20]

    J. C. Ward, Phys. Rev.78(1950), 182. doi: 10.1103/PhysRev.78.182

    work page doi:10.1103/physrev.78.182 1950

  21. [21]

    Takahashi, Nuovo Cim.6(1957), 371–375

    Y. Takahashi, Nuovo Cim.6(1957), 371–375. doi: 10.1007/BF02826513

    work page doi:10.1007/bf02826513 1957

  22. [22]

    K. S. Choi, [arXiv:2410.21118 [hep-ph]]

    work page arXiv

  23. [23]

    Gauge-invariant renormalized off- shell mass

    K.-S. Choi and H. Im, “Gauge-invariant renormalized off- shell mass” (companion paper), to appear

    work page

  24. [24]

    Appelquist and J

    T. Appelquist and J. Carazzone, Phys. Rev. D11(1975), 2856–2861. doi:10.1103/PhysRevD.11.2856

    work page doi:10.1103/physrevd.11.2856 1975

  25. [25]

    Choi, [arXiv:2408.06406 [hep-ph]]

    K.-S. Choi, [arXiv:2408.06406 [hep-ph]]

    work page arXiv

  26. [26]

    Gambino and P

    P. Gambino and P. A. Grassi, Phys. Rev. D62(2000), 5 076002. doi:10.1103/PhysRevD.62.076002 [arXiv:hep- ph/9907254 [hep-ph]]

    work page doi:10.1103/physrevd.62.076002 2000

  27. [27]

    B. A. Kniehl, F. Madricardo and M. Stein- hauser, Phys. Rev. D62(2000), 073010. doi: 10.1103/PhysRevD.62.073010 [arXiv:hep-ph/0005060 [hep-ph]]

    work page doi:10.1103/physrevd.62.073010 2000

  28. [28]

    Passarino and M

    G. Passarino and M. J. G. Veltman, Nucl. Phys. B160 (1979), 151–207. doi:10.1016/0550-3213(79)90234-7

    work page doi:10.1016/0550-3213(79)90234-7 1979

  29. [29]

    M. E. Peskin and D. V. Schroeder, Addison-Wesley, Reading, 1995

    work page 1995

  30. [30]

    Papavassiliou, Phys

    J. Papavassiliou, Phys. Rev. D41(1990), 3179–3191. doi:10.1103/PhysRevD.41.3179

    work page doi:10.1103/physrevd.41.3179 1990

  31. [31]

    Degrassi and A

    G. Degrassi and A. Sirlin, Phys. Rev. D46(1992), 3104–

    work page 1992

  32. [32]

    doi:10.1103/PhysRevD.46.3104

    work page doi:10.1103/physrevd.46.3104

  33. [33]

    Binosi and J

    D. Binosi and J. Papavassiliou, J. Phys. G30(2004), 203–234. doi:10.1088/0954-3899/30/2/017 [arXiv:hep- ph/0301096 [hep-ph]]

    work page doi:10.1088/0954-3899/30/2/017 2004

  34. [34]

    N. J. Watson, Phys. Lett. B349(1995), 155–164. doi: 10.1016/0370-2693(95)00228-G

    work page doi:10.1016/0370-2693(95)00228-g 1995

  35. [35]

    J. M. Cornwall, J. Papavassiliou and D. Binosi, Cam- bridge University Press, Cambridge, 2011

    work page 2011

  36. [36]

    Sirlin, Phys

    A. Sirlin, Phys. Rev. D22(1980), 971–981. doi: 10.1103/PhysRevD.22.971

    work page doi:10.1103/physrevd.22.971 1980

  37. [37]

    Binosi and J

    D. Binosi and J. Papavassiliou, Phys. Rev. D66(2002), 025024. doi:10.1103/PhysRevD.66.025024 [arXiv:hep- ph/0204128 [hep-ph]]

    work page doi:10.1103/physrevd.66.025024 2002

  38. [38]

    A. A. Slavnov, Theor. Math. Phys.10(1972), 99–107. doi:10.1007/BF01090719

    work page doi:10.1007/bf01090719 1972

  39. [39]

    J. C. Taylor, Nucl. Phys. B33(1971), 436–444. doi: 10.1016/0550-3213(71)90297-5

    work page doi:10.1016/0550-3213(71)90297-5 1971

  40. [40]

    Choi, [arXiv:2502.19300 [hep-th]]

    K.-S. Choi, [arXiv:2502.19300 [hep-th]]

    work page arXiv

  41. [41]

    Choi, [arXiv:2506.18667 [hep-ph]]

    K.-S. Choi, [arXiv:2506.18667 [hep-ph]]

    work page arXiv

  42. [42]

    CMS Collaboration, Phys. Lett. B803(2020), 135263. doi:10.1016/j.physletb.2020.135263 [arXiv:1909.09193 [hep-ex]]

    work page doi:10.1016/j.physletb.2020.135263 2020

  43. [43]

    Gizhkoet al.[H1 and ZEUS], Phys

    A. Gizhkoet al.[H1 and ZEUS], Phys. Lett. B 775(2017), 233–243. doi:10.1016/j.physletb.2017.09.055 [arXiv:1705.08863 [hep-ex]]

    work page doi:10.1016/j.physletb.2017.09.055 2017

  44. [44]

    K. S. Choi, [arXiv:2603.13684 [hep-th]]

    work page arXiv

  45. [45]

    diagram summations

    S. Kamefuchi, L. O’Raifeartaigh and A. Salam, Nucl. Phys.28(1961), 529–549. doi:10.1016/0029- 5582(61)90056-6

    work page doi:10.1016/0029- 1961