A Formal Derivation of the Standard Model Lagrangians and General Relativity from McGucken’s Principle of the Fourth Expanding Dimension dx₄/dt = ic: Gauge Symmetry, Maxwell’s Equations, and the Einstein–Hilbert Action as Theorems of a Single Geometric Postulate

Dr. Elliot McGucken

Light, Time, Dimension Theory — elliotmcguckenphysics.com

JA Wheeler: “More intellectual curiosity, versatility and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student. . . Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet for graduate school in physics. . . I say this on the basis of close contacts with him over the past year and a half. . . I gave him as an independent task to figure out the time factor in the standard Schwarzschild expression around a spherically-symmetric center of attraction. I gave him the proofs of my new general-audience, calculus-free book on general relativity, A Journey Into Gravity and Space Time. There the space part of the Schwarzschild geometric is worked out by purely geometric methods. ‘Can you, by poor-man’s reasoning, derive what I never have, the time part?’ He could and did, and wrote it all up in a beautifully clear account. . . his second junior paper . . . entitled Within a Context, was done with Joseph Taylor, and dealt with an entirely different part of physics, the Einstein-Rosen-Podolsky experiment and delayed choice experiments in general . . . this paper was so outstanding. . . I am absolutely delighted that this semester McGucken is doing a project with the cyclotron group on time reversal asymmetry. Electronics, machine-shop work and making equipment function are things in which he now revels. But he revels in Shakespeare, too. Acting the part of Prospero in The Tempest. . .” — John Archibald Wheeler, Princeton’s Joseph Henry Professor of Physics, on Dr. Elliot McGucken

Abstract

We demonstrate that the full edifice of classical and quantum field theory — Maxwell’s equations, the Standard Model Lagrangians for scalar, vector, and spinor fields, U(1) gauge symmetry, and the Einstein–Hilbert action of general relativity — follows as a sequence of mathematical theorems from a single geometric postulate: the fourth coordinate of Minkowski spacetime, x₄ = ict, is a physically real geometric axis advancing at the invariant rate dx₄/dt = ic. This postulate, which we call the McGucken Principle, is shown to force, in succession: the Lorentzian metric signature (Theorem 1); the master four-velocity equation u^μu_μ = −c² (Theorem 1); the wave equation □ψ = 0 as the four-dimensional Laplace equation (Theorem 2); the unique relativistic point-particle action and variational principle (Theorem 3); U(1) global and local gauge invariance from Noether’s theorem applied to the fixed phase of x₄’s expansion (Theorems 4 and 5); the homogeneous Maxwell equations as a Bianchi identity (Theorem 6); the inhomogeneous Maxwell equations from the Maxwell Lagrangian (Theorem 7); the Klein–Gordon Lagrangian (Theorem 8); the Dirac operator, spin-½, and the Dirac Lagrangian (Theorem 9); the non-Abelian gauge connection and Yang–Mills field strength (Theorem 10); the Yang–Mills Lagrangian as the unique dimension-≤4 gauge-invariant action (Theorem 11); and finally the Einstein–Hilbert action via Schuller’s gravitational closure (Theorem 12). Each theorem is stated with explicit assumptions, a self-contained proof, and a remark on its logical dependence on the McGucken Principle. All claims in the body of the paper are conditional: where the conclusion follows from the postulate alone, this is stated; where it additionally requires standard structural assumptions (locality, polynomial order, specific Lie group content), these are listed explicitly. The two free parameters — Newton’s constant G and the cosmological constant Λ — are the only quantities not fixed by the principle; all else is determined.

Contents

1. Introduction
2. The McGucken Principle: Postulate, Scope, and Logical Architecture
3. Theorem 1: Lorentzian Metric and Master Equation
4. Theorem 2: Wave Equation as Four-Dimensional Laplace Equation
5. Theorem 3: Relativistic Action and the Variational Principle
6. Theorem 4: Global U(1) Symmetry and Charge Conservation
7. Theorem 5: Local U(1) Gauge Invariance and the Gauge Connection
8. Theorem 6: Homogeneous Maxwell Equations (Bianchi Identity)
9. Theorem 7: Inhomogeneous Maxwell Equations from the Maxwell Lagrangian
10. Theorem 8: Klein–Gordon Lagrangian
11. Theorem 9: Dirac Operator, Spin-½, and the Dirac Lagrangian
12. Theorem 10: Non-Abelian Gauge Connection and Field Strength
13. Theorem 11: Yang–Mills Lagrangian
14. Theorem 12: Gravitational Closure and the Einstein–Hilbert Action
15. Discussion: Foundational Implications
16. Conclusion: Complete Theorem Register
17. A Brief History of the McGucken Principle: Princeton and Beyond
18. References

I. Introduction

The Standard Model of particle physics and Einstein’s general relativity together constitute the most precisely tested theoretical framework in the history of science. Yet the two theories rest on foundations that are, at the deepest level, independent postulates. The Lorentzian signature of spacetime is assumed. The existence of gauge symmetry is assumed. The specific gauge group SU(3) × SU(2) × U(1) is assumed. The form of the Lagrangians for each matter field is assumed. The action principle itself — that physical trajectories extremise the action — is assumed without explanation.

The programme of this paper is to show that each of these assumptions can be derived as a theorem from a single geometric postulate — the McGucken Principle [1–15] — together with clearly stated structural assumptions of locality, Lorentz invariance, and polynomial order. We are precise about which conclusions follow from the postulate alone, and which additionally require standard field-theoretic constraints. The central claim is:

Given the McGucken Principle plus standard locality and symmetry assumptions, the usual Lagrangians and Einstein–Hilbert gravity are the unique theories satisfying those constraints.

We distinguish three layers of input throughout:

1. The geometric postulate: x₄ = ict, dx₄/dt = ic (McGucken Principle).
2. Standard structural assumptions: locality, Lorentz invariance, renormalisable (mass dimension ≤ 4) Lagrangians.
3. Schuller’s gravitational closure framework [18]: given the matter characteristic cones, this yields the unique compatible gravitational action.

Throughout, we use signature (−,+,+,+), η_μν = diag(−1,+1,+1,+1), and □ = η^μν∂_μ∂_ν.

II. The McGucken Principle: Postulate, Scope, and Logical Architecture

Postulate (McGucken Principle). Spacetime admits a fourth geometric coordinate x₄ related to coordinate time by x₄ = ict. This coordinate is a physically real geometric axis advancing at the invariant rate dx₄/dt = ic from every spacetime point, with spherically symmetric expansion. The imaginary unit i encodes the 90° perpendicularity of x₄ to the three spatial dimensions.

This is not a restatement of special relativity. Einstein’s original 1905 formulation [17] postulates the relativity of inertial frames and the constancy of c. The McGucken Principle is more specific: it provides the physical mechanism for the constancy of c (it is the rate at which the fourth dimension expands, fixed by the geometry of that dimension itself) and additionally asserts that this expansion is physically real and spherically symmetric. Minkowski’s 1907 formulation [16] used x₄ = ict as a notational convenience; the McGucken Principle elevates it to a physical equation of motion.

The scope of the McGucken Principle, as developed in a body of work from 1998 to 2026 [1–15], encompasses: full kinematics of special relativity; Huygens’ principle; the principle of least action; Noether’s theorem; the Schrödinger equation; the Feynman path integral; Newton’s law; the Einstein–Hilbert action; gauge symmetry and all Standard Model Lagrangians; and every broken symmetry and arrow of time in the Standard Model.

III. Theorem 1: Lorentzian Metric and Master Equation

Assumptions.

(A1) Spacetime events are labelled by coordinates (x₁, x₂, x₃, t) and a fourth geometric coordinate x₄ = ict.

(A2) The squared interval between neighbouring events is the Euclidean quadratic form: ds² = (dx₁)² + (dx₂)² + (dx₃)² + (dx₄)².

Theorem 1 (Lorentzian metric from McGucken Principle). Under (A1)–(A2), the interval takes the Lorentzian form ds² = −c²dt² + |dx|², the metric tensor is η_μν = diag(−1,+1,+1,+1), and the four-velocity satisfies the master equation u^μu_μ = −c².

Proof. From (A1), dx₄ = ic dt, so (dx₄)² = (ic)²dt² = −c²dt². Substituting into (A2):

ds² = (dx₁)² + (dx₂)² + (dx₃)² − c²dt² = |dx|² − c²dt²

No sign convention is introduced; the Lorentzian signature emerges from arithmetic alone. Writing x^μ = (ct, x₁, x₂, x₃) and defining proper time by c²dτ² = −ds², the four-velocity u^μ = dx^μ/dτ satisfies η_μνu^μu^ν = −c². ■

Corollary 1.1 (Dispersion relation). With p^μ = mu^μ, the mass-shell condition p^μp_μ = −m²c² gives E²/c² − |p|² = m²c², i.e. mass–energy equivalence. The massless limit m = 0 gives the light-cone condition |k|² = ω²/c². ■

Remark. The entire subsequent logical structure depends on the Lorentzian metric of Theorem 1. Every field equation, Lagrangian, and symmetry argument below is formulated on this background. The McGucken Principle is the unique geometric input that forces this metric without invoking it as a separate postulate.

IV. Theorem 2: Wave Equation as Four-Dimensional Laplace Equation

Assumptions.

(B1) The four-dimensional Laplacian in (x₁, x₂, x₃, x₄) is ∇₄² = ∂²/∂x₁² + ∂²/∂x₂² + ∂²/∂x₃² + ∂²/∂x₄².

(B2) x₄ = ict as in Theorem 1.

Theorem 2 (Wave equation from McGucken geometry). Under (B1)–(B2), ∇₄² = □, so the four-dimensional Laplace equation ∇₄²ψ = 0 is equivalent to the massless wave equation □ψ = 0.

Proof. By the chain rule: ∂/∂x₄ = (1/ic) ∂/∂t, hence ∂²/∂x₄² = −(1/c²) ∂²/∂t². Substituting into (B1) gives ∇₄² = ∇² − (1/c²) ∂²/∂t² = □. Hence ∇₄²ψ = 0 ⇔ □ψ = 0. ■

Corollary 2.1 (Huygens’ principle). The retarded Green’s function of □ is G₊(x−x′, t−t′) = δ(t−t′−|x−x′|/c)/|x−x′|, supported on the McGucken Sphere |x−x′| = c(t−t′). Wave propagation is therefore spherically symmetric expansion; Huygens’ principle is a theorem of the McGucken Principle [5, 8, 10]. ■

Remark. The wave equation arises here not as a postulate about electromagnetism but as the four-dimensional Laplace equation in a geometry where the fourth axis is imaginary at rate ic. All massless fields — photons, gravitons, gluons — propagate on the same McGucken Spheres for this reason.

V. Theorem 3: Relativistic Action and the Variational Principle

Assumptions.

(C1) The metric is Lorentzian with proper time defined by c²dτ² = −ds² (Theorem 1).

(C2) The action for a free particle is a reparametrisation-invariant functional proportional to the geometric length of the worldline.

(C3) In the rest frame, the action reduces to −mc² times elapsed proper time (matching the rest energy).

Theorem 3 (Uniqueness of the relativistic point-particle action). Under (C1)–(C3), the free-particle action is uniquely S[x] = −mc²∫dτ, and δS = 0 with fixed endpoints yields the geodesic equation du^μ/dτ + Γ^μ_αβu^αu^β = 0.

Proof. By (C1)–(C2), any reparametrisation-invariant functional must be proportional to ∫dτ. By (C3), the constant is −mc², giving S = −mc²∫dτ = −mc²∫√(1−v²/c²) dt. In the non-relativistic limit this gives L ≈ −mc² + ½mv², recovering the correct kinetic energy. Standard calculus of variations yields the geodesic equation. In flat spacetime (Γ = 0) this is d²x^μ/dτ² = 0, i.e. uniform four-dimensional motion. ■

Physical remark. Nature extremises this action because a free particle follows the path of maximum proper time — maximum x₄ advance — through spacetime. The centuries-old mystery of “why does nature extremise the action?” is resolved: the Euler–Lagrange equations are the condition for the geometric extremum of x₄ advance given the fixed budget constraint of Theorem 1 [8, 10].

VI. Theorem 4: Global U(1) Symmetry and Charge Conservation

Assumptions.

(D1) A complex scalar field ψ(x) has Lagrangian density ℒ = −∂_μψ*∂^μψ − m²ψ*ψ on the McGucken background.

(D2) The action S = ∫d⁴x ℒ is invariant under global phase rotations ψ → e^iαψ with constant α.

(D3) The phase of ψ is identified with the local phase of the x₄ expansion at each spacetime event.

Theorem 4 (Noether current from U(1) phase symmetry). Under (D1)–(D3), there exists a conserved current j^μ = i(ψ∂^μψ* − ψ*∂^μψ) with ∂_μj^μ = 0. The associated conserved charge is electric charge, arising from the fixed-phase symmetry of x₄’s expansion.

Proof. Under the infinitesimal transformation δψ = iεψ, δψ* = −iεψ*, Noether’s theorem [22] gives:

j^μ = ∂ℒ/∂(∂_μψ) · δψ + ∂ℒ/∂(∂_μψ*) · δψ* = i(ψ∂^μψ* − ψ*∂^μψ)

Invariance of S under the global transformation implies ∂_μj^μ = 0 by the Euler–Lagrange equations. The conserved charge Q = ∫j⁰ d³x is identified, under (D3), with electric charge: the Noether charge of the fixed-phase symmetry of x₄’s expansion. ■

Remark. Electric charge is not a mysterious property of matter inserted from outside. It is the Noether charge of the fixed-phase symmetry of x₄’s spherically symmetric expansion. The imaginary unit i in j^μ is the same i in dx₄/dt = ic.

VII. Theorem 5: Local U(1) Gauge Invariance and the Gauge Connection

Assumptions.

(E1) The matter field ψ(x) has a global U(1) symmetry as in Theorem 4.

(E2) One demands invariance under local phase rotations ψ(x) → e^iqΛ(x)ψ(x) for arbitrary smooth Λ(x, t).

(E3) The kinetic term must remain first-order in derivatives of ψ.

Theorem 5 (Local U(1) forces the gauge connection). Under (E1)–(E3), local gauge invariance is achievable if and only if the ordinary derivative ∂_μ is replaced by the covariant derivative D_μ = ∂_μ − iqA_μ, where A_μ transforms as A_μ → A_μ + ∂_μΛ.

Proof. Under ψ′ = e^iqΛψ, the ordinary derivative transforms as ∂_μψ′ = e^iqΛ(∂_μ + iq∂_μΛ)ψ. The extra term iq∂_μΛψ breaks local invariance. Introducing D_μψ = (∂_μ − iqA_μ)ψ and requiring (D_μψ)′ = e^iqΛD_μψ:

(∂_μ − iqA′_μ)(e^iqΛψ) = e^iqΛ(∂_μ − iqA_μ)ψ

Expanding and cancelling the common factor e^iqΛ forces A′_μ = A_μ + ∂_μΛ. This transformation law is the unique one consistent with (E2)–(E3). ■

Remark. The gauge field A_μ is not postulated to describe the photon; it is the geometric necessity of making the local phase symmetry of x₄’s expansion consistent across spacetime. The connection parallel-transports the phase of x₄ between different spacetime points. This is the precise physical meaning of U(1) gauge invariance.

VIII. Theorem 6: Homogeneous Maxwell Equations as Bianchi Identity

Assumptions.

(F1) A four-potential A_μ(x) exists (from Theorem 5).

(F2) The electromagnetic field tensor is defined by F_μν = ∂_μA_ν − ∂_νA_μ.

Theorem 6 (Homogeneous Maxwell equations). Under (F1)–(F2), the tensor F_μν satisfies ∂_[αF_βγ] = 0 identically. In 3+1 form this is equivalent to ∇·B = 0 and ∇×E = −∂B/∂t.

Proof. The fully antisymmetrised derivative is ∂_[αF_βγ] = ∂_αF_βγ + ∂_βF_γα + ∂_γF_αβ. Substituting (F2):

∂_[αF_βγ] = ∂_α(∂_βA_γ − ∂_γA_β) + ∂_β(∂_γA_α − ∂_αA_γ) + ∂_γ(∂_αA_β − ∂_βA_α) = 0

because mixed partial derivatives commute and each term cancels pairwise. Setting α = 1, β = 2, γ = 3 gives ∇·B = 0; setting one index to 0 gives Faraday’s law. ■

Remark. The absence of magnetic monopoles — ∇·B = 0 — is a geometric theorem, not an experimental contingency. It holds because B = ∇×A and the divergence of any curl vanishes identically. Magnetic monopoles would require abandoning the potential A_μ, which would require abandoning U(1) gauge invariance, which would require abandoning the fixed-phase symmetry of x₄’s expansion.

IX. Theorem 7: Inhomogeneous Maxwell Equations from the Maxwell Lagrangian

Assumptions.

(G1) Background is the McGucken/Minkowski spacetime of Theorem 1.

(G2) The electromagnetic Lagrangian density is ℒ_EM = −¼F_μνF^μν − J_μA^μ, where ∂_μJ^μ = 0 (conservation from Theorem 4).

(G3) The action S[A] = ∫d⁴x ℒ_EM is varied with fixed boundary conditions.

Theorem 7 (Inhomogeneous Maxwell equations). Under (G1)–(G3), the Euler–Lagrange equation δS/δA_ν = 0 yields ∂_μF^μν = J^ν, equivalent to Gauss’s law (ν = 0) and the Ampère–Maxwell law (ν = i).

Proof. Vary A_ν → A_ν + δA_ν, giving δF_μν = ∂_μδA_ν − ∂_νδA_μ. Then:

δℒ_EM = −½F^μνδF_μν − J_μδA^μ = −F^μν∂_μδA_ν − J_νδA^ν

Integrating by parts and discarding boundary terms: δS = ∫d⁴x (∂_μF^μν − J^ν)δA_ν = 0. Since δA_ν is arbitrary in the interior, the integrand must vanish: ∂_μF^μν = J^ν. Setting ν = 0 gives ∇·E = ρ/ε₀; setting ν = i gives ∇×B = μ₀J + μ₀ε₀∂E/∂t. ■

Corollary 7.1 (Electromagnetic wave speed). In the source-free case, combining Theorems 6 and 7 gives □E = 0 and □B = 0 with propagation speed c = 1/√(μ₀ε₀). This is the same c fixed by the McGucken Principle in Theorem 1; the identification of light as an electromagnetic wave at speed c is a theorem. ■

X. Theorem 8: Klein–Gordon Lagrangian

Assumptions.

(H1) A complex scalar field φ has relativistic dispersion E² = |p|²c² + m²c⁴ (Corollary 1.1).

(H2) The field equation is obtained via canonical quantisation: E → iℏ∂_t, p → −iℏ∇.

(H3) The Lagrangian is local, Lorentz-invariant, and quadratic in φ (free field theory).

Theorem 8 (Klein–Gordon Lagrangian). Under (H1)–(H3), the field satisfies (□ − m²c²/ℏ²)φ = 0, and the unique Lagrangian yielding this equation is ℒ_KG = −½(∂_μφ*)(∂^μφ) − ½m²c²/ℏ² |φ|².

Proof. Substituting (H2) into (H1) gives (−ℏ²∂_t²/c² + ℏ²∇² − m²c²)φ = 0, i.e. (□ − m²c²/ℏ²)φ = 0. For uniqueness under (H3): any local Lorentz-invariant quadratic scalar built from φ and one derivative is a linear combination of (∂_μφ*)(∂^μφ) and |φ|². The Euler–Lagrange equation ∂_μ(∂ℒ/∂(∂_μφ*)) − ∂ℒ/∂φ* = 0 applied to ℒ_KG yields □φ − m²c²/ℏ² φ = 0, with the relative coefficients uniquely fixed by matching the dispersion relation. ■

Remark. With minimal coupling (∂_μ → D_μ from Theorem 5), ℒ_KG becomes −|D_μφ|² − m²c²/ℏ² |φ|². The minimal coupling is not a new assumption; it is forced by the U(1) gauge invariance of Theorem 5.

XI. Theorem 9: Dirac Operator, Spin-½, and the Dirac Lagrangian

Assumptions.

(I1) The spacetime metric is Lorentzian η_μν = diag(−1,+1,+1,+1) (Theorem 1).

(I2) Seek a first-order linear differential operator D = iγ^μ∂_μ − mc/ℏ such that DD† reproduces the Klein–Gordon operator □ + m²c²/ℏ².

(I3) The γ^μ are matrix-valued coefficients independent of position, acting on a finite-dimensional complex vector space.

Theorem 9 (Dirac operator from Lorentzian metric). Under (I1)–(I3), the matrices γ^μ must satisfy the Clifford algebra {γ^μ, γ^ν} = 2η^μν𝟙. The minimal faithful complex representation is 4-dimensional, i.e. spin-½. The corresponding Lagrangian ℒ_Dirac = ψ̄(iγ^μ∂_μ − mc/ℏ)ψ yields the Dirac equation.

Proof. Compute:

(iγ^μ∂_μ − mc/ℏ)(iγ^ν∂_ν + mc/ℏ) = −γ^μγ^ν∂_μ∂_ν + m²c²/ℏ²

Symmetrising over μ, ν (since ∂_μ∂_ν = ∂_ν∂_μ):

−γ^μγ^ν∂_μ∂_ν = −½{γ^μ, γ^ν}∂_μ∂_ν

To match □ + m²c²/ℏ² = η^μν∂_μ∂_ν + m²c²/ℏ², one requires {γ^μ, γ^ν} = 2η^μν𝟙. Representation theory of the real Clifford algebra Cl(1,3) ≝ Cl(3,1) shows the minimal faithful complex representation is 4-dimensional [23]; this is the Dirac spinor. Varying ∫d⁴x ψ̄(iγ^μ∂_μ − mc/ℏ)ψ with respect to ψ̄ yields the Dirac equation (iγ^μ∂_μ − mc/ℏ)ψ = 0. ■

Remark. Spin-½ is not an independent postulate about the nature of electrons and quarks. It is the minimum-dimension representation of the Clifford algebra of the Lorentzian metric — which itself follows from x₄ = ict in Theorem 1. The chain dx₄/dt = ic → Lorentzian metric → Clifford algebra → spin-½ is a sequence of theorems.

XII. Theorem 10: Non-Abelian Gauge Connection and Field Strength

This section and the next derive the Yang–Mills theory in full formal detail, following the template established for the Abelian case in Theorems 5–7. The derivation proceeds in two steps: localising a global SU(N) symmetry forces the gauge connection (Theorem 10), and the field strength curvature together with structural constraints then uniquely selects the Yang–Mills Lagrangian (Theorem 11).

Throughout, the background spacetime is the Lorentzian manifold of Theorem 1, with metric η_μν = diag(−1,+1,+1,+1). Let G be a compact Lie group with Lie algebra g spanned by generators T^a satisfying [T^a, T^b] = if^abcT^c, a, b, c = 1, …, dim G.

Assumptions.

(J1) Matter fields ψ(x) transform in a unitary representation R of G: under global U = exp(iα^aT^a) with constant α^a, ψ → Uψ.

(J2) The free matter Lagrangian is invariant under these global transformations.

(J3) One demands invariance under local transformations ψ(x) → U(x)ψ(x), U(x) = exp(iα^a(x)T^a), while preserving first-order derivative structure.

(J4) The covariant derivative takes the form D_μ = ∂_μ − igA_μ(x), where A_μ(x) = A_μ^a(x)T^a is a Lie-algebra-valued one-form.

Theorem 10 (Non-Abelian gauge connection). Under (J1)–(J4), the requirement that D_μψ transforms covariantly, i.e. D′_μψ′ = U(x)D_μψ, uniquely fixes the gauge field transformation law A′_μ = U A_μU⁻¹ + (i/g)U∂_μU⁻¹. The curvature of this connection is the field strength F_μν = ∂_μA_ν − ∂_νA_μ + ig[A_μ, A_ν], which transforms as F′_μν = U F_μνU⁻¹.

Proof. By (J4), D_μψ = ∂_μψ − igA_μψ. Under ψ′ = Uψ:

D′_μψ′ = ∂_μ(Uψ) − igA′_μ(Uψ) = (∂_μU)ψ + U∂_μψ − igA′_μUψ

The covariance requirement D′_μψ′ = U(D_μψ) = U∂_μψ − igUA_μψ forces:

(∂_μU) − igA′_μU = −igUA_μ

Rearranging and multiplying from the right by U⁻¹:

A′_μ = UA_μU⁻¹ + (i/g)(∂_μU)U⁻¹ = UA_μU⁻¹ + (i/g)U∂_μU⁻¹

For the field strength, compute the commutator on arbitrary ψ:

[D_μ, D_ν]ψ = (∂_μ − igA_μ)(∂_ν − igA_ν)ψ − (μ ↔ ν)

Expanding and using ∂_μ∂_νψ − ∂_ν∂_μψ = 0:

[D_μ, D_ν]ψ = −ig(∂_μA_ν − ∂_νA_μ)ψ − g²[A_μ, A_ν]ψ

Define F_μν = (i/g)[D_μ, D_ν] = ∂_μA_ν − ∂_νA_μ + ig[A_μ, A_ν]. Under a gauge transformation, D′_μ = UD_μU⁻¹, so [D′_μ, D′_ν] = U[D_μ, D_ν]U⁻¹, hence F′_μν = UF_μνU⁻¹. ■

Remark. In the Abelian limit G = U(1), [A_μ, A_ν] = 0 and the field strength reduces to the Maxwell F_μν = ∂_μA_ν − ∂_νA_μ of Theorem 6. The commutator term is the distinctive non-Abelian contribution responsible for gluon and W-boson self-interactions.

XIII. Theorem 11: Yang–Mills Lagrangian

Assumptions.

(K1) F_μν transforms as F′_μν = UF_μνU⁻¹ (Theorem 10).

(K2) The Lie algebra g admits an invariant, non-degenerate bilinear form Tr(··) (e.g., the trace in the fundamental representation, suitably normalised).

(K3) The pure gauge-field Lagrangian is: (a) local; (b) Lorentz-invariant; (c) invariant under local G transformations; (d) polynomial of mass-dimension ≤ 4 (renormalisability condition in four spacetime dimensions).

Theorem 11 (Yang–Mills Lagrangian uniqueness). Under (K1)–(K3), the pure gauge-field Lagrangian is uniquely, up to an overall constant, the Yang–Mills Lagrangian ℒ_YM = −¼ Tr(F_μνF^μν).

Proof. By (K1), any gauge-invariant scalar must be built from F_μν contracted using an invariant trace. By (K2), Tr(F′_μνF′^μν) = Tr(UF_μνU⁻¹UF^μνU⁻¹) = Tr(F_μνF^μν), confirming gauge invariance. By (K3)(d), the mass dimension of the Lagrangian density must be ≤ 4 in four spacetime dimensions. Since [A_μ] = 1 and [F_μν] = 2, the term Tr(F_μνF^μν) has dimension 4 — the maximum allowed. Terms with more factors of F (e.g. Tr(F²)², Tr(F³)) have dimension ≥ 6 and violate (K3)(d) with unsuppressed coefficients. The parity-odd term Tr(F_μν̃F^μν) = Tr(F_μν½ε^μνρσF_ρσ) is a total derivative in four dimensions and does not affect equations of motion. Therefore the unique candidate is:

ℒ_YM = −¼ Tr(F_μνF^μν)

The factor −¼ is conventional, fixed by comparison with the Abelian limit — where Tr(F_μνF^μν) → F_μνF^μν — and the Maxwell Lagrangian of Theorem 7. ■

Remark. The claim that “the Yang–Mills Lagrangian is uniquely forced” is precisely conditional on assumptions (K1)–(K3). The McGucken Principle’s role is to supply the Lorentzian metric and light-cone structure (Theorem 1) that underlie (K3)(b), and through Theorem 4 the internal phase structure that makes a gauge field framework natural. For SU(2) this gives three gauge bosons (W⁺, W⁻, Z after electroweak symmetry breaking); for SU(3) it gives the eight gluons of QCD.

XIV. Theorem 12: Gravitational Closure and the Einstein–Hilbert Action

Assumptions.

(L1) All matter fields (scalar, spinor, gauge) are constructed from the McGucken Principle as in Theorems 1–11. Their equations of motion are derived from Lagrangians satisfying the McGucken dispersion relation of Corollary 1.1.

(L2) The principal polynomial of every such matter field — the leading symbol of its equation of motion — is P(k) = η^μνk_μk_ν, i.e. the universal McGucken light-cone.

(L3) Schuller’s gravitational closure procedure is applied [18]: seek a local gravitational action built from a metric g_μν such that the combined matter–gravity system is hyperbolic, predictive, and diffeomorphism-invariant.

(L4) The gravitational Lagrangian is at most second order in derivatives of g_μν.

Theorem 12 (Einstein–Hilbert action from McGucken matter via Schuller closure). Under (L1)–(L4), the closure equations of Schuller [18] have as their unique solution the Einstein–Hilbert family S_grav = (1/16πG) ∫(R − 2Λ)√(−g)d⁴x. Variation yields the Einstein field equations G_μν + Λg_μν = 8πGT_μν. The Ricci scalar R arises automatically from solving the closure equations without being assumed.

Proof structure. Given (L1)–(L2), every matter field has principal polynomial P(k) = η^μνk_μk_ν. This universality — that all matter fields share the same causal cone — is not assumed; it is a direct consequence of all Lagrangians being derived from the same single postulate dx₄/dt = ic via Theorems 1–11.

Schuller’s closure scheme [18] constructs a system of linear homogeneous PDEs in the unknown gravitational Lagrangian density ℒ_grav(g, ∂g, ∂²g) by varying the total matter action with respect to the background geometry and demanding that the characteristic surfaces of the gravitational field equations coincide with those of the matter fields. The coefficient functions of these closure PDEs depend only on g_μν and P(k). Applying the Kuranishi involutivity algorithm [25] to reduce the system to involutive form, Schuller proves that under (L3)–(L4) the general solution is the two-parameter family:

S_EH = (1/16πG) ∫(R − 2Λ) √(−g) d⁴x

where R = g^μνR_μν is the Ricci scalar, which arises automatically in the algebraic structure of the closure equations. The two free parameters — G and Λ — are not fixed by the closure and must be determined by experiment (Cavendish measurement and CMB observations respectively). Varying S_EH + S_matter with respect to g^μν yields the Einstein field equations (46) by standard variation of the Hilbert action. ■

Note on logical structure. This theorem is not “derived by us” but taken from Schuller’s published work [18]. The McGucken Principle’s role in this step is precise and essential: it provides the universal matter principal polynomial P(k) = η^μνk_μk_ν (from Theorem 1 and Corollary 1.1), and it derives the matter Lagrangians that serve as Schuller’s inputs (from Theorems 8–11). Schuller’s closure then says: given those inputs, the only consistent gravitational dynamics is Einstein–Hilbert with Λ.

Testable consequence. If future observations revealed vacuum birefringence — the two photon polarisation modes propagating at different speeds in vacuum — the principal polynomial would deviate from the McGucken light-cone, and Schuller’s closure would yield a non-Einsteinian gravitational action. The framework therefore predicts not only the current form of general relativity but specifies precisely what deviation would be forced by any deviation from standard electromagnetic propagation.

XV. Discussion: Foundational Implications

XV.1 What is Actually Derived vs. What is Assumed

The logical architecture of the paper is layered. The following results follow from the McGucken Principle alone with no further input:

• Lorentzian metric signature (Theorem 1)
• Master equation u^μu_μ = −c² (Theorem 1)
• Wave equation as four-dimensional Laplace equation (Theorem 2)
• Huygens’ principle (Corollary 2.1)
• Uniqueness of the relativistic action up to mass parameter (Theorem 3)

The following results follow from the McGucken Principle plus standard structural assumptions (locality, Lorentz invariance, polynomial order):

• Global U(1) and charge conservation (Theorem 4, requiring a specific Lagrangian form)
• Local U(1) gauge field (Theorem 5, requiring first-order derivative structure)
• Maxwell equations (Theorems 6–7, requiring existence of a four-potential)
• Klein–Gordon Lagrangian (Theorem 8, requiring quadratic order)
• Dirac equation and spin-½ (Theorem 9, requiring a first-order factorisation)
• Yang–Mills Lagrangian (Theorems 10–11, requiring dimension ≤ 4 and a specific Lie group)

The following follows from the McGucken Principle plus Schuller’s closure framework [18]:

• Einstein–Hilbert action and Einstein field equations (Theorem 12)

What is not determined by the principle: the specific Lie group SU(3) × SU(2) × U(1) (requires the observed matter content); the values of coupling constants, fermion masses, and CKM angles; Newton’s constant G and cosmological constant Λ. These are free parameters fixed by experiment.

XV.2 The Postulate Count

Standard physics requires: Einstein SR (2 postulates) + equivalence principle + field equations (GR) + superposition principle + Born rule + Schrödinger equation + measurement axioms (QM) + gauge group SU(3)×SU(2)×U(1) + matter content + coupling constants + Higgs potential (SM). The McGucken Principle replaces all of these with one, with two free parameters remaining.

XV.3 The Physical Origin of the Imaginary Unit

The imaginary unit i in the Schrödinger equation iℏ∂ψ/∂t = Ĥψ has never been explained from first principles within the standard framework. In the McGucken framework it is the same i in dx₄/dt = ic, encoding the 90° perpendicularity of x₄ to the spatial dimensions. The Wick rotation t → −iτ connecting Minkowski quantum mechanics to Euclidean statistical mechanics is not a trick; it is the literal rotation in the complex plane that maps the direction of x₄’s advance to a spatial direction [6, 8].

XV.4 Gauge Symmetry as Geometry, Not Redundancy

The standard presentation of gauge symmetry treats it as a mathematical redundancy: different values of A_μ related by a gauge transformation are physically equivalent. In the McGucken framework, U(1) gauge invariance is geometric necessity: the local expression of the fixed-phase symmetry of x₄’s spherically symmetric expansion. Non-Abelian gauge symmetries are generalisations to fields with multiple internal phase degrees of freedom. The gauge field A_μ is the connection that parallel-transports the phase of x₄ across spacetime.

XVI. Conclusion: Complete Theorem Register

We record all theorems proved in this paper in a single register for reference.

Theorem	Result	Key input beyond McGucken
1	Lorentzian metric ημν = diag(−1,+1,+1,+1) and uμuμ = −c²	Euclidean 4-norm
2	Wave equation □ψ = 0 = four-dimensional Laplace equation	None (direct theorem)
3	Action S = −mc²∫dτ is unique; δS = 0 yields geodesics	Reparametrisation invariance
4	Global U(1) → conserved charge (electric charge)	Specific Lagrangian form
5	Local U(1) forces gauge connection Aμ	First-order derivative structure
6	∇·B = 0, ∇×E = −∂B/∂t (Bianchi identity)	Existence of four-potential
7	∇·E = ρ/ε0, ∇×B = μ0J + μ0ε0∂E/∂t (Euler–Lagrange)	Maxwell Lagrangian −¼FμνFμν
8	Klein–Gordon Lagrangian −½(∂φ)² − ½m²φ² is unique	Locality, quadratic order
9	{γμ, γν} = 2ημν𝟙; minimal rep is 4D (spin-½); Dirac Lagrangian	First-order factorisation
10	Non-Abelian gauge connection Aμ; field strength Fμν	Compact Lie group G
11	ℒYM = −¼Tr(FμνFμν) is unique at dimension ≤ 4	Renormalisability
12	Einstein–Hilbert action; Gμν + Λgμν = 8πGTμν	Schuller closure [18]; (L3)–(L4)

Two quantities remain undetermined by the principle: Newton’s constant G and the cosmological constant Λ. All other structural features of fundamental physics — Lagrangians, equations of motion, field equations, symmetries — follow from dx₄/dt = ic and the explicitly stated structural assumptions. Wheeler predicted the answer would be breathtakingly simple [27]. dx₄/dt = ic is that answer.

XVII. A Brief History of the McGucken Principle: Princeton and Beyond

Moving Dimensions Theory (MDT) → Dynamic Dimensions Theory (DDT) → Light Time Dimension Theory (LTD) → dx₄/dt = ic

Era I — The Princeton Origin (Late 1980s–1999)

The McGucken Principle traces directly to undergraduate years at Princeton under John Archibald Wheeler — student of Bohr, teacher of Feynman, and close colleague of Einstein. Two projects planted the seeds: independently deriving the time factor of the Schwarzschild metric by “poor man’s reasoning” (the direct conceptual ancestor of the gravitational time dilation derived from dx₄/dt = ic), and working on the EPR paradox and delayed-choice experiments with Joseph Taylor (the ancestor of the McGucken Equivalence for quantum entanglement). Wheeler introduced McGucken to “It from Bit” and delivered the injunction: “Today’s physics lacks the Noble, and it’s your generation’s duty to bring it back.”

The earliest written record of the McGucken Principle is an appendix in McGucken’s 1998–1999 Ph.D. dissertation at UNC Chapel Hill (primary topic: the Multiple Unit Artificial Retina Chipset to Aid the Visually Impaired). The appendix derives the equation dx₄/dt = ic by direct differentiation of Minkowski’s x₄ = ict and proposes time as an emergent phenomenon arising from x₄’s physical expansion. This predates all internet publications by nearly a decade [34].

Era II — First Internet Deployments (2003–2006)

McGucken’s earliest internet presence is PhysicsForums.com (member #3753, c. 2003), where the theory was already called Moving Dimensions Theory. After being directed to the Independent Research forum, McGucken founded physicsmathforums.com. By 2004, Usenet posts on sci.physics introduced “The Fourth Moving Dimension”; by 2005, dx₄/dt = ic appeared systematically in sci.physics.relativity with the central argument that Einstein’s postulates follow as theorems from this single physical fact. By 2006, MDT and DDT (Dynamic Dimensions Theory) were both in use, and quantum nonlocality via permanent null x₄ separation of entangled photons had been developed.

Era III — The Heroic Age of Forum Debates (2007–2012)

The oldest directly timestamped public document is a Blogspot post of April 18, 2007 at 45physics.blogspot.com, titled “Moving Dimensions Theory Vs. String Theory & LQG.” The pivotal formal milestone is August 25, 2008: submission of the first FQXi essay, “Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics (In Memory of John Archibald Wheeler)” (fqxi.org/community/forum/topic/238) — the first peer-visible, indexed statement of the theory. Four further FQXi essays followed through 2013 [1–5], completing the foundational series and introducing discrete/digital x₄ expansion at the Planck scale as a candidate mechanism for quantisation.

Era IV — Books, Branding, and the McGucken Principle (2013–2026)

Book publications under 45EPIC Press from 2013–2016 consolidated the theory under the Light Time Dimension Theory brand. The equation dx₄/dt = ic appears on clothing, surfboards, and fine-art photography — McGucken signs all his art with the equation. WordPress blogs (2019) and Medium posts (2020) introduced the full six-step McGucken Proof, the McGucken Sphere, and the McGucken Equivalence. From 2025, elliotmcguckenphysics.com hosts an intensive programme of formal papers deriving Newton’s law, the Schrödinger equation, the uncertainty principle, the Einstein field equations, all Standard Model Lagrangians, all broken symmetries, and eleven cosmological mysteries from the single postulate dx₄/dt = ic. The theory that began as a dissertation appendix at UNC Chapel Hill arrives, through Princeton, Usenet, FQXi, Blogspot, Medium, and WordPress, at its final and complete form: the McGucken Principle.

The McGucken Proof — Six Steps (formalised 2008)

1. The magnitude of the velocity of a photon equals c for all observers in all inertial frames.
2. A photon must therefore be orthogonal to the three spatial dimensions, or it would travel at a rate different from c for different observers.
3. The fourth dimension x₄ expands at rate c relative to the three spatial dimensions; photons are carried along by this expansion.
4. All objects travel through four-dimensional spacetime at rate c: those at spatial rest advance at c through x₄; those moving spatially advance proportionally less.
5. Time dilation, length contraction, and all kinematics of special relativity follow from the budget constraint |v|² + |dx₄/dt|² = c².
6. The master equation u^μu_μ = −c² encodes this constraint covariantly; all of physics follows.

Acknowledgements

The author thanks John Archibald Wheeler, whose question — “Can you, by poor-man’s reasoning, derive the time part of the Schwarzschild metric?” — initiated this line of inquiry at Princeton, and whose vision of a “breathtakingly simple” underlying idea guided it throughout four decades. The author thanks Frederic P. Schuller, whose constructive gravity programme [18] provided the rigorous mathematical machinery for Theorem 12, and whose work demonstrates that the derivation of Einstein’s equations from matter — once the correct matter is provided — is a mathematical theorem. The author also thanks Emmy Noether [22], whose theorem is the backbone of Sections VI–VII, and Yang and Mills [24], whose 1954 paper is confirmed here as a necessary consequence of the McGucken geometry.

References

1. McGucken, E. (2008). Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics. FQXi Essay Contest. fqxi.org/community/forum/topic/238.
2. McGucken, E. (2009). What is Ultimately Possible in Physics? A Hero’s Journey towards Moving Dimensions Theory. FQXi Essay Contest. fqxi.org/community/forum/topic/511.
3. McGucken, E. (2010). On the Emergence of QM, Relativity, Entropy, Time, iℏ, and ic. FQXi Essay Contest.
4. McGucken, E. (2012). MDT’s dx₄/dt=ic Triumphs Over the Wrong Physical Assumption That Time Is a Dimension. FQXi Essay Contest.
5. McGucken, E. (2013). Where is the Wisdom We Have Lost in Information? Returning Wheeler’s Honor and Philo-Sophy to Physics. FQXi Essay Contest.
6. McGucken, E. (2016–2020). Light Time Dimension Theory: The Foundational Physics Unifying Einstein’s Relativity and Quantum Mechanics. 45EPIC Press.
7. McGucken, E. (2019). The McGucken Principle and Proof. elliotmcgucken.home.blog.
8. McGucken, E. (2020). The McGucken Sphere, the McGucken Equivalence, and the Feynman Path Integral. goldennumberratio.medium.com.
9. McGucken, E. (2025). The McGucken Principle as the Physical Foundation of General Relativity. elliotmcguckenphysics.com.
10. McGucken, E. (2026). The McGucken Principle as the Physical Mechanism Underlying Huygens’ Principle, the Principle of Least Action, Noether’s Theorem, and the Schrödinger Equation. elliotmcguckenphysics.com.
11. McGucken, E. (2026). A Derivation of Newton’s Law of Universal Gravitation from the McGucken Principle. elliotmcguckenphysics.com.
12. McGucken, E. (2026). The McGucken Principle as the Physical Foundation of General Relativity: ADM Formalism, Gravitational Waves, Black Holes, and the Semiclassical Limit. elliotmcguckenphysics.com.
13. McGucken, E. (2026). The McGucken Principle as the Physical Mechanism Underlying Verlinde’s Entropic Gravity. elliotmcguckenphysics.com.
14. McGucken, E. (2026). One Principle Solves Eleven Cosmological Mysteries. elliotmcguckenphysics.com.
15. McGucken, E. (2026). How the McGucken Principle Accounts for the Standard Model’s Broken Symmetries, Time’s Arrows and Asymmetries, and Much More. elliotmcguckenphysics.com.
16. Minkowski, H. (1908). Raum und Zeit. Physikalische Zeitschrift 10, 104–111.
17. Einstein, A. (1905). Zur Elektrodynamik bewegter Körper. Annalen der Physik 17, 891–921.
18. Schuller, F. P. (2020). Constructive Gravity: Foundations and Applications. arXiv:2003.09726 [gr-qc]. University of Twente.
19. Huygens, C. (1690). Traité de la Lumière. Leiden: Pieter van der Aa.
20. Maupertuis, P. L. M. (1744). Accord de différentes lois de la nature. Mémoires de l’Académie Royale des Sciences.
21. Euler, L. (1744). Methodus Inveniendi Lineas Curvas Maximi Minimive Proprietate Gaudentes. Lausanne and Geneva: Bousquet.
22. Noether, E. (1918). Invariante Variationsprobleme. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, 235–257.
23. Dirac, P. A. M. (1928). The Quantum Theory of the Electron. Proceedings of the Royal Society A 117(778), 610–624.
24. Yang, C. N. & Mills, R. L. (1954). Conservation of Isotopic Spin and Isotopic Gauge Invariance. Physical Review 96(1), 191–195.
25. Kuranishi, M. (1957). On E. Cartan’s Prolongation Theorem of Exterior Differential Systems. American Journal of Mathematics 79, 147.
26. ’t Hooft, G. (1980). Gauge Theories of the Forces between Elementary Particles. Scientific American 242(6), 104–138.
27. Wheeler, J. A. (1990). A Journey Into Gravity and Spacetime. Scientific American Library. New York: W. H. Freeman.
28. Wheeler, J. A. (1990). It from Bit. In Complexity, Entropy and the Physics of Information, ed. W. H. Zurek. Addison-Wesley.
29. Lee, T. D. & Yang, C. N. (1956). Question of Parity Conservation in Weak Interactions. Physical Review 104, 254–258.
30. Wu, C. S. et al. (1957). Experimental Test of Parity Conservation in Beta Decay. Physical Review 105, 1413–1415.
31. Pati, J. C. & Salam, A. (1974). Lepton Number as the Fourth Color. Physical Review D 10, 275–289.
32. Higgs, P. W. (1964). Broken Symmetries and the Masses of Gauge Bosons. Physical Review Letters 13, 508–509.
33. Bell, J. S. (1964). On the Einstein Podolsky Rosen Paradox. Physics 1(3), 195–200.
34. McGucken, E. (c.1998–1999). Appendix: Time as an Emergent Phenomenon. In Multiple Unit Artificial Retina Chipset (MARC) to Aid the Visually Impaired. Ph.D. Dissertation, University of North Carolina, Chapel Hill.
35. McGucken, E. (2007). Moving Dimensions Theory Vs. String Theory & LQG. 45physics.blogspot.com, April 18, 2007.
36. Baez, J. C. (2020). Noether’s Theorem in a Nutshell. math.ucr.edu/home/baez/noether.html.
37. Tong, D. (2024). Lectures on General Relativity. Cambridge University, damtp.cam.ac.uk/user/tong/gr.html.
38. Clay Mathematics Institute (2022). Quantum Yang–Mills Theory. Background Document, Millennium Prize Problems. claymath.org.
39. Lovelock, D. (1971). The Einstein Tensor and Its Generalizations. Journal of Mathematical Physics 12(3), 498–501.
40. McGucken, E. (2026). A Brief History of the McGucken Principle: Princeton and Beyond. elliotmcguckenphysics.com.

© Dr. Elliot McGucken — Light, Time, Dimension Theory — elliotmcguckenphysics.com

“Behind it all is surely an idea so simple, so beautiful, that when we grasp it — in a decade, a century, or a millennium — we will all say to each other, how could it have been otherwise? How could we have been so stupid?” — John Archibald