REVIEW 4 major objections 3 minor 19 references
A quantum mechanism underlying the gauge symmetry in quantum electrodynamics
T0 review · 4 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper claims that the zero-momentum part of the photon field changes under electron gauge transformations exactly as the gauge field must change.
desk verdict A transparent but circular attempt to derive U(1) gauge symmetry from a null-A-mode field; the -1/e coefficient is put in by hand. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the null A-mode field $A^\mathrm{np}_\mu(x)$, the part of the photon field associated with zero-momentum bare photons, written as a c-number expectation value of quantum vacuum fluctuations. The paper selects the derivative form of Eq. (38) over the non-derivative alternative, and fixes the normalization constant $N_0 = \left(8e\int_{\Omega(\Lambda)} d\tilde p\right)^{-1}$ so that the induced shift becomes exactly $-\frac{1}{e}\partial_\mu\theta(x)$. This field carries the entire mechanism: without it, the ordinary field alone cannot supply the gauge transformation of the photon field.
What would settle it
Apply the same local gauge transformation to the alternative candidate (36): it predicts no change in the null-A-mode field, so the total field would not transform as a gauge field; the claim is settled by determining from first principles whether the gradient coupling in (38) is forced by the state space and vacuum dynamics rather than selected for convenience.
Extended reading notes
Core claim
The central discovery is that the ordinary plane-wave photon field $A_\mu(x)$ is incomplete: it omits the zero-momentum A-mode contribution, which cannot be represented by standard polarization vectors. Constructing that part from vacuum fluctuations of virtual $e$- and $\bar e$-modes gives the null-A-mode field $A^\mathrm{np}_\mu(x) = zN_0(f^{(1)}_\mu + f^{(2)}_\mu)$, with $f^{(1)}_\mu$ and $f^{(2)}_\mu$ built from derivatives of the fermion field. Under the gauge transformation $\psi \to e^{-i\theta}\psi$, the null field becomes $\tilde A^\mathrm{np}_\mu(x) = -\frac{1}{e}\partial_\mu\theta(x)$ in the limit of infinite momentum cutoff, which is precisely the standard gauge-symmetry-required shift. The paper therefore argues that the total field $A^\mathrm{tot}_\mu = A_\mu + A^\mathrm{np}_\mu$ transforms as a gauge field while the ordinary part $A_\mu$ stays unchanged, giving the photon field's gauge transformation a concrete quantum mechanism.
Load-bearing premise
The argument rests on choosing the derivative expression (38) over the non-derivative expression (36) for the null-A-mode field and on fixing the normalization by Eq. (50); if those choices are not forced by the dynamics, the exact coefficient $-1/e$ is put in by hand.
Editorial extensions
If this is right
- The photon field in QED should include a null-A-mode contribution; ordinary quantization of the classical electromagnetic field omits this zero-momentum part.
- Local U(1) gauge invariance of the QED Lagrangian no longer requires an independently imposed transformation law for the photon field, because the zero-momentum sector supplies the required shift.
- A fully quantum construction of QED is possible without assuming that bare boson spin spaces match those of free photons, at least at the fundamental level.
- The mechanism may extend to other gauge theories with massless neutral bosons, such as the electroweak theory before the Higgs mechanism, although internal degrees of freedom complicate a direct generalization.
Reading between the lines
- The paper's mechanism effectively turns the zero-momentum photon sector into a gauge compensator; a natural test is to see whether this sector reproduces the standard Ward identities without any classical gauge-fixing input.
- Because Eq. (38) and Eq. (36) are equivalent on the un-gauge-transformed field but differ under gauge transformations, an independent physical criterion—such as the structure of the vacuum state or a canonical commutation relation for $A^\mathrm{np}_\mu$—could decide which expression is truly forced; the paper does not supply such a criterion.
- If the normalization $N_0$ is not derivable from the dynamics, then the exact coefficient $-1/e$ hides a tuning; a future derivation of $N_0$ from first principles would make the mechanism testable rather than conventional.
- The same logic suggests that in non-abelian gauge theories, zero-momentum modes with internal degrees of freedom could generate gauge transformations in a similar way, but the one-dimensional null-mode state space used here would need modification.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a reformulation of QED, called QEDoM, in which the usual assumption that bare boson spin spaces resemble experimentally observed free-photon spin spaces is removed at the fundamental level. The photon field is taken to include a new contribution from zero-momentum "null A-modes," and the paper claims that when a local U(1) gauge transformation is applied to the electron field, this null-A-mode part changes by -(1/e) ∂_μ θ(x), exactly the standard gauge transformation of the gauge field. The central conclusion is that the gauge-symmetry-required change of the photon field has a quantum origin in the null-A-mode sector.
Significance. If the derivation were sound, the paper would offer a substantive new perspective on the physical origin of gauge symmetry in QED, while also addressing the program of formulating QFT without classical starting fields. The manuscript is clearly organized and unusually explicit about its assumptions, including the generalized inner product with operator P and the special actions of null-A-mode operators in Eq. (34). However, the central result is not actually derived: the choice of the field expression Eq. (38) over Eq. (36) and the normalization N0 in Eq. (50) are both made by hand so as to reproduce the known gauge transformation law. The significance of the paper as a derivation is therefore not realized; what remains is a consistency check of an assumed transformation law.
major comments (4)
- [Sec. IV C, choice of Eq. (38) over Eq. (36)] The manuscript presents Eq. (36) and Eq. (38) as equally simple and natural candidates for the null-A-mode field, and Appendix A shows they are equivalent under the plane-wave expansion of the fermion field. Under a local gauge transformation they are not equivalent: Eq. (36) is invariant and continues to predict a vanishing field, while Eq. (38) produces the shift in Eq. (48). The paper's only reason for preferring Eq. (38) is a heuristic momentum-shift interpretation of the special case θ(x) = i q x, stated as a suggestion rather than a derivation. No equation of motion, Lagrangian, or measurement scheme selects Eq. (38), so the nonzero transformation in Eq. (48) rests on an undefended choice rather than on the dynamics of the theory.
- [Sec. IV C, Eq. (50)] The normalization constant N0 is set by Eq. (50) to be exactly (8e ∫_{Ω(Λ)} d~p)^{-1}, which cancels the divergent integral in Eq. (49) and forces the coefficient in Eq. (51) to be -1/e. The divergent integral is never evaluated and no independent constraint on N0 is provided; any normalization proportional to 1/∫ d~p would leave a finite constant, so the coefficient can be adjusted to any value by choosing N0. Thus the central result, Eq. (51), is imposed by the choice of N0 rather than derived from the structure of the theory.
- [Sec. IV C, paragraph before Eq. (47)] The special gauge transformation θ(x) = i q x used to motivate the calculation is not a real U(1) transformation: for real θ the factor e^{-iθ(x)} is unitary and bounded, whereas for θ = i q x it becomes e^{q x}, which is unbounded and changes the normalization of the fermion field. The momentum-shift interpretation that selects Eq. (38) may therefore not extend to genuine local U(1) transformations, and inferring the general result Eq. (51) from this non-gauge special case is not justified.
- [Sec. III D and Sec. IV C] The argument is self-referential. In Sec. III D, Eq. (26) is introduced as the required transformation of A_μ needed to keep L_QED invariant under the local U(1) transformation of the fermion field, and Eq. (52) then assumes A_μ itself remains unchanged. The derivation of Eq. (51) therefore shows that the null-A-mode field transforms consistently with an already-assumed gauge transformation law; it does not explain why the gauge field must transform that way. The claimed mechanism underlying gauge symmetry presupposes the very law it purports to derive.
minor comments (3)
- [References] Reference [2] is titled "In Introduction to Quantum Field Theory"; it should read "An Introduction to Quantum Field Theory."
- [Title page] The title contains a stray space in the word "quantum," reading "quantu m electrodynamics" on the first page.
- [Sec. IV A, Eq. (34)] The assumption anp|∞np⟩ = anp†|∞np⟩ = |∞np⟩ is stated as the simplest choice and is used to make the null-A-mode field an effectively c-number field in Eq. (35). Since this assumption is foundational to the construction, it deserves more discussion than a single sentence, particularly regarding why this limit is physically reasonable.
Circularity Check
Eq. (51) is reverse-engineered: the derivative ansatz Eq. (38) is selected over the invariant Eq. (36), and N0 in Eq. (50) is fixed to reproduce the already-assumed gauge transformation Eq. (26).
-
fitted input called prediction
[Sec. III D Eq. (26); Sec. IV C Eqs. (49)-(51)]
"To keep the total Lagrangian invariant, as is well known, the A-mode field should undergo the following transformation, A_μ(x) → ~A_μ(x) = A_μ(x) − 1/e∂_μθ(x). ... We set the normalization factor N0 as N0 = (8e∫_{Ω(Λ)} d~p)^{−1}. Then, in the limit of Λ → ∞, we get ... ~A^{np}_μ(x) = − 1/e∂_μθ(x)."
Equation (26) is introduced as the required transformation 'as is well known' before any null-A-mode construction. The null-A-mode field is a c-number with no canonical normalization, so N0 is free; setting N0=(8e∫d~p)^{−1} cancels the divergent integral and forces the coefficient in Eq. (49) to be exactly −1/e. Any N0∝1/∫d~p would leave some finite constant, so the value is not derived but fitted to the already-assumed coefficient in Eq. (26). Eq. (51) is thus a restatement of the input, not an independent prediction.
-
self definitional
[Sec. IV C, choice of Eq. (38) over Eq. (36)]
"It is easy to see that these two expressions give different predictions under the local gauge transformation in Eq. (25). In fact, the rhs of Eq. (37) does not change under the transformation and, hence, the expression in Eq. (36) predicts no change of the null-A-mode field; ... In contrast, Eq. (38) predicts that the field may get a finite value. ... Based on discussions given above, we assume that Eq. (38) is appropriate in the computation of the null-A-mode field under gauge transformations."
Appendix A shows Eqs. (36) and (38) are equivalent in the plane-wave expansion. Under the local U(1) transformation they are not equivalent: Eq. (36) is invariant and gives zero, while Eq. (38) gives a shift. The paper's only reason for preferring Eq. (38) is the heuristic momentum-shift interpretation of θ(x)=iqx, followed by the explicit statement 'we assume that Eq. (38) is appropriate.' Thus the ansatz is selected because it produces the known gauge-transformation result that the paper is attempting to explain; the alternative expression, which would falsify the mechanism, is discarded by assumption.
1 more flagged steps
-
renaming known result
[Sec. IV C, after Eq. (51)]
"Equation (51) shows that the transformed null-A-mode field ~A^{np}_μ(x) is equal to what is usually regarded as the gauge-symmetry-required change of the field A_μ(x) [see Eq. (26)]."
This sentence explicitly identifies the derived null-A-mode transformation with the gauge-symmetry-required change already assumed in Eq. (26). The subsequent step (Eq. (52)) simply declares A_μ unchanged so that the total field Atot_μ = A_μ + A^{np}_μ inherits the required transformation. This is a renaming/decomposition of the standard gauge term into a 'null-A-mode' contribution, with no independent constraint on how the shift is split between A_μ and A^{np}_μ.
full rationale
The paper's central claim, stated in the abstract, is that the null-A-mode field 'predicts a change that turns out to be equal to what the gauge symmetry requires for the gauge field.' Inspection shows this is not an independent derivation. The required transformation law is introduced as input in Sec. III D (Eq. (26)) to make L_QED invariant. When two candidate null-field expressions are considered, the paper acknowledges that Eq. (36) is invariant and only Eq. (38) changes; Eq. (38) is then adopted by assumption. The coefficient is thereafter manufactured: N0 in Eq. (50) is set to (8e∫d~p)^{−1}, exactly canceling the divergent integral and leaving −1/e, the coefficient already assumed in Eq. (26). No equation of motion, state normalization, or external benchmark fixes either the expression choice or N0; any coefficient could be obtained by a different N0. The final 'mechanism' therefore restates the gauge-transformation law it was supposed to explain, with the ansatz and normalization reverse-engineered. This is a fitted input called a prediction, not a self-contained derivation. The self-citations in the paper (e.g., Ref. [7] for the generalized inner product) do not carry the circular load; the circularity is internal to the construction of the null-A-mode field and its normalization.
Assumptions & free parameters
free parameters (3)
- N0 (null-A-mode normalization) =
(8e ∫_{Ω(Λ)} d~p)^(-1)
- z =
i/m0
- β (generalized inner product parameter) =
1
assumptions (6)
- ad hoc to paper A-mode spin space is a four-component vector space with Minkowski metric and a Lorentz-invariant generalized inner product defined by operator P in Eq. (21).
- ad hoc to paper There exist infinitely many null A-modes and a_np|∞np> = a_np†|∞np> = |∞np> (Eq. 34).
- ad hoc to paper The null-A-mode field is given by Eq. (38), not by the equally simple Eq. (36).
- ad hoc to paper A gauge transformation with imaginary parameter θ = iqx is representative enough to infer the general local transformation result.
- domain assumption Momentum-space regularization with a symmetric cutoff Λ can be applied and divergent integrals cancel in the limit.
- domain assumption The method of Ref. [7] for determining spin spaces and generalized inner products is accepted.
invented entities (2)
-
Null A-mode (zero-momentum bare photon)
-
|∞np> state of infinitely many null A-modes
Cite this review
Pith. "Pith review of A quantum mechanism underlying the gauge symmetry in quantum electrodynamics." pith.science (2026). https://pith.science/paper/JVLVVMXR
@misc{pith2026190809619,
author = {Pith},
title = {Pith review of: A quantum mechanism underlying the gauge symmetry in quantum electrodynamics},
year = {2026},
howpublished = {\url{https://pith.science/paper/JVLVVMXR}},
note = {Machine review of arXiv:1908.09619}
}
read the original abstract
In this paper, a formulation, which is completely established on a quantum ground, is presented for basic contents of quantum electrodynamics (QED). This is done by moving away, from the fundamental level, the assumption that the spin space of bare photons should (effectively) possess the same properties as those of free photons observed experimentally. Within this formulation, bare photons with zero momentum can not be neglected when constructing the photon field; and an explicit expression for the related part of the photon field is derived. When a local gauge transformation is performed on the electron field, this expression predicts a change that turns out to be equal to what the gauge symmetry requires for the gauge field. This gives an explicit mechanism, by which the photon field may change under gauge transformations in QED.
Reference graph
Works this paper leans on
-
[1]
The c-number feature of the null- A-mode field im- plies that it may take the form of an expectation value of some operator in the state |0np⟩
-
[2]
The above-mentioned operator describes emer- gence and vanishing of virtual e- e-mode pairs in quantum fluctuations and, hence, should contain both the e- e-mode field ψ (x) and its conjugate field ψ †(x)
-
[3]
To construct a vector field from ψ (x) and ψ †(x), the simplest method is to make use of γµ or ∂µ . Sinceψ (x) andψ †(x) do not act on the null A-mode state |∞np⟩, the null- A-mode field may in fact be written as an expectation value for the vacuum state |0⟩. Then, there are two simplest and most natural candi- dates for expression of Anp µ (x). The first on...
-
[4]
G. W. Mackey, Ann. Math. 55, 101 (1952); 58, 193 (1953); Acta. Math. 99, 265 (1958); Induced Representations of Groups and Quantum Mechanics (Benjamin, New York, 1968)
work page 1952
- [5]
-
[6]
R.F. Streater and A.S. Wightman, PCT, Spin and Statis- tics, and All That (Benjamin/Cummings, Reading, Mass., 1964)
work page 1964
-
[7]
and Eq.( 38)], which are identical under the plane-wave expansion of the e-e-field. It is easy to see that these two expressions give different predictions under the local gauge transformation in Eq.( 25). In fact, the rhs of Eq.( 37) does not change under the transfor- mation and, hence, the expression in Eq.( 36) predicts no change of the null- A-mode fiel...
-
[8]
Gupta, Proceedings of Physical Society A 63, 681 (1950)
S.N. Gupta, Proceedings of Physical Society A 63, 681 (1950)
work page 1950
Show all 19 references
-
[9]
Gu, Phys
As shown in a paper of Y. Gu, Phys. Rev. A 88, 042103 (2013), under this momentum regularization scheme, QED can be formulated in a gauge-covariant way
2013
-
[10]
and ( 38) In this appendix, we show that the two expressions in Eqs.(36) and ( 38) are equivalent with z =i/m 0. Substi- tuting Eq.( 11) into Eq.( 37), one finds that F (1) µ = ⟨0| ∫ d~q ( bs†(q)U s†(q)eiqx +ds(q)V s†(q)e−iqx) γ 0γµ ∫ d~p ( br(p)U r(p)e−ipx +dr†(p)V r(p)eipx) |...
-
[11]
Weinberg, The Quantum Theory of Fields (Cambridge University Press, Now York, 1996)
S. Weinberg, The Quantum Theory of Fields (Cambridge University Press, Now York, 1996)
1996
-
[12]
Peskin and D.V
M.E. Peskin and D.V. Schroeder, In Introduction to Quan- tum Field Theory (Westview Press, 1995)
1995
-
[13]
Itzykson and J
C. Itzykson and J. B. Zuber, Quantum Field Theory (McGraw-Hill, New York, 1980). 10
1980
-
[17]
In fact, the polar- ization vectors ελ µ (k) can not be defined for an A-mode with kµ = 0
does not include the state of A-mode with zero momentum. In fact, the polar- ization vectors ελ µ (k) can not be defined for an A-mode with kµ = 0. In this section, we discuss the field of A-mode with zero momentum. For brevity, we call A-modes with zero momentum null A-modes an...
-
[18]
(20) An operators P that satisfies Eq.( 18c) may be con- structed by a method used in Ref.[ 7], that is, P = ∑ λ ∫ d~ k|Akλ ⟩⟨Akλ |
in the ordinary way, that is, (|ψ ⟩, |φ⟩) = ⟨ψ |φ⟩. (20) An operators P that satisfies Eq.( 18c) may be con- structed by a method used in Ref.[ 7], that is, P = ∑ λ ∫ d~ k|Akλ ⟩⟨Akλ |. (21) Since both d~ k and the label λ are Lorentz invariant, this operator P is Lorentz invari...
-
[19]
Wang, Phys.Rev.A 94, 012112 (2016)
W.-g. Wang, Phys.Rev.A 94, 012112 (2016)
2016
-
[36]
and Eq.( 38) are equivalent with z =i/m 0. Some remarks for F (1, 2) µ (similar for f (1, 2) µ ): (i) The term F (1) µ in fact describes an effect of emergence and vanishing of virtual e-mode, while, the term F (2) µ is for virtuale-mode. (ii) The minus sign on the rhs of Eq.( ...
-
[38]
Substituting Eq.(25) into Eq.( 39), straightforward derivation shows 8 that f (1) µ → ~f (1) µ =f (1) µ + 4m0i(∂µθ) ∫ d~p, (47a) f (2) µ → ~f (2) µ =f (2) µ + 4m0i(∂µθ) ∫ d~p
is appropriate in the computation of the null- A-mode field under gauge transformations. Substituting Eq.(25) into Eq.( 39), straightforward derivation shows 8 that f (1) µ → ~f (1) µ =f (1) µ + 4m0i(∂µθ) ∫ d~p, (47a) f (2) µ → ~f (2) µ =f (2) µ + 4m0i(∂µθ) ∫ d~p. (47b) This gi...
-
[44]
invariant under the gauge transformations of thee-e-mode field in Eq.( 25), one needs to keep the field Aµ (x) unchanged, that is, to assume that ~Aµ (x) = Aµ (x). (52) Thus, with the null-A-mode field Anp µ (x) included, one gets a natural explanation to the gauge-symmetry re- q...
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.