Lorentz Invariance and Quantum Nonlocality as One Geometric Fact of dx₄/dt = ic: The McGucken Sphere Uniqueness Theorem

Lorentz Invariance and Quantum Nonlocality as One Geometric Fact of dx₄/dt = ic: The McGucken Sphere Uniqueness Theorem

Dr. Elliot McGucken Light, Time, Dimension Theory • elliotmcguckenphysics.com • drelliot@gmail.com

---

“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

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

---

Abstract

The McGucken Sphere Σ⁺(p) generated at every spacetime event p by the principle dx₄/dt = ic [1, 2, 3] is the future light cone of p read geometrically: its surface is the locus of events at common x₄-coordinate value relative to p, namely the locus on which x₄-locality is preserved despite spatial extension. The present paper establishes that this surface-level x₄-locality property is not a separately postulated feature of the McGucken framework but the unique geometric configuration of the future null cone consistent with the conjunction of all observed quantum and relativistic phenomenology.

Five Propositions classify the qualitatively distinct ways in which sphere-surface x₄-locality could fail and prove that each failure mode is empirically excluded: random x₄-scatter on the wavefront eliminates Bell-inequality violation and the Born rule; systematic x₄-gradient breaks rotational invariance of entanglement at angles already probed by Aspect-class experiments; finite x₄-thickness imposes an entanglement-distance limit ruled out by satellite Bell tests at 1200 km [4]; directional rate-anisotropy violates Lorentz invariance at levels excluded by gamma-ray-burst timing to parts in 10²⁰ [5]; and failure of self-replication breaks propagation itself.

The five Propositions converge on a Uniqueness Theorem: the McGucken Sphere with x₄-local surface is the unique surface configuration of the future null cone simultaneously consistent with (i) saturation of the Tsirelson bound |CHSH| ≤ 2√2, (ii) rotational invariance of entanglement correlations, (iii) the absence of an entanglement-distance limit, (iv) Lorentz invariance of the speed of light, and (v) self-replication of the wavefront via Huygens’ Principle.

A corollary structural identification follows (Identity Theorem): quantum nonlocality and Lorentz invariance of the light cone are not two empirical facts but two readings of one geometric fact — the algebraic-symmetry reading (Channel A) of sphere-surface x₄-locality producing the Lorentz invariance of c, and the geometric-propagation reading (Channel B) producing the saturation of Tsirelson at 2√2.

The Born rule is established as the structural co-consequence: SO(3)-Haar measure on the x₄-coherent sphere surface generates P = |ψ|² through a Cauchy-functional-equation argument that fails identically under Case A’s random-scatter alternative. The First McGucken Law of Nonlocality [6, 7] — all nonlocality begins as locality — is therefore not an interpretive principle layered onto quantum mechanics but a forced theorem of dx₄/dt = ic, with empirical falsification routes closed in five qualitatively distinct directions simultaneously.

Keywords: McGucken Principle; dx₄/dt = ic; McGucken Sphere; sphere-surface x₄-locality; Lorentz invariance of the light cone; Tsirelson bound; Bell-inequality violation; quantum nonlocality; entanglement; Huygens’ Principle; Born rule; First McGucken Law of Nonlocality; Light, Time, Dimension Theory.

---

Contents

• 1. Introduction: The Geometric Content of the Light Cone
  • 1.1 The Standing Conjunction Problem
  • 1.2 Strategy and Organization
  • 1.3 Statement of the Two Main Theorems
• 2. Geometric Preliminaries
  • 2.1 The McGucken Principle
  • 2.2 The McGucken Sphere
  • 2.3 Sphere-Surface x₄-Locality
  • 2.4 Channel A and Channel B Readings of the Sphere
  • 2.5 The SO(3)-Haar Measure on the Sphere Surface
  • 2.6 Notation and Conventions
• 3. The Five Failure-Mode Propositions
  • 3.1 Proposition A: Random x₄-Scatter Eliminates Bell Violation and the Born Rule
  • 3.2 Proposition B: Systematic x₄-Gradient Breaks Rotational Invariance
  • 3.3 Proposition C: Finite x₄-Thickness Imposes an Entanglement-Distance Limit
  • 3.4 Proposition D: Directional Rate-Anisotropy Violates Lorentz Invariance
  • 3.5 Proposition E: Failure of Self-Replication Breaks Propagation
  4. The Uniqueness Theorem
• 5. The Identity of Lorentz Invariance and Quantum Nonlocality
  • 5.1 Channel A and Channel B Decomposition
  • 5.2 The Identity Theorem
  • 5.3 The Feynman Path Integral as C_M-Shadow of x₄-Stationarity
  6. The Born Rule as Structural Co-Consequence
  7. The First McGucken Law of Nonlocality
  8. Integration into the McGucken Corpus
  9. Falsifiability Ledger
• 10. Historical Predecessors: Who Got Close
  • 10.1 Costa de Beauregard (1953, 1976, 1977): The Cone Carries the Correlation
  • 10.2 Penrose (1967 onward): Null Structure as Fundamental
  • 10.3 Hardy (1992): The Closest Formal Result
  • 10.4 Why the Identity Claim Required the Dynamical x₄
  11. Conclusion
• References

---

1. Introduction: The Geometric Content of the Light Cone

Standard relativity and standard quantum mechanics both commit, separately, to a structural feature of the future light cone of a spacetime event p: the cone is a Lorentz-invariant surface, and quantum correlations between events on a shared cone saturate the Tsirelson bound |CHSH| ≤ 2√2 in Bell-inequality experiments [8, 9, 4]. These two facts are normally treated as independent empirical findings that happen to coexist consistently — the no-signaling theorem [10] stitching them together at the operational level without explaining why they coexist.

The McGucken Principle dx₄/dt = ic [1, 11, 12, 13] read geometrically supplies a single structural fact from which both empirical features descend: the sphere-surface x₄-locality of the McGucken Sphere Σ⁺(p). The Principle is a physical, geometric statement: the fourth dimension is expanding at the velocity of light c in a spherically symmetric manner from every spacetime event. The integrated form x₄ = ict, written by Minkowski in 1908 [52], is the kinematic shadow of this dynamical motion — not the principle itself. Every point on the expanding spherical wavefront radiating from p at speed c shares the same x₄-coordinate value as every other point on the same wavefront, by the kinematic content of dx₄/dt = ic at every event. The 3-dimensional spatial separation of two points on a single wavefront is what we call their nonlocality in three-space; the perfect coincidence of their x₄-coordinate is what we recognize as their locality in x₄ [6, 7]. The two are the same geometric fact viewed in different projections.

The present paper establishes that this identification is not a stipulated reading of dx₄/dt = ic but a forced one. The argument proceeds by enumerating the qualitatively distinct ways in which sphere-surface x₄-locality could fail (Propositions A–E) and proving that each failure mode produces a different empirically-falsifiable physics. The five failure modes converge on a single Uniqueness Theorem. The corollary identity reads:

Quantum nonlocality and Lorentz invariance of the light cone are not two empirical facts but two readings of one geometric fact.

1.1 The Standing Conjunction Problem

The conjunction of empirical features that any candidate surface configuration of the future null cone must simultaneously satisfy comprises five strands.

(i) Tsirelson saturation. Bell-inequality experiments measure the CHSH correlation function CHSH = E(â, b̂) + E(â, b̂′) + E(â′, b̂) − E(â′, b̂′) across choices of detector orientations (â, â′, b̂, b̂′). The classical Bell bound |CHSH| ≤ 2 [14] is violated, and the experimental record shows saturation at the Tsirelson value 2√2 [15, 8, 16].

(ii) Rotational invariance. The strength of Bell-inequality violation depends on the relative angle between detector settings, E(â, b̂) = −cos θ_ab, with no preferred absolute spatial direction. The angular dependence is the universal cos θ, isotropic under SO(3) [17, 8].

(iii) No entanglement-distance limit. Entanglement experiments at increasing spatial separation — Aspect 1982 at the meter scale [8], Tittel et al. 1998 across 10 km of optical fiber under Lake Geneva [9], the Pan group’s 2017 satellite Bell test at 1200 km between distributed ground stations and the Micius spacecraft [4] — continue to find |CHSH| = 2√2 within experimental error, with no detectable degradation as a function of separation in vacuum. There is no fundamental entanglement-distance limit set by the geometry of the wavefront itself.

(iv) Lorentz invariance of c. The speed of light is the same in every inertial frame, isotropic in every direction, to the precision tested by gamma-ray-burst timing across cosmological distances. The Vasileiou et al. 2013 analysis of GRB 090510 bounds Lorentz violation at E_LIV > 7.6 M_Pl in linear-energy models [5], equivalent to constraining angular dispersion of c to parts in 10²⁰ or better [18].

(v) Wavefront self-replication (Huygens’ Principle). Every point on a wavefront radiates secondary spherical wavelets that combine to form the future wavefront — the principle Huygens stated in 1690 [19] and Kirchhoff formalized in 1882 [20], and which is forced as a theorem of dx₄/dt = ic [1, 13]. Wave propagation is self-perpetuating because the wavefront generates its own future at every point.

The standing conjunction problem asks: what surface configuration of the future null cone is simultaneously consistent with all five strands? The standard treatment supplies the answer “the Lorentz-invariant null cone with x₄-coherent surface” as a postulate, motivated by the empirical record but not derived from any deeper principle. The McGucken framework supplies the same answer as a forced theorem of dx₄/dt = ic, with the falsification routes closed in five qualitatively distinct directions simultaneously, as the present paper proves.

1.2 Strategy and Organization

The argument has the structure of a uniqueness proof by exhaustion of cases. Section 2 fixes the geometric setup — the McGucken Sphere Σ⁺(p), the x₄-coordinate of a wavefront point, the SO(3)-Haar measure on the spherical surface, and the precise definition of sphere-surface x₄-locality. Section 3 establishes the five Propositions, each of which proves that one specific failure mode of sphere-surface x₄-locality is incompatible with at least one strand of the empirical conjunction. Section 4 combines the Propositions into the Uniqueness Theorem. Section 5 establishes the structural-identification corollary that quantum nonlocality and Lorentz invariance of the light cone are two readings of one geometric fact, with explicit Channel A / Channel B decomposition. Section 6 establishes the Born rule as the structural co-consequence: the SO(3)-Haar measure on the x₄-coherent surface generates P = |ψ|² through a Cauchy-functional-equation argument that fails identically under the Case A random-scatter alternative. Section 7 states and proves the First McGucken Law of Nonlocality [6] as a theorem of dx₄/dt = ic given the Uniqueness Theorem, closing the foundational loop. Section 8 integrates the result into the broader corpus of theorems descending from dx₄/dt = ic [1, 21, 22], identifying the present Uniqueness Theorem as the structural underpinning of the dual-channel readings already established for the Master Equation, the Bell–Tsirelson result, and the Born rule. Section 9 catalogs the falsifiable empirical content of the framework. Section 10 concludes.

The proofs operate at the level of Princeton-PhD foundational rigor: each load-bearing step is established explicitly rather than imported by citation, the empirical bounds invoked are sourced from primary experimental literature with full URLs, and the Cauchy-functional-equation derivation of the Born rule is given in full rather than quoted from secondary sources. The dual-channel (Channel A / Channel B) structural decomposition that has been established across the corpus [1, 23, 24] is preserved throughout: every theorem of the present paper admits both an algebraic-symmetry reading and a geometric-propagation reading, with the two readings co-forcing the conclusion.

1.3 Statement of the Two Main Theorems

The two main theorems of the paper, which the body of the paper proves, are stated here for the reader’s orientation.

Theorem 1 (Uniqueness of the McGucken Sphere). The McGucken Sphere Σ⁺(p) with x₄-local surface generated at every event p by dx₄/dt = ic is the unique surface configuration S of the future null cone of p simultaneously consistent with: (i) saturation of the Tsirelson bound |CHSH| ≤ 2√2; (ii) rotational invariance of entanglement correlations under SO(3); (iii) the absence of a fundamental entanglement-distance limit in vacuum; (iv) Lorentz invariance of the speed of light at the precision of GRB timing constraints; and (v) self-replication of the wavefront via Huygens’ Principle.

Theorem 2 (Identity of Lorentz Invariance and Quantum Nonlocality). Under the McGucken Principle, the Lorentz invariance of the light cone and the saturation of the Tsirelson bound by quantum entanglement are two readings of a single geometric fact — sphere-surface x₄-locality. The Channel A (algebraic-symmetry) reading produces the Lorentz invariance of c through the invariance of dx₄/dt = ic under boosts; the Channel B (geometric-propagation) reading produces the Tsirelson saturation through the SO(3)-Haar measure on the x₄-coherent sphere surface. Breaking sphere-surface x₄-locality breaks both simultaneously — they go together because they are the same thing.

These two theorems supply the structural content that Section 7 formalizes as the First McGucken Law of Nonlocality: all nonlocality begins as locality, with the propagation of x₄-locality from event to event at rate c as the Channel B mechanism by which two spatially separated systems remain correlated through their shared past Sphere intersection.

---

2. Geometric Preliminaries

This section fixes the geometric objects on which the Uniqueness Theorem operates. We adopt the conventions of the GR/QM unification paper [1] and the McGucken Sphere paper [13], repeated here for self-containedness.

2.1 The McGucken Principle

Axiom (The McGucken Principle). The fourth dimension is expanding at the velocity of light c in a spherically symmetric manner from every spacetime event p of the four-dimensional manifold M:

dx₄/dt = ic.

The principle is local — valid at every p — and global — the rate ic is identical at every p. The imaginary unit i encodes the perpendicularity of x₄ to the three spatial directions x₁, x₂, x₃. The spherical symmetry of the expansion is what generates the McGucken Sphere Σ⁺(p) at every event p.

The physical-geometric content of the principle, and the descent of x₄ = ict. The McGucken Principle is a physical, geometric fact: the fourth dimension is in motion — expanding at speed c, in a spherically symmetric manner, from every event in the manifold. The integrated form

x₄ = ict

is a kinematic shadow of this dynamical motion, obtained by integrating dx₄/dt = ic from a chosen origin. Minkowski wrote the integrated form in 1908 [52] without recognizing that the underlying physical content is dynamical. The McGucken Principle inverts this: dx₄/dt = ic is foundational and physical; x₄ = ict is its integrated shadow [1, 2, 3]. Throughout the present paper, every use of x₄ = ict should be read as a notational convenience for the integrated form of the dynamical principle, not as the principle itself.

The Axiom is the foundational physical principle of the McGucken corpus [1, 11, 12]. From it the chain of theorems descends: the Master Equation u^μ u_μ = −c² [1, GR Theorem 1], the McGucken-Invariance Lemma [1, GR Theorem 2], the Schrödinger equation [1, QM Theorem 7], the Dirac equation [1, QM Theorem 9], the Tsirelson bound [1, QM Theorem 13], the Bekenstein–Hawking entropy [1, GR Theorem 22], and the present Uniqueness Theorem.

2.2 The McGucken Sphere

Definition (McGucken Sphere). The McGucken Sphere Σ⁺(p) generated by an event p = (x₀, t₀) is the future null cone of p:

Σ⁺(p) = { q = (x, t) ∈ M : t ≥ t₀, |x − x₀| = c(t − t₀) }.

The surface of the McGucken Sphere at time t > t₀, denoted Σ_t(p), is the spatial 2-sphere

Σ_t(p) = { x ∈ ℝ³ : |x − x₀| = c(t − t₀) },

of radius R(t) = c(t − t₀) centered on x₀. Each point of Σ_t(p) is itself the apex of a future McGucken Sphere by Huygens’ Principle, generating the iterated wavefront structure of x₄-expansion at every event [1, QM Theorem 1].

2.3 Sphere-Surface x₄-Locality

Definition (x₄-coordinate of a wavefront point). Let q = (x, t) ∈ Σ_t(p) for p = (x₀, t₀). The x₄-coordinate of q relative to p, denoted x₄(q; p), is the x₄-displacement accumulated along the radial null geodesic from p to q in the McGucken framework. By the kinematic content of the Axiom along null worldlines — a photon’s four-velocity has its entire c-budget allocated to spatial motion, so dx₄/dλ = 0 along every null geodesic with λ an affine parameter [1, GR Theorem 6, Massless–Lightspeed Equivalence] — the x₄-displacement along the photon’s null worldline is identically zero:

x₄(q; p) = 0 for every q ∈ Σ_t(p), for every t > t₀.

The two surface points are at common x₄-coordinate value relative to the apex p: each lies on the same x₄-level set as p itself, despite their three-spatial separation |x − x₀| = c(t − t₀) > 0.

Equivalent reading via the metric. The same conclusion follows from the Lorentzian-signature reading of the Axiom: the spacetime interval between p and q ∈ Σ_t(p) is

ds²(p, q) = −c²(t − t₀)² + |x − x₀|² = 0

since q lies on the future null cone of p. With x₄ = ict, the contribution of the timelike sector to the squared-distance, −c²(t−t₀)², exactly cancels the spatial contribution |x − x₀|², so the x₄-coordinate-differential and the spatial-coordinate-differential cancel along the null geodesic. The x₄-coordinate of q relative to p is the residual after this cancellation, which is zero.

Definition (Sphere-surface x₄-locality). The McGucken Sphere Σ⁺(p) has x₄-local surface (or: the surface defines a locality in x₄) if every point q ∈ Σ_t(p) satisfies x₄(q; p) = 0, and this property holds for every t > t₀ and every p ∈ M.

Geometric content. Sphere-surface x₄-locality is the geometric statement that all events on the future light cone of p are at common x₄-coordinate value relative to p — they are at the same point along x₄ despite being spatially separated. The 3-dimensional spatial separation between two surface points q₁, q₂ ∈ Σ_t(p) can be arbitrarily large; their x₄-separation is identically zero. The 3D nonlocality is the projection of the 1D x₄-locality onto the spatial slice [6, 7].

2.4 Channel A and Channel B Readings of the Sphere

The dual-channel reading of dx₄/dt = ic established across the corpus [1, 23, 24] applies to the McGucken Sphere as follows.

Channel A reading. The Channel A (algebraic-symmetry) reading of Σ⁺(p) asserts: the Sphere is invariant under the Poincaré group ISO(1,3). Lorentz boosts, spatial rotations, spacetime translations, and time translations carry Σ⁺(p) to Σ⁺(Λp) for the corresponding transformed event Λp, preserving the Sphere structure and the rate ic of x₄-advance from every event.

Channel B reading. The Channel B (geometric-propagation) reading of Σ⁺(p) asserts: every point q ∈ Σ_t(p) is the apex of a new McGucken Sphere Σ⁺(q) propagating at rate ic from q. The wavefront self-replicates via Huygens’ Principle, with the Channel B content of the Axiom carrying x₄-coherence forward in time through chains of intersecting Spheres.

Lemma (Joint forcing of sphere-surface x₄-locality). Sphere-surface x₄-locality is forced jointly by the Channel A and Channel B readings of the Axiom: Channel A’s invariance content forces x₄(q; p) to be constant on the future null cone Σ⁺(p); Channel B’s propagation content forces the constant value to be zero.

Proof. Channel A step (constancy on Σ⁺(p)). The quantity x₄(q; p) defined by integrating the Axiom along the radial null geodesic from p to q is a Lorentz scalar: it is the affine-parameter integral of an invariant scalar rate ic along an invariantly defined null geodesic, and is therefore independent of frame.

By the Channel A reading, Σ⁺(p) is invariant under the Lorentz subgroup SO(3,1) that fixes the apex p. The assignment q ↦ x₄(q; p) on the cone is therefore an SO(3,1)-invariant scalar function on Σ⁺(p). The orbit structure of SO(3,1) acting on Σ⁺(p) ∖ {p} is a single orbit, since the proper orthochronous Lorentz group SO⁺(3,1) acts transitively on the future null cone with apex removed [62, §1.3]. Therefore any SO(3,1)-invariant function on Σ⁺(p) ∖ {p} is constant. Denote this constant K_p.

Channel B step (the constant is zero). By the Channel B reading and the kinematic content of the Axiom along null worldlines, a photon emitted at p and absorbed at q ∈ Σ_t(p) makes no progress in x₄ along its worldline. The Massless–Lightspeed Equivalence [1, GR Theorem 6] establishes that for any null geodesic with affine parameter λ, dx₄/dλ = 0 identically. Integrating from p to q:

x₄(q; p) = ∫_{λ(p)}^{λ(q)} (dx₄/dλ) dλ = 0.

Therefore K_p = 0.

Conclusion. For every q ∈ Σ_t(p) and every t > t₀, x₄(q; p) = 0. The McGucken Sphere has x₄-local surface. ∎

2.5 The SO(3)-Haar Measure on the Sphere Surface

The 2-sphere Σ_t(p) inherits, by virtue of its rotational symmetry around the apex p, a unique SO(3)-invariant probability measure — the SO(3)-Haar measure dμ_Haar.

Definition (SO(3)-Haar measure on Σ_t(p)). Parametrize Σ_t(p) by spherical coordinates (θ, φ) with θ ∈ [0, π], φ ∈ [0, 2π). The SO(3)-Haar measure on the 2-sphere is

dμ_Haar(θ, φ) = (1/4π) sin θ dθ dφ,

normalized to total mass unity. The measure is the unique probability measure on Σ_t(p) invariant under the SO(3) rotation group acting on the sphere.

Lemma (Existence and uniqueness of the SO(3)-Haar measure). The SO(3)-Haar measure on the 2-sphere exists and is unique among probability measures invariant under SO(3).

Proof. The 2-sphere S² ≅ SO(3)/SO(2) is a homogeneous space of the compact Lie group SO(3). By the Haar theorem [25, 26], every locally compact Hausdorff topological group admits a unique left-invariant Radon measure up to positive scalar multiplication; restricting to compact groups makes the measure right-invariant as well, finite, and (after normalization) a probability measure. The induced measure on the homogeneous quotient SO(3)/SO(2) ≅ S² is unique among SO(3)-invariant probability measures, and in spherical coordinates it takes the form (1/4π) sin θ dθ dφ. ∎

2.6 Notation and Conventions

We adopt the standard signature convention (−, +, +, +) for the Minkowski metric, with the x₄-coordinate of the McGucken framework related to the standard timelike coordinate by x₄ = ict. Greek indices range over {0, 1, 2, 3} in the standard numbering (with x⁰ = ct), Latin indices over the spatial range {1, 2, 3}. The Tsirelson bound is denoted T = 2√2. The CHSH correlation function is denoted CHSH; the Bell classical bound is |CHSH| ≤ 2, the Tsirelson quantum bound is |CHSH| ≤ 2√2 [14, 15].

We write Σ⁺(p) for the (full) future null cone of p and Σ_t(p) for its surface at time t. The phrase sphere-surface x₄-locality always refers to the property of the Definition above; the phrase quantum nonlocality refers to the empirical fact of Bell-inequality violation as established by Aspect [8] and confirmed by subsequent loophole-free tests [16, 27, 28].

---

3. The Five Failure-Mode Propositions

This section establishes the five Propositions classifying the qualitatively distinct ways in which sphere-surface x₄-locality could fail, and proves that each failure mode is empirically excluded.

Definition (Failure mode of sphere-surface x₄-locality). A failure mode of sphere-surface x₄-locality is a hypothetical surface configuration S of the future null cone of p that violates the locality definition: there exists q ∈ Σ_t(p) with x₄(q; p) ≠ 0, or equivalently the assignment q ↦ x₄(q; p) on Σ_t(p) is not the constant zero function.

The failure modes are classified by the structure of the function q ↦ x₄(q; p) on the surface. There are exactly five qualitatively distinct cases:

• (A) Random scatter: x₄(q; p) is an i.i.d. random variable across surface points, with mean 0 and variance σ²_x₄ > 0.
• (B) Systematic gradient: x₄(q; p) = f(n̂), a deterministic non-constant function of the spatial direction n̂ from p to q.
• (C) Finite thickness: the surface is a shell of finite extent in x₄, with x₄(q; p) varying smoothly across the shell with characteristic scale Δx₄_coh > 0.
• (D) Directional rate-anisotropy: the rate dx₄/dt depends on the spatial direction of propagation, dx₄/dt = ic(n̂) with c(n̂) non-constant.
• (E) Failure of self-replication: surface points do not generate new McGucken Spheres, so the wavefront cannot propagate forward via Huygens’ Principle.

The five cases exhaust the qualitatively distinct departures from the configuration. Cases A, B, C concern the assignment of x₄-values on the surface; Case D concerns the rate of propagation; Case E concerns the self-perpetuation of the wavefront. We treat each case as a separate Proposition.

3.1 Proposition A: Random x₄-Scatter Eliminates Bell Violation and the Born Rule

Proposition A. Let S_A be a hypothetical surface configuration of the future null cone of p in which the x₄-coordinate of each surface point q is an independent identically distributed random variable with mean zero and positive variance σ²_x₄ > 0. Then under S_A:

(A1) The CHSH correlation function for entangled photon pairs reduces to the classical bound: |CHSH|_S_A ≤ 2, with the Tsirelson value 2√2 unattainable.

(A2) Two-slit interference vanishes: the visibility V = (I_max − I_min)/(I_max + I_min) tends to zero as σ²_x₄ → ∞ (equivalently, exponential suppression by the dephasing factor exp(−σ²_x₄/(2λ²)) for de Broglie wavelength λ).

(A3) The Born rule P = |ψ|² fails: the SO(3)-Haar-measure derivation requires sphere-surface x₄-locality, and the random-scatter alternative supplies no replacement probability rule.

The hypothesis S_A is therefore inconsistent with empirical strand (i) (Tsirelson saturation) as established by Aspect [8] and confirmed by loophole-free tests [16, 27, 28], and with empirical strand (ii) (rotational invariance) only insofar as the random-scatter ansatz still respects SO(3) on average; the Born-rule failure is a separate strand-independent inconsistency.

Proof. We establish (A1), (A2), (A3) in turn.

Step (A1): Reduction to the classical Bell bound. The CHSH correlation function for an entangled photon pair |ψ⁻⟩ = (|H⟩₁|V⟩₂ − |V⟩₁|H⟩₂)/√2 measured at detector orientations â, â′, b̂, b̂′ is, in the corpus convention [1, QM Theorem 13],

CHSH = E(â, b̂) + E(â, b̂′) + E(â′, b̂) − E(â′, b̂′),

where E(â, b̂) = ⟨ψ⁻|(σ_â ⊗ σ_b̂)|ψ⁻⟩ is the spin-correlation expectation value. Standard quantum mechanics gives E(â, b̂) = −â · b̂ = −cos θ_ab [14].

The McGucken-Sphere derivation of E(â, b̂) = −cos θ_ab proceeds via Channel B as follows [1, QM Theorem 13]: the entangled pair shares a common past Sphere Σ⁺(p_source), so the two photons inherit a coherent x₄-phase relationship. The correlation function is then computed from the inner product of the spinor states evaluated on the shared x₄-coherent surface, with the cosine arising from the SO(3)-projection structure of the shared sphere.

Under the random-scatter hypothesis S_A, the x₄-coordinate at each surface point is independently randomized. Two surface points q₁, q₂ ∈ Σ_t(p_source) corresponding to the detection events of the two photons have x₄(q₁; p) − x₄(q₂; p) distributed as the difference of two i.i.d. random variables with variance σ²_x₄, hence variance 2σ²_x₄. Here σ²_x₄ is normalized as a variance of action (units J²·s², since x₄ enters spinor phases as exp(ix₄/ℏ) and ℏ has units of action). The spinor inner product evaluated with this random x₄-phase difference becomes, using the standard Gaussian characteristic function identity,

⟨ψ₁|ψ₂⟩_S_A = exp(−σ²_x₄/ℏ²) · ⟨ψ₁|ψ₂⟩_coherent,

with the dimensionless dephasing factor exp(−σ²_x₄/ℏ²) tending to zero as σ²_x₄/ℏ² → ∞ and equal to unity only in the limit σ²_x₄/ℏ² → 0 (which recovers the locality definition).

For σ²_x₄ > 0 but finite, the correlation function reduces to

E_S_A(â, b̂) = −cos θ_ab · exp(−σ²_x₄/ℏ²).

Substituting into the CHSH expression with the optimal Tsirelson-saturating angles (θ_ab = θ_a′b = θ_ab′ = π/4, θ_a′b′ = 3π/4):

|CHSH|_S_A = 2√2 · exp(−σ²_x₄/ℏ²).

For any positive σ²_x₄, this is strictly less than 2√2, and as σ²_x₄ grows large compared to ℏ², the correlation drops below the classical Bell bound of 2 and the system behaves as a local hidden-variables theory with no quantum violation [17]. In the limit of fully random scatter (σ²_x₄ → ∞), |CHSH|_S_A → 0.

Step (A2): Two-slit interference visibility tends to zero. The two-slit experiment at the McGucken-Sphere level is the interference of two Sphere-paths from source to detector via the two slits [1, QM Theorem 1]. The intensity at the screen is

I(x) = |ψ₁(x) + ψ₂(x)|² = |ψ₁|² + |ψ₂|² + 2 Re[ψ₁*(x)ψ₂(x)],

with the cross term carrying the interference fringes. Under sphere-surface x₄-locality, the two contributions ψ₁, ψ₂ have well-defined x₄-phases (both equal to zero relative to the source), and the cross term oscillates as cos(Δφ(x)) where Δφ is the optical-path-difference phase — producing the interference pattern.

Under S_A, the cross term is suppressed by an additional dephasing factor from the x₄-randomization:

Re[ψ₁*ψ₂]_S_A = cos(Δφ(x)) · exp(−σ²_x₄/(2λ²)),

where λ is the de Broglie wavelength. The visibility V = (I_max − I_min)/(I_max + I_min) reduces to

V_S_A = exp(−σ²_x₄/(2λ²)),

tending to zero as σ²_x₄ → ∞. Two-slit interference of any quantum object would vanish in the strong-randomization limit, contrary to the universal observational record of two-slit interference for photons [29], electrons [30], neutrons [31], atoms [32], and large molecules including C₆₀ [33] and oligoporphyrins of mass exceeding 25 kDa [34].

Step (A3): Born-rule derivation fails. The SO(3)-Haar-measure derivation of P = |ψ|² (Section 6) proceeds by demanding that the probability of detection at surface point q ∈ Σ_t(p) depend on q only through the SO(3)-invariant content of q. This requires that all surface points share a common x₄-coordinate: otherwise the SO(3) symmetry under which the Cauchy functional equation argument operates is broken, because rotations of the sphere would relate surface points at different x₄-values, which carry different physical content under S_A. The Cauchy functional equation f(p₁ + p₂) = f(p₁) + f(p₂) that forces the squared-modulus form has its hypotheses violated under S_A, so the Born rule does not follow.

Since no replacement probability rule is supplied by the random-scatter hypothesis, S_A leaves quantum mechanics without a probabilistic interpretation, contradicting the entire empirical content of quantum measurement theory.

The hypothesis S_A is therefore inconsistent with the empirical record on three independent grounds: Tsirelson saturation, two-slit interference, and the Born rule. ∎

Quantitative bounds on σ²_x₄. The empirical record of Tsirelson saturation in loophole-free Bell tests [16, 27, 28] measures |CHSH| within a few percent of the maximal 2√2. The dephasing factor exp(−σ²_x₄/ℏ²) would have to differ from unity by less than a few percent, requiring σ²_x₄/ℏ² ≲ 0.05, equivalently σ_x₄ ≲ 0.22 ℏ ~ 2.3 × 10⁻³⁵ kg·m²/s. The bound is tight: any random-scatter ansatz with σ_x₄ above this scale would already have been detected. The Pan group’s 2017 satellite Bell test at 1200 km separation [4], finding |CHSH| = 2.37 ± 0.09, refines the bound further given the longer flight time available for phase randomization.

3.2 Proposition B: Systematic x₄-Gradient Breaks Rotational Invariance

Proposition B. Let S_B be a hypothetical surface configuration in which the x₄-coordinate x₄(q; p) is a deterministic non-constant function of the spatial direction n̂ from p to q. Then S_B implies directional anisotropy of entanglement-correlation strength: there exist preferred spatial directions along which Bell-inequality violation is enhanced, and other directions along which it is suppressed.

Proof. Without loss of generality (after a global rotation), parametrize the systematic gradient as x₄(q; p) = g cos θ for some non-zero gradient strength g, with θ the polar angle from the gradient axis. The spin-correlation function for two detection events q₁, q₂ ∈ Σ_t(p) at angular positions (θ₁, φ₁), (θ₂, φ₂) becomes

E_S_B(â, b̂; θ₁, θ₂) = −cos θ_ab · exp(ig(cos θ₁ − cos θ₂)/ℏ).

The real-valued correlation has an oscillatory dependence on θ₁, θ₂ that is not present in the standard quantum-mechanical prediction E = −cos θ_ab.

For an apparatus aligned along the gradient axis (θ₁ = 0, θ₂ = π, antipodal detectors), the phase factor is exp(2ig/ℏ), modifying the CHSH correlation by a complex factor whose real part is cos(2g/ℏ). For non-zero g, |CHSH|_S_B depends on the apparatus orientation relative to the cosmic gradient axis, oscillating between 2√2 (when g is an integer multiple of πℏ) and lower values.

Aspect’s 1982 experiment [8] and subsequent Bell-inequality tests at multiple geographic orientations [9, 16, 27, 28, 4] have not detected any anisotropy in |CHSH| values across orientations. The bound on the gradient g from the consistency of |CHSH| across orientations is

g ≲ 0.05 ℏ · 2π ≈ 3 × 10⁻³⁵ J·s,

making the gradient indistinguishable from zero at the precision of current experiments. The geometric content: the McGucken Sphere has no preferred spatial direction, and by the Channel A SO(3) invariance content, no such direction can exist consistent with the principle.

The hypothesis S_B is therefore inconsistent with empirical strand (ii) (rotational invariance of entanglement). The gradient g is bounded above by the precision of orientation-independence in Bell experiments. ∎

3.3 Proposition C: Finite x₄-Thickness Imposes an Entanglement-Distance Limit

Proposition C. Let S_C be a hypothetical surface configuration in which the McGucken Sphere has finite x₄-thickness: the assignment q ↦ x₄(q; p) varies smoothly across Σ_t(p) with characteristic correlation length L_coh in the spatial directions, equivalently coherence-time τ_coh = L_coh/c. Then S_C implies a fundamental entanglement-distance limit: for spatial separations L > L_coh, the CHSH correlation decays exponentially as

|CHSH|_S_C(L) = 2√2 · exp(−L/L_coh),

with no dependence on environmental noise. The hypothesis is incompatible with the experimental record of Bell-inequality saturation at 1200 km separation [4], which sets L_coh ≳ 10⁸ m, far in excess of any wavelength scale that would correspond to a fundamental thickness.

Proof. The geometric content of finite x₄-thickness is that surface points q₁, q₂ ∈ Σ_t(p) separated by spatial distance |q₁ − q₂| > L_coh have x₄-coordinate differences of order the thickness scale Δx₄_coh, which dephase coherent quantum correlations. The induced two-particle correlation function for events at separation L is

E_S_C(â, b̂; L) = −cos θ_ab · exp(−L/L_coh),

giving |CHSH|_S_C(L) = 2√2 · exp(−L/L_coh).

The crucial empirical distinction between S_C and the actual McGucken Sphere is that under S_C the entanglement-distance decay is intrinsic — it persists in perfect vacuum, with no environmental coupling. Real-world entanglement decay from environmental interactions and detector inefficiency is well-characterized and corrected for in modern Bell experiments. The Pan group’s 2017 satellite Bell test [4] demonstrated |CHSH| = 2.37 ± 0.09 at 1200 km separation (between Delingha ground station and the Micius satellite, and between Delingha and Lijiang stations), with the residual deviation from 2√2 entirely attributable to detector efficiency and atmospheric scattering rather than to any geometric coherence-length scaling.

Lower bound on L_coh. For an exponential decay exp(−L/L_coh) to remain undetectable at L = 1200 km within a measured precision of ~5% (the deviation of |CHSH| from 2√2 in [4] after subtracting environmental corrections), we require

L/L_coh < 0.05 ⟹ L_coh > 1200/0.05 km = 2.4 × 10⁴ km = 2.4 × 10⁷ m.

A more conservative bound treating the entire 5% deviation as potentially geometric gives L_coh > 10⁸ m, larger than the Earth–Moon distance.

Future lunar-distance Bell tests would push the bound to L_coh > 10¹⁰ m. Any postulated thickness scale on physical grounds — the de Broglie wavelength of the entangled photons (typically 10⁻⁷ m for visible light), the Planck length (10⁻³⁵ m), the Compton wavelength (10⁻¹³ m for electrons) — is far below the empirical lower bound. The McGucken Sphere therefore has zero x₄-thickness consistent with the empirical record, in the precise sense that any postulated thickness would already have been detected.

The geometric content. Under sphere-surface x₄-locality, every surface point shares the same x₄-coordinate value zero — the surface has no thickness in x₄ at all. The 1-dimensional locality in x₄ is preserved exactly across arbitrary spatial separation, with no decay. This is the structural source of the absence of an entanglement-distance limit: the wavefront’s geometric coherence is not an exponentially-decaying envelope but a sharp identity. Empirical strand (iii) is therefore a direct empirical signature of the locality definition, and the case S_C is excluded. ∎

3.4 Proposition D: Directional Rate-Anisotropy Violates Lorentz Invariance

Proposition D. Let S_D be a hypothetical configuration in which the rate of x₄-advance depends on the spatial direction n̂:

dx₄/dt|_n̂ = ic(n̂), c(n̂) ≠ c for some n̂.

Then S_D implies (i) directional anisotropy of the speed of light, (ii) photon dispersion of frequency-dependent arrival times across cosmological distances, and (iii) failure of Lorentz invariance of the metric. The hypothesis is excluded by gamma-ray-burst timing constraints [5, 18] at the level of E_LIV > 7.6 M_Pl, equivalently |Δc/c| ≲ 10⁻²⁰ across photon energies separated by an order of magnitude.

Proof. Step 1: Directional anisotropy of c. Under S_D, the McGucken Sphere generated at event p at time t has anisotropic radial extent R_n̂(t) = c(n̂)(t − t₀), with the surface no longer a true 2-sphere but a deformed surface whose radial dependence on direction breaks SO(3) symmetry. The speed of light measured along direction n̂ is c(n̂).

The Michelson–Morley experiment (1887) [35] bounded directional anisotropy of c at the level of parts in 10⁻⁹ in the original measurement; modern reproductions using optical resonators [36, 37, 38] have pushed the bound to parts in 10⁻¹⁷. No directional anisotropy has been detected.

Step 2: Photon dispersion. If the rate c(n̂) varies with direction, energy-dependent corrections are generic. Lorentz-invariance-violating (LIV) dispersion relations of the form

E² = p²c²[1 − ξ(E/E_LIV)ⁿ],

with n = 1 for linear suppression and n = 2 for quadratic, predict frequency-dependent arrival times for photons traveling cosmological distances. Vasileiou et al. 2013 [5], analyzing the bright short gamma-ray burst GRB 090510 detected by Fermi/LAT, bounded E_LIV > 7.6 M_Pl for n = 1 and E_LIV > 1.3 × 10¹¹ GeV for n = 2. Subsequent multi-burst analyses [18, 39] have refined these bounds further. The measured upper bound on |Δc/c| between photons separated by an order of magnitude in energy, as a fraction of c, is of order 10⁻²⁰ or smaller across gigaparsec distances.

Step 3: Failure of Lorentz invariance of the metric. The Lorentz invariance of the Minkowski metric requires that the speed of light be the same in every inertial frame and every direction. Under S_D, the speed of light depends on direction; the metric correspondingly fails to be Lorentz-invariant; the entire algebraic structure of special relativity — frame-invariance of c, transformation laws of relativistic energy and momentum, time dilation as a frame-dependent effect — breaks down at the precision of the directional anisotropy.

The cumulative experimental record on Lorentz invariance — Michelson–Morley-type tests, Kennedy–Thorndike experiments [40, 37], g-factor anomaly measurements, neutrino-oscillation timing [41], atomic-clock comparisons [42], GRB photon-arrival timing [5] — excludes any departure from the isotropic rate at the precision of parts in 10⁻²⁰ or better.

The hypothesis S_D is therefore inconsistent with empirical strand (iv) (Lorentz invariance of c) at the level established by GRB timing. ∎

Connection to the McGucken-Invariance Lemma. Proposition D is the negation, at the level of cosmological photon propagation, of the McGucken-Invariance Lemma [1, GR Theorem 2]. The MGI Lemma states that dx₄/dt = ic is gravitationally invariant: the rate of x₄’s expansion is independent of the metric, and only the spatial dimensions x₁, x₂, x₃ curve under mass-energy. Case D’s directional rate-anisotropy would amount to allowing gravitational potential to alter the rate of x₄-advance, which the MGI Lemma forbids. The empirical bound E_LIV > 7.6 M_Pl is therefore the empirical signature of the MGI Lemma at the level of photon propagation across cosmological distances.

3.5 Proposition E: Failure of Self-Replication Breaks Propagation

Proposition E. Let S_E be a hypothetical configuration in which surface points of the McGucken Sphere Σ_t(p) do not generate new McGucken Spheres at their own apexes — equivalently, in which Huygens’ Principle fails. Then under S_E the wavefront cannot propagate forward in time: after a single Planck tick δt = ℓ_P/c, the wavefront has nowhere to go. Causal propagation of any field — electromagnetic, gravitational, matter-wave — breaks at the first time-step. The four-manifold M does not extend beyond t₀ + δt.

Proof. The Huygens construction [19, 20], formalized as a theorem of dx₄/dt = ic in [1, QM Theorem 1], asserts that every point on a wavefront at time t is the apex of a new McGucken Sphere at t + δt. The future wavefront Σ_{t+δt}(p) is the envelope of secondary spherical wavelets emitted from each point of Σ_t(p).

Under S_E, surface points are not Sphere-apexes; they emit no secondary wavelets. Consider a point q ∈ Σ_t(p) at time t. The McGucken Principle (Axiom) asserts that x₄-advance proceeds at rate ic from every event in the manifold; in particular from q. The advance generates the locus of points reachable from q at speed c in time δt — which is precisely Σ_{t+δt}(q) if Huygens holds and is empty if Huygens fails.

Mathematical content. The wave equation □ψ = 0 admits the d’Alembert (in 1+1) and Kirchhoff (in 3+1) solution formulas, in which the field at any future event is constructed by integrating the field’s initial values and time-derivatives over the past null cone of that event. The integral construction is the Huygens self-replication: every interior point of the past null cone contributes to the future field through its own outgoing spherical wavelet. Without Huygens, the integral has no integrand; the future field is undefined.

Equivalently in PDE terms: the wave equation requires the Cauchy data on a spacelike hypersurface to determine the field at all future events through the Green’s function G(x, t; x′, t′), which is itself a solution of □G = δ⁴(x − x′) and represents the spherical wavelet emitted at (x′, t′). The vanishing of G under S_E would imply the wave equation has no Green’s function, equivalently no solutions at all [43].

Empirical content. The empirical fact that wave propagation works — that light reaches us from distant sources, that gravitational waves were detected at LIGO from black-hole mergers 1.3 Gly away [44], that any electromagnetic signal at all reaches its receiver — is incompatible with S_E. The hypothesis fails strand (v) (wavefront self-replication via Huygens’ Principle) trivially: it directly negates the assumption.

Geometric content. Sphere-surface x₄-locality is precisely the property that makes Huygens’ Principle work. Each surface point shares the same x₄-coordinate as the apex; therefore each surface point is, in x₄-terms, indistinguishable from the apex; therefore each surface point is itself the apex of a new McGucken Sphere. Sphere-surface x₄-locality is the geometric source of self-replication. Failure of x₄-locality breaks self-replication; failure of self-replication breaks propagation; failure of propagation breaks physics at δt > 0. ∎

Case E as the limit case. Case E is the most extreme of the five failure modes: it negates not just one strand of the empirical conjunction but the entire forward-time evolution of the manifold. Cases A, B, C, D each break specific phenomenology while leaving propagation intact; Case E breaks propagation itself. The five cases together exhaust the qualitatively distinct ways the configuration can fail.

---

4. The Uniqueness Theorem

The five Propositions of Section 3 jointly establish the centerpiece result.

Theorem (Uniqueness of the McGucken Sphere with x₄-Local Surface). The McGucken Sphere Σ⁺(p) with sphere-surface x₄-locality, generated at every event p by the McGucken Principle dx₄/dt = ic (Axiom), is the unique surface configuration S* of the future null cone of p simultaneously consistent with the conjunction of all five empirical strands of Section 1.1:

(i) saturation of the Tsirelson bound, |CHSH| = 2√2, in entanglement experiments [8, 16, 27, 28];

(ii) rotational invariance of entanglement correlations under SO(3), with E(â, b̂) = −cos θ_ab and no preferred spatial direction;

(iii) the absence of a fundamental entanglement-distance limit in vacuum, with |CHSH| saturated up to 1200 km [4];

(iv) Lorentz invariance of the speed of light at the precision of GRB timing, |Δc/c| ≲ 10⁻²⁰ [5, 18];

(v) self-replication of the wavefront via Huygens’ Principle, with the wave equation □ψ = 0 having well-defined Green’s-function solutions.

Proof. The proof proceeds by case-exhaustion of failure modes.

Step 1: Trichotomy of configurations. Any surface configuration S of the future null cone of p falls into one of two mutually exclusive cases: (a) S satisfies sphere-surface x₄-locality, in which case S = S* is the McGucken Sphere by the joint-forcing lemma; or (b) S violates sphere-surface x₄-locality, in which case S is a failure mode.

Step 2: Exhaustiveness of the five-class classification. A failure mode of sphere-surface x₄-locality is a configuration in which the function q ↦ x₄(q; p) on Σ_t(p) is not the constant zero. We classify such configurations by structural type along three orthogonal axes:

(I) Statistical character of the deviation from zero. The deviation x₄(q; p) is either: (a) a random variable with positive variance (Case A), (b) a deterministic non-constant function of position (Cases B, C), or (c) the function does not exist because the propagation underlying the x₄-coordinate definition fails (Case E). These three sub-cases are exhaustive: a function from Σ_t(p) to ℂ that is not the constant zero is either random, deterministic non-constant, or undefined.

(II) Structural form of deterministic deviation (sub-case (b) of axis I). A deterministic non-constant function on Σ_t(p) either varies over directions on the surface but at fixed sphere-radius (Case B: angular gradient), or extends the sphere into a finite-thickness shell with smooth variation across the shell (Case C: radial thickness). These two sub-cases exhaust the deterministic structural possibilities.

(III) Rate of x₄-advance. The rate dx₄/dt is either constant (the principle holds) or direction-dependent (Case D). Direction-dependence of the rate is structurally distinct from variation of the surface assignment in axes I and II.

The five Cases A–E exhaust the qualitatively distinct ways the function q ↦ x₄(q; p) can fail to be the constant zero on Σ_t(p) for every t > t₀ and every p ∈ M. Combinations of cases (e.g., random scatter on top of a systematic gradient) inherit the empirical exclusions of each component case.

Step 3: Each Case violates at least one strand. By Propositions A through E:

• S ∈ Case A ⟹ S violates strand (i) [Tsirelson saturation],
• S ∈ Case B ⟹ S violates strand (ii) [rotational invariance],
• S ∈ Case C ⟹ S violates strand (iii) [no entanglement-distance limit],
• S ∈ Case D ⟹ S violates strand (iv) [Lorentz invariance],
• S ∈ Case E ⟹ S violates strand (v) [wavefront self-replication].

Step 4: Conclusion. Combining Steps 1–3: any S violating sphere-surface x₄-locality falls into at least one of Cases A–E, and therefore violates at least one of the five empirical strands. The conjunction of all five strands is therefore satisfied only by configurations that satisfy sphere-surface x₄-locality, which by the joint-forcing lemma are precisely the McGucken Sphere S*. The uniqueness is up to the five-strand conjunction: any other configuration consistent with the conjunction would have to satisfy sphere-surface x₄-locality at every t > t₀ and every p ∈ M — which is precisely the defining property of the McGucken Sphere. ∎

Corollary (Forced character of the McGucken Sphere). The McGucken Sphere is not a separately postulated feature of the framework but a forced theorem: given the empirical record of strands (i)–(v) and the geometric content of dx₄/dt = ic via the joint-forcing lemma, the McGucken Sphere with x₄-local surface is the unique configuration of the future null cone consistent with observation.

Falsifiability ledger. The Uniqueness Theorem closes the falsification routes for sphere-surface x₄-locality in five qualitatively distinct directions simultaneously. A counterexample would have to (a) reproduce the Tsirelson value at 2√2 in Bell tests; (b) reproduce isotropic SO(3)-invariant entanglement; (c) reproduce the absence of an entanglement-distance limit at ≥ 1200 km; (d) reproduce the Lorentz invariance of c at |Δc/c| ≲ 10⁻²⁰ across GRB photon energies; and (e) reproduce wavefront self-replication via Huygens’ Principle. No surface configuration except S* achieves all five; therefore observation already pins the configuration to S*. The framework is empirically maximally constrained.

Combined failure modes. A configuration combining several failure modes (e.g., Cases A and B simultaneously, with both random scatter and a systematic gradient) is still excluded: each component failure mode is independently empirically excluded, and combinations are subject to the union of the empirical constraints. The exclusion is therefore not weakened by allowing mixed failure modes.

---

5. The Identity of Lorentz Invariance and Quantum Nonlocality

The Uniqueness Theorem establishes that sphere-surface x₄-locality is the geometric configuration jointly forced by the five empirical strands. The next theorem identifies, more sharply, the structural content of two of those strands: Lorentz invariance of the light cone (strand iv) and Tsirelson saturation in entanglement (strand i) are not two empirical facts but two readings of one geometric fact. They go together because they are the same thing.

5.1 Channel A and Channel B Decomposition

The dual-channel reading of dx₄/dt = ic established across the corpus [1, 23, 24] applies to sphere-surface x₄-locality with the following decomposition.

Lemma (Channel A reading of sphere-surface x₄-locality). The Channel A (algebraic-symmetry) reading of sphere-surface x₄-locality produces the Lorentz invariance of the light cone: the future null cone of p is invariant under the Lorentz group SO(3,1), with the speed of light c frame-invariant in every inertial frame.

Proof. By the Channel A reading of Σ⁺(p), the McGucken Sphere is invariant under the Poincaré group ISO(1,3). The Lorentz subgroup SO(3,1) ⊂ ISO(1,3) leaves any chosen apex p fixed (after composition with a translation) and acts transitively on the future null cone Σ⁺(p) ∖ {p} [62, §1.3]. Sphere-surface x₄-locality (with the joint-forcing argument) is the property that all surface points q ∈ Σ_t(p) share the same x₄-coordinate value zero relative to p. Under a Lorentz boost Λ, the affine-parameter integral defining x₄(q; p) transforms as a Lorentz scalar (the integrand dx₄/dλ is the constant zero on null geodesics by GR Theorem 6 [1], and constants are frame-invariant). Therefore x₄(Λq; Λp) = x₄(q; p) = 0, and the property of sphere-surface x₄-locality holds in every Lorentz-boosted frame.

The constancy of the speed of light c across inertial frames follows: a photon emitted from p traveling along null direction n̂ and reaching q ∈ Σ_t(p) does so at speed c in the rest frame of p, by the kinematic content of the Axiom (the wavefront of the McGucken Sphere expands radially at c). After a boost by Λ, the photon is observed in the new frame as traveling from Λp to Λq ∈ Σ_{Λt}(Λp). By the invariance of Σ⁺(p) under Λ, the surface Σ_{Λt}(Λp) is itself a McGucken Sphere of radius c·Δt’ in the new frame, where Δt’ is the boosted time-coordinate of Λq relative to Λp. The photon therefore travels at speed c in the new frame as well. The rate dx₄/dt = ic at every event of the new frame is the same ic, by Channel A’s invariance content of the Axiom. ∎

Lemma (Channel B reading of sphere-surface x₄-locality). The Channel B (geometric-propagation) reading of sphere-surface x₄-locality produces the saturation of the Tsirelson bound at |CHSH| = 2√2 for entangled pairs sharing a common past Sphere intersection.

Proof. The proof has four steps.

Step 1: Shared x₄-coherence on the source Sphere. Consider an entangled photon pair created at source event p_source and propagating along null geodesics to detection events q₁, q₂ at times t₁, t₂ > t_source respectively. Each photon’s worldline lies on the future null cone of p_source, so q_j ∈ Σ⁺(p_source) for j = 1, 2. By sphere-surface x₄-locality (with the joint-forcing argument):

x₄(q₁; p_source) = x₄(q₂; p_source) = 0.

Both detection events are at common x₄-coordinate value zero relative to the source, despite their spatial separation |x₁ − x₂| which can be arbitrarily large. This is the geometric content of shared x₄-coherence: the two photons inherit their x₄-phase from the common source apex, and the phase relationship is preserved along the null geodesics by the kinematic identity dx₄/dλ = 0 [1, GR Theorem 6].

Step 2: SO(3)-Haar measure parametrizes the source Sphere. Choose a time-slice Σ_t(p_source) for t > max(t₁, t₂) that contains both detection events on its causal-past boundary. By the Haar-existence-uniqueness lemma, the surface Σ_t(p_source) admits the unique SO(3)-invariant probability measure dμ_Haar = (4π)⁻¹ sin θ dθ dφ. The two photons of the entangled pair propagate along null geodesics from p_source to angular positions (θ₁, φ₁) and (θ₂, φ₂) on the surface; the Haar measure is the natural probability measure under which any directional polarization measurement is performed.

Step 3: Tsirelson saturation from the SO(3) geometry. The polarization-entangled singlet state of the photon pair, prepared at p_source via standard parametric-down-conversion or analogous entanglement-generation protocols [8, 16], is

|ψ⁻⟩ = (1/√2)(|H⟩₁|V⟩₂ − |V⟩₁|H⟩₂).

The state is an SU(2)-singlet (equivalently SO(3)-rotationally invariant): under any common rotation of the basis |H⟩, |V⟩ at both subsystems, |ψ⁻⟩ is preserved up to a global phase [63, Ch. 2]. Shared x₄-coherence (Step 1) preserves this state through propagation: along the null geodesics, no x₄-evolution occurs (dx₄/dλ = 0), so the phase relationship of the spinor components is preserved exactly until the detection events.

At the detection events, polarization measurements at angles â, b̂ implemented as Pauli observables σ_â ≡ σ·â and σ_b̂ ≡ σ·b̂ yield the spin-correlation expectation

E(â, b̂) = ⟨ψ⁻|(σ_â ⊗ σ_b̂)|ψ⁻⟩ = −â · b̂ = −cos θ_ab,

where the second equality is the standard singlet-state computation [63, §6.2]: by SU(2)-invariance of |ψ⁻⟩, the expectation depends only on the angle between â and b̂, and direct computation in any aligned basis gives −â · b̂.

The CHSH function with optimal angles θ_ab = θ_a′b = θ_ab′ = π/4 and θ_a′b′ = 3π/4 gives, in the convention CHSH = E(â, b̂) + E(â, b̂′) + E(â′, b̂) − E(â′, b̂′) adopted in the corpus [1, QM Theorem 13]:

CHSH = −cos(π/4) − cos(π/4) − cos(π/4) − [−cos(3π/4)] = −cos(π/4) − cos(π/4) − cos(π/4) + cos(3π/4) = −√2/2 − √2/2 − √2/2 + (−√2/2) = −4 · √2/2 = −2√2,

giving |CHSH| = 2√2. The bound is saturated.

Step 4: 2√2 is the global maximum. The value 2√2 is the maximum achievable over all measurement choices, the Tsirelson bound established by Tsirelson 1980 [15] and proved as the operator-norm maximum on ℂ² ⊗ ℂ² via the operator identity [45]

Ĉ² = 4·1⊗1 − [A₁, A₂] ⊗ [B₁, B₂],

with A_i ≡ σ_{â_i}, B_j ≡ σ_{b̂_j}, and the Pauli commutator identity [σ·â, σ·â′] = 2i σ·(â × â′) giving ‖[A_i, A_j]‖ ≤ 2 and ‖[B_i, B_j]‖ ≤ 2. Hence ‖Ĉ²‖ ≤ 8, so ‖Ĉ‖ ≤ 2√2, and the bound is saturated by the optimal choice of angles.

Geometric content. The saturation arises from the SO(3)-Haar measure on the x₄-coherent surface Σ_t(p_source), which generates the cosine correlation function with no degradation across separation. The Tsirelson value 2√2 is the operator-norm signature of the SO(3) symmetry of the shared sphere surface combined with the spinor structure of the singlet state, both rooted in the Channel B propagation content of the Axiom. ∎

5.2 The Identity Theorem

Theorem (Identity of Lorentz Invariance and Quantum Nonlocality). Under the McGucken Principle (Axiom), the Lorentz invariance of the future light cone and the saturation of the Tsirelson bound by quantum entanglement are two readings of a single geometric fact — sphere-surface x₄-locality. Specifically:

(i) the Channel A (algebraic-symmetry) reading of sphere-surface x₄-locality produces the Lorentz invariance of c;

(ii) the Channel B (geometric-propagation) reading of sphere-surface x₄-locality produces the Tsirelson saturation at |CHSH| = 2√2;

(iii) breaking sphere-surface x₄-locality breaks both readings simultaneously: the failure modes of Section 3 that violate Lorentz invariance (Case D) also violate the conditions for Tsirelson saturation (via the loss of the SO(3)-invariant rate of expansion that the SO(3)-Haar measure depends on), and vice versa.

The two empirical features are not independent facts that happen to coexist consistently; they are Channel A and Channel B projections of the same underlying geometric fact.

Proof. Step 1: The two readings, given. The Channel A lemma establishes that Channel A’s invariance content of Σ⁺(p) produces the Lorentz invariance of c. The Channel B lemma establishes that Channel B’s propagation content of Σ⁺(p) produces the Tsirelson saturation at 2√2. Both readings depend on sphere-surface x₄-locality.

Step 2: Both readings descend from the same fact. The joint-forcing lemma establishes that sphere-surface x₄-locality is jointly forced by the Channel A and Channel B contents of the Axiom. The two readings are therefore not independent geometric configurations stitched together by hypothesis but two structural projections of a single configuration.

Step 3: Co-failure under perturbation. If sphere-surface x₄-locality is broken in the manner of Proposition D (directional rate-anisotropy), the rate dx₄/dt becomes direction-dependent. This breaks Channel A: Lorentz invariance of c fails (the Channel A lemma requires the rate to be constant under boosts). It also breaks Channel B: the SO(3)-Haar measure on Σ_t(p_source) is well-defined only when Σ_t(p_source) is a true 2-sphere of constant radius c(t − t_source); under direction-dependent c(n̂), the surface is a deformed shape with no SO(3) symmetry, the SO(3)-Haar measure does not exist, and the Tsirelson-saturation derivation of the Channel B lemma fails. The two readings therefore co-fail under any perturbation of the kind Proposition D considers.

Conversely, if sphere-surface x₄-locality is broken in the manner of Proposition A (random x₄-scatter), the SO(3)-Haar measure does not produce coherent entanglement correlations (Step (A1)), so Tsirelson saturation fails. It also breaks Lorentz invariance at the wavefront level: random x₄-scatter on the cone surface implies that the x₄-coordinate of a surface point is not Lorentz-covariant (it carries genuine random content rather than transforming under the Lorentz group), violating Channel A’s invariance content. The two readings co-fail.

The two co-failure arguments establish that breaking either Channel A’s reading or Channel B’s reading necessarily breaks the other. They are not two independent properties; they are one property in two readings.

Step 4: Identity statement. Combining Steps 1–3: Lorentz invariance and Tsirelson saturation are two readings of sphere-surface x₄-locality, jointly forced by the dual channels of the Axiom. The two empirical features go together because they are the same thing. ∎

Corollary (Inversion of the standard pre-relativistic framing). Standard physics has historically treated quantum nonlocality and Lorentz invariance as two separate puzzling facts that happen to coexist consistently (with the no-signaling theorem [10] stitching them at the operational level). Under the Identity Theorem, the framing is inverted: there is one geometric fact (sphere-surface x₄-locality) with two empirical signatures (Lorentz invariance and Bell violation), and the structural mystery dissolves. There is nothing to coexist consistently because there are not two facts to begin with.

The standard treatment as the converse projection. The standard pre-McGucken framing treats the apparent nonlocality of quantum mechanics as the puzzle and Lorentz invariance as the constraint. The McGucken framing inverts this: x₄-locality is the geometric fact, and the apparent nonlocality of 3D physics is its shadow under projection onto the spatial slice. The thought experiment “what if the sphere’s surface didn’t define a locality in x₄” is therefore structurally equivalent to the thought experiment “what if the apparent nonlocality of 3D physics weren’t the projection of locality in some additional dimension” — which is the standard pre-McGucken assumption. Propositions A through E are then a survey of what physics looks like under that standard assumption taken seriously, and the answer is: not the physics we observe.

5.3 The Feynman Path Integral as C_M-Shadow of x₄-Stationarity

A third structural co-consequence of sphere-surface x₄-locality, alongside the Lorentz-invariance reading (Channel A) and the Tsirelson-saturation reading (Channel B), is the geometric reinterpretation of Feynman’s path integral [53]. Feynman’s interpretation is sometimes stated as: the quantum particle takes every path simultaneously [54]. The McGucken framework reveals this as a projection artifact, not an irreducible quantum mystery — equivalently, the “sum over paths” is the C_M-shadow of a single object that is strictly local along x₄.

Geometric setting: ℳ_G and the constraint hypersurface C_M

We work within the McGucken Space ℳ_G established in the Source-Pair construction [50]: the four-coordinate carrier E₄ with coordinates (x₁, x₂, x₃, x₄) and x₄ in general complex, equipped with the McGucken constraint function Φ_M(t, x₄) = x₄ − ict. The level set

C_M = { (t, x, x₄) ∈ ℳ_G : x₄ = ict } = Φ_M⁻¹(0)

is the McGucken constraint hypersurface — the four-dimensional locus on which all physics unfolds. The relation between ℳ_G and C_M is structural: ℳ_G is the carrier in which x₄-content is intrinsic; C_M is the laboratory-time slice on which 3D observers register events. Photons emitted from an apex p₀ propagate along null worldlines on C_M, and by GR Theorem 6 (Massless–Lightspeed Equivalence) [1] their x₄-advance vanishes: dx₄/dλ = 0 along every null geodesic with λ an affine parameter. Equivalently, the photon’s four-velocity has its entire c-budget allocated to spatial motion, and the photon is strictly local in x₄: it occupies one x₄-point at every proper time.

The Feynman-as-shadow Lemma

Lemma (Feynman path integral as C_M-shadow). Let p₀ = (x₀, t₀) be a photon emission event in ℳ_G, and let Σ_{cτ}(p₀) ⊂ C_M be the McGucken Sphere of radius cτ at proper time τ = t − t₀ on the C_M-slice. Then under the McGucken Principle (Axiom) and sphere-surface x₄-locality:

(F1) In ℳ_G, the photon emitted at p₀ is a single object Σ_{cτ}(p₀) at common x₄-coordinate value x₄(q; p₀) = 0 for every surface point q.

(F2) The set of radial 3D paths from p₀ to surface points q ∈ Σ_{cτ}(p₀) are not distinct trajectories: they are the same single object Σ_{cτ}(p₀) viewed from the C_M-slice, where 3D observers register the spatial separation between surface points as 3D nonlocality.

(F3) The Feynman path-integral expression

K(q, t; p₀, t₀) = ∫ D[γ] exp(iS[γ]/ℏ),

summing over all paths γ from p₀ to q weighted by the action S[γ], is the C_M-shadow of the single ℳ_G-object Σ_{cτ}(p₀). The “sum over paths” is the projection of one x₄-stationary surface onto the 3-spatial slice, where the surface points are perceived as distinct destinations of distinct trajectories.

Proof. We establish (F1), (F2), (F3) in turn.

Step (F1): The photon as one x₄-stationary object. By GR Theorem 6 (Massless–Lightspeed Equivalence) [1, GR Theorem 6], three statements about a photon are equivalent: (i) zero rest mass m = 0; (ii) lightspeed propagation |dx/dt| = c; (iii) zero x₄-advance dx₄/dλ = 0 along the null worldline. The photon at affine parameter λ has four-momentum P^μ = (E/c, P) with P^μP_μ = 0, P₄ = 0 in the affine-parameter representation. The photon’s worldline lies entirely on the null hypersurface dx₄ = 0.

By sphere-surface x₄-locality (with the joint-forcing argument), every surface point q ∈ Σ_{cτ}(p₀) satisfies x₄(q; p₀) = 0. The McGucken Sphere is therefore a single x₄-stationary surface in ℳ_G: all of its points share the same x₄-coordinate value as the apex p₀ itself. From the ℳ_G-perspective, the photon emitted at p₀ at proper time τ is one object: Σ_{cτ}(p₀), residing entirely at x₄ = ict₀.

Step (F2): The 3D paths are the same single object. The McGucken Sphere Σ_{cτ}(p₀) is a 2-sphere of radius cτ in 3-space, parametrized by spherical coordinates (θ, φ). To a 3D observer confined to C_M, distinct surface points q₁ = (θ₁, φ₁), q₂ = (θ₂, φ₂) ∈ Σ_{cτ}(p₀) appear as distinct destinations: the photon “has gone to q₁” or “has gone to q₂” or “has spread between them.” The radial paths from p₀ to q₁ and from p₀ to q₂ are read by the 3D observer as distinct trajectories of distinct photons, or as the path superposition of a single photon’s wavefunction.

From the ℳ_G-perspective, by Step (F1), q₁ and q₂ are not distinct destinations: they are points on the same single x₄-stationary surface Σ_{cτ}(p₀), at common x₄-coordinate value zero. The 3D-spatial separation |q₁ − q₂| = cτ √(2 − 2 cos θ₁₂) > 0 (with θ₁₂ the angle between the two surface points) is the projection of the single object Σ_{cτ}(p₀) onto the 3-spatial slice; it does not correspond to multiple trajectories of distinct objects in ℳ_G. The radial path from p₀ to q₁ and the radial path from p₀ to q₂ are the same single ℳ_G-object viewed from two different 3D-projection angles.

Step (F3): The path integral is the C_M-shadow. By QM Theorem 15 (Feynman Path Integral) [1, QM Theorem 15], the transition amplitude from p₀ to a detection event q is

K(q, t; p₀, t₀) = ∫ D[γ] exp(iS[γ]/ℏ),

with the path integral defined as the time-sliced limit of finite-dimensional Gaussian integrals over chains of intersecting McGucken Spheres. The path-integral derivation in the corpus identifies the “sum over paths” as the iterated Huygens chain of secondary Spheres connecting source to detection.

We now show that this iterated Huygens chain is the C_M-shadow of a single ℳ_G-object. Each Sphere Σ_{cτ_n}(p_n) at intermediate apex p_n is, by Step (F1), a single x₄-stationary surface at x₄(q; p_n) = 0. The chain composition of Spheres

p₀ → q₁ ∈ Σ_{cτ₁}(p₀) → q₂ ∈ Σ_{cτ₂}(q₁) → ⋯ → q

is, in ℳ_G, a chain of x₄-coherent objects: each Sphere is x₄-local on its surface (Step F1), and successive Spheres in the chain are linked by their x₄-stationarity at the chain vertex points q_i. The integrated ℳ_G-content of the chain is one single x₄-coherent ancestor structure connecting p₀ to q.

To a 3D observer on C_M, this single ancestor structure projects as a sum of distinct trajectories: each choice of intermediate surface points {q₁, q₂, …} gives a different “path” in 3-space, and the integrated content of all such choices is the path-integral expression ∫ D[γ] exp(iS/ℏ). The phase exp(iS/ℏ) tracks the action accumulated along each choice of 3D path; the integration measure D[γ] enumerates the choices.

The shadow correspondence: one ℳ_G-object (the single x₄-stationary chain of Spheres from p₀ to q) ⟷ a sum over C_M-paths weighted by phase. The Feynman path integral is therefore the C_M-shadow of x₄-stationarity: the projection-artifact of one x₄-local object viewed from the 3D slice as if it were many distinct objects on many distinct trajectories. ∎

Corollary (Feynman’s “all paths” as projection artifact). Feynman’s interpretation that the quantum particle “takes every path simultaneously” [53, 54] is a projection artifact of the ℳ_G → C_M collapse: in ℳ_G, the photon is one single x₄-stationary object Σ_{cτ}(p₀) traversing zero distance in x₄; in C_M, the same object appears as a 3D wavefront with infinitely many surface destinations, each registering as the endpoint of a distinct path. The “sum over paths” is the C_M-perception of the single ℳ_G-object under projection onto the 3-spatial slice. Feynman’s interpretive postulate is therefore not an irreducible feature of quantum mechanics but the kinematic content of GR Theorem 6’s Massless–Lightspeed Equivalence read through the projection ℳ_G → C_M.

Conversion of postulate to theorem. The Feynman-as-shadow lemma converts what has been treated for nearly eight decades as a quantization postulate (“every path is summed over”) into a kinematic theorem of dx₄/dt = ic. The conversion is structural: the path integral is not a separate quantization rule layered on classical mechanics; it is the C_M-projection of x₄-stationarity. The status change parallels the status changes elsewhere in the framework — the Schrödinger equation [1, QM Theorem 7] as theorem rather than postulate, the canonical commutation relation [1, QM Theorem 10] as theorem rather than postulate, the Born rule (Section 6) as theorem rather than postulate. The Feynman path integral joins the chain.

The double-slit experiment as direct demonstration

The double-slit experiment supplies the canonical empirical illustration of the lemma. A photon source at p_source emits a photon that traverses an apparatus with two slits at positions x₁, x₂ to a detection screen at position x_screen. The standard reading: the photon’s wavefunction takes both paths through the slits in superposition, with the path amplitudes interfering at the screen. Feynman’s path-integral reading: the photon takes every path through both slits simultaneously, with the path-integral measure summing over all such paths weighted by phase.

The McGucken-shadow reading is geometrically explicit. The photon emitted at p_source generates the McGucken Sphere Σ⁺(p_source) in ℳ_G, with sphere-surface x₄-locality ensuring all surface points are at common x₄-coordinate value zero. The Sphere reaches both slits x₁, x₂ as part of its single x₄-stationary surface; in ℳ_G both slits are part of the same Sphere object, not distinct waypoints on distinct trajectories. By Channel B’s iterated-Huygens content, each slit position becomes a secondary Sphere apex, and the secondary Spheres Σ⁺(x₁, t_slit) and Σ⁺(x₂, t_slit) propagate forward to the screen. From ℳ_G, both secondary Spheres remain x₄-stationary at zero, with x₄(x_screen; x₁) = x₄(x_screen; x₂) = 0.

To the 3D observer on C_M, this single ℳ_G-structure projects as two distinct paths through the apparatus, with their C_M-phase difference Δφ registered as the interference fringe pattern at the screen. The interference visibility V = (I_max − I_min)/(I_max + I_min) is the empirical signature of the shared x₄-stationarity: when both slits are on the same Sphere of p_source (Sphere-shared x₄-locality), interference is full; when which-slit information is obtained (Sphere-locality is broken at the measurement point), interference vanishes.

The double-slit experiment therefore demonstrates the Feynman-as-shadow content directly: the photon does not “take every path simultaneously” — it occupies one x₄-stationary Sphere whose 3D-projection onto the screen registers as the interference of distinct paths. Feynman’s path-integral interpretation captures the C_M-perception correctly; the McGucken framework supplies the ℳ_G-reading underneath, with the kinematic content traceable directly to GR Theorem 6.

Connection to GR Theorem 6: the Massless–Lightspeed Equivalence as the Source

The Feynman-as-shadow lemma rests, at its load-bearing step, on GR Theorem 6 (Massless–Lightspeed Equivalence) [1, GR Theorem 6]: the structural identity

m = 0 ⟺ |dx/dt| = c ⟺ dx₄/dλ = 0

that establishes the photon as x₄-stationary. Without this equivalence, the photon’s worldline would advance in x₄ at non-zero rate and the Sphere would not be x₄-local; sphere-surface x₄-locality would fail; and the Feynman-as-shadow reading would fail with it. The reading is therefore not a free-standing geometric reinterpretation but a downstream consequence of GR Theorem 6 combined with the Uniqueness Theorem.

The corpus-level structural picture is now complete: GR Theorem 6 establishes the photon’s x₄-stationarity; sphere-surface x₄-locality extends this stationarity to the entire wavefront surface; the Uniqueness Theorem establishes that this configuration is forced by the empirical record; the Identity Theorem identifies Lorentz invariance and Tsirelson saturation as the dual-channel readings of the same fact; and the Feynman-as-shadow lemma identifies the Feynman path integral as the third Channel B reading — the projection of x₄-stationarity onto the 3-spatial slice.

In plain language. The McGucken framework converts the Feynman path integral from a quantization postulate into a kinematic theorem. Feynman said the quantum particle takes every path simultaneously. The McGucken framework says: in ℳ_G, the photon is strictly local along x₄ — it occupies one point at every proper time. The expanding x₄ dimension defines a locality in x₄ that we, as observers confined to C_M, perceive as 3D nonlocality. The photon is literally travelling on all radial 3D paths because those paths are the same single object — the McGucken Sphere Σ_{cτ}(p₀) — viewed from the x₄-perspective. Feynman’s “all paths” is therefore the C_M-shadow of the photon’s x₄-stationarity.

---

6. The Born Rule as Structural Co-Consequence

A third structural consequence of sphere-surface x₄-locality is the Born rule. We establish it explicitly: the SO(3)-Haar measure on the x₄-coherent surface generates P = |ψ|² through a Cauchy-functional-equation argument that requires the locality definition and fails identically under the Case A random-scatter alternative.

Theorem (Born rule from sphere-surface x₄-locality). Let ψ : Σ_t(p) → ℂ be a normalized wavefunction on the McGucken Sphere surface, viewed as the wave-amplitude content of an emitted state propagating spherically symmetrically from p. Assume sphere-surface x₄-locality. Then the probability density P(q) dμ_Haar(q) for detection at surface point q is uniquely determined by the requirements

(B1) P depends only on the magnitude |ψ(q)|, not on the phase (phase invariance);

(B2) P(q₁ ∪ q₂) = P(q₁) + P(q₂) for disjoint surface regions (probability additivity);

(B3) ∫_{Σ_t(p)} P(q) dμ_Haar(q) = 1 (probability normalization);

(B4) P is invariant under SO(3) rotations of the sphere when |ψ|² is also rotation-invariant (symmetry preservation);

to take the form P(q) = |ψ(q)|².

Proof. The proof proceeds in five steps. We first establish that P depends on ψ through |ψ|² via a function f, then derive both probability additivity (additivity in u) and probability scaling (multiplicativity under measure rescaling) from the four hypotheses, then combine them to obtain Cauchy’s functional equation, then solve under the regularity forced by (B3), then fix the constant by normalization.

Step 1: P depends on ψ through |ψ|² via a measurable function f. By condition (B1), P(q) depends on ψ(q) only through its magnitude |ψ(q)|, since global and local phase contribute no observable content (a phase rotation ψ → exp(iφ)ψ is unobservable, by the global-phase-absorption content of [1, QM Theorem 16]). Therefore P(q) = G(|ψ(q)|) for some function G : ℝ_{≥0} → ℝ_{≥0}. Define f : ℝ_{≥0} → ℝ_{≥0} by f(u) ≡ G(√u), so that P(q) = f(|ψ(q)|²). We will prove f(u) = u exactly.

Step 2: Probability additivity in the squared-modulus variable. Consider two disjoint surface regions Ω₁, Ω₂ ⊆ Σ_t(p) of equal SO(3)-Haar measure μ(Ω₁) = μ(Ω₂) = μ₀, with Ω = Ω₁ ∪ Ω₂ of total measure 2μ₀. Let u₁, u₂ ∈ ℝ_{≥0} and consider the wavefunction

|ψ₁₂(q)|² = u₁ for q ∈ Ω₁, u₂ for q ∈ Ω₂, 0 elsewhere.

By probability additivity (B2),

P₁₂(Ω) = P₁₂(Ω₁) + P₁₂(Ω₂) = f(u₁)μ₀ + f(u₂)μ₀.

Now consider an alternative wavefunction |ψ_sum|² that is constant equal to u₁ + u₂ on a region Ω* of measure μ₀ and zero elsewhere:

P_sum(Ω*) = f(u₁ + u₂)μ₀.

Both ψ₁₂ and ψ_sum have the same total integrated squared modulus

∫ |ψ₁₂|² dμ_Haar = (u₁ + u₂)μ₀ = ∫ |ψ_sum|² dμ_Haar,

so they describe physical states of equal total squared-amplitude content (and after normalization, equal-probability states). The conservation of total squared-amplitude content under rearrangement [1, QM Theorem 8] requires the total probabilities to coincide:

P₁₂(Ω) = P_sum(Ω*),

giving the additivity relation

f(u₁)μ₀ + f(u₂)μ₀ = f(u₁ + u₂)μ₀.

Dividing through by μ₀ > 0:

f(u₁ + u₂) = f(u₁) + f(u₂), u₁, u₂ ∈ ℝ_{≥0}.

This is Cauchy’s additive functional equation [47] in the variable u.

Step 3: Solve Cauchy’s functional equation under measurability. Cauchy’s additive functional equation on the non-negative reals admits, in full generality, pathological non-measurable solutions: by Hamel-basis constructions, every ℝ-linear function on ℝ_{≥0} viewed as a ℚ-vector space is a solution, and most such solutions are nowhere bounded on any open interval [46, Ch. 2]. However, condition (B3) (probability normalization) requires that

∫_{Σ_t(p)} f(|ψ(q)|²) dμ_Haar(q) = 1

be a finite, well-defined real number for every normalizable ψ. This requires the integrand f(|ψ|²) to be Lebesgue-integrable, which in turn requires f itself to be Lebesgue-measurable on ℝ_{≥0}. By the classical theorem of Cauchy (for continuous solutions), Darboux (for solutions bounded on any interval), and Banach–Sierpiński (for measurable solutions) [46, Theorem 2.1.1], every Lebesgue-measurable solution of Cauchy’s additive equation on ℝ_{≥0} is linear:

f(u) = au, a ∈ ℝ_{>0}.

The positivity of a is forced by f ≥ 0 (probability is non-negative); the boundary condition f(0) = 0 is automatic from the linear form (and is physically required: zero amplitude implies zero probability).

Step 4: Normalization fixes a = 1. By condition (B3),

∫{Σ_t(p)} a |ψ(q)|² dμ_Haar(q) = a ∫{Σ_t(p)} |ψ(q)|² dμ_Haar(q) = 1.

For any wavefunction normalized in the convention ∫ |ψ|² dμ_Haar = 1, this gives a = 1. The probability density on the surface is therefore

P(q) = |ψ(q)|².

This is the Born rule.

Step 5: Role of the SO(3)-symmetry condition. Condition (B4) (SO(3)-symmetry preservation) plays the role of validating Step 2’s rearrangement: the SO(3)-Haar measure assigns equal μ₀-mass to any pair of equal-area regions Ω₁, Ω₂ on Σ_t(p), and the equality P₁₂(Ω) = P_sum(Ω*) relies on this measure-equality being respected by the probability rule. Under sphere-surface x₄-locality, all surface points share the same x₄-coordinate value zero and the SO(3)-Haar measure is the unique invariant measure. Under Case A’s random-scatter alternative, the surface points carry distinct x₄-coordinate values, and SO(3)-rotations of Σ_t(p) relate surface points at different x₄-values — which break the assumption that |ψ|² alone determines the probability content of q. Step 2’s rearrangement fails under Case A; the Cauchy functional equation does not follow; and the Born rule cannot be derived. ∎

Why the locality definition is essential. The hypotheses of the Born-rule theorem require that P depend only on |ψ| (B1) and that P be SO(3)-invariant when |ψ|² is invariant (B4). These conditions both fail under Case A’s random-scatter alternative: under random x₄-scatter, the x₄-coordinate of a surface point carries random content beyond what |ψ|² encodes, and the SO(3) rotations of the sphere generally relate surface points at different x₄-values, breaking (B4)’s invariance condition. The Born rule’s derivation therefore requires the locality definition as a structural input: |ψ(q)|² must be the only relevant content of q, and this is the case only when all surface points are at common x₄-coordinate value.

Corollary (Born rule, Tsirelson saturation, and Lorentz invariance as a triple). The Born rule, the Tsirelson saturation |CHSH| = 2√2, and the Lorentz invariance of c are not three independent empirical facts but three structural co-consequences of sphere-surface x₄-locality:

• Lorentz invariance arises through the Channel A reading;
• Tsirelson saturation arises through the Channel B reading;
• the Born rule arises through the SO(3)-Haar-measure argument requiring the locality definition.

The three are simultaneously broken under any of the failure modes that violate sphere-surface x₄-locality, and simultaneously preserved by the McGucken Sphere structure.

---

7. The First McGucken Law of Nonlocality

The Uniqueness Theorem and the Identity Theorem together supply the structural content needed to formalize the First McGucken Law of Nonlocality [6, 7, 12] as a theorem rather than a postulate.

7.1 Statement and Proof

Theorem (First McGucken Law of Nonlocality). Under the McGucken Principle (Axiom) and given the Uniqueness Theorem, every entangled pair traces back to a common past event p_source whose McGucken Sphere Σ⁺(p_source) has self-replicated outward at rate +ic, propagating x₄-phase coherence to both systems through a chain of secondary, tertiary, and higher-order Spheres each of which is itself generated by dx₄/dt = ic at its apex.

Proof. The proof has four steps. We first establish that entanglement requires shared x₄-coherence; then that shared x₄-coherence requires a common past Sphere; then that the propagation occurs at rate +ic; then that the chain of intermediate Spheres carries the coherence forward via Huygens’ Principle.

Step 1: Entanglement requires shared x₄-coherence. Two systems A and B violating Bell’s inequality at the Tsirelson bound exhibit correlation strength forbidden by any local hidden-variable theory [17, 14, 15, 8]. By the Channel B lemma, the Tsirelson saturation arises geometrically from the SO(3)-Haar measure on a shared x₄-coherent sphere surface. Equivalently: if A and B do not share x₄-coherence, they cannot saturate the Tsirelson bound (Case A of Proposition A establishes the converse: random scatter destroys the coherence and the bound). Therefore Bell-violating entanglement of A and B implies A and B share x₄-coherence.

Step 2: Shared x₄-coherence requires a common past Sphere. We show that two systems A, B at the time of their detection events q₁, q₂ share x₄-coherence (in the sense of Step 1) only if there exists a common past event p_source in the intersection of their causal pasts such that q₁, q₂ ∈ Σ⁺(p_source).

By the Axiom, the x₄-coordinate of any system at any event r on its worldline advances at rate ic from any earlier event r₀:

x₄(r) − x₄(r₀) = ic ∫_{r₀}^{r} (dt/dσ) dσ,

where σ parametrizes the worldline. The accumulated x₄-displacement depends only on the proper-time content of the worldline segment; it is independent of which event r₀ is chosen as origin, up to an additive constant fixed by r₀. Two systems A, B at events q₁, q₂ have a well-defined relative x₄-coordinate

Δx₄ ≡ x₄(q₁) − x₄(q₂)

only if their respective worldlines admit a common origin event p_source from which both x₄(q₁) and x₄(q₂) are referenced; otherwise Δx₄ depends on the (independent) choice of origin for each system and is not a physical observable.

Shared x₄-coherence in the sense of Step 1 requires Δx₄ to be a definite quantity that takes the value zero (the case of full coherence) or a fixed phase relationship (the case of phase-coherence with a definite offset). This requirement forces the existence of a common reference event p_source in the causal past of both systems. By the Sphere definition, p_source being in the causal past of both A and B means q₁, q₂ both lie within or on the future light cone of p_source; if both detection events satisfy the null condition |x_j − x_source| = c(t_j − t_source) with respect to p_source, both lie on Σ⁺(p_source) exactly. (For massive systems propagating at v < c, the worldlines lie strictly inside Σ⁺(p_source); the analogous argument applies with the Sphere boundary as the ancestral marker.)

Therefore: shared x₄-coherence between two systems requires a common past event from which both worldlines descend, and the future Sphere of that common past event contains the worldlines of both systems.

Step 3: Propagation at rate +ic. The McGucken Sphere Σ⁺(p_source) expands at rate c in three-space, with surface radius R(t) = c(t − t_source) at time t. The +ic orientation (forward in x₄) is forced by the Channel A invariance of the Axiom combined with the empirical irreversibility of the second law of thermodynamics [1, GR Theorem 26 / GSL]: the principle could in principle have been −ic, but the choice of +ic for our universe is the orientation under which entropy increases, the arrow of time points forward, and causal influences propagate from past to future. Both possibilities are mathematically symmetric (the principle has ℤ₂ orientation symmetry); the empirical record selects +ic.

Step 4: Chain of secondary Spheres. The Huygens self-replication of the Channel B reading ensures that x₄-coherence on Σ⁺(p_source) propagates forward through chains of secondary Spheres. Each surface point q ∈ Σ_t(p_source) is itself the apex of a future McGucken Sphere Σ⁺(q), which carries x₄-coherence further outward at rate +ic. The total wavefront at time t′ > t is the envelope of all such secondary wavelets [20]. The chain is iterable: secondary wavelets generate tertiary Spheres at their apexes, and so on, with each Sphere generated by dx₄/dt = ic at its apex by the Axiom.

The four steps together establish the theorem: every entangled pair traces back to a common past event whose McGucken Sphere has self-replicated outward at +ic through a chain of intermediate Spheres carrying x₄-phase coherence forward. ∎

7.2 Plain-Language Statement

First McGucken Law of Nonlocality. All nonlocality begins as locality. In order for two particles to become entangled, they must first share a common locality — a common event in x₄. As they separate spatially, they may yet retain their original x₄-locality, and we see them to be entangled. Thus, over time, locality is something which expands into nonlocality at a rate limited by c.

This is the statement first published in 2020 [6], given as a postulate at that time, and now given as a theorem of the Axiom via the chain Uniqueness Theorem → Identity Theorem → First Law.

7.3 Empirical Content

Corollary (Empirical signatures of the First Law). The First Law produces three empirical signatures, each tested and confirmed in the entanglement experimental record:

(i) Causal-past requirement. Two systems can be entangled only if their forward light cones from past events intersect; equivalently, only if they share a common Sphere ancestor. There is no empirical example of entanglement between systems with no shared causal past, consistent with the requirement.

(ii) Lightspeed limit on entanglement establishment. The rate at which two systems can come into entangled correlation is bounded by c: the establishment of x₄-coherence between them propagates from p_source at speed c. No experiment has ever established entanglement between two systems faster than the light-travel time between them [8, 4].

(iii) Persistence of the correlation across spatial separation. Once x₄-coherence has been established between two systems, it persists as they separate spatially, with the correlation strength preserved across arbitrary distance (up to environmental decoherence). The Pan group’s 1200 km satellite Bell test [4] provides a direct empirical demonstration.

Distinction from no-signaling. The First Law is logically distinct from the no-signaling theorem [10]. The no-signaling theorem asserts that quantum entanglement cannot be used to transmit information faster than light. The First Law asserts that entanglement itself can only be established at sub-light speed, by virtue of the requirement of a shared causal past. The no-signaling theorem is an operational statement about communication; the First Law is a structural statement about how entanglement comes to exist in the first place. Both are consequences of the McGucken Principle, but they address different aspects of the relativity-quantum interface.

---

8. Integration into the McGucken Corpus

The Uniqueness Theorem and the Identity Theorem are not free-standing results but structural underpinnings of theorems established across the corpus.

8.1 Relation to the GR Theorems

The McGucken-Invariance Lemma [1, GR Theorem 2] states that dx₄/dt = ic is gravitationally invariant: the rate of x₄-advance is independent of the gravitational field. The Lemma is the gravitational-sector analog of Proposition D’s exclusion: the rate ic cannot vary across spacetime events without violating Lorentz invariance at the cosmological-photon-propagation level. The present paper supplies the empirical lower bound on the constancy of ic (E_LIV > 7.6 M_Pl from GRB timing) that complements the structural statement of the MGI Lemma.

The Schwarzschild solution [1, GR Theorem 14] requires the McGucken Sphere to maintain its x₄-local surface in the curved spatial geometry around a mass — which is the Sphere’s structural identity even in curved spacetime. The geodesic principle [1, GR Theorem 7] likewise relies on the Sphere structure carrying free-particle worldlines forward at extremal x₄-arc-length.

8.2 Relation to the QM Theorems

The Schrödinger equation [1, QM Theorem 7] is the time-evolution of the wavefront amplitude on the McGucken Sphere; it depends on sphere-surface x₄-locality through the shared x₄-coordinate of all wavefront points entering the Huygens construction. The Born rule [1, QM Theorem 11] is established via the Cauchy functional equation argument formalized in the present Section 6. The Tsirelson bound [1, QM Theorem 13] is established via the dual-channel reading reformulated in the present Channel B lemma. Quantum nonlocality and entanglement [1, QM Theorems 17–18] are formalized as the First Law of Nonlocality of the present Section 7.

8.3 Relation to the McGucken Sphere Paper

The McGucken Sphere paper [13] establishes the Sphere as the atom of spacetime. The present Uniqueness Theorem strengthens that statement: the Sphere with x₄-local surface is not just an atom of spacetime but the unique configuration of the future null cone consistent with all five empirical strands. The present paper therefore upgrades the Sphere’s status from a postulated geometric object (in the original 2020 articulations [6, 7]) to a forced theorem of dx₄/dt = ic given the empirical conjunction.

8.4 Relation to the Second McGucken Principle of Nonlocality

The Second McGucken Principle of Nonlocality [48], articulated in 2024, states that any entangled particles must exist in a McGucken Sphere whose radius expands at c, equivalently that two systems can be entangled only if their respective McGucken Spheres intersect with each Sphere having originated from the respective particle. The present First McGucken Law establishes the existence of a common past Sphere Σ⁺(p_source) for every entangled pair; the Second Principle of [48] strengthens this to the structural statement that the entangled pair lives within this Sphere (each system’s worldline within the Sphere’s interior or on its boundary). Both Principles are theorems of dx₄/dt = ic given the present Uniqueness Theorem: the First Law follows from the propagation content of Channel B; the Second Principle follows from the structural identity of the McGucken Sphere as the unique surface configuration consistent with the empirical record (the Uniqueness Theorem).

8.5 Relation to the Kaluza–Klein Completion Paper

The McGucken Principle as the completion of Kaluza–Klein [49] identifies x₄ with Kaluza’s compactified fifth dimension, but with the McGucken modification that x₄ is dynamical (advancing at ic) rather than static-compactified. The present Uniqueness Theorem applies to the McGucken-Kaluza-Klein framework: the McGucken Sphere with x₄-local surface is the unique configuration of the future null cone consistent with the empirical record, regardless of whether one views x₄ as the Minkowski timelike axis (standard relativity reading) or as the dynamical fifth dimension (Kaluza–Klein reading with the McGucken modification). The two readings agree on the structural content of the present theorem: sphere-surface x₄-locality is the unique geometric configuration consistent with observation.

8.6 Relation to the Source-Pair Construction

The McGucken Space and McGucken Operator paper [50] establishes the source-pair (M_G, D_M) as co-generated from dx₄/dt = ic. The present Uniqueness Theorem operates within this categorical framework: the McGucken Sphere Σ⁺(p) at every event p of M_G is the geometric realization of the McGucken Operator’s characteristic propagation, and sphere-surface x₄-locality is the constraint surface property that defines the substrate of the McGucken category McG.

8.7 Relation to the Categorical No-Embedding Theorem

The Categorical No-Embedding Theorem [51] establishes that the Moving-Dimension Manifold category is a terminal subcategory of axis-dynamics frameworks. The present Uniqueness Theorem provides the empirical content of that categorical statement: among all surface configurations of the future null cone, the McGucken Sphere with x₄-local surface is the unique configuration consistent with the empirical record, and any other configuration corresponds to a non-terminal category in the no-embedding hierarchy.

---

9. Falsifiability Ledger

The Uniqueness Theorem produces a sharp falsifiability ledger: any single empirical observation contradicting any of the five strands would falsify the theorem. We list the falsification routes explicitly.

9.1 Falsification Route 1: Sub-Tsirelson Saturation

If a Bell-inequality experiment in pristine vacuum, with all known environmental and detector-efficiency loopholes closed, produced a CHSH value strictly less than 2√2 at the level of statistical significance corresponding to a deviation greater than the dephasing factor exp(−σ²_x₄/ℏ²) predicted by Proposition A for some allowed σ²_x₄, the McGucken Sphere with sphere-surface x₄-locality would be ruled out in favor of a Case A scattered-surface alternative.

Current loophole-free Bell experiments [16, 27, 28] constrain σ_x₄ to less than ~ 0.22 ℏ. Future improvements would refine the constraint.

9.2 Falsification Route 2: Detected Anisotropy of Bell Violation

If a multi-orientation Bell-inequality experiment detected a systematic anisotropy in the CHSH value as a function of the spatial orientation of the apparatus relative to the cosmic frame (a directional effect that does not vary with sidereal day), the McGucken Sphere would be ruled out in favor of a Case B systematic-gradient alternative.

No such anisotropy has been detected; current bounds on the gradient g are g ≲ 3 × 10⁻³⁵ J·s, the limit set by the precision of orientation-independence in the cumulative Bell-inequality experimental record.

9.3 Falsification Route 3: Detected Entanglement-Distance Decay

If an entanglement experiment at large spatial separation (say, 10⁴ km or more, beyond geocentric Bell experiments and toward lunar-distance tests) detected an exponential decay of the CHSH value with distance not attributable to environmental decoherence or detector inefficiency, the McGucken Sphere would be ruled out in favor of a Case C finite-thickness alternative.

The Pan group’s 2017 satellite Bell test at 1200 km [4] already constrains L_coh > 10⁸ m. Future lunar-distance tests using inter-orbital quantum links would push the bound to L_coh > 10¹⁰ m or beyond.

9.4 Falsification Route 4: Detected Lorentz Violation in c

If GRB-timing analysis or any direct test of the speed of light detected directional anisotropy of c at the level of |Δc/c| > 10⁻²⁰, the McGucken Sphere would be ruled out in favor of a Case D directional-rate-anisotropy alternative.

Vasileiou et al. [5] bound this anisotropy at E_LIV > 7.6 M_Pl in linear-energy models from GRB 090510 alone; multi-burst analyses [18, 39] refine the bound. Future Cherenkov Telescope Array observations will tighten the bound by an order of magnitude.

9.5 Falsification Route 5: Failure of Wave-Equation Propagation

If the wave equation □ψ = 0 failed to admit Green’s-function solutions in any physical regime — equivalently, if Huygens’ Principle failed in any physical setting — the McGucken Sphere would be ruled out in favor of a Case E self-replication-failure alternative.

Huygens’ Principle has been confirmed across every regime tested in classical electromagnetism, acoustics, quantum mechanics (de Broglie waves), and gravitational-wave propagation [44]. No counterexample exists.

9.6 Summary

The five falsification routes are independent: ruling out any one would not save the McGucken Sphere from the others. Conversely, the conjunction of all five empirical strands is required to single out the McGucken Sphere as unique; weakening any one strand would admit additional configurations. The framework is therefore empirically over-constrained: many independent experimental tests, each a potential falsification, all simultaneously confirm the same configuration.

---

10. Historical Predecessors: Who Got Close

The recognition that the future light cone is the locus of quantum nonlocality is not new to the present paper. Three authors arrived in the neighborhood across seven decades, each capturing a structural piece without arriving at the identity claim of the Identity Theorem. We catalog them here to make the priority gap explicit and to credit the partial structural insights that did appear in the literature.

10.1 Costa de Beauregard (1953, 1976, 1977): The Cone Carries the Correlation

Olivier Costa de Beauregard, in a series of papers beginning in 1953 [55, 56, 57], argued that EPR correlations are mediated through the light-cone structure itself, not through faster-than-light signals in three-space. His “zigzag” model proposed that the correlation between spatially separated entangled particles travels along the past light cone of one detection event, through the source, and along the future light cone to the other detection event — with the cone supplying the geometric path along which the correlation is carried.

What Costa de Beauregard had: the structural intuition that the light cone, not three-space, is where quantum nonlocality lives. He explicitly identified the cone as the locus of the correlation rather than treating nonlocality as a faster-than-light spatial signal.

What he did not have: (i) any uniqueness argument that the cone configuration is forced; (ii) any identification of c-invariance with the correlation strength; (iii) any dynamical reading of the timelike axis as actually moving; (iv) any formal theorem connecting the cone’s geometric properties to the Tsirelson bound. He was working within standard Minkowski geometry to interpret EPR. The intuition was sharp; the formal apparatus to make the identity claim was not available.

10.2 Penrose (1967 onward): Null Structure as Fundamental

Roger Penrose, beginning with the 1967 introduction of twistors [58] and continuing through five decades of work culminating in The Road to Reality [59] and the conformal cyclic cosmology of Cycles of Time [60], has maintained that the null structure of spacetime — the light-cone structure — is more fundamental than the metric and that quantum mechanics must descend from this null structure. The twistor program builds quantum-mechanical objects (twistor functions, contour integrals on twistor space) from the null geometry of Minkowski space, with the explicit aim of unifying QM and GR through their shared null-cone foundation.

What Penrose had: the most sustained and explicit commitment in the literature to the view that null-cone geometry is the structural source of both relativity and quantum mechanics. The twistor program is a fifty-year attempt to derive QM from null structure.

What he did not have: (i) the Tsirelson bound as a derivable consequence; (ii) a uniqueness theorem for the cone configuration; (iii) any specific principle generating the null structure dynamically. Penrose has been explicit [59, 60] that the connection between the twistor formalism and Bell-inequality saturation has not been worked out; his “OR” (objective reduction) hypothesis treats QM and gravity as needing a joint principle that he has not found. The structural commitment is shared with the McGucken framework; the principle that completes it is not.

10.3 Hardy (1992): The Closest Formal Result

Lucien Hardy, in a 1992 Physical Review Letters paper [61], established the closest formal result in the published literature to the Identity Theorem. Hardy proved that no Lorentz-invariant, local, realistic theory can reproduce the predictions of quantum mechanics — the strongest statement to date that the joint demands of Lorentz invariance and quantum nonlocality have non-trivial structural content.

What Hardy had: a rigorous formal proof that Lorentz invariance plus locality plus realism fails to reproduce QM, with explicit construction of the failure mode (the “Hardy paradox”). The result demonstrated that c-invariance and Bell-violation are not logically independent — there is structural content in their conjunction.

What he did not have: the result runs the opposite direction from the Identity Theorem. Hardy treated Lorentz invariance, locality, and realism as three independent constraints and showed they cannot be jointly satisfied alongside QM predictions; the paper is a no-go theorem for a particular conjunction of postulates. The Identity Theorem of the present paper makes the affirmative identity claim — that c-invariance and Tsirelson saturation are two readings of one geometric fact — which is the structurally stronger statement: not “these three things conflict” but “these two things are the same thing.” Hardy’s negative result establishes that the McGucken-style affirmative result must have specific structural content; it does not supply that content. The dynamical reading of x₄ as actually moving at ic, which is what makes the identity claim go through, is absent from Hardy’s work as it is from all standard treatments.

10.4 Why the Identity Claim Required the Dynamical x₄

The recurring pattern across the three predecessors is that each captured a structural piece without arriving at the identity. Costa de Beauregard had the cone-as-locus-of-correlation; Penrose had the null-structure-as-fundamental; Hardy had the formal proof that the joint constraints have non-trivial structure. None of them had the dynamical reading of the fourth dimension as actually moving at ic.

This is the structural reason the identity claim has not been published before. Without dx₄/dt = ic as a dynamical principle, the most one can do is observe that the Lorentz-invariant cone and the Tsirelson-saturating shared sphere are facts that coexist consistently (the no-signaling theorem [10] stitching them at the operational level). With dx₄/dt = ic, the Channel A reading (algebraic-symmetry: rate is invariant under boosts) and the Channel B reading (geometric-propagation: spherically symmetric expansion at every event) are the two structural projections of a single principle, and the identity claim becomes statable as the Identity Theorem.

The intuition that quantum nonlocality lives on the light cone has appeared in the literature since 1953. The geometric principle that converts the intuition into a uniqueness theorem and an identity theorem is supplied by the McGucken framework [1, 2, 3] and the present paper. The 117-year gap between Minkowski’s 1908 statement that the cone is the geometric content of x₄ = ict and the present statement that dx₄/dt = ic generates both Lorentz invariance and Bell saturation is the gap between reading x₄ = ict as a kinematic shadow versus reading dx₄/dt = ic as the dynamical motion of which the shadow is the integrated form. The predecessors above each saw part of what the principle generates; the principle itself is the present framework’s contribution to closing the gap.

---

11. Conclusion

The McGucken Principle dx₄/dt = ic [1, 11, 12] generates at every spacetime event p a McGucken Sphere Σ⁺(p) whose surface is at common x₄-coordinate value relative to p — the structural property called sphere-surface x₄-locality. The present paper has established that this geometric configuration is not a separately postulated feature of the framework but a forced theorem.

Five Propositions classify the qualitatively distinct ways the configuration can fail and prove that each failure mode is empirically excluded: random x₄-scatter eliminates Tsirelson saturation and the Born rule; systematic gradient breaks rotational invariance of entanglement; finite thickness imposes an entanglement-distance limit excluded by the 1200 km satellite Bell test [4]; directional rate-anisotropy violates Lorentz invariance at GRB-timing precision [5]; and self-replication failure breaks propagation itself. The five Propositions converge on the Uniqueness Theorem: the McGucken Sphere with x₄-local surface is the unique configuration of the future null cone consistent with all five empirical strands.

The Identity Theorem sharpens this conclusion: Lorentz invariance of the light cone and Tsirelson saturation in entanglement are not two independent empirical facts but two readings of one geometric fact. The Channel A reading produces Lorentz invariance via the SO(3,1) symmetry of Σ⁺(p); the Channel B reading produces Tsirelson saturation via the SO(3)-Haar measure on the x₄-coherent surface. The two readings co-fail under any perturbation that breaks sphere-surface x₄-locality, and co-succeed under the McGucken Sphere structure. The structural unification dissolves the apparent puzzle of how relativity and quantum mechanics manage to coexist consistently: there is no coexistence to puzzle over because there is one geometric fact with two empirical signatures, not two independent facts.

The Born rule emerges as the structural co-consequence: the SO(3)-Haar measure on the x₄-coherent sphere surface generates P = |ψ|² through a Cauchy-functional-equation argument that requires sphere-surface x₄-locality and fails identically under the random-scatter alternative. Lorentz invariance, Tsirelson saturation, and the Born rule are therefore three structural co-consequences of one geometric fact, with the McGucken Sphere as their joint source.

The First McGucken Law of Nonlocality — all nonlocality begins as locality — is the corpus-level statement of this content. First articulated as a postulate in 2020 [6] and elaborated across the subsequent corpus [7, 1], the First Law is now a forced theorem of dx₄/dt = ic given the empirical conjunction. Two entangled systems trace back to a common past event whose Sphere has self-replicated outward at +ic, propagating x₄-phase coherence to both through a chain of intermediate Spheres each generated by the principle at its apex. The 3-dimensional nonlocality observed in Bell-inequality experiments is the projected shadow of 1-dimensional locality in x₄ that the principle generates at every event.

The structural significance of the result is that the framework is empirically over-constrained: five qualitatively distinct experimental directions (Bell tests, orientation-dependence, distance-dependence, GRB timing, wave-equation propagation) each independently confirm the same geometric configuration. Every empirical falsification route is closed by the same single geometric fact. The McGucken Sphere with sphere-surface x₄-locality is thereby the foundational geometric content of physics at the relativity-quantum interface, with dx₄/dt = ic as its source.

The contents of the Uniqueness and Identity Theorems carry forward into the broader corpus: the dual-channel readings of the Master Equation, the canonical commutation relation, the Born rule, the Bell–Tsirelson saturation, and the Bekenstein–Hawking entropy [1] all rely structurally on the sphere-surface x₄-locality established here as forced rather than postulated. The corpus’s chain of theorems thereby acquires an additional foundational link: the McGucken Sphere’s defining property is not an independent postulate but a consequence of dx₄/dt = ic and the empirical record taken jointly.

The historical content is the inversion of the standard pre-McGucken framing: where standard physics has treated quantum nonlocality and Lorentz invariance as two separate puzzling facts that happen to coexist consistently [10, 17], the present framing identifies them as Channel A and Channel B projections of the same single geometric fact that has been on the page since Minkowski wrote x₄ = ict in 1908 [52]. What was missing for over a century was the recognition that the integrated form x₄ = ict is the kinematic shadow of an actual physical motion of the fourth dimension, dx₄/dt = ic, and that this physical motion produces the McGucken Sphere at every event with sphere-surface x₄-locality as its forced geometric content. The present Uniqueness Theorem completes the structural recognition: the configuration is unique, the failure modes are exhaustively classified, and the empirical record forces the configuration on five independent grounds.

---

References

McGucken Corpus

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

[2] McGucken, E. (1998). Multiple Unit Artificial Retina Chipset to Aid the Visually Impaired and Enhanced Holed-Emitter CMOS Phototransistors. Ph.D. Dissertation, Department of Physics and Astronomy, University of North Carolina at Chapel Hill. The first written formulation of the McGucken Principle (dx₄/dt = ic) appeared as an appendix to this dissertation. https://elliotmcguckenphysics.com/2025/03/08/the-abstracts-of-mcguckens-five-seminal-papers-on-light-time-dimension-theory-2008-2013-and-the-mcgucken-principle-the-fourth-dimension-is-expanding-at-the-rate-of-c-relat/

[3] McGucken, E. (2008). Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics (In Memory of John Archibald Wheeler). FQXi essay submission to The Nature of Time, Foundational Questions Institute, August 2008. https://forums.fqxi.org/d/238-time-as-an-emergent-phenomenon-traveling-back-to-the-heroic-age-of-physics-by-elliot-mcgucken

[6] McGucken, E. (2020). The McGucken Nonlocality Principle: All Quantum Nonlocality Begins in Locality. https://goldennumberratio.medium.com/the-mcgucken-nonlocality-principle-all-quantum-nonlocality-begins-in-locality-e6755ac1bd43

[7] McGucken, E. The McGucken Equivalence of Quantum Nonlocality and Relativity — how Quantum Nonlocality is found in Relativity’s Time Dilation and Length Contraction. https://goldennumberratio.medium.com/the-mcgucken-equivalence-of-quantum-nonlocality-and-relativity-how-quantum-nonlocality-is-found-ce448d0b5722

[11] McGucken, E. (2008). Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics (In Memory of John Archibald Wheeler). (See [3].) https://forums.fqxi.org/d/238-time-as-an-emergent-phenomenon-traveling-back-to-the-heroic-age-of-physics-by-elliot-mcgucken

[12] McGucken, E. (1998). Multiple Unit Artificial Retina Chipset to Aid the Visually Impaired and Enhanced Holed-Emitter CMOS Phototransistors — UNC dissertation appendix on Light, Time, Dimension Theory. (See [2].) https://elliotmcguckenphysics.com/2025/03/08/the-abstracts-of-mcguckens-five-seminal-papers-on-light-time-dimension-theory-2008-2013-and-the-mcgucken-principle-the-fourth-dimension-is-expanding-at-the-rate-of-c-relat/

[13] McGucken, E. The McGucken Sphere as Spacetime’s Foundational Atom: Deriving Arkani-Hamed’s Amplituhedron and Penrose’s Twistors as Theorems of the McGucken Principle dx₄/dt = ic. Light, Time, Dimension Theory. https://elliotmcguckenphysics.com/2026/04/27/the-mcgucken-sphere-as-spacetimes-foundational-atom/

[21] McGucken, E. General Relativity Derived from the McGucken Principle: 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. Light, Time, Dimension Theory. https://elliotmcguckenphysics.com/2026/04/26/general-relativity-derived-from-the-mcgucken-principle/

[22] McGucken, E. Quantum Mechanics Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of Quantum Mechanics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic. Light, Time, Dimension Theory. https://elliotmcguckenphysics.com/2026/04/26/quantum-mechanics-derived-from-the-mcgucken-principle/

[23] McGucken, E. The McGucken Symmetry dx₄/dt = ic — The Father Symmetry of Physics — Completing Klein’s 1872 Erlangen Programme. Light, Time, Dimension Theory. https://elliotmcguckenphysics.com/2026/04/28/the-mcgucken-symmetry-the-father-symmetry-of-physics/

[24] McGucken, E. 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. Light, Time, Dimension Theory. https://elliotmcguckenphysics.com/2026/04/23/the-unique-mcgucken-lagrangian/

[48] McGucken, E. The Second McGucken Principle of Nonlocality: Only Systems of Particles with Intersecting Light Spheres, with Each Light Sphere Having Originated from Each Respective Particle, Can Ever Be Entangled. Any Entangled Particles Must Exist in a McGucken Sphere. https://elliotmcguckenphysics.com/2024/12/13/the-second-mcgucken-principles-of-nonlocality-only-systems-of-particles-with-intersecting-light-spheres-with-each-light-sphere-having-originated-from-each-respective-particle-can-ever-be-entangled/

[49] McGucken, E. The McGucken Principle as the Completion of Kaluza–Klein: How dx₄/dt = ic Reveals the Dynamic Character of the Fifth Dimension and Unifies Gravity, Relativity, Quantum Mechanics, Thermodynamics, and the Arrow of Time. https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-as-the-completion-of-kaluza-klein-how-dx4-dt-ic-reveals-the-dynamic-character-of-the-fifth-dimension-and-unifies-gravity-relativity-quantum-mech/

[50] McGucken, E. The McGucken Space and McGucken Operator Generated by dx₄/dt = ic: Simultaneous Space-Operator Generation and the Source Structure of All Mathematical Physics — A New Category Completes the Erlangen Programme. Light, Time, Dimension Theory. https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-space-and-mcgucken-operator-generated-by-dx4-dtic-simultaneous-space-operator-generation-and-the-source-structure-of-all-mathematical-physics-a-new-category-completes-the/

[51] McGucken, E. Novel Reciprocal-Generation McGucken Category McG built on dx₄/dt = ic: Three Theorems on the Source-Pair (M_G, D_M) — Mutual Containment, Reciprocal Generation, and the Containment-Generation Equivalence, Establishing a New Categorical Foundation for Mathematical Physics which Completes the Erlangen Programme. Light, Time, Dimension Theory. https://elliotmcguckenphysics.com/2026/05/02/novel-reciprocal-generation-mcgucken-category/

Foundations of QM and Bell-Type Tests

[14] Clauser, J. F., Horne, M. A., Shimony, A., & Holt, R. A. (1969). Proposed experiment to test local hidden-variable theories. Physical Review Letters 23, 880–884. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.23.880

[15] Tsirelson, B. S. (1980). Quantum generalizations of Bell’s inequality. Letters in Mathematical Physics 4, 93–100. https://link.springer.com/article/10.1007/BF00417500

[17] Bell, J. S. (1964). On the Einstein–Podolsky–Rosen paradox. Physics Physique Fizika 1, 195–200. https://journals.aps.org/ppf/abstract/10.1103/PhysicsPhysiqueFizika.1.195

[8] Aspect, A., Dalibard, J., & Roger, G. (1982). Experimental test of Bell’s inequalities using time-varying analyzers. Physical Review Letters 49, 1804–1807. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.49.1804

[9] Tittel, W., Brendel, J., Zbinden, H., & Gisin, N. (1998). Violation of Bell inequalities by photons more than 10 km apart. Physical Review Letters 81, 3563–3566. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.81.3563

[16] Hensen, B., et al. (2015). Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres. Nature 526, 682–686. https://www.nature.com/articles/nature15759

[27] Giustina, M., et al. (2015). Significant-loophole-free test of Bell’s theorem with entangled photons. Physical Review Letters 115, 250401. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.115.250401

[28] Shalm, L. K., et al. (2015). Strong loophole-free test of local realism. Physical Review Letters 115, 250402. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.115.250402

[4] Yin, J., et al. (2017). Satellite-based entanglement distribution over 1200 kilometres. Science 356, 1140–1144. https://www.science.org/doi/10.1126/science.aan3211

[10] Eberhard, P. H. & Ross, R. R. (1989). Quantum field theory cannot provide faster-than-light communication. Foundations of Physics Letters 2, 127–149. https://link.springer.com/article/10.1007/BF00696109

Feynman Path Integral

[53] Feynman, R. P. (1948). Space-time approach to non-relativistic quantum mechanics. Reviews of Modern Physics 20, 367–387. https://journals.aps.org/rmp/abstract/10.1103/RevModPhys.20.367

[54] Feynman, R. P. & Hibbs, A. R. (1965). Quantum Mechanics and Path Integrals. McGraw-Hill, New York. Emended edition by D. F. Styer (Dover, 2010). https://store.doverpublications.com/0486477223.html

[45] Werner, R. F. & Wolf, M. M. (2001). All-multipartite Bell-correlation inequalities for two dichotomic observables per site. Physical Review A 64, 032112. https://journals.aps.org/pra/abstract/10.1103/PhysRevA.64.032112

Lorentz Invariance and GRB Timing

[5] Vasileiou, V., Jacholkowska, A., Piron, F., et al. (2013). Constraints on Lorentz invariance violation from Fermi-Large Area Telescope observations of gamma-ray bursts. Physical Review D 87, 122001. https://journals.aps.org/prd/abstract/10.1103/PhysRevD.87.122001

[18] Amelino-Camelia, G. (2013). Quantum-spacetime phenomenology. Living Reviews in Relativity 16, 5. https://link.springer.com/article/10.12942/lrr-2013-5

[39] Ellis, J., Mavromatos, N. E., Sakharov, A. S., & Sarkisyan-Grinbaum, E. K. (2019). Robust constraint on Lorentz violation using Fermi-LAT gamma-ray burst data. Physical Review D 99, 083009. https://journals.aps.org/prd/abstract/10.1103/PhysRevD.99.083009

[35] Michelson, A. A. & Morley, E. W. (1887). On the relative motion of the Earth and the luminiferous ether. American Journal of Science 34, 333–345. https://www.ajsonline.org/content/s3-34/203/333

[40] Kennedy, R. J. & Thorndike, E. M. (1932). Experimental establishment of the relativity of time. Physical Review 42, 400–418. https://journals.aps.org/pr/abstract/10.1103/PhysRev.42.400

[36] Brillet, A. & Hall, J. L. (1979). Improved laser test of the isotropy of space. Physical Review Letters 42, 549–552. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.42.549

[37] Hils, D. & Hall, J. L. (1990). Improved Kennedy–Thorndike experiment to test special relativity. Physical Review Letters 64, 1697–1700. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.64.1697

[38] Eisele, C., Nevsky, A. Y., & Schiller, S. (2009). Laboratory test of the isotropy of light propagation at the 10⁻¹⁷ level. Physical Review Letters 103, 090401. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.103.090401

[42] Pruttivarasin, T., Ramm, M., Porsev, S. G., et al. (2015). Michelson–Morley analogue for electrons using trapped ions to test Lorentz symmetry. Nature 517, 592–595. https://www.nature.com/articles/nature14091

[41] IceCube Collaboration (2018). Neutrino interferometry for high-precision tests of Lorentz symmetry with IceCube. Nature Physics 14, 961–966. https://www.nature.com/articles/s41567-018-0172-2

Wave Mechanics: Huygens, Kirchhoff, Two-slit

[19] Huygens, C. (1690). Traité de la Lumière. Pierre van der Aa, Leiden. https://archive.org/details/bub_gb_kVxsP-FRY-EC

[20] Kirchhoff, G. (1882). Zur Theorie der Lichtstrahlen. Annalen der Physik 254, 663–695. https://onlinelibrary.wiley.com/doi/10.1002/andp.18832540409

[29] Taylor, G. I. (1909). Interference fringes with feeble light. Proceedings of the Cambridge Philosophical Society 15, 114–115. https://archive.org/details/proceedingsofcam15191011camb/page/114

[30] Tonomura, A., Endo, J., Matsuda, T., Kawasaki, T., & Ezawa, H. (1989). Demonstration of single-electron buildup of an interference pattern. American Journal of Physics 57, 117–120. https://pubs.aip.org/aapt/ajp/article-abstract/57/2/117/1042817

[31] Zeilinger, A., Gähler, R., Shull, C. G., Treimer, W., & Mampe, W. (1988). Single- and double-slit diffraction of neutrons. Reviews of Modern Physics 60, 1067–1073. https://journals.aps.org/rmp/abstract/10.1103/RevModPhys.60.1067

[32] Carnal, O. & Mlynek, J. (1991). Young’s double-slit experiment with atoms: a simple atom interferometer. Physical Review Letters 66, 2689–2692. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.66.2689

[33] Arndt, M., Nairz, O., Vos-Andreae, J., et al. (1999). Wave–particle duality of C₆₀ molecules. Nature 401, 680–682. https://www.nature.com/articles/44348

[34] Fein, Y. Y., Geyer, P., Zwick, P., et al. (2019). Quantum superposition of molecules beyond 25 kDa. Nature Physics 15, 1242–1245. https://www.nature.com/articles/s41567-019-0663-9

[43] Courant, R. & Hilbert, D. (1962). Methods of Mathematical Physics, Volume II: Partial Differential Equations. Wiley-Interscience, New York. https://onlinelibrary.wiley.com/doi/book/10.1002/9783527617234

Gravitational Waves and LIGO

[44] Abbott, B. P., et al. (LIGO Scientific Collaboration and Virgo Collaboration) (2016). Observation of gravitational waves from a binary black hole merger. Physical Review Letters 116, 061102. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.116.061102

Mathematical Foundations: Haar, Cauchy

[25] Haar, A. (1933). Der Massbegriff in der Theorie der kontinuierlichen Gruppen. Annals of Mathematics 34, 147–169. https://www.jstor.org/stable/1968346

[26] Weil, A. (1940). L’intégration dans les groupes topologiques et ses applications. Hermann, Paris. https://archive.org/details/lintgrationdans0000weil

[47] Cauchy, A.-L. (1821). Cours d’analyse de l’École royale polytechnique. Imprimerie royale, Paris. https://gallica.bnf.fr/ark:/12148/bpt6k29058v

[46] Aczél, J. (1966). Lectures on Functional Equations and their Applications. Mathematics in Science and Engineering, Vol. 19. Academic Press, New York. Reprinted by Dover Publications (2006). https://archive.org/details/lecturesonfuncti0000jacz

Historical: Minkowski

[52] Minkowski, H. (1908). Raum und Zeit. Physikalische Zeitschrift 10, 75–88. English translation in Lorentz, Einstein, Minkowski, Weyl (1923), The Principle of Relativity, Methuen, London. https://en.wikisource.org/wiki/Translation:Space_and_Time

Historical Predecessors

[55] Costa de Beauregard, O. (1953). Mécanique quantique. Comptes Rendus de l’Académie des Sciences 236, 1632–1634. https://gallica.bnf.fr/ark:/12148/bpt6k3187g/f1632.item

[56] Costa de Beauregard, O. (1976). Time symmetry and interpretation of quantum mechanics. Foundations of Physics 6, 539–559. https://link.springer.com/article/10.1007/BF00715107

[57] Costa de Beauregard, O. (1977). Time symmetry and the Einstein paradox. Il Nuovo Cimento B 42, 41–64. https://link.springer.com/article/10.1007/BF02738669

[58] Penrose, R. (1967). Twistor algebra. Journal of Mathematical Physics 8, 345–366. https://pubs.aip.org/aip/jmp/article/8/2/345/229702

[59] Penrose, R. (2004). The Road to Reality: A Complete Guide to the Laws of the Universe. Jonathan Cape, London. https://www.penguinrandomhouse.com/books/107118/the-road-to-reality-by-roger-penrose/

[60] Penrose, R. (2010). Cycles of Time: An Extraordinary New View of the Universe. Bodley Head, London. https://www.penguinrandomhouse.com/books/206671/cycles-of-time-by-roger-penrose/

[61] Hardy, L. (1992). Quantum mechanics, local realistic theories, and Lorentz-invariant realistic theories. Physical Review Letters 68, 2981–2984. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.68.2981

Standard Textbooks

[62] Wald, R. M. (1984). General Relativity. University of Chicago Press, Chicago. https://press.uchicago.edu/ucp/books/book/chicago/G/bo5952261.html

[63] Nielsen, M. A. & Chuang, I. L. (2010). Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, Cambridge. https://www.cambridge.org/core/books/quantum-computation-and-quantum-information/01E10196D0A682A6AEFFEA52D53BE9AE