It is well known that classical electrodynamics and quantum electrodynamics (QED) are distinct (but related) theories that refer to different aspects of electro- magnetic interactions. However, the entire electromagnetic theory can be divided differently. Thus, classical electrodynamics can be constructed on the assumption where Maxwell equations and the Lorentz force are used as the theory’s cor- nerstone. These differential equations (called herein MLE) depend on Max- wellian fields and are independent of the 4-potential . In MLE, one may use an arbitrary gauge function , where x denotes the four space-time coordinates. Evidently, in MLE, an addition of a gauge term to the 4-potential does not alter the electromagnetic fields
where denotes the gauge-transformed electromagnetic field. Hence, MLE is a gauge invariant theory.
Alternatively, one may accept a different point of view and take the variational principle as a more fundamental element of electrodynamics (called below VE). Here one can use an appropriate Lagrangian function as the theory’s cornerstone and construct both classical electrodynamics  and QED   . Acceptable theories of VE must obey constraints whose existence is not self-evident in the approach which yields MLE. Thus, in VE the equations of motion must be derived from a Lagrangian density which is a Lorentz scalar whose dimension is , where denotes length. Such a Lagrangian density yields an action which is a dimensionless Lorentz scalar. This kind of action is suitable for the definition of the quantum particle’s phase (see e.g.  , p. 20). The actual form of the electromagnetic Lagrangian depends explicitly of the fields and on the 4-potential . Here a gauge transformation alters the 4-potentials which explicitly appear in the theory’s cornerstone. Therefore, unlike the case of MLE, the issue of whether or not VE is gauge invariant requires a further examination. The present work is dedicated to an analysis of this problem in the quantum domain.
Electrodynamics is an important sector of physics and it uses extensively gauge transformations. In particular, gauge transformations play a crucial role in the present structure of QED (see. e.g.  , chapter 8). These issues indicate the relevance of the analysis presented in this work.
An important element of the analysis is the close relationships between quan- tum mechanics and quantum field theory (QFT). This issue is stated clearly in S. Weinberg’s well known textbook: “First, some good news: quantum field theory is based on the same quantum mechanics that was invented by Schroedinger, Heisenberg, Pauli, Born, and others in 1925-26, and has been used ever since in atomic, molecular, nuclear and condensed matter physics” (see  , p. 49). The term Weinberg correspondence principle is used below for a description of this relationship.
In this work relativistic and quantum expressions are written in the standard notation. The diagonal metric is (1,−1,−1,−1) and units where are used. In these units there is just one kind of dimension and it is denoted by an appropriate power of length . The second section describes several in- consistencies between VE and gauge transformation. The third section shows an example of an interference experiment where VE is inconsistent with the gauge freedom. A discussion of the results is presented in the fourth section. The last section contains concluding remarks.
2. Problems with Gauge Transformations
The Lagrangian density of a Dirac electron and electromagnetic fields is the primary QED expression. It takes the following form
The first term of (2) represents a free Dirac particle, the second term represents free electromagnetic fields and the last term represents the interaction between the Dirac charged particle and the electromagnetic fields (see  , p. 78,  , p. 84).
The gauge transformation affects the electromagnetic 4-potential and the Dirac function . It takes the following form
(see  , p. 345,  , p. 78). An important element of the following analysis is the fact that the gauge function is an arbitrary function of x (see  , p. 342 after (8.1.13);  , p. 482, after (15.1);  , p. 207 after (23b);  , p. 192;  , p. 316, after (14.21)). The arbitrariness of the gauge function means that it may take different values at different space-time points. This feature of the gauge transformation (3) means that the phase of the Dirac particle changes locally under a gauge transformation (see  , p. 78).
A straightforward examination proves that the Dirac Lagrangian density (2) is invariant under the gauge transformation (3) because the contributions of the two additional terms cancel each other. This outcome is certainly a necessary condition for gauge invariance of the theory. However, there is no doubt that an acceptable gauge transformations should also satisfy another requirement: it must take a mathematically consistent form. The rest of this work presents several arguments which prove that gauge transformations are unacceptable in QED because of their inconsistent structure.
1) Dimensions of Terms
It is very well known that if is a physically meaningful expression then and must have the same dimensions. The gauge transformation (3) shows that it adds an exponential factor to the Dirac function . The power series expansion of this exponent is
Evidently, the number 1 which stands on the right hand side of (4) is a dimensionless pure number. It follows that also must be dimensionless. The pure imaginary number i is dimensionless and in the unit system used herein also the electric charge is a dimensionless number .
Conclusion #1: The gauge function must be dimensionless. Therefore, the arbitrariness of the gauge function violates this requirement.
The same result is obtained from the first term of (3). Here the dimension of the 4-potential is . Therefore, the arbitrariness of the gauge function violates also this requirement.
2) Lorentz Covariance.
Conclusion #2: An analogous analysis of (4) proves that the gauge function must also be a Lorentz scalar. Therefore, the arbitrariness of the gauge function violates the second requirement.
3) A Logical Contradiction
The following arguments show how a contradiction arises from the gauge transformation (3) of the Lagrangian density (2).
a) Let us examine the quite simple state of one electron which moves inertially parallel to the z-axis in a region of space where the external fields vanish. Here all physical properties belong to the electron.
b) The combined effect of the two terms of (3) is a gauge transformation. As stated above, it keeps the Dirac Lagrangian density invariant.
c) The function of (3) has an undulating factor called phase. For the free electron considered herein, it takes the following exponential form
Here represent the electron’s momentum and energy, respectively and denotes a Dirac spinor (see  , p. 30). In this case the following relation holds (see  , p. 7)
d) The added exponential factor of (3) means that the gauge transformation changes the phase of . Furthermore, due to the arbitrariness of the gauge function , the change of phase is not uniform and it may take different value at different space-time points.
e) The system considered herein comprises only one electron whose energy and momentum are defined appropriately. It follows that the electron’s energy and momentum should not change under a gauge transformation.
f) If the energy and the momentum do not change under a gauge transfor- mation then the de Broglie principle (see  , pp. 48, 49,  , pp. 119, 120) says that the phase of should not change (except by an irrelevant global constant factor).
j) The Weinberg correspondence principle proves that this conclusion holds also for QED.
Conclusion #3: The forgoing points prove that a contradiction arises from the gauge transformation (3). Indeed, it is shown in item 4 that in order to keep the Lagrangian density invariant, the gauge transformation (3) changes the phase of . By contrast, items 5 - 7 prove that under a gauge transformation the phase of should not change!
3. An Interference Example
An important element of the gauge transformation (3) is the change of the quantum particle’s phase. Therefore, one kind of test of gauge transformation compatibility is an examination of an interference experiment where the par- ticle’s phase plays a crucial role. Here the calculations adhere to the inherent gauge transformation property where the gauge function is an arbitrary function of the four space-time coordinates.
Consider an electron that moves parallel to the z-axis. The external fields vanish and the electron moves inertially. The electron’s wave function takes the form of (5) and in the experiment discussed herein, the components of the electron’s momentum are
It passes through two slits and the two sub-beams interfere on the screen S (see Figure 1). The sine curve of Figure 1 represents the intensity of the con- structive/destructive interference at the corresponding points on S (see  , p. 239). This curve is obtained from a straightforward calculation of the phase of the two sub-beams.
Let us examine how the following gauge transformation
affects the interference calculation. Here the gauge function depends only on the z-coordinate. Using the specific value , one finds that a substitution of the electron’s function (5) and the gauge function (8) into the gauge transformation (3) yields the following wave function
Evidently, the z-dependence of the gauge function (8) cancels the z-dependence of the original electron’s phase. The final outcome of (9) is a wave that has a uniform spatial dependence. It follows that there is no destructive interference and the interference pattern of Figure 1 is destroyed.
Section 2 presents several theoretical inconsistencies of gauge transformations in VE. The contradiction obtained in this section provides a further support for these inconsistencies. It examines a specific case where the gauge transformed function (9) violates the de Broglie relation between the particle’s phase and its energy-momentum values (6).
Figure 1. An electronic beam moves parallel to the z-axis. The beam hits the barrier B and two sub-beams pass through the slits. Later, the sub- beams interfere on the screen S (see text).
The present work distinguishes between the theoretical structure of MLE and that of VE. Certainly, MLE is a gauge invariant theory because Maxwell eq- uations and the Lorentz force are independent of the 4-potential which varies under a gauge transformation. The present work discusses the Lagrangian den- sity of QED which is a quantum theory derived from VE. Evidently, MLE is a classical theory where the particle’s phase has no meaning. By contrast, the particle’s phase is a cardinal element of a quantum theory. The Weinberg cor- respondence principle means that this property also holds for QED. This work analyzes effects of gauge transformation on the particle’s phase (3). The analysis adheres to the well known attribute of the gauge function which is an arbitrary function of the four space-time coordinates. Section 2 presents three different theoretical contradictions of gauge transformations and section 3 describes a specific case where a gauge transformation yields unacceptable results.
The discussion presented above shows how errors emerge from the second term of the gauge transformation (3). The fact that the Lagrangian density is invariant under the two terms of (3) indicates that also the first term of (3) is likely to be erroneous. And indeed, an analysis of the first term of (3) proves that it yields errors  . This effect is also found in the classical domain of VE. For example, one examines a free motionless electron and introduces the gauge transformation function into (3). Here the null 4-potential trans- forms as follows
Under this transformation the Hamiltonian of the free motionless electron dis- cussed herein boils down to the following time-dependent expression (see  , p. 49)
The explicit time-dependence of the Hamiltonian means that in the VE ver- sion of classical electrodynamics a gauge transformation violates energy con- servation.
Section 2 proves the dimension inconsistency of gauge transformations as well as their failure to satisfy covariance. These properties mean that the success of gauge transformations in MLE is simply because here the gauge errors of (1) take the form of a 4-curl and the difference between the two terms of this 4-curl vanishes. Therefore, in MLE an addition of a null value that has the wrong dimension is apparently acceptable.
The primary element of this work is the distinction between the theoretical structure of Maxwell-Lorentz electrodynamics (MLE) and that of variational electrodynamics (VE). It presents theoretical proofs of gauge transformations unacceptability in VE as well as an example of contradictory results of a specific interference experiment. It also explains that in MLE gauge transformations look OK just because here the 4-curl of the gauge function vanishes.
Gauge transformations play an important role in the present structure of QED (see  , pp. 339-343). For this reason, the above mentioned gauge transfor- mations errors point out the need to reconstruct QED in a consistent form. The recent experimental QED failure to explain the proton charge radius data  can be regarded as an experimental support for the theoretical QED problems which are proved in this work.