Is the Lorenz Gauge a Choice? Gauge Freedom and the Structure of Electrodynamics

Alexsandro Lucena Mota

Is the Lorenz Gauge a Choice? Gauge Freedom and the Structure of Electrodynamics

T0 review · 0 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Using gauge freedom alone, any electromagnetic potentials can be transformed into a gauge satisfying the Lorenz condition.

desk verdict A clean, honest teaching note that spells out the standard f' = f - □χ argument; no new physics, but a useful classroom resource. read the letter →

arxiv 2509.00187 v1 pith:DU225TKW submitted 2025-08-29 physics.class-ph

Alexsandro Lucena Mota This is my paper · ORCID

classification physics.class-ph PACS 03.50.De

keywords Lorenzgaugetransformationelectromagneticpotentialsinhomogeneouswaveequationd'AlembertianfreedomclassicalelectrodynamicsGreen'sfunctions

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper is trying to show that the Lorenz gauge condition—traditionally taught as a convenient choice—is actually forced by the gauge symmetry of electromagnetism. It begins with a generalized gauge condition that allows any function f in place of zero, and proves that under a gauge transformation χ this function changes as f′ = f − □χ. Because the inhomogeneous wave equation □χ = f is assumed to have solutions for any admissible f, one can always pick χ so that f′ = 0, which is exactly the Lorenz condition. If that existence assumption holds, the Lorenz gauge is not an ad-hoc imposition but the natural canonical simplification of the theory's own freedom.

What carries the argument

The central object is the generalized gauge function f = ∇·A + (1/c²)∂φ/∂t, which measures deviation from the Lorenz condition. Under a gauge transformation χ it obeys f′ = f − □χ, so the d'Alembertian operator □ controls how much of f can be removed. The argument's workhorse is the existence of solutions to the inhomogeneous wave equation □χ = f: because such a χ exists, any f can be driven to zero, making the Lorenz condition universally reachable.

What would settle it

Choose a potential pair whose f has a singularity or does not fall off at infinity, and show that the retarded-Green's-function integral for χ diverges or fails to satisfy the required boundary conditions; that would be a concrete case where the claimed universal reachability of the Lorenz gauge breaks down.

Watch

Extended reading notes

Core claim

The central claim is that the Lorenz condition ∇·A + (1/c²)∂φ/∂t = 0 is not an arbitrary convention but a consequence of gauge freedom. Starting from a generalized gauge condition defined by an arbitrary function f, the paper derives the transformation law f′ = f − □χ and observes that choosing χ to solve □χ = f forces f′ = 0. Since the inhomogeneous wave equation is taken to have solutions for any admissible f, every set of potentials can be transformed into the Lorenz gauge. The conclusion frames f as an unphysical, gauge-dependent redundancy and the Lorenz condition as the canonical way to remove it.

Load-bearing premise

The argument assumes that for every physically acceptable f there exists a globally well-behaved scalar function χ solving the wave equation □χ = f; without suitable boundary or regularity conditions that existence can fail, and then the Lorenz gauge would not be reachable from that starting point.

Editorial extensions

If this is right

Any valid electromagnetic potential pair can be put into Lorenz gauge without changing the physical fields, so the decoupled wave equations □φ = ρ/ε0 and □A = μ0J are always obtainable.
The function f is not measurable: since it can be transformed away, no experiment can detect it, confirming that only gauge-invariant quantities are physical.
Textbook presentations can state the Lorenz gauge as an existence result, not a free choice: the gauge freedom of the theory itself guarantees the simplifying condition.
The same mechanism explains why the Lorenz gauge is relativistically natural: it is the canonical gauge reached by removing the arbitrary f through the covariant wave operator.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The transformation law f′ = f − □χ generalizes directly: choosing χ to solve □χ = f − g yields any desired gauge condition g, so the same existence question controls reachability of every smooth gauge, not just the Lorenz gauge.
The proof's universality depends on global solvability of the wave equation; in settings with boundaries, nontrivial topology, or sources with poor falloff, the Lorenz gauge may not be reachable even though the local calculation formally works.
A testable classroom extension would be to construct χ explicitly via retarded Green's functions for simple charge distributions and verify that the resulting potentials indeed satisfy the Lorenz condition.
Reading the argument as a template, gauge fixing becomes a PDE problem—find χ with the right wave operator acting on it—rather than a rule imposed from outside, which may help students transfer the idea to other gauge theories.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

You can treat this as a solid little teaching note. The paper does exactly what it says: it starts from a generalized gauge condition ∇·A + (1/c^2)∂φ/∂t = f, shows that under a gauge transformation f transforms to f' = f - □χ, and then observes that solving □χ = f sets f' = 0. That is the whole argument, and it is correct. The derivations are clean and the paper is transparent about citing Jackson, Griffiths, and Arfken; no one is pretending this is a new research result.

The genuinely good part is the pedagogical framing. It makes explicit the gauge-function transformation that most textbooks skip, and it directly addresses the question students ask: is the Lorenz gauge arbitrary? The answer, as presented, is "no more arbitrary than any convention; it is the natural one that gives the simplest equations." That is worth having in one place, and the explicit computation of f' should demystify gauge freedom for undergraduates.

Soft spots are minor. The "always" claim rests on existence of a global solution to □χ = f. That is a standard result in Minkowski space for smooth sources, and for a classroom note it is fine to cite it. But the paper does not state the needed regularity or boundary conditions. If f is badly singular, or on a background that is not globally hyperbolic, the conclusion can fail. A sentence acknowledging the assumption would tighten it. Also, the phrase "most elegant and natural" is a value judgment, not a derivation; it is fine as pedagogy but not a mathematical statement. And the residual gauge freedom (χ with □χ = 0) is not mentioned, so a sharp student might wonder whether the Lorenz gauge is unique; it is not. Again, these are quibbles, not load-bearing flaws.

Who is this for? Instructors teaching undergraduate EM or a mathematical methods course, and students who want a more satisfying explanation than "it decouples the equations." It is not a research advance and will not change anyone's research. As a journal submission it belongs in a pedagogy venue like AJP, not a research journal.

Recommendation: if a serious editor sent this to review, the referee would verify Eq. (8) quickly and say "accept with minor comments." It deserves a serious referee in that context. I would not cite it in a research paper, but I might point a student to it. Fine to give a reading group a quick look if anyone is teaching gauge theory at the undergrad level.

Referee Report

0 major / 5 minor

Summary. The paper is a short pedagogical Note on the Lorenz gauge. It defines a generalized gauge function f through Eq. (2), substitutes the gauge-transformed potentials into the transformed condition to obtain f' = f - □χ (Eq. (8)), and then invokes the standard solvability of the inhomogeneous wave equation □χ=f (Eq. (9)) to conclude that any initial potentials can be gauge-transformed to a Lorenz gauge with f'=0. The paper frames this as showing that the Lorenz condition, rather than being an arbitrary imposition, is the natural simplification allowed by gauge freedom.

Significance. The central derivation is correct and parameter-free: Eqs. (3), (4), and (8) follow from Maxwell's equations and the gauge transformation, and there is no circularity. The pedagogical contribution is real: it makes explicit the gauge function chi and its transformation law, a point that textbooks often skip. The result itself is standard to specialists, so the value is primarily expository. The only substantive overreach is the value judgment that the Lorenz gauge is 'the most elegant and natural' choice; the proof establishes reachability and decoupling, not a uniqueness or optimality theorem. With that caveat, the Note is a useful classroom addition.

minor comments (5)

[Section II, after Eq. (9)] The statement that 'we can always seek a gauge transformation function χ that satisfies □χ=f' relies on the existence theorem for the inhomogeneous wave equation. The paper cites this as a standard result, but the precise hypotheses are not stated. In the intended R^4 setting with smooth potentials, the conclusion is correct, but for full rigor please specify the regularity and fall-off/boundary conditions on f (e.g., smooth f on Minkowski spacetime) so that the word 'always' is not overbroad.
[Abstract and Conclusion] The claim that the Lorenz gauge is 'the most elegant and natural' is a value judgment rather than a mathematical consequence of the derivation. What is proven is that the Lorenz gauge is always reachable and gives decoupled wave equations. I suggest softening this to 'a particularly natural and convenient choice' to avoid overclaiming.
[Section II, Eqs. (2)-(4)] The derivation implicitly assumes that the potentials are smooth enough for the d'Alembertian, the divergence, and the time derivatives to be well-defined. State explicitly that the argument is for smooth (or sufficiently regular) potentials; otherwise 'any set of potentials' in Section III is stronger than the proof supports.
[Section III] After imposing the Lorenz condition, there remains a residual gauge freedom: adding any χ with □χ=0 preserves f'=0. The paper does not mention this, which is fine for the central claim, but a one-sentence remark would help advanced students understand that the gauge choice is not unique.
[Section II, Eq. (8)] Minor typesetting issue: the parentheses in the rendered equation are misaligned in the manuscript's LaTeX source ('∂t' and the following parenthesis). Please check the proof of Eq. (8).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Lorenz-gauge reachability proof is a direct, self-contained consequence of gauge transformation laws and standard solvability of the inhomogeneous wave equation.

full rationale

The paper's derivation is not circular. It defines a generalized gauge function f via Eq. (2), applies the standard gauge transformation (Eqs. (5)-(6)) to obtain Eq. (8), f' = f - □χ, and then invokes the standard existence of solutions to the inhomogeneous wave equation □χ = f (Eq. (9)) to conclude f' can be made zero. The Lorenz condition (f = 0) is never assumed in the proof; it is the target conclusion. The only load-bearing external input is the existence of solutions to □χ = f, which is cited to standard mathematical textbooks (Arfken et al.) and standard electrodynamics treatments (Jackson), not to the author's own prior work. There are no fitted parameters, no quantities defined in terms of the target result, no self-citations, and no renaming of a known result as a new derivation. The stated caveat about global solvability/regularity conditions is a mathematical-condition concern, not a circularity concern: for smooth potentials on Minkowski spacetime, the retarded Green's function provides a global solution, so the argument is sound in its intended setting. No circular step can be exhibited by quoting equations that reduce to their inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted; f(r,t) is an arbitrary bookkeeping function, not a physical constant. The derivation rests on standard electrodynamics and the standard existence theorem for wave equations. No invented entities are introduced.

assumptions (4)

domain assumption Maxwell's equations can be expressed through scalar and vector potentials satisfying coupled wave equations.
Standard classical electrodynamics; used as the starting point in Section II.
domain assumption Gauge transformations A' = A + grad(chi), phi' = phi - dchi/dt leave physical fields invariant.
Standard gauge invariance of electromagnetism, used in Eq. (8).
standard math For every admissible f, the inhomogeneous wave equation box(chi) = f has a solution (Green's function existence).
Paper cites Arfken and Jackson; no regularity or boundary conditions given; this is the load-bearing existence assumption.
domain assumption The generalized gauge function f is defined as div(A) + (1/c^2) dphi/dt and can be any scalar function.
Definition in Eq. (2), used to set f' = 0.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Is the Lorenz Gauge a Choice? Gauge Freedom and the Structure of Electrodynamics." pith.science (2026). https://pith.science/paper/DU225TKW

@misc{pith2026250900187,
  author       = {Pith},
  title        = {Pith review of: Is the Lorenz Gauge a Choice? Gauge Freedom and the Structure of Electrodynamics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DU225TKW}},
  note         = {Machine review of arXiv:2509.00187}
}

read the original abstract

In undergraduate electromagnetism courses, the Lorenz gauge condition is often presented as a convenient mathematical choice that decouples the wave equations for the scalar and vector potentials. While true, this presentation may leave students with the impression that the condition is entirely arbitrary. This Note explores the fundamental structure of gauge invariance, demonstrating that the Lorenz condition is not an ad-hoc imposition but rather the most elegant and natural simplification afforded by the theory's inherent gauge freedom. We explicitly show how the gauge function itself transforms, proving that one can always choose a gauge in which the Lorenz condition holds. This approach aims to transform the topic from a formal trick into an instructive example of the structure of gauge theories.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

J. D. Jackson, Classical Electrodynamics, 3rd ed. (Wiley, New York, 1999). See Chap. 6 for a rigorous treatment of potentials and gauge transformations; See Sec. 6.3 for the discussion on the properties of the Lorenz gauge

work page 1999
[2]

Griffiths, Introduction to Electrodynamics, 4th ed

David J. Griffiths, Introduction to Electrodynamics, 4th ed. (Cambridge University Press, Cambridge, 2017). The standard undergraduate introduction to gauge choice is discussed in Chap. 10

work page 2017
[3]

A. P. French and Jack R. Tessman, ``Displacement Currents and Magnetic Fields,'' Am. J. Phys. 31 (3), 201--204 (1963). This classic paper critically examines the treatment of displacement currents in textbooks, a pedagogical issue analogous to the one discussed here for gauge choice

work page 1963
[4]

J. D. Jackson and L. B. Okun, ``Historical roots of gauge invariance,'' Rev. Mod. Phys. 73 (3), 663--680 (2001). This review clarifies the historical origin of the Lorenz gauge condition, often misattributed to H. A. Lorentz

work page 2001
[5]

J. D. Jackson, ``From Lorenz to Coulomb and other explicit gauge transformations,'' Am. J. Phys. 70 (9), 917--928 (2002). In this paper, the author explicitly notes that ``textbooks rarely show explicitly the gauge function that transforms one gauge into another.''

work page 2002
[6]

Kuo-Ho Yang, ``The physics of gauge transformations,'' Am. J. Phys. 73 (8), 742--751 (2005). This article provides a detailed pedagogical review of the dynamical properties of potentials, a topic often omitted from standard curricula

work page 2005
[7]

Heras, ``How the potentials in different gauges yield the same retarded electric and magnetic fields,'' Am

Jos\'e A. Heras, ``How the potentials in different gauges yield the same retarded electric and magnetic fields,'' Am. J. Phys. 75 (2), 176--183 (2007). This work highlights that explicit demonstrations of physical equivalence for various gauges are ``not usually presented in textbooks.''

work page 2007
[8]

G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed. (Academic Press, Cambridge, MA, 2012). This text provides a comprehensive treatment of Green's functions for solving inhomogeneous differential equations, such as Eq. (9)

work page 2012

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

J. D. Jackson, Classical Electrodynamics, 3rd ed. (Wiley, New York, 1999). See Chap. 6 for a rigorous treatment of potentials and gauge transformations; See Sec. 6.3 for the discussion on the properties of the Lorenz gauge

work page 1999

[2] [2]

Griffiths, Introduction to Electrodynamics, 4th ed

David J. Griffiths, Introduction to Electrodynamics, 4th ed. (Cambridge University Press, Cambridge, 2017). The standard undergraduate introduction to gauge choice is discussed in Chap. 10

work page 2017

[3] [3]

A. P. French and Jack R. Tessman, ``Displacement Currents and Magnetic Fields,'' Am. J. Phys. 31 (3), 201--204 (1963). This classic paper critically examines the treatment of displacement currents in textbooks, a pedagogical issue analogous to the one discussed here for gauge choice

work page 1963

[4] [4]

J. D. Jackson and L. B. Okun, ``Historical roots of gauge invariance,'' Rev. Mod. Phys. 73 (3), 663--680 (2001). This review clarifies the historical origin of the Lorenz gauge condition, often misattributed to H. A. Lorentz

work page 2001

[5] [5]

J. D. Jackson, ``From Lorenz to Coulomb and other explicit gauge transformations,'' Am. J. Phys. 70 (9), 917--928 (2002). In this paper, the author explicitly notes that ``textbooks rarely show explicitly the gauge function that transforms one gauge into another.''

work page 2002

[6] [6]

Kuo-Ho Yang, ``The physics of gauge transformations,'' Am. J. Phys. 73 (8), 742--751 (2005). This article provides a detailed pedagogical review of the dynamical properties of potentials, a topic often omitted from standard curricula

work page 2005

[7] [7]

Heras, ``How the potentials in different gauges yield the same retarded electric and magnetic fields,'' Am

Jos\'e A. Heras, ``How the potentials in different gauges yield the same retarded electric and magnetic fields,'' Am. J. Phys. 75 (2), 176--183 (2007). This work highlights that explicit demonstrations of physical equivalence for various gauges are ``not usually presented in textbooks.''

work page 2007

[8] [8]

G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed. (Academic Press, Cambridge, MA, 2012). This text provides a comprehensive treatment of Green's functions for solving inhomogeneous differential equations, such as Eq. (9)

work page 2012