Inertia from the McGucken Principle dx₄/dt = ic: A Chain-of-Theorems Derivation of Inertial Mass, Newton’s Laws, the Equivalence Principle, and the Geodesic Principle from the Physical Fact that the Fourth Dimension is Expanding at the Velocity of Light in a Spherically Symmetric Manner from Every Spacetime Event, with the Penrose No-Go Argument Dissolved by the No-Graviton Theorem and Over-Determination of Both QM and GR from a Single Principle – The McGucken Principle: The fourth dimension x4 is expanding at the velocity of light c: dx4/dt=ic : Ergo physics. QED

A Chain-of-Theorems Derivation of Inertial Mass, Newton’s Laws, the Equivalence Principle, and the Geodesic Principle from the Physical Fact that the Fourth Dimension is Expanding at the Velocity of Light in a Spherically Symmetric Manner from Every Spacetime Event, with the Penrose No-Go Argument Dissolved by the No-Graviton Theorem and Over-Determination of Both QM and GR from a Single Principle

Inertia_from_the_McGucken_Principle_dx4_dt_ic_with_Penrose_Resolution_and_Over_Determination_of_QM_and_GR Download

Abstract

The McGucken Principle is the physical, geometric statement that the fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every spacetime event. The differential expression of this physical fact is dx₄/dt = ic; its integrated form along a worldline at spatial rest is x₄ = ict. Both equations are mathematical handles on the underlying physics; the physics is primary. From this single physical principle, all of inertia’s content is derived as a chain of theorems with full, self-contained, rigorous proofs at the level expected of a Princeton physics PhD dissertation. Every load-bearing step is justified, every variational and algebraic manipulation is shown explicitly, and every external claim is cited with a fully specified URL. We derive in sequence: the Minkowski metric of signature (−,+,+,+) as what the four-dimensional geometry becomes when one of the dimensions is physically expanding at c; the Lorentz group as the symmetry group of that physical configuration; the Master Equation u^μ u_μ = −c² from the physical fact that every massive particle, embedded in a spacetime in which the fourth dimension is expanding at c from every event, carries a four-velocity of magnitude c; the four-momentum identification P^μ = m u^μ from a complete first-principles conservation argument with all algebra explicit; the operational definition of inertial mass as m = |P₄|/c at spatial rest; the McGucken-Invariance Lemma fixing the timelike sector of the metric as gravitationally rigid; Newton’s first law from the orthogonality of four-acceleration to four-velocity; the rest energy E₀ = mc² as the energy of pure x₄-advance at rate c; Newton’s second law in full relativistic generality with longitudinal mass γ³m and transverse mass γm; the Geodesic Principle from extremization of the proper-time functional with reparametrization invariance shown; the Weak, Einstein, Strong, and Massless–Lightspeed Equivalence Principles with Riemann normal coordinates constructed explicitly; the Machian identification of the inertial frame with the cosmic microwave background rest frame.

1. Introduction and Statement of the Problem

Newton’s first law asserts that a body free of applied force continues in uniform straight-line motion. Newton’s second law asserts that the response to applied force is inversely proportional to a quantity m called inertial mass. Three centuries later, neither law has been derived in the standard programme: the first is treated as a definition of inertial frames or as a postulate; the second as a definition of force, mass, or both; and the number m is treated as a primitive a body possesses, with no account of what fixes its value or what it physically encodes [Newton 1687].

The general theory of relativity sharpens but does not solve the problem. Free particles follow geodesics, the relativistic version of the first law, but the geodesic principle is itself a postulate, separate from Einstein’s field equations [Einstein 1916, Wald 1984, MTW 1973]. The equality of inertial and gravitational mass — the empirical content of the equivalence principle — is built into the geometry by hand rather than derived. The Higgs mechanism gives the values of rest mass for elementary fermions but presupposes the kinematic role of mass in the relativistic dispersion relation E² = |p|²c² + m²c⁴ [Higgs 1964, Englert–Brout 1964]. Mach’s principle [Mach 1883, Sciama 1953] asserts that inertia originates in the matter content of the universe but does not produce a quantitative derivation that survives confrontation with general relativity. Entropic, thermodynamic, and zero-point-field programmes [Verlinde 2011, Jacobson 1995, Haisch–Rueda–Puthoff 1994, Woodward 1990] have produced suggestive partial results but none derive the full content of inertia from a single physical principle.

dx₄/dt = ic,

and its integral along a worldline at spatial rest is x₄ = ict. Both equations are mathematical handles; the physics is primary. The integrated form x₄ = ict has been on the page since Minkowski 1908 [Minkowski 1908]; what was missing for over a century was the recognition that this integrated form descends from the physical fact that the fourth dimension is actually expanding at c in a spherically symmetric manner from every event. The textbook tradition has read x₄ = ict as a coordinate convention; the present work reads it as the integrated kinematic shadow of a physical motion.

From this physical principle, all of inertia’s content follows as a chain of theorems.

2. Working Axioms

Axiom 2.1 (The McGucken Principle: physical statement and differential expression)

Physical, geometric statement. The fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every spacetime event. The expansion is real: a physical motion of the fourth dimension itself, not a coordinate convention. The fourth dimension is perpendicular to the three spatial dimensions; the expansion has the same rate c in every spatial direction (spherical symmetry); the expansion proceeds from every event of spacetime, not just from a privileged origin.

Differential expression. Letting (x₁, x₂, x₃) denote three real spatial coordinates, t a real time parameter, and x₄ the fourth coordinate (taking values in ℂ, with the imaginary unit encoding the perpendicularity to the spatial directions),

dx₄/dt = ic,

with c > 0 the velocity of light, the same at every event in every spatial direction at every t.

Integrated form. Integrating the differential expression along a worldline at spatial rest, with x₄ = 0 at t = 0, yields x₄ = ict. This is the integrated kinematic shadow of the physical fact, not the foundational statement.

Remark 2.2 (Primacy of the physics throughout this paper)

Throughout the paper, every place either dx₄/dt = ic or x₄ = ict appears, the surrounding text makes clear that the equation is the mathematical expression of the underlying physical, geometric fact: the fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every spacetime event. The equations are handles; the physics is primary.

Axiom 2.3 (Smooth manifold structure)

Spacetime is a smooth four-dimensional manifold ℳ admitting a smooth foliation 𝓕 by spacelike three-slices Σ_t, parametrized by the real time coordinate t. The metric g_μν is smooth, non-degenerate, and Lorentzian (signature (−,+,+,+)), with the Lorentzian character forced by the physics of Axiom 2.1 as proved in Proposition 3.1.

Axiom 2.4 (Bilinear four-distance on the unconstrained four-coordinate space)

Prior to imposing the McGucken constraint, the natural quadratic form on infinitesimal displacements (dx₁, dx₂, dx₃, dx₄) in the four-coordinate system is the complex bilinear Euclidean form

dσ² = dx₁² + dx₂² + dx₃² + dx₄²,

where each squared term is the symmetric bilinear product (dx_a)(dx_a) (no complex conjugation). For dx₄ ∈ iℝ, the term dx₄² is real and negative.

Remark 2.5 (Bilinear, not Hermitian)

The bilinear form (rather than the Hermitian inner product, which would conjugate dx₄ and yield |dx₄|² ≥ 0) is the natural quadratic form when one of the coordinate directions is physically advancing in an imaginary-valued direction. This is the same construction that underlies Wick rotation between Euclidean and Lorentzian field theories [Wick 1954, Osterwalder–Schrader 1973]; the imaginary character of dx₄ in Axiom 2.1 is the geometric content that the Wick rotation makes mathematical.

Notation and Conventions

We use the standard numbering (x⁰, x¹, x², x³) with x⁰ = ct and metric signature (−,+,+,+), so η_μν = diag(−1, +1, +1, +1). Greek indices μ, ν, λ, … ∈ {0, 1, 2, 3}. Latin indices i, j, k, … ∈ {1, 2, 3}. The McGucken-numbering correspondence is x₄ = ix⁰ = ict; this identification descends from the integrated form of Axiom 2.1 along a worldline at spatial rest. Einstein summation is in force. Three-vectors are bold: x, v, a. The Lorentz factor is γ ≡ (1 − v²/c²)^(−1/2) for v < c. We write h_ij ≡ g_ij for the spatial-metric components in a chart adapted to the foliation 𝓕.

3. The Minkowski Metric as a Theorem

Proposition 3.1 (Minkowski metric from the physics)

The metric induced on the tangent space of ℳ by Axioms 2.1–2.4 is the Minkowski metric:

ds² = −c² dt² + dx₁² + dx₂² + dx₃².

The Lorentzian signature (−,+,+,+) is forced by the physical fact that the fourth dimension is expanding at c from every event.

Proof. The physical content of Axiom 2.1 is a real motion of the fourth dimension at rate c from every event, perpendicular to the three spatial directions. The differential expression of this motion is dx₄ = ic dt. Computing the bilinear product of dx₄ with itself (Axiom 2.4, no conjugation):

(dx₄)(dx₄) = (ic dt)(ic dt) = i²c²(dt)² = −c²(dt)².

Substituting into the bilinear four-distance:

dσ² = dx₁² + dx₂² + dx₃² + (dx₄)² = −c²(dt)² + dx₁² + dx₂² + dx₃² ≡ ds²,

the Minkowski line element. The negative sign on the timelike term is forced by i² = −1, which is the algebraic content of the perpendicularity-and-c-rate-advance physics that the imaginary unit encodes in Axiom 2.1.

The Minkowski metric is therefore not a postulate. It is what the four-dimensional geometry becomes when one of the dimensions is physically expanding at c in a direction perpendicular to the three spatial dimensions. The Lorentzian signature is the geometric record of that physical fact. ∎

4. The Lorentz Group and Lorentz Invariance of the Physics

Definition 4.1 (Lorentz group)

The Lorentz group O(1,3) is the group of linear transformations Λ^μ_ν : ℝ⁴ → ℝ⁴ preserving the Minkowski metric:

η_μν Λ^μ_α Λ^ν_β = η_αβ.

The proper orthochronous Lorentz group SO⁺(1,3) is the connected component of O(1,3) containing the identity, characterized by det Λ = +1 and Λ^0_0 ≥ 1.

Lemma 4.2 (Lorentz transformations preserve four-vector contractions)

For any two four-vectors A^μ, B^μ transforming as A^μ ↦ Λ^μ_α A^α, B^μ ↦ Λ^μ_β B^β:

η_μν (Λ^μ_α A^α)(Λ^ν_β B^β) = η_αβ A^α B^β.

Proof. Direct from Definition 4.1: (η_μν Λ^μ_α Λ^ν_β) A^α B^β = η_αβ A^α B^β. ∎

Theorem 4.3 (Lorentz invariance of the McGucken physics)

The physical statement of Axiom 2.1 — that the fourth dimension is expanding at c in a spherically symmetric manner from every event — is invariant under SO⁺(1,3). Equivalently, the differential expression dx₄/dt = ic holds in every inertial frame.

Proof. We give the proof in two parts: (i) for an arbitrary boost, by direct computation, and (ii) for general Λ ∈ SO⁺(1,3) by the structural argument that the physics of Axiom 2.1 is metric-invariant.

(i) Arbitrary boost. Let Λ ∈ SO⁺(1,3) be a boost with velocity w relative to a frame S. By the standard derivation [Wald 1984, Jackson 1999], the boost matrix in coordinates with w along x̂¹ has components

Λ^0_0 = γ_w, Λ^0_1 = −γ_w β_w, Λ^1_0 = −γ_w β_w, Λ^1_1 = γ_w, Λ^2_2 = Λ^3_3 = 1,

with all other components zero, where β_w = w/c and γ_w = (1 − β_w²)^(−1/2). Consider in S a worldline at spatial rest, dx = 0, dx⁰ = c dt, with dx₄ = ic dt by the physics. In S’:

d(x⁰)’ = Λ^0_0 dx⁰ + Λ^0_1 dx¹ = γ_w c dt, d(x¹)’ = Λ^1_0 dx⁰ + Λ^1_1 dx¹ = −γ_w β_w c dt = −γ_w w dt.

Coordinate time in S’: dt’ = d(x⁰)’/c = γ_w dt. The McGucken-numbering coordinate transforms as x₄ ↦ i(x⁰)’, so

d(x₄)’/dt’ = i · d(x⁰)’/dt’ = i · (γ_w c dt)/(γ_w dt) = ic.

The rate is preserved.

For a boost along an arbitrary spatial direction ŵ, decompose dx into components parallel and perpendicular to ŵ; the boost mixes only dx⁰ with the parallel spatial component, leaving the perpendicular components unchanged. The same calculation gives d(x₄)’/dt’ = ic.

For a worldline at general velocity v in S, transform first to the rest frame of the worldline (a boost), apply the result above (dx₄/dt = ic in the rest frame), then transform to any other frame S’ (a second boost). Composition of boosts is a Lorentz transformation; the rate ic is preserved at each step.

(ii) General Λ. The proper orthochronous Lorentz group is generated by boosts and spatial rotations. Spatial rotations leave dx⁰ unchanged, hence leave dx₄ = i dx⁰ unchanged on a worldline at spatial rest, hence preserve the rate. Combined with (i) for boosts and the group-generation property, every Λ ∈ SO⁺(1,3) preserves dx₄/dt = ic.

Structural reason. The physical statement of Axiom 2.1 is that every event of ℳ is the apex of a c-rate spherical expansion of the fourth dimension. This is a frame-independent geometric fact about ℳ. The Lorentz transformations are precisely the linear transformations that preserve the Minkowski metric (Definition 4.1), and Proposition 3.1 identifies this metric as the geometric record of the physical fact. Lorentz invariance of the physics and Lorentz invariance of the metric are the same content. ∎

5. Proper Time and the Master Equation

Definition 5.1 (Proper time along a timelike worldline)

For a smooth timelike worldline γ : I → ℳ, λ ↦ x^μ(λ), where “timelike” means g_μν (dx^μ/dλ)(dx^ν/dλ) < 0, the proper time τ is defined by the differential

c² dτ² ≡ −g_μν dx^μ dx^ν,

with dτ > 0 on a future-directed worldline.

Lemma 5.2 (The normalization c² in the proper-time differential descends from the physics of Axiom 2.1)

The factor c² on the left-hand side of the proper-time differential is the squared rate of the fourth-dimension expansion, |ic|² = c², as fixed by the physical fact of Axiom 2.1.

Proof. At spatial rest in any frame: dx = 0. The only physical motion present along the worldline is the x₄-advance that Axiom 2.1 mandates at every event: dx₄/dt = ic. Identifying the proper-time interval dτ with the elapsed coordinate time dt at spatial rest (proper time is the worldline’s own ticking, which at spatial rest in an inertial frame coincides with coordinate time):

dτ = dt at spatial rest.

The right-hand side at spatial rest, using the Minkowski form (Proposition 3.1):

−g_μν dx^μ dx^ν = −[−c²(dt)² + 0] = c²(dt)² = c²(dτ)².

The left-hand side is c²(dτ)² if and only if the prefactor is c². The prefactor c² is therefore the squared rate of the physical fourth-dimension expansion — the c of dx₄/dt = ic, which is the c of Axiom 2.1. The proper-time line element is the parametrization that makes the physical magnitude of the four-velocity manifest; the magnitude is fixed by the physics, not by a definitional choice. ∎

Definition 5.3 (Four-velocity)

The four-velocity along a timelike worldline is u^μ ≡ dx^μ/dτ.

Lemma 5.4 (Components of four-velocity in flat Minkowski spacetime)

With g_μν = η_μν, the four-velocity components are

u⁰ = γc, u^j = γ v^j (j = 1, 2, 3),

where v^j = dx^j/dt and γ = (1 − v²/c²)^(−1/2).

Proof. From the proper-time differential in Minkowski signature, with dx = v dt along the worldline:

c² dτ² = −η_μν dx^μ dx^ν = c² dt² − |dx|² = c² dt²(1 − v²/c²).

Dividing by c² and taking the positive square root (future-directed):

dτ = dt √(1 − v²/c²) = dt/γ,

hence dt/dτ = γ. By the chain rule:

u⁰ = dx⁰/dτ = c · dt/dτ = γc, u^j = dx^j/dτ = v^j · dt/dτ = γ v^j. ∎

Theorem 5.5 (Master Equation)

For any massive particle, the four-velocity satisfies

g_μν u^μ u^ν = −c².

The physical content: every massive particle, embedded in a spacetime in which the fourth dimension is physically expanding at c from every event (Axiom 2.1), carries a four-velocity of magnitude c. The magnitude is fixed by the physics, not by a definitional choice.

Proof.

(a) Physical argument from Axiom 2.1. Axiom 2.1 states that the fourth dimension is expanding at c from every spacetime event. Every massive worldline of ℳ is embedded in this geometry. At spatial rest, a massive particle’s only motion is the x₄-advance that the physics imposes at the particle’s event: dx₄/dt = ic, with dx = 0. The four-velocity at spatial rest in flat space (Lemma 5.4, v = 0, γ = 1) has u⁰ = c, u^j = 0, hence

g_μν u^μ u^ν |_rest = −(u⁰)² + |u|² = −c².

The physical claim is that this magnitude is universal: a massive particle in spatial motion has redistributed some of its four-velocity from the x₄-advance budget into spatial motion, but the total Minkowski-magnitude squared remains −c², because every event of spacetime continues to participate in the c-rate fourth-dimension expansion (Axiom 2.1). The magnitude c is the physical c of the McGucken Principle, not a kinematic convention.

(b) Formal verification at general velocity. By Lemma 5.4: u⁰ = γc, u^j = γv^j. Computing in flat space:

η_μν u^μ u^ν = −(γc)² + γ²v² = −γ²c² + γ²v² = −γ²c²(1 − v²/c²) = −γ²c² · γ^(−2) = −c².

The result is the formal statement of the universal magnitude c established in (a).

(c) Curved spacetime. The proper-time differential reads c² dτ² = −g_μν dx^μ dx^ν in any spacetime. Dividing by dτ² and using u^μ = dx^μ/dτ:

c² = −g_μν u^μ u^ν, i.e., g_μν u^μ u^ν = −c².

By Lemma 5.2, the prefactor c² in the proper-time differential is the squared rate of the fourth-dimension expansion (Axiom 2.1). The Master Equation expresses, in any spacetime, that every massive worldline carries a four-velocity of physical magnitude c. ∎

6. The Four-Velocity Budget

Corollary 6.1 (Four-Velocity Budget — difference form)

For any massive particle, in the McGucken numbering with u₄ ≡ i u⁰:

|u₄|² − |u|² = c²,

where |u₄|² = u₄ ū₄ is the standard complex modulus and |u|² = δ_ij u^i u^j. The physical content: the four-velocity budget of magnitude c established by Theorem 5.5 is partitioned between x₄-advance and three-spatial motion, with the squared x₄-advance exceeding the squared spatial motion by c².

Proof. By Lemma 5.4, u⁰ = γc, hence in the McGucken numbering u₄ = iγc. The complex modulus squared:

|u₄|² = u₄ ū₄ = (iγc)(−iγc) = −i² γ² c² = γ² c².

The spatial-magnitude squared: |u|² = γ² v². From Theorem 5.5, −(u⁰)² + |u|² = −c², hence (u⁰)² − |u|² = c². Substituting |u₄|² = (u⁰)²:

|u₄|² − |u|² = γ² c² − γ² v² = γ² c² (1 − v²/c²) = c². ∎

Remark 6.2 (The “sum form” |u₄|² + |u|² = c² is incorrect at general velocity)

A popular formulation of the budget is |u₄|² + |u|² = c². This is not correct as a proper-time-parametrized identity at general velocity:

|u₄|² + |u|² = γ² c² + γ² v² = γ²(c² + v²),

which equals c² only at v = 0 (where γ = 1). The correct proper-time-parametrized identity is the difference form, equivalent to the Master Equation. The “partition” intuition holds exactly at the boundaries (spatial rest: full x₄-budget; lightspeed: equal magnitudes, null difference) and is replaced at intermediate velocity by the difference form. We adopt the difference form as the canonical statement throughout.

Corollary 6.3 (Budget at boundary cases)

(i) Spatial rest (v = 0, γ = 1): |u₄|² = c², |u|² = 0, difference c². The entire four-velocity is invested in the x₄-advance that Axiom 2.1 mandates at every event.

(ii) Lightspeed (v → c, γ → ∞): in the affine-parameter form for null worldlines, P^μ P_μ = 0, equivalently |P₄|² − |p|² = 0. The four-momentum is null; no rest-mass surplus.

7. The McGucken-Invariance Lemma

The McGucken-Invariance Lemma is GR Theorem 2 of [Unification 2026], developed in detail in the April 2026 GR-foundational paper [GR 2026], which establishes the McGucken Principle as the physical foundation of general relativity, with spatial curvature carrying all gravitational dynamics, the fourth dimension remaining gravitationally invariant, and gravitational redshift and gravitational time dilation derived as consequences of the spatial-slice metric h_ij acting as the refractive index of three-space for the invariant x₄-advance.

Theorem 7.1 (McGucken-Invariance Lemma)

The physical fact of the fourth-dimension expansion at c holds globally on ℳ, regardless of the gravitational field. Formally:

∂(dx₄/dt)/∂g_μν = 0 for all metric components.
In any chart (t, x₁, x₂, x₃) adapted to the foliation 𝓕 such that the coordinate x₄ along worldlines descends from the integrated form of Axiom 2.1 (x₄ = ict), the timelike block of the metric is gauge-fixed: g_tt = −c², g_tj = 0.
Only the spatial-slice metric h_ij ≡ g_ij has dynamical degrees of freedom under mass-energy. The metric component count of ℳ reduces from ten to six.

Proof.

(1) The physics does not depend on the metric. Axiom 2.1 is the physical statement that the fourth dimension is expanding at c from every event. Its differential expression dx₄/dt = ic contains only the imaginary unit i (a fixed element of ℂ, encoding the perpendicularity of x₄ to the spatial directions) and the velocity of light c (a fundamental physical constant). Neither depends on the matter content of ℳ or on the gravitational field. Therefore

∂(dx₄/dt)/∂g_μν = ∂(ic)/∂g_μν = 0.

Equivalently: the physics of Axiom 2.1 is unchanged by the presence of mass-energy. The fourth dimension expands at c at every event, in flat or curved spacetime alike.

(2) Gauge-fixing of the timelike block. In any chart adapted to the foliation 𝓕, the coordinate x₄ along a worldline at spatial rest is identified with ict (the integrated form of the physics; the integration parametrized by coordinate time at fixed spatial point). The contribution to the line element from the timelike direction is computed by Proposition 3.1: −c²(dt)². Comparing with the generic form ds² = g_μν dx^μ dx^ν at spatial rest (dx = 0):

ds² |_rest = g_tt (dt)² = −c²(dt)²,

hence g_tt = −c². Since the physics holds at every event (Axiom 2.1, globally on ℳ), this gauge-fixing is global.

For the cross-terms g_tj: by Lemma 7.2 below, the foliation slices are orthogonal to the ∂_t-direction at every event in the adapted chart, hence g_tj = g(∂_t, ∂_j) = 0 for j = 1, 2, 3.

(3) Component count. The metric tensor on ℳ has ten independent components: g_tt (one), g_tj (three), g_ij symmetric (six). By (2), the four timelike-block components are gauge-fixed by the physics. The remaining six are h_ij, unconstrained by the physics, carrying the dynamical degrees of freedom under mass-energy. ∎

Lemma 7.2 (Foliation slices are orthogonal to ∂_t)

At every event p ∈ ℳ, in a chart adapted to the foliation 𝓕, the spacelike slice Σ_t(p) is metrically orthogonal to the timelike coordinate vector ∂_t at p. That is, g(∂_t, ∂_j)|_p = 0 for j = 1, 2, 3.

Proof. By the spherical-symmetry content of Axiom 2.1, the rate dx₄/dt = ic is the same in every spatial direction at p. Equivalently, the action of the rotation group SO(3) on the spatial coordinates at p leaves the physics of the fourth-dimension expansion invariant: the timelike direction ∂_t at p is fixed under spatial rotations.

Suppose for contradiction that g(∂_t, ∂_j)|_p ≠ 0 for some j. Define f(n̂) = g(∂_t, n̂)|_p for spatial unit vectors n̂ ∈ T_p Σ_t(p). The function f is a linear functional on the tangent space of the spatial slice. Pick any R ∈ SO(3). R is an isometry of the spatial metric h_ij; combined with R-invariance of ∂_t (which is fixed under spatial rotations by the physics):

f(R n̂) = g(∂_t, R n̂)|_p = g(R⁻¹ ∂_t, n̂)|_p = g(∂_t, n̂)|_p = f(n̂) for all R ∈ SO(3).

A nonzero linear functional on a 3-dimensional inner-product space that is SO(3)-invariant does not exist: such a functional would be represented by a vector f ≠ 0 via f(n̂) = f·n̂, and the requirement f·R n̂ = f·n̂ for all R forces f = 0 (otherwise pick R rotating n̂ by π in the plane containing f and n̂, producing f·R n̂ = −f·n̂, contradicting equality unless f·n̂ = 0 for all n̂).

Hence f ≡ 0, i.e., g(∂_t, n̂)|_p = 0 for all spatial n̂, so g_tj|_p = 0. ∎

Corollary 7.3 (Cartan curvature in the timelike direction vanishes)

The Cartan curvature two-form restricted to the timelike direction vanishes globally on ℳ.

Proof. The Levi-Civita Christoffel symbols with at least one timelike index are

Γ^0_αβ = ½ g^0ν (∂_α g_νβ + ∂_β g_να − ∂_ν g_αβ).

By Theorem 7.1(2), g_0ν has only the ν = 0 component nonzero (g_00 = −c², cross-terms zero), and that component is the constant −c². Hence g^0ν has only the ν = 0 component nonzero (g^00 = −1/c²). Computing each Christoffel symbol:

Γ^0_00 = ½ g^00 ∂_0 g_00 = 0 (since g_00 is constant).
Γ^0_0j = ½ g^00 ∂_j g_00 = 0.
Γ^j_00 = −½ g^jk ∂_k g_00 = 0.

The Cartan curvature in the timelike direction is built from these connection components and their commutators; the dynamical contributions from gravity all live in the spatial Christoffel symbols Γ^k_ij, which are computed entirely from h_ij. ∎

Corollary 7.4 (Gravitational time dilation, redshift, and the no-graviton conclusion)

(i) Gravitational time dilation is a feature of h_ij, not of the rate of the fourth-dimension expansion.

(ii) Gravitational redshift is light propagating through curved spatial geometry, not the fourth dimension advancing differently in different potentials.

(iii) There is no graviton: gravity is the geometry of h_ij, not a force mediated by particles.

Proof.

(i) Time dilation. Proper time satisfies the proper-time differential. By Theorem 7.1(2), the timelike block of g_μν is gauge-fixed and identical at every event; the rate of the fourth-dimension expansion is also invariant by (1). Variations in dτ between worldlines arise entirely from h_ij acting on the spatial worldline displacement. A clock at higher gravitational potential ticks at a different rate of proper time per unit coordinate time because its worldline is differently embedded in the curved spatial geometry; the fourth dimension advances at c at every event, regardless.

(ii) Redshift. A photon’s wavelength is a feature of its spatial propagation through the metric. By Theorem 7.1(2), the timelike block is invariant; the wavelength change in a gravitational field is entirely due to h_ij varying with potential.

(iii) No graviton. A graviton would be a quantum mediator of dynamical degrees of freedom in the timelike block, or in a separate tensor field beyond g_μν. By Theorem 7.1(3), the only dynamical degrees of freedom in g_μν are the six components of h_ij, which are properties of the spatial slices, not propagating quanta. Geometry is not mediated by particles.

The full quantitative content — gravitational redshift, gravitational time dilation, and spatial curvature carrying all gravitational dynamics with the fourth dimension remaining invariant — is developed in the April 2026 GR-foundational paper [GR 2026]. ∎

8. Four-Momentum from First Principles

Lemma 8.1 (Relativistic three-momentum)

Consider an elastic collision of two identical particles of rest mass m analyzed in two inertial frames related by a boost. Conservation of three-momentum in both frames, together with the relativistic velocity-addition formula, requires the conserved three-momentum to be

p = γ m v.

Proof. Following the symmetry-of-collisions argument originally due to Lewis and Tolman (1909) and presented systematically in [Wald 1984, French 1968, Rindler 2006].

Setup. In the centre-of-momentum frame S, place two identical particles A and B approaching with equal and opposite three-velocities along the y-axis at speed u’, then rebounding off each other elastically. By reflection symmetry in the xy-plane and isotropy, post-collision velocities are also ±u’ ŷ, with speeds preserved.

Now boost to a frame S’ moving with velocity −w x̂ relative to S. In S, particle A has velocity u’ ŷ before the collision, −u’ ŷ after; particle B has −u’ ŷ before, +u’ ŷ after.

Velocity transformations. The relativistic velocity addition for a boost with velocity −w x̂ is [Jackson 1999, eq. 11.31]:

v’_x = (v_x + w) / (1 + w v_x/c²), v’_y = (v_y / γ_w) / (1 + w v_x/c²),

where γ_w = (1 − w²/c²)^(−1/2). For particle A with v_x = 0, v_y = u’:

(v’_A)_x = w, (v’_A)_y = u’/γ_w.

For particle B with v_x = 0, v_y = −u’:

(v’_B)_x = w, (v’_B)_y = −u’/γ_w.

After the collision in S’:

(v’_A)_y → −u’/γ_w, (v’_B)_y → +u’/γ_w,

with the x-components unchanged at w.

Three-momentum conservation in S’. By isotropy and homogeneity of v-direction, the conserved three-momentum must take the form

p(v) = f(|v|) v

for some scalar function f. Conservation in S’ is satisfied trivially by symmetry: f(v’_A) = f(v’_B) since |v’_A| = |v’_B|.

Functional form determined by Newtonian limit and Lorentz covariance. The function f is fixed by demanding consistency between the symmetric two-particle calculation in S and the boosted calculation in S’ for arbitrary w. Take the limit u’ → 0; the Newtonian limit w ≪ c of three-momentum conservation must be p = mv, fixing f(0) = m. The relativistic generalization preserving Lorentz covariance and reducing to m at v = 0 is

f(v) = m / √(1 − v²/c²) = γ m,

giving p = γ m v. The full forcing argument (rather than mere consistency) at non-trivial u’ is given in [Wald 1984, §4.3; Rindler 2006, §6.3]. ∎

Lemma 8.2 (Relativistic Lagrangian for a free particle)

The Lagrangian for a free relativistic particle, fixed up to a total time derivative and an additive constant by Lorentz invariance and the Newtonian limit, is

L = −mc² √(1 − v²/c²) = −mc²/γ.

Proof. The action S = ∫ L dt for a free particle must be Lorentz-invariant and depend only on the worldline (not on the parametrization). The simplest Lorentz-invariant functional of a worldline is its proper-time arc-length ∫ dτ, equivalently ∫ √(1 − v²/c²) dt in any inertial frame. Hence

S = −k ∫ √(1 − v²/c²) dt

for some positive constant k, with the negative sign to be fixed below. Identifying L = −k √(1 − v²/c²) and expanding in the non-relativistic limit:

L ≈ −k [1 − v²/(2c²) − O(v⁴/c⁴)] = −k + k v²/(2c²) + O(v⁴/c⁴).

The Newtonian Lagrangian for a free particle is ½ m v² (up to additive constants); matching the v² coefficient:

k/(2c²) = m/2, i.e., k = mc².

Hence L = −mc² √(1 − v²/c²) = −mc²/γ. The negative additive constant −k = −mc² is the rest-energy contribution that becomes manifest in the Hamiltonian. See Landau–Lifshitz [Landau–Lifshitz 1971, §8] for the same construction. ∎

Lemma 8.3 (Relativistic energy)

For a particle of rest mass m moving with three-velocity v, the conserved quantity associated with time-translation invariance of the dynamics is

E = γ m c².

Proof. By Noether’s theorem applied to time-translation invariance of the Lagrangian [Noether 1918, Goldstein–Poole–Safko 2002], the conserved energy is

E = v · ∂L/∂v − L.

Computing ∂L/∂v from Lemma 8.2:

∂L/∂v = −mc² · ½(1 − v²/c²)^(−1/2) · (−2v/c²) = mv/√(1 − v²/c²) = γ m v,

agreeing with Lemma 8.1. The energy:

E = v · γmv − (−mc²/γ) = γ m v² + mc²/γ = γ m c² [v²/c² + 1/γ²] = γ m c²,

where the last step uses v²/c² + 1/γ² = v²/c² + (1 − v²/c²) = 1. ∎

Theorem 8.4 (Four-momentum identification)

The four-vector P^μ ≡ (E/c, p), with E and p from Lemmas 8.1 and 8.3, satisfies

P^μ = m u^μ.

Proof. By Lemma 5.4: u⁰ = γc, u^j = γ v^j. By Lemma 8.3: E = γmc², hence E/c = γmc = m u⁰. By Lemma 8.1: p = γmv, hence p^j = γm v^j = m u^j. Therefore P^μ = m u^μ component-wise.

Lorentz covariance. u^μ is a four-vector by construction: dx^μ are components of an infinitesimal four-vector and dτ is a Lorentz scalar (Lemma 5.2). m is a Lorentz scalar (rest mass). Hence P^μ = m u^μ is a four-vector. ∎

Corollary 8.5 (Mass-shell condition)

P^μ P_μ = −m²c², equivalently E² = |p|² c² + m² c⁴.

Proof. P^μ P_μ = m² u^μ u_μ = −m²c² by Theorems 8.4 and 5.5. In components: P^μ P_μ = −(E/c)² + |p|² = −m²c², rearranging to E² = |p|² c² + m² c⁴. ∎

9. Inertial Mass

Definition 9.1 (Inertial mass)

The inertial mass m of a massive particle is the magnitude of the four-momentum invested in x₄-advance, divided by c, evaluated at spatial rest:

m ≡ |P₄|/c |_spatial rest.

The physical content: m is the amount of four-momentum a particle has invested in the x₄-advance that the physics of Axiom 2.1 mandates at every event.

Proposition 9.2 (Operational consistency at spatial rest)

At spatial rest, |P₄|/c = m, where m is the rest mass appearing in P^μ = m u^μ (Theorem 8.4).

Proof. At spatial rest: v = 0, γ = 1, p = 0 (Lemma 8.1), E = mc² (Lemma 8.3). Standard numbering: P⁰ = E/c = mc. McGucken numbering: P₄ = i P⁰ = imc. Modulus: |P₄| = |imc| = mc. Hence |P₄|/c = mc/c = m. ∎

10. Newton’s First Law

Lemma 10.1 (Orthogonality of four-acceleration to four-velocity)

For any timelike worldline parametrized by proper time, g_μν u^μ a^ν = 0, where a^ν ≡ du^ν/dτ in flat space, a^ν ≡ Du^ν/dτ in curved space.

Proof. By Theorem 5.5, g_μν u^μ u^ν = −c² (constant) along every timelike worldline. Differentiating with respect to proper time:

d/dτ [g_μν(x(τ)) u^μ(τ) u^ν(τ)] = 0.

Expanding by the product rule:

(∂_λ g_μν)(dx^λ/dτ) u^μ u^ν + g_μν (du^μ/dτ) u^ν + g_μν u^μ (du^ν/dτ) = 0.

The last two terms combine to 2 g_μν u^μ (du^ν/dτ) by symmetry of g_μν.

Flat space. ∂_λ η_μν = 0, hence g_μν u^μ (du^ν/dτ) = 0.

Curved space. Replace d/dτ with the covariant derivative D/dτ. Metric compatibility of the Levi-Civita connection (∇_λ g_μν = 0, see [Wald 1984, eq. 3.1.20]) gives D g_μν / dτ = 0 along any worldline, hence g_μν u^μ (Du^ν/dτ) = 0. ∎

Theorem 10.2 (Newton’s first law)

A massive particle subject to no force has du^μ/dτ = 0 in flat spacetime; the spatial three-velocity is constant. In curved spacetime, Du^μ/dτ = 0, the geodesic equation.

Proof.

Force. The four-force is F^μ ≡ dP^μ/dτ in flat space, DP^μ/dτ in curved space. By Theorem 8.4 and constancy of m:

F^μ = m a^μ.

No force implies no acceleration. If F^μ = 0 and m ≠ 0, then a^μ = 0.

Newtonian content. If u^μ is constant: by Lemma 5.4, u^j = γ v^j are constants. The Master Equation gives |u^0|² − |u|² = c² with |u^0|² = (γc)² and |u|² = γ²v². With u^j constant, |u|² constant; with the difference c² fixed, |u^0|² constant; hence γ constant, hence v constant, hence each v^j constant, hence v constant. Straight-line uniform motion.

Curved spacetime. Du^μ/dτ = du^μ/dτ + Γ^μ_αβ u^α u^β. Setting F^μ = m Du^μ/dτ = 0 yields the geodesic equation. By Theorem 7.1(2) and Corollary 7.3, the timelike-block Christoffel symbols vanish; the dynamical contributions from gravity all live in the spatial Christoffel symbols computed from h_ij. ∎

11. Rest Energy

Theorem 11.1 (Rest energy)

The energy of a particle of inertial mass m at spatial rest is

E₀ = mc².

Proof. By Lemma 8.3, E = γmc². At spatial rest (v = 0, γ = 1): E₀ = mc². ∎

Remark 11.2 (Physical content)

At spatial rest, the entire four-velocity is invested in the x₄-advance that Axiom 2.1 mandates at the particle’s event (Corollary 6.3(i)). The energy associated with this x₄-advance at rate c is mc². Mass and energy are equivalent because mass is the rest-content of the x₄-advance, and the energy of pure x₄-advance at rate c is mc². This is the geometric content identified in the 2008 FQXi essay [McGucken 2008]: a particle at rest in three-space is in motion at c relative to the expanding fourth dimension; its rest energy is the energy of that x₄-motion.

12. Newton’s Second Law in Full Relativistic Generality

Theorem 12.1 (Second law)

The four-force on a particle of inertial mass m is F^μ = m a^μ. The coordinate-time three-force F₃ ≡ dp/dt decomposes into longitudinal and transverse components:

F₃,∥ = γ³ m a∥, F₃,⊥ = γ m a⊥,

where a = dv/dt is the coordinate-time three-acceleration, a∥ = a · v̂, a⊥ = a − a∥ v̂. At low velocity (γ → 1): F = ma.

Proof.

Four-force. As in Theorem 10.2: F^μ = m du^μ/dτ = m a^μ.

Computation of γ̇. From γ = (1 − v²/c²)^(−1/2) with v² = v · v:

γ̇ = d/dt (1 − v²/c²)^(−1/2) = −½ (1 − v²/c²)^(−3/2) · (−1/c²) · d(v · v)/dt = γ³/(2c²) · 2v · a = γ³ (v · a)/c².

Computation of dp**/dt.**

F₃ = dp/dt = m d(γv)/dt = m [γ̇ v + γ a] = m [γ³(v · a)v/c² + γ a].

Decomposition. Write a = a∥ v̂ + a⊥ with a⊥ · v = 0. Then v · a = v a∥, and (v · a)v = v² a∥ v̂.

Parallel component.

F₃,∥ = m [γ³ v² a∥/c² + γ a∥] = m γ a∥ [γ² v²/c² + 1].

Using γ^(−2) = 1 − v²/c², so γ² v²/c² = γ²(1 − γ^(−2)) = γ² − 1:

γ² v²/c² + 1 = γ² − 1 + 1 = γ².

Hence F₃,∥ = m γ a∥ · γ² = γ³ m a∥.

Perpendicular component. Since a⊥ · v = 0, the first term contributes nothing perpendicular:

F₃,⊥ = γ m a⊥.

Low-velocity limit. As v/c → 0: γ → 1, γ³ → 1. Both reduce to F = ma. ∎

Remark 12.2 (Longitudinal and transverse mass)

The relativistic mass distinctions m∥ = γ³ m, m⊥ = γ m are forced by the fixed magnitude |u| = c of the four-velocity (Master Equation, Theorem 5.5). The four-velocity rotates within the budget hyperboloid under applied force; rotating it parallel to v requires changing γ, with extra factors of γ in the resistance; rotating it perpendicular to v leaves γ unchanged.

13. The Geodesic Principle

Theorem 13.1 (Geodesic Principle)

The worldline of a free massive particle (subject to no non-gravitational forces) extremizes the action

S[γ] = −mc² ∫_γ dτ = −mc ∫_λ₁^λ₂ √(−g_μν ẋ^μ ẋ^ν) dλ,

where ẋ^μ = dx^μ/dλ for an arbitrary smooth, monotonic parameter λ. The Euler–Lagrange equation in proper-time parametrization is the geodesic equation:

d²x^ρ/dτ² + Γ^ρ_αβ (dx^α/dτ)(dx^β/dτ) = 0.

Proof. Complete variational derivation with all steps explicit.

Step 1: Reparametrization invariance. Under a smooth monotonic reparametrization λ ↦ f(λ) with f’ > 0, ẋ^μ = dx^μ/dλ ↦ (dx^μ/df) f’, hence

√(−g_μν ẋ^μ ẋ^ν) dλ ↦ √(−g_μν (dx^μ/df)(dx^ν/df) (f’)²) · df/f’ = √(−g_μν dx^μ dx^ν),

the parameter-independent line element. The action is invariant. We choose λ = τ (proper time) at the convenient moment; this is consistent because −g_μν u^μ u^ν = c² along any timelike worldline (Theorem 5.5), so √(−g_μν u^μ u^ν) = c is constant.

Step 2: Lagrangian and Euler–Lagrange. With L = −mc N, N ≡ √(−g_μν ẋ^μ ẋ^ν), the Euler–Lagrange equation for δS = 0 with fixed endpoints is

∂L/∂x^μ − d/dλ (∂L/∂ẋ^μ) = 0.

Step 3: Compute the partial derivatives.

∂L/∂ẋ^μ = −mc · 1/(2N) · (−2 g_μβ ẋ^β) = mc g_μβ ẋ^β / N, ∂L/∂x^μ = −mc · 1/(2N) · (−∂_μ g_αβ) ẋ^α ẋ^β = mc (∂_μ g_αβ) ẋ^α ẋ^β / (2N).

Step 4: Specialize to proper-time parametrization. Choose λ = τ, so ẋ^μ = u^μ and N = c (Theorem 5.5). Substituting:

∂L/∂ẋ^μ |(λ=τ) = mc g_μβ u^β / c = m g_μβ u^β = m u_μ, ∂L/∂x^μ |(λ=τ) = mc (∂_μ g_αβ) u^α u^β / (2c) = (m/2)(∂_μ g_αβ) u^α u^β.

Step 5: Substitute into Euler–Lagrange.

(m/2)(∂_μ g_αβ) u^α u^β − d/dτ (m u_μ) = 0.

With m constant:

du_μ/dτ = ½ (∂_μ g_αβ) u^α u^β.

Step 6: Manipulate the LHS. u_μ = g_μν u^ν, so

du_μ/dτ = (∂_α g_μν) u^α u^ν + g_μν a^ν,

where dg_μν/dτ = (∂_α g_μν) u^α.

Step 7: Combine and rearrange. Substituting:

(∂_α g_μν) u^α u^ν + g_μν a^ν = ½ (∂_μ g_αβ) u^α u^β.

Symmetrize the first term in α ↔ ν (legitimate because u^α u^ν is symmetric):

(∂_α g_μν) u^α u^ν = ½ [(∂_α g_μν) + (∂_ν g_μα)] u^α u^ν.

Rename β → ν on the RHS:

g_μν a^ν = ½ [(∂_μ g_αν) − (∂_α g_μν) − (∂_ν g_μα)] u^α u^ν.

Step 8: Identify Christoffel symbols. The Levi-Civita Christoffel symbols are

Γ^λ_αν = ½ g^λρ [∂_α g_ρν + ∂_ν g_ρα − ∂_ρ g_αν].

Lowering the upper index:

g_μλ Γ^λ_αν = ½ [∂_α g_μν + ∂_ν g_μα − ∂_μ g_αν].

Hence

½ [∂_μ g_αν − ∂_α g_μν − ∂_ν g_μα] = −g_μλ Γ^λ_αν,

and the equation in Step 7 becomes

g_μν a^ν = −g_μλ Γ^λ_αν u^α u^ν.

Step 9: Solve for a^ρ. Multiply both sides by g^μρ and contract on μ, using g^μρ g_μν = δ^ρ_ν:

a^ρ = −Γ^ρ_αν u^α u^ν,

which rearranges to the geodesic equation. ∎

Remark 13.2 (LTD content of the geodesic action)

The action S = −mc² ∫ dτ has its physical content in the McGucken Principle. By Lemma 5.2, the proper-time differential descends from the physics: the rate c² in the line element is the squared rate of the fourth-dimension expansion. The action is therefore (up to sign) the proper-time x₄-arc-length, weighted by mc². A free particle’s worldline maximizes the proper time it accumulates between two events — equivalently, maximizes the x₄-advance accumulated.

14. The Equivalence Principle

14.1 Weak Equivalence Principle

Theorem 14.1 (Weak Equivalence Principle). Two massive particles of different rest masses placed at the same event p ∈ ℳ with the same initial four-velocity follow the same worldline.

Proof. Using only Theorems 5.5, 7.1, 8.4, 13.1.

(i) Mass-independence of the kinematic constraint. Theorem 5.5: g_μν u^μ u^ν = −c². The right side is universal; no m.

(ii) Mass-independence of the connection. Christoffel symbols are computed from g_μν and its derivatives only (Step 8 of Theorem 13.1). They depend on g_μν(x), not on test-particle properties. By Theorem 7.1(2), the timelike-block components are gauge-fixed by the physics; only h_ij contributes nontrivially.

(iii) The geodesic equation is mass-independent. It contains only u^ρ (mass-independent by (i)) and Γ^ρ_αβ (mass-independent by (ii)).

(iv) Uniqueness of solutions. Picard–Lindelöf [Lee 2012, theorem 4.27]: smooth-coefficient ODE has unique solutions for given initial conditions.

(v) Conclusion. Two particles of different masses at the same event with the same initial u^μ_0 satisfy the same equation with the same initial conditions; they follow the same worldline. ∎

14.2 Einstein Equivalence Principle

Lemma 14.2 (Riemann normal coordinates exist on the spatial slice). At any point p of the spatial slice Σ_t with smooth Riemannian metric h_ij, there exists a coordinate chart (y¹, y², y³) centered at p in which

h_ij(p) = δ_ij, ∂_k h_ij(p) = 0, h_ij(y) = δ_ij + ⅓ R_ikjl(p) y^k y^l + O(|y|³).

Proof (construction). Standard reference: [Lee 2012, proposition 5.11], [Wald 1984, §3.4 and theorem 3.4.1].

Pick any orthonormal frame {e_i} at p. For each y = (y¹, y², y³) in a neighborhood of the origin in T_p Σ_t ≅ ℝ³, let Y = y^i e_i ∈ T_p Σ_t and define the coordinate map

Φ(y) ≡ exp_p(Y),

where exp_p is the exponential map: exp_p(Y) is the point reached by following the unique geodesic of h_ij from p with initial tangent Y, parametrized by unit affine parameter. ODE existence and the implicit function theorem guarantee Φ is a diffeomorphism on a neighborhood of 0 [Lee 2012, lemma 5.10].

In these coordinates: by construction, geodesics through p are coordinate-straight lines, y^i(s) = s y^i_0. The geodesic equation reduces at s = 0 to Γ^k_ij(p) y^i_0 y^j_0 = 0 for all y_0, forcing Γ^k_ij(p) = 0 (using symmetry in i ↔ j). Hence ∂_k h_ij(p) = 0 by metric compatibility. The frame {e_i} was orthonormal, so h_ij(p) = δ_ij. The second-order Taylor expansion in the Riemann tensor follows the standard derivation [Wald 1984, eq. 3.4.5]. ∎

Theorem 14.3 (Einstein Equivalence Principle). At any point p ∈ ℳ, there exists a coordinate chart in a neighborhood of p such that

g_μν(p) = η_μν, ∂_λ g_μν(p) = 0,

and the laws of non-gravitational physics in a sufficiently small neighborhood of p reduce to their special-relativistic forms with corrections second-order in spatial coordinate distance.

Proof.

Spatial sector. By Lemma 14.2, Riemann normal coordinates exist on Σ_t at p with h_ij(p) = δ_ij, ∂_k h_ij(p) = 0, h_ij(y) = δ_ij + O(|y|² R).

Timelike sector. By Theorem 7.1(2), the timelike-block components are gauge-fixed: g_tt = −c², g_tj = 0 exactly, with no second-order correction. The physics of Axiom 2.1 fixes the timelike block at every event globally on ℳ.

Combined chart. In (t, y¹, y², y³) at p, with t rescaled to x⁰ = ct: g_00 = −1, g_0j = 0, g_ij(y) = δ_ij + O(|y|² R). At p: g_μν(p) = η_μν. First derivatives all zero by combining Theorem 7.1 (timelike) and Lemma 14.2 (spatial). For ∂_t g_ij(p): achievable by adjusting the foliation gauge to be locally synchronous at p.

Laws of non-gravitational physics. Couple to the metric through tensor contractions. At p, with g_μν = η_μν, these reduce to the special-relativistic forms exactly. In a neighborhood of size |y| < ε, corrections are O(ε² R_max). ∎

14.3 Strong Equivalence Principle

Theorem 14.4 (Strong Equivalence Principle). All laws of physics, including gravity in its local form, take their special-relativistic form in any sufficiently small freely falling laboratory.

Proof. EEP (Theorem 14.3) covers non-gravitational physics. The local form of gravity at p is captured by the Riemann tensor R^i_jkl(p), encoding geodesic deviation. The geodesic deviation equation [Wald 1984, eq. 3.3.18]:

D²ξ^μ/dτ² + R^μ_αβν u^α u^β ξ^ν = 0.

The tidal force is first-order in R and first-order in |ξ|. In a sufficiently small laboratory (|ξ| → 0), it vanishes; the lowest detectable gravitational effect goes as |ξ|² R, made arbitrarily small. ∎

14.4 Massless–Lightspeed Equivalence

Theorem 14.5 (Massless–Lightspeed Equivalence). For any particle, the following are equivalent:

(a) m = 0; (b) |dx/dt| = c along the worldline; (c) P^μ P_μ = 0 (null four-momentum), equivalently |P₄|² − |p|² = 0.

Proof.

(c) ⇔ (a). Mass-shell condition (Corollary 8.5, extended by continuity to the massless boundary case [Wald 1984]): P^μ P_μ = −m²c². Hence P^μ P_μ = 0 iff m = 0.

(b) ⇒ (c). If v = c, line element along the worldline:

g_μν dx^μ dx^ν = −c² dt² + |dx|² = −c² dt² + c² dt² = 0.

The worldline is null. Reparametrize by affine λ; the four-momentum P^μ = dx^μ/dλ is finite and null:

P^μ P_μ ∝ g_μν dx^μ dx^ν = 0.

(c) ⇒ (b). Suppose P^μ P_μ = 0. Line element ∝ g_μν P^μ P^ν = 0, i.e., −c² dt² + |dx|² = 0, hence |dx/dt| = c.

McGucken-numbering form. |P₄|² = (P⁰)² for real P⁰; P^μ P_μ = −(P⁰)² + |p|² = 0 rearranges to |P₄|² − |p|² = 0. ∎

Remark 14.6 (Physical content of MLE)

A particle with m = 0 has |P₄|² = |p|² along its worldline: no rest-mass surplus over the spatial-momentum content. The four-momentum is null. Photons have allocated their entire four-momentum budget to spatial motion at c; massive particles allocate part of the budget to the x₄-advance that the physics of Axiom 2.1 provides at every event, and this allocation is the rest-mass content m = |P₄|/c |_rest.

15. Mach’s Principle

Proposition 15.1 (Machian content of LTD)

The cosmological expansion of the fourth dimension at c from every event picks out a unique frame at each spacetime point: the frame in which the expansion is isotropic. This frame coincides empirically with the cosmic microwave background rest frame.

Proof.

(i) Geometric identification. By Axiom 2.1, the fourth dimension expands at c from every event in a spherically symmetric manner. Spherical symmetry specifies a frame at each event — the frame in which the expansion is the same in every spatial direction — unique up to spatial rotation.

(ii) Empirical identification with CMB rest frame. The CMB, measured by COBE [Fixsen et al. 1996], WMAP [Bennett et al. 2013], and Planck [Planck 2020], is the most isotropic radiation field known. After dipole subtraction (consistent with our local motion through the CMB rest frame at ~370 km/s), residual anisotropies are at the 10⁻⁵ level. The frame in which cosmological matter-energy is isotropic is the CMB rest frame, coinciding empirically with the frame of isotropic fourth-dimension expansion.

(iii) Inertial frame. By Theorem 10.2, free particles have constant u^μ. Constancy is relative to the local cosmological frame — the CMB rest frame. ∎

Remark 15.2 (Status)

Proposition 15.1 identifies the inertial frame against which Newton’s first law is stated. It does not derive the value of m from a Sciama-style sum over distant matter [Sciama 1953]. The matter content is a cosmological boundary condition; the McGucken Cosmology [McGucken Cosmology 2026] reproduces the cosmological observations (CMB, BAO, BTFR, RAR, H₀ tension, supernovae) with zero free dark-sector parameters.

16. The Penrose Argument and the McGucken Resolution: Gravity is Not a Quantum Field, and the Schrödinger-Cat Superposition of Gravitational Configurations Is a Category Error

The following section is reproduced verbatim from the GR/QM unification paper [Unification 2026], where the Penrose no-go argument and the McGucken resolution are developed in full. The content is included here because the inertia chain of the present paper — the Equivalence Principle (Theorems 14.1–14.5), the Master Equation (Theorem 5.5), and the McGucken-Invariance Lemma (Theorem 7.1) — is precisely the structural content the resolution rests on, and the over-determination argument at the close of the section directly bears on the foundational status of the inertia derivation given here.

16.1 The Penrose Argument: A Formal No-Go for Quantizing Gravity

Among the deepest formal obstructions ever stated against the program of quantizing gravity is the argument advanced by Roger Penrose in his 1996 paper On Gravity’s Role in Quantum State Reduction, General Relativity and Gravitation 28(5), 581–600 [Penrose 1996]. The argument was sharpened in Penrose’s The Road to Reality, Chapter 30 (Knopf, 2004); it had earlier prose-form articulations in The Emperor’s New Mind (Oxford, 1989) and Shadows of the Mind (Oxford, 1994); and it is closely paralleled by the independent earlier work of Lajos Diósi, Models for Universal Reduction of Macroscopic Quantum Fluctuations, Physical Review A40, 1165–1174 (1989), itself building on the Newtonian-gravity wave-function-collapse precursors of Károlyházy in Nuovo Cimento A42, 390 (1966) and Ghirardi–Rimini–Weber, Physical Review D34, 470 (1986). The combined Diósi–Penrose framework is now known as the Diósi–Penrose model, and its central content is the conjecture that quantum superpositions of distinct mass distributions become unstable on a characteristic time τ ~ ℏ/E_Δ, where E_Δ is the gravitational self-energy excess of the superposition versus the localized states. A recent restatement of the Penrose argument in podcast form was given by Jonathan Gorard (Wolfram Physics Project; Cambridge) on Curt Jaimungal’s Theories of Everything interview series [Gorard 2024], and that articulation is the version that motivates the present section.

The structural content of the Penrose argument is as follows. Take two of the most foundational principles of twentieth-century physics: the superposition principle of quantum mechanics (the principle that if a system can be in eigenstate |A⟩ or eigenstate |B⟩, it can also be in any complex linear combination α|A⟩ + β|B⟩ with |α|² + |β|² = 1), and the Equivalence Principle of general relativity (the principle that a gravitational reference frame is locally indistinguishable from an accelerating reference frame, with the formal content that whatever appears on the left-hand side of the Einstein field equations as a contribution to the Einstein tensor can be moved as a negative contribution to the right-hand side as a contribution to the stress-energy tensor). Penrose’s claim is that these two principles are logically incompatible when applied jointly to a quantum-superposed gravitational field configuration.

The Schrödinger-cat-style thought experiment used by Penrose runs as follows. A robotic arm holds a mass m at its end, with the mass’s spatial position determined by the quantum state of a radioactive nucleus: position x_A when the nucleus has not decayed, position x_B after decay. The mass produces a gravitational field, and so the gravitational field configuration becomes entangled with the nuclear quantum state:

|Ψ⟩ = (1/√2) ( |undecayed⟩ ⊗ |g_A⟩ + |decayed⟩ ⊗ |g_B⟩ ),

where |g_A⟩ and |g_B⟩ denote the gravitational field configurations sourced by the mass at positions x_A and x_B respectively. So far, the construction is internally consistent: the wavefunction has been written down according to the rules of quantum mechanics, and the gravitational fields have been computed at each branch according to the rules of general relativity.

The contradiction arises at the next step. By the Equivalence Principle, the same physical experiment performed in an accelerating reference frame must yield the same wavefunction. If the entire desktop apparatus is placed in an accelerating spaceship rather than the lab, the calculation should produce an identical result. It almost does — the two wavefunctions differ by a phase factor. But Penrose’s analysis shows that the phase factor depends on time as exp(iα t⁴) for some constant α determined by the gravitational self-energy difference between the two branches. Quartic phases, by virtue of the standard analytical structure of energy-eigenstate decompositions in non-trivial backgrounds, are the structural marker that the wavefunction one has written down corresponds to a superposition of two distinct vacuum states. But quantum mechanics requires a unique vacuum state from which energies are measured by the Hamiltonian: a superposition of two vacuum states leaves the Hamiltonian ill-defined, the energy ill-defined, the time-translation operator ill-defined. In Penrose’s exact technical formulation in the 1996 paper: “the definition of the time-translation operator for the superposed space-times involves an inherent ill-definedness, leading to an essential uncertainty in the energy of the superposed state which, in the Newtonian limit, is proportional to the gravitational self-energy E_Δ of the difference between the two mass distributions” [Penrose 1996]. The structural diagnosis: the superposition principle and the Equivalence Principle, when applied jointly to a gravitational field configuration, are formally inconsistent. One of the two must give. Penrose’s resolution, which he calls gravitationally induced spontaneous quantum state reduction, is to conclude that the superposition is unstable on a characteristic time τ = ℏ / E_Δ, with the wavefunction objectively collapsing on that timescale to one or the other branch. The proposed experimental test, FELIX (Free-Orbit Experiment with Laser Interferometry X-rays), would observe this collapse for sufficiently massive superposition states.

The mathematical restatement is sharper still. Quantum mechanics is linear: the Schrödinger equation requires that if ψ₁ and ψ₂ are solutions, so is any complex linear combination αψ₁ + βψ₂. General relativity is nonlinear: the Einstein field equations have the well-known nonlinearity captured in the slogan “gravity gravitates” — the gravitational field of a mass itself carries energy that sources further gravitational field, and so on, with the off-diagonal terms in the Einstein tensor encoding the recursion. Two solutions g₁, g₂ to the Einstein field equations cannot in general be added to give a third solution, because the linear sum does not include the nonlinear self-interaction of the combined gravitational potentials. The formal incompatibility: linear superposition of two metric tensors violates the nonlinear Einstein equations, while nonlinear combination of two metric tensors violates the linear Schrödinger equation. The two formalisms cannot describe the same superposed gravitational configuration consistently. This is, in the standard programme, an obstruction to quantizing gravity that no quantum-gravity programme of the past seventy years has cleanly resolved.

16.2 The Standard Programme’s Responses, and Their Failure

Within the standard programme that takes gravity to be a field requiring quantization, the Penrose argument has been responded to in several ways, none of which is structurally satisfying. The Diósi–Penrose model accepts the argument and concludes that quantum mechanics must be modified at the level of macroscopic mass scales: the Schrödinger equation is replaced by a stochastic equation that produces objective collapse with characteristic time τ = ℏ/E_Δ. This abandons the universality of quantum mechanics and introduces a non-unitary modification of the dynamical equations whose extensions to relativistic settings remain controversial; recent experimental bounds on Diósi–Penrose collapse rates from underground gravitational-decoherence experiments significantly constrain but do not falsify the model. String theory, loop quantum gravity, asymptotic safety, causal set theory, and Wheeler–DeWitt quantization all pursue the alternative route of attempting to quantize the gravitational field consistently while preserving the superposition principle; each of these programmes has been pursued for decades with no resolution of the foundational incompatibility Penrose identified, and each has accumulated additional postulates and machinery (extra dimensions, spin networks, UV fixed points, posets, infinite-dimensional functional integrals over geometries) without producing a falsifiable empirical prediction that distinguishes the programme from competitors. Joy Christian’s critique [Christian 1998] argued that the Penrose argument, while structurally correct, leaves open whether the resolution lies in modifying quantum mechanics, modifying general relativity, or modifying the joint application of the two; Christian’s analysis identified the “hole argument” content that underlies Penrose’s framing and concluded that the foundational tension is genuine and unresolved within the standard programme.

The recent suggestion of Gorard, articulated in the cited 2024 interview, is to deploy higher-category-theoretic machinery as a possible mathematical home for a quantum-gravity programme that recovers spacetime as an emergent infinity-category structure built from infinite-dimensional gauge transformations on categorical quantum mechanics. The Grothendieck homotopy hypothesis, infinity-groupoids, the Atiyah–Segal–Baez–Dolan axiomatization of functorial topological quantum field theory, Crane’s categorification programme, and the Sheppeard, Asante–Dittrich–Girelli–Riello–Tsimiklis higher-gauge-theory constructions are all instances of the broader programme that seeks to recover Lorentz-covariant quantum field theory and ultimately quantum gravity from sufficiently rich infinity-categorical structures [Sheppeard 2013, Asante et al. 2019]. The mathematical sophistication of these programmes is real; their physical payoff, in the standard reading, is the conjecture that an appropriate infinity-category limit recovers the structure of physical spacetime. Gorard’s articulation of this conjecture is candid: “we have no idea whether that’s true or not, but if that were true, then the coherence conditions that define how the infinity-category relates to all of the lower categories in that hierarchy would essentially be an algebraic parameterization for possible quantum gravity models.”

The structural objection to all of these programmes is the same: they accept the premise that gravity must be quantized, and they construct increasingly elaborate machinery to rescue a programme whose first premise is the source of the trouble. The McGucken framework rejects the first premise.

16.3 The McGucken Resolution: Gravity Is Not a Quantum Field

The McGucken Principle dx₄/dt = ic dissolves the Penrose argument at its first premise. The gravitational field is not a quantum entity that can be put into superposition in the first place, because gravity is not a force that can be quantized; gravity is the geometric content of x₄’s expansion through three-spatial curvature induced by mass-energy. The argument runs in five structural steps.

Step 1: Gravity has no quantum amplitude in the McGucken framework. GR Theorems 1–24 of [Unification 2026] establish that the foundational structures of general relativity — the master equation u^μ u_μ = −c², the Equivalence Principle in four forms, the geodesic principle, the Christoffel connection, the Riemann curvature tensor, the Einstein field equations through dual route (Lovelock 1971 and Schuller 2020), the Schwarzschild solution, the FLRW cosmology, the Bekenstein–Hawking entropy, the generalized second law — are all forced as theorems of dx₄/dt = ic rather than postulated as separate axioms. In particular, the no-graviton theorem (Corollary 7.4 of the present paper) establishes that gravity is the geometry of x₄-propagation through three-spatial curvature, with the metric being the geometric content of x₄’s expansion. The metric is not a dynamical field with operator-valued amplitudes that could be put into quantum superposition; it is the geometric substrate on which matter wavefunctions live. The standard programme’s central postulate “gravity is a quantum field” is, in the McGucken framework, false: gravity is a geometric content, and the question of its quantum amplitude does not arise.

Step 2: The superposition Penrose constructs is a category error. In the Schrödinger-cat experiment, what is in superposition is the matter wavefunction, not the gravitational field. When the radioactive nucleus is in superposition α|0⟩ + β|1⟩ and the robotic arm’s position is correspondingly in superposition α|x_A⟩ + β|x_B⟩, the mass at the arm’s end has a wavefunction ψ_mass(x, t) with amplitude at x_A and amplitude at x_B in three-space. The matter is in superposition. Gravity is not. The phrasing “superposition of two distinct gravitational field configurations” is the structural error: there are not two gravitational fields. There is one geometric configuration, induced by one matter content (the quantum-superposed mass distribution), and that one geometric configuration responds to the matter expectation value. The category error is to treat gravity as if it were the same kind of object as the matter wavefunction — an entity with quantum amplitudes that can be added linearly — when in the McGucken framework gravity is not that kind of object at all.

Step 3: The geometry responds to expectation values, not to amplitudes. For a quantum-superposed mass distribution with wavefunction ψ_mass, the effective stress-energy tensor that sources the geometry is the expectation value

T^(μν)_eff(x) = ⟨ψ_mass | T̂^(μν)(x) | ψ_mass⟩.

In the Schrödinger-cat setup, this gives a smeared-out distribution: half-density at x_A and half-density at x_B, in three-space. The Einstein field equations

G_μν = (8π G / c⁴) T^(μν)_eff

relate the geometry to the smeared expectation-valued matter distribution, producing one geometric configuration that has spatial-curvature contributions at both x_A and x_B proportional to the wavefunction amplitudes there. There is no double-vacuum problem because there is no vacuum-state superposition. There is a single vacuum, a single Hamiltonian, a single time-translation operator, and a single geometric configuration determined by the smeared matter content. The t⁴ phase factor that Penrose identifies in the standard analysis is, in the McGucken reading, the kinematic signature of frame-acceleration applied to the matter wavefunction in a curved geometry — the standard Rindler-frame phase content for the matter sector — not the marker of vacuum-state superposition, because there is no vacuum-state superposition. The energy uncertainty E_Δ that Penrose computes as the gravitational self-energy excess of the superposed state is, in the McGucken reading, an artifact of the standard programme’s misidentification of the matter superposition with a gravitational-field superposition; in the McGucken framework, E_Δ is just the spread in matter-energy expectation across the smeared density distribution, which is finite, well-defined, and produces no inconsistency.

Step 4: This is what semiclassical gravity already does, and why it works. The semiclassical Einstein equations G_μν = 8π G ⟨T̂_μν⟩ were proposed by C. Møller in 1962 [Møller 1962] and L. Rosenfeld in 1963 [Rosenfeld 1963] as the correct treatment of gravity coupled to quantum matter in the regime where geometry is classical and matter is quantum. The standard objections to semiclassical gravity — E. Eppley and H. Hannah, Foundations of Physics 7, 51–68 (1977); D. N. Page and C. D. Geilker, Physical Review Letters 47, 979 (1981) — all assume that gravity must, on grounds of theoretical consistency, be quantized; without that assumption, the semiclassical equations are not an approximation but the correct equations. The McGucken framework supplies precisely the structural justification that the semiclassical equations had been waiting for: gravity is not a field requiring quantization, the metric is the geometric content of x₄’s expansion through curved three-space, and the matter expectation value is the unique source. The semiclassical Einstein equations, viewed through the McGucken framework, are the correct equations rather than an effective approximation; the Page–Geilker experimental search for departures from semiclassical predictions found, consistent with this reading, no departures. The continuing experimental success of semiclassical gravity in every regime where it has been tested is, in the McGucken reading, evidence that gravity is in fact not a quantum field — the structural commitment that Penrose’s argument identifies as forced if the superposition principle and the Equivalence Principle are both to be preserved.

Step 5: The Equivalence Principle is preserved. Theorems 14.1–14.5 of the present paper establish the Equivalence Principle in four forms (Weak, Einstein, Strong, and Massless–Lightspeed) as theorems of dx₄/dt = ic. The Equivalence Principle applies to the classical, expectation-valued geometry, not to operator-valued amplitudes of a graviton field. In Penrose’s accelerating-frame computation, the matter wavefunction ψ_mass is transformed by the standard kinematic content of frame acceleration; the geometry is the expectation-valued geometry, identical in the lab frame and the accelerating frame up to the standard Lorentz/Einstein coordinate transformations of GR. The t⁴ phase factor goes into the matter Hamiltonian’s frame-dependent content, with no implication for the vacuum structure of the gravitational sector — because, again, the gravitational sector has no vacuum amplitudes to mix. Penrose’s no-go conclusion — that one of the superposition principle and the Equivalence Principle must give — is correct within the standard programme that quantizes gravity; it does not apply to the McGucken framework, which does not quantize gravity in the first place.

16.4 The Linearity-vs-Nonlinearity Tension Is Dissolved

The mathematical restatement of Penrose’s argument — “Schrödinger is linear, Einstein is nonlinear, you cannot superpose two solutions to one without violating the other” — is correct as a description of the standard programme but is dissolved entirely in the McGucken framework. The Schrödinger equation operates on the matter wavefunction ψ(x, t), which lives on a fixed three-spatial slice with metric h_ij determined geometrically by the matter content. The Einstein field equations operate on the spatial-slice geometry, which is determined by the matter expectation values. Linearity governs the matter sector. Geometry responds to matter expectation values without being a quantum amplitude that requires superposing. There is no formal conflict because the two sectors are not the same kind of object. The linearity of Schrödinger is preserved within the matter sector, exactly. The nonlinearity of Einstein is preserved within the geometric sector, exactly. The two sectors do not compete because they are not in superposition with each other; they are coupled through the expectation-value sourcing relation G_μν = (8π G/c⁴)⟨T̂_μν⟩. “Gravity gravitates” remains true in the framework: the macroscopic spatial-curvature distribution is self-sourced by the matter-and-geometry energy content, with the nonlinear self-coupling living entirely within the classical geometric sector.

16.5 Higher-Category Theory Reaches for the Wrong Tool

Gorard’s higher-category-theoretic programme is the appropriate response if one accepts the standard programme’s premise that gravity must be quantized. Then one needs some way to recover the linearity of QM in the geometric sector while preserving the nonlinearity of GR, and infinity-categories provide one of the more sophisticated mathematical structures that might do this — by parameterizing how time directions transform into other time directions through higher gauge transformations, generating a quasi-spacetime structure as a derived object. The Grothendieck homotopy hypothesis, the Atiyah–Segal–Baez–Dolan axiomatization, the categorical-quantum-mechanics dagger-symmetric monoidal-category structure — these are all reaches toward a sufficiently rich algebraic-geometric foundation from which spacetime might emerge as a derived limit.

The McGucken framework does not need to derive spacetime from infinity-groupoids because spacetime is given by the principle. The framework’s three-space-plus-expanding-x₄ ontology is the spacetime structure, supplied directly by dx₄/dt = ic as the foundational physical statement. The ER=EPR conjecture [Maldacena–Susskind 2013], the amplituhedron [Arkani-Hamed–Trnka 2014], the twistor programme [Penrose 1967, 1986], and the higher-category-theoretic emergent-spacetime programmes all reach toward the same thing: a deeper, simpler geometric foundation from which QM and GR descend together. What they reach for is structurally what dx₄/dt = ic already supplies as a single physical principle, without the categorical-machinery overhead.

16.6 The Resolution Stated in One Sentence

Penrose’s no-go argument refutes the existence of a quantizable gravitational field; the McGucken framework predicts no quantizable gravitational field; therefore Penrose’s argument is not an obstruction to the McGucken framework but a confirmation of its structural commitment.

Penrose proved that one cannot have both QM linearity and the Equivalence Principle if gravity is a quantum field. Take the proof seriously. The natural conclusion is not that one of QM or GR has to give — it is that gravity is not a quantum field. The McGucken framework arrives at precisely this conclusion structurally: gravity is the geometry of x₄-propagation through three-spatial curvature, with no graviton, no quantum amplitude on the gravitational sector, and the Einstein equations as a theorem rather than a postulate. The geometry responds to matter expectation values; matter wavefunctions live and superpose normally on the resulting spatial-slice geometry. The QM–GR formal incompatibility Penrose proved exists only inside the standard programme that tries to quantize gravity. The McGucken framework does not try to quantize gravity, predicts no graviton, and is therefore not subject to the no-go theorem. Wheeler said it to me in Jadwin Hall in the fall of my junior year: the answer would not come from quantizing gravity but from finding a deeper principle that supplied both the geometry and the quantum at the same time, as the two readings of the same thing. Penrose’s 1996 argument is the formal proof that Wheeler was right.

16.7 dx₄/dt = ic Over-Determines Both QM and GR from a Single Principle

There is a deeper structural fact that the Penrose-McGucken comparison reveals, and that is worth stating carefully because it is the central evidence that dx₄/dt = ic is a foundational physical principle rather than a clever rearrangement of the standard formalism. The McGucken Principle over-determines both quantum mechanics and general relativity. Each sector descends from dx₄/dt = ic through a chain of theorems; each chain has more forced consequences than there are independent postulates; and the over-determination is what makes the framework structurally trustworthy.

Over-determination of GR. The standard formulation of general relativity rests on four input postulates — the Equivalence Principle, the geodesic hypothesis, the Lorentzian-manifold structure of spacetime, and the Einstein field equations — with no derivation of any one from the others. From the McGucken Principle, GR Theorems 1–24 of [Unification 2026] derive twenty-four foundational structures that each correspond to a result of standard general relativity: the master equation u^μ u_μ = −c² (T1), the four-velocity budget (Corollary 1.1), McGucken Invariance (T2), the Equivalence Principle in four forms (T3–T6), the geodesic principle (T7), the Christoffel connection (T8), the Riemann curvature tensor (T9), the Ricci tensor and Bianchi identities (T10), the Einstein field equations through dual route (T11; Lovelock 1971 and Schuller 2020 routes mutually disjoint), the Schwarzschild solution (T12; Birkhoff uniqueness), gravitational time dilation (T13), gravitational redshift (T14), light bending (T15), Mercury’s perihelion precession (T16), the gravitational-wave equation with the four polarization restriction structurally forced (T17), the FLRW cosmology (T18), the no-graviton theorem (T19), the McGucken Wick rotation (T20), the Bekenstein–Hawking entropy and area law (T21–T22), Hawking temperature (T23), and the generalized second law (T24). Twenty-four theorems, all forced from a single principle through provable derivations. The standard programme has four independent postulates and produces zero theorems at the foundational level: each of the four postulates is independent of the others, and the higher results (Schwarzschild, FLRW, Bekenstein–Hawking, etc.) derive from the postulates rather than from a deeper principle. The McGucken framework over-determines general relativity by a ratio of 24:1 relative to its single foundational input, where the standard programme’s ratio is 0:4. Over-determination is the structural test of foundational adequacy: if a single principle can be shown to produce twenty-four independent foundational results that all match the empirical and structural content of standard GR, the principle has demonstrated its content rather than merely been postulated to have content.

Over-determination of QM. The standard Dirac–von Neumann formulation of quantum mechanics rests on six input postulates — complex Hilbert space as the state space, self-adjoint operators as observables, unitary evolution by the Schrödinger equation, the Born rule, the canonical commutation relation [q̂, p̂] = iℏ, and the spin-statistics theorem with the Pauli exclusion principle — with no derivation of any one from the others. From the McGucken Principle, QM Theorems 1–23 of [Unification 2026] derive twenty-three foundational structures that each correspond to a result of standard quantum mechanics: the wave equation on x₄-expansion (QM T1), the de Broglie relation (T2), the Planck–Einstein relation (T3), the Compton coupling (T4), the rest-mass phase factor (T5), wave-particle duality (T6), the Schrödinger equation from Huygens on x₄-expansion (T7), the Klein–Gordon equation (T8), the Dirac equation with spin-½ and 4π-periodicity (T9), the canonical commutation relation through dual-route derivation (T10; Hamiltonian and Lagrangian routes mutually disjoint), the Born rule from spherical symmetry of x₄’s expansion (T11), the Heisenberg uncertainty principle (T12), the CHSH inequality and Tsirelson bound 2√2 (T13), the four major dualities of QM (T14), the Feynman path integral from iterated McGucken-Sphere composition (T15), gauge invariance (T16), quantum nonlocality through the dual-channel reading (T17), entanglement from shared x₄-rest content (T18), the measurement problem resolved as x₄-localization (T19), second quantization with the Pauli exclusion principle and bosonic Fock-space symmetry (T20), the matter-antimatter dichotomy (T21), Compton-coupling diffusion (T22), and the Feynman-diagram apparatus (T23). Twenty-three theorems, all forced from the same single principle through provable derivations. The standard programme has six independent postulates and produces zero theorems at the foundational level. The McGucken framework over-determines quantum mechanics by a ratio of 23:1 relative to its single foundational input, where the standard programme’s ratio is 0:6.

The decisive structural point. The over-determination is from the same single principle. dx₄/dt = ic over-determines GR through one chain of theorems and over-determines QM through a parallel chain of theorems, with both chains descending from one differential operator and one imaginary-rate constant. Forty-seven theorems, all forced from one principle. The standard programme cannot achieve this: GR’s four postulates do not produce QM, and QM’s six postulates do not produce GR, and there is no master derivation that converts any one postulate of either into a theorem of the other. This is the QM–GR foundational gap, and it is the gap that the McGucken framework closes.

The over-determination structure makes the framework falsifiable in a way that the standard programme is not. If any one of the forty-seven theorems can be shown to fail in a consistent reading of dx₄/dt = ic — if the principle is found to produce, through provable steps, a conclusion that contradicts the empirical content of GR or QM at any of the forty-seven foundational structures listed above — the principle is falsified. The standard programme’s ten postulates, by contrast, are insulated from this kind of falsification: each postulate is independently postulated, and finding that one of them fails empirically would falsify only that postulate, not the foundational structure. The McGucken framework, by deriving forty-seven theorems from one principle, exposes its single foundational input to forty-seven independent falsification opportunities. That every one of the forty-seven theorems holds, with explicit proofs in [Unification 2026] and the companion chain papers [GR 2026, McGucken Cosmology 2026], is the structural evidence that dx₄/dt = ic is a correct foundational principle of physics — not a postulated correspondence, not a clever rearrangement, but the geometric content that QM and GR have been describing all along, in their separate vocabularies.

Schrödinger’s equation and the Einstein field equations are the same equation in different sectors. The Schrödinger equation describes the dynamics of a matter wavefunction whose phase advances at the rate set by the matter’s energy. The Einstein field equations describe the geometric content of x₄’s expansion through three-spatial curvature induced by mass-energy. Both sectors descend from dx₄/dt = ic: in the matter sector, the principle gives the rate of x₄-advance per unit lab time, with i carrying the orientation, and the Compton coupling identifying the Compton frequency as the rest-mass phase rate; in the geometric sector, the principle gives the rate of x₄’s spherically symmetric expansion at every event, with i carrying the perpendicularity to three-space, and the curvature of three-space encoding how mass-energy bends the propagation of x₄. The matter sector’s Schrödinger equation and the geometric sector’s Einstein field equations are the same equation dx₄/dt = ic projected onto the matter scale (Compton frequency) and the geometric scale (curvature length) respectively. The i that QM puts in by hand and the c that GR puts in by hand are the same single symbol of the same single physical principle, factored into the two sectors that have not yet recognized their common origin. Over-determination from a single principle is the technical content of this common origin, made precise through the chains of forty-seven theorems.

17. Comparison with Alternative Accounts of Inertia

17.1 Newton

Newton postulates inertial mass and the first law as primitive [Newton 1687]. The McGucken account derives the first law (Theorem 10.2) and the operational meaning of inertial mass (Definition 9.1, Proposition 9.2). Newton’s framework is the low-velocity limit of Theorem 12.1.

17.2 Mach and Sciama

Sciama [Sciama 1953] proposed inertia originates from a 1/r-sum over distant matter, Gρc⁻²R_H² ~ 1. The proposal is a hypothesis about the origin of m, not a derivation of the kinematic content. Lense–Thirring frame-dragging [Lense–Thirring 1918] is the only Machian residue in standard GR. The McGucken account derives the inertial-frame identification (Proposition 15.1) without postulating distant-matter sums.

17.3 General relativity: geodesic motion

In standard GR, geodesic motion is a postulate [Einstein 1916, Wald 1984, MTW 1973]. In LTD, the geodesic principle is Theorem 13.1 (derived by full variational extremization), and the equivalence principle is Theorems 14.1–14.5 (derived from Master Equation plus McGucken-Invariance Lemma). The full GR-foundational treatment, with spatial curvature carrying all gravitational dynamics and the fourth dimension remaining invariant, is given in [GR 2026].

17.4 Higgs mechanism

Higgs [Higgs 1964] and Englert–Brout [Englert–Brout 1964] give rest masses of elementary fermions through Yukawa couplings, m_f = y_f v/√2 where v ≈ 246 GeV. The mechanism presupposes the kinematic role of mass: it does not derive P^μ = m u^μ or E² = |p|²c² + m²c⁴. The McGucken account derives precisely what Higgs presupposes. Complementary, with McGucken logically prior.

17.5 Unruh–Davies

Unruh [Unruh 1976]: T = ℏa/(2πck_B). Davies [Davies 1975] proposed inertia as a thermal reaction. The proposal presupposes relativistic kinematics. The McGucken account is upstream: |u| = c, P^μ = m u^μ, E = mc² are derived; Unruh emerges via the McGucken Wick rotation [Unification 2026].

17.6 Verlinde’s entropic gravity

Verlinde [Verlinde 2011] derives F = ma from Unruh, equipartition, and a holographic information count. The derivation uses inputs that are themselves consequences of the kinematic structure that LTD derives. The direct LTD derivation (Theorem 12.1) is shorter and produces all of |u| = c, P^μ = m u^μ, E = mc², F = ma, the equivalence principle, and the Machian identification of the inertial frame from a single principle.

17.7 Jacobson’s thermodynamic derivation

Jacobson [Jacobson 1995] derives Einstein’s equations from δQ = T δS on local Rindler horizons. The derivation is of dynamics, with Unruh as input; it does not derive what mass is. The McGucken framework is logically prior.

17.8 MOND

Milgrom [Milgrom 1983]: modifies inertia at a ≪ a₀ ≈ 1.2 × 10⁻¹⁰ m/s². Phenomenological. The McGucken account derives standard inertia without modification; rotation curves and dark-sector phenomena are reproduced through the McGucken Cosmology [McGucken Cosmology 2026].

17.9 Haisch–Rueda–Puthoff: ZPF inertia

HRP [Haisch–Rueda–Puthoff 1994]: inertia as ZPF reaction force on accelerated charges. Cutoff-dependent, not manifestly Lorentz-invariant, applies (at most) to charged particles. The McGucken account is universal: m = |P₄|/c for any particle.

17.10 Woodward Mach effects

Woodward [Woodward 1990]: δm ∝ d²E/dt² in objects with changing internal energy. No place in LTD for such a correction.

17.11 Summary table

Approach	\|u\|=c	P^μ = mu^μ	1st law	E=mc²	EP	Inertial frame
Newton	—	—	post.	—	—	—
Mach–Sciama	—	—	—	—	—	post.
GR geodesic	post.	post.	post.	post.	post.	—
Higgs	input	input	input	input	input	—
Unruh–Davies	input	input	—	input	—	—
Verlinde	input	input	der.	input	—	—
Jacobson	input	input	der.	input	der.	—
MOND	input	input	mod.	input	—	—
HRP	input	input	—	input	—	—
Woodward	input	input	—	input	—	input
McGucken	der.	der.	der.	der.	der.	der.

The McGucken account is the unique entry deriving all six structures from a single physical principle, with full proofs.

18. Conclusion

Inertia has been derived from the McGucken Principle — the physical, geometric statement that the fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every spacetime event — as a chain of theorems with full, self-contained, rigorous proofs at the Princeton-PhD level. The differential expression dx₄/dt = ic and its integral x₄ = ict are the mathematical handles on the physics; the physics is primary, and every load-bearing step has been traced to the physical fact rather than to either equation as a starting point.

From the physical fact follows: the Minkowski metric (Proposition 3.1); the Lorentz group as the symmetry group of the physical configuration (Theorem 4.3); the Master Equation u^μ u_μ = −c² with the magnitude c established by physical argument from the universal c-rate fourth-dimension expansion (Theorem 5.5); the Four-Velocity Budget in correct difference form (Corollary 6.1); the McGucken-Invariance Lemma (Theorem 7.1); the four-momentum identification P^μ = m u^μ from explicit elastic-collision algebra (Theorem 8.4); the operational definition of inertial mass (Definition 9.1, Proposition 9.2); Newton’s first law (Theorem 10.2); the rest energy E₀ = mc² as the energy of pure x₄-advance at rate c (Theorem 11.1, Remark 11.2); Newton’s second law in full relativistic generality with explicit longitudinal/transverse mass derivation (Theorem 12.1); the Geodesic Principle by complete variational derivation with reparametrization invariance shown (Theorem 13.1); the Weak, Einstein, Strong, and Massless–Lightspeed Equivalence Principles with Riemann normal coordinates constructed via the exponential map (Theorems 14.1–14.5, Lemma 14.2); the Machian frame identification (Proposition 15.1).

The result is loyal to the canonical doctrine of [Unification 2026]: the fourth-dimension expansion at c is gravitationally invariant, gravity acts only on the spatial-slice metric, only the spatial dimensions curve under mass-energy, and there is no graviton.

Comparison with nine alternative accounts shows that each takes inertia as input, postulates structure that the McGucken framework derives, or addresses only a fragment. The McGucken account is unique in deriving all of inertia’s content from a single physical principle.

19. Priority

The McGucken Principle originates in undergraduate work at Princeton in 1989–90 with John Archibald Wheeler in Jadwin Hall, P.J.E. Peebles in his quantum mechanics class, and Joseph Taylor in his office. The principle appears in Appendix B of the UNC Chapel Hill dissertation (1998–99) [UNC Thesis 1999]; was articulated explicitly in the 2008 FQXi essay Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics (In Memory of John Archibald Wheeler) [McGucken 2008], in which E = mc² was identified as the consequence of mass at rest in three-space being in motion at c relative to the expanding fourth dimension — the geometric content of Theorem 11.1 of the present paper. Developed across the FQXi essays of 2009–13 [FQXi 2010, FQXi 2013]; given book-form synthesis in 2016–17, including Einstein’s Relativity Derived from LTD Theory’s Principle [Book 2017]. Formalized as chains of theorems in the 2024–26 corpus at elliotmcguckenphysics.com, including the April 2026 GR-foundational paper [GR 2026] establishing the principle as the physical foundation of general relativity, spatial curvature, the invariant fourth dimension, gravitational redshift, and gravitational time dilation, and culminating in the GR/QM unification of May 2026 [Unification 2026].

The principle is prior in date and in logical content to every alternative derivation of inertia in the literature.

Bibliography

LTD Corpus

[Unification 2026] McGucken, E. (2026). General Relativity and Quantum Mechanics Unified as Theorems of the McGucken Principle: The Fourth Dimension is Expanding at the Velocity of Light dx₄/dt = ic: Deriving GR & QM from a First Principle in the Spirit of Euclid’s Elements and Newton’s Principia Mathematica. https://elliotmcguckenphysics.com/2026/05/05/general-relativity-and-quantum-mechanics-unified-as-theorems-of-the-mcgucken-principle-the-fourth-dimension-is-expanding-at-the-velocity-of-light-dx%e2%82%84-dt-ic-deriving-gr-qm-from-a-firs/

[GR 2026] McGucken, E. (April 11, 2026). The McGucken Principle dx₄/dt = ic as the Physical Foundation of General Relativity: Spatial Curvature, the Invariant Fourth Dimension, Gravitational Redshift, Gravitational Time Dilation, and the Spatial-Slice Metric as the Refractive Index of Three-Space for the Invariant x₄-Advance. https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-dx%e2%82%84-dt-ic-as-the-physical-foundation-of-general-relativity-spatial-curvature-the-invariant-fourth-dimension-gravitational-redshift-gravitational-time-dilation-a/

[McGucken Cosmology 2026] McGucken, E. (2026). The McGucken Cosmology. https://elliotmcguckenphysics.com

[UNC Thesis 1999] McGucken, E. (1999). UNC Chapel Hill dissertation, Appendix B. https://elliotmcguckenphysics.com

[McGucken 2008] McGucken, E. (2008). Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics (In Memory of John Archibald Wheeler). FQXi essay. https://elliotmcguckenphysics.com

[FQXi 2010] McGucken, E. (2010). The Light Time Dimension Theory. FQXi essay. https://elliotmcguckenphysics.com

[FQXi 2013] McGucken, E. (2013). The McGucken Principle. FQXi essay. https://elliotmcguckenphysics.com

[Book 2017] McGucken, E. (2017). Einstein’s Relativity Derived from LTD Theory’s Principle: The Fourth Dimension is Expanding at the Velocity of Light c. https://elliotmcguckenphysics.com

Foundational Texts

[Newton 1687] Newton, I. (1687). Philosophiae Naturalis Principia Mathematica. London: Royal Society. English translation by Andrew Motte (1729). https://www.gutenberg.org/ebooks/28233

[Minkowski 1908] Minkowski, H. (1908). Raum und Zeit. Physikalische Zeitschrift 10, 75. English translation: Space and Time (1909). https://en.wikisource.org/wiki/Translation:Space_and_Time

[Einstein 1916] Einstein, A. (1916). Die Grundlage der allgemeinen Relativitätstheorie. Annalen der Physik 49, 769. https://doi.org/10.1002/andp.19163540702

[Mach 1883] Mach, E. (1883). Die Mechanik in ihrer Entwicklung: Historisch-kritisch dargestellt. Leipzig: F. A. Brockhaus. https://archive.org/details/diemechanikinihr00machuoft

[Noether 1918] Noether, E. (1918). Invariante Variationsprobleme. Nachr. d. König. Gesellsch. d. Wiss. zu Göttingen, Math-phys. Klasse 235. https://eudml.org/doc/59024

Standard References

[Wald 1984] Wald, R. M. (1984). General Relativity. Chicago: University of Chicago Press. https://doi.org/10.7208/chicago/9780226870373.001.0001

[MTW 1973] Misner, C. W., Thorne, K. S., Wheeler, J. A. (1973). Gravitation. San Francisco: W. H. Freeman. https://press.princeton.edu/books/hardcover/9780691177793/gravitation

[Jackson 1999] Jackson, J. D. (1999). Classical Electrodynamics, 3rd ed. New York: Wiley. https://www.wiley.com/en-us/Classical+Electrodynamics%2C+3rd+Edition-p-9780471309321

[Landau–Lifshitz 1971] Landau, L. D., Lifshitz, E. M. (1971). The Classical Theory of Fields, 4th rev. ed. Oxford: Pergamon. https://doi.org/10.1016/C2009-0-14608-1

[Lee 2012] Lee, J. M. (2012). Introduction to Smooth Manifolds, 2nd ed. New York: Springer. https://doi.org/10.1007/978-1-4419-9982-5

[French 1968] French, A. P. (1968). Special Relativity. M.I.T. Introductory Physics Series. New York: Norton. https://wwnorton.com/books/9780393097931

[Rindler 2006] Rindler, W. (2006). Relativity: Special, General, and Cosmological, 2nd ed. Oxford: Oxford University Press. https://global.oup.com/academic/product/relativity-9780198567325

[Goldstein–Poole–Safko 2002] Goldstein, H., Poole, C., Safko, J. (2002). Classical Mechanics, 3rd ed. Boston: Addison-Wesley. https://www.pearson.com/en-us/subject-catalog/p/classical-mechanics/P200000006667

Specialized Papers

[Wick 1954] Wick, G. C. (1954). Properties of Bethe-Salpeter wave functions. Physical Review 96, 1124. https://doi.org/10.1103/PhysRev.96.1124

[Osterwalder–Schrader 1973] Osterwalder, K., Schrader, R. (1973). Axioms for Euclidean Green’s functions. Communications in Mathematical Physics 31, 83. https://doi.org/10.1007/BF01645738

[Sciama 1953] Sciama, D. W. (1953). On the origin of inertia. Monthly Notices of the Royal Astronomical Society 113, 34. https://doi.org/10.1093/mnras/113.1.34

[Lense–Thirring 1918] Lense, J., Thirring, H. (1918). Über den Einfluss der Eigenrotation der Zentralkörper auf die Bewegung der Planeten und Monde nach der Einsteinschen Gravitationstheorie. Physikalische Zeitschrift 19, 156. https://archive.org/details/sim_physikalische-zeitschrift_1918_19

[Higgs 1964] Higgs, P. W. (1964). Broken symmetries and the masses of gauge bosons. Physical Review Letters 13, 508. https://doi.org/10.1103/PhysRevLett.13.508

[Englert–Brout 1964] Englert, F., Brout, R. (1964). Broken symmetry and the mass of gauge vector mesons. Physical Review Letters 13, 321. https://doi.org/10.1103/PhysRevLett.13.321

[Unruh 1976] Unruh, W. G. (1976). Notes on black-hole evaporation. Physical Review D 14, 870. https://doi.org/10.1103/PhysRevD.14.870

[Davies 1975] Davies, P. C. W. (1975). Scalar particle production in Schwarzschild and Rindler metrics. Journal of Physics A: Mathematical and General 8, 609. https://doi.org/10.1088/0305-4470/8/4/022

[Verlinde 2011] Verlinde, E. (2011). On the origin of gravity and the laws of Newton. Journal of High Energy Physics 04, 029. https://doi.org/10.1007/JHEP04(2011)029

[Jacobson 1995] Jacobson, T. (1995). Thermodynamics of spacetime: the Einstein equation of state. Physical Review Letters 75, 1260. https://doi.org/10.1103/PhysRevLett.75.1260

[Milgrom 1983] Milgrom, M. (1983). A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis. Astrophysical Journal 270, 365. https://doi.org/10.1086/161130

[Haisch–Rueda–Puthoff 1994] Haisch, B., Rueda, A., Puthoff, H. E. (1994). Inertia as a zero-point-field Lorentz force. Physical Review A 49, 678. https://doi.org/10.1103/PhysRevA.49.678

[Woodward 1990] Woodward, J. F. (1990). A new experimental approach to Mach’s principle and relativistic gravitation. Foundations of Physics Letters 3, 497. https://doi.org/10.1007/BF00666023

Cosmological Observations

[Fixsen et al. 1996] Fixsen, D. J. et al. (1996). The cosmic microwave background spectrum from the full COBE FIRAS data set. Astrophysical Journal 473, 576. https://doi.org/10.1086/178173

[Bennett et al. 2013] Bennett, C. L. et al. (2013). Nine-year Wilkinson Microwave Anisotropy Probe (WMAP) observations: final maps and results. Astrophysical Journal Supplement 208, 20. https://doi.org/10.1088/0067-0049/208/2/20

[Planck 2020] Planck Collaboration (2020). Planck 2018 results. I. Overview and the cosmological legacy of Planck. Astronomy & Astrophysics 641, A1. https://doi.org/10.1051/0004-6361/201833880

Penrose Section References

[Penrose 1996] Penrose, R. (1996). On gravity’s role in quantum state reduction. General Relativity and Gravitation 28(5), 581–600. https://doi.org/10.1007/BF02105068

[Penrose 1989] Penrose, R. (1989). The Emperor’s New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford: Oxford University Press. https://global.oup.com/academic/product/the-emperors-new-mind-9780198519737

[Penrose 1994] Penrose, R. (1994). Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford: Oxford University Press. https://global.oup.com/academic/product/shadows-of-the-mind-9780195106466

[Penrose 2004] Penrose, R. (2004). The Road to Reality: A Complete Guide to the Laws of the Universe. New York: Knopf. https://www.penguinrandomhouse.com/books/116177/the-road-to-reality-by-roger-penrose/

[Diósi 1989] Diósi, L. (1989). Models for universal reduction of macroscopic quantum fluctuations. Physical Review A 40(3), 1165–1174. https://doi.org/10.1103/PhysRevA.40.1165

[Károlyházy 1966] Károlyházy, F. (1966). Gravitation and quantum mechanics of macroscopic objects. Il Nuovo Cimento A 42(2), 390–402. https://doi.org/10.1007/BF02717926

[GRW 1986] Ghirardi, G. C., Rimini, A., Weber, T. (1986). Unified dynamics for microscopic and macroscopic systems. Physical Review D 34(2), 470–491. https://doi.org/10.1103/PhysRevD.34.470

[Gorard 2024] Gorard, J. (2024). Interview with Curt Jaimungal, Theories of Everything. https://www.youtube.com/@TheoriesofEverything

[Christian 1998] Christian, J. (1998). Why the quantum must yield to gravity. arXiv:gr-qc/9810078. https://arxiv.org/abs/gr-qc/9810078

[Sheppeard 2013] Sheppeard, M. D. (2013). Categorical quantum gravity and higher gauge theories. arXiv:1306.6526. https://arxiv.org/abs/1306.6526

[Asante et al. 2019] Asante, S. K., Dittrich, B., Girelli, F., Riello, A., Tsimiklis, P. (2019). Quantum geometry from higher gauge theory. arXiv:1908.05970. https://arxiv.org/abs/1908.05970

[Møller 1962] Møller, C. (1962). The energy-momentum complex in general relativity and related problems. In: Les Théories Relativistes de la Gravitation (CNRS, Paris), pp. 15–29.

[Rosenfeld 1963] Rosenfeld, L. (1963). On quantization of fields. Nuclear Physics 40, 353–356. https://doi.org/10.1016/0029-5582(63)90279-7

[Maldacena–Susskind 2013] Maldacena, J., Susskind, L. (2013). Cool horizons for entangled black holes (ER=EPR conjecture). Fortschritte der Physik 61(9), 781–811. https://doi.org/10.1002/prop.201300020

[Arkani-Hamed–Trnka 2014] Arkani-Hamed, N., Trnka, J. (2014). The amplituhedron. Journal of High Energy Physics 2014, 30. https://doi.org/10.1007/JHEP10(2014)030

[Penrose 1967] Penrose, R. (1967). Twistor algebra. Journal of Mathematical Physics 8, 345–366. https://doi.org/10.1063/1.1705200

Abstract

Table of Contents

1. Introduction and Statement of the Problem

2. Working Axioms

Axiom 2.1 (The McGucken Principle: physical statement and differential expression)

Remark 2.2 (Primacy of the physics throughout this paper)

Axiom 2.3 (Smooth manifold structure)

Axiom 2.4 (Bilinear four-distance on the unconstrained four-coordinate space)

Remark 2.5 (Bilinear, not Hermitian)

Notation and Conventions

3. The Minkowski Metric as a Theorem

Proposition 3.1 (Minkowski metric from the physics)

4. The Lorentz Group and Lorentz Invariance of the Physics

Definition 4.1 (Lorentz group)

Lemma 4.2 (Lorentz transformations preserve four-vector contractions)

Theorem 4.3 (Lorentz invariance of the McGucken physics)

5. Proper Time and the Master Equation

Definition 5.1 (Proper time along a timelike worldline)

Lemma 5.2 (The normalization c² in the proper-time differential descends from the physics of Axiom 2.1)

Definition 5.3 (Four-velocity)

Lemma 5.4 (Components of four-velocity in flat Minkowski spacetime)

Theorem 5.5 (Master Equation)

6. The Four-Velocity Budget

Corollary 6.1 (Four-Velocity Budget — difference form)

Remark 6.2 (The “sum form” |u₄|² + |u|² = c² is incorrect at general velocity)

Corollary 6.3 (Budget at boundary cases)

7. The McGucken-Invariance Lemma

Theorem 7.1 (McGucken-Invariance Lemma)

Lemma 7.2 (Foliation slices are orthogonal to ∂_t)

Corollary 7.3 (Cartan curvature in the timelike direction vanishes)

Corollary 7.4 (Gravitational time dilation, redshift, and the no-graviton conclusion)

8. Four-Momentum from First Principles

Lemma 8.1 (Relativistic three-momentum)

Lemma 8.2 (Relativistic Lagrangian for a free particle)

Lemma 8.3 (Relativistic energy)

Theorem 8.4 (Four-momentum identification)

Corollary 8.5 (Mass-shell condition)

9. Inertial Mass

Definition 9.1 (Inertial mass)

Proposition 9.2 (Operational consistency at spatial rest)

10. Newton’s First Law

Lemma 10.1 (Orthogonality of four-acceleration to four-velocity)

Theorem 10.2 (Newton’s first law)

11. Rest Energy

Theorem 11.1 (Rest energy)

Remark 11.2 (Physical content)

12. Newton’s Second Law in Full Relativistic Generality

Theorem 12.1 (Second law)

Remark 12.2 (Longitudinal and transverse mass)

13. The Geodesic Principle

Theorem 13.1 (Geodesic Principle)

Remark 13.2 (LTD content of the geodesic action)

14. The Equivalence Principle

14.1 Weak Equivalence Principle

14.2 Einstein Equivalence Principle

14.3 Strong Equivalence Principle

14.4 Massless–Lightspeed Equivalence

Remark 14.6 (Physical content of MLE)

15. Mach’s Principle

Proposition 15.1 (Machian content of LTD)

Remark 15.2 (Status)

16. The Penrose Argument and the McGucken Resolution: Gravity is Not a Quantum Field, and the Schrödinger-Cat Superposition of Gravitational Configurations Is a Category Error

16.1 The Penrose Argument: A Formal No-Go for Quantizing Gravity

16.2 The Standard Programme’s Responses, and Their Failure

16.3 The McGucken Resolution: Gravity Is Not a Quantum Field

16.4 The Linearity-vs-Nonlinearity Tension Is Dissolved

16.5 Higher-Category Theory Reaches for the Wrong Tool

16.6 The Resolution Stated in One Sentence

16.7 dx₄/dt = ic Over-Determines Both QM and GR from a Single Principle

17. Comparison with Alternative Accounts of Inertia

17.1 Newton

17.2 Mach and Sciama

17.3 General relativity: geodesic motion

17.4 Higgs mechanism

17.5 Unruh–Davies

17.6 Verlinde’s entropic gravity

17.7 Jacobson’s thermodynamic derivation

17.8 MOND

17.9 Haisch–Rueda–Puthoff: ZPF inertia

17.10 Woodward Mach effects