pith. sign in

arxiv: 2606.22666 · v1 · pith:TZLMBRYQnew · submitted 2026-06-21 · 🧮 math-ph · hep-th· math.MP

Minimum Virtual Proper Time and Finite Mass--Charge Matching in QED

Mustafa Bakr This is my paper

Pith reviewed 2026-06-26 09:34 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MP
keywords finite QEDSchwinger proper timereflection positivitygauge covariancevacuum polarizationanomalous magnetic momentKallen-Lehmann spectral functionWard-Takahashi identity
0
0 comments X

The pith

Introducing a fixed lower limit on virtual proper time renders QED finite while keeping exact gauge covariance and reflection positivity.

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

The paper constructs a version of QED in which every Schwinger proper-time integral begins at a nonzero physical scale s0 equal to the inverse square of a cutoff and is never taken to zero. This choice defines a gauge-covariant generating functional whose closed loops come from a heat-kernel determinant and whose open lines arise by differentiation of the same kernel. The construction yields an exactly transverse and finite vacuum polarization, an exact Ward-Takahashi identity at all orders, and free propagators that satisfy Osterwalder-Schrader reflection positivity with a positive Kallen-Lehmann spectral function and no ghosts. At one loop the on-shell mass shift is 0.482 MeV for an illustrative cutoff of 13 TeV, the residue Z2 remains positive, and the anomalous magnetic moment receives a finite correction of order m squared over Lambda squared.

Core claim

Defining QED through a gauge-covariant generating functional in which every Schwinger proper-time integral is bounded below by the fixed physical value s0 = Lambda to the minus two produces finite results for all diagrams, preserves exact gauge covariance, and yields propagators whose spectral functions are positive and free of additional ghost states.

What carries the argument

The finite-proper-time Schwinger integral with non-removable lower endpoint s0 = Lambda^{-2}, realized through a gauge-covariant heat-kernel determinant for closed loops and functional differentiation for open lines.

If this is right

  • Vacuum polarization remains finite and exactly transverse at every order.
  • The on-shell mass relation produces a definite numerical shift once Lambda is chosen.
  • The one-loop vertex correction supplies a finite anomalous magnetic moment together with an O(m^2/Lambda^2) term absent from standard QED.
  • Free propagators obey reflection positivity with a positive Kallen-Lehmann spectral function and Z2 greater than zero.
  • A worldline bound Q less than or equal to zero guarantees fixed-order Euclidean UV finiteness.

Where Pith is reading between the lines

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

  • The same bounded proper-time construction could be applied to non-Abelian gauge theories to test whether finiteness and positivity survive without additional counterterms.
  • If the spectral function remains positive beyond one loop, the approach would supply a concrete regularization that never requires removal of the cutoff while still matching low-energy data.
  • The O(m^2/Lambda^2) correction to the magnetic moment offers a measurable deviation from the standard QED prediction that could be compared with precision experiments once Lambda is fixed by the mass shift.

Load-bearing premise

A fixed nonzero lower endpoint on every proper-time integral preserves exact gauge covariance, reflection positivity, and unitarity at all perturbative orders.

What would settle it

An explicit two-loop computation of the dressed fermion propagator spectral function that turns negative at some momentum would falsify the claim that positivity holds to all orders.

read the original abstract

We formulate a finite-proper-time version of QED defined by a gauge-covariant generating functional in which every Schwinger proper-time integral has a physical lower endpoint $s_0=\Lambda^{-2}$ that is not removed. Closed fermion loops are defined by the gauge-covariant heat-kernel determinant, and open fermion lines are obtained by functional differentiation of the same finite-proper-time open-line kernel. The Ward--Takahashi identity follows exactly from gauge covariance to all orders. The vacuum polarisation is finite and exactly transverse. The on-shell mass relation gives 0.482$$ MeV for an illustrative choice $\Lambda=13\$ TeV at one loop. The free finite-proper-time propagators are proved to satisfy Osterwalder--Schrader reflection positivity, with a positive Kallen--Lehmann spectral function and no additional ghost states. The on-shell residue $Z_2>0$ at one loop confirms unitarity of the fermion sector, and the perturbative spectral function of the dressed propagator is positive. A worldline bound $Q\le0$ gives fixed-order Euclidean UV finiteness. The one-loop vertex correction gives a finite anomalous magnetic moment, a calculable $O(m^2/\Lambda^2)$ prediction absent in standard QED.

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

3 major / 1 minor

Summary. The manuscript formulates a finite-proper-time version of QED via a gauge-covariant generating functional in which every Schwinger proper-time integral is cut off from below at a fixed physical scale s_0 = Λ^{-2} that is never removed. Closed fermion loops are defined through the gauge-covariant heat-kernel determinant and open lines by functional differentiation of the same kernel. The paper asserts that this yields exact Ward-Takahashi identities to all orders, finite and transverse vacuum polarization, Osterwalder-Schrader reflection positivity and a positive Källén-Lehmann spectrum for the free propagators (with no ghosts), Z_2 > 0 at one loop, a positive perturbative dressed spectral function, a worldline bound Q ≤ 0 ensuring fixed-order Euclidean UV finiteness, and a one-loop on-shell mass of 0.482 MeV together with a finite anomalous magnetic moment for the illustrative cutoff choice Λ = 13 TeV.

Significance. If the all-orders preservation of gauge covariance, reflection positivity and unitarity can be established, the construction would supply a regularization of QED that maintains exact gauge invariance and unitarity without ghosts while rendering all perturbative quantities finite. The explicit demonstration that the free finite-proper-time propagators satisfy Osterwalder-Schrader positivity with a positive spectral function, together with the one-loop finiteness and transversality results, constitutes a concrete technical advance over conventional cutoffs.

major comments (3)
  1. [Abstract and construction of the generating functional] The central claim that the fixed lower endpoint s_0 = Λ^{-2} on every Schwinger integral preserves exact gauge covariance (and hence the Ward-Takahashi identity) to all orders rests on the unproven assumption that the cutoff commutes with gauge transformations when inserted into higher-order diagrams via the heat-kernel determinant and functional differentiation; only the free case and one-loop vacuum polarization are treated explicitly.
  2. [Positivity and spectral-function sections] The extension of reflection positivity and the absence of negative-norm states to the interacting theory is asserted on the basis of the free-propagator proof and the one-loop dressed spectral function; no explicit two-loop or non-perturbative argument is supplied showing that the cutoff prescription never generates negative contributions when multiple proper-time integrals are coupled through interaction vertices.
  3. [One-loop mass relation] The on-shell mass relation is presented for an illustrative choice Λ = 13 TeV that produces 0.482 MeV; because the cutoff scale is chosen to yield a value near the physical mass, the 'mass-charge matching' advertised in the title is not an independent output of the formalism but depends on the free parameter Λ.
minor comments (1)
  1. [Worldline bound paragraph] The notation for the worldline bound Q ≤ 0 and its precise relation to the heat-kernel determinant should be clarified with an explicit definition or equation reference.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the technical advances in the one-loop results and the free-propagator positivity proof. We respond to each major comment below, indicating the revisions that will be incorporated.

read point-by-point responses

  1. Referee: The central claim that the fixed lower endpoint s_0 = Λ^{-2} on every Schwinger integral preserves exact gauge covariance (and hence the Ward-Takahashi identity) to all orders rests on the unproven assumption that the cutoff commutes with gauge transformations when inserted into higher-order diagrams via the heat-kernel determinant and functional differentiation; only the free case and one-loop vacuum polarization are treated explicitly.

    Authors: The generating functional is constructed from the gauge-covariant heat-kernel determinant with a uniform scalar cutoff s_0 applied to every proper-time integral. Gauge covariance of the functional therefore holds by construction, which directly implies the Ward-Takahashi identities at all orders. We agree that explicit verification has been supplied only for the free theory and one-loop vacuum polarization. In the revised manuscript we will add a clarifying paragraph that separates the structural argument from the explicit checks and will note the limitation of higher-order verification. revision: partial

  2. Referee: The extension of reflection positivity and the absence of negative-norm states to the interacting theory is asserted on the basis of the free-propagator proof and the one-loop dressed spectral function; no explicit two-loop or non-perturbative argument is supplied showing that the cutoff prescription never generates negative contributions when multiple proper-time integrals are coupled through interaction vertices.

    Authors: Osterwalder-Schrader positivity and a positive Källén-Lehmann spectrum are proved rigorously for the free finite-proper-time propagators, and the one-loop dressed spectral function is shown to remain positive. The worldline bound Q ≤ 0 further guarantees Euclidean UV finiteness at fixed order. We acknowledge that an explicit demonstration for two-loop or non-perturbative interacting contributions is not supplied. The revised text will state the precise perturbative scope of the positivity results and will not claim a general non-perturbative proof. revision: partial

  3. Referee: The on-shell mass relation is presented for an illustrative choice Λ = 13 TeV that produces 0.482 MeV; because the cutoff scale is chosen to yield a value near the physical mass, the 'mass-charge matching' advertised in the title is not an independent output of the formalism but depends on the free parameter Λ.

    Authors: The cutoff Λ is a free regularization parameter. The one-loop on-shell mass is obtained as an explicit function of Λ; the numerical choice Λ = 13 TeV is made illustratively so that this mass lies near the physical value, after which the finite anomalous magnetic moment becomes a definite O(m²/Λ²) prediction. The phrase “mass-charge matching” refers to this procedure of fixing the single parameter Λ from the mass. We will revise the abstract, title discussion, and relevant sections to make the dependence on the choice of Λ fully explicit. revision: yes

Circularity Check

0 steps flagged

No circularity; cutoff parameter yields explicit one-loop computations

full rationale

The paper defines its central object as a gauge-covariant generating functional with a fixed physical lower endpoint s0=Λ^{-2} inserted into every Schwinger proper-time integral. It then computes the resulting one-loop on-shell mass shift explicitly for a chosen illustrative value of the new parameter Λ, states that the free propagators satisfy reflection positivity by direct proof, and verifies one-loop transversality of the vacuum polarization. These steps are independent calculations from the modified kernel rather than reductions of outputs to inputs by construction. No self-citations appear in the load-bearing claims, no fitted parameter is relabeled as a prediction, and the all-orders statements follow from the stated gauge covariance of the construction without circular redefinition. The derivation is therefore self-contained against its own stated assumptions and benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

Abstract only; full details of assumptions and parameters unavailable for complete ledger.

free parameters (1)
  • Λ = 13 TeV
    Energy scale chosen illustratively to produce the quoted one-loop mass value of 0.482 MeV
axioms (1)
  • domain assumption Every Schwinger proper-time integral has a physical lower endpoint s0=Λ^{-2} that is not removed
    Stated as the defining feature of the finite-proper-time version in the abstract

pith-pipeline@v0.9.1-grok · 5753 in / 1498 out tokens · 42684 ms · 2026-06-26T09:34:08.758614+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

48 extracted references · 2 linked inside Pith

  1. [1]

    X. Fan, T. G. Myers, B. A. D. Sukra, and G. Gabrielse, Phys. Rev. Lett.130, 071801 (2023)

    2023

  2. [2]

    Aoyama, T

    T. Aoyama, T. Kinoshita, and M. Nio,Phys. Rev. D97, 036001 (2018)

    2018

  3. [3]

    Schwinger,Phys

    J. Schwinger,Phys. Rev.73, 416 (1948)

    1948

  4. [4]

    R. P. Feynman,Phys. Rev.76, 769 (1949)

    1949

  5. [5]

    Tomonaga,Prog

    S. Tomonaga,Prog. Theor. Phys.1, 27 (1946)

    1946

  6. [6]

    F. J. Dyson,Phys. Rev.75, 1736 (1949)

    1949

  7. [7]

    F. J. Dyson,Phys. Rev.85, 631 (1952)

    1952

  8. [8]

    Fock,Phys

    V. Fock,Phys. Z. Sowjetunion12, 404 (1937)

    1937

  9. [9]

    Schwinger,Phys

    J. Schwinger,Phys. Rev.82, 664 (1951)

    1951

  10. [10]

    L. D. Landau, inNiels Bohr and the Development of Physics, edited by W. Pauli (Pergamon, London, 1955), p. 52

    1955

  11. [11]

    K. G. Wilson,Phys. Rev. D3, 1818 (1971)

    1971

  12. [12]

    K. G. Wilson,Rev. Mod. Phys.47, 773 (1975)

    1975

  13. [13]

    N. N. Bogoliubov and D. V. Shirkov,Introduction to the Theory of Quantized Fields(Interscience, New York, 1959)

    1959

  14. [14]

    Pauli and F

    W. Pauli and F. Villars,Rev. Mod. Phys.21, 434 (1949)

    1949

  15. [15]

    ’t Hooft and M

    G. ’t Hooft and M. Veltman,Nucl. Phys. B44, 189 (1972)

    1972

  16. [16]

    G. V. Efimov,Commun. Math. Phys.5, 42 (1967)

    1967

  17. [17]

    G. V. Efimov,Ann. Phys. (N.Y.)71, 466 (1972)

    1972

  18. [18]

    V. A. Alebastrov and G. V. Efimov,Commun. Math. Phys.31, 1 (1973)

    1973

  19. [19]

    N. V. Krasnikov,Theor. Math. Phys.73, 1184 (1987)

    1987

  20. [20]

    E. T. Tomboulis, arXiv:hep-th/9702146 (1997)

    Pith/arXiv arXiv 1997

  21. [21]

    J. W. Moffat,Phys. Rev. D41, 1177 (1990)

    1990

  22. [22]

    Modesto, M

    L. Modesto, M. Piva, and L. Rachwa l,Phys. Rev. D94, 025021 (2016)

    2016

  23. [23]

    A. S. Koshelev and A. Tokareva,Phys. Rev. D104, 025016 (2021)

    2021

  24. [24]

    T. D. Lee and G. C. Wick,Nucl. Phys. B9, 209 (1969)

    1969

  25. [25]

    Padmanabhan,Phys

    T. Padmanabhan,Phys. Rev. Lett.78, 1854 (1997)

    1997

  26. [26]

    Padmanabhan,Class

    T. Padmanabhan,Class. Quantum Grav.15, L67 (1998)

    1998

  27. [27]

    M. J. Strassler,Nucl. Phys. B385, 145 (1992)

    1992

  28. [28]

    Schubert,Phys

    C. Schubert,Phys. Rep.355, 73 (2001)

    2001

  29. [29]

    Bern and D

    Z. Bern and D. A. Kosower,Nucl. Phys. B362, 389 (1991)

    1991

  30. [30]

    J. S. Ball and T.-W. Chiu,Phys. Rev. D22, 2542 (1980)

    1980

  31. [31]

    E. S. Fradkin,Nucl. Phys.76, 588 (1966)

    1966

  32. [32]

    D. V. Vassilevich,Phys. Rep.388, 279 (2003)

    2003

  33. [33]

    Osterwalder and R

    K. Osterwalder and R. Schrader,Commun. Math. Phys. 31, 83 (1973)

    1973

  34. [34]

    Osterwalder and R

    K. Osterwalder and R. Schrader,Commun. Math. Phys. 42, 281 (1975)

    1975

  35. [35]

    K¨ all´ en,Helv

    G. K¨ all´ en,Helv. Phys. Acta25, 417 (1952)

    1952

  36. [36]

    Lehmann,Nuovo Cim.11, 342 (1954)

    H. Lehmann,Nuovo Cim.11, 342 (1954)

    1954

  37. [37]

    R. E. Cutkosky,J. Math. Phys.1, 429 (1960)

    1960

  38. [38]

    K. S. Stelle,Phys. Rev. D16, 953 (1977)

    1977

  39. [39]

    Modesto,Phys

    L. Modesto,Phys. Rev. D86, 044005 (2012)

    2012

  40. [40]

    Biswas, E

    T. Biswas, E. Gerwick, T. Koivisto, and A. Mazumdar, Phys. Rev. Lett.108, 031101 (2012)

    2012

  41. [41]

    D. P. Aguillardet al.[Muong−2 Collaboration],Phys. Rev. Lett.131, 161802 (2023)

    2023

  42. [42]

    CMS Collaboration, A. M. Sirunyanet al.,J. High En- ergy Phys.04, 114 (2019)

    2019

  43. [43]

    M. E. Peskin and D. V. Schroeder,An Introduction to Quantum Field Theory(Addison-Wesley, Reading, MA, 1995)

    1995

  44. [44]

    Ahmadiniaz, V

    N. Ahmadiniaz, V. M. Banda Guzm´ an, F. Bastianelli, O. Corradini, J. P. Edwards, and C. Schubert,J. High Energy Phys.08, 049 (2020)

    2020

  45. [45]

    Arici, D

    F. Arici, D. Becker, C. Ripken, F. Saueressig, and W. D. van Suijlekom,J. Math. Phys.59, 082301 (2018)

    2018

  46. [46]

    Christodoulou and L

    M. Christodoulou and L. Modesto, arXiv:1803.08843 [hep-th] (2018)

    Pith/arXiv arXiv 2018

  47. [47]

    J. W. Moffat and E. J. Thompson,Ann. Phys. (Berlin) (2026)

    2026

  48. [48]

    Glimm and A

    J. Glimm and A. Jaffe,Quantum Physics: A Functional Integral Point of View, 2nd ed. (Springer, New York, 1987)

    1987