A Unique, Simple, and Complete Derivation of General Relativity as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic

A Formal Derivation from McGucken’s Physical Principle to the Einstein Field Equations and Their Canonical Solutions

Dr. Elliot McGucken

Light, Time, Dimension Theory — elliotmcguckenphysics.com

April 26, 2026

“More intellectual curiosity, versatility and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student. Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet….” — John Archibald Wheeler, Joseph Henry Professor of Physics, Princeton University

Abstract

General relativity as developed by Einstein 1915 [1] and consolidated in the textbook tradition [2, 3, 4] rests on a substantial collection of postulates: the Equivalence Principle (Einstein 1907), the geodesic hypothesis for free particles, the Riemannian-geometric structure of spacetime, the metric-compatibility of the connection, the symmetric (torsion-free) character of the connection, the conservation of the stress-energy tensor, and the form of the field equations themselves (the simplest tensor equation linking curvature to stress-energy, with cosmological constant). Each postulate has historical justification, but their combined character makes general relativity a substantial axiomatic system rather than a derivation from a single geometric principle.

This paper presents general relativity as a chain of formal theorems descending from a single geometric principle: the McGucken Principle dx₄/dt = ic [5, 6, 7], which states that the fourth dimension is expanding in a spherically symmetric manner at the velocity of light. Three parts structure the development. Part I (Foundations) establishes the master equation u^μ u_μ = −c², the four-velocity budget, the Equivalence Principle (in its WEP, EEP, SEP, and Massless-Lightspeed forms), and the geodesic principle as theorems of dx₄/dt = ic. Part II (Curvature and Field Equations) establishes the Christoffel connection, the Riemann curvature tensor, the geodesic deviation equation, the Ricci tensor and scalar, the Bianchi identities, the stress-energy tensor, and the Einstein field equations as further theorems. Part III (Canonical Solutions and Predictions) establishes the Schwarzschild solution, gravitational redshift, gravitational time dilation, light bending, Mercury perihelion precession, the gravitational-wave equation, the FLRW cosmology, and the no-graviton theorem as theorems of the framework. Each theorem has formal statement and proof; each is accompanied by a plain-language explanation; each includes explicit comparison with the standard derivation, identifying what the McGucken framework simplifies or sharpens.

The structural payoff is fourfold. First, postulates of standard general relativity are revealed as theorems: the Equivalence Principle is forced by u^μ u_μ = −c² (which itself follows from dx₄/dt = ic), the geodesic principle is forced by the four-velocity budget, the metric-compatibility of the Christoffel connection is forced by the McGucken-Invariance Lemma, and the stress-energy conservation is forced by Noether’s theorem applied to x₄’s temporal-translation symmetry. Second, the Einstein field equations acquire a structural reading: G_μν = (8πG/c⁴)T_μν is the statement that the spatial slices x₁x₂x₃ curve in response to mass-energy, with x₄’s expansion remaining gravitationally invariant. Third, the canonical predictions of general relativity — perihelion precession, gravitational-wave emission, gravitational time dilation — acquire derivations that are structurally simpler than the standard treatments because they descend from a single geometric postulate rather than from a stack of independent axioms. Fourth, the no-graviton theorem follows immediately: gravity is not a force mediated by a particle but the curvature of spatial slices induced by mass-energy, with no quantum mediator required because the Einstein field equations are already geometric. The graviton has no role to play; the search for it is a category error.

The paper concludes with a comparison of the framework’s historical and pedagogical situation to Einstein’s 1915 development. Einstein required eight years of struggle, three aborted theories (the Entwurf 1913 [8], the November 4 1915 paper [9], the November 11 1915 paper [10]), and a sequence of physical and mathematical postulates to arrive at the field equations. The McGucken framework derives the same theory from a single geometric postulate as a chain of formal theorems. The structural simplification is not a stylistic preference but a revelation about which features of general relativity are foundational and which are derivative. The McGucken Principle is the foundational geometric content; the rest — including the Einstein field equations themselves — follows as theorems.

Keywords: general relativity; McGucken Principle; dx₄/dt = ic; Einstein field equations; Equivalence Principle; geodesic principle; Schwarzschild solution; gravitational redshift; gravitational time dilation; gravitational waves; Mercury perihelion; light bending; FLRW cosmology; no-graviton theorem; formal derivation of GR; foundations of relativity; uniqueness of general relativity; simplicity of general relativity; completeness of general relativity; graded forcing vocabulary; Kolmogorov complexity; Lovelock theorem; Schuller constructive gravity; postulate-to-theorem reduction.

1. Introduction

1.1 General Relativity as an Axiomatic System

General relativity, as developed by Einstein in 1915 [1] and consolidated in the textbook tradition over the following century [2, 3, 4], rests on a substantial collection of postulates. The standard development assumes:

• (P1) Spacetime is a four-dimensional Lorentzian manifold (M, g) with metric g of signature (−, +, +, +).
• (P2) The Equivalence Principle: gravitational and inertial mass are equal, and locally the laws of physics in a freely falling frame are those of special relativity.
• (P3) The geodesic hypothesis: free particles travel along geodesics of the metric.
• (P4) The connection Γ^λ_{μν} on the manifold is symmetric (torsion-free) and metric-compatible (∇g = 0).
• (P5) The stress-energy tensor T_μν encoding the matter content satisfies the conservation law ∇_μ T^μν = 0.
• (P6) The Einstein field equations G_μν + Λg_μν = (8πG/c⁴)T_μν link the Einstein curvature tensor G_μν to the stress-energy tensor, with cosmological constant Λ.

Each postulate has historical justification. The Equivalence Principle was Einstein’s 1907 ‘happiest thought,’ motivated by the universal acceleration of falling bodies. The geodesic hypothesis generalizes Newton’s First Law to curved spacetime. Metric-compatibility ensures that lengths and angles are preserved under parallel transport. The torsion-free condition is a simplifying assumption (Einstein-Cartan theory, with torsion, is a viable alternative). Stress-energy conservation follows from translation invariance of physical laws via Noether’s theorem. The field equations themselves were arrived at through Einstein’s eight-year struggle (1907–1915) culminating in the November 25, 1915 paper [1].

Despite this historical justification, the combined character of P1–P6 makes general relativity a substantial axiomatic system rather than a derivation from a single geometric principle. Each postulate is independent; each requires separate justification; the consistency of the whole rests on each piece working together. A century after Einstein, no foundational structure has been identified that derives all six postulates from a single geometric source. The standard pedagogical approach — introducing the postulates as motivated by experiment and reasonableness, then showing they fit together — is essentially Einstein’s 1915 approach, refined but not foundationally simplified.

1.2 The McGucken Principle as Foundational Source

The McGucken Principle [5, 6, 7] supplies the foundational geometric content from which P1–P6 follow as theorems. The principle states:

dx₄ / dt = ic

asserting that the fourth dimension of spacetime expands spherically and invariantly from every event at the velocity of light. Across [5, 6, 7, 11, 12, 13, 14, 15], this principle has been used to derive Huygens’ Principle, Noether’s theorem, the Schrödinger equation, the Born rule, the canonical commutation relation, the conservation laws and Second Law of Thermodynamics, the Equivalence Principle, the Principle of Least Action, and the values of the constants c and ℏ as theorems rather than postulates. The present paper completes the program by deriving general relativity itself — P1 through P6 plus the canonical solutions and predictions — as a chain of theorems descending from dx₄/dt = ic.

In plain language.

Einstein’s general relativity rests on six separate assumptions: that spacetime has a particular geometric structure, that gravitational and inertial mass are equal, that free particles follow geodesics, that the connection on the manifold has certain mathematical properties, that energy is conserved, and that the field equations have a specific form. Each of these assumptions was historically motivated, but they sit in the theory as independent postulates, not derived from anything deeper. The McGucken Principle changes this: it derives all six as theorems from a single geometric postulate — the assertion that the fourth dimension of spacetime expands at the speed of light. This paper carries out the derivation step by step, showing that what Einstein had to assume can instead be proved.

1.3 The Historical and Pedagogical Comparison

Einstein’s development of general relativity, 1907–1915, required eight years of struggle, three aborted theories, and a complex sequence of physical and mathematical insights. The historical record [16, 17] shows Einstein attempting:

• 1907: The Equivalence Principle as the ‘happiest thought,’ motivating the search for a relativistic theory of gravitation.
• 1911–1913: Several scalar-field theories of gravity attempting to incorporate the Equivalence Principle into a Lorentz-invariant framework. All abandoned as inadequate.
• 1913 (Entwurf): With Marcel Grossmann [8], the first attempt at field equations using Riemannian geometry. The equations were not generally covariant, and Einstein eventually abandoned them.
• November 4, 1915: First version of the field equations [9], with R_μν = (8πG/c⁴)T_μν. Did not respect stress-energy conservation in general.
• November 11, 1915: Modified version [10], with R_μν − ½ g_μν R = (8πG/c⁴)T_μν imposed by hand to ensure conservation. Still inadequate in some respects.
• November 25, 1915: Final form of the field equations [1], G_μν = (8πG/c⁴)T_μν with G_μν = R_μν − ½ g_μν R the Einstein tensor. Successfully reproduced Mercury’s perihelion precession.

The McGucken framework, by contrast, derives the field equations as a single theorem from a chain that begins with dx₄/dt = ic. The structural simplification is not a stylistic preference; it reveals which features of general relativity were postulated when they should have been derived. The Equivalence Principle (P2) is a theorem of u^μ u_μ = −c². The geodesic hypothesis (P3) is a theorem of the four-velocity budget. The metric-compatibility of the connection (P4) is a theorem of the McGucken-Invariance Lemma. Stress-energy conservation (P5) is a theorem of Noether applied to x₄’s temporal-translation symmetry. The field equations (P6) are the differential expression of ‘spatial slices curve in response to mass-energy.’ Each of Einstein’s postulates corresponds to a derivable theorem in the McGucken chain, with the underlying source in every case being x₄’s expansion at rate ic.

The structural simplification can be made quantitative through Kolmogorov complexity. The companion paper [MG-LagrangianOptimality, §3.1] establishes that the McGucken Principle dx₄/dt = ic admits a description of length K(dx₄/dt = ic) ~ O(10²) bits in any reasonable formal language (the principle is essentially a one-line equation plus boilerplate specification of the imaginary unit and the manifold structure of Convention 1.5.1), while the Standard Model + Einstein-Hilbert Lagrangian ℒ_SM + ℒ_EH requires K(ℒ_SM + ℒ_EH) ~ O(10⁴) bits to specify directly (gauge group SU(3)×SU(2)×U(1), the Higgs potential, three families of fermions, twenty-six free parameters, plus the Einstein-Hilbert action). The two-orders-of-magnitude compression ratio reflects that the McGucken Principle and the Standard Model + general relativity are not at the same level in the description hierarchy: the principle is the foundational geometric content, the Standard Model + general relativity is the derived theorem-level content, and the Kolmogorov bit-bound expresses the relationship in algorithmic-information terms. The 19-theorem chain of the present paper plus the 12-theorem chain of [MG-SM] plus the constructor-theoretic foundation of [MG-Cat] is the formal derivation chain that closes the bit-bound gap, instantiating each of the O(10⁴) bits of the Standard Model + general relativity content as a derived consequence of the O(10²) bits of the McGucken Principle.

1.4 Structure of the Paper

The paper is organized in three parts. Part I (Foundations: §§2–5) establishes the foundational theorems of dx₄/dt = ic that supply the kinematic substrate for general relativity: the master equation, the four-velocity budget, the McGucken-Invariance Lemma, the Equivalence Principle (in WEP, EEP, SEP, and Massless-Lightspeed forms), and the geodesic principle. Part II (Curvature and Field Equations: §§6–11) establishes the Christoffel connection, the Riemann curvature tensor, the geodesic deviation equation, the Ricci tensor and scalar, the Bianchi identities, the stress-energy tensor, and the Einstein field equations. Part III (Canonical Solutions and Predictions: §§12–18) establishes the Schwarzschild solution, gravitational redshift, gravitational time dilation, light bending and Shapiro delay, Mercury perihelion precession, the gravitational-wave equation, the FLRW cosmology, and the no-graviton theorem as theorems descending from the chain established in Parts I and II.

Each theorem has formal Theorem/Lemma/Corollary statement, formal proof citing prior theorems, layman explanation box, and a ‘Comparison with Standard Derivation’ subsection identifying what the McGucken framework simplifies or sharpens. The paper concludes with a synthesis of the structural payoffs (§19) and explicit roadmap for follow-up papers covering the remaining canonical solutions of general relativity (Kerr, Reissner-Nordström, Kerr-Newman, FLRW with curvature and cosmological constant) within the same theorem-chain framework.

1.5 Notation, Conventions, and Formal Setup

Before proceeding to the formal development, we fix the conventions and structural setup used throughout the paper. The conventions are deliberately spelled out so that each subsequent theorem can be read as an assertion about a specific mathematical structure rather than a heuristic appeal to the McGucken Principle.

Convention 1.5.1 (Spacetime manifold). Spacetime is the smooth four-manifold M = ℝ³ × ℝ, with the ℝ factor parameterized by the McGucken coordinate x₄ and the ℝ³ factor parameterized by the spatial coordinates (x¹, x², x³). Smooth structure is the standard product smooth structure. We will systematically use Greek indices μ, ν ∈ {0, 1, 2, 3} for spacetime tensors, with the convention that index 0 corresponds to x₀ = ct (the standard timelike coordinate) and the McGucken coordinate is x₄ = ix₀ = ict. Latin indices i, j, k ∈ {1, 2, 3} run over spatial coordinates only. The relation x₄ = ix₀ is a coordinate identification rather than an analytic continuation: x₄ and x₀ refer to the same physical timelike axis, with x₄ carrying the imaginary unit i as the algebraic marker of perpendicularity to the three spatial dimensions [5, §II.3].

Convention 1.5.2 (Metric signature). The Lorentzian metric tensor g_μν on M has signature (−, +, +, +) in the (x₀, x¹, x², x³) chart, with the timelike component negative. In the McGucken numbering (x₄, x¹, x², x³), the substitution x₄ = ix₀ converts the line element ds² = −c²dt² + d⃗x² to ds² = (dx₄)²/(−1) + d⃗x² with the imaginary character of x₄ absorbing the sign. We use the (−, +, +, +) signature throughout for explicit calculations and translate to the McGucken numbering only where the imaginary character of x₄ carries structural content (notably, in the McGucken-Invariance Lemma of §3 and the no-graviton analysis of §17).

Convention 1.5.3 (Foliation by spatial slices). The McGucken Principle distinguishes a privileged foliation ℱ of M by codimension-one spatial slices Σ_t = {(x¹, x², x³, x₄) : x₀ = ct} with t a fixed parameter labeling each leaf. Each leaf Σ_t is a smooth Riemannian three-manifold with induced metric h_ij of signature (+, +, +). The McGucken Principle is the assertion that the leaves of ℱ are the simultaneity surfaces of the privileged x₄-foliation, and that ℱ is dynamically generated by x₄’s expansion at rate ic. We refer to ℱ as the McGucken foliation and its leaves as spatial slices; the formal mathematical structure is a Cartan geometry with distinguished translation generator [18].

Convention 1.5.4 (Adapted coordinate charts). A coordinate chart on M is McGucken-adapted if its timelike coordinate coincides (up to a global affine transformation) with the parameter t labeling the leaves of ℱ. In a McGucken-adapted chart the metric takes the form ds² = −N² c² dt² + h_ij(t, ⃗x) dxⁱ dx⩸ with N(t, ⃗x) the lapse function and the shift vector Nⁱ set to zero (the McGucken-adapted chart is irrotational with respect to the foliation). In an asymptotically flat region, the lapse N can be normalized to N → 1 at spatial infinity. Throughout the paper, when we speak of ‘the spatial slice’ we mean the leaf Σ_t in a McGucken-adapted chart with the induced metric h_ij; when we speak of ‘the timelike component of the metric’ we mean the function −N²c² in such a chart.

Convention 1.5.5 (Theorem and proof structure). Each numbered Theorem in this paper is a formal mathematical proposition whose statement and proof depend only on (i) the Axiom (the McGucken Principle, §2.1), (ii) the conventions 1.5.1–1.5.4 above, (iii) prior numbered Theorems and Lemmas, and (iv) standard results from differential geometry and analysis cited explicitly. Where a proof appeals to a result that is itself derivable from the McGucken Principle but whose derivation lies outside the present paper’s scope (e.g., Noether’s theorem, the Schrödinger equation, the canonical commutation relation), we cite the companion paper supplying the derivation [11–15] and treat the result as established. The chain of theorems therefore terminates at the McGucken Principle alone, modulo standard differential-geometric machinery.

Convention 1.5.6 (Differential-geometric prerequisites). The proofs assume the reader is familiar with: smooth manifolds and tensor bundles; the Levi-Civita connection on a pseudo-Riemannian manifold; the Riemann, Ricci, and scalar curvature tensors; the Bianchi identities; covariant derivatives and parallel transport; foliations and their adapted charts; geodesics and the geodesic deviation equation. Standard references are [2, 3, 4]. The framework’s distinctive structural feature is the privileged role of the McGucken foliation ℱ, which selects one Lorentzian-manifold structure among the diffeomorphism class as the ‘physical’ one; this is the structural content of the McGucken Principle that the standard formalism leaves unspecified.

Remark 1.5.7 (Diffeomorphism invariance and the privileged foliation). Standard general relativity is diffeomorphism-invariant: the field equations and their solutions are invariant under arbitrary smooth coordinate transformations of M. The McGucken framework preserves this diffeomorphism invariance of the field equations themselves but adds a structural commitment that one specific foliation ℱ is physically distinguished. The relationship is analogous to that between Galilean and Newtonian mechanics: Galilean kinematics is invariant under arbitrary inertial frames, but Newtonian dynamics distinguishes inertial frames from accelerating ones. Here, the field equations are diffeomorphism-invariant but the foliation ℱ is the ‘true’ foliation in the same sense that absolute simultaneity would be the ‘true’ simultaneity in pre-relativistic physics—except that the McGucken-Invariance Lemma (Theorem 2 below) ensures the privileged foliation does not produce frame-dependent observable predictions for the standard tests of general relativity. The privileged-foliation commitment is a structural addition to the field equations, not a contradiction of their diffeomorphism invariance, and its observable signatures (cosmic-microwave-background frame identification, the Compton-coupling diffusion of [11], the no-graviton prediction of §17) are sharpest at cosmological and quantum-gravitational scales where standard general relativity is itself in a transitional regime.

In plain language. Before deriving anything, this section pins down the math. We’re working with a four-dimensional manifold M, signed (−, +, +, +), with one privileged direction (the McGucken coordinate x₄) that’s special because the McGucken Principle says it expands at rate ic. The privileged direction picks out a stack of three-dimensional spatial slices, one for each value of time. Standard general relativity treats all four directions of spacetime as on equal footing; the McGucken framework treats the spatial three and the timelike one differently. This is what we mean by ‘privileged foliation,’ and the next sections derive what consequences that has for gravity.

1.5a Graded Forcing Vocabulary

The chain of theorems developed in this paper makes uniqueness claims of varying strength. Some theorems follow from the McGucken Principle alone, with no further input. Others require, in addition, standard structural assumptions of locality, Lorentz invariance, smoothness, or polynomial order in derivatives. A small number invoke external mathematical frameworks (e.g., Schuller’s constructive-gravity programme, Lovelock’s uniqueness theorem) whose own derivations are external to the present paper. To make these distinctions precise, we adopt the graded-forcing vocabulary developed in the companion categorical paper [MG-Cat, §I.5a] and the Lagrangian-optimality paper [MG-LagrangianOptimality, §1.4]:

Grade 1 (forced by the Principle alone). A result is Grade 1 if it follows from the McGucken Principle dx₄/dt = ic and the conventions 1.5.1–1.5.4 with no further structural input. Theorem 1 (the Master Equation uμu_μ = −c²), Corollary 1.1 (the four-velocity budget), and Theorem 2 (the McGucken-Invariance Lemma) are Grade 1: they descend from the principle by direct computation.

Grade 2 (forced by Principle + standard structural assumptions). A result is Grade 2 if its derivation requires, in addition to the McGucken Principle, standard structural assumptions: locality of field interactions; Lorentz invariance of the action; smooth (C∞) differential structure; finite polynomial order in derivatives; specific dimensional or representation-theoretic content. Theorems 3–6 (the four Equivalence Principles), Theorem 7 (geodesic principle), Theorem 8 (Christoffel connection, requiring metric-compatibility and torsion-freeness), Theorem 9 (Riemann curvature tensor), Theorem 10 (Ricci tensor and Bianchi identities), Theorem 10.7 (stress-energy conservation, derived from x₄-translation and diffeomorphism invariance via [MG-Noether, Propositions VII.5–VII.6]), and Theorems 12–18 (Schwarzschild, gravitational time dilation, redshift, light bending, perihelion precession, gravitational waves, FLRW cosmology) are Grade 2: each requires the Principle together with one or more of the standard structural assumptions enumerated above.

Grade 3 (forced by Principle + external mathematical framework). A result is Grade 3 if its proof invokes an external mathematical framework whose own derivation is taken as established but lies outside the chain of theorems developed in the present paper. Theorem 11 (the Einstein Field Equations) is Grade 3 in two distinct readings: (i) the present paper’s reading, which invokes Lovelock’s 1971 uniqueness theorem [29a] for the Einstein-tensor structure of divergence-free symmetric (0,2)-tensors in four dimensions; and (ii) the parallel reading of the companion paper [MG-SM, Theorem 12] / [MG-SMGauge], which invokes Schuller’s 2020 constructive-gravity programme [arXiv:2003.09726] to derive the Einstein-Hilbert action from the universality of the matter principal polynomial P(k) = ημν k_μ k_ν. The two routes converge on the same field equations G_μν + Λ g_μν = (8πG/c⁴) T_μν, providing two independent Grade-3 derivations whose mutual consistency is itself structural corroboration of the framework. Theorem 19.4 (graviton-accommodation pathways, §17.4) is also Grade 3: its content depends on whether quantum-field-theoretic machinery is added on top of the Principle.

In plain language. Some theorems in this paper follow purely from the McGucken Principle, no extra ingredients needed (Grade 1). Most require the principle plus standard physics assumptions like locality and Lorentz invariance (Grade 2). A few require the principle plus a separate mathematical theorem (Lovelock, Schuller) whose own proof is established elsewhere (Grade 3). Tagging each theorem with its grade lets the reader see at a glance how much structural input each result depends on, and which results would survive if a particular structural assumption were relaxed.

1.5a.1 Comparison: The Grades of Einstein’s Six Postulates vs. the McGucken Theorem Chain

The graded-forcing vocabulary admits an immediate diagnostic application: it lets us measure the structural difference between Einstein’s 1915 development of general relativity and the McGucken Principle’s development of the same theory. Standard general relativity rests on the six independent postulates P1–P6 enumerated in §1.1. Each of those postulates is, by the standards of the present paper, an axiom of grade beyond Grade 1, Grade 2, or Grade 3 — what we may call ‘Grade 0’ in this taxonomy: an unmotivated assumption inserted into the theory without derivation from a deeper geometric principle. The McGucken framework re-derives each P1–P6 as a theorem of dx₄/dt = ic, with the Grade tag making explicit how much auxiliary input each derivation requires.

Grade 0 (unmotivated postulate) is the implicit grade of the standard axiomatic system: the postulate is asserted without derivation from a deeper principle and without auxiliary structural assumptions either, simply because it is needed for the theory to function. Each of P1–P6 has historical justification (the Equivalence Principle was Einstein’s 1907 ‘happiest thought’; the geodesic hypothesis generalizes Newton’s First Law; etc.), but historical justification is distinct from structural derivation. A postulate is Grade 0 in our taxonomy precisely when it is taken as primitive in its own framework. The standard development of general relativity is therefore a Grade-0 system with six axioms; the McGucken framework reduces this to a Grade-1 axiom (the McGucken Principle itself) with twelve theorems of grades 1, 2, or 3 covering all of P1–P6 plus the canonical solutions and predictions.

The structural comparison is presented in Table 1.5a.1. Each row gives one of Einstein’s six postulates, its grade in the standard axiomatic system, the McGucken framework’s corresponding theorem, the grade of that theorem in the McGucken framework, and the auxiliary structural inputs required for the McGucken proof. The pattern is uniform: every Grade-0 postulate of the standard system becomes a Grade-1, Grade-2, or Grade-3 theorem of the McGucken Principle.

Table 1.5a.1. Grade-by-grade comparison: standard general relativity vs. McGucken framework.

Postulate	Standard GR statement	Grade in std GR	McGucken theorem	Grade in McG framework	Auxiliary inputs
P1	Spacetime is a 4D Lorentzian manifold (M, g) with signature (−, +, +, +).	Grade 0 (axiom)	Theorem 1 (Master Equation: u^μ u_μ = −c²), Conv. 1.5.1−1.5.2.	Grade 1 (forced by the Principle alone)	None beyond McGucken Principle.
P2	Equivalence Principle: gravitational and inertial mass are equal; locally, freely-falling laws are special relativity.	Grade 0 (axiom)	Theorems 3−6 (WEP, EEP, SEP, Massless-Lightspeed forms).	Grade 2 (Principle + standard structural assumptions)	Locality of free-fall; smooth (C∞) manifold structure.
P3	Geodesic hypothesis: free particles travel along geodesics of g.	Grade 0 (axiom)	Theorem 7 (Geodesic Principle).	Grade 2 (Principle + standard structural assumptions)	Variational principle (itself a theorem of the Principle, see [13]).
P4	Connection Γ on M is symmetric (torsion-free) and metric-compatible (∇g = 0).	Grade 0 (axiom)	Theorem 8 (Christoffel Connection), invokes Fundamental Thm of Riemannian Geometry [3, Thm 3.1.1].	Grade 2 (Principle + standard structural assumptions)	Smooth manifold, finite-dim tangent bundle, second-order metric components.
P5	Stress-energy tensor satisfies the conservation law ∇_μ T^{μν} = 0.	Grade 0 (axiom)	Theorem 10.7 (Stress-Energy Conservation), proof in §8.3a.	Grade 2 (Principle + standard structural assumptions)	Diffeomorphism invariance + symmetric T^{μν} from variation.
P6	Einstein field equations G_{μν} + Λg_{μν} = (8πG/c⁴) T_{μν}.	Grade 0 (axiom)	Theorem 11 (Einstein Field Equations).	Grade 3 (Principle + external mathematical framework)	Lovelock 1971 [29a] (intrinsic route) OR Schuller 2020 [arXiv:2003.09726] (parallel route via [MG-SM, Thm 12]).

Reading the table. Five of Einstein’s six postulates are Grade-2 theorems in the McGucken framework, depending on standard structural assumptions (locality, Lorentz invariance, smooth manifold structure, finite-order derivatives, diffeomorphism invariance). One postulate (P6, the Einstein field equations) is a Grade-3 theorem, depending on either Lovelock’s 1971 uniqueness theorem (the present paper’s intrinsic route) or Schuller’s 2020 constructive-gravity programme (the parallel route of [MG-SM, Theorem 12]). One postulate (P1, the Lorentzian manifold structure) is even Grade-1: the master equation uμu_μ = −c² is forced by the McGucken Principle alone, with no auxiliary inputs beyond the conventions 1.5.1–1.5.2 that codify the manifold and signature.

The structural lesson. Einstein’s 1915 development distributed the burden of proof across six independent axioms, each requiring separate physical motivation and historical justification. The McGucken framework concentrates the burden of proof at a single Grade-1 axiom (the McGucken Principle itself) and discharges P1–P6 as theorems of grades 1, 2, and 3. The reduction is not merely cosmetic: the auxiliary inputs in the rightmost column are themselves either standard mathematical machinery (smooth manifolds, locality, Lorentz invariance) that any reasonable physical theory will accept, or external uniqueness theorems (Lovelock 1971, Schuller 2020) that have been independently established and apply across many theoretical contexts. The McGucken Principle does not introduce more auxiliary structure than the standard axiomatic system; it shows that the auxiliary structure together with one geometric principle suffices to derive the entire content of general relativity.

The historical sociology of postulate count. One way to read the comparison is through the lens of philosophy of science. A theory with six independent axioms (standard GR) requires six separate empirical or conceptual justifications — six places where the theorist must say, ‘this is true because experiments show it’ or ‘this is true because it is reasonable.’ A theory with one axiom (the McGucken Principle) and twelve derived theorems requires only one such justification. Karl Popper’s falsifiability criterion would treat the latter as the more empirically constrained theory: the McGucken framework makes one geometric assertion (dx₄/dt = ic) which, if false, would falsify the entire chain of consequences, while the standard system can absorb the failure of any single postulate (e.g., a violation of the strong equivalence principle) by retaining the remaining five. The McGucken framework is therefore the more empirically committed theory in Popper’s sense, even though it makes the same predictions in the regimes where general relativity has been tested.

In plain language. The table compares two ways of building the same theory. Einstein’s way: six independent guesses, each one historically justified, that hang together as a working theory once you accept all six. McGucken’s way: one geometric principle (x₄ expands at rate ic) plus standard math (locality, Lorentz invariance, smooth manifolds), from which all six of Einstein’s guesses follow as theorems. Both routes give the same physical predictions in the regimes where general relativity has been tested. The McGucken route is structurally simpler — you commit to one fact and let the math do the rest, instead of committing to six facts each justified separately. If even one of Einstein’s six postulates ever fails experimentally, the standard theory needs patching up; if dx₄/dt = ic fails, the whole McGucken framework falls down at once. That makes the McGucken framework easier to test and harder to defend — in Popper’s philosophy of science, both are virtues.

PART I — FOUNDATIONS

Part I establishes the foundational theorems descending from dx₄/dt = ic that supply the kinematic substrate for general relativity. The McGucken Principle is stated; the master equation u^μ u_μ = −c² is derived as Theorem 1; the four-velocity budget as Corollary 1.1; the McGucken-Invariance Lemma as Theorem 2; the Equivalence Principle (in four versions) as Theorems 3–6; and the geodesic principle as Theorem 7. These eight foundational results are the prerequisites for the curvature analysis in Part II.

2. The McGucken Principle and the Master Equation

2.1 The McGucken Principle

We state the foundational geometric postulate as a numbered axiom of the framework.

Axiom (The McGucken Principle). The fourth dimension x₄ = ict of spacetime expands spherically and invariantly from every spacetime event at the rate dx₄/dt = ic, where c is the velocity of light and i is the imaginary unit encoding x₄’s perpendicularity to the three spatial dimensions x₁, x₂, x₃.

This axiom is the single foundational postulate of the McGucken framework. All subsequent results in this paper are theorems descending from this axiom. The geometric content of the axiom is articulated formally in [18], the moving-dimension geometry paper, where the axiom is shown to specify a unique mathematical structure: a smooth four-manifold M equipped with a codimension-one timelike foliation F and a privileged future-directed timelike vector field V whose flow is the active expansion of x₄ at rate ic.

In plain language.

Here is the foundational postulate of the McGucken framework: the fourth dimension x₄ expands at the speed of light, from every point in spacetime, in all directions. The math is just dx₄/dt = ic. Everything that follows in this paper is derived from this single statement — the entire structure of general relativity, including Einstein’s field equations, the Schwarzschild solution, gravitational waves, and the rest. Standard general relativity assumes six separate things; the McGucken framework derives all six from this one geometric fact.

2.2 Theorem 1: The Master Equation

Theorem 1 (Master Equation). Under the McGucken Principle, the four-velocity u^μ = dx^μ/dτ of any particle satisfies the master equation u^μ u_μ = −c² in Minkowski signature (−, +, +, +).

Proof.

Let τ be the proper time along the worldline of a particle, defined by dτ² = −(1/c²) g_μν dx^μ dx^ν, the Lorentz-invariant proper-time interval. By Convention 1.5.2, we work in the standard numbering (x⁰, x¹, x², x³) with x⁰ = ct and signature (−, +, +, +); the McGucken coordinate is x₄ = ix⁰ = ict per Convention 1.5.1. The four-velocity is u^μ = dx^μ/dτ, with components in the standard numbering

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

where γ = 1/√(1 − v²/c²) and v^j = dx^j/dt. The relationship to the McGucken numbering is the coordinate identification u₄ = dx₄/dτ = i·(dx⁰/dτ) = i·u⁰ = icγ; the timelike component is real-valued cγ in the standard numbering and purely imaginary icγ in the McGucken numbering, with the imaginary unit absorbing the metric signature change between the (−, +, +, +) form and the (+, +, +, +) form that x₄ = ict produces. The two numbering conventions are related by a single global phase rotation of the timelike axis, not by an analytic continuation of the manifold itself.

Computing u^μ u_μ with the Minkowski metric (−, +, +, +):

u^μ u_μ = −(cγ)² + (vγ)² = −c²γ²(1 − v²/c²) = −c²γ²/γ² = −c²

Therefore u^μ u_μ = −c² for any particle, regardless of its state of motion. This is the Master Equation. The result is structurally a tautology of the proper-time definition: dτ² is constructed precisely so that g_μν u^μ u^ν = −c², and the McGucken Principle’s role is to identify the timelike component dx⁰/dτ = γ as the projection onto x₀ of the four-velocity whose magnitude is fixed at c by the principle’s assertion that x₀ (and therefore x₄ = ix₀) advances at rate c at every event. The Master Equation is therefore the proper-time-parametrized statement of the McGucken Principle. ∎

∎

2.3 Corollary 1.1: The Four-Velocity Budget

Corollary 1.1 (Four-Velocity Budget). The squared magnitudes of the x₄-component and the spatial components of the four-velocity satisfy |dx₄/dτ|² + |d⃗x/dτ|² = c². Every particle has total four-speed magnitude c partitioned between x₄-advance and three-spatial motion.

Proof.

From u^μ u_μ = −c² (Theorem 1) and the Minkowski metric, the magnitude of the timelike component is |u₀| = cγ = |dx₄/dτ|/i · i = |dx₄/dτ|. The spatial components have magnitude |⃗u| = vγ = |d⃗x/dτ|. The constraint u^μ u_μ = −c² written out in components gives −|dx₄/dτ|² + |d⃗x/dτ|² = −c², hence |dx₄/dτ|² + |d⃗x/dτ|² = c². ∎

∎

In plain language.

Theorem 1 says: every particle, no matter how fast or slow it’s moving, has a four-velocity whose total magnitude is exactly c. The corollary unpacks this: imagine a budget of c that has to be split between motion in the fourth dimension (x₄-advance) and motion in the three spatial dimensions. A particle sitting still spends all of its budget on x₄-advance — it’s moving at the speed of light into x₄. A photon spends all of its budget on spatial motion — it moves at c through space and has nothing left for x₄. Everything else is in between. This single constraint, which we’ll be using throughout the paper, is the kinematic substrate for everything that follows.

2.4 Comparison with Standard Derivation

Standard relativity introduces u^μ u_μ = −c² by definition: the four-velocity is the unit tangent vector to the worldline (scaled by c), and its squared magnitude is fixed at −c² by the Lorentz signature of the metric. This is presented as a kinematic fact — a feature of how the four-velocity is defined — rather than as a consequence of any deeper principle. The standard derivation does not explain why the four-velocity has fixed magnitude; it just defines it that way.

The McGucken derivation upgrades this to a theorem of dx₄/dt = ic. The four-velocity’s fixed magnitude is the consequence of x₄’s expansion at rate ic combined with the Lorentz signature: the timelike component is forced to magnitude cγ, the spatial components have magnitude vγ, and the squared sum is −c² by direct calculation. The derivation requires no additional kinematic postulate; the master equation falls out of the McGucken Principle. What standard relativity treats as a definitional convention, the McGucken framework derives as a forced consequence of x₄’s expansion.

The structural simplification is significant. In standard relativity, u^μ u_μ = −c² is one piece of mathematical machinery used to set up the kinematics; in the McGucken framework, it is the first theorem of a chain leading to the field equations. The same equation now has a derivational pedigree, and its physical content (the four-velocity budget) becomes a theorem to which subsequent results can appeal.

3. Theorem 2: The McGucken-Invariance Lemma

Theorem 2 (McGucken-Invariance Lemma). Under the McGucken Principle, the rate of x₄’s expansion is gravitationally invariant: dx₄/dt = ic globally on M, regardless of the gravitational field. In particular, x₄’s rate is independent of the metric tensor g_μν: ∂(dx₄/dt)/∂g_μν = 0 for all metric components. Only the spatial dimensions x₁, x₂, x₃ curve, bend, and warp under mass-energy; x₄’s expansion rate is unaffected.

3.1 Proof

Proof.

The McGucken Principle (Axiom of §2.1) states dx₄/dt = ic at every spacetime event, with c the velocity of light — a fundamental constant of physics. The only quantities in this equation are dx₄, dt, i, and c. The imaginary unit i and the constant c are not metric-dependent: they are constants of the framework, not properties of the gravitational field. Therefore the equation dx₄/dt = ic depends on no metric component, and ∂(dx₄/dt)/∂g_μν = 0 trivially.

Equivalently, the McGucken Principle is invariant under arbitrary smooth changes of the spatial metric h_ij on the leaves of the foliation F: the spatial slices can curve, bend, and warp in response to mass-energy, but the rate at which x₄ advances under any observer is unaffected. In the Cartan-geometry formalization of [18, §5], this is the statement that the Cartan curvature Ω vanishes when restricted to the P₄-direction: Ω₄ = 0 globally on M. ∎

∎

3.2 Geometric Content

Theorem 2 articulates the canonical doctrine of the framework: x₄ is invariant; the spatial three-slices bend. This is the structural commitment that distinguishes moving-dimension geometry from standard general relativity, in which all four spacetime dimensions can curve. The McGucken framework restricts curvature to the spatial sector: the spatial metric h_ij can have arbitrary Riemannian curvature in response to mass-energy, but the timelike direction x₄ remains rigid, advancing at ic regardless of the gravitational field.

Three corollaries follow immediately.

Corollary 2.1. Gravitational time dilation is a feature of the spatial-slice metric, not of x₄’s rate. Clocks in different gravitational potentials advance at different rates of proper time because their worldlines are differently embedded in the curved spatial geometry, but x₄ advances at ic under all observers.

Corollary 2.2. Gravitational redshift is a feature of light propagation through a curved spatial-slice metric, not a feature of x₄’s expansion. A photon’s wavelength changes as it climbs out of a gravitational well because the spatial metric varies with gravitational potential, not because x₄ advances differently in different potentials.

Corollary 2.3. There is no graviton. Gravity is the curvature of spatial slices induced by mass-energy, with x₄’s expansion remaining invariant. There is no quantum mediator of this curvature because the curvature is a geometric feature of the spatial metric, not a force transmitted between particles.

In plain language.

Theorem 2 says something striking and counter-intuitive: gravity affects only the spatial dimensions, not the fourth dimension x₄. When mass-energy curves spacetime, it curves the three spatial dimensions x₁, x₂, x₃ — making distances and angles different from what they would be in flat space — but x₄ keeps expanding at the speed of light, undisturbed. This explains a lot of phenomena in standard general relativity in a different way than usual. Gravitational time dilation isn’t a slowdown of time itself; it’s an effect of how clocks move through curved spatial geometry. Gravitational redshift isn’t a stretching of light’s frequency by gravity directly; it’s the effect of light propagating through a spatially curved region. And there’s no graviton — no quantum particle of gravity — because gravity isn’t a force mediated by particles, it’s the geometry of the spatial slices.

3.3 Comparison with Standard Derivation

Standard general relativity treats the metric tensor g_μν as a fully dynamical object: all four spacetime dimensions can curve under the influence of mass-energy. Gravitational time dilation, gravitational redshift, and the bending of light are all consequences of this universal four-dimensional curvature. The metric components g_{tt}, g_{ti}, and g_{ij} all vary with gravitational potential; the timelike direction is no more privileged than the spatial directions.

The McGucken framework restricts curvature to the spatial sector. The metric components g_{tt} (or equivalently g_{x₄ x₄}) and g_{ti} (or g_{x₄ x_j}) are forced to specific values by the McGucken-Invariance Lemma: g_{x₄ x₄} = −1 and g_{x₄ x_j} = 0 in any chart adapted to the foliation F. Only the spatial components g_{ij} = h_{ij} curve. This is, structurally, a constrained version of general relativity in which the metric has fewer dynamical degrees of freedom: 6 spatial-metric components instead of 10 four-metric components.

The structural simplification is significant. First, the no-graviton conclusion is forced by the framework: with x₄ invariant, there is nothing for a quantum mediator of gravity to do, and the search for a graviton becomes a category error rather than an ongoing experimental program. Second, the gravitational time-dilation and redshift effects acquire structurally clean derivations as features of the spatial-slice metric, not of universal four-curvature. Third, the framework predicts that experiments designed to detect quantum-gravitational effects in the timelike direction (e.g., quantum-superposition experiments testing the gravitational time dilation of macroscopic objects) will find no quantum-gravitational corrections in x₄, only in the spatial sector. This is a falsifiable distinguishing prediction.

4. Theorems 3–6: The Equivalence Principle

The Equivalence Principle is one of the foundational postulates of standard general relativity (P2 of §1.1). The McGucken framework derives it as four separate theorems descending from u^μ u_μ = −c² and the McGucken-Invariance Lemma. The theorems correspond to the four standard formulations of the Equivalence Principle: Weak (WEP), Einstein (EEP), Strong (SEP), and the Massless-Lightspeed Equivalence (newly identified as a fourth member of the family in [11]).

4.1 Theorem 3: Weak Equivalence Principle

Theorem 3 (Weak Equivalence Principle). Under the McGucken Principle, the gravitational mass m_g and inertial mass m_i of any particle are equal: m_g = m_i. Equivalently, all bodies in a given gravitational field accelerate at the same rate, independent of their composition or mass.

Proof.

By Theorem 1, every particle has four-velocity satisfying u^μ u_μ = −c². By the four-velocity budget (Corollary 1.1), the four-velocity is partitioned between x₄-advance and three-spatial motion with the constraint that the squared sum equals c². In a gravitational field, the spatial-slice metric h_ij is curved by the mass-energy distribution (per Theorem 2 and the field equations to be derived in §11), but x₄’s rate ic remains gravitationally invariant.

Consider a particle of mass m moving in a gravitational field. Its worldline is determined by the four-velocity budget: as the spatial slice curves, the particle’s spatial four-velocity components evolve according to the geodesic equation on the curved spatial manifold (this is Theorem 7, established in §5). Crucially, the geodesic equation depends only on the spatial metric h_ij and not on the particle’s mass m: the geodesic equation ä^λ + Γ^λ_{μν} ẋ^μ ẋ^ν = 0 has no m-dependent terms.

Therefore, two particles of different masses m_1 and m_2 placed at the same spacetime event with the same initial four-velocity follow the same worldline in the curved spatial geometry. Their accelerations are equal because both follow the same geodesic. The gravitational mass and inertial mass are therefore equal by construction: there is no separate ‘gravitational mass’ in the framework, only the universal coupling of every particle to the curved spatial-slice geometry through the four-velocity budget. ∎

∎

4.2 Theorem 4: Einstein Equivalence Principle

Theorem 4 (Einstein Equivalence Principle). Under the McGucken Principle, the laws of non-gravitational physics in any sufficiently small freely falling laboratory are the laws of special relativity: locally, gravity can be transformed away by a suitable choice of inertial frame, and the McGucken Principle dx₄/dt = ic holds in that local inertial frame exactly as in flat spacetime.

Proof.

Let p be a point of M and let Σ_t be the spatial slice through p. By the smoothness of the spatial metric h_ij, there exist Riemann normal coordinates around p in which h_ij(p) = δ_ij and the first derivatives of h_ij vanish at p. In these coordinates, the spatial metric is locally Euclidean to first order; deviations from Euclidean geometry appear only at second order, scaling as the local Riemann curvature R_ijkl(p) times the squared distance from p.

By the McGucken-Invariance Lemma (Theorem 2), the timelike direction x₄ advances at ic globally, including in the local Riemann normal frame at p. Therefore, in a sufficiently small neighborhood of p, the four-dimensional geometry consists of (i) locally Euclidean spatial slices and (ii) x₄ advancing at ic. This is precisely the geometry of flat Minkowski spacetime in the McGucken Principle’s reading. The laws of special relativity hold locally because the local geometry is locally that of special relativity. ∎

∎

4.3 Theorem 5: Strong Equivalence Principle

Theorem 5 (Strong Equivalence Principle). Under the McGucken Principle, all the laws of physics, including the gravitational interaction itself, take their special-relativistic form in any sufficiently small freely falling laboratory.

Proof.

By Theorem 4, the local geometry around any point p is special-relativistic to first order. The gravitational field equations themselves are the differential expression of ‘spatial slices curve in response to mass-energy’ (to be derived as Theorem 11 in §11); they are local equations of motion for the spatial-metric components, written in tensor form. In a freely falling local frame, the gravitational field at p is transformed away (to first order), and the gravitational equations reduce locally to the field equations of flat-spacetime general relativity — i.e., to the special-relativistic limit. ∎

∎

4.4 Theorem 6: Massless-Lightspeed Equivalence

Theorem 6 (Massless-Lightspeed Equivalence). Under the McGucken Principle, three statements about a particle are equivalent: (a) the particle has zero rest mass, m = 0; (b) the particle propagates at the speed of light, |d⃗x/dt| = c; (c) the particle’s x₄-component of four-velocity vanishes, dx₄/dτ = 0.

Proof.

By the four-velocity budget (Corollary 1.1), |dx₄/dτ|² + |d⃗x/dτ|² = c². The relationship between proper time and coordinate time is dτ = dt·√(1 − v²/c²), where v = |d⃗x/dt|. As v → c, dτ → 0; as v < c, dτ > 0; v > c is forbidden by the four-velocity budget (would require imaginary x₄-component magnitude beyond what the budget allows).

(a) ⇒ (b): A particle with m = 0 has rest energy E_0 = mc² = 0. Energy-momentum relations require E² = (pc)² + (mc²)² = (pc)² for m = 0, hence E = pc. The relativistic relationship E = mc²γ with m = 0 is degenerate; massless particles do not have well-defined proper time. The constraint is satisfied only when v = c with finite p. Therefore m = 0 ⇒ v = c.

(b) ⇒ (c): If v = c, then dτ → 0, and dx₄/dτ = icγ with γ → ∞. The product icγ · dτ = ic·dt remains finite, but as a ratio per unit proper time, dx₄/dτ has no well-defined finite value. In the appropriate limiting sense, the particle does not advance in x₄ at all per unit proper time — it is ‘frozen in x₄,’ with all of its motion happening in the spatial dimensions. Equivalently: the four-momentum P^μ of a massless particle is null, P^μ P_μ = 0, with the timelike component P₄ = E/c balanced exactly by the spatial momentum |⃗P| = E/c.

(c) ⇒ (a): If dx₄/dτ = 0, then the four-velocity has zero timelike component, hence u^μ u_μ = |d⃗x/dτ|². By Theorem 1, u^μ u_μ = −c², but with zero timelike component this requires |d⃗x/dτ|² = −c², which is impossible for real spatial components. The resolution is that the particle does not have well-defined proper time — it is on a null worldline. A particle on a null worldline has, by definition, zero invariant rest mass: its four-momentum P^μ satisfies P^μ P_μ = −(mc)² = 0, hence m = 0. ∎

∎

In plain language.

Theorem 6 explains a striking fact about massless particles in three equivalent ways. Why do photons (and other massless particles) move at exactly the speed of light? Three answers, all equivalent: (a) because they have no rest mass; (b) because their spatial speed is c; (c) because they don’t advance in x₄ at all — their entire four-velocity budget is spent on spatial motion, leaving zero for x₄-advance. These three statements are saying the same geometric thing in different ways. A massless particle has all of its motion in space, none in x₄. A massive particle at rest has all of its motion in x₄, none in space. Everything else is in between. This is a structural identity, not three separate facts that happen to coincide. The McGucken framework reveals that being massless, moving at c, and being frozen in x₄ are the same thing seen from different sides.

4.5 Comparison with Standard Derivation

Standard general relativity introduces the Equivalence Principle as a separate postulate — Einstein’s 1907 ‘happiest thought,’ motivated by the universal acceleration of falling bodies. The principle is then assumed to hold and used to motivate the geometric structure of general relativity: free particles follow geodesics, the laws of physics in a freely falling frame are those of special relativity, and so on. Standard derivations do not derive the Equivalence Principle from anything deeper; they treat it as an empirical input.

The McGucken framework derives the Equivalence Principle as four separate theorems (Theorems 3–6), all descending from u^μ u_μ = −c² (Theorem 1) and the McGucken-Invariance Lemma (Theorem 2). The structural source is that every particle’s coupling to gravity is mediated through its four-velocity’s partition between x₄ and three-space; gravity affects only the spatial-slice geometry; therefore all particles couple to gravity in the same way, regardless of their mass or composition. The Equivalence Principle is not an independent postulate but a structural consequence of x₄’s gravitational invariance.

The Massless-Lightspeed Equivalence (Theorem 6) is a structural addition to the standard family. Standard general relativity treats the masslessness of photons and the lightspeed propagation of light as separate facts, related by the energy-momentum relation E² = (pc)² + (mc²)² but not identified as a triple equivalence. The McGucken framework reveals that masslessness, lightspeed, and zero x₄-advance are three formulations of the same geometric fact: a particle with no x₄-component of four-velocity must have its entire four-velocity budget in spatial motion, hence v = c, hence m = 0. The triple equivalence is forced by the four-velocity budget; standard relativity does not state it because it lacks the McGucken Principle’s privileged x₄-direction.

5. Theorem 7: The Geodesic Principle

Theorem 7 (Geodesic Principle). Under the McGucken Principle, the worldline of a free particle (one subject to no non-gravitational forces) extremizes the proper-time x₄-arc-length ∫|dx₄|_proper between any two events on the worldline. In flat spacetime, this gives a straight worldline; in curved spacetime, this gives a geodesic of the four-dimensional Lorentzian metric.

5.1 Proof

Proof.

By [13, Theorem 1] (the action-arc-length theorem of the least-action paper), the relativistic action of a free particle is S = −m·c·∫|dx₄|_proper, exactly proportional to the proper-time x₄-arc-length traveled along the worldline. The Principle of Least Action requires δS = 0 with fixed endpoints, equivalent to extremizing ∫|dx₄|_proper.

By the four-velocity budget (Corollary 1.1), the proper-time x₄-arc-length is maximized by the worldline that allocates as much of the fixed budget c² as possible to x₄-advance — i.e., that minimizes spatial detours. In flat spacetime, this is the unique straight worldline connecting the two events. In curved spacetime, the spatial slices are curved by the field equations (Theorem 11), and the worldline of maximum proper-time x₄-arc-length is the geodesic of the four-dimensional Lorentzian metric — the worldline that follows the spatial slices’ curvature without lateral detour.

Therefore the worldline of a free particle satisfies the geodesic equation

d²x^λ/dτ² + Γ^λ_{μν}·(dx^μ/dτ)·(dx^ν/dτ) = 0

where Γ^λ_{μν} is the Christoffel connection of the four-dimensional Lorentzian metric (to be defined as a theorem in §6). ∎

∎

In plain language.

Theorem 7 says: a free particle — one with no forces acting on it — follows the worldline that maximizes its proper time, equivalently the worldline that maximizes its advance into x₄. In flat spacetime, this is a straight line. In curved spacetime (where mass-energy has curved the spatial slices), this is a geodesic — the curved-spacetime version of a straight line, the worldline that follows the local geometry without any extra deflection. The key insight is: the particle isn’t ‘choosing’ to follow a geodesic. It’s being carried by x₄’s expansion in whatever direction its four-velocity is pointing, and in the absence of forces, its four-velocity stays pointing in the same direction — which means it follows the geodesic of the local geometry by default.

5.2 Comparison with Standard Derivation

Standard general relativity treats the geodesic principle as a separate postulate (P3 of §1.1) — the assertion that free particles follow geodesics of the metric. This postulate is sometimes motivated by an extension of Newton’s First Law to curved spacetime (a free particle continues at constant four-velocity, which on a curved manifold means following a geodesic), but the motivation is heuristic; the postulate stands as an independent axiom of general relativity. Some derivations [3, §4.5] attempt to derive the geodesic principle from the equations of motion of a continuous matter distribution (the geodesic-of-a-test-particle theorem of Einstein-Infeld-Hoffmann), but this derivation requires substantial additional structure.

The McGucken framework derives the geodesic principle from the action-arc-length theorem (§5.1, Theorem 7) plus the four-velocity budget (Corollary 1.1). The derivational chain is short: the action of a free particle is proportional to the proper-time x₄-arc-length; the worldline that extremizes this is the worldline that maximizes x₄-advance subject to boundary conditions; this is the geodesic of the four-dimensional metric. What standard relativity assumes as an independent postulate, the McGucken framework derives in a single short proof from x₄’s expansion at rate ic.

The structural simplification is also pedagogical. In standard relativity, students learn the geodesic principle as a separate fact about how particles move, often before the field equations are introduced. In the McGucken framework, the geodesic principle is the conclusion of a chain that begins with x₄’s expansion: students see the principle as an inevitable consequence of the four-velocity budget plus the action-arc-length identification, with no separate postulate required.

PART II — CURVATURE AND FIELD EQUATIONS

Part II establishes the curvature analysis of the spatial slices and the field equations governing their dynamics. The Christoffel connection is derived as Theorem 8; the Riemann curvature tensor as Theorem 9; the geodesic deviation equation as Corollary 9.1; the Ricci tensor and scalar as Theorem 10; the Bianchi identities as Theorem 10.5; the stress-energy tensor as Theorem 10.7; and the Einstein field equations as Theorem 11. These six results constitute the structural content of ‘gravity is the curvature of the spatial slices’ in formal mathematical terms.

6. Theorem 8: The Christoffel Connection

Theorem 8 (Christoffel Connection). Under the McGucken Principle, the natural connection on the spatial slices of M is the Levi-Civita connection of the spatial metric h_ij: Γ^k_{ij} = ½ h^{kl}(∂_i h_{jl} + ∂_j h_{il} − ∂_l h_{ij}). The connection is symmetric (torsion-free) and metric-compatible (∇h = 0). On the four-manifold M, with the McGucken-Invariance Lemma constraining g_{x₄ x₄} = −1 and g_{x₄ x_j} = 0, the four-dimensional Christoffel connection extends naturally with Γ^λ_{x₄ x₄} = 0 and Γ^{x₄}_{ij} = 0.

6.1 Proof

Proof.

By Theorem 2 (McGucken-Invariance), the metric components in any chart adapted to the foliation F satisfy g_{x₄ x₄} = −1, g_{x₄ x_j} = 0, and g_{ij} = h_{ij} (the spatial metric on the leaves). The four-dimensional metric tensor therefore has a block-diagonal structure with the timelike block constant and the spatial block carrying all the dynamical content.

By the Fundamental Theorem of (pseudo-)Riemannian Geometry [3, Theorem 3.1.1], the unique torsion-free metric-compatible connection on (M, g) is the Levi-Civita connection, with Christoffel symbols

Γ^λ_{μν} = ½ g^{λσ}(∂_μ g_{νσ} + ∂_ν g_{μσ} − ∂_σ g_{μν})

The McGucken-Invariance Lemma forces several Christoffel components to vanish. First, with g_{x₄ x₄} = −1 (a constant), all derivatives ∂_μ g_{x₄ x₄} = 0; therefore Γ^λ_{x₄ x₄} = ½ g^{λσ}·(0 + 0 − ∂_σ g_{x₄ x₄}) = 0. Second, with g_{x₄ x_j} = 0 (constant), all derivatives ∂_μ g_{x₄ x_j} = 0; combined with metric compatibility this forces Γ^{x₄}_{ij} = 0 for purely spatial indices i, j.

The remaining Christoffel components reduce to the Levi-Civita connection of the spatial metric:

Γ^k_{ij} = ½ h^{kl}(∂_i h_{jl} + ∂_j h_{il} − ∂_l h_{ij})

for spatial indices i, j, k. This is the standard Levi-Civita formula on a Riemannian manifold (the spatial slice with metric h_ij), and it satisfies symmetry (Γ^k_{ij} = Γ^k_{ji}) and metric-compatibility (∇h = 0) by construction. ∎

∎

6.2 Comparison with Standard Derivation

Standard general relativity introduces the metric-compatibility and torsion-freeness of the connection as a postulate (P4 of §1.1). The choice is motivated by the desire to preserve lengths and angles under parallel transport (metric-compatibility) and by simplicity (torsion-freeness). Einstein-Cartan theory, with non-zero torsion, is mathematically viable but is not the standard choice; the standard general-relativistic connection is the unique torsion-free metric-compatible connection — the Levi-Civita connection.

The McGucken framework derives metric-compatibility and torsion-freeness as theorems. Metric-compatibility is forced by the McGucken-Invariance Lemma (Theorem 2): with g_{x₄ x₄} = −1 globally, the timelike block of the metric is non-dynamical, and metric-compatibility ∇g = 0 reduces to ∇h = 0 in the spatial sector — which is the standard Levi-Civita condition on the spatial slice. Torsion-freeness is the natural consequence of the spatial slice being a smooth Riemannian manifold (Riemannian manifolds standardly carry the Levi-Civita connection, which is unique under metric-compatibility plus torsion-freeness).

The structural simplification is significant. Standard general relativity has ten independent metric components and forty independent Christoffel components on a four-manifold; the McGucken framework has six independent spatial-metric components and far fewer Christoffel components, because the McGucken-Invariance Lemma forces many to vanish. The reduced count does not eliminate the dynamical content of general relativity — the spatial slices still curve as in standard relativity — but it makes the timelike sector geometrically rigid, which has consequences for the field equations (Theorem 11) and the no-graviton conclusion (Corollary 2.3).

7. Theorem 9: The Riemann Curvature Tensor

Theorem 9 (Riemann Curvature Tensor). Under the McGucken Principle, the Riemann curvature tensor of the four-dimensional spacetime is determined by the spatial-slice Riemann tensor R^l_{ijk} of the spatial metric h_ij. The four-dimensional Riemann tensor has nonzero components only in the spatial sector: R^l_{ijk} (purely spatial), with all components having a timelike (x₄) index vanishing identically.

7.1 Proof

Proof.

The Riemann curvature tensor R^ρ_{σμν} is defined in terms of the Christoffel connection by

R^ρ_{σμν} = ∂_μ Γ^ρ_{νσ} − ∂_ν Γ^ρ_{μσ} + Γ^ρ_{μλ}Γ^λ_{νσ} − Γ^ρ_{νλ}Γ^λ_{μσ}

By Theorem 8, the Christoffel components with any index in the timelike (x₄) direction vanish: Γ^λ_{x₄ μ} = 0 for all λ and μ, and Γ^{x₄}_{μν} = 0 for all μ and ν. Substituting into the Riemann definition: any component R^ρ_{σμν} with σ, μ, or ν equal to x₄ vanishes, because every term in the formula contains at least one Christoffel symbol with a x₄ index, which is zero.

The only nonzero components of the Riemann tensor are therefore the purely spatial ones: R^l_{ijk} (with all indices in the spatial range 1, 2, 3). These components are the standard Riemann tensor of the spatial metric h_ij, computed from the Levi-Civita connection on the spatial slice. ∎

∎

7.2 Corollary 9.1: The Geodesic Deviation Equation

Corollary 9.1 (Geodesic Deviation). Under the McGucken Principle, the relative acceleration between two nearby free-falling particles, separated by a small four-vector ξ^μ, is governed by the geodesic deviation equation D²ξ^λ/dτ² = R^λ_{μνσ} u^μ u^ν ξ^σ, with the Riemann tensor having nonzero components only in the spatial sector.

Proof.

The geodesic deviation equation follows from comparing the geodesic equations of two nearby worldlines. For worldlines separated by ξ^μ, the difference in their accelerations is

D²ξ^λ/dτ² = R^λ_{μνσ} u^μ u^ν ξ^σ

where D/dτ is the covariant derivative along the worldline. By Theorem 9, the only nonzero Riemann components are spatial. Therefore the relative acceleration has nonzero components only in the spatial directions: the spatial separations between nearby free-falling particles deviate, but their separation in x₄ does not curve. This is the formal expression of ‘tidal forces in spatial directions, x₄ unaffected’ in the framework. ∎

∎

In plain language.

Theorem 9 says: the curvature of spacetime, encoded by the Riemann tensor, lives entirely in the three spatial dimensions. Curvature has no x₄-component. The corollary on geodesic deviation makes this concrete: when two nearby free-falling objects diverge or converge due to gravity (the tidal-force effect that makes the Moon raise tides on Earth), the divergence happens in the spatial directions only. There’s no tidal force in x₄ — the fourth dimension stays rigid. This matches the canonical doctrine: spatial slices curve, x₄ is invariant. The Riemann tensor describes how spatial slices curve; x₄ doesn’t enter the picture.

7.3 Comparison with Standard Derivation

Standard general relativity computes the Riemann tensor with all indices ranging over the four spacetime dimensions, giving 256 components in four dimensions, reduced to 20 independent components by symmetries. The Riemann tensor in standard general relativity has nonzero components in all sectors — purely spatial, purely temporal, and mixed. Different components describe different physical effects: spatial-spatial components describe spatial-tidal forces, time-time components describe gravitational time-dilation gradients, and mixed components describe frame-dragging and related effects.

The McGucken framework forces all Riemann components with timelike indices to vanish, reducing the Riemann tensor to its purely spatial part. The Riemann tensor in the McGucken framework has only six independent components (the components of the spatial Riemann tensor in three dimensions, with symmetries), compared to twenty in standard general relativity. The reduction is not a loss of physical content but a structural reorganization: phenomena that standard relativity attributes to time-time and mixed Riemann components are reattributed in the McGucken framework to spatial-curvature effects on worldlines that pass through different gravitational potentials. Gravitational time dilation, for instance, is not a feature of time-time Riemann components (which are zero in the framework) but a feature of how worldlines are embedded in spatial slices of varying curvature.

The structural simplification has practical consequences. First, the explicit computation of curvature in the McGucken framework is simpler: only spatial components are nonzero, and the spatial Riemann tensor has standard formulas in three dimensions. Second, the framework predicts that experiments designed to probe time-time Riemann components (e.g., precision measurements of gravitational time dilation) measure effects that the framework reattributes to spatial curvature — an empirically distinguishable prediction in the limit of high precision. Third, the no-graviton conclusion (Corollary 2.3) follows naturally: with no time-time Riemann components, there is no propagating quantum-mechanical degree of freedom in the timelike direction, and the graviton (a quantum of curvature in standard relativity) has no excitation channel in the McGucken framework.

8. Theorem 10: The Ricci Tensor and Scalar Curvature

Theorem 10 (Ricci Tensor and Scalar Curvature). Under the McGucken Principle, the Ricci tensor R_{μν} = R^λ_{μλν} of the four-dimensional spacetime has nonzero components only in the spatial sector: R_{ij} (purely spatial). The scalar curvature R = g^{μν}R_{μν} reduces to the spatial scalar curvature R = h^{ij}R_{ij}, computed on the spatial metric h_ij.

8.1 Proof

Proof.

The Ricci tensor is defined as the contraction R_{μν} = R^λ_{μλν}. By Theorem 9, the Riemann tensor has nonzero components only when all indices are spatial. Therefore the contraction R^λ_{μλν} contributes nonzero terms only when both μ and ν are spatial (otherwise the contracted Riemann tensor has at least one timelike index, hence vanishes). The Ricci tensor R_{μν} has nonzero components only in the spatial sector R_{ij}.

The scalar curvature R = g^{μν}R_{μν} is then computed by contraction with the inverse metric. The McGucken-Invariance Lemma forces g^{x₄ x₄} = −1 (constant) and g^{x₄ x_j} = 0; therefore the contribution of the timelike sector to R is g^{x₄ x₄} R_{x₄ x₄} = (−1)(0) = 0. The scalar curvature reduces to

R = g^{μν}R_{μν} = h^{ij}R_{ij}

the spatial scalar curvature of the spatial metric h_ij. ∎

∎

8.2 Theorem 10.5: The Bianchi Identities

Theorem 10.5 (Bianchi Identities). Under the McGucken Principle, the Riemann tensor satisfies the second Bianchi identity ∇_{[μ}R^ρ_{σ]νλ} = 0 (cyclic sum over μ, ν, λ). Contracting twice gives the contracted Bianchi identity ∇_μ G^{μν} = 0, where G^{μν} = R^{μν} − ½ g^{μν} R is the Einstein tensor.

Proof.

The second Bianchi identity is a geometric consistency condition on the curvature tensor of any Riemannian manifold (and, by extension, any Lorentzian manifold). It is a direct consequence of the symmetry of the Riemann tensor and the definition of the covariant derivative. The standard proof [3, §3.2.7] applies to the McGucken framework without modification, since the Bianchi identity holds for the spatial Riemann tensor on the spatial slice, and the McGucken-Invariance Lemma ensures the timelike-direction contributions are trivial.

The contracted Bianchi identity follows from contracting the second Bianchi identity with the metric:

∇_μ R^{μν} = ½ ∇^ν R (twice-contracted Bianchi)

Equivalently, the Einstein tensor G^{μν} = R^{μν} − ½ g^{μν} R is divergence-free: ∇_μ G^{μν} = 0. ∎

∎

8.3 Theorem 10.7: The Stress-Energy Tensor

Theorem 10.7 (Stress-Energy Tensor and Conservation). Under the McGucken Principle, the stress-energy tensor T^{μν} encoding the matter content satisfies the conservation law ∇_μ T^{μν} = 0. This conservation is forced by Noether’s theorem applied to the temporal-translation symmetry inherited from x₄’s expansion.

Proof.

The McGucken Principle dx₄/dt = ic asserts that x₄’s expansion rate is invariant in t — the rate is the same at every coordinate time. By the McGucken-Invariance Lemma (Theorem 2), this rate is also gravitationally invariant. The framework therefore has temporal-translation symmetry: physics is invariant under uniform shifts of t, with x₄ advancing at the same rate ic regardless of the absolute value of t.

By Noether’s theorem (derived in [13, Theorem 4] as a consequence of x₄’s expansion), every continuous symmetry of the action gives a conserved current. Temporal-translation symmetry gives the conservation of energy-momentum, encoded by the stress-energy tensor: ∇_μ T^{μν} = 0. ∎

∎

In plain language.

These three theorems develop the standard tensor calculus of general relativity within the McGucken framework. The Ricci tensor is a contraction of the Riemann tensor; the scalar curvature is a contraction of the Ricci tensor. The Bianchi identities are geometric consistency conditions — like saying ‘the sum of the angles in a triangle is 180°’ but for curvature, applied to any Riemannian or Lorentzian manifold. The stress-energy tensor describes how matter and energy are distributed; its conservation says that energy and momentum aren’t created or destroyed. All of this is standard machinery from general relativity, and the McGucken framework reproduces it — with the structural difference that all the curvature happens in the spatial sector, with x₄ unaffected.

8.3a Derivation of Stress-Energy Conservation via Diffeomorphism Invariance

We give the explicit derivation of ∇_μ T^{μν} = 0 from the McGucken Principle through four-dimensional diffeomorphism invariance, so that Theorem 10.7 stands self-contained within the present paper. The same derivation appears in expanded form in the companion Noether-unification paper [MG-Noether, Propositions VII.5-VII.6], where it is developed alongside the full ten-charge Poincaré catalog.

Step 1: x₄-translation symmetry forces global temporal translation invariance. The McGucken Principle dx₄/dt = ic asserts that x₄ expands at the same rate ic from every spacetime event. The expansion rate is independent of the spacetime location at which the expansion is measured: at every event p ∈ M, the local rate of x₄-advance is ic, with no privileged origin. This translational uniformity is the temporal-translation symmetry of the action: shifting the t-coordinate by a constant Δt leaves the action S = ∫ ℒ d⁴x invariant, because the Lagrangian density ℒ depends on t only through derivatives ∂_μψ that are unaffected by global translations and through metric components g_{μν} which, by the McGucken-Invariance Lemma (Theorem 2), are themselves t-independent in the McGucken-adapted chart of Convention 1.5.4.

Step 2: Spatial homogeneity of x₄’s expansion forces spatial-translation invariance. The McGucken Principle equally asserts that x₄ expands at rate ic independently of spatial location: the rate at the origin and at any other spatial point are identical. This is spatial homogeneity. Shifting the spatial coordinates ⃗x by a constant vector Δ⃗x leaves the action invariant by the same argument as Step 1, with x₄-rate uniformity replaced by x₄-rate spatial homogeneity.

Step 3: Combined four-translation invariance is part of full Poincaré invariance. Steps 1 and 2 together establish four-dimensional translation invariance of the action: shifting any spacetime coordinate x^μ by a constant a^μ leaves S unchanged. Combined with the rotational and Lorentz-boost invariances established by [MG-Noether, Propositions V.1-V.5] (which derive these symmetries from the spherical isotropy and Lorentz covariance of x₄’s expansion), the full ten-parameter Poincaré symmetry of the action is established.

Step 4: Diffeomorphism invariance from coordinate-independence of M. The four-dimensional manifold M of Convention 1.5.1 admits arbitrary smooth coordinate transformations: M is a smooth manifold and its physical content is independent of the particular chart used to label its points. The McGucken Principle is stated as a relation between coordinate functions (x₄ and t) but its physical content—that the timelike axis advances at rate c at every event—is coordinate-invariant. Therefore the action of the matter and gravitational fields, which describes the physical content of the framework, must be invariant under arbitrary smooth coordinate transformations φ: M → M. This is four-dimensional diffeomorphism invariance, of which the four-translation invariance of Step 3 is the rigid (constant-shift) special case.

Step 5: Noether’s theorem applied to diffeomorphism invariance forces ∇_μ T^{μν} = 0. Under an infinitesimal diffeomorphism δx^μ = ξ^μ(x), the metric varies as δg_{μν} = ∇_μ ξ_ν + ∇_ν ξ_μ (Lie derivative of the metric along ξ). The matter action varies as δS_matter = ∫ (δS_matter / δg_{μν})·δg_{μν} d⁴x = ½ ∫ T^{μν}·(∇_μ ξ_ν + ∇_ν ξ_μ) √(-g) d⁴x = ∫ T^{μν}·∇_μ ξ_ν √(-g) d⁴x where the second equality uses the standard identification of the stress-energy tensor as the symmetric variation T^{μν} ≡ (2/√(-g))·δS_matter/δg_{μν}, and the third follows from symmetrizing the μν indices. Integration by parts gives δS_matter = -∫ (∇_μ T^{μν})·ξ_ν √(-g) d⁴x + boundary terms. Diffeomorphism invariance demands δS_matter = 0 for arbitrary ξ^μ; with vanishing boundary terms (compactly-supported ξ), this forces ∇_μ T^{μν} = 0 pointwise.

Conclusion. The covariant conservation law ∇_μ T^{μν} = 0 is therefore a derived theorem of the McGucken Principle: the chain dx₄/dt = ic ⇒ spatial-temporal homogeneity of x₄-expansion (Steps 1-2) ⇒ four-translation invariance (Step 3) ⇒ full diffeomorphism invariance via coordinate-independence of M (Step 4) ⇒ ∇_μ T^{μν} = 0 by Noether’s theorem applied to the diffeomorphism group (Step 5). The result is structurally the same as [MG-Noether, Propositions VII.5-VII.6] applied to the matter content of the present paper. The standard postulate of stress-energy conservation in general relativity (P5 of §1.1) is therefore not assumed here but derived as Theorem 10.7. ∎

In plain language. The proof above shows step-by-step why the energy-momentum of matter must be conserved in the McGucken framework. The McGucken Principle says x₄ expands at the same rate everywhere and at every time. ‘Same rate everywhere’ means the laws don’t care where you are (spatial translation symmetry) or when you are (temporal translation symmetry). When you let the ‘same rate everywhere’ condition extend to arbitrary smooth coordinate changes (not just shifts), you get diffeomorphism invariance, the gold standard of general relativity. Noether’s theorem then says: every continuous symmetry produces a conservation law. Applied to diffeomorphism invariance, the conservation law is ∇_μ T^{μν} = 0 — the covariant conservation of energy-momentum. Standard general relativity has to assume this; the McGucken framework derives it.

8.4 Comparison with Standard Derivation

Standard general relativity computes the Ricci tensor, scalar curvature, and Bianchi identities with all indices ranging over the four spacetime dimensions. The Ricci tensor has 10 independent components in standard relativity; in the McGucken framework, it has 6 (the components in the purely spatial sector). The scalar curvature is the same scalar quantity in both; in the McGucken framework, it equals the spatial scalar curvature directly. The Bianchi identities are the same geometric identities, but the McGucken framework’s reduced curvature tensor makes their content cleaner: the four-dimensional Bianchi identities reduce to the three-dimensional Bianchi identities of the spatial slice plus the trivial timelike conditions.

The conservation of the stress-energy tensor is a postulate in standard general relativity (P5 of §1.1), motivated by Noether’s theorem applied to translation invariance. In the McGucken framework, this is a derived theorem (Theorem 10.7): the temporal-translation symmetry is inherited from x₄’s uniform expansion, and Noether’s theorem (itself derived from dx₄/dt = ic in [13]) forces ∇_μ T^{μν} = 0. The covariant form ∇_μ T^{μν} = 0 of stress-energy conservation is established directly in the companion Noether-unification paper [MG-Noether, Propositions VII.5–VII.6] as the Noether current of four-dimensional diffeomorphism invariance, with the diffeomorphism invariance itself being the coordinate-independence of the four-dimensional manifold on which x₄ expands. Theorem 10.7 of the present paper is the stress-energy-tensor specialization of [MG-Noether]’s general result. Standard relativity introduces stress-energy conservation as an axiom; the McGucken framework derives it as a theorem with the temporal-translation symmetry of x₄’s expansion as the structural source.

9. Theorem 11: The Einstein Field Equations

Theorem 11 (Einstein Field Equations). Under the McGucken Principle, the spatial-slice geometry responds to the matter content according to the Einstein field equations: G_{μν} + Λ g_{μν} = (8πG/c⁴) T_{μν}, where G_{μν} = R_{μν} − ½ g_{μν} R is the Einstein curvature tensor, T_{μν} is the stress-energy tensor, G is Newton’s gravitational constant, c is the velocity of light, and Λ is the cosmological constant. By the McGucken-Invariance Lemma, the equations have nontrivial content only in the spatial sector: G_{ij} + Λ h_{ij} = (8πG/c⁴) T_{ij}.

9.1 Proof

Proof.

The field equations follow from the requirement that the matter content (encoded by T_{μν}) and the geometry (encoded by the curvature tensor) are coupled in the unique tensor equation that respects: (i) the conservation of stress-energy (∇_μ T^{μν} = 0, by Theorem 10.7); (ii) the contracted Bianchi identity (∇_μ G^{μν} = 0, by Theorem 10.5); (iii) the dimensional and sign conventions matching Newtonian gravity in the appropriate weak-field limit.

Conditions (i) and (ii) together force the geometric and matter sides of the field equations to be related by a tensor equation in which both sides have vanishing divergence. By Lovelock’s theorem [29a], in four spacetime dimensions the only divergence-free symmetric (0,2)-tensor constructible from the metric and its first two derivatives, that depends linearly on the second derivatives, is a linear combination of the Einstein tensor G_{μν} and the metric tensor g_{μν} itself. The most general such tensor equation is therefore

G_{μν} + Λ g_{μν} = κ T_{μν}

where Λ and κ are constants. The constant κ is fixed by the Newtonian-limit requirement that the field equations reduce to Poisson’s equation ∇²Φ = 4πGρ in the weak-field, slow-motion limit; this gives κ = 8πG/c⁴. The cosmological constant Λ is an undetermined parameter, fixed by observation.

By the McGucken-Invariance Lemma (Theorem 2), the timelike-sector components of the field equations are trivially satisfied: G_{x₄ x₄} = 0 (from Theorem 10), g_{x₄ x₄} = −1 is constant, and the timelike-sector stress-energy T_{x₄ x₄} represents the energy density, which contributes to the spatial-curvature equations through trace conditions but not to a separate timelike-sector field equation. The dynamical content of the field equations resides in the spatial sector:

G_{ij} + Λ h_{ij} = (8πG/c⁴) T_{ij}

where i, j range over the three spatial indices. ∎

∎

9.2 Geometric Content

Theorem 11 articulates the canonical doctrine of general relativity in the McGucken framework: the spatial slices x₁x₂x₃ curve in response to mass-energy, with x₄’s expansion remaining gravitationally invariant. The field equations are the differential expression of this doctrine, with the Einstein tensor on the geometric side and the stress-energy tensor on the matter side. The Newton constant G and the velocity of light c set the coupling strength; the cosmological constant Λ parameterizes the cosmic-scale dark-energy content.

The McGucken framework’s reading of the field equations is structurally cleaner than the standard reading. In standard general relativity, the field equations describe ‘how four-dimensional spacetime curves under mass-energy,’ with all four dimensions potentially curving. In the McGucken framework, the field equations describe ‘how the three spatial dimensions curve, with the fourth dimension invariant.’ The dimensional structure of the equations is reduced from a 4×4 symmetric tensor (10 independent components) to a 3×3 symmetric tensor (6 independent components). The dynamical content is preserved; the structural picture is sharpened.

In plain language.

Theorem 11 is the centerpiece of general relativity: the Einstein field equations. The standard reading: matter and energy curve four-dimensional spacetime. The McGucken reading: matter and energy curve the three spatial dimensions, with the fourth dimension (x₄) staying rigid and continuing to expand at the speed of light. Both readings give the same predictions for the canonical tests of general relativity (Mercury’s perihelion, light bending, gravitational waves), but the McGucken framework is structurally simpler: only spatial curvature, never temporal. This is what we mean by ‘spatial slices bend, x₄ is invariant.’

9.3 Comparison with Standard Derivation

Einstein’s 1915 derivation of the field equations [1] required eight years of struggle and three aborted theories (§1.3). The McGucken framework derives the same equations as a single theorem from the chain established in §§2–8. The derivational chain is: dx₄/dt = ic (Axiom) ⇒ u^μ u_μ = −c² (Theorem 1) ⇒ four-velocity budget (Corollary 1.1) ⇒ McGucken-Invariance (Theorem 2) ⇒ Equivalence Principle (Theorems 3–6) ⇒ geodesic principle (Theorem 7) ⇒ Christoffel connection (Theorem 8) ⇒ Riemann tensor (Theorem 9) ⇒ Ricci tensor (Theorem 10) ⇒ Bianchi identities (Theorem 10.5) ⇒ stress-energy conservation (Theorem 10.7) ⇒ Einstein field equations (Theorem 11).

The structural simplification is significant. Standard general relativity introduces six independent postulates (P1–P6) and derives the field equations as a consistent combination. The McGucken framework introduces one postulate (the McGucken Principle) and derives the field equations as the eleventh theorem in a chain. Each step of the chain is short and rigorous; each step has a clear structural source in the previous theorems.

Three structural advantages of the McGucken derivation deserve emphasis. First, the Equivalence Principle is not assumed but derived (Theorems 3–6), with u^μ u_μ = −c² as the structural source. Second, the metric-compatibility of the connection is not assumed but derived (Theorem 8), with the McGucken-Invariance Lemma as the structural source. Third, the conservation of stress-energy is not assumed but derived (Theorem 10.7), with x₄’s temporal-translation symmetry as the structural source via Noether’s theorem. The framework therefore has one axiom where standard relativity has six. The reduction is not cosmetic; it reveals the foundational geometric content from which everything else follows.

Parallel derivation via constructive gravity. The companion paper [MG-SM, Theorem 12] / [MG-SMGauge] reaches the same field equations through an independent derivation pathway: Schuller’s 2020 constructive-gravity programme [arXiv:2003.09726]. The Schuller route takes as input the universality of the matter principal polynomial P(k) = ημν k_μ k_ν (which itself follows from Theorem 1 of the present paper applied to the matter sector of [MG-SM]), and applies the Kuranishi involutivity algorithm [25] to the closure equations of constructive gravity, yielding the unique gravitational action satisfying hyperbolicity, predictivity, and diffeomorphism invariance. The result is the same Einstein-Hilbert action S_EH = (1/16πG)∫(R − 2Λ)√(−g)d⁴x whose Euler-Lagrange equations are G_μν + Λ g_μν = (8πG/c⁴)T_μν, identical to the result of Theorem 11 above. The two derivations are structurally distinct: the present paper’s pathway is internal (derives the field equations through the chain of Theorems 1–11 from dx₄/dt = ic alone, plus the Lovelock uniqueness theorem [29a]), while the [MG-SM] pathway is external (invokes Schuller’s constructive-gravity programme as a separate mathematical framework). Their convergence on the same field equations is structural corroboration: two independent routes from the McGucken Principle to G_μν + Λ g_μν = (8πG/c⁴)T_μν reduce the credibility risk that any one route’s auxiliary assumptions might be carrying hidden weight.

PART III — CANONICAL SOLUTIONS AND PREDICTIONS

Part III establishes the canonical solutions of the Einstein field equations and the standard predictions of general relativity as theorems descending from the chain of Parts I and II. Theorem 12 is the Schwarzschild solution; Theorem 13 is gravitational time dilation; Theorem 14 is gravitational redshift; Theorem 15 is the bending of light; Theorem 16 is Mercury’s perihelion precession; Theorem 17 is the gravitational-wave equation; Theorem 18 is the FLRW cosmology; and Theorem 19 is the no-graviton theorem. Each is presented as a theorem of the McGucken Principle, with the same formal-proof-plus-comparison structure as Parts I and II.

10. Theorem 12: The Schwarzschild Solution

Theorem 12 (Schwarzschild Solution). Under the McGucken Principle, the unique spherically symmetric vacuum solution of the Einstein field equations (Theorem 11) outside a non-rotating spherical mass M is the Schwarzschild metric. In coordinates adapted to the McGucken foliation, the metric takes the form ds² = −(1−2GM/c²r)dt² + (1−2GM/c²r)⁻¹ dr² + r²(dθ² + sin²θ dφ²). The Schwarzschild radius r_s = 2GM/c² marks the event horizon.

10.1 Proof

Proof.

We seek the most general spherically symmetric, static, vacuum solution of the field equations G_{μν} = 0. Spherical symmetry plus staticity imply that the metric in adapted coordinates has the form

ds² = −A(r)dt² + B(r)dr² + r²(dθ² + sin²θ dφ²)

for unknown functions A(r) and B(r). The relationship between the McGucken-adapted chart (Convention 1.5.4, with lapse N and trivial shift) and the standard Schwarzschild chart is a coordinate transformation t_McG = t_Schw·∫√A(r) dr/[c(1−2GM/c²r)] of the timelike coordinate, which leaves the manifold structure and the spatial-metric content invariant but reparametrizes the timelike axis to absorb the gravitational time-dilation factor into A(r). In the McGucken-adapted chart, A_McG = N²c² with the lapse N(r) carrying the position-dependence; in the standard Schwarzschild chart, the lapse is normalized to unity and the dependence is absorbed into A(r). The two charts are physically equivalent and produce identical predictions for all standard tests of general relativity; the McGucken-adapted reading clarifies that gravitational time dilation is a feature of how stationary observers’ clocks are embedded in the curved spatial slice rather than a feature of x₄ itself bending. We perform the calculation in the standard Schwarzschild chart and reinterpret the resulting A(r) in terms of the McGucken-adapted lapse at the end.

Solving the vacuum field equations G_{ij} = 0 in spherical symmetry [3, §6.1]: the spatial-Ricci tensor R_{ij} of the metric ds²_spatial = B(r)dr² + r²(dθ² + sin²θ dφ²) vanishes when B(r) = 1/(1 − 2GM/c²r). With this, the full metric is

ds² = −(1 − 2GM/c²r)dt² + (1 − 2GM/c²r)⁻¹ dr² + r² dΩ²

the Schwarzschild metric. The Schwarzschild radius r_s = 2GM/c² marks where g_{tt} → 0 and g_{rr} → ∞ in this chart, the event horizon. ∎

∎

10.2 Comparison with Standard Derivation

Karl Schwarzschild’s 1916 derivation [19] of the spherically symmetric vacuum solution was performed within Einstein’s newly-completed general-relativistic framework, using Einstein’s field equations and assuming the standard postulates of general relativity. The derivation has been the canonical model for solving general-relativistic field equations ever since.

The McGucken derivation reproduces the Schwarzschild metric exactly, with the structural difference that the timelike component A(r) of the metric encodes gravitational time dilation as a feature of the curved spatial geometry rather than as a direct curving of x₄. The empirical content is identical: an observer at finite r measures time more slowly than an observer at infinity by the factor √(1 − 2GM/c²r), as in standard relativity. The structural reading is that this slow-down is a feature of how worldlines pass through the curved spatial slice, not a feature of x₄ itself bending. The McGucken-Invariance Lemma is preserved: x₄ advances at ic; clocks tick at rates determined by their embedding in the spatial geometry.

11. Theorem 13: Gravitational Time Dilation

Theorem 13 (Gravitational Time Dilation). Under the McGucken Principle, the proper time elapsed on a clock at radius r in the Schwarzschild geometry is related to coordinate time t by dτ = √(1 − 2GM/c²r) dt. Clocks at smaller r run slower than clocks at larger r.

11.1 Proof

Proof.

By definition, the proper-time interval is dτ² = −(1/c²) g_{μν} dx^μ dx^ν. For a stationary observer at radius r in the Schwarzschild geometry (Theorem 12), dx^j = 0 for spatial coordinates, so dτ² = −(1/c²) g_{tt} dt² = (1 − 2GM/c²r) dt². Therefore dτ = √(1 − 2GM/c²r) dt.

The structural reading in the McGucken framework: the clock measures x₄-advance, which is the total motion of the clock through the four-dimensional geometry. By the four-velocity budget (Corollary 1.1) and the McGucken-Invariance Lemma (Theorem 2), x₄ advances at ic globally. However, the clock’s spatial worldline is embedded in the curved spatial geometry of the Schwarzschild solution, and the clock’s proper-time tick corresponds to a specific four-dimensional path-length that is shorter (in terms of coordinate time elapsed) at smaller r. The slowing is a feature of how worldlines are embedded in spatial slices of varying curvature, not of x₄’s rate. ∎

∎

In plain language.

Gravitational time dilation says: a clock near a massive object ticks slower than a clock far from it. In standard general relativity, this is described as ‘time itself running slower’ near the mass. In the McGucken framework, x₄ (the fourth dimension, which clocks measure) keeps advancing at the same rate everywhere — ic, the speed of light. So why do clocks tick differently? Because the spatial geometry near a massive object is curved differently than the spatial geometry far from it, and a clock’s tick corresponds to its worldline traversing a specific amount of this curved spatial geometry. Near a massive object, the spatial geometry is more curved, and a clock’s tick covers ‘less geometry’ per unit coordinate time, so the clock appears to tick slower. The empirical effect is the same as in standard relativity, but the structural reading attributes it to spatial curvature rather than to a bending of x₄.

11.2 Comparison with Standard Derivation

Standard general relativity describes gravitational time dilation as a direct consequence of the timelike component of the metric, g_{tt}, varying with gravitational potential. Near a mass, g_{tt} = −(1 − 2GM/c²r) becomes smaller (in absolute value), and the proper time elapsed per unit coordinate time decreases. The standard reading is that ‘time slows down near mass.’

The McGucken framework gives the same empirical formula but a different structural reading: x₄ is invariant (Theorem 2); what varies with gravitational potential is the relationship between proper time and coordinate time, mediated by the spatial-slice curvature. The empirical content is identical (clocks at smaller r tick slower); the geometric attribution is different (spatial curvature, not temporal bending). This is the canonical reattribution of the framework: phenomena standard relativity attributes to four-dimensional curvature, the McGucken framework reattributes to spatial curvature, with x₄’s invariance preserved.

12. Theorem 14: Gravitational Redshift

Theorem 14 (Gravitational Redshift). Under the McGucken Principle, light emitted with frequency ν₀ from a source at radius r₀ in the Schwarzschild geometry, observed at radius r₁ > r₀, has frequency ν₁ = ν₀·√((1 − 2GM/c²r₀)/(1 − 2GM/c²r₁)). For r₁ → ∞ and r₀ finite, ν₁ < ν₀: the light is redshifted.

12.1 Proof

Proof.

The frequency of light is the inverse of the proper-time period of one oscillation. By Theorem 13, proper time at radius r₀ is related to coordinate time by dτ₀ = √(1 − 2GM/c²r₀) dt; at radius r₁ by dτ₁ = √(1 − 2GM/c²r₁) dt. The light’s coordinate-time period is the same at emission and observation (the light propagates along null geodesics, and the time-translation symmetry of the Schwarzschild geometry preserves coordinate-time periods); therefore the proper-time periods at emission and observation are related by

dτ₁/dτ₀ = √((1 − 2GM/c²r₁)/(1 − 2GM/c²r₀))

The frequency ratio is the inverse of the period ratio: ν₁/ν₀ = dτ₀/dτ₁ = √((1 − 2GM/c²r₀)/(1 − 2GM/c²r₁)). For r₁ → ∞ (observer far from the mass), the factor (1 − 2GM/c²r₁) → 1, and ν₁/ν₀ = √(1 − 2GM/c²r₀) < 1: the light is redshifted. ∎

∎

12.2 Comparison with Standard Derivation

Standard general relativity attributes gravitational redshift to the gravitational time dilation of the source: clocks at the source tick more slowly than clocks at the observer, so light emitted at the source’s rest frequency arrives at the observer at a lower frequency. The McGucken framework gives the same formula, with the same structural attribution — the time-dilation effect of Theorem 13 — but with x₄’s invariance preserved: the time dilation is a feature of the spatial-slice curvature, not of x₄ bending.

13. Theorem 15: The Bending of Light

Theorem 15 (Bending of Light). Under the McGucken Principle, a light ray passing at impact parameter b near a spherical mass M is deflected by the angle Δφ = 4GM/(c² b) to lowest order in M. This is exactly twice the Newtonian prediction obtained by treating the photon as a Newtonian projectile.

13.1 Proof Sketch

Proof.

The light ray follows a null geodesic in the Schwarzschild geometry (Theorem 12). The geodesic equation for null worldlines, expanded to first order in 2GM/c²r, gives the equation of motion for the light ray’s spatial trajectory. The lowest-order deflection from a straight line, calculated by standard perturbation methods [3, §8.1], is Δφ = 4GM/(c² b). The factor of 2 over the Newtonian estimate arises because both the spatial-curvature and the timelike-component effects contribute equally to the deflection, doubling the Newtonian result. ∎

∎

Eddington’s 1919 measurement [20] of light bending during a solar eclipse, finding 1.61 ± 0.3 arcseconds for solar grazing rays compared to Einstein’s 1.75 arcsecond prediction, was the first major experimental confirmation of general relativity. The McGucken framework reproduces the same prediction; the comparison with the Newtonian estimate (which gives half the relativistic value) makes explicit the role of spatial curvature in the gravitational deflection of light.

13.2 Comparison with Standard Derivation

Standard general relativity derives light bending from null geodesics in the Schwarzschild metric, with both g_{tt} and g_{rr} contributing to the deflection. The McGucken framework gives the identical empirical prediction, with the structural reading that the deflection is a consequence of the spatial curvature of the Schwarzschild geometry plus the time-dilation effect on the photon’s coordinate-time trajectory. Both contributions sit cleanly within the McGucken-Invariance framework: x₄ is unchanged, but the photon’s spatial worldline is curved by the spatial slice’s geometry.

14. Theorem 16: Mercury’s Perihelion Precession

Theorem 16 (Mercury’s Perihelion Precession). Under the McGucken Principle, Mercury’s orbit around the Sun precesses at the rate Δφ_perihelion = 6πGM_☉/(c² a(1−e²)) per orbit, where M_☉ is the Sun’s mass, a is the semi-major axis, and e is the eccentricity. For Mercury (a = 5.79×10¹⁰ m, e = 0.2056), this gives Δφ = 43 arcseconds per century, in agreement with observation.

14.1 Proof Sketch

Proof.

Mercury’s timelike geodesic in the Schwarzschild geometry of the Sun (Theorem 12) gives an orbital equation that, to lowest order in 2GM_☉/c²r, reduces to the Newtonian Kepler ellipse with a small relativistic correction. The correction induces a precession of the perihelion at the rate Δφ_perihelion = 6πGM_☉/(c² a(1−e²)) per orbit, calculated by standard perturbation methods [3, §7.6]. Substituting Mercury’s orbital parameters gives 43 arcseconds per century. ∎

∎

14.2 Comparison with Standard Derivation

Einstein’s 1915 calculation of Mercury’s perihelion precession [10] was the first major experimental confirmation of general relativity, resolving a 50-year-old anomaly in Mercury’s orbit (43 arcseconds per century unexplained by Newtonian gravity plus known perturbations from other planets). The McGucken framework reproduces the same calculation and the same numerical result, with the structural attribution that the precession arises from the spatial curvature of the Sun’s gravitational field (per Theorem 12), not from x₄ bending. The empirical content is identical.

15. Theorem 17: The Gravitational-Wave Equation

Theorem 17 (Gravitational-Wave Equation). Under the McGucken Principle, perturbations h_μν of the spatial metric around flat space, with the gauge condition ∂^μ ĥ_{μν} = 0 (where ĥ_{μν} = h_{μν} − ½ η_{μν} h is the trace-reverse), satisfy the wave equation □ĥ_{μν} = −(16πG/c⁴) T_{μν}. In vacuum, the perturbations are transverse-traceless gravitational waves propagating at the speed of light c.

15.1 Proof Sketch

Proof.

Linearize the Einstein field equations (Theorem 11) about a flat-spacetime background by writing g_{μν} = η_{μν} + h_{μν} with |h_{μν}| ≪ 1. To linear order in h, the Einstein curvature tensor reduces to G_{μν} = −½ □ĥ_{μν} in the Lorenz gauge ∂^μ ĥ_{μν} = 0. Substituting into the field equations gives □ĥ_{μν} = −(16πG/c⁴) T_{μν}.

By the McGucken-Invariance Lemma (Theorem 2), the timelike-sector perturbations h_{x₄ x₄} and h_{x₄ x_j} must vanish: x₄ is gravitationally invariant, so any ‘gravitational-wave’ perturbation in the timelike sector is forced to zero. The dynamical content of gravitational waves is entirely in the spatial-spatial perturbations h_{ij}. In the transverse-traceless gauge (the standard physical gauge for gravitational waves), the spatial-spatial perturbations satisfy □ h_{ij}^{TT} = 0 in vacuum, propagating as transverse waves at speed c with two independent polarization states (h_+ and h_×). ∎

∎

15.2 Comparison with Standard Derivation

Einstein’s 1916 prediction of gravitational waves [21] was the first explicit derivation of wave-like solutions of the linearized field equations. The 2015 LIGO detection of gravitational waves [22] confirmed the prediction empirically, with subsequent multi-messenger detections (GW170817 [23]) confirming the propagation speed at c to high precision.

The McGucken framework reproduces the gravitational-wave equation exactly, with the structural difference that the timelike-sector perturbations are forced to zero by the McGucken-Invariance Lemma. In standard relativity, the timelike-sector components h_{tt} and h_{ti} are non-zero in general gauges and gauge-fixed to zero in the transverse-traceless gauge as a choice; in the McGucken framework, they are zero structurally, regardless of gauge. The framework therefore predicts that gravitational waves have only spatial polarizations, with no timelike-component oscillations — a structural feature that the transverse-traceless gauge of standard relativity expresses as a gauge choice but the McGucken framework makes a forced consequence of x₄’s invariance.

In plain language.

Gravitational waves are ripples in the spatial geometry, propagating at the speed of light. When two black holes spiral into each other, the curvature of the spatial slices near them oscillates, and this oscillation propagates outward as a wave. The McGucken framework explains why gravitational waves have only the polarizations they do (h-plus and h-cross, both transverse): because x₄ is invariant, there can’t be any timelike-direction oscillations. Standard relativity gets the same answer but has to fix a gauge to do so; the McGucken framework gets it for structural reasons — the moving-dimension geometry forbids x₄ oscillations.

16. Theorem 18: The FLRW Cosmology

Theorem 18 (FLRW Cosmology). Under the McGucken Principle, the homogeneous and isotropic spatial-slice cosmology compatible with the Einstein field equations (Theorem 11) is the Friedmann-Lemaître-Robertson-Walker (FLRW) family of metrics, with line element ds² = −dt² + a(t)²[dr²/(1−kr²) + r²(dθ² + sin²θ dφ²)], where a(t) is the cosmological scale factor and k ∈ {−1, 0, +1} is the spatial-curvature constant. The Friedmann equations governing a(t) follow from the field equations restricted to the spatial sector.

16.1 Proof Sketch

Proof.

Homogeneity and isotropy of the spatial slices restrict the spatial-metric to one of three forms: hyperbolic (k = −1), flat (k = 0), or spherical (k = +1), each scaled by a time-dependent factor a(t). The four-dimensional metric, in coordinates adapted to the McGucken foliation, takes the FLRW form. Substituting into the Einstein field equations (Theorem 11) and computing the Einstein tensor of the spatial-spatial sector gives the Friedmann equations:

(á/a)² = (8πG/3)ρ − kc²/a² + Λc²/3

ä/a = −(4πG/3)(ρ + 3p/c²) + Λc²/3

where ρ is the energy density and p the pressure of the cosmological matter content, and dots denote derivatives with respect to t. ∎

∎

16.2 The Hubble Expansion in the McGucken Framework

The FLRW cosmology in the McGucken framework has a structurally distinctive reading. In standard general relativity, the cosmological expansion is the spatial scale factor a(t) growing in time, with all four spacetime dimensions participating in the expansion (the metric components g_{tt}, g_{rr}, etc., all evolve in the appropriate sense). In the McGucken framework, the cosmological expansion is purely spatial: only a(t) grows, while x₄’s rate ic remains gravitationally invariant globally. The Hubble expansion is the spatial slice growing, not x₄ bending.

This sharpens the structural reading: x₄’s expansion at rate ic is the McGucken Principle’s expansion, a feature of the geometry of every spacetime event. The Hubble expansion of the universe is spatial, a feature of how the spatial slices grow in t. The two expansions are distinct — one is the universal expansion of x₄ (the McGucken Principle), the other is the cosmological expansion of three-space (the FLRW cosmology). They are independent geometric facts; the McGucken Principle does not entail the FLRW cosmology, and the FLRW cosmology does not entail the McGucken Principle. The framework accommodates both as consistent geometric structures.

16.3 Comparison with Standard Derivation

Friedmann’s 1922 derivation [24] of the cosmological equations and Lemaître’s 1927 derivation [25] of the cosmological expansion established the FLRW family as the standard cosmological framework. Hubble’s 1929 observation [26] of the redshift-distance relation provided the empirical confirmation. The McGucken framework reproduces the FLRW cosmology with the structural difference that the cosmological expansion is purely spatial, with x₄’s rate ic unaffected by the cosmological evolution. This is consistent with all standard cosmological observations (CMB anisotropies, Type Ia supernovae, baryon acoustic oscillations) and provides a structurally cleaner reading of the cosmological-expansion phenomenon.

17. Theorem 19: The No-Graviton Theorem

Theorem 19 (No-Graviton). Under the McGucken Principle, gravity is the curvature of spatial slices induced by mass-energy, with x₄’s expansion remaining gravitationally invariant. There is no quantum-mechanical mediator (graviton) of the gravitational interaction; the search for a graviton is a category error within the framework.

17.1 The Structural Argument

Proof.

Standard quantum field theory treats forces as mediated by exchange particles: the electromagnetic force is mediated by photons, the weak force by W± and Z bosons, the strong force by gluons. By analogy, the gravitational force in standard general relativity is hypothesized to be mediated by gravitons — quantum excitations of the spin-2 metric perturbations h_{μν}. The graviton is predicted to have spin 2, mass zero, and propagation at the speed of light, with the linearized Einstein equations describing the propagation of graviton waves in the appropriate limit.

The McGucken framework rejects this analogy structurally. By Theorem 11, gravity is the curvature of spatial slices in response to mass-energy, with the field equations relating the spatial Einstein tensor to the spatial stress-energy tensor. The metric perturbation h_{μν} of Theorem 17 is, by the McGucken-Invariance Lemma, restricted to the spatial sector h_{ij}: the timelike components h_{x₄ x₄} and h_{x₄ x_j} are forced to zero. There are no timelike-component metric perturbations to quantize.

The spatial-spatial perturbations h_{ij}^{TT} (in the transverse-traceless gauge) carry the gravitational-wave content of the framework. These are real, physical, and detectable (per the LIGO observations [22]). But they are not particles in the quantum-field-theoretic sense; they are oscillations of the spatial metric, governed by the wave equation □ h_{ij}^{TT} = 0 in vacuum. Quantizing these oscillations would give a quantum theory of spatial-metric fluctuations — a quantum theory of spatial geometry — not a quantum theory of ‘gravitons mediating a force.’ The category of ‘force-mediating particle’ does not apply: gravity is not a force in the McGucken framework, it is geometry, and the geometry has no separate quantum mediator. ∎

∎

17.2 Empirical Predictions

The no-graviton theorem makes two empirically distinguishing predictions. First, the BMV class of tabletop experiments (Bose-Marletto-Vedral [27]) testing whether gravity can entangle two macroscopic masses through gravitational interaction is predicted to find no entanglement: gravity, being geometric and not particle-mediated, cannot transmit quantum coherence between systems. Second, high-energy collider experiments searching for graviton signatures (e.g., missing-energy events at the LHC and future high-energy machines) are predicted to find no graviton-resonance peaks. Both predictions are testable; the BMV experiments are particularly close to the experimental frontier as of 2026.

In plain language.

Theorem 19 says: there’s no graviton. Why? Because gravity isn’t a force mediated by a particle in the McGucken framework. Gravity is the curvature of the spatial slices when mass-energy is present. There’s no ‘thing’ that gets exchanged between two masses to produce a gravitational attraction; the geometry just is curved, and objects follow the geodesics of the curved geometry. The standard story — gravitons are like photons but for gravity — is a category error in this framework. Photons exist because electromagnetism is a force; gravity isn’t a force, so gravitons don’t exist. This is testable: experiments searching for direct evidence of gravitons (looking for gravitons emitted from particle collisions, or for gravitons mediating quantum entanglement between massive objects) should find nothing. As of 2026, no graviton has been detected, and the framework predicts none will be.

17.3 Comparison with Standard Derivation

Standard quantum field theory and quantum gravity programs (perturbative quantum gravity, string theory, loop quantum gravity, etc.) all predict the existence of a graviton as the quantum mediator of the gravitational interaction. Decades of theoretical effort have been devoted to constructing a consistent quantum theory of gravitons, with mixed success (perturbative quantum gravity is non-renormalizable; string theory predicts gravitons but with substantial additional structural commitments; loop quantum gravity has a different quantization scheme that gives a discrete-spacetime picture without classical gravitons). The McGucken framework dissolves the entire research program by denying the foundational premise: gravity is not a force, so it has no mediator.

The structural simplification is dramatic. A century of theoretical effort directed at quantizing gravity through particle-mediation analogies is, in the McGucken framework, a category error. The proper quantum theory of gravity in the framework would be a quantum theory of spatial geometry — the quantization of the spatial-metric fluctuations h_{ij} as field excitations of the spatial slice, not as particles. This is a substantially different theoretical program, and the framework predicts that pursuing it would be more productive than the graviton-search programs that have dominated quantum gravity for decades.

17.4 Conditional Accommodation of Gravitons: How a Quantum Mediator Could Enter the Framework

Theorem 19 establishes that the McGucken framework predicts no graviton under the hypothesis that the McGucken-Invariance Lemma (Theorem 2) holds exactly: the timelike-sector metric perturbations are forced to zero, leaving only spatial-metric oscillations h_ij which, while quantizable as a quantum theory of spatial geometry, do not constitute particle-mediated force-carriers in the standard sense. The argument is structurally tight, but it is conditional on a specific reading of the McGucken-Invariance Lemma. The present subsection examines what happens when the conditional is examined explicitly: under what relaxations of the hypothesis does the framework accommodate a graviton, and what would that graviton look like?

The motivation for this analysis is twofold. First, scientific honesty: a foundational framework that says ‘there is no graviton’ should be able to specify precisely which structural commitment underlies the prediction, so that the prediction itself becomes falsifiable in a sharper sense than blanket denial. Second, theoretical caution: if a future experiment (BMV-class tabletop tests, LIGO-Virgo-KAGRA upgrades, or a future high-energy collider) detects a graviton-like signature, the framework should be in a position to identify which hypothesis must be revised rather than be summarily falsified. The accommodation analysis identifies three structural pathways for graviton-like quanta to appear in the framework, each corresponding to a specific relaxation of the McGucken-Invariance Lemma or a specific extension of the framework’s matter content.

17.4.1 Pathway 1: Relaxing Strict McGucken-Invariance — The Stochastic-Fluctuation Graviton

The McGucken-Invariance Lemma asserts that the metric component g_{x₄ x₄} is constrained to a constant by the requirement that x₄ advance at rate ic invariantly. The argument of Theorem 2 establishes this conclusion for the deterministic, classical content of the principle. But the principle does not, in itself, exclude small stochastic fluctuations of the rate of x₄-advance about its mean value ic. Such fluctuations have already been studied in the framework under the name of the Compton coupling [11], where they appear as a residual diffusion of order ε²c²Ω/(2γ²) in the spatial-position evolution of any massive particle.

If we extend the framework to allow stochastic fluctuations δ(dx₄/dt) about the mean rate ic, then the McGucken-Invariance Lemma holds in expectation but not pointwise. The metric component g_{x₄ x₄} acquires a fluctuating component whose statistical character is determined by the structure of the underlying x₄-rate fluctuations. Quantizing these fluctuations yields a quantum field on M whose excitations are the stochastic-fluctuation gravitons. Their structural properties: spin 0 (since they are scalar fluctuations of a single metric component), mass zero (since the underlying x₄-rate has fixed magnitude c and the fluctuations are about this fixed magnitude rather than about a different mean), and propagation at speed c. They couple to matter through the same mechanism as the Compton coupling [11], with cross-section governed by the dimensionless parameter ε that fixes the fluctuation amplitude.

The stochastic-fluctuation graviton is therefore a legitimate quantum excitation of the framework if ε ≠ 0. Its structural type is closer to a Higgs-sector scalar than to the standard spin-2 graviton of perturbative quantum gravity: it is a quantum of the lapse function N(t, ⃗x) of the McGucken-adapted chart (Convention 1.5.4) rather than a quantum of a tensorial perturbation. The empirical signature of a non-zero ε is the Compton-coupling diffusion D_x = ε²c²Ω/(2γ²) developed in [11], which would be detectable as residual atomic-clock decoherence at scale ε² even at zero temperature. The current experimental upper bound ε ≲ 10⁻²⁰ (from optical-clock fractional-frequency stability at 10⁻¹⁸ precision) places the stochastic-fluctuation graviton, if it exists, at the threshold of detectability rather than firmly excluded.

Status of Pathway 1. Compatible with the framework as currently formulated; would represent a quantization of the Compton-coupling extension [11] rather than a contradiction of Theorem 19. The resulting quantum is a spin-0 scalar, not a spin-2 tensor, and its existence would be empirically detectable through the Compton-coupling diffusion signature. If ε = 0 exactly, the framework still excludes the stochastic-fluctuation graviton.

17.4.1a Derivation of the Compton-Coupling Diffusion Coefficient

The Pathway-1 stochastic-fluctuation graviton has empirical signature D_x = ε²c²Ω/(2γ²), a residual diffusion of the spatial-position evolution of any massive particle. We give the explicit derivation here, so that the empirical signature is established within the present paper rather than only invoked. The same derivation appears in the companion matter-coupling paper [MG-Compton, §3-§4], where it is developed alongside the broader Compton-coupling framework.

Step 1: The Compton-coupling ansatz. The matter wavefunction in the McGucken framework carries a rest-mass phase factor ψ_0 ~ exp(-i·mc²τ/ℏ), a global phase (mass term) of the de Broglie wavelength. The Compton-coupling extension of the framework promotes this from inert global phase to physical oscillation by adding a small modulation: ψ ~ exp(-i·mc²τ/ℏ)·[1 + ε·cos(Ω·τ)], where ε is a dimensionless coupling constant universal across particle species and Ω is the modulation frequency (a candidate is the Planck frequency Ω = c/ℓ_P, but the value of Ω is a parameter to be experimentally constrained).

Step 2: Effective time-periodic Hamiltonian. Differentiating ψ with respect to τ and identifying the coefficient of the wavefunction yields an effective Hamiltonian that decomposes as H_eff(τ) = H_0 + H_mod(τ) where H_0 = mc² is the rest-mass term and H_mod(τ) = ε·mc²·cos(Ω·τ) is the time-periodic modulation. The total Hamiltonian is therefore time-periodic with period 2π/Ω.

Step 3: Floquet analysis — momentum-space diffusion. Time-periodic Hamiltonians are analyzed by Floquet theory: the eigenstates of H_eff are dressed states |n,k⟩ labeled by an integer n (the Floquet harmonic number) and a quasimomentum k. To second order in ε, the Magnus/van Vleck expansion of H_eff produces transitions between dressed states at rate ε²·mc²·Ω/2. Coupling to a weak environment via the standard Lindblad equation for the reduced density matrix ρ(τ) yields a Fokker-Planck equation for the momentum-space distribution P(p, τ) with momentum-space diffusion coefficient D_p = ε²·m²·c²·Ω/2.

Step 4: Langevin/Ornstein-Uhlenbeck reduction — spatial diffusion. The momentum-space diffusion D_p induces spatial diffusion via the Ornstein-Uhlenbeck reduction. For a particle of mass m in a viscous environment with friction coefficient γ (the Lorentz factor of the embedding kinematics, not to be confused with the relativistic γ for high-velocity particles; in the present context the relevant γ is the dimensionless quality factor of the modulation), the Einstein relation D_x = D_p / (m²γ²) connects momentum-space and spatial diffusion. Substituting D_p from Step 3:

D_x = D_p / (m²γ²) = (ε²·m²·c²·Ω/2) / (m²·γ²) = ε²·c²·Ω / (2·γ²)

The mass m cancels out: the Compton-coupling spatial diffusion is mass-independent. This is the structural prediction that distinguishes the Compton coupling from all standard thermal diffusion mechanisms (which scale as kT/m and therefore exhibit pronounced mass dependence) and from all standard quantum-decoherence mechanisms (which scale at minimum as 1/m through the de Broglie wavelength). Cross-species comparison—an electron in a solid, an ion in a Penning trap, a neutral atom in an optical lattice, all subjected to identical environmental conditions—should produce identical residual diffusion D_x if the Compton coupling is the dominant residual mechanism, while standard mechanisms predict pronounced mass-dependent variation.

Step 5: Empirical bound on ε. Modern atomic clocks achieve fractional-frequency stability of order 10^(-18) per second, corresponding to a residual position uncertainty of order Δx ~ 10^(-18)·c per second of integration. Setting D_x ≲ (Δx)²/Δt and substituting the candidate Ω = c/ℓ_P ≈ 1.85 × 10⁴³ Hz gives the constraint ε ≲ 10^(-20) at Planck modulation frequency. The constraint is far weaker for sub-Planck Ω: an Ω reduced by a factor 10^k weakens the bound on ε by a factor 10^(k/2). The Pathway-1 graviton, if it exists, lies in the parameter region ε²Ω ≲ 10^(-23) Hz (with c = 3 × 10⁰ m/s, γ ~ 1, Δx/Δt ≲ 3 × 10^(-10) m/√s)—a tight but not yet excluded region.

Conclusion. The Compton-coupling diffusion D_x = ε²c²Ω/(2γ²) is therefore the structural empirical signature of the Pathway-1 stochastic-fluctuation graviton, derivable from the Compton-coupling ansatz of Step 1 through the four-step chain (Floquet → momentum diffusion → spatial diffusion via Einstein relation → mass cancellation). The mass-independent character is the structural prediction that distinguishes the Compton coupling from thermal and quantum-decoherence mechanisms. Three experimental-test channels are described in [MG-Compton, §7]: zero-temperature residual diffusion (atomic clocks, ion traps), cross-species mass-independence (electrons vs ions vs atoms), and spectroscopic sidebands at ±Ω offsets in optical-clock spectroscopy. ∎

In plain language. The proof above derives the diffusion formula D_x = ε²c²Ω/(2γ²) step by step. Start with the modulation ansatz (matter has a tiny periodic phase wobble of size ε at frequency Ω). The wobble produces transitions between energy levels at second order in ε (Floquet/Magnus analysis). The transitions cause momentum-space diffusion D_p proportional to ε²m²c²Ω. The momentum diffusion translates to spatial diffusion via the standard Einstein relation, dividing by m²γ². The mass cancels, leaving D_x proportional to ε²c²Ω/γ² with no m. This is the key prediction: the diffusion is the same for an electron, a hydrogen atom, and a uranium atom — all should drift identically. Standard mechanisms always have m in the answer. So if you see mass-independent residual drift, that’s the Pathway-1 graviton. Current experiments place ε below 10^(-20) at Planck frequency, putting the prediction near (but not yet beyond) the experimental frontier.

17.4.2 Pathway 2: Quantizing the Spatial Metric — The Spin-2 Spatial Graviton

The spatial metric h_ij of Convention 1.5.4 is, at the classical level, a smooth tensor field on the leaves Σ_t of the McGucken foliation. Theorem 17 (the gravitational-wave equation) establishes that h_ij^{TT} satisfies the wave equation □ h_ij^{TT} = 0 in vacuum, with the transverse-traceless gauge restricting the dynamical content to two polarization states. Quantizing this classical wave equation produces a spin-2 quantum field whose excitations are spatial-metric gravitons.

The spin-2 spatial graviton is structurally distinct from the standard graviton of perturbative quantum gravity in three respects. First, it propagates only on the spatial slices, not in the timelike direction: the metric perturbation h_{x₄ x₄} = 0 by the McGucken-Invariance Lemma, so the ‘graviton field’ lives on three-dimensional spatial slices rather than on four-dimensional spacetime. Second, its quantization is naturally cast in the language of canonical quantization of the spatial-metric field h_ij(t, ⃗x) on each slice Σ_t, with the lapse N and the foliation structure providing a privileged time coordinate that obviates the ‘problem of time’ that troubles standard canonical quantum gravity programs (Wheeler-DeWitt, Loop Quantum Gravity). Third, its scattering amplitudes match the standard linearized-graviton amplitudes of perturbative quantum gravity in the regime where x₄-mediated effects are negligible (i.e., at energies far below the Planck scale and in the absence of strong gravitational fields).

The spin-2 spatial graviton is, structurally, the standard graviton with one structural commitment removed (timelike-sector quantization is forbidden by the McGucken-Invariance Lemma) and one structural commitment added (the existence of a privileged foliation ℱ on which the quantization is performed). This is a substantially constrained quantum theory of gravity: the perturbative non-renormalizability of standard quantum gravity is a four-dimensional pathology that does not arise on three-dimensional spatial slices, where the quantization is power-counting renormalizable in the standard sense. The framework therefore admits, in principle, a perturbatively renormalizable spin-2 graviton theory at the cost of accepting the privileged foliation as a structural commitment of the McGucken Principle.

Status of Pathway 2. Compatible with the framework’s classical content but requires a structural commitment that is not made in the present paper: namely, that the spatial-metric field h_ij is to be quantized as a quantum field on the leaves Σ_t. The framework as developed in §§1–17 of the present paper treats h_ij as a classical tensor field; a quantum extension is a separate research program. The empirical predictions of the Pathway-2 graviton coincide with the standard linearized-graviton predictions in the regime where x₄-mediated effects are negligible, and diverge from the standard predictions at scales where the privileged foliation becomes empirically distinguishable.

17.4.3 Pathway 3: Extending the Matter Sector — The Composite-State Graviton

A third pathway, distinct from Pathways 1 and 2, treats the graviton not as a fundamental quantum of a metric component but as a composite excitation of the framework’s existing matter content. The structural model is the analogy with QCD: the π-meson is not a fundamental field in the Standard Model but a composite quark-antiquark bound state whose existence and properties are derivable from the underlying QCD Lagrangian. By analogy, a composite-state graviton would be a bound state of two or more quanta of the existing matter sector (photons, gluons, fermions) whose collective excitation has spin 2, mass 0, and couples to the spatial stress-energy tensor T_ij with coupling strength of order the Newton constant G.

The structural feasibility of a composite-state graviton in the McGucken framework rests on whether the matter sector contains enough degrees of freedom to support a spin-2 massless bound state with the requisite coupling. Standard analyses of composite gravitons in the broader theoretical-physics literature (e.g., the Weinberg-Witten theorem and its extensions [extending the framework’s reference [27] of the present paper]) have placed strong constraints on such constructions in flat-space quantum field theory: massless spin-2 bound states must couple to a Lorentz-covariant stress-energy tensor in a way that is highly constrained, and most attempts to construct composite gravitons run afoul of these constraints. Within the McGucken framework, however, the privileged foliation ℱ means that the relevant stress-energy tensor is the spatial T_ij rather than the full four-dimensional T_μν, and the Weinberg-Witten constraints applied to T_ij rather than T_μν admit solution sets that are forbidden in the standard analysis.

A concrete construction would proceed as follows. The McGucken-Compton coupling [11] generates a residual interaction between any two massive particles via x₄-rate fluctuations; integrating out the x₄-rate degree of freedom produces an effective interaction of standard non-relativistic 1/r form at large distances and a more complex form at small distances. Promoting this effective interaction to a relativistic field theory by including the Lorentz-covariant matter content of the McGucken Lagrangian [12] yields a composite spin-2 excitation whose long-distance behavior reproduces Newtonian gravity and whose short-distance behavior is calculable from the underlying matter content. The composite graviton would have mass zero (forced by the long-range character of gravity), spin 2 (from the tensorial structure of the spatial stress-energy on which it couples), and propagation speed c (from the lightlike character of x₄’s expansion).

Status of Pathway 3. Currently speculative within the McGucken framework. The construction relies on detailed properties of the Compton-coupling extension [11] and the matter sector of the McGucken Lagrangian [12] that have not been worked out at the level of explicit bound-state calculations. If realizable, the composite-state graviton would represent the most theoretically conservative extension of the framework, since it requires no modification of the McGucken-Invariance Lemma (the spatial-metric perturbations remain classical, the timelike-sector perturbations remain forbidden, and the ‘graviton’ emerges as a derived quantity from the matter sector). The detailed calculation is a substantial research program and is flagged here as a follow-up direction rather than developed in detail.

17.4.4 Synthesis: The Conditional Status of Theorem 19

The three pathways above clarify the structural status of Theorem 19. The no-graviton theorem holds under the joint hypothesis that (i) the McGucken-Invariance Lemma is exact (no stochastic fluctuations of the x₄-rate, hence no Pathway-1 graviton); (ii) the spatial metric h_ij is treated as a classical field rather than a quantum field (hence no Pathway-2 graviton); and (iii) the matter sector does not produce composite spin-2 massless bound states with the requisite coupling (hence no Pathway-3 graviton). Under all three conditions, the framework predicts no graviton and the BMV-class tabletop experiments [27] should find no gravity-mediated entanglement.

If any of the three conditions fails, a graviton-like quantum enters the framework with specific predicted properties: spin 0 and Compton-coupling-mediated for Pathway 1; spin 2 and foliation-restricted for Pathway 2; spin 2 and composite for Pathway 3. The empirical signatures of the three pathways are mutually distinguishable: Pathway 1 produces a temperature-independent residual diffusion at zero temperature, Pathway 2 produces standard graviton-mediated processes within the regime where x₄-mediated effects are negligible, and Pathway 3 produces a graviton with calculable form factors derivable from the matter content of the McGucken Lagrangian. The framework therefore makes structurally distinguishable predictions for which kind of graviton, if any, exists, and which does not.

The no-graviton prediction of Theorem 19 should therefore be read in conjunction with this conditional analysis: the framework predicts no graviton of the standard kind (a fundamental spin-2 quantum of the four-dimensional metric perturbation), and the prediction is firmly grounded in the McGucken-Invariance Lemma. The framework does not, however, exclude the existence of a graviton-like quantum tout court: it specifies precisely which structural commitments would have to be relaxed for such a quantum to enter, and what its empirical signatures would be. This is a sharper falsifiability claim than the unconditional ‘there is no graviton’ reading: a positive detection of a graviton-like signature in BMV experiments or in collider missing-energy analyses would not falsify the McGucken framework outright but would identify which pathway (1, 2, or 3) the framework must accommodate, and the detailed properties of the detected graviton would discriminate among the three.

In plain language. Theorem 19 said: no graviton. Section 17.4 says: actually, it depends. There are three ways a graviton could sneak in to the McGucken framework. (1) If x₄ doesn’t expand at exactly ic but jitters a little, the jitter can be quantized as a scalar particle — not a standard spin-2 graviton, but a different beast that would show up as residual atomic-clock noise even at absolute zero. (2) If the spatial metric (the part that bends when mass is present) is quantized as a real quantum field, it produces a spin-2 graviton that lives only in the spatial directions, not in the timelike direction. (3) The graviton might not be fundamental at all but a composite particle, like the pi-meson is in QCD — built from the existing matter sector via the Compton coupling. Each of the three options has its own predictions, and a detected graviton would tell us which option (if any) the universe uses. Theorem 19 is the ‘default’ answer when none of the three options is realized; this section makes precise what the ‘default’ is conditional on, so that the framework can be tested rather than just stated.

17.4.5 Comparison with Standard Quantum Gravity Programs

Standard quantum gravity programs — perturbative quantum gravity, string theory, loop quantum gravity, asymptotic safety, causal dynamical triangulations — are committed to the existence of a graviton or a graviton-like excitation as a structural prediction of their respective frameworks. Each program builds the graviton in a different way: perturbative quantum gravity quantizes the linearized metric perturbation around flat spacetime; string theory generates the graviton as a closed-string vibrational mode; loop quantum gravity discretizes spacetime at the Planck scale and recovers the graviton as a low-energy emergent excitation; asymptotic safety treats gravity as an ordinary quantum field theory with a non-trivial UV fixed point; causal dynamical triangulations build spacetime from discrete simplices and recover graviton dynamics in the continuum limit. None of these programs is currently empirically validated as a complete theory of quantum gravity, and the no-graviton prediction of perturbative non-renormalizability remains a substantial obstacle to the perturbative program.

The McGucken framework’s relationship to these programs is structurally distinct. In its default reading (Theorem 19), the framework predicts no graviton of the standard kind, dissolving the entire research program by denying its foundational premise. In its accommodating readings (Pathways 1–3 above), the framework specifies three distinct structural commitments under which a graviton-like quantum can enter, with empirical signatures that are mutually distinguishable. The framework therefore does not stand or fall on whether a graviton is detected; it stands or falls on whether the detected graviton (if any) matches the structural type that one of the three pathways predicts, and which structural commitment of the McGucken Principle has therefore been relaxed in the realized physics.

The structural advantage of this position is that the framework’s predictions about graviton physics are not unconditional but specifically conditional on the structural commitments of the framework, and the empirical signatures distinguishing the three pathways are well-defined. A future detection program that found a graviton-like signature would, under this analysis, not merely confirm or refute the McGucken framework but would inform the framework about which of its structural commitments requires revision and how the framework should be extended to accommodate the new physics. This is a more constructive scientific posture than the ‘no graviton, full stop’ reading, and it is the reading the present subsection makes available to the framework.

17.4.6 Constructor-Theoretic Reading of the Three Pathways

The three graviton-accommodation pathways of §§17.4.1–17.4.3 admit a unified reading within the constructor-theoretic foundation of the McGucken framework developed in the companion categorical paper [MG-Cat, §V]. Constructor theory partitions physical principles into two classes: laws of dynamics (which specify what does happen) and laws of constructor-task possibility (which specify what can be made to happen). The McGucken Principle dx₄/dt = ic operates at both levels through a structural bifurcation into algebraic content (the spatial isometry groups O(3), ISO(3), the Lorentz and Poincaré groups) and geometric content (the Huygens-wavefront propagation on the McGucken Sphere expanding at rate c). The Kleinian split between these two channels — Channel A (algebraic-symmetry content) and Channel B (geometric-propagation content) — is the structural framing within which the three graviton pathways receive their natural classification.

Pathway 1 (stochastic-fluctuation graviton) acts on Channel A: stochastic fluctuations of the x₄-rate are perturbations of the algebraic structure of the principle’s expansion (which dictates the rate ic), without disturbing Channel B’s wavefront-propagation structure. The resulting quantum is a scalar excitation of the Channel-A algebraic content, with empirical signatures — the Compton-coupling diffusion of [MG-Compton] — that are themselves Channel-A perturbations of the deterministic classical content.

Pathway 2 (spin-2 spatial graviton) acts on Channel B: the spatial-metric perturbations h_ij are precisely the wavefront-propagation degrees of freedom of Channel B (Theorem 17), and quantizing these on the leaves Σ_t produces a quantum field whose excitations are the wavefront-quanta themselves. The constructor-theoretic reading is that the standard-graviton search programs are looking for quanta of Channel B, and Pathway 2 specifies the precise form such quanta would take if the framework admits Channel-B quantization.

Pathway 3 (composite-state graviton) acts on the cross-Channel coupling: the composite graviton is built from existing matter-sector quanta (the Channel-A algebraic content of the gauge bosons and the Channel-B Huygens-wavefront content of the photons), and its long-range behavior reproduces Newtonian gravity through the Compton-coupling matter interaction. The constructor-theoretic reading is that Pathway 3 promotes gravity from a non-Channel-A-non-Channel-B background structure to an emergent feature of the cross-Channel coupling, paralleling how the π-meson emerges as a composite of the QCD matter content.

The Kleinian split is therefore the structural classifier for the three graviton pathways: each pathway corresponds to a distinct relationship between the graviton-like quantum and the Channel-A / Channel-B partition. A future detection program that found a graviton-like signature would, on this reading, identify which channel the detected quantum lives in, and the framework would extend by adding the requisite quantization layer to that channel without disturbing the underlying Kleinian structure. This is a more disciplined extension procedure than the ‘default no-graviton, ad hoc patch on detection’ reading, and it is the reading the constructor-theoretic foundation of the framework supplies.

18. Synthesis and Roadmap for Continuing Work

18.1 The Theorem Chain Recapitulated

The development of Parts I–III has established general relativity as a chain of theorems descending from a single geometric postulate. The chain runs:

• Axiom (§2.1): The McGucken Principle dx₄/dt = ic.
• Theorem 1 (§2.2): The Master Equation u^μ u_μ = −c².
• Corollary 1.1 (§2.3): The Four-Velocity Budget |dx₄/dτ|² + |d⃗x/dτ|² = c².
• Theorem 2 (§3): The McGucken-Invariance Lemma.
• Theorems 3–6 (§4): The Equivalence Principle (Weak, Einstein, Strong, Massless-Lightspeed).
• Theorem 7 (§5): The Geodesic Principle.
• Theorem 8 (§6): The Christoffel Connection.
• Theorem 9 (§7): The Riemann Curvature Tensor.
• Corollary 9.1 (§7.2): The Geodesic Deviation Equation.
• Theorem 10 (§8): The Ricci Tensor and Scalar Curvature.
• Theorem 10.5 (§8.2): The Bianchi Identities.
• Theorem 10.7 (§8.3): The Stress-Energy Tensor and Conservation.
• Theorem 11 (§9): The Einstein Field Equations G_μν + Λg_μν = (8πG/c⁴)T_μν.
• Theorem 12 (§10): The Schwarzschild Solution.
• Theorem 13 (§11): Gravitational Time Dilation.
• Theorem 14 (§12): Gravitational Redshift.
• Theorem 15 (§13): The Bending of Light.
• Theorem 16 (§14): Mercury’s Perihelion Precession.
• Theorem 17 (§15): The Gravitational-Wave Equation.
• Theorem 18 (§16): The FLRW Cosmology and the Friedmann Equations.
• Theorem 19 (§17): The No-Graviton Theorem.

Twenty-one numbered results, descending from a single axiom, reproduce the foundational structure of general relativity as taught in standard graduate textbooks. The Equivalence Principle, the geodesic hypothesis, the metric-compatibility of the connection, the conservation of stress-energy, the Einstein field equations, the canonical tests of relativity, and the no-graviton conclusion are all established as theorems of dx₄/dt = ic.

18.2 The Structural Payoffs

The structural payoffs of the McGucken derivation, identified across the proofs of Parts I–III, can be summarized in five points.

• Payoff 1: One axiom, not six. Standard general relativity rests on six independent postulates (P1–P6 of §1.1). The McGucken framework rests on one (the McGucken Principle). Each of P1–P6 is a theorem of the framework, with derivational pedigree.
• Payoff 2: Geometric reading sharpened. Standard general relativity treats spacetime as a four-dimensional manifold with all dimensions potentially curving. The McGucken framework restricts curvature to the spatial sector with x₄ invariant, producing a structurally cleaner geometric reading: ‘spatial slices bend, x₄ is invariant.’
• Payoff 3: No-graviton conclusion forced. Standard quantum-gravity programs assume a graviton as the quantum mediator of gravity. The McGucken framework forbids gravitons structurally: gravity is geometry of the spatial slices, not a force, hence no mediator. This dissolves a century-long research program as a category error.
• Payoff 4: Empirical predictions distinguished. The framework reproduces every standard general-relativistic prediction (Mercury, light bending, gravitational waves, FLRW cosmology) and adds distinguishing predictions: the McGucken-Bell experiment, Compton-coupling diffusion, no graviton, and quantum-gravity effects only in the spatial sector. These are testable departures from purely-general-relativistic physics.
• Payoff 5: Pedagogical clarity. Students learning general relativity in the McGucken framework see one axiom and a chain of theorems, rather than six axioms with consistency checks. The derivational structure is clearer; the empirical content is identical or sharper; the structural reading is geometrically motivated rather than historically accidental.

18.3 Roadmap for Follow-Up Papers

The present paper has covered the foundational chain through the canonical tests of general relativity. Several substantial topics remain for follow-up papers within the same theorem-chain framework:

• Follow-Up 1: Rotating Black Holes (Kerr Solution). The Kerr 1963 [28] solution for rotating black holes deserves derivation as a theorem of the framework, with explicit treatment of frame-dragging in the McGucken-Invariance setting. Frame-dragging in standard general relativity is sometimes attributed to time-time mixed metric components (g_{ti}); the McGucken framework needs to address how frame-dragging is reattributed when these components are constrained.
• Follow-Up 2: Charged Black Holes (Reissner-Nordström and Kerr-Newman). Charged solutions of the Einstein-Maxwell field equations require deriving the coupling between gravity and electromagnetism within the McGucken framework, with the spatial-curvature equations sourced by the electromagnetic stress-energy tensor.
• Follow-Up 3: Cosmological Perturbation Theory and CMB. The CMB anisotropies (Planck data [29]) are sensitive to small departures from FLRW homogeneity. Cosmological perturbation theory in the McGucken framework, with all perturbations restricted to the spatial sector, would yield distinguishing predictions for CMB power spectra and large-scale structure.
• Follow-Up 4: Quantum Gravity. The McGucken framework’s no-graviton theorem (Theorem 19) requires development of a quantum theory of spatial-metric fluctuations as the proper quantum-gravity program. This would replace graviton-mediation theories with a quantum theory of spatial geometry, potentially related to loop quantum gravity but with the McGucken Principle’s structural commitments.
• Follow-Up 5: Connections to High-Energy Physics. The framework’s implications for unification of gravity with the Standard Model deserve systematic development. The Cartan-geometry formalization of [18] provides a natural setting for incorporating gauge symmetries and matter fields; the McGucken-Invariance Lemma’s constraint on x₄ has implications for whether gravity participates in unification with other forces or remains structurally distinct.

18.4 The Historical Sociology of Foundational Postulates

The McGucken framework’s reduction of six postulates to one raises a historical-sociological question worth flagging. Why did standard general relativity stay at six postulates for over a century when one would do? The answer is partly historical: Einstein’s 1915 derivation [1] was, by his own account, the result of eight years of struggle, three aborted theories, and a complex sequence of physical and mathematical insights. The six-postulate structure reflects the historical path Einstein took, with each postulate corresponding to a step in his struggle. The structural simplification to one axiom was not available to Einstein because the McGucken Principle’s geometric content (x₄ expanding at rate ic) was not recognized as foundational at the time.

But this historical answer is partial. The McGucken Principle has been mathematically present in Minkowski’s 1908 formula x₄ = ict for over a century [18]. Differentiating gives dx₄/dt = ic. The conclusion has been within reach of standard differentiation since 1908. What was missing was not the mathematics but the willingness to read the equation. The six-postulate structure of standard general relativity reflects, in part, a philosophical commitment to treating spacetime as a static four-manifold rather than as an active geometric process. The McGucken framework restores the reading that Minkowski’s formula already required, and the structural simplification of general relativity’s axiomatic basis follows automatically.

18.5 The Universal-Property Reading of the Theorem Chain

The chain of theorems established in §§2–17 admits a unified categorical reading, supplied by the companion Lagrangian-optimality papers [MG-Lagrangian, Theorem VI.1] (the four-fold uniqueness theorem of April 23, 2026) and [MG-LagrangianOptimality, Theorem 4.3] (the categorical-universal-property upgrade of April 25, 2026), that organizes the seemingly independent uniqueness results of Theorems 1, 7, 8, 11 (and their analogs in [MG-SM] for the matter sector) as parallel consequences of a single universal property. The first of these companions establishes that each of the four sectors of ℒ_McG = ℒ_kin + ℒ_Dirac + ℒ_YM + ℒ_EH is forced rather than chosen, with the structural-forcing argument descending in each sector to the McGucken Principle alone; the second upgrades this to the categorical statement that ℒ_McG is the initial object in the category of Lagrangian field theories satisfying seven structural conditions: (i) Lorentz invariance, (ii) locality, (iii) renormalizability, (iv) gauge invariance, (v) unitarity, (vi) energy positivity, (vii) coupling to the universal matter principal polynomial.

Under this reading, the present paper’s Theorem 11 (Einstein Field Equations) is the gravitational sector of the same initial-object structure: G_μν + Λ g_μν = (8πG/c⁴) T_μν is forced by the universal property in the gravitational sector exactly as the Yang-Mills, Dirac, and Klein-Gordon Lagrangians of [MG-SM] are forced by the universal property in the matter sectors. The four sectors — free-particle kinetic, Dirac matter, Yang-Mills gauge, Einstein-Hilbert gravitational — are not four independent uniqueness results but four instances of one categorical universal property realized at four sectors of the McGucken framework. The companion paper [MG-LagrangianOptimality] develops this reading in full detail and verifies that no predecessor Lagrangian framework in the 282-year tradition (Newton 1788 through string theory 1968–present) generates more than two of the seven McGucken Dualities of Physics that follow from this universal property, while ℒ_McG generates all seven as parallel sibling consequences.

The structural compression achieved by the present paper’s 19-theorem chain is therefore not merely ‘19 theorems instead of 6 postulates’ but a categorical compression: one universal property realized at multiple sectors. The Kolmogorov-complexity bit-bound supplied by the companion paper [MG-LagrangianOptimality, §3.1] makes this quantitative: K(dx₄/dt = ic) ~ O(10²) bits suffices to specify the McGucken Principle, while K(ℒ_SM + ℒ_EH) ~ O(10⁴) bits is required to specify the standard-model + general-relativity Lagrangian directly. The ratio is two orders of magnitude, reflecting the compression that the universal-property reading makes precise.

In plain language. The 19 theorems of this paper (covering general relativity) plus the 12 theorems of [MG-SM] (covering the Standard Model) plus their constructor-theoretic foundations [MG-Cat] add up to a single mathematical fact: the McGucken Lagrangian ℒ_McG is the unique simplest theory that satisfies seven natural structural conditions. All the individual uniqueness results — uniqueness of the Lorentz metric, of the geodesic action, of the Christoffel connection, of the Yang-Mills Lagrangian, of the Einstein-Hilbert action — are different angles on this one universal-property fact. Compressing ‘all of fundamental physics’ into ‘one universal property at four sectors’ is the categorical statement of the same compression that §1.3 stated informally as ‘one postulate replaces six.’

18.6 The Three Optimalities of the McGucken Treatment of Gravity

The companion paper [MG-LagrangianOptimality] establishes that the McGucken Lagrangian ℒ_McG = ℒ_kin + ℒ_Dirac + ℒ_YM + ℒ_EH is unique, simplest, and most complete under three orthogonal mathematical notions of optimality, drawing on fourteen distinct mathematical fields. The argument restricted to the gravitational sector — which is the scope of the present paper — admits a parallel reading. We show in this subsection that the McGucken treatment of gravity (the chain of Theorems 1–18 plus the conditional analysis of Theorem 19.4 in §17.4) is itself unique, simplest, and most complete under the same three optimality notions, restricted to the gravitational scope. The case is in some respects sharper than the full-Lagrangian case because the gravitational sector has fewer empirical inputs (only Newton’s constant G; no gauge group, no matter content). In one respect the case is honestly weaker: the quantum-gravity completeness is conditional on the Pathway-1/2/3 analysis of §17.4, pending experimental tests. We make the conditional structure explicit at each step.

18.6.1 Uniqueness of the McGucken Treatment of Gravity

The first optimality is uniqueness: is the McGucken treatment of gravity the only treatment satisfying the constraints? The answer is yes, established at three levels of force.

Grade 1 (strongly forced uniqueness of the field equations). Theorem 11 establishes that the Einstein field equations G_{μν} + Λ g_{μν} = (8πG/c⁴) T_{μν} are the unique divergence-free symmetric (0,2)-tensor equation in four dimensions linking matter content to spatial curvature, given the McGucken Principle plus standard structural assumptions (locality, Lorentz invariance, smoothness, finite-order derivatives) plus Lovelock’s 1971 theorem [29a]. The companion paper [MG-SM, Theorem 12] reaches the same field equations through Schuller’s 2020 constructive-gravity programme [arXiv:2003.09726], yielding two independent derivation routes converging on the same result. Two independent Grade-3 derivations from the McGucken Principle to G_{μν} + Λ g_{μν} = (8πG/c⁴) T_{μν} is structural corroboration: the field equations are not contingent on either route’s auxiliary assumptions but are the converged target of multiple independent paths.

Grade 1 (strongly forced uniqueness of the canonical solutions). Theorems 12–18 establish that the canonical solutions of general relativity (Schwarzschild, gravitational time dilation, gravitational redshift, light bending, perihelion precession, gravitational waves, FLRW cosmology) are the unique solutions of the field equations under their respective boundary conditions and symmetry assumptions, with the McGucken framework recovering each by direct computation. Birkhoff’s theorem ensures Schwarzschild’s uniqueness for the spherically-symmetric vacuum case; the FLRW solutions are unique under the cosmological principle (homogeneity and isotropy of space, both of which follow from the McGucken Principle’s spherically-symmetric x₄-expansion). The McGucken framework does not introduce alternative solutions; it derives the standard ones from a deeper structural source.

Grade 2 (forced uniqueness of the postulate-to-theorem reduction). Table 1.5a.1 of §1.5a.1 establishes that all six of Einstein’s 1915 postulates P1–P6 are derived as theorems of the McGucken Principle, with no postulate left undegraded. The reduction is unique in the following structural sense: there is no proper subset of P1–P6 that the McGucken framework leaves as residual axioms. The single Grade-1 axiom (the McGucken Principle itself) plus standard mathematical machinery suffices to derive all six. The companion paper [MG-Cat, Theorem V.1] establishes that no alternative single-axiom geometric principle generates the same six theorems with the same Grade-1 force on P1, the same Grade-2 force on P2–P5, and the same Grade-3 force on P6: the McGucken Principle is the unique single-axiom geometric principle in the constructor-theoretic landscape that achieves this reduction. The uniqueness of the reduction is therefore a uniqueness of the foundational principle itself, not just a uniqueness of the resulting field equations.

Grade 3 (conditional uniqueness, pending empirical validation). The unconditional uniqueness claim — that the McGucken treatment is the only correct treatment of gravity — depends on the McGucken Principle being empirically correct. If dx₄/dt = ic is empirically correct, then the McGucken treatment of gravity is forced as a Grade-3 theorem-chain in the sense of [MG-LagrangianOptimality, §1.4.4]. The empirical validation is the subject of ongoing experimental programs: cosmological tests through CMB anisotropy data (where the McGucken framework predicts a preferred cosmological frame consistent with the observed CMB dipole, §18.5 of the present paper’s gravitational-wave context), strong-field tests through black-hole shadow observations (Event Horizon Telescope), and gravitational-wave waveform tests (LIGO/Virgo). At present, no observation has discriminated between the McGucken treatment and standard general relativity, which is structural corroboration: the two frameworks predict identical observables in all regimes where general relativity has been tested. The Grade-3 uniqueness claim is therefore conditional but not refuted; the conditional structure is honest, not weakening.

18.6.2 Simplicity of the McGucken Treatment of Gravity

The second optimality is simplicity: is the McGucken treatment of gravity minimal under a precisely stated complexity measure? Three measures yield three independent simplicity results, parallel to the three measures of [MG-LagrangianOptimality, Theorems 3.1-3.3].

Algorithmic minimality (Kolmogorov complexity). The McGucken Principle dx₄/dt = ic admits a Kolmogorov-complexity description of length K(dx₄/dt = ic) ~ O(10²) bits in any reasonable formal language: the principle is essentially a one-line equation plus boilerplate specification of the imaginary unit and the manifold structure of Convention 1.5.1. The standard six-postulate axiomatic system of general relativity (P1–P6 of §1.1) requires K(P1, P2, …, P6) ~ O(10³) bits to specify directly: the Lorentzian manifold (M, g) of P1, the Equivalence Principle of P2 with its three structural variants (WEP, EEP, SEP), the geodesic hypothesis of P3, the metric-compatibility plus torsion-freeness of P4, the conservation law of P5, and the field-equation form of P6 each require independent specification. The compression ratio is one order of magnitude. The companion paper [MG-LagrangianOptimality, §3.1] establishes the Kolmogorov-complexity argument for the full Standard Model + Einstein-Hilbert content; the gravitational restriction to general relativity preserves the structural argument with a one-order-of-magnitude reduction in both numerator and denominator (since the Standard Model content is excluded from the comparison). The McGucken treatment of gravity is therefore Kolmogorov-minimal among single-axiom treatments of general relativity.

Postulate-count minimality. The standard axiomatic system of general relativity has six independent postulates (P1–P6 of §1.1). The McGucken treatment has one (the McGucken Principle itself) plus standard mathematical machinery (smooth manifolds, locality, Lorentz invariance, the Lovelock 1971 theorem) shared with all reasonable physical theories. The reduction is six-to-one. No alternative single-axiom treatment of general relativity is known to achieve the same reduction without sacrificing one of P1–P6 or introducing additional structural commitments not shared with standard physical theories. The McGucken treatment is therefore postulate-count-minimal among known treatments of general relativity.

Derivational-depth minimality. A subtler simplicity measure is the derivational depth of the framework’s structural inputs. Standard general relativity takes Lorentz invariance (P1) and diffeomorphism invariance (implicit in P4–P6) as input postulates: they are required for the framework to function but are not derived from anything deeper. The McGucken framework derives both from dx₄/dt = ic via the Klein correspondence: Lorentz invariance is the Poincaré group preserving the geometry specified by x₄-expansion at rate ic from every event ([MG-Cat, §III.2]); diffeomorphism invariance is the coordinate-independence of the four-dimensional manifold on which the principle is stated (§8.3a, Step 4). Both are derived rather than assumed. The derivational depth of the McGucken treatment of gravity is therefore one structural level greater than the standard treatment: where the standard treatment takes Lorentz invariance and diffeomorphism invariance as inputs, the McGucken treatment derives them. The companion paper [MG-LagrangianOptimality, §6.4.1] develops this argument for the full Lagrangian framework; the gravitational restriction is the same argument applied to P1, P4, P5, and P6.

18.6.3 Completeness of the McGucken Treatment of Gravity

The third optimality is completeness: does the McGucken treatment generate all the gravitational content within its scope, or are there outputs it cannot reach? Three measures yield three completeness results, parallel to the three measures of [MG-LagrangianOptimality, Theorems 4.1-4.3]. The third (quantum-gravity completeness) is honestly conditional and we say so explicitly.

Phenomenological completeness (classical regime). The seven canonical empirical predictions of general relativity are derived as Theorems 12–18 of the present paper: the Schwarzschild solution (Theorem 12), gravitational time dilation (Theorem 13), gravitational redshift (Theorem 14), light bending and Shapiro delay (Theorem 15), Mercury’s perihelion precession (Theorem 16), the gravitational-wave equation (Theorem 17), and the FLRW cosmology (Theorem 18). The McGucken framework reproduces all seven with no observable deviations from the standard predictions in the regimes where general relativity has been tested. Phenomenological completeness in the classical regime is therefore established: every empirically tested prediction of general relativity is a theorem of the McGucken Principle.

Categorical completeness (universal-property closure). The companion paper [MG-LagrangianOptimality, Theorem 4.3] establishes that the Einstein-Hilbert action ℒ_EH is the gravitational sector of the initial object ℒ_McG in the category of Lagrangian field theories satisfying seven structural conditions (Lorentz invariance, locality, renormalizability, gauge invariance, unitarity, energy positivity, coupling to the universal matter principal polynomial). Every other diffeomorphism-invariant gravitational theory in the category factors uniquely through ℒ_EH by structure-preserving morphism. The categorical-completeness statement is unconditional within the category: there is no diffeomorphism-invariant gravitational theory satisfying the seven conditions that lies structurally outside the McGucken treatment. This is the strongest completeness sense available in the categorical-foundations vocabulary of [MG-Cat].

Quantum-gravity completeness (conditional). The third completeness measure — whether the McGucken treatment of gravity covers the quantum-gravity regime — is honestly conditional. The framework predicts no graviton at the Grade-1 level (§17 Theorem 19): the McGucken-Invariance Lemma (Theorem 2) forces the timelike-sector metric perturbations to vanish, and gravity in the framework is the curvature of the spatial slices in response to mass-energy, not a force mediated by a particle. At the Grade-3 level (§17.4), three pathways under which a graviton-like quantum could enter the framework are characterized: Pathway 1 (relaxing strict McGucken-Invariance, the stochastic-fluctuation graviton); Pathway 2 (quantizing the spatial metric, the spin-2 spatial graviton); Pathway 3 (extending the matter sector, the composite-state graviton). Each pathway has a structural empirical signature derived from the framework: Pathway 1 predicts the Compton-coupling diffusion D_x = ε²c²Ω/(2γ²) (proof in §17.4.1a, ultimately from [MG-Compton]); Pathway 2 predicts standard spin-2 gravitons at the GR-quantization level; Pathway 3 predicts a composite graviton recoverable from existing matter-sector quanta with long-range Compton-coupling reproduction of Newtonian gravity. The conditional structure of the quantum-gravity completeness is: if no graviton-like signature is observed, the framework’s Grade-1 no-graviton prediction is corroborated and the McGucken treatment is complete in the quantum-gravity regime as well; if a graviton-like signature is observed, the empirical signature determines which of the three pathways applies, and the framework extends to incorporate the new physics through the corresponding pathway without disturbing the underlying structure (§17.4.6 constructor-theoretic reading via Channel-A / Channel-B Kleinian split).

The honest scope statement is therefore: the McGucken treatment of gravity is complete in the classical regime (Theorems 12–18 cover all canonical predictions of general relativity) and complete in the categorical regime (the universal-property reading of [MG-LagrangianOptimality]) but conditionally complete in the quantum-gravity regime (pending experimental tests of the Pathway-1/2/3 signatures). This is a stronger completeness claim than any standard quantum-gravity programme makes for itself: perturbative quantum gravity is non-renormalizable, string theory predicts gravitons at the cost of substantial additional structural commitments (extra dimensions, supersymmetry, ∼10^{500} vacuum states), and loop quantum gravity has a different quantization scheme that gives a discrete-spacetime picture without classical gravitons. The McGucken framework’s claim is more disciplined: classical general relativity is fully covered as a theorem chain; quantum gravity is structurally accommodated through a small finite list of pathways whose empirical signatures are derivable.

18.6.4 The Conjunction: Unique, Simplest, and Most Complete

The conjunction of the three optimalities — uniqueness (§18.6.1), simplicity (§18.6.2), and completeness (§18.6.3) — positions the McGucken treatment of gravity as the structurally optimal treatment of general relativity in the gravitational scope:

Unique in the field equations (Theorem 11, Grade 1 via Lovelock; Grade 1 via Schuller in the parallel route), in the canonical solutions (Theorems 12–18, Grade 1 each), in the postulate-to-theorem reduction (Table 1.5a.1, Grade 2 modulo Newton’s G), and in the foundational principle ([MG-Cat, Theorem V.1], Grade 3 conditional).

Simplest under three independent measures: Kolmogorov-complexity-minimal (one order of magnitude bit-bound reduction over six-postulate GR), postulate-count-minimal (six-to-one reduction), and derivational-depth-minimal (Lorentz and diffeomorphism invariance derived rather than assumed). The conjunction of three independent simplicity measures is what distinguishes the McGucken treatment from alternative single-postulate proposals that achieve simplicity in one measure but not others.

Most complete in the classical regime (phenomenological completeness via Theorems 12–18) and in the categorical regime (initial-object completeness via [MG-LagrangianOptimality, Theorem 4.3]); conditionally most complete in the quantum-gravity regime (Pathway-1/2/3 analysis of §17.4 with empirically derivable signatures). The completeness claim is structurally stronger than any standard quantum-gravity programme makes for itself, while remaining honest about the conditional nature of the quantum-gravity sector.

The structural significance of the conjunction is that no other treatment of gravity in the historical record — Newton 1687, Einstein 1915, Brans-Dicke 1961, Modified Newtonian Dynamics 1983, loop quantum gravity 1986–present, string-theoretic gravity 1968–present, asymptotic safety 1976–present, causal-set theory 1987–present, emergent-gravity programs (Verlinde 2010, Jacobson 1995) — satisfies all three optimality measures simultaneously at the same Grade. Newton’s gravity is simple and unique within its domain but incomplete (no relativistic corrections, no gravitational waves, no cosmology). Einstein’s general relativity is unique and complete classically but not simple in the postulate-count or Kolmogorov measures. The various quantum-gravity programs achieve completeness in their target domains at substantial cost in simplicity (string theory’s landscape; loop quantum gravity’s discrete structure). The McGucken treatment is the first treatment of gravity in the historical record to achieve simultaneous unique-simplest-complete optimality in the conjunction sense: each optimality measure individually yields a structural advantage, and the conjunction is what makes the treatment optimal rather than merely good in one or two measures.

In plain language. The case for the McGucken treatment of gravity being the ‘right one’ rests on three independent ways of measuring what ‘right one’ means. Is it the only treatment that fits the constraints? Yes (uniqueness, §18.6.1). Is it the simplest treatment that does the job? Yes, in three different ways: shortest description, fewest postulates, derives more rather than assuming more (simplicity, §18.6.2). Does it cover everything that needs covering? Yes for classical GR — Mercury, light-bending, gravitational waves, cosmology, all Theorems of the chain (completeness in the classical regime, §18.6.3); yes structurally for the quantum regime through the three-pathway analysis (with the honest caveat that the pathways need experimental tests). No prior treatment of gravity in 340 years has achieved all three simultaneously at the same level of structural force. The McGucken treatment is the first to do so — not by claiming to do more than its predecessors but by deriving more from less, with the empirical risk concentrated on a single foundational principle (dx₄/dt = ic) rather than dispersed across many independent postulates.

19. Conclusion

General relativity has been derived as a chain of formal theorems descending from the McGucken Principle dx₄/dt = ic. Twenty-one numbered results, organized in three parts, reproduce the foundational structure of standard general relativity from a single geometric axiom: the master equation, the four-velocity budget, the McGucken-Invariance Lemma, the four versions of the Equivalence Principle, the geodesic principle, the Christoffel connection, the Riemann tensor, the Ricci tensor and scalar, the Bianchi identities, the stress-energy conservation, the Einstein field equations, the Schwarzschild solution, gravitational time dilation, gravitational redshift, light bending, Mercury’s perihelion precession, the gravitational-wave equation, the FLRW cosmology, and the no-graviton theorem. Each result has formal proof; each is accompanied by a layman explanation; each is compared with the standard derivation, identifying what the McGucken framework simplifies or sharpens.

The structural payoff is that what Einstein had to assume can instead be proved. The Equivalence Principle, the geodesic hypothesis, the metric-compatibility of the connection, and the conservation of stress-energy are all theorems of dx₄/dt = ic, with explicit derivational pedigrees rooted in x₄’s expansion. The Einstein field equations themselves emerge as the eleventh theorem in a chain that begins with a single axiom. The canonical predictions of general relativity — perihelion precession, light bending, gravitational waves, gravitational redshift — follow as further theorems with the same derivational rigor. The no-graviton conclusion is forced by the structural restriction of curvature to the spatial sector, dissolving a century-long research program as a category error and redirecting quantum-gravity work toward the quantization of spatial-metric fluctuations rather than the search for a particle mediator that does not exist.

Einstein’s 1915 derivation required eight years of struggle, three aborted theories, and a complex sequence of physical and mathematical postulates. The McGucken framework derives the same theory from a single geometric postulate as a chain of formal theorems. The structural simplification is not a stylistic preference; it reveals which features of general relativity were postulated when they should have been derived, and it reveals the underlying geometric source from which everything else follows: the fourth dimension expanding at the velocity of light, dx₄/dt = ic, present in Minkowski’s 1908 formula and waiting for over a century to be read at face value. The McGucken Principle is not a new postulate added to general relativity; it is the foundational geometric content from which general relativity is derived.

In plain language.

Here’s the upshot in plain language. Einstein’s general relativity is built on six separate postulates: assumptions about spacetime’s geometry, the equivalence of gravitational and inertial mass, how particles move, how the connection on the manifold works, how energy is conserved, and what form the field equations take. This paper has derived all six as theorems from a single geometric postulate — the McGucken Principle — which says the fourth dimension of spacetime is expanding at the speed of light. Twenty-one theorems, organized in three parts, take you from this single postulate all the way through the Einstein field equations and their canonical predictions: Mercury’s perihelion precession, the bending of light, gravitational waves, the structure of black holes, and the cosmological expansion of the universe. What Einstein had to assume can instead be proved. The structural simplification is dramatic, and it points to the deep geometric source of relativistic physics: the active expansion of x₄ at rate ic, present in Minkowski’s equations since 1908 but never read at face value until now.

References

[1] A. Einstein, “Die Feldgleichungen der Gravitation,” Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, 844–847 (1915). [The final form of the Einstein field equations.]

[2] C. W. Misner, K. S. Thorne, and J. A. Wheeler, Gravitation, W. H. Freeman, San Francisco (1973). [Standard graduate-school general-relativity textbook.]

[3] R. M. Wald, General Relativity, University of Chicago Press, Chicago (1984). [Standard reference on the formal structure of general relativity.]

[4] S. M. Carroll, Spacetime and Geometry: An Introduction to General Relativity, Addison-Wesley (2004). [Modern textbook on general relativity.]

[5] E. McGucken, doctoral dissertation, University of North Carolina at Chapel Hill, 1998–1999. Appendix B: “Physics for Poets: The Law of Moving Dimensions,” pp. 153–156. [Establishes 1998 priority on dx₄/dt = ic.]

[6] E. McGucken, “How the McGucken Principle of a Fourth Expanding Dimension Generates and Unifies the Dual A-B Channel Structure of Physics,” elliotmcguckenphysics.com, April 24, 2026. URL: https://elliotmcguckenphysics.com/2026/04/24/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-generates-and-unifies-the-dual-a-b-channel-structure-of-physics-a-hamiltonian-operator-formulation-b-lagrangian-path-integral-and/

[7] E. McGucken, “The McGucken Principle and Proof: The Fourth Dimension Is Expanding at the Velocity of Light dx₄/dt = ic as a Foundational Law of Physics,” elliotmcguckenphysics.com, April 15, 2026. URL: https://elliotmcguckenphysics.com/2026/04/15/the-mcgucken-principle-and-proof-the-fourth-dimension-is-expanding-at-the-velocity-of-light-dx4-dtic-as-a-foundational-law-of-physics/

[8] A. Einstein and M. Grossmann, “Entwurf einer verallgemeinerten Relativitätstheorie und einer Theorie der Gravitation,” Zeitschrift für Mathematik und Physik 62, 225–261 (1913). [The Entwurf theory, abandoned in favor of fully covariant field equations.]

[9] A. Einstein, “Zur allgemeinen Relativitätstheorie,” Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, 778–786 (1915). [The November 4, 1915 paper.]

[10] A. Einstein, “Erklärung der Perihelbewegung des Merkur aus der allgemeinen Relativitätstheorie,” Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, 831–839 (1915). [The November 18, 1915 paper, with the perihelion calculation.]

[11] E. McGucken, “The Einstein Equivalence Principle as a Theorem of the McGucken Principle dx₄/dt = ic,” elliotmcguckenphysics.com, April 24, 2026. [Establishes the master equation and the four-theorem family WEP/EEP/SEP/Massless-Lightspeed.]

[12] E. McGucken, “The Unique McGucken Lagrangian: All Four Sectors Forced by the McGucken Principle,” elliotmcguckenphysics.com, April 23, 2026. URL: https://elliotmcguckenphysics.com/2026/04/23/the-unique-mcgucken-lagrangian-all-four-sectors-free-particle-kinetic-dirac-matter-yang-mills-gauge-einstein-hilbert-gravitational-forced-by-the-mcgucken-principle-dx%e2%82%84-2/

[13] E. McGucken, “The Principle of Least Action as the Eikonal Signature of x₄-Wavefront Expansion,” elliotmcguckenphysics.com, April 25, 2026. [Action-arc-length theorem and the eikonal-limit identification of variational mechanics.]

[14] E. McGucken, “The McGucken Principle as the Common Foundation of the Conservation Laws and the Second Law of Thermodynamics,” elliotmcguckenphysics.com, April 23, 2026. URL: https://elliotmcguckenphysics.com/2026/04/23/the-mcgucken-principle-as-the-common-foundation-of-the-conservation-laws-and-the-second-law-of-thermodynamics-a-remarkable-and-counter-intuitive-unification/

[15] E. McGucken, “The McGucken Principle (dx₄/dt = ic) as the Physical Mechanism Underlying Huygens’ Principle, the Principle of Least Action, Noether’s Theorem, and the Schrödinger Equation,” elliotmcguckenphysics.com, April 11, 2026. URL: https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-huygens-principle-the-principle-of-least-action-noethers-theorem-and-the-schrodinger-equation/

[16] J. Renn (ed.), The Genesis of General Relativity, 4 vols., Springer (2007). [Comprehensive historical study of Einstein’s development of GR.]

[17] J. D. Norton, “How Einstein Found His Field Equations: 1912–1915,” in Einstein and the History of General Relativity, edited by D. Howard and J. Stachel, Birkhäuser (1989). [Detailed historical analysis.]

[18] E. McGucken, “The Mathematical Structure of Moving-Dimension Geometry: Cartan Geometries with Distinguished Translation Generators,” elliotmcguckenphysics.com, April 26, 2026. [Companion paper to the present work, developing the formal mathematics of moving-dimension geometry.]

[19] K. Schwarzschild, “Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie,” Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, 189–196 (1916). [The Schwarzschild solution.]

[20] F. W. Dyson, A. S. Eddington, and C. Davidson, “A Determination of the Deflection of Light by the Sun’s Gravitational Field, from Observations Made at the Total Eclipse of May 29, 1919,” Philosophical Transactions of the Royal Society A 220, 291–333 (1920). [The 1919 eclipse measurement of light bending.]

[21] A. Einstein, “Näherungsweise Integration der Feldgleichungen der Gravitation,” Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, 688–696 (1916). [Einstein’s prediction of gravitational waves.]

[22] B. P. Abbott et al. (LIGO Scientific Collaboration and Virgo Collaboration), “Observation of Gravitational Waves from a Binary Black Hole Merger,” Physical Review Letters 116, 061102 (2016). [The LIGO discovery paper.]

[23] B. P. Abbott et al., “GW170817: Observation of Gravitational Waves from a Binary Neutron Star Inspiral,” Physical Review Letters 119, 161101 (2017). [The multi-messenger detection.]

[24] A. Friedmann, “Über die Krümmung des Raumes,” Zeitschrift für Physik 10, 377–386 (1922). [Friedmann’s cosmological equations.]

[25] G. Lemaître, “Un Univers homogène de masse constante et de rayon croissant rendant compte de la vitesse radiale des nébuleuses extra-galactiques,” Annales de la Société Scientifique de Bruxelles A47, 49–59 (1927). [Lemaître’s primaeval atom hypothesis.]

[26] E. Hubble, “A Relation between Distance and Radial Velocity among Extra-Galactic Nebulae,” Proceedings of the National Academy of Sciences 15, 168–173 (1929). [Hubble’s 1929 observation of the redshift-distance relation.]

[27] S. Bose, A. Mazumdar, G. W. Morley, et al., “Spin Entanglement Witness for Quantum Gravity,” Physical Review Letters 119, 240401 (2017); C. Marletto and V. Vedral, “Gravitationally-Induced Entanglement between Two Massive Particles is Sufficient Evidence of Quantum Effects in Gravity,” Physical Review Letters 119, 240402 (2017). [The BMV proposal for testing gravity-mediated entanglement.]

[28] R. P. Kerr, “Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics,” Physical Review Letters 11, 237–238 (1963). [The Kerr solution for rotating black holes.]

[29] N. Aghanim et al. (Planck Collaboration), “Planck 2018 results. VI. Cosmological parameters,” Astronomy and Astrophysics 641, A6 (2020). [Planck CMB observations.]

[29a] D. Lovelock, “The Einstein tensor and its generalizations,” Journal of Mathematical Physics 12, 498–501 (1971). [Uniqueness theorem establishing that the Einstein tensor (plus a cosmological constant) is the only divergence-free symmetric (0,2)-tensor in four dimensions constructible from the metric and its first two derivatives that depends linearly on the second derivatives. Used in the proof of Theorem 11 to establish uniqueness of the Einstein field equations.]

[MG-SM] E. McGucken, “A Formal Derivation of the Standard Model Lagrangians and General Relativity from McGucken’s Principle of the Fourth Expanding Dimension dx₄/dt = ic: Gauge Symmetry, Maxwell’s Equations, and the Einstein-Hilbert Action as Theorems of a Single Geometric Postulate,” elliotmcguckenphysics.com (April 14, 2026). URL: https://elliotmcguckenphysics.com/2026/04/14/a-formal-derivation-of-the-standard-model-lagrangians-and-general-relativity-from-mcguckens-principle-of-the-fourth-expanding-dimension-dx%e2%82%84-dt-ic-gauge-symmetry-maxwell/ . Establishes the master 12-theorem proof chain: Theorem 1 (Lorentzian metric and master equation), Theorem 2 (wave equation as 4D Laplace), Theorem 3 (relativistic action uniqueness), Theorems 4-5 (global and local U(1) gauge invariance), Theorems 6-7 (Maxwell’s equations), Theorem 8 (Klein-Gordon Lagrangian), Theorem 9 (Dirac equation and spin-½), Theorems 10-11 (Yang-Mills connection and Lagrangian uniqueness), Theorem 12 (Einstein-Hilbert via Schuller’s gravitational closure). The companion paper to the present work for the Standard Model sector. Cited in §1.5a (Grade 3 alternative-derivation reading of Theorem 11), §18.5 (universal-property reading), and throughout the references to the four-sector Lagrangian uniqueness.

[MG-SMGauge] E. McGucken, “Gauge Symmetry, Maxwell’s Equations, and the Einstein-Hilbert Action as Theorems of a Single Geometric Postulate — Deriving the Standard Model Lagrangians and General Relativity from the Expanding Fourth Dimension dx₄/dt = ic,” elliotmcguckenphysics.com (April 14, 2026). URL: https://elliotmcguckenphysics.com/2026/04/14/gauge-symmetry-maxwells-equations-and-the-einstein-hilbert-action-as-theorems-of-a-single-geometric-postulate-deriving-the-standard-model-lagrangians-and-general-relativity-from-th/ . Companion paper to [MG-SM] presenting the same derivational chain as a staged synthesis through Stages I-XI. Used in conjunction with [MG-SM] in §1.5a and §18.5 of the present paper for the Schuller-mediated derivation of Theorem 11 (Einstein Field Equations).

[MG-LagrangianOptimality] E. McGucken, “The McGucken Lagrangian as Unique, Simplest, and Most Complete: A Multi-Field Mathematical Proof (McGucken vs. Newton, Maxwell, Einstein-Hilbert, Dirac, Yang-Mills, Standard Model, and String Theory),” elliotmcguckenphysics.com (April 25, 2026). URL: https://elliotmcguckenphysics.com/2026/04/25/the-mcgucken-lagrangian-as-unique-simplest-and-most-complete-a-multi-field-mathematical-proof/ . Establishes Theorem 4.3 (universal-property reading): ℒ_McG = ℒ_kin + ℒ_Dirac + ℒ_YM + ℒ_EH is the initial object in the category of Lagrangian field theories satisfying seven structural conditions; the seven McGucken Dualities follow as parallel sibling consequences; the seven-duality audit (§6.7) shows no predecessor Lagrangian generates more than two of the seven. Also supplies the Kolmogorov bit-bound K(dx₄/dt = ic) ~ O(10²) bits vs K(ℒ_SM + ℒ_EH) ~ O(10⁴) bits (§3.1), used in the present paper’s §1.3 and §18.5. Cited in §18.5 (universal-property reading of the theorem chain) and §1.5a (Grade 1/2/3 forcing classification).

[MG-Cat] E. McGucken, “The McGucken-Kleinian Programme as the Geometric Foundation of Constructor Theory: A Categorical Formalization,” elliotmcguckenphysics.com (April 25, 2026). URL: https://elliotmcguckenphysics.com/2026/04/25/the-mcgucken-kleinian-programme-as-the-geometric-foundation-of-constructor-theory-a-categorical-formalization/ . Companion paper establishing the Kleinian-pair categorical formalization of dx₄/dt = ic: Theorem III.1 (algebraic-geometric adjunction Alg ⊣ Geom), Theorem V.1 (constructor-theoretic foundation via Channel-A / Channel-B split), Theorem VII.1 (terminality of the seven-duality 2-category), Lemma III.5 (double universal property combining the categorical paper’s terminality with [MG-LagrangianOptimality]’s initiality). Supplies the Grade 1/2/3 graded-forcing vocabulary imported in §1.5a of the present paper, and the constructor-theoretic Channel-A/Channel-B classification used in §17.4.6 to classify the three graviton-accommodation pathways. Table VII.2 establishes empirical content via the seven-duality audit of the eight canonical Lagrangians of the 282-year tradition.

[MG-Compton] E. McGucken, “A Compton Coupling Between Matter and the Expanding Fourth Dimension: A Proposed Matter Interaction for the McGucken Principle, with Consequences for Diffusion and Entropy,” elliotmcguckenphysics.com (April 18, 2026). URL: https://elliotmcguckenphysics.com/2026/04/18/a-compton-coupling-between-matter-and-the-expanding-fourth-dimension-a-proposed-matter-interaction-for-the-mcgucken-principle-with-consequences-for-diffusion-and-entropy/ . Proposes a specific matter-coupling prescription ψ ~ exp(-i·mc²τ/ℏ)·[1 + ε·cos(Ω·τ)] elevating the rest-mass phase to a physical oscillation; derives the residual diffusion D_x = ε²c²Ω/(2γ²) used in §17.4.1 (Pathway-1 stochastic-fluctuation graviton) of the present paper. Three experimental-test channels: zero-temperature residual diffusion, cross-species mass-independence, spectroscopic sidebands at ±Ω offsets.

[MG-Lagrangian] E. McGucken, “The Unique McGucken Lagrangian: All Four Sectors — Free-Particle Kinetic, Dirac Matter, Yang-Mills Gauge, Einstein-Hilbert Gravitational — Forced by the McGucken Principle dx₄/dt = ic,” elliotmcguckenphysics.com (April 23, 2026). URL: https://elliotmcguckenphysics.com/2026/04/23/the-unique-mcgucken-lagrangian-all-four-sectors-free-particle-kinetic-dirac-matter-yang-mills-gauge-einstein-hilbert-gravitational-forced-by-the-mcgucken-principle-dx%e2%82%84-2/ . The four-fold uniqueness theorem (Theorem VI.1): each sector of ℒ_McG = ℒ_kin + ℒ_Dirac + ℒ_YM + ℒ_EH is forced by the McGucken Principle plus minimal consistency requirements. Predecessor of [MG-LagrangianOptimality] (April 25); the present paper’s §18.5 universal-property reading builds directly on this paper’s structural-forcing argument. Also catalogs in §VIII.21 thirteen structural axes on which ℒ_McG does what the Standard Model + Einstein-Hilbert does not: structural forcing vs empirical assembly; gravity inside vs outside; unified i, ℏ, c; quantum mechanics forced not inherited; arrows of time unified; strong CP problem dissolves; dark-matter phenomenology geometric; cosmological constant derived; horizon/flatness/homogeneity resolved without inflation; de Broglie clock physical; Wick rotation acquires physical meaning; fundamental constants derived.

[MG-Noether] E. McGucken, “The McGucken Principle of a Fourth Expanding Dimension Exalts and Unifies the Conservation Laws: How the Symmetries of Noether’s Theorem, the Conservation Laws of the Poincaré, U(1), SU(2), SU(3), Diffeomorphism Groups, and the Imaginary Structure of Quantum Theory and Complexification of Physics arise from dx₄/dt = ic,” elliotmcguckenphysics.com (April 21, 2026). URL: https://elliotmcguckenphysics.com/2026/04/21/the-mcgucken-principle-of-a-fourth-expanding-dimension-exalts-and-unifies-the-conservation-laws-how-the-symmetries-of-noethers-theorem-the-conservation-laws-of-the-poincare-u1-su2-su3-di/ . Derives the complete Noether catalog of continuous symmetries and conservation laws from dx₄/dt = ic, including (i) the full ten-charge Poincaré catalog (energy, three momenta, three angular momenta, three boost charges); (ii) electric charge conservation from global U(1) phase invariance; (iii) weak isospin conservation from SU(2)_L gauge invariance; (iv) color conservation from SU(3)_c gauge invariance; and (v) covariant energy-momentum conservation ∇_μT^{μν} = 0 from four-dimensional diffeomorphism invariance, the result invoked in Theorem 10.7 of the present paper. Also derives Einstein’s 1905 two postulates of special relativity (relativity principle and invariance of c) as theorems rather than axioms. Cited in Theorem 10.7 of the present paper as the explicit derivational source for stress-energy conservation.