Elliot McGucken, Ph.D. Light Time Dimension Theory — elliotmcguckenphysics.com drelliot@gmail.com

---

Light Time Dimension Theory — elliotmcguckenphysics.com drelliot@gmail.com

Abstract

The complex separable Hilbert space ℋ has been the unmoved foundation of quantum mechanics since von Neumann’s 1932 axiomatization. Every interpretation — Copenhagen, Bohmian, Many-Worlds, QBism, Consistent Histories, Relational, RTI — accepts ℋ as given and disputes only what to make of it. Eleven distinguished derivation programmes (von Neumann, Mackey, Solèr, Jordan–von Neumann–Wigner, Stueckelberg, Hardy, Chiribella–D’Ariano–Perinotti, Abramsky–Coecke, Adler, Renou et al., Penrose) have either postulated ℋ outright, axiomatised its formal features, reconstructed it from operational primitives that already presuppose its framework, or characterised it categorically. None operates upstream of the complex Hilbert-space structure itself.

We show that the McGucken Principle

(dx₄)/(dt) = ic

— the physical-geometric statement that the fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every event of spacetime — generates ℋ as a chain of four theorems, each Grade 1 (forced by the principle alone, with no external mathematical theorem load-bearing in any proof). Every appearance of the integrated form x₄ = ict in this paper is to be read as the integral, along the worldline parameter, of the underlying physical principle dx₄/dt = ic; the integrated form is a derived quantity, not the foundation.

The chain proceeds via the McGucken Duality [Unified]: Channel A reads dx₄/dt = ic as algebraic-symmetry content (uniform invariance of the rate, generating the Lorentz group, unitary translation, and the algebraic structure of the slice projection); Channel B reads it as geometric-propagation content (x₄’s spherically symmetric expansion at rate c from every event, generating the McGucken Sphere, Huygens’ Principle, the wave equation, and the wavefront propagation of amplitudes). The two channels are inseparable; each theorem is jointly forced by both.

(1) The Lorentzian arena M₁,₃ is generated by squaring the integrated form of the principle (Step 1, Theorem 3.1). (2) Complex amplitudes ψ : M₁,₃ → ℂ are forced by the slice projection σ, with the algebra (ℂ) determined uniquely by the principle’s two-element basis (parallel and perpendicular components from σ’s codimension-one geometry, Channel B) and squaring rule J² = -1 (the principle’s perpendicularity marker squared, both channels) — with no invocation of Frobenius’s 1878 classification (Step 2, Theorem 4.5). (3) The inner product ⟨ φ, ψ ⟩ = ∫ φ* ψ d³ x is the forward–conjugate x₄-overlap of two oppositely-oriented expansions, integrated over a spatial slice (Step 3, Theorem 5.3). (4) Completeness of the principle-generated space, ℋ ≅ L²(M₁,₃, dμM), is forced by the continuity of the principle’s flow dx₄/dt = ic at constant rate: Cauchy sequences of slice-projected x₄-wavefronts have x₄-wavefront limits within the principle-generated space, with no invocation of Riesz–Fischer (1907) as load-bearing input (Step 4, Theorem 5.5).

Every arrow is a Grade-1 theorem of dx₄/dt = ic in the strongest sense: forced by the principle alone, with the standard real-analysis theorems (Frobenius 1878, Riesz–Fischer 1907) confirming by abstract analysis what the principle forces directly through its physical geometry and continuous flow. Each formal feature of ℋ acquires an explicit physical referent: the unit vector is a wavefront on the McGucken Sphere, the inner product is a forward–conjugate x₄-overlap, unitary evolution is the temporal flow of x₄-advance.

We diagnose why each prior programme failed: each blocked itself with one of four twentieth-century commitments — the block-universe reading of Minkowski spacetime, the formalist reading of i, the separation of quantum mechanics from relativity, and the inviolability of ℋ as an axiom. We close by quantifying the Grade-1 status: each of the four theorems collapses without the physical reading of the principle. Before McGucken, ℋ was an axiom. After McGucken, ℋ is a theorem.

Introduction

The status quaestionis

The mathematical apparatus of quantum mechanics is the complex separable Hilbert space ℋ, equipped with a self-adjoint Hamiltonian generating unitary evolution U(t) = e⁻ⁱHt/ℏ, observables represented by self-adjoint operators, and probabilities computed by the Born rule P = |⟨ a | ψ ⟩|². This apparatus has been remarkably successful and remarkably opaque. It has predicted every quantum experiment performed in the last century to whatever precision the experiments themselves could reach. It has also resisted every attempt to explain why it has the form it has.

The opacity of the formalism has fueled a century-long interpretation industry. Copenhagen, Bohmian mechanics, Many-Worlds, GRW, QBism, Consistent Histories, Relational Quantum Mechanics, the Transactional Interpretation, and a dozen lesser variants all accept ℋ as given and dispute only what physical content the mathematics carries. None of them derives the mathematics. Each takes complex amplitudes, vector-space superposition, the inner product, the squared-modulus probability rule, and unitary evolution as inputs, and proposes a different ontological story to drape over them.

A separate and smaller programme has attempted derivation rather than interpretation: to argue that the Hilbert-space structure is forced by axioms more transparent than itself. This programme has produced eleven principal entries over ninety-four years (von Neumann 1932 through Renou et al. 2021), each more sophisticated than the last, and none successful in the sense of operating upstream of the complex Hilbert-space structure itself. We catalogue these efforts in §6 and diagnose their common obstacles in §7.

The present paper completes the derivation. We show that the McGucken Principle

(dx₄)/(dt) = ic

— the principle that the fourth dimension expands at rate c at every event, with the factor i encoding its perpendicularity to the spatial three — forces the complex separable Hilbert space ℋ in four steps, each a theorem. The arena M₁,₃ in which quantum mechanics is supposed to be done is generated by the principle (Step 1). The complex character of amplitudes is generated by the principle (Step 2). The inner product is generated by the principle (Step 3). Completeness of the resulting space, hence the L²-realisation of ℋ, is forced by the continuity of the principle’s flow at rate c (Step 4).

The McGucken Principle and its corpus

The McGucken Principle dx₄/dt = ic was formulated by Dr. Elliot McGucken in undergraduate work with John Archibald Wheeler at Princeton in the late 1980s, written first in the appendix to his 1998–99 NSF-funded UNC Chapel Hill Ph.D.\ dissertation, and developed continuously through MDT papers (2003–2006), FQXi essays (2008–2013), books (2016–2017), and the ongoing technical corpus at elliotmcguckenphysics.com ( 40 papers, 2024–2026). The priority record establishes the principle as predating every alternative entropic-gravity, transactional, or expansion-based formulation by decades. We cite the corpus where appropriate but the present paper is self-contained: every claim is proved from the principle itself, with no external mathematical input load-bearing in any proof. Where standard real-analysis theorems (Frobenius classification 1878, Riesz–Fischer 1907) confirm what the principle’s own structural content forces, we note the historical convergence, but the McGucken derivations are independent of those classification and completion theorems.

The principle is read in this paper as a physical principle, on the same epistemological footing as Einstein’s equivalence principle or the principle of relativity. It is not an axiom in the formal-system sense and not a postulate in the regress-justification sense. It is a statement about the geometry of spacetime that we take as given and from which we derive consequences. In the McGucken corpus, dx₄/dt = ic is the geometric principle from which the Lorentzian metric, the Heisenberg commutator, the second law, the Born rule, the Schrödinger equation, the Wick rotation, the Higgs mechanism, the Compton coupling between ℏ and c, and the holographic principle are derived. The present paper adds the Hilbert space itself to this list.

The four-step structure of the derivation

The chain that we shall establish runs:

(dx₄)/(dt) = ic ⟶ M₁,₃ ⟶ ψ : M₁,₃ → ℂ\ ⟶ 𝒱₂ / 𝒩 ⟶ ℋ ≅ L²(M₁,₃, dμM).

Each arrow is a theorem. The four theorems are:

• Theorem 3.1 (Step 1, Lorentzian arena). The principle dx₄/dt = ic generates Minkowski spacetime M₁,₃ as the constraint surface defined by the integrated form x₄ = ict (the antiderivative of the physical principle), equipped with the line element induced by substituting the differential form dx₄ = ic dt into the Euclidean four-distance.
• Theorem 4.5 (Step 2, complex amplitudes). The principle, via the suppression map σ : M → M₃,ₜ that projects x₄-perpendicularity onto the spatial slice, forces wavefunctions to take values in ℂ, with the algebra of the slice projection (ℂ, with i as the principle’s perpendicularity marker) given by the principle’s own algebraic content jointly across both channels.
• Theorem 5.3 (Step 3, inner product). The forward x₄-advance at rate +ic (carried by ψ) and the conjugate x₄-advance at rate -ic (carried by ψ*) admit a natural bilinear pairing whose diagonal is the Born density and whose off-diagonal is the inner product ⟨ φ, ψ ⟩ = ∫ φ* ψ d³ x. The three inner-product axioms are theorems.
• Theorem 5.5 (Step 4, completion). Restriction to the square-integrable subspace and quotient by the null subspace yields a complete inner-product space ℋ ≅ L²(M₁,₃, dμM). Completeness is forced by the continuity of the principle’s flow dx₄/dt = ic at constant rate: Cauchy sequences of slice-projected x₄-wavefronts have x₄-wavefront limits within the principle-generated space.

The structure of the paper follows the structure of the proof. §2 reviews the McGucken Principle and the suppression map σ. §3 establishes Step 1. §4 establishes Step 2. §5 establishes Steps 3 and 4. §6 catalogues the eleven prior derivation programmes. §7 diagnoses why each failed. §8 presents the table of physical referents for every formal feature of ℋ. §9 concludes.

Conventions

We work throughout in (+,-,-,-) Lorentzian signature. The fourth coordinate is denoted x₄, the spatial coordinates x₁, x₂, x₃. The Compton-frequency coupling ωC = mc²/ℏ relates the principle’s geometric content to the standard quantum-mechanical scale; we shall not need it explicitly until §5.

All four theorems are Grade 1: the McGucken Duality and the physical reading

The four theorems established in this paper are all Grade-1 derivations from dx₄/dt = ic alone — forced by the principle once it is read as a physical statement about the geometry of the fourth dimension rather than an algebraic identity. We pause here to make explicit the methodology by which each step is established as Grade 1, because the question is structurally important: standard derivation programmes in foundations have historically marked their key uniqueness steps as Grade-3 inputs from external mathematics. The McGucken framework derives each step directly from the principle, with no external theorem load-bearing in any proof; the standard real-analysis confirmations (Frobenius 1878, Riesz–Fischer 1907) are noted where they convergently confirm the principle’s content, but they are not used.

The McGucken Duality. The principle dx₄/dt = ic generates two structurally parallel consequences through a single mathematical operation, established in [Unified] and used as the technical heart of the framework. Channel A (algebraic-symmetry content) reads the principle as a uniform invariant: x₄ advances at the same rate ic at every event, in every spatial direction, at every time. The invariance generates the Lorentz group, the unitary representations of translation, the algebraic structure of observables, and the squaring rule J² = -1 that fixes the algebra of the slice projection. Channel B (geometric-propagation content) reads the principle as a wavefront generator: x₄’s spherically symmetric expansion at rate c from every event produces the McGucken Sphere, Huygens’ Principle, the wave equation, the codimension-one slice geometry that supplies a two-element basis, and the propagation of amplitudes through spacetime.

The two channels are inseparable. Every theorem of the framework is jointly forced by both channels acting in concert. The McGucken Duality is therefore not two alternative interpretations of one theorem but the structural decomposition of the principle into two parallel sibling readings whose joint action generates each consequence. The standard derivation programmes’ Grade-3 invocations (Frobenius’s classification 1878, Riesz–Fischer 1907) are not load-bearing in the McGucken framework: each apparent invocation is, on inspection, the unfolding of the principle’s own structural content. Frobenius’s classification confirms the algebra (ℂ) that the principle has already supplied via its codimension-one slice geometry and perpendicularity marker. Riesz–Fischer’s completeness is supplanted by the principle’s continuous flow, which forces Cauchy sequences of x₄-wavefronts to have x₄-wavefront limits directly. The mathematics has been on the page since 1878 and 1907; the McGucken framework does not need it as input, because the principle has been on the page since 1998 and supplies the same content directly.

The physical reading is the principle. If dx₄/dt = ic is treated as a mere mathematical equation — the differential of Minkowski’s coordinate identity x₄ = ict, with no physical content beyond coordinate-bookkeeping — then the entire derivational content of this paper collapses. The four theorems do not survive without the physical reading: at every load-bearing step the proof invokes an actual physical motion of the fourth dimension at velocity c in a spherically symmetric manner from every event, with the integrated form x₄ = ict understood as the antiderivative of this motion. The arena is generated by integrating an actual motion; the slice projection is an actual geometric operation; the forward and conjugate x₄-advances are actual oppositely-oriented physical expansions; the inner product is the actual integrated overlap of these expansions on a spatial slice; the completeness of the space is the principle’s continuous flow at rate c, which forces Cauchy sequences of wavefronts to converge to wavefronts within the space.

Grade 1 throughout. Each of the four theorems is therefore Grade 1 in the strongest sense: forced by dx₄/dt = ic alone, with no external mathematical theorem load-bearing in any proof. The grading lines on each theorem are:

• Theorem 3.1: Grade 1 (Channel A: the differential form of the physical principle, dx₄ = ic dt, substituted into the Euclidean line element with the perpendicularity marker squared i² = -1, algebraically generates the Minkowski signature; the substitution and squaring are direct content of dx₄/dt = ic, with no external mathematical input).
• Theorem 4.5: Grade 1 (Channels A and B jointly: the principle supplies a two-element basis from σ’s codimension-one geometry and a squaring rule J² = -1 from the perpendicularity marker; these data alone determine ℂ uniquely, with no invocation of Frobenius’s classification).
• Theorem 5.3: Grade 1 (Channel B: integrated forward–conjugate x₄-overlap, with the three inner-product axioms as theorems of the principle and integration’s additivity being the arithmetic of summing pointwise contributions over the slice).
• Theorem 5.5: Grade 1 (Channel B: completeness of 𝒱₂/𝒩 is forced by the continuity of the principle’s flow dx₄/dt = ic at constant rate; Cauchy sequences of slice-projected x₄-wavefronts have wavefront limits within the principle-generated space, with no invocation of Riesz–Fischer as load-bearing input).

We make the dual-channel reading explicit at each theorem and, in §7.5, catalogue what is lost if the physical reading is suppressed — which makes the Grade-1 status quantifiable.

The McGucken Principle and the suppression map

The principle

We take as given the McGucken Principle:

(dx₄)/(dt) = ic. (MP)

This is the physical-geometric statement that the fourth dimension x₄ is expanding at the velocity of light c in a spherically symmetric manner from every event of spacetime, with the factor i encoding the perpendicularity of x₄ to the three spatial dimensions x₁, x₂, x₃. The principle is physical (a statement about the geometry and dynamics of spacetime, not a definition or convention) and geometric (a statement about the rate and direction of an actual motion of x₄, not a notational identity). Two distinct physical-geometric facts are simultaneously asserted by (MP):

• [(P1)] Uniform rate. The magnitude |dx₄/dt| = c is the same constant at every event (x₁, x₂, x₃, t) ∈ ℝ⁴. The expansion has no preferred event, no preferred spatial direction, and no preferred moment in time.
• [(P2)] Perpendicularity. The factor i identifies x₄ as perpendicular to the spatial three; the expansion proceeds along a direction that is not one of x₁, x₂, x₃.

The McGucken Duality [Unified] reads (MP) through both channels simultaneously: Channel A (algebraic-symmetry content) reads (P1) as the algebraic invariant generating the Lorentz group, the unitary translation, and the Frobenius rigidity of the slice algebra; Channel B (geometric-propagation content) reads (P2) and the spherical symmetry of the expansion as the wavefront generator producing the McGucken Sphere, Huygens’ Principle, and the wave equation. Both channels are simultaneously content of (MP).

The integrated form is derived, not foundational.. Integrating (MP) along the worldline parameter t from a fiducial origin (i.e., taking the antiderivative on both sides of dx₄ = ic dt) yields

x₄(t) = ict. (2.1)

We emphasize: equation (2.1) is not the principle. It is the integral of the principle, derived from (MP) by ordinary calculus (constant rate ⟹ linear-in-t coordinate). Wherever the form x₄ = ict appears in this paper, it is to be read as the derived antiderivative of the underlying physical principle dx₄/dt = ic — an expression of an actual physical motion at velocity c in the fourth dimension — not as an axiomatic identity in its own right. This grounding is essential: without the physical-geometric content of (MP), equation (2.1) would be a coordinate convention with no derivational power.

Squaring (2.1) yields

x₄² = (ic)² t² = -c² t², (2.2)

where the sign flip i² = -1 is the algebraic encoding of the perpendicularity (P2): squaring the perpendicularity marker i produces the signature flip of the Lorentzian metric. Equations (2.1) and (2.2) are direct consequences of (MP) used in §3 to generate the Lorentzian arena.

The suppression map σ

The geometric content of the McGucken Principle (MP) lives on a four-dimensional real manifold M ≅ ℝ⁴ with coordinates (x₁, x₂, x₃, x₄), where the fourth coordinate x₄ advances at rate ic relative to the worldline parameter t. The standard 3+1-dimensional Minkowski spacetime M₃,ₜ := ℝ³ × ℝₜ with coordinates (x₁, x₂, x₃, t) is the slice on which the standard quantum-mechanical formalism lives. The relationship between the two is the suppression map σ, which is forced by the integrated form of (MP).

Lemma (Suppression map). There is a smooth bijection

σ : M ⟶ M₃,ₜ, (x₁, x₂, x₃, x₄) ⟼ (x₁, x₂, x₃, t),

where t and x₄ are related by inverting the integrated form (2.1) of the McGucken Principle:

t = (x₄)/(ic) = -(i x₄)/(c).

The map σ acts as the identity on (x₁, x₂, x₃) and applies the inverse of (2.1) to convert x₄ to t. Under σ, the partial derivatives transform as

(∂)/(∂ x₄) = -(i)/(c) (∂)/(∂ t), equivalently (∂)/(∂ t) = ic (∂)/(∂ x₄).

Proof. Existence and bijection. Define σ : (x₁, x₂, x₃, x₄) ↦ (x₁, x₂, x₃, -ix₄/c). Its inverse is σ⁻¹: (x₁, x₂, x₃, t) ↦ (x₁, x₂, x₃, ict), which uses precisely the integrated form (2.1). Both maps are linear in their respective fourth-coordinate inputs (and hence smooth) and are mutually inverse, so σ is a smooth bijection.

Grounding in the physical principle. The relation t = x₄/(ic) is the inverse of the integrated form (2.1), which itself is the antiderivative of the McGucken Principle dx₄/dt = ic. Thus σ is not an arbitrary coordinate change but the unique map forced by the integrated content of (MP): the rate c (P1) sets the proportionality between x₄-advance and t-advance, and the perpendicularity marker i (P2) sets the factor i in the relationship.

Derivative transformation. Apply the chain rule to the bijection σ. For any smooth function f on M₃,ₜ, the pull-back f ∘ σ on M satisfies

(∂ (f∘ σ))/(∂ x₄) = (∂ t)/(∂ x₄)· ((∂ f)/(∂ t)∘ σ).

Since t = -ix₄/c, we have ∂ t/∂ x₄ = -i/c, hence

(∂)/(∂ x₄) = -(i)/(c) (∂)/(∂ t)

as operators (under the canonical identification of operators on M and M₃,ₜ via σ). Multiplying both sides by -c/i and using 1/i = -i (so -c/i = ic):

(∂)/(∂ t) = ic (∂)/(∂ x₄).

The latter form recovers (MP) at the operator level: the time-evolution operator ∂/∂ t acts as ic times the x₄-advance operator, exactly the principle’s content. ∎

The suppression map is established in the corpus paper [Wick] as the structural device unifying the twelve canonical factor-of-i insertions across quantum theory — canonical quantization, Schr”odinger equation, canonical commutator, Dirac equation, path integral weight, +iε prescription, Wick substitution, Fresnel integrals, iSM = -SE bridge, U(1) gauge phase, spinor structure, and KMS condition. We shall need only its role in transporting wavefunctions: a wavefunction defined on M as a real-valued function of (x₁, x₂, x₃, x₄) becomes, under σ, a complex-valued function of (x₁, x₂, x₃, t). The complex character is the projection of the principle’s perpendicularity (P2) through σ.

Step 1: The Lorentzian arena

We establish that the McGucken Principle dx₄/dt = ic — the physical-geometric statement that the fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every event — generates Minkowski spacetime M₁,₃ as a theorem.

Theorem (Lorentzian arena). Let M ≅ ℝ⁴ be the four-dimensional real manifold with coordinates (x₁, x₂, x₃, x₄), equipped with the Euclidean line element

dsE² := dx₁² + dx₂² + dx₃² + dx₄².

The integrated form of the McGucken Principle, x₄ = ict — which is the antiderivative of the physical-geometric principle dx₄/dt = ic stating that x₄ is expanding at velocity c from every event — defines the constraint surface

Σ := (x₁, x₂, x₃, x₄, t) : x₄ = ict.

The line element induced on Σ by substituting dx₄ = ic dt (the differential form of the principle (MP)) into dsE² is the Minkowski line element of signature (+,-,-,-):

d² = dx₁² + dx₂² + dx₃² – c² dt².

The pair (Σ, d²) is Minkowski spacetime M₁,₃. The result is Grade 1: forced by the physical principle dx₄/dt = ic alone, with no external mathematical input.

Proof. We proceed in three explicit steps, each grounded directly in the physical content of (MP).

Step 1. The differential form of the principle. The McGucken Principle dx₄/dt = ic is, in differential form,

dx₄ = ic dt. (MP-diff)

This is a direct restatement of (MP): if x₄ advances at rate ic in t, then an infinitesimal change in t produces an infinitesimal change ic dt in x₄. (MP-diff) is not an axiom; it is the physical content of (MP) read at the level of differentials.

Step 2. Substitution into the Euclidean line element. On the constraint surface Σ, every infinitesimal motion satisfies (MP-diff). Substituting (MP-diff) into the dx₄² term of the Euclidean line element dsE² on Σ:

dx₄² = (ic dt)² = (ic)·(ic) dt² = i² c² dt² = -c² dt²,

where the last equality uses the algebraic identity i² = -1, which is precisely the perpendicularity-marker content (P2) of (MP) squared. Hence

dsE²|Σ = dx₁² + dx₂² + dx₃² + dx₄²|Σ = dx₁² + dx₂² + dx₃² – c² dt² =: d².

Step 3. Identification with M_1,3. The line element d² is, by direct inspection, the Minkowski line element of signature (+,-,-,-). The constraint surface Σ equipped with d² is therefore the Minkowski spacetime M₁,₃. The signature flip — from + in front of dx₄² to – in front of c² dt² — is forced by the physical content of (MP): the rate (P1) supplies the c², and the perpendicularity marker (P2) squared supplies the minus sign.

Grade 1 status. Every step of the proof is the physical principle itself or its direct algebraic consequence. (MP-diff) is the principle. The substitution is the principle applied to dx₄². The squaring i² = -1 is the perpendicularity marker squared. No external theorem of mathematics has been invoked; the Lorentzian signature is the principle’s own algebraic-geometric content. ∎

Remark (Why the Lorentzian signature). Without the McGucken Principle, there is no derivational route from a Euclidean four-manifold to a Lorentzian four-manifold: the signature (+,-,-,-) would be a postulate independent of any physical principle. The principle supplies the missing derivational step. The negative sign in front of c² dt² is the squared perpendicularity marker; the rate c² is the squared expansion velocity. Both are direct consequences of dx₄/dt = ic.

Remark (The Wick rotation is the inverse of (MP-diff)). The Wick rotation t → -iτ, conventionally regarded as a calculational trick mapping Lorentzian to Euclidean signature, is in the McGucken framework the inverse of the substitution (MP-diff): τ = x₄/c, equivalently -iτ = -ix₄/c = -t when x₄ = ict. The Wick rotation is the coordinate identification forced by (MP), not an analytic continuation. This is established in the corpus paper [Wick]; we do not use it in the present proof, but the consonance is structural: the same principle generates both the Lorentzian arena and the Wick-rotation correspondence.

Remark (The arena is generated, not assumed). In the standard formulation of relativistic quantum mechanics, one postulates a Lorentzian spacetime and postulates a Hilbert space of fields over it; the two postulates are independent. The McGucken Principle generates both from a single physical-geometric source — the fourth dimension expanding at velocity c. The Lorentzian signature appears in this Step 1; the complex amplitudes appear in Step 2 (§4); the inner product appears in Step 3 (§5). The single input is the physical principle dx₄/dt = ic, and four theorems descend from it.

Step 2: Complex amplitudes by ontic necessity

We establish that the McGucken Principle dx₄/dt = ic — the physical-geometric statement that the fourth dimension is expanding at velocity c in a spherically symmetric manner from every event — forces wavefunctions on the principle-generated arena M₁,₃ to take values in ℂ, with ℝ and ℍ excluded structurally by the codimension-one geometry of the slice projection σ.

Why complex, geometrically

The factor i in the McGucken Principle dx₄/dt = ic is the algebraic marker for the perpendicularity (P2) of x₄ to the spatial three. (The integrated form x₄ = ict inherits this i as the perpendicularity content of the underlying physical principle.) A wave propagating along x₄ in a spherically symmetric manner from every event, when projected through the suppression map σ onto a spatial slice = const, decomposes into two real components:

• an in-slice (parallel-to-slice) component — the part of the wave whose value lies in the spatial slice;
• a perpendicular-to-slice component — the part of the wave that points along x₄, the direction perpendicular to the slice, and that is seen, from the slice’s perspective, as the imaginary part of an in-slice complex number.

The two components are not independent. They are geometrically linked by the fact that the wave is a single x₄-advance: rotating the wave through phase angle α along x₄ is the same as multiplying its slice-image by eⁱα, where i is the perpendicularity marker (P2). The two-real-component description equipped with this rotation rule is the complex algebra ℂ = ℝ + iℝ.

Lemma (Two-component slice projection). Let ψM : M → ℝ be a function on the four-dimensional Euclidean manifold M with coordinates (x₁, x₂, x₃, x₄), of the kind generated by the McGucken Principle: namely, an x₄-advance at rate ic from every event. Then under the suppression map σ (Lemma 2.1), the slice projection σ_* ψM at any spatial slice takes values in a two-real-dimensional space, with the two components forced by the geometric content of σ:

• a parallel-to-slice component (the part of ψM whose x₄-dependence is preserved under σ as in-slice content);
• a perpendicular-to-slice component (the part of ψM whose x₄-dependence is, by σ’s identification x₄ = ict, perpendicular to the slice and seen by the slice as carrying the marker i).

The two components are not independent: they are linked by the single rule that x₄-advance at rate ic is, after σ, advance at rate c along t with the perpendicularity marker i tracking the rotation.

Proof. The proof proceeds by direct geometric inspection of σ acting on an x₄-advance, with no invocation of external harmonic analysis.

Step 1: The principle and σ identify x₄ with the i-multiple of t. The McGucken Principle dx₄/dt = ic states that x₄ advances at rate ic relative to t; integrating along the worldline parameter yields x₄ = ict (the integrated form (2.1)). By Lemma 2.1, the suppression map σ uses this integrated form to identify x₄ with ict. Therefore an x₄-advance over an interval Δ x₄ corresponds, under σ, to a t-advance over an interval Δ t = Δ x₄ / (ic) = -i Δ x₄ /c. The factor 1/(ic) = -i/c is the principle’s perpendicularity marker (P2) entering the slice from the direction perpendicular to it, scaled by the inverse of the rate (P1).

Step 2: An x₄-advance has two slice-projected components. Take any x₄-advance of ψM over a small interval Δ x₄. The advance can be decomposed into:

• the portion that remains in the slice (the part of ψM whose value at the slice is unchanged under the advance), and
• the portion that points perpendicular to the slice (the part of ψM whose advance lies along x₄ and not along , x₂, x₃).

This decomposition is forced by the geometry of σ: the slice is the locus (x₁, x₂, x₃) : t = const, so any x₄-advance must split into a component tangent to the slice and a component normal to it. The split is geometric, not analytic; it is forced by the codimension of the slice in M being one, with the normal direction being precisely x₄.

Step 3: The perpendicular component carries the marker i. By the McGucken Principle, the perpendicular direction to the slice is x₄, and the integrated form x₄ = ict identifies this direction with i times the slice-time direction — where the i is the principle’s perpendicularity marker (P2). Therefore the perpendicular component, when transported to the slice via σ, picks up the perpendicularity marker i. The slice-image of the x₄-advance is therefore (parallel component) + i ·(perpendicular component) — a two-real-component object with the two components linked by the principle’s i.

Step 4: The two components compose under x₄-rotation as ℂ. Two successive x₄-advances, each with their parallel and perpendicular components, compose by the additive structure of x₄-advance (the principle composes additively along x₄). The composition rule is forced: parallel composes with parallel, perpendicular composes with perpendicular, and the cross-term has the perpendicularity marker i entering twice, giving i² = -1. This is precisely the multiplication rule of ℂ with i as the perpendicularity marker.

The two-component structure is therefore not derived from Fourier decomposition — it is forced by the geometry of σ acting on x₄-advance, with the parallel and perpendicular components inherited directly from the codimension-one geometry of the slice. The standard harmonic-analytic decomposition of an x₄-advance into modes eⁱkx₄ confirms this independently: each Fourier mode evaluates on the slice to (kct) + i(kct) with cosine the parallel component and sine the perpendicular component. But the structural content does not require harmonic analysis; the two components are forced by σ’s codimension-one geometry alone. ∎

Why ℂ specifically: the principle’s own algebraic content

Lemma 4.1 shows that wavefunctions are intrinsically two-real-component, with the two components linked by the principle’s perpendicularity marker i. We must now show that the algebra on this two-component space is ℂ. The standard derivation programmes treat this step as a Grade-3 invocation of Frobenius’s theorem (1878). The McGucken framework derives ℂ directly from the principle, with no invocation of Frobenius’s classification machinery as load-bearing input.

Lemma (Algebra of the slice projection). The McGucken Principle forces the algebra of the slice-projected wavefunction to be ℂ, with i identified as the principle’s perpendicularity marker. The forcing is direct: the principle supplies a basis , J\ for the two-component space (Channel B: parallel and perpendicular components from Lemma 4.1) and a multiplication rule J² = -1 (Channels A and B jointly: the perpendicularity marker i squared is the Lorentzian-signature flip of (2.2)). These two pieces of data, both supplied directly by the principle, are sufficient to determine the algebra uniquely as ℂ.

Proof. We give the derivation in three steps, with no invocation of Frobenius’s classification as load-bearing input.

Step 1: The principle supplies a two-element basis. By Lemma 4.1, the slice projection of an x₄-advance has two real components: the parallel-to-slice component and the perpendicular-to-slice component. Choose the parallel direction as the unit element 1 (a unit advance with no perpendicular content fixes the multiplicative identity by reflexivity: ψ · 1 = ψ for any ψ). Choose the perpendicular direction as J (the perpendicularity marker, a unit advance with no parallel content). The basis , J\ is fixed by the principle’s geometry, not chosen.

Step 2: The principle forces J² = -1. By Lemma 4.1 Step 4, two successive perpendicular advances combine to give a parallel advance with sign flipped: the perpendicularity marker i entering twice gives i² = -1. Algebraically, J · J = -1. This is forced directly by the principle: the squaring is (ic)² = -c² from the Lorentzian-signature flip of (2.2), with the rate c absorbed into the unit normalization and the marker squared producing the sign flip.

Step 3: The basis and squaring rule determine ℂ uniquely. Given the basis , J\ with 1 as multiplicative identity and J² = -1, the algebra is determined element-by-element. For any element a + bJ (with a, b real coefficients given by the parallel and perpendicular components respectively), the product is, by bilinear extension,

(a + bJ)(c + dJ) = ac + adJ + bcJ + bdJ² = (ac – bd) + (ad + bc)J,

where the last equality uses J² = -1. This is precisely the multiplication rule of ℂ with J identified as i. The derivation invokes no classification theorem; it computes the unique algebra forced by the principle’s basis (Channel B) and squaring rule (Channels A and B jointly).

The principle therefore forces ℂ in two algebraic moves: a basis from the slice geometry, and a squaring rule from the perpendicularity marker. No external classification is invoked. (Frobenius’s 1878 theorem [Frobenius] arrives at the same algebra by a different route: by classifying all finite-dimensional normed associative division algebras over ℝ and observing that ℂ is the unique two-real-dimensional one. The McGucken derivation does not need this classification, because the principle has already supplied the dimension and the squaring rule directly. Frobenius’s theorem confirms the McGucken derivation; it is not used to obtain it.) ∎

Remark (Why not ℝ). A real Hilbert space cannot reproduce all quantum-mechanical predictions: this was conjectured by Stueckelberg and confirmed experimentally by Renou, Trillo, Weilenmann, Le, Tavakoli, Gisin, Acín, and Navascués in 2021 [Renou]. The McGucken framework gives the structural reason directly: by Lemma 4.1, the slice projection of an x₄-advance has two components (parallel and perpendicular). A one-dimensional real algebra has no perpendicular component to carry the x₄-perpendicularity marker; the principle excludes ℝ on geometric grounds, before any algebraic classification is invoked.

Remark (Why not ℍ). Adler’s quaternionic quantum mechanics [Adler] requires extra assumptions to single out ℂ as the algebra of physical amplitudes. The McGucken framework excludes ℍ on geometric grounds: the slice projection has exactly two real components (parallel and perpendicular), not four. The principle’s σ is codimension-one, hence supplies one perpendicular direction, hence one perpendicularity marker i. Quaternions require three independent perpendicularity markers (i, j, k), which would require the slice to be codimension-three. The principle’s geometry does not supply this; ℍ is excluded structurally, not by appeal to the absence of empirical confirmation.

The complex amplitude space

Theorem (Complex amplitudes). The space of slice-projected wavefunctions

𝒱 := \ ψ : M₁,₃ → ℂ : ψ smooth \

is the unique complex vector space forced by dx₄/dt = ic via the slice projection σ acting on smooth functions on M. The complex character of ψ is not a postulate of the formalism: it is the algebraic shadow of the perpendicularity of x₄ to the spatial slice. The result is Grade 1: forced by both channels of the principle (Channel A’s x₄-rotation invariance and Channel B’s two-component slice projection) jointly, with the algebraic structure of ℂ being the principle’s own content unfolded under standard analysis.

Proof. By Lemma 4.1, slice-projected wavefunctions take values in a two-real-dimensional space (Channel B: the codimension-one geometry of σ). By Lemma 4.2, the algebra on this space is ℂ, with i identified as the principle’s perpendicularity marker (P2) (Channels A and B jointly). Therefore σ_* ψM ∈ ℂ for each smooth real-valued ψM on M, and the space of all such projected functions is a ℂ-valued function space.

We verify that 𝒱 is a complex vector space: closure under pointwise addition and pointwise multiplication by complex scalars follows from the algebra of ℂ (Lemma 4.2) acting pointwise on slice-projected wavefunctions, with the parallel and perpendicular components of Lemma 4.1 each contributing additively under σ. The vector-space axioms (associativity, commutativity, distributivity, existence of zero, existence of additive inverses) are inherited from the corresponding axioms of ℂ at each spatial point. Smoothness of sums and scalar multiples follows from smoothness of pointwise operations on smooth functions.

The result is Grade 1: each input to the derivation is one or both channels of dx₄/dt = ic, with no axiom invoked beyond the principle and no external classification theorem load-bearing. Lemma 4.2 derives ℂ uniquely from the principle’s basis (codimension-one slice geometry, Channel B) and squaring rule (perpendicularity marker squared, Channels A and B jointly); Frobenius’s 1878 classification arrives at the same algebra by an independent route and confirms the McGucken derivation, but is not used to obtain it. ∎

Remark (The category mismatch dissolved). In the standard formulation, the wavefunction is a complex-valued function whose square modulus is a probability density. This is conceptually opaque: probabilities are real, wavefunctions are complex, and the relationship is asserted by Born’s rule with no further justification. The McGucken framework dissolves the mismatch. The wavefunction is complex because it is the slice-image of a real x₄-wavefront; the squared modulus is a probability density because it is the forward–conjugate x₄-overlap of two oppositely-oriented expansions (this is Theorem 5.3). Wavefunction and probability are now in the same category: both are projections from x₄-geometry through σ.

Step 3 and Step 4: The inner product and the completeness of the principle-generated space

We establish that the principle generates the inner product on 𝒱 and that the principle’s continuous flow forces the resulting space to be complete, yielding the complex separable Hilbert space ℋ.

The forward and conjugate x₄-advances

The McGucken Principle dx₄/dt = ic specifies a definite orientation: x₄ advances at rate +ic relative to t. The principle has an opposite orientation, dx₄/dt = -ic, corresponding to x₄ traversed in the reverse direction along the worldline parameter — equivalently, the principle traversed forwards with the perpendicularity marker i replaced by its conjugate -i. The two orientations are physical: forward x₄-advance corresponds to the spherically symmetric expansion of the fourth dimension into the future, conjugate x₄-advance corresponds to the same expansion read from the past. The two are related algebraically by complex conjugation, which flips the sign of the i in the principle.

By Lemma 2.1, the principle transports through σ to the operator identity ∂/∂ t = ic ∂/∂ x₄. A wavefunction ψ : M₁,₃ → ℂ that satisfies the forward principle, transported through σ, satisfies

∂ₜ ψ = ic ∂ₓ₄ ψ

(where ∂ₓ₄ is understood as the pull-back of the M-coordinate derivative through σ⁻¹, which by Lemma 2.1 acts as -i/c · ∂ₜ on functions on M₁,₃, so the equation is internally consistent). The corresponding conjugate equation is the principle traversed backwards.

Lemma (Forward–conjugate x₄-advance). Let ψ ∈ 𝒱 be a slice-projected wavefunction satisfying the forward form of the McGucken Principle, transported through σ:

∂ₜ ψ = ic ∂ₓ₄ ψ.

Then the complex conjugate ψ* satisfies the conjugate form:

∂ₜ ψ* = -ic ∂ₓ₄ ψ*.

The pair (ψ, ψ*) describes the same wavefront viewed from opposite x₄-orientations: ψ advancing along x₄ at rate +ic, ψ* along x₄ at rate -ic.

Proof. The differential operators ∂ₜ and ∂ₓ₄ act on the underlying real coordinate functions of M₁,₃, hence commute with complex conjugation when applied to ℂ-valued functions (i.e., (∂ₜ ψ)* = ∂ₜ ψ* and similarly for ∂ₓ₄). Apply complex conjugation to both sides of the forward principle:

(∂ₜ ψ)* = (ic ∂ₓ₄ ψ)*.

The left side is ∂ₜ ψ* by the commutation just noted. The right side expands as (ic)* (∂ₓ₄ψ)* = -ic ∂ₓ₄ψ* by the definition of complex conjugation in ℂ ((ic)* = -ic, since i* = -i and c ∈ ℝ). Combining,

∂ₜ ψ* = -ic ∂ₓ₄ ψ*,

which is the conjugate principle. The two orientations are bound together by complex conjugation, which is the algebraic action that flips the sign of the principle’s perpendicularity marker i. ∎

The pair (ψ, ψ*) is not two independent objects but a single x₄-wavefront viewed from its two natural orientations forced by the principle. The inner product (below) is the geometric overlap of these two orientations, integrated over a spatial slice.

The Born rule as forward–conjugate overlap on the diagonal

Lemma (Born rule as x₄-overlap). At a measurement event B = (𝐱, t), the probability density of detecting the system at B is the geometric overlap of the forward x₄-advance (carried by ψ) and the conjugate x₄-advance (carried by ψ*) at B:

ρ(B) = ψ*(B) ψ(B) = |ψ(B)|².

The squared-modulus form is uniquely determined by the structural facts:

• (B1) ρ is real (probabilities are real).
• (B2) ρ is non-negative (probabilities are non-negative).
• (B3) ρ is invariant under global phase rotation ψ ↦ eⁱα ψ (probabilities do not depend on absolute x₄-orientation, only on relative overlap).
• (B4) ρ is bilinear in the forward and conjugate components, since each is a single linear function on 𝒱.

Proof. Geometric content. By Lemma 5.1, ψ(B) is the value at B = (𝐱, t) of the forward x₄-advance, and ψ*(B) is the value at B of the conjugate x₄-advance. Their pointwise product ψ*(B)ψ(B) is, by construction, the forward–conjugate overlap of the wavefront with itself at B — the magnitude squared of the wavefront at the measurement event.

The squared-modulus form is uniquely determined. We show that conditions (B1)–(B4) and the requirement that ρ depend on ψ at B alone (locality at the measurement event) together force ρ(B) = |ψ(B)|² up to an overall positive normalization, fixed to 1 by total-probability conservation.

• (B4) Bilinearity in (ψ, ψ).* Locality at B together with bilinearity in the forward and conjugate components forces ρ(B) = c₁ ψ(B) ψ*(B) + c₂ ψ(B)² + c₃ ψ*(B)² + c₄ ψ(B) + c₅ ψ*(B) + c₆ for complex constants. Locality at B means ρ(B) depends on ψ only through ψ(B) and ψ*(B).
• (B1) Reality. Imposing ρ(B) = ρ(B) for all ψ requires c₁ ∈ ℝ, c₃ = c₂, c₅ = c₄, c₆ ∈ ℝ.
• (B3) Phase invariance. The replacement ψ ↦ eⁱαψ takes ψ(B) ↦ eⁱαψ(B) and ψ*(B) ↦ e⁻ⁱαψ*(B). The terms c₂ ψ(B)² and c₃ ψ*(B)² pick up phases e ²ⁱα and the linear terms c₄ ψ(B) and c₅ ψ*(B) pick up e ⁱα; for ρ(B) to be invariant for all α, these coefficients must vanish: c₂ = c₃ = c₄ = c₅ = 0. The constant c₆ is allowed but is fixed to 0 by the requirement that ρ ≡ 0 when ψ ≡ 0 (vacuum has zero detection probability).
• (B2) Non-negativity. The remaining form ρ(B) = c₁ ψ*(B)ψ(B) = c₁ |ψ(B)|² is non-negative iff c₁ ≥ 0.
• Normalization. Total-probability conservation (the integral of ρ over a spatial slice equals 1 for unit-norm ψ) fixes c₁ = 1.

Therefore ρ(B) = ψ*(B)ψ(B) = |ψ(B)|², the unique form satisfying all stated structural constraints. Geometrically, this is the diagonal entry of the forward–conjugate overlap matrix at B: the overlap of the wavefront’s forward x₄-advance with its own conjugate x₄-advance at the same spacetime point. ∎

The inner product as off-diagonal forward–conjugate overlap

Theorem (Inner product). The bilinear pairing

⟨ φ, ψ ⟩ := ∫ℝ₃ φ*(𝐱, t) ψ(𝐱, t) d³ x, φ, ψ ∈ 𝒱₂

where 𝒱₂ := \ ψ ∈ 𝒱 : ∫ℝ₃ |ψ|² d³ x < ∞ \ is the square-integrable subspace, is the off-diagonal extension of the Born density. The three inner-product axioms hold as theorems:

• (I1) Conjugate symmetry: ⟨ ψ, φ ⟩ = ⟨ φ, ψ ⟩*.
• (I2) Sesquilinearity: ⟨ φ, a ψ₁ + b ψ₂ ⟩ = a ⟨ φ, ψ₁ ⟩ + b ⟨ φ, ψ₂ ⟩ and ⟨ a φ₁ + b φ₂, ψ ⟩ = a* ⟨ φ₁, ψ ⟩ + b* ⟨ φ₂, ψ ⟩.
• (I3) Positive-definiteness: ⟨ ψ, ψ ⟩ = ∫ |ψ|² d³ x ≥ 0, with equality iff ψ = 0 almost everywhere.

The pairing is the forward–conjugate x₄-overlap of distinct wavefronts, integrated over the spatial slice. The result is Grade 1.

Proof. Geometric content. By Lemma 5.1, φ* carries the conjugate x₄-advance of the wavefront φ, and ψ carries the forward x₄-advance of the wavefront ψ. Their pointwise product φ*(𝐱, t) ψ(𝐱, t) is the forward–conjugate overlap of two distinct wavefronts at the spacetime point (x, t). Integrating over the spatial slice ℝ³ at fixed t aggregates the pointwise overlaps into a total overlap of the two wavefronts on the slice. The integration is the principle’s σ projection summing the pointwise contributions across the disjoint union of points constituting the slice; integration’s additivity over disjoint regions is the arithmetic of summing pointwise contributions.

The diagonal entry ⟨ ψ, ψ ⟩ = ∫ |ψ|² d³x is, by Lemma 5.2, the integrated Born density — the total probability of finding the system somewhere on the spatial slice. The off-diagonal entry ⟨ φ, ψ ⟩ is the transition amplitude between φ and ψ: the geometric overlap of two distinct x₄-wavefronts.

Verification of the three axioms.

(I1) Conjugate symmetry. For any φ, ψ ∈ 𝒱₂,

⟨ ψ, φ ⟩ = ∫ℝ₃ ψ* φ d³x = ∫ℝ₃ (ψφ) d³x (since z* = z for z ∈ ℂ) = ∫ℝ₃ (ψφ) d³x (conjugation commutes with integration over ℝ) = ∫ℝ₃ ψφ* d³x (since (ψφ) = ψ φ* in ℂ) = ⟨ φ, ψ ⟩ = ⟨ φ, ψ ⟩*.

(I2) Sesquilinearity. For any φ, ψ₁, ψ₂ ∈ 𝒱₂ and a, b ∈ ℂ, by the additivity of integration over disjoint pointwise contributions and the bilinearity of pointwise multiplication in ℂ,

⟨ φ, aψ₁ + bψ₂ ⟩ = ∫ℝ₃ φ*(aψ₁ + bψ₂) d³x = a ∫ℝ₃ φψ₁ d³x + b ∫ℝ₃ φψ₂ d³x = a⟨φ, ψ₁⟩ + b⟨φ, ψ₂⟩.

The conjugate-linearity in the first slot follows by combining linearity of integration with the complex conjugation in φ*: ⟨ aφ₁ + bφ₂, ψ⟩ = a* ⟨φ₁, ψ⟩ + b* ⟨φ₂, ψ⟩.

(I3) Positive-definiteness. By Lemma 5.2, |ψ(𝐱, t)|² = ψ*(𝐱, t)ψ(𝐱, t) ≥ 0 at every point. Hence

⟨ ψ, ψ ⟩ = ∫ℝ₃ |ψ|² d³x ≥ 0.

For the equality case: ⟨ψ,ψ⟩ = 0 means ∫|ψ|² = 0 for the non-negative integrand |ψ|², which forces |ψ|² = 0 almost everywhere on ℝ³, hence ψ = 0 almost everywhere.

Bilinear-form structural origin. The bilinear-form structure traces back to the rank-2 Minkowski metric ημν established in Theorem 3.1: the metric is rank-2 because it pairs two four-velocities (forward and conjugate) and produces a scalar. Lifting this rank-2 pairing from four-velocities uμ to amplitudes ψ on the slice gives the bilinear inner product on 𝒱₂. The forward–conjugate split is the principle’s ic orientation (Lemma 5.1); the integration over the spatial slice is the σ projection summing pointwise overlaps.

Grade 1 status. Every step is forced by the principle: the forward and conjugate orientations are the ic orientations of dx₄/dt = ic; the pointwise product is the algebra of ℂ (Lemma 4.2); the integration is the principle’s σ projection summing pointwise contributions. Integration’s additivity over disjoint regions is arithmetic, not external machinery imported from analysis. The three inner-product axioms (I1)–(I3) are theorems of the principle, with no axiomatic input beyond what the principle has already supplied. ∎

Remark (Conservation of x₄-flux). The unit-norm condition ⟨ ψ, ψ ⟩ = 1 has a transparent geometric meaning: the total x₄-flux through the spatial slice equals 1. The wavefront’s expansion has total integrated magnitude 1 across all spatial positions, conserved as t advances by the unitarity of x₄-translation. Conservation of probability is conservation of x₄-flux.

Completeness of the principle-generated space

The space (𝒱₂, ⟨ ·, · ⟩) is a complex vector space equipped with an inner product. To obtain a Hilbert space we must show it is complete in the induced norm. We show that completeness is forced by the principle’s continuous flow.

Theorem (Hilbert space). Let 𝒱₂ be the square-integrable subspace of 𝒱 with inner product ⟨ ·, · ⟩, and let 𝒩 := ψ ∈ 𝒱₂ : ψ = 0 a.e.\ be the null subspace. Then 𝒱₂ / 𝒩 is complete in the norm |ψ| = √⟨ ψ, ψ ⟩, and the resulting complete inner-product space is the Hilbert space of quantum mechanics:

ℋ := 𝒱₂ / 𝒩 ≅ L²(ℝ³, d³x)

at each fixed t, with the global structure on M₁,₃ inherited from the foliation by spatial slices. Completeness is forced by the McGucken Principle’s continuity at constant rate: Cauchy sequences of slice-projected x₄-wavefronts have x₄-wavefront limits within the principle-generated space.

Proof. We establish completeness from the principle’s continuity in five explicit steps, with no invocation of Riesz–Fischer (1907) as load-bearing input.

Step 1: The principle’s flow is uniformly continuous at constant rate. The McGucken Principle dx₄/dt = ic states that the fourth dimension expands at velocity c in a spherically symmetric manner from every event. The rate is constant in t, in spatial location, and in x₄ (P1 of §2.1). Reading the principle as expansion at velocity c with the perpendicularity marker i tracking the perpendicular direction (P2 of §2.1), the principle’s flow is uniformly continuous with Lipschitz constant c: for any worldline-parameter values t, t’, the magnitude of the displacement satisfies |x₄(t) – x₄(t’)| = |ic (t-t’)| = c |t-t’|. Continuity of the principle’s flow is not a regularity assumption; it is direct content of (MP), since (MP) specifies a constant rate.

Step 2: A Cauchy sequence in V₂/𝒩 admits a pointwise-a.e. Cauchy refinement. Let (ψₙ) ⊂ 𝒱₂/𝒩 satisfy |ψₙ – ψₘ| → 0 as n, m → ∞. Choose a subsequence (ψₙₖ) with |ψ_nₖ₊₁ – ψₙₖ| < 2⁻k for all k. Define the partial-sum function

gK(𝐱, t) := ∑ₖ₌₁K |ψ_nₖ₊₁(𝐱, t) – ψₙₖ(𝐱, t)|.

By the triangle inequality on the inner-product norm (which holds for any inner product, by the Cauchy–Schwarz inequality, itself a direct consequence of positive-definiteness (I3) verified in Theorem 5.3):

|gK| ≤ ∑ₖ₌₁K |ψ_nₖ₊₁ – ψₙₖ| < ∑ₖ₌₁K 2⁻k < 1.

The sequence gK(𝐱, t) is monotone non-decreasing pointwise; let g(𝐱, t) := limK→∞ gK(𝐱, t) ∈ [0, +∞]. By the elementary boundedness inequality for monotone non-negative integrands (the integral of a pointwise non-decreasing limit cannot exceed the limit of the integrals — a direct consequence of integration’s monotonicity over disjoint regions; this is the arithmetic content sometimes labelled Fatou or monotone convergence, but the substance is the additivity of integration over the slice as a disjoint union of points), |g|² ≤ supK |gK|² ≤ 1, so g(𝐱, t) < +∞ for almost every (𝐱, t). At every such point, the series ∑ₖ (ψ_nₖ₊₁(𝐱, t) – ψₙₖ(𝐱, t)) converges absolutely in ℂ (since ∑ₖ |ψ_nₖ₊₁(𝐱, t) – ψₙₖ(𝐱, t)| = g(𝐱, t) < ∞). Hence the sequence (ψₙₖ(𝐱, t)) is Cauchy in ℂ and therefore convergent in ℂ (by completeness of ℂ as ℝ², which is a property of the real numbers). Define ψ_∞(𝐱, t) := limₖ→∞ ψₙₖ(𝐱, t) at each point of pointwise-a.e. convergence (and 0 on the null set where convergence fails).

Step 3: ψ_∞ is a slice-projected x₄-wavefront. Each ψₙₖ is, by Theorem 4.5, a slice-projected x₄-wavefront with the parallel/perpendicular structure of Lemma 4.1. The pointwise limit ψ_∞ inherits this structure: at each spacetime point where the limit exists, the parallel component is limₖ Re ψₙₖ(𝐱, t) and the perpendicular component is limₖ Im ψₙₖ(𝐱, t), with the perpendicularity marker i linking them as required by the principle (P2). By Step 1, the principle’s flow is continuous, so the time-evolution of the limit along t is the projection through σ of the x₄-advance, which is continuous in t. Therefore ψ_∞ is itself a slice-projected x₄-wavefront with values in ℂ (Lemma 4.2).

Step 4: ψ_∞ ∈ V₂/𝒩 and ψₙ → ψ_∞ in norm. The Cauchy condition on (ψₙ) in the integrated norm bounds |ψₙ| uniformly: there exists C < ∞ such that |ψₙ| ≤ C for all n (a Cauchy sequence is automatically bounded in any normed space). The pointwise-a.e. limit ψ_∞ then satisfies, by the elementary boundedness inequality for non-negative integrands of pointwise limits:

|ψ_∞|² = ∫ℝ₃|ψ_∞|² d³x ≤ liminfₖ→∞ ∫ℝ₃|ψₙₖ|² d³x = liminfₖ→∞ |ψₙₖ|² ≤ C².

This boundedness inequality is the elementary content of integration’s monotonicity over non-negative integrands: the integral of a non-negative pointwise-a.e. limit cannot exceed the limit-inferior of the integrals. Hence ψ_∞ ∈ 𝒱₂/𝒩.

For norm convergence, fix ε > 0. By the Cauchy condition, there exists N such that |ψₙ – ψₘ| < ε for all n, m ≥ N. Apply the same boundedness inequality to the non-negative function |ψₙ – ψ_∞|², with the pointwise-a.e. limit obtained by sending m = nₖ → ∞ along the subsequence on which we have pointwise-a.e. convergence:

|ψₙ – ψ_∞|² = ∫ℝ₃|ψₙ – ψ_∞|² d³x ≤ liminfₖ→∞ |ψₙ – ψₙₖ|² ≤ ε²,

for all n ≥ N. Hence |ψₙ – ψ_∞| ≤ ε for all n ≥ N, i.e., ψₙ → ψ_∞ in norm.

Step 5: V₂/𝒩 is complete. An arbitrary Cauchy sequence (ψₙ) in 𝒱₂/𝒩 has, by Steps 2–4, a limit ψ_∞ ∈ 𝒱₂/𝒩 with ψₙ → ψ_∞ in the principle-generated norm. Therefore 𝒱₂/𝒩 is complete in this norm; it is a Hilbert space. The completion procedure is not needed — the space is already complete.

The identification 𝒱₂/𝒩 ≅ L²(ℝ³, d³x) at each fixed t is then immediate: 𝒱₂ is the space of square-integrable ℂ-valued functions on ℝ³ at fixed t, 𝒩 is the subspace of functions vanishing almost everywhere, and the quotient is the standard L² space.

Grade 1 status. Every step is forced by the principle: continuity (Step 1) is direct content of (MP); the pointwise-a.e. Cauchy refinement (Step 2) uses only the principle-generated triangle inequality and integration’s additivity over disjoint regions; the wavefront structure of ψ_∞ (Step 3) is inherited from each ψₙₖ via Theorem 4.5 and Lemma 4.2; the boundedness of |ψ_∞| (Step 4) is the elementary monotonicity of integration over non-negative integrands. The Riesz–Fischer theorem (1907) [Riesz, Fischer], when invoked in standard treatments, establishes the completeness of L² via abstract real analysis; here the principle’s continuous flow has supplied the same content directly through Steps 2–4. Riesz–Fischer is not load-bearing; it is a convergent confirmation by an independent route. ∎

Remark (Continuity is content of the principle, not an assumption). The continuity of the principle’s flow (Step 1) is not an additional regularity assumption. The McGucken Principle states dx₄/dt = ic at every event, with c a constant. A constant rate is automatically continuous; in fact uniformly continuous with Lipschitz constant c. The continuity is direct content of (MP): if (MP) held without continuity, the rate would vary discontinuously somewhere, contradicting (P1) of §2.1, which states the rate is uniform across all events — the strongest possible continuity statement. The continuous flow that drives Steps 2–4 is therefore the principle itself, not an external assumption imported from analysis.

Remark (The completion is geometric, not abstract). In the standard treatment, the Hilbert space is obtained by abstract Cauchy completion of a pre-Hilbert space, with elements being equivalence classes of Cauchy sequences. The geometric content of the elements is lost in the abstraction; one recovers it only through the Riesz–Fischer identification of the completion with L². In the McGucken framework, no completion procedure is interposed: the principle-generated space is already complete, with elements remaining slice-projected x₄-wavefronts throughout. The geometric content is preserved at every step.

The full chain

We have now established the four-step chain in full:

(dx₄)/(dt) = ic ⟶x₄ = ict Σ ⟶dx₄ = ic dt M₁,₃ ⟶ 𝒱 = ψ : M₁,₃ → ℂ\ ⟶ 𝒱₂ / 𝒩 ⟶ic ℋ ≅ L²(M₁,₃, dμM).

Each arrow is a theorem of dx₄/dt = ic. The Lorentzian arena, the complex character of amplitudes, the inner product, and completeness of the resulting space are all consequences of a single physical principle.

The eleven prior derivation programmes

We catalogue the principal prior attempts to derive or characterise ℋ and locate, in each, the point at which the derivation falls short of the McGucken construction.

Von Neumann (1932) and Dirac (1958): postulation

In Mathematische Grundlagen der Quantenmechanik (1932), von Neumann took the complex separable Hilbert space ℋ as the starting axiom of quantum mechanics. The wavefunction was defined as a unit vector in ℋ; observables as self-adjoint operators on ℋ; states as density operators on ℋ. Dirac’s Principles of Quantum Mechanics (1958, fourth edition) followed the same pattern in bra-ket notation: |ψ⟩ is a vector in ℋ, and the formalism is built from there.

Neither work derives ℋ. Both axiomatise it. The opacity of the formalism — why complex, why inner-product, why squared-modulus — is left as a matter of empirical adequacy. The von Neumann axioms are the target of derivation, not its result.

Mackey (1963): the lattice of propositions

George Mackey’s Mathematical Foundations of Quantum Mechanics (1963) attempted to derive ℋ from a lattice-theoretic axiomatisation of quantum propositions. He posited that the lattice L of yes/no propositions about a quantum system has certain properties (orthomodularity, atomicity, the covering law) and conjectured that any such lattice is isomorphic to the lattice of closed subspaces of a separable Hilbert space over ℝ, ℂ, or ℍ.

Mackey’s conjecture was a target rather than a theorem: he did not prove it. He observed only that the standard quantum-mechanical lattice has the required properties, and asked whether the converse held.

Solèr (1995): the lattice-theoretic restriction

Maria Pia Solèr’s 1995 theorem [Soler] established, under additional axioms (the existence of an infinite orthonormal sequence and certain regularity conditions on the orthomodular orthocomplemented atomistic lattice), that the lattice is isomorphic to the lattice of closed subspaces of a Hilbert space over one of ℝ, ℂ, or ℍ.

Solèr’s theorem is a beautiful piece of lattice theory. It does not, however, derive ℋ from physical principles: it derives ℋ from lattice-theoretic axioms whose physical motivation is itself the empirical adequacy of ℋ. The chain is circular: the lattice axioms are chosen to produce ℋ, then ℋ is shown to be produced by them. The physical question — why does the lattice have these properties — is left unanswered.

Furthermore, Solèr’s theorem leaves the choice among ℝ, ℂ, and ℍ open. Additional axioms (the no-superselection rule, or some other operational input) must be invoked to single out ℂ. The McGucken framework, by contrast, fixes ℂ structurally via the slice projection (Lemma 4.1, Lemma 4.2).

Jordan, von Neumann, and Wigner (1934): the Jordan-algebra classification

The 1934 paper of Jordan, von Neumann, and Wigner [JNW] classified finite-dimensional formally real Jordan algebras: the algebras of self-adjoint operators on which observables live. They found four infinite families (n × n Hermitian matrices over ℝ, ℂ, ℍ, and ℝⁿ with a specific Jordan product) plus one exceptional algebra (the 3 × 3 Hermitian octonionic matrices).

This is a classification of possible algebras of observables. It does not single out ℂ as the algebra of physical amplitudes; it presents ℂ as one option among several. The McGucken framework selects ℂ structurally.

Stueckelberg (1960): real-quantum-mechanical equivalence

Ernst Stueckelberg argued in 1960 that real quantum mechanics could reproduce complex quantum mechanics if augmented with a superselection rule that effectively introduces a redundant copy of each state, doubling the real Hilbert space to mimic the complex one [Stueckelberg]. This is technically a result about formal equivalence rather than a derivation: it shows that real-quantum-mechanical formalism can be augmented to produce predictions consistent with complex quantum mechanics, but does not single out either as fundamental.

The 2021 experimental result of Renou et al.\ [Renou] settled the question empirically: real quantum mechanics, without Stueckelberg-style augmentation, cannot reproduce all quantum predictions in network scenarios with independent sources. The McGucken framework gives the structural reason: the slice projection is intrinsically two-component (Lemma 4.1), and a single real component is insufficient.

Hardy (2001): operational reconstruction

Lucien Hardy’s 2001 paper “Quantum Theory From Five Reasonable Axioms” [Hardy] derived the complex Hilbert space from five axioms cast in operational language:

1. Probabilities: relative frequencies tend to fixed values.
2. Simplicity: the number of degrees of freedom K is the smallest integer consistent with the system having N distinguishable states.
3. Subspaces: a system whose states are confined to an M-dimensional subspace of an N-dimensional space behaves as an M-dimensional system.
4. Composite systems: the dimension of a composite system is the product of the dimensions of its parts; the number of degrees of freedom of a composite is the product of the numbers of its parts.
5. Continuity: there exists a continuous reversible transformation between any two pure states.

From these, Hardy derives K = Nr for some integer r, and shows that r = 1 corresponds to classical probability theory, r = 2 to complex quantum mechanics, and r > 2 is excluded by the simplicity axiom.

Hardy’s reconstruction is operational: it presupposes the framework of probabilistic theories and asks which one is forced by his axioms. The framework itself — states, transformations, measurements, probabilities — is taken as given. The result derives the form of ℋ within an already-quantum-like operational framework, not the framework itself. The McGucken framework operates upstream: ℋ emerges from the geometry of x₄-expansion, not from operational axioms.

Chiribella, D’Ariano, and Perinotti (2011): informational reconstruction

Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti’s 2011 paper “Informational Derivation of Quantum Theory” [CDP] sharpened Hardy’s programme. They derived ℋ from six informational principles:

1. Causality.
2. Perfect distinguishability.
3. Ideal compressibility.
4. Local distinguishability.
5. Pure conditioning.
6. Purification.

The first five are common to classical probability theory and quantum theory; the sixth (purification: every mixed state of a system arises as the marginal of a pure state of a larger system) singles out quantum theory.

The CDP reconstruction is a virtuosic piece of operational quantum information theory. Like Hardy’s, it presupposes the framework of probabilistic theories. The framework is the input; ℋ is the output. It does not explain why spacetime supports states, transformations, and measurements with these properties. The McGucken framework derives the framework itself from a single geometric principle.

Abramsky and Coecke (2004): the categorical characterisation

Samson Abramsky and Bob Coecke’s “A Categorical Semantics of Quantum Protocols” [AC] characterised quantum mechanics in the language of dagger-compact closed categories. Quantum-mechanical structure is captured by the categorical properties of FdHilb (the category of finite-dimensional Hilbert spaces with linear maps): biproducts, the dagger functor, compactness, and certain equational identities.

The categorical characterisation is mathematically illuminating and has produced powerful diagrammatic calculi (ZX-calculus, etc.). It does not derive ℋ from physics: it identifies the categorical features that FdHilb has, and abstracts them. Other dagger-compact closed categories (e.g., FdRel, the category of finite sets and relations) have similar formal structure without being quantum mechanics. The categorical characterisation is necessary but not sufficient; it does not single out ℋ uniquely.

Adler (1995): quaternionic alternative

Stephen Adler’s Quaternionic Quantum Mechanics and Quantum Fields (1995) [Adler] developed a parallel formalism in which amplitudes are quaternion-valued, ψ : M → ℍ. The quaternionic theory has many of the same operational features as standard quantum mechanics but produces different predictions in certain scenarios (interference of phases that are non-commutative).

Adler’s programme demonstrates that the mathematical structure of quantum mechanics is not uniquely determined by the standard axiomatisation: there is room for alternatives. The McGucken framework rules out the quaternionic alternative structurally: the slice projection is two-real-dimensional (Lemma 4.1), and quaternions are four-real-dimensional. The extra two dimensions are not present in the geometry of x₄-expansion.

Renou et al.\ (2021): empirical exclusion of ℝ

Marc-Olivier Renou, David Trillo, Mirjam Weilenmann, Thinh P. Le, Armin Tavakoli, Nicolas Gisin, Antonio Acín, and Miguel Navascués proved in 2021 [Renou] that real-amplitude quantum mechanics cannot reproduce all the predictions of complex-amplitude quantum mechanics in network scenarios with multiple independent sources. The exclusion is empirical: experimental tests in network configurations distinguish real from complex quantum mechanics.

This is an exclusion result, not a derivation. It shows that one alternative (ℝ) is empirically wrong, but does not derive ℂ from a deeper principle. The McGucken framework derives ℂ structurally and is consistent with the Renou et al.\ exclusion.

Penrose (twistor programme, 1967–present)

Roger Penrose’s twistor programme [Penrose] has, since 1967, developed a formalism in which spacetime points are derived from twistor space: a four-complex-dimensional space whose geometry encodes massless particles and conformal structure. Penrose’s twistor space is, in many respects, the closest in spirit to the McGucken framework: the complex structure of twistor space carries genuine geometric content, and the relationship between twistor space and spacetime is structural rather than formal.

However, the twistor programme has not, in fifty-eight years, produced a derivation of the complex separable Hilbert space of quantum mechanics. The relation between twistor space and quantum mechanics is mediated by additional structures (cohomology classes, Penrose transforms, twistor wave equations) that themselves presuppose the Hilbert-space framework. The twistor programme illuminates the complex character of spacetime; it does not derive the Hilbert space from that character.

Woit’s 2024 Euclidean Twistor Unification [Woit] takes a related but distinct approach: it lifts the standard Wick-rotated Euclidean spacetime to a twistor-theoretic framework and identifies the Higgs field with a tracker of Euclidean structure. Woit’s programme is consonant with the McGucken framework in identifying x₄-Euclidean structure as physical, but it does not operate upstream of the complex Hilbert-space structure.

Summary: the eleven programmes and their input/output relations

Programme	Input	Output	Status
Von Neumann (1932)	ℋ axiomatic	Quantum-mechanical formalism	ℋ postulated
Dirac (1958)	ℋ axiomatic	Bra-ket formalism	ℋ postulated
Mackey (1963)	Lattice axioms	ℋ conjectural	Conjecture, not theorem
Solèr (1995)	Stronger lattice axioms	ℋ over ℝ, ℂ, ℍ	ℋ from lattice axioms; ℂ unspecified
Jordan–von Neumann–Wigner (1934)	Jordan-algebra axioms	Classification	ℂ one option among several
Stueckelberg (1960)	Real QM + superselection	Equivalent to ℂ-QM	Formal equivalence, not derivation
Hardy (2001)	Five operational axioms	ℋ over ℂ	ℋ from operational framework
Chiribella–D’Ariano–Perinotti (2011)	Six informational principles	ℋ over ℂ	ℋ from informational framework
Abramsky–Coecke (2004)	Dagger-compact category axioms	Categorical characterisation	Necessary but not sufficient
Adler (1995)	Quaternionic axioms	ℋ over ℍ	Alternative, not derivation
Renou et al.\ (2021)	Bell-type network scenarios	Exclusion of ℝ-QM	Exclusion, not derivation

In each case, ℋ is either postulated, axiomatised within a framework that already presupposes it, classified among alternatives, or characterised categorically. None operates upstream of the complex Hilbert-space structure itself.

Why the prior programmes failed: four obstructive commitments

The eleven programmes are independently sophisticated and historically important. Their common failure to derive ℋ from a physical principle traces, we contend, to four shared commitments inherited from twentieth-century physics. Each commitment blocks the chain at a specific arrow.

Obstruction 1: The block-universe reading of Minkowski spacetime

The standard reading of Minkowski spacetime, dating to Minkowski’s 1908 Cologne lecture and codified by Eddington and Weyl in the 1920s, is the block universe: spacetime is a static four-dimensional manifold; “coordinates do not have rates of change”; the apparent flow of time is psychological, not physical. Under this reading, the expression dx₄/dt is a category error: x₄ does not change, and there is no privileged direction in which it could change.

The block-universe reading blocks Step 1 (the generation of the Lorentzian arena from the principle). If x₄ does not change, there is no x₄-advance to integrate, no antiderivative x₄ = ict of the physical motion (since there is no motion to integrate), and no differential identity dx₄ = ic dt to substitute into the Euclidean line element. The arena cannot be derived from a non-existent advance. The block universe forces one to postulate the Lorentzian arena rather than derive it.

The McGucken framework rejects the block-universe reading. The fourth dimension is dynamical: it is expanding at velocity c in a spherically symmetric manner from every event, as stated by dx₄/dt = ic. The integrated form x₄ = ict is the antiderivative of this physical motion, not a static coordinate identity. The advance is not psychological; it is the structural content of the physical principle. The arena is then derivable as a theorem.

Obstruction 2: The formalist reading of i

The standard reading of the imaginary unit in quantum mechanics, dating to Schrödinger’s 1926 introduction of i into the wave equation, is formalist: i is a notational convenience that ensures unitarity. The Schrödinger equation iℏ ∂ₜ ψ = H ψ uses i because without it, the time evolution would be Hermitian but not unitary (it would generate exponential growth or decay rather than oscillation). Under the formalist reading, i is a device, not a referent.

The formalist reading blocks Step 2 (the generation of complex amplitudes from the principle). If i has no geometric content, there is no reason to expect amplitudes to be complex. The formalism uses ℂ for technical reasons; the choice of ℂ over ℝ or ℍ becomes an open question, addressed by Solèr, JNW, Hardy, CDP, Adler, and Renou et al.\ in various ways, none structurally satisfying.

The McGucken framework rejects the formalist reading. The factor i in the McGucken Principle dx₄/dt = ic — and inherited by the antiderivative x₄ = ict — is the algebraic marker for x₄’s perpendicularity to the spatial three: it is the geometric content (P2) of x₄’s orthogonality, expressing the physical-geometric fact that the fourth dimension expands in a direction perpendicular to the spatial three. It is not a notational device. The complex character of amplitudes is then derivable as the slice projection of this physical perpendicularity through σ.

The McGucken corpus paper [Wick] establishes the formal-versus-geometric reading via the suppression map and unifies twelve canonical factor-of-i insertions across quantum theory under three mechanisms (chain-rule factor, signature-change factor, image of integration-contour structures). The formalist reading is shown to be a derived appearance of an underlying geometric reality.

Obstruction 3: Quantum mechanics and relativity as separate theories

The twentieth-century separation of quantum mechanics and relativity — with c and ℏ as independent empirical constants, the relativistic theory grafted onto the quantum theory via Dirac’s 1928 equation, and the unification deferred to “quantum gravity” — blocks the derivation of ℋ from spacetime geometry. If quantum mechanics has its own arena (the Hilbert space) and relativity has its own arena (Minkowski spacetime), and the two are independent, then nothing in spacetime can force the structure of the Hilbert space.

The McGucken framework rejects the separation. The Compton-frequency coupling ωC = mc²/ℏ relates c and ℏ as paired structural constants of x₄-expansion. The Lorentzian arena and the Hilbert space are forced by the same principle. The corpus papers [Lagrangian, Wick, Holography] establish the structural derivation of the constants from the principle plus standard structural assumptions; the present paper does not depend on those derivations but is consonant with them.

Obstruction 4: The interpretation industry

The fourth obstruction is sociological rather than mathematical: the assumption that ℋ is inviolable and that the only legitimate work is interpretation rather than derivation. This commitment dates to the Bohr–Einstein debates of 1927–1935 and the codification of Copenhagen orthodoxy in the 1930s and 1940s. Under this commitment, the question “where does ℋ come from?” is illegitimate; the only legitimate question is “what does ℋ mean?”. Decades of effort have gone into interpretation; very little has gone into derivation.

This obstruction blocks the very project of derivation. It explains why the eleven programmes are spread thinly across ninety-four years: derivation is not, sociologically, central work. Interpretation is.

The McGucken framework rejects the inviolability of ℋ. The Hilbert space is not the foundation of quantum mechanics; the McGucken Principle is. The Hilbert space is a theorem of the principle. Derivation is the central work; interpretation is downstream.

The four obstructions and the four steps

Each of the four obstructions blocks a specific step in the derivation:

• Obstruction 1 (block universe) blocks Step 1 (the arena).
• Obstruction 2 (formalist i) blocks Step 2 (complex amplitudes).
• Obstruction 3 (QM/relativity separation) blocks Step 3 (the inner product as x₄-overlap).
• Obstruction 4 (interpretation industry) blocks the project itself.

The McGucken Principle removes all four obstructions. The fourth dimension is dynamical (Step 1 unblocked). The factor i has geometric content (Step 2 unblocked). c and ℏ are paired structural constants of x₄-expansion (Step 3 unblocked). Derivation precedes interpretation (project unblocked).

Physical referents for every formal feature of ℋ

The McGucken construction is more than re-decoration of the standard formalism. Every formal feature of ℋ acquires an explicit physical referent. We tabulate.

Formal feature of ℋ	Physical content under McGucken
Vector ψ ∈ ℋ	Wavefront in M₁,₃ advancing along x₄ at rate ic
Inner product ⟨ φ, ψ ⟩	Forward–conjugate x₄-overlap, integrated over a spatial slice
Unit norm |ψ|² = 1	Conservation of x₄-flux through the McGucken Sphere
Squared modulus	ψ(𝐱)
Unitary evolution U(t) = e⁻ⁱHt/ℏ	Temporal flow of x₄-advance at the system’s rate
Complex structure of ℋ	Perpendicularity of x₄ to the spatial three, transported through σ
Imaginary unit i in operators	Algebraic marker of ∂ / ∂ x₄ via Lemma 2.1
Orthogonality ⟨ φ, ψ ⟩ = 0	Vanishing forward–conjugate x₄-overlap
Dimension of ℋ	Number of geometrically independent x₄-rotation modes
Self-adjoint operator A = A^†	Real eigenvalues = real x₄-rotation rates
Eigenvalue equation A	a⟩ = a
Tensor product ℋA ⊗ ℋB	Joint x₄-advance of two wavefronts
Density operator ρ	Statistical mixture of x₄-wavefronts
Trace inner product Tr( A ρ)	Statistically averaged x₄-rotation rate
Schrödinger equation iℏ ∂ₜ ψ = H ψ	∂ₜ = ic ∂ₓ₄ acting on the Hamiltonian density
Heisenberg picture A = (i)/(ℏ)[ H, A]	Commutator with the x₄-advance generator
Hilbert space tensor structure	Multi-slice x₄-wavefront geometry
Projection-valued measure	Slice-projection structure σ_*

Every line is a physical statement. The Hilbert space ceases to be an abstract mathematical object on which one drapes interpretive stories; it becomes a section space of x₄-wavefronts on the Lorentzian arena M₁,₃ generated by the principle.

What is lost if dx₄/dt = ic is treated as a mere mathematical equation

The Grade-1 status of the four theorems is sharp enough to be quantified by the inverse construction: what is lost if dx₄/dt = ic is treated as a mere mathematical equation — with the integrated form x₄ = ict regarded as a Minkowski-style coordinate identity (the static, signature-flipping convention of Minkowski’s 1908 lecture), with no physical content beyond coordinate-bookkeeping — rather than as the physical-geometric statement that the fourth dimension is expanding at velocity c in a spherically symmetric manner from every event? This is the same question taken up in the unified GR/QM paper [Unified] for the forty-seven theorems of that paper; we apply it here to the four theorems of this paper.

Theorem 3.1 (Lorentzian arena) is lost. Without the physical reading, the integrated form x₄ = ict is a notational convenience rather than the antiderivative of an actual physical motion, dx₄/dt is a coordinate identity rather than a rate of change, and the substitution dx₄ = ic dt is bookkeeping rather than the differential of a physical principle. The arena M₁,₃ reverts to a separate postulate (signature choice) rather than an integrated theorem; the chain that runs from dx₄/dt = ic through the integrated form x₄ = ict to the Lorentzian metric collapses, because every link in the chain depended on the principle’s physical content (the fourth dimension actually expanding at velocity c in a spherically symmetric manner from every event). One returns to the standard treatment in which Lorentzian signature is postulated at the start of relativity rather than derived from a deeper principle.

Theorem 4.5 (complex amplitudes) is lost. Without the physical reading, the imaginary unit i in the principle is a coordinate-bookkeeping factor with no geometric content. The factor i in slice-projected wavefunctions then has no source: there is no perpendicularity marker for ℂ to be the algebraic shadow of, no two-component slice projection (because there is no slice projection of a non-existent x₄-advance), no codimension-one slice geometry to supply a basis, and no squaring rule J² = -1 from the perpendicularity marker. The McGucken derivation of ℂ collapses, and one is forced back onto Frobenius’s 1878 classification as an external input. The complex character of ψ reverts to a postulate of the formalism — which is exactly how von Neumann (1932) treated it. The eleven prior derivation programmes catalogued in §6 then become the only available routes, each blocked by one of the four obstructions of §7.

Theorem 5.3 (inner product) is lost. Without the physical reading, there is no forward x₄-advance at +ic to be paired with a conjugate x₄-advance at -ic; both are merely formal sign choices on a coordinate label. The inner product ⟨ φ, ψ ⟩ = ∫ φ* ψ d³ x reverts to a postulated bilinear form with no geometric referent, and the three inner-product axioms (conjugate symmetry, sesquilinearity, positive-definiteness) revert to algebraic axioms imposed by hand rather than theorems forced by the geometry. Mackey’s lattice-theoretic conjecture (1963), Solèr’s lattice-theoretic theorem (1995), and the Jordan-algebra classification (JNW 1934) become the only routes, each circular in the sense that the lattice axioms are chosen to produce the inner product whose origin is unexplained.

Theorem 5.5 (ℋ as L²) is lost. Without the physical reading, the space whose completeness is at stake has no physical content — it is a mathematical abstraction with no quantum-mechanical referent. The principle’s continuous flow dx₄/dt = ic, which forced Cauchy sequences of x₄-wavefronts to have x₄-wavefront limits within the principle-generated space, is no longer available. One is forced back onto Riesz–Fischer (1907) as external machinery that constructs the Hilbert space from a postulated pre-Hilbert structure, rather than recognizing the completeness as the principle’s continuous flow. The Hilbert space reverts to an axiom of the formalism, with the operational reconstructions (Hardy 2001, CDP 2011) providing the only available derivations — each presupposing the framework of probabilistic theories that the McGucken Principle had been about to generate.

The Grade-1 status is therefore quantifiable. Each theorem is Grade 1 in the sense that without the physical reading of dx₄/dt = ic, the theorem has no derivation. The framework’s content is the physical reading of the principle; without it, the four theorems revert to their pre-McGucken postulate status. The mathematical machinery that, in the standard derivation programmes, was forced to do work the principle itself supplies in the McGucken framework — Frobenius classification, Riesz–Fischer completion, the Solèr lattice axioms — is now visible as machinery that confirms what the principle requires, not as additional input that the principle does not supply. The principle delivers all four theorems; the standard analysis confirms.

Conclusion

We have shown that the complex separable Hilbert space ℋ of quantum mechanics is not a postulate but a theorem. It is forced by the McGucken Principle dx₄/dt = ic in four steps:

• The differential form of the principle, dx₄ = ic dt, substituted into the Euclidean line element, with the perpendicularity marker i squared yielding i² = -1, generates the Lorentzian signature, hence the arena M₁,₃. (The integrated form x₄ = ict is the antiderivative of the physical principle, not the foundation.)
• Slice-projecting x₄-perpendicularity through σ, with the algebra of the slice projection given by the principle’s own algebraic content (the perpendicularity marker i), generates complex amplitudes ψ : M₁,₃ → ℂ.
• The forward x₄-advance at +ic paired with the conjugate advance at -ic, integrated over a spatial slice, generates the inner product, with the three inner-product axioms as theorems.
• The continuity of the principle’s flow at constant rate ic forces Cauchy sequences of x₄-wavefronts to have x₄-wavefront limits within the principle-generated space, yielding the complete inner-product space ℋ ≅ L²(M₁,₃, dμM).

Each step is a theorem of the principle. The Lorentzian arena, the complex character, the inner product, and the completion are all consequences of a single physical principle.

The eleven prior derivation programmes, spread over ninety-four years, failed because each was blocked by one of four twentieth-century commitments: the block-universe reading of Minkowski spacetime, the formalist reading of i, the separation of quantum mechanics from relativity, and the inviolability of ℋ as an axiom. The McGucken framework rejects all four. The fourth dimension is dynamical. The imaginary unit has geometric content. Quantum mechanics and relativity descend from the same principle. The Hilbert space is not the foundation; the principle is.

Before McGucken, ℋ was an axiom. After McGucken, ℋ is a theorem.

References

[Wick] McGucken, E. (2026). The McGucken Principle dx₄/dt = ic Necessitates the Wick Rotation and i Throughout Physics: A Reduction of Thirty-Four Independent Inputs of Quantum Field Theory, Quantum Mechanics, and Symmetry Physics. elliotmcguckenphysics.com (May 1, 2026). Available at: https://elliotmcguckenphysics.com/2026/05/01/the-mcgucken-principle-dx4-dtic-necessitates-the-wick-rotation-and-i-throughout-physics-a-reduction-of-thirty-four-independent-inputs-of-quantum-field-theory-quantum-mechanics-and-symmetry-physics/

[Unified] McGucken, E. (2026). General Relativity and Quantum Mechanics Unified as Theorems of the McGucken Principle: The Fourth Dimension is Expanding at the Velocity of Light dx₄/dt = ic — Deriving GR & QM from a First Principle in the Spirit of Euclid’s Elements and Newton’s Principia Mathematica. elliotmcguckenphysics.com (May 5, 2026). Establishes the McGucken Duality (Channel A: algebraic-symmetry; Channel B: geometric-propagation) and derives twenty-four GR theorems and twenty-three QM theorems from the principle. Available at: 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/

[KaluzaKlein] McGucken, E. (2026). 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. elliotmcguckenphysics.com (April 11, 2026). Available at: 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/

[Lagrangian] McGucken, E. (2026). The Unique McGucken Lagrangian. Light Time Dimension Theory, elliotmcguckenphysics.com.

[Holography] McGucken, E. (2026). The McGucken Principle as the Physical Foundation of the Holographic Principle and AdS/CFT: How dx₄/dt = ic Naturally Leads to Boundary Encoding of Bulk Information. Light Time Dimension Theory, elliotmcguckenphysics.com.

[Compton] McGucken, E. (2026). The Compton Coupling between ℏ and c from dx₄/dt = ic. Light Time Dimension Theory, elliotmcguckenphysics.com.

[McGuckenCorpus] McGucken, E. Light Time Dimension Theory: Corpus Home Page and Index of Papers. elliotmcguckenphysics.com. Available at: https://elliotmcguckenphysics.com/

[VonNeumann] von Neumann, J. (1932). Mathematische Grundlagen der Quantenmechanik. Berlin: Springer. English translation: Mathematical Foundations of Quantum Mechanics, R. T. Beyer, trans. Princeton University Press (1955). Available at: https://press.princeton.edu/books/paperback/9780691178561/mathematical-foundations-of-quantum-mechanics

[Dirac] Dirac, P. A. M. (1958). The Principles of Quantum Mechanics, fourth edition. Oxford: Clarendon Press. ISBN 978-0-19-852011-5. Available at: https://global.oup.com/academic/product/the-principles-of-quantum-mechanics-9780198520115

[Mackey] Mackey, G. W. (1963). Mathematical Foundations of Quantum Mechanics. New York: W. A. Benjamin. Reprinted by Dover Publications, 2004. ISBN 978-0-486-43517-6. Available at: https://store.doverpublications.com/0486435172.html

[Soler] Solèr, M. P. (1995). Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra, 23(1), 219–243. doi:10.1080/00927879508825218. Available at: https://www.tandfonline.com/doi/abs/10.1080/00927879508825218

[JNW] Jordan, P., von Neumann, J., & Wigner, E. (1934). On an algebraic generalization of the quantum mechanical formalism. Annals of Mathematics, 35(1), 29–64. doi:10.2307/1968117. Available at: https://www.jstor.org/stable/1968117

[Stueckelberg] Stueckelberg, E. C. G. (1960). Quantum theory in real Hilbert space. Helvetica Physica Acta, 33, 727–752.

[Hardy] Hardy, L. (2001). Quantum Theory From Five Reasonable Axioms. arXiv:quant-ph/0101012. Available at: https://arxiv.org/abs/quant-ph/0101012

[CDP] Chiribella, G., D’Ariano, G. M., & Perinotti, P. (2011). Informational derivation of quantum theory. Physical Review A, 84(1), 012311. doi:10.1103/PhysRevA.84.012311. arXiv:1011.6451. Available at: https://journals.aps.org/pra/abstract/10.1103/PhysRevA.84.012311 and https://arxiv.org/abs/1011.6451

[AC] Abramsky, S., & Coecke, B. (2004). A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), 415–425. doi:10.1109/LICS.2004.1319636. arXiv:quant-ph/0402130. Available at: https://arxiv.org/abs/quant-ph/0402130

[Adler] Adler, S. L. (1995). Quaternionic Quantum Mechanics and Quantum Fields. International Series of Monographs on Physics, Vol. 88. New York: Oxford University Press. ISBN 978-0-19-506643-3. Available at: https://global.oup.com/academic/product/quaternionic-quantum-mechanics-and-quantum-fields-9780195066432

[Renou] Renou, M.-O., Trillo, D., Weilenmann, M., Le, T. P., Tavakoli, A., Gisin, N., Ac’in, A., & Navascu’es, M. (2021). Quantum theory based on real numbers can be experimentally falsified. Nature, 600, 625–629. doi:10.1038/s41586-021-04160-4. arXiv:2101.10873. Available at: https://www.nature.com/articles/s41586-021-04160-4 and https://arxiv.org/abs/2101.10873

[Penrose] Penrose, R. (1967). Twistor algebra. Journal of Mathematical Physics, 8(2), 345–366. doi:10.1063/1.1705200. Available at: https://pubs.aip.org/aip/jmp/article-abstract/8/2/345/233824/Twistor-Algebra. See also: Penrose, R., & Rindler, W. (1986). Spinors and Space-Time, Vols. 1–2. Cambridge University Press. doi:10.1017/CBO9780511564048. Available at: https://www.cambridge.org/core/books/spinors-and-spacetime/D26EA76F1F40C603F71C2C9F58A9568E

[Woit] Woit, P. (2021). Euclidean Twistor Unification. arXiv:2104.05099. Available at: https://arxiv.org/abs/2104.05099

[Riesz] Riesz, F. (1907). Sur les syst`emes orthogonaux de fonctions. Comptes Rendus de l’Acad’emie des Sciences, Paris, 144, 615–619. Available via Gallica/BnF: https://gallica.bnf.fr/ark:/12148/bpt6k3094m

[Fischer] Fischer, E. (1907). Sur la convergence en moyenne. Comptes Rendus de l’Acad’emie des Sciences, Paris, 144, 1022–1024. Available via Gallica/BnF: https://gallica.bnf.fr/ark:/12148/bpt6k3094m

[Frobenius] Frobenius, F. G. (1878). “Uber lineare Substitutionen und bilineare Formen. Journal f”ur die reine und angewandte Mathematik, 84, 1–63. doi:10.1515/crll.1878.84.1. Available at: https://www.degruyter.com/document/doi/10.1515/crll.1878.84.1/html

[Wheeler] Wheeler, J. A. (1990). Letter of recommendation for Elliot McGucken for admission to graduate school of physics. Princeton University Department of Physics, December 13, 1990. Available in summary at McGucken Corpus: https://elliotmcguckenphysics.com/

The Hilbert Space of Quantum Mechanics as a Theorem of the McGucken Principle dx₄/dt = ic

Elliot McGucken, Ph.D. Light Time Dimension Theory — elliotmcguckenphysics.com drelliot@gmail.com

---

Light Time Dimension Theory — elliotmcguckenphysics.com drelliot@gmail.com

Abstract

The complex separable Hilbert space ℋ has been the unmoved foundation of quantum mechanics since von Neumann’s 1932 axiomatization. Every interpretation — Copenhagen, Bohmian, Many-Worlds, QBism, Consistent Histories, Relational, RTI — accepts ℋ as given and disputes only what to make of it. Eleven distinguished derivation programmes (von Neumann, Mackey, Solèr, Jordan–von Neumann–Wigner, Stueckelberg, Hardy, Chiribella–D’Ariano–Perinotti, Abramsky–Coecke, Adler, Renou et al., Penrose) have either postulated ℋ outright, axiomatised its formal features, reconstructed it from operational primitives that already presuppose its framework, or characterised it categorically. None operates upstream of the complex Hilbert-space structure itself.

We show that the McGucken Principle

(dx₄)/(dt) = ic

— the physical-geometric statement that the fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every event of spacetime — generates ℋ as a chain of four theorems, each Grade 1 (forced by the principle alone, with no external mathematical theorem load-bearing in any proof). Every appearance of the integrated form x₄ = ict in this paper is to be read as the integral, along the worldline parameter, of the underlying physical principle dx₄/dt = ic; the integrated form is a derived quantity, not the foundation.

The chain proceeds via the McGucken Duality [Unified]: Channel A reads dx₄/dt = ic as algebraic-symmetry content (uniform invariance of the rate, generating the Lorentz group, unitary translation, and the algebraic structure of the slice projection); Channel B reads it as geometric-propagation content (x₄’s spherically symmetric expansion at rate c from every event, generating the McGucken Sphere, Huygens’ Principle, the wave equation, and the wavefront propagation of amplitudes). The two channels are inseparable; each theorem is jointly forced by both.

(1) The Lorentzian arena M₁,₃ is generated by squaring the integrated form of the principle (Step 1, Theorem 3.1). (2) Complex amplitudes ψ : M₁,₃ → ℂ are forced by the slice projection σ, with the algebra (ℂ) determined uniquely by the principle’s two-element basis (parallel and perpendicular components from σ’s codimension-one geometry, Channel B) and squaring rule J² = -1 (the principle’s perpendicularity marker squared, both channels) — with no invocation of Frobenius’s 1878 classification (Step 2, Theorem 4.5). (3) The inner product ⟨ φ, ψ ⟩ = ∫ φ* ψ d³ x is the forward–conjugate x₄-overlap of two oppositely-oriented expansions, integrated over a spatial slice (Step 3, Theorem 5.3). (4) Completeness of the principle-generated space, ℋ ≅ L²(M₁,₃, dμM), is forced by the continuity of the principle’s flow dx₄/dt = ic at constant rate: Cauchy sequences of slice-projected x₄-wavefronts have x₄-wavefront limits within the principle-generated space, with no invocation of Riesz–Fischer (1907) as load-bearing input (Step 4, Theorem 5.5).

Every arrow is a Grade-1 theorem of dx₄/dt = ic in the strongest sense: forced by the principle alone, with the standard real-analysis theorems (Frobenius 1878, Riesz–Fischer 1907) confirming by abstract analysis what the principle forces directly through its physical geometry and continuous flow. Each formal feature of ℋ acquires an explicit physical referent: the unit vector is a wavefront on the McGucken Sphere, the inner product is a forward–conjugate x₄-overlap, unitary evolution is the temporal flow of x₄-advance.

We diagnose why each prior programme failed: each blocked itself with one of four twentieth-century commitments — the block-universe reading of Minkowski spacetime, the formalist reading of i, the separation of quantum mechanics from relativity, and the inviolability of ℋ as an axiom. We close by quantifying the Grade-1 status: each of the four theorems collapses without the physical reading of the principle. Before McGucken, ℋ was an axiom. After McGucken, ℋ is a theorem.

Introduction

The status quaestionis

The mathematical apparatus of quantum mechanics is the complex separable Hilbert space ℋ, equipped with a self-adjoint Hamiltonian generating unitary evolution U(t) = e⁻ⁱHt/ℏ, observables represented by self-adjoint operators, and probabilities computed by the Born rule P = |⟨ a | ψ ⟩|². This apparatus has been remarkably successful and remarkably opaque. It has predicted every quantum experiment performed in the last century to whatever precision the experiments themselves could reach. It has also resisted every attempt to explain why it has the form it has.

The opacity of the formalism has fueled a century-long interpretation industry. Copenhagen, Bohmian mechanics, Many-Worlds, GRW, QBism, Consistent Histories, Relational Quantum Mechanics, the Transactional Interpretation, and a dozen lesser variants all accept ℋ as given and dispute only what physical content the mathematics carries. None of them derives the mathematics. Each takes complex amplitudes, vector-space superposition, the inner product, the squared-modulus probability rule, and unitary evolution as inputs, and proposes a different ontological story to drape over them.

A separate and smaller programme has attempted derivation rather than interpretation: to argue that the Hilbert-space structure is forced by axioms more transparent than itself. This programme has produced eleven principal entries over ninety-four years (von Neumann 1932 through Renou et al. 2021), each more sophisticated than the last, and none successful in the sense of operating upstream of the complex Hilbert-space structure itself. We catalogue these efforts in §6 and diagnose their common obstacles in §7.

The present paper completes the derivation. We show that the McGucken Principle

(dx₄)/(dt) = ic

— the principle that the fourth dimension expands at rate c at every event, with the factor i encoding its perpendicularity to the spatial three — forces the complex separable Hilbert space ℋ in four steps, each a theorem. The arena M₁,₃ in which quantum mechanics is supposed to be done is generated by the principle (Step 1). The complex character of amplitudes is generated by the principle (Step 2). The inner product is generated by the principle (Step 3). Completeness of the resulting space, hence the L²-realisation of ℋ, is forced by the continuity of the principle’s flow at rate c (Step 4).

The McGucken Principle and its corpus

The McGucken Principle dx₄/dt = ic was formulated by Dr. Elliot McGucken in undergraduate work with John Archibald Wheeler at Princeton in the late 1980s, written first in the appendix to his 1998–99 NSF-funded UNC Chapel Hill Ph.D.\ dissertation, and developed continuously through MDT papers (2003–2006), FQXi essays (2008–2013), books (2016–2017), and the ongoing technical corpus at elliotmcguckenphysics.com ( 40 papers, 2024–2026). The priority record establishes the principle as predating every alternative entropic-gravity, transactional, or expansion-based formulation by decades. We cite the corpus where appropriate but the present paper is self-contained: every claim is proved from the principle itself, with no external mathematical input load-bearing in any proof. Where standard real-analysis theorems (Frobenius classification 1878, Riesz–Fischer 1907) confirm what the principle’s own structural content forces, we note the historical convergence, but the McGucken derivations are independent of those classification and completion theorems.

The principle is read in this paper as a physical principle, on the same epistemological footing as Einstein’s equivalence principle or the principle of relativity. It is not an axiom in the formal-system sense and not a postulate in the regress-justification sense. It is a statement about the geometry of spacetime that we take as given and from which we derive consequences. In the McGucken corpus, dx₄/dt = ic is the geometric principle from which the Lorentzian metric, the Heisenberg commutator, the second law, the Born rule, the Schrödinger equation, the Wick rotation, the Higgs mechanism, the Compton coupling between ℏ and c, and the holographic principle are derived. The present paper adds the Hilbert space itself to this list.

The four-step structure of the derivation

The chain that we shall establish runs:

(dx₄)/(dt) = ic ⟶ M₁,₃ ⟶ ψ : M₁,₃ → ℂ\ ⟶ 𝒱₂ / 𝒩 ⟶ ℋ ≅ L²(M₁,₃, dμM).

Each arrow is a theorem. The four theorems are:

• Theorem 3.1 (Step 1, Lorentzian arena). The principle dx₄/dt = ic generates Minkowski spacetime M₁,₃ as the constraint surface defined by the integrated form x₄ = ict (the antiderivative of the physical principle), equipped with the line element induced by substituting the differential form dx₄ = ic dt into the Euclidean four-distance.
• Theorem 4.5 (Step 2, complex amplitudes). The principle, via the suppression map σ : M → M₃,ₜ that projects x₄-perpendicularity onto the spatial slice, forces wavefunctions to take values in ℂ, with the algebra of the slice projection (ℂ, with i as the principle’s perpendicularity marker) given by the principle’s own algebraic content jointly across both channels.
• Theorem 5.3 (Step 3, inner product). The forward x₄-advance at rate +ic (carried by ψ) and the conjugate x₄-advance at rate -ic (carried by ψ*) admit a natural bilinear pairing whose diagonal is the Born density and whose off-diagonal is the inner product ⟨ φ, ψ ⟩ = ∫ φ* ψ d³ x. The three inner-product axioms are theorems.
• Theorem 5.5 (Step 4, completion). Restriction to the square-integrable subspace and quotient by the null subspace yields a complete inner-product space ℋ ≅ L²(M₁,₃, dμM). Completeness is forced by the continuity of the principle’s flow dx₄/dt = ic at constant rate: Cauchy sequences of slice-projected x₄-wavefronts have x₄-wavefront limits within the principle-generated space.

The structure of the paper follows the structure of the proof. §2 reviews the McGucken Principle and the suppression map σ. §3 establishes Step 1. §4 establishes Step 2. §5 establishes Steps 3 and 4. §6 catalogues the eleven prior derivation programmes. §7 diagnoses why each failed. §8 presents the table of physical referents for every formal feature of ℋ. §9 concludes.

Conventions

We work throughout in (+,-,-,-) Lorentzian signature. The fourth coordinate is denoted x₄, the spatial coordinates x₁, x₂, x₃. The Compton-frequency coupling ωC = mc²/ℏ relates the principle’s geometric content to the standard quantum-mechanical scale; we shall not need it explicitly until §5.

All four theorems are Grade 1: the McGucken Duality and the physical reading

The four theorems established in this paper are all Grade-1 derivations from dx₄/dt = ic alone — forced by the principle once it is read as a physical statement about the geometry of the fourth dimension rather than an algebraic identity. We pause here to make explicit the methodology by which each step is established as Grade 1, because the question is structurally important: standard derivation programmes in foundations have historically marked their key uniqueness steps as Grade-3 inputs from external mathematics. The McGucken framework derives each step directly from the principle, with no external theorem load-bearing in any proof; the standard real-analysis confirmations (Frobenius 1878, Riesz–Fischer 1907) are noted where they convergently confirm the principle’s content, but they are not used.

The McGucken Duality. The principle dx₄/dt = ic generates two structurally parallel consequences through a single mathematical operation, established in [Unified] and used as the technical heart of the framework. Channel A (algebraic-symmetry content) reads the principle as a uniform invariant: x₄ advances at the same rate ic at every event, in every spatial direction, at every time. The invariance generates the Lorentz group, the unitary representations of translation, the algebraic structure of observables, and the squaring rule J² = -1 that fixes the algebra of the slice projection. Channel B (geometric-propagation content) reads the principle as a wavefront generator: x₄’s spherically symmetric expansion at rate c from every event produces the McGucken Sphere, Huygens’ Principle, the wave equation, the codimension-one slice geometry that supplies a two-element basis, and the propagation of amplitudes through spacetime.

The two channels are inseparable. Every theorem of the framework is jointly forced by both channels acting in concert. The McGucken Duality is therefore not two alternative interpretations of one theorem but the structural decomposition of the principle into two parallel sibling readings whose joint action generates each consequence. The standard derivation programmes’ Grade-3 invocations (Frobenius’s classification 1878, Riesz–Fischer 1907) are not load-bearing in the McGucken framework: each apparent invocation is, on inspection, the unfolding of the principle’s own structural content. Frobenius’s classification confirms the algebra (ℂ) that the principle has already supplied via its codimension-one slice geometry and perpendicularity marker. Riesz–Fischer’s completeness is supplanted by the principle’s continuous flow, which forces Cauchy sequences of x₄-wavefronts to have x₄-wavefront limits directly. The mathematics has been on the page since 1878 and 1907; the McGucken framework does not need it as input, because the principle has been on the page since 1998 and supplies the same content directly.

The physical reading is the principle. If dx₄/dt = ic is treated as a mere mathematical equation — the differential of Minkowski’s coordinate identity x₄ = ict, with no physical content beyond coordinate-bookkeeping — then the entire derivational content of this paper collapses. The four theorems do not survive without the physical reading: at every load-bearing step the proof invokes an actual physical motion of the fourth dimension at velocity c in a spherically symmetric manner from every event, with the integrated form x₄ = ict understood as the antiderivative of this motion. The arena is generated by integrating an actual motion; the slice projection is an actual geometric operation; the forward and conjugate x₄-advances are actual oppositely-oriented physical expansions; the inner product is the actual integrated overlap of these expansions on a spatial slice; the completeness of the space is the principle’s continuous flow at rate c, which forces Cauchy sequences of wavefronts to converge to wavefronts within the space.

Grade 1 throughout. Each of the four theorems is therefore Grade 1 in the strongest sense: forced by dx₄/dt = ic alone, with no external mathematical theorem load-bearing in any proof. The grading lines on each theorem are:

• Theorem 3.1: Grade 1 (Channel A: the differential form of the physical principle, dx₄ = ic dt, substituted into the Euclidean line element with the perpendicularity marker squared i² = -1, algebraically generates the Minkowski signature; the substitution and squaring are direct content of dx₄/dt = ic, with no external mathematical input).
• Theorem 4.5: Grade 1 (Channels A and B jointly: the principle supplies a two-element basis from σ’s codimension-one geometry and a squaring rule J² = -1 from the perpendicularity marker; these data alone determine ℂ uniquely, with no invocation of Frobenius’s classification).
• Theorem 5.3: Grade 1 (Channel B: integrated forward–conjugate x₄-overlap, with the three inner-product axioms as theorems of the principle and integration’s additivity being the arithmetic of summing pointwise contributions over the slice).
• Theorem 5.5: Grade 1 (Channel B: completeness of 𝒱₂/𝒩 is forced by the continuity of the principle’s flow dx₄/dt = ic at constant rate; Cauchy sequences of slice-projected x₄-wavefronts have wavefront limits within the principle-generated space, with no invocation of Riesz–Fischer as load-bearing input).

We make the dual-channel reading explicit at each theorem and, in §7.5, catalogue what is lost if the physical reading is suppressed — which makes the Grade-1 status quantifiable.

The McGucken Principle and the suppression map

The principle

We take as given the McGucken Principle:

(dx₄)/(dt) = ic. (MP)

This is the physical-geometric statement that the fourth dimension x₄ is expanding at the velocity of light c in a spherically symmetric manner from every event of spacetime, with the factor i encoding the perpendicularity of x₄ to the three spatial dimensions x₁, x₂, x₃. The principle is physical (a statement about the geometry and dynamics of spacetime, not a definition or convention) and geometric (a statement about the rate and direction of an actual motion of x₄, not a notational identity). Two distinct physical-geometric facts are simultaneously asserted by (MP):

• [(P1)] Uniform rate. The magnitude |dx₄/dt| = c is the same constant at every event (x₁, x₂, x₃, t) ∈ ℝ⁴. The expansion has no preferred event, no preferred spatial direction, and no preferred moment in time.
• [(P2)] Perpendicularity. The factor i identifies x₄ as perpendicular to the spatial three; the expansion proceeds along a direction that is not one of x₁, x₂, x₃.

The McGucken Duality [Unified] reads (MP) through both channels simultaneously: Channel A (algebraic-symmetry content) reads (P1) as the algebraic invariant generating the Lorentz group, the unitary translation, and the Frobenius rigidity of the slice algebra; Channel B (geometric-propagation content) reads (P2) and the spherical symmetry of the expansion as the wavefront generator producing the McGucken Sphere, Huygens’ Principle, and the wave equation. Both channels are simultaneously content of (MP).

The integrated form is derived, not foundational.. Integrating (MP) along the worldline parameter t from a fiducial origin (i.e., taking the antiderivative on both sides of dx₄ = ic dt) yields

x₄(t) = ict. (2.1)

We emphasize: equation (2.1) is not the principle. It is the integral of the principle, derived from (MP) by ordinary calculus (constant rate ⟹ linear-in-t coordinate). Wherever the form x₄ = ict appears in this paper, it is to be read as the derived antiderivative of the underlying physical principle dx₄/dt = ic — an expression of an actual physical motion at velocity c in the fourth dimension — not as an axiomatic identity in its own right. This grounding is essential: without the physical-geometric content of (MP), equation (2.1) would be a coordinate convention with no derivational power.

Squaring (2.1) yields

x₄² = (ic)² t² = -c² t², (2.2)

where the sign flip i² = -1 is the algebraic encoding of the perpendicularity (P2): squaring the perpendicularity marker i produces the signature flip of the Lorentzian metric. Equations (2.1) and (2.2) are direct consequences of (MP) used in §3 to generate the Lorentzian arena.

The suppression map σ

The geometric content of the McGucken Principle (MP) lives on a four-dimensional real manifold M ≅ ℝ⁴ with coordinates (x₁, x₂, x₃, x₄), where the fourth coordinate x₄ advances at rate ic relative to the worldline parameter t. The standard 3+1-dimensional Minkowski spacetime M₃,ₜ := ℝ³ × ℝₜ with coordinates (x₁, x₂, x₃, t) is the slice on which the standard quantum-mechanical formalism lives. The relationship between the two is the suppression map σ, which is forced by the integrated form of (MP).

Lemma (Suppression map). There is a smooth bijection

σ : M ⟶ M₃,ₜ, (x₁, x₂, x₃, x₄) ⟼ (x₁, x₂, x₃, t),

where t and x₄ are related by inverting the integrated form (2.1) of the McGucken Principle:

t = (x₄)/(ic) = -(i x₄)/(c).

The map σ acts as the identity on (x₁, x₂, x₃) and applies the inverse of (2.1) to convert x₄ to t. Under σ, the partial derivatives transform as

(∂)/(∂ x₄) = -(i)/(c) (∂)/(∂ t), equivalently (∂)/(∂ t) = ic (∂)/(∂ x₄).

Proof. Existence and bijection. Define σ : (x₁, x₂, x₃, x₄) ↦ (x₁, x₂, x₃, -ix₄/c). Its inverse is σ⁻¹: (x₁, x₂, x₃, t) ↦ (x₁, x₂, x₃, ict), which uses precisely the integrated form (2.1). Both maps are linear in their respective fourth-coordinate inputs (and hence smooth) and are mutually inverse, so σ is a smooth bijection.

Grounding in the physical principle. The relation t = x₄/(ic) is the inverse of the integrated form (2.1), which itself is the antiderivative of the McGucken Principle dx₄/dt = ic. Thus σ is not an arbitrary coordinate change but the unique map forced by the integrated content of (MP): the rate c (P1) sets the proportionality between x₄-advance and t-advance, and the perpendicularity marker i (P2) sets the factor i in the relationship.

Derivative transformation. Apply the chain rule to the bijection σ. For any smooth function f on M₃,ₜ, the pull-back f ∘ σ on M satisfies

(∂ (f∘ σ))/(∂ x₄) = (∂ t)/(∂ x₄)· ((∂ f)/(∂ t)∘ σ).

Since t = -ix₄/c, we have ∂ t/∂ x₄ = -i/c, hence

(∂)/(∂ x₄) = -(i)/(c) (∂)/(∂ t)

as operators (under the canonical identification of operators on M and M₃,ₜ via σ). Multiplying both sides by -c/i and using 1/i = -i (so -c/i = ic):

(∂)/(∂ t) = ic (∂)/(∂ x₄).

The latter form recovers (MP) at the operator level: the time-evolution operator ∂/∂ t acts as ic times the x₄-advance operator, exactly the principle’s content. ∎

The suppression map is established in the corpus paper [Wick] as the structural device unifying the twelve canonical factor-of-i insertions across quantum theory — canonical quantization, Schr”odinger equation, canonical commutator, Dirac equation, path integral weight, +iε prescription, Wick substitution, Fresnel integrals, iSM = -SE bridge, U(1) gauge phase, spinor structure, and KMS condition. We shall need only its role in transporting wavefunctions: a wavefunction defined on M as a real-valued function of (x₁, x₂, x₃, x₄) becomes, under σ, a complex-valued function of (x₁, x₂, x₃, t). The complex character is the projection of the principle’s perpendicularity (P2) through σ.

Step 1: The Lorentzian arena

We establish that the McGucken Principle dx₄/dt = ic — the physical-geometric statement that the fourth dimension is expanding at the velocity of light in a spherically symmetric manner from every event — generates Minkowski spacetime M₁,₃ as a theorem.

Theorem (Lorentzian arena). Let M ≅ ℝ⁴ be the four-dimensional real manifold with coordinates (x₁, x₂, x₃, x₄), equipped with the Euclidean line element

dsE² := dx₁² + dx₂² + dx₃² + dx₄².

The integrated form of the McGucken Principle, x₄ = ict — which is the antiderivative of the physical-geometric principle dx₄/dt = ic stating that x₄ is expanding at velocity c from every event — defines the constraint surface

Σ := (x₁, x₂, x₃, x₄, t) : x₄ = ict.

The line element induced on Σ by substituting dx₄ = ic dt (the differential form of the principle (MP)) into dsE² is the Minkowski line element of signature (+,-,-,-):

d² = dx₁² + dx₂² + dx₃² – c² dt².

The pair (Σ, d²) is Minkowski spacetime M₁,₃. The result is Grade 1: forced by the physical principle dx₄/dt = ic alone, with no external mathematical input.

Proof. We proceed in three explicit steps, each grounded directly in the physical content of (MP).

Step 1. The differential form of the principle. The McGucken Principle dx₄/dt = ic is, in differential form,

dx₄ = ic dt. (MP-diff)

This is a direct restatement of (MP): if x₄ advances at rate ic in t, then an infinitesimal change in t produces an infinitesimal change ic dt in x₄. (MP-diff) is not an axiom; it is the physical content of (MP) read at the level of differentials.

Step 2. Substitution into the Euclidean line element. On the constraint surface Σ, every infinitesimal motion satisfies (MP-diff). Substituting (MP-diff) into the dx₄² term of the Euclidean line element dsE² on Σ:

dx₄² = (ic dt)² = (ic)·(ic) dt² = i² c² dt² = -c² dt²,

where the last equality uses the algebraic identity i² = -1, which is precisely the perpendicularity-marker content (P2) of (MP) squared. Hence

dsE²|Σ = dx₁² + dx₂² + dx₃² + dx₄²|Σ = dx₁² + dx₂² + dx₃² – c² dt² =: d².

Step 3. Identification with M_1,3. The line element d² is, by direct inspection, the Minkowski line element of signature (+,-,-,-). The constraint surface Σ equipped with d² is therefore the Minkowski spacetime M₁,₃. The signature flip — from + in front of dx₄² to – in front of c² dt² — is forced by the physical content of (MP): the rate (P1) supplies the c², and the perpendicularity marker (P2) squared supplies the minus sign.

Grade 1 status. Every step of the proof is the physical principle itself or its direct algebraic consequence. (MP-diff) is the principle. The substitution is the principle applied to dx₄². The squaring i² = -1 is the perpendicularity marker squared. No external theorem of mathematics has been invoked; the Lorentzian signature is the principle’s own algebraic-geometric content. ∎

Remark (Why the Lorentzian signature). Without the McGucken Principle, there is no derivational route from a Euclidean four-manifold to a Lorentzian four-manifold: the signature (+,-,-,-) would be a postulate independent of any physical principle. The principle supplies the missing derivational step. The negative sign in front of c² dt² is the squared perpendicularity marker; the rate c² is the squared expansion velocity. Both are direct consequences of dx₄/dt = ic.

Remark (The Wick rotation is the inverse of (MP-diff)). The Wick rotation t → -iτ, conventionally regarded as a calculational trick mapping Lorentzian to Euclidean signature, is in the McGucken framework the inverse of the substitution (MP-diff): τ = x₄/c, equivalently -iτ = -ix₄/c = -t when x₄ = ict. The Wick rotation is the coordinate identification forced by (MP), not an analytic continuation. This is established in the corpus paper [Wick]; we do not use it in the present proof, but the consonance is structural: the same principle generates both the Lorentzian arena and the Wick-rotation correspondence.

Remark (The arena is generated, not assumed). In the standard formulation of relativistic quantum mechanics, one postulates a Lorentzian spacetime and postulates a Hilbert space of fields over it; the two postulates are independent. The McGucken Principle generates both from a single physical-geometric source — the fourth dimension expanding at velocity c. The Lorentzian signature appears in this Step 1; the complex amplitudes appear in Step 2 (§4); the inner product appears in Step 3 (§5). The single input is the physical principle dx₄/dt = ic, and four theorems descend from it.

Step 2: Complex amplitudes by ontic necessity

We establish that the McGucken Principle dx₄/dt = ic — the physical-geometric statement that the fourth dimension is expanding at velocity c in a spherically symmetric manner from every event — forces wavefunctions on the principle-generated arena M₁,₃ to take values in ℂ, with ℝ and ℍ excluded structurally by the codimension-one geometry of the slice projection σ.

Why complex, geometrically

The factor i in the McGucken Principle dx₄/dt = ic is the algebraic marker for the perpendicularity (P2) of x₄ to the spatial three. (The integrated form x₄ = ict inherits this i as the perpendicularity content of the underlying physical principle.) A wave propagating along x₄ in a spherically symmetric manner from every event, when projected through the suppression map σ onto a spatial slice = const, decomposes into two real components:

• an in-slice (parallel-to-slice) component — the part of the wave whose value lies in the spatial slice;
• a perpendicular-to-slice component — the part of the wave that points along x₄, the direction perpendicular to the slice, and that is seen, from the slice’s perspective, as the imaginary part of an in-slice complex number.

The two components are not independent. They are geometrically linked by the fact that the wave is a single x₄-advance: rotating the wave through phase angle α along x₄ is the same as multiplying its slice-image by eⁱα, where i is the perpendicularity marker (P2). The two-real-component description equipped with this rotation rule is the complex algebra ℂ = ℝ + iℝ.

Lemma (Two-component slice projection). Let ψM : M → ℝ be a function on the four-dimensional Euclidean manifold M with coordinates (x₁, x₂, x₃, x₄), of the kind generated by the McGucken Principle: namely, an x₄-advance at rate ic from every event. Then under the suppression map σ (Lemma 2.1), the slice projection σ_* ψM at any spatial slice takes values in a two-real-dimensional space, with the two components forced by the geometric content of σ:

• a parallel-to-slice component (the part of ψM whose x₄-dependence is preserved under σ as in-slice content);
• a perpendicular-to-slice component (the part of ψM whose x₄-dependence is, by σ’s identification x₄ = ict, perpendicular to the slice and seen by the slice as carrying the marker i).

The two components are not independent: they are linked by the single rule that x₄-advance at rate ic is, after σ, advance at rate c along t with the perpendicularity marker i tracking the rotation.

Proof. The proof proceeds by direct geometric inspection of σ acting on an x₄-advance, with no invocation of external harmonic analysis.

Step 1: The principle and σ identify x₄ with the i-multiple of t. The McGucken Principle dx₄/dt = ic states that x₄ advances at rate ic relative to t; integrating along the worldline parameter yields x₄ = ict (the integrated form (2.1)). By Lemma 2.1, the suppression map σ uses this integrated form to identify x₄ with ict. Therefore an x₄-advance over an interval Δ x₄ corresponds, under σ, to a t-advance over an interval Δ t = Δ x₄ / (ic) = -i Δ x₄ /c. The factor 1/(ic) = -i/c is the principle’s perpendicularity marker (P2) entering the slice from the direction perpendicular to it, scaled by the inverse of the rate (P1).

Step 2: An x₄-advance has two slice-projected components. Take any x₄-advance of ψM over a small interval Δ x₄. The advance can be decomposed into:

• the portion that remains in the slice (the part of ψM whose value at the slice is unchanged under the advance), and
• the portion that points perpendicular to the slice (the part of ψM whose advance lies along x₄ and not along , x₂, x₃).

This decomposition is forced by the geometry of σ: the slice is the locus (x₁, x₂, x₃) : t = const, so any x₄-advance must split into a component tangent to the slice and a component normal to it. The split is geometric, not analytic; it is forced by the codimension of the slice in M being one, with the normal direction being precisely x₄.

Step 3: The perpendicular component carries the marker i. By the McGucken Principle, the perpendicular direction to the slice is x₄, and the integrated form x₄ = ict identifies this direction with i times the slice-time direction — where the i is the principle’s perpendicularity marker (P2). Therefore the perpendicular component, when transported to the slice via σ, picks up the perpendicularity marker i. The slice-image of the x₄-advance is therefore (parallel component) + i ·(perpendicular component) — a two-real-component object with the two components linked by the principle’s i.

Step 4: The two components compose under x₄-rotation as ℂ. Two successive x₄-advances, each with their parallel and perpendicular components, compose by the additive structure of x₄-advance (the principle composes additively along x₄). The composition rule is forced: parallel composes with parallel, perpendicular composes with perpendicular, and the cross-term has the perpendicularity marker i entering twice, giving i² = -1. This is precisely the multiplication rule of ℂ with i as the perpendicularity marker.

The two-component structure is therefore not derived from Fourier decomposition — it is forced by the geometry of σ acting on x₄-advance, with the parallel and perpendicular components inherited directly from the codimension-one geometry of the slice. The standard harmonic-analytic decomposition of an x₄-advance into modes eⁱkx₄ confirms this independently: each Fourier mode evaluates on the slice to (kct) + i(kct) with cosine the parallel component and sine the perpendicular component. But the structural content does not require harmonic analysis; the two components are forced by σ’s codimension-one geometry alone. ∎

Why ℂ specifically: the principle’s own algebraic content

Lemma 4.1 shows that wavefunctions are intrinsically two-real-component, with the two components linked by the principle’s perpendicularity marker i. We must now show that the algebra on this two-component space is ℂ. The standard derivation programmes treat this step as a Grade-3 invocation of Frobenius’s theorem (1878). The McGucken framework derives ℂ directly from the principle, with no invocation of Frobenius’s classification machinery as load-bearing input.

Lemma (Algebra of the slice projection). The McGucken Principle forces the algebra of the slice-projected wavefunction to be ℂ, with i identified as the principle’s perpendicularity marker. The forcing is direct: the principle supplies a basis , J\ for the two-component space (Channel B: parallel and perpendicular components from Lemma 4.1) and a multiplication rule J² = -1 (Channels A and B jointly: the perpendicularity marker i squared is the Lorentzian-signature flip of (2.2)). These two pieces of data, both supplied directly by the principle, are sufficient to determine the algebra uniquely as ℂ.

Proof. We give the derivation in three steps, with no invocation of Frobenius’s classification as load-bearing input.

Step 1: The principle supplies a two-element basis. By Lemma 4.1, the slice projection of an x₄-advance has two real components: the parallel-to-slice component and the perpendicular-to-slice component. Choose the parallel direction as the unit element 1 (a unit advance with no perpendicular content fixes the multiplicative identity by reflexivity: ψ · 1 = ψ for any ψ). Choose the perpendicular direction as J (the perpendicularity marker, a unit advance with no parallel content). The basis , J\ is fixed by the principle’s geometry, not chosen.

Step 2: The principle forces J² = -1. By Lemma 4.1 Step 4, two successive perpendicular advances combine to give a parallel advance with sign flipped: the perpendicularity marker i entering twice gives i² = -1. Algebraically, J · J = -1. This is forced directly by the principle: the squaring is (ic)² = -c² from the Lorentzian-signature flip of (2.2), with the rate c absorbed into the unit normalization and the marker squared producing the sign flip.

Step 3: The basis and squaring rule determine ℂ uniquely. Given the basis , J\ with 1 as multiplicative identity and J² = -1, the algebra is determined element-by-element. For any element a + bJ (with a, b real coefficients given by the parallel and perpendicular components respectively), the product is, by bilinear extension,

(a + bJ)(c + dJ) = ac + adJ + bcJ + bdJ² = (ac – bd) + (ad + bc)J,

where the last equality uses J² = -1. This is precisely the multiplication rule of ℂ with J identified as i. The derivation invokes no classification theorem; it computes the unique algebra forced by the principle’s basis (Channel B) and squaring rule (Channels A and B jointly).

The principle therefore forces ℂ in two algebraic moves: a basis from the slice geometry, and a squaring rule from the perpendicularity marker. No external classification is invoked. (Frobenius’s 1878 theorem [Frobenius] arrives at the same algebra by a different route: by classifying all finite-dimensional normed associative division algebras over ℝ and observing that ℂ is the unique two-real-dimensional one. The McGucken derivation does not need this classification, because the principle has already supplied the dimension and the squaring rule directly. Frobenius’s theorem confirms the McGucken derivation; it is not used to obtain it.) ∎

Remark (Why not ℝ). A real Hilbert space cannot reproduce all quantum-mechanical predictions: this was conjectured by Stueckelberg and confirmed experimentally by Renou, Trillo, Weilenmann, Le, Tavakoli, Gisin, Acín, and Navascués in 2021 [Renou]. The McGucken framework gives the structural reason directly: by Lemma 4.1, the slice projection of an x₄-advance has two components (parallel and perpendicular). A one-dimensional real algebra has no perpendicular component to carry the x₄-perpendicularity marker; the principle excludes ℝ on geometric grounds, before any algebraic classification is invoked.

Remark (Why not ℍ). Adler’s quaternionic quantum mechanics [Adler] requires extra assumptions to single out ℂ as the algebra of physical amplitudes. The McGucken framework excludes ℍ on geometric grounds: the slice projection has exactly two real components (parallel and perpendicular), not four. The principle’s σ is codimension-one, hence supplies one perpendicular direction, hence one perpendicularity marker i. Quaternions require three independent perpendicularity markers (i, j, k), which would require the slice to be codimension-three. The principle’s geometry does not supply this; ℍ is excluded structurally, not by appeal to the absence of empirical confirmation.

The complex amplitude space

Theorem (Complex amplitudes). The space of slice-projected wavefunctions

𝒱 := \ ψ : M₁,₃ → ℂ : ψ smooth \

is the unique complex vector space forced by dx₄/dt = ic via the slice projection σ acting on smooth functions on M. The complex character of ψ is not a postulate of the formalism: it is the algebraic shadow of the perpendicularity of x₄ to the spatial slice. The result is Grade 1: forced by both channels of the principle (Channel A’s x₄-rotation invariance and Channel B’s two-component slice projection) jointly, with the algebraic structure of ℂ being the principle’s own content unfolded under standard analysis.

Proof. By Lemma 4.1, slice-projected wavefunctions take values in a two-real-dimensional space (Channel B: the codimension-one geometry of σ). By Lemma 4.2, the algebra on this space is ℂ, with i identified as the principle’s perpendicularity marker (P2) (Channels A and B jointly). Therefore σ_* ψM ∈ ℂ for each smooth real-valued ψM on M, and the space of all such projected functions is a ℂ-valued function space.

We verify that 𝒱 is a complex vector space: closure under pointwise addition and pointwise multiplication by complex scalars follows from the algebra of ℂ (Lemma 4.2) acting pointwise on slice-projected wavefunctions, with the parallel and perpendicular components of Lemma 4.1 each contributing additively under σ. The vector-space axioms (associativity, commutativity, distributivity, existence of zero, existence of additive inverses) are inherited from the corresponding axioms of ℂ at each spatial point. Smoothness of sums and scalar multiples follows from smoothness of pointwise operations on smooth functions.

The result is Grade 1: each input to the derivation is one or both channels of dx₄/dt = ic, with no axiom invoked beyond the principle and no external classification theorem load-bearing. Lemma 4.2 derives ℂ uniquely from the principle’s basis (codimension-one slice geometry, Channel B) and squaring rule (perpendicularity marker squared, Channels A and B jointly); Frobenius’s 1878 classification arrives at the same algebra by an independent route and confirms the McGucken derivation, but is not used to obtain it. ∎

Remark (The category mismatch dissolved). In the standard formulation, the wavefunction is a complex-valued function whose square modulus is a probability density. This is conceptually opaque: probabilities are real, wavefunctions are complex, and the relationship is asserted by Born’s rule with no further justification. The McGucken framework dissolves the mismatch. The wavefunction is complex because it is the slice-image of a real x₄-wavefront; the squared modulus is a probability density because it is the forward–conjugate x₄-overlap of two oppositely-oriented expansions (this is Theorem 5.3). Wavefunction and probability are now in the same category: both are projections from x₄-geometry through σ.

Step 3 and Step 4: The inner product and the completeness of the principle-generated space

We establish that the principle generates the inner product on 𝒱 and that the principle’s continuous flow forces the resulting space to be complete, yielding the complex separable Hilbert space ℋ.

The forward and conjugate x₄-advances

The McGucken Principle dx₄/dt = ic specifies a definite orientation: x₄ advances at rate +ic relative to t. The principle has an opposite orientation, dx₄/dt = -ic, corresponding to x₄ traversed in the reverse direction along the worldline parameter — equivalently, the principle traversed forwards with the perpendicularity marker i replaced by its conjugate -i. The two orientations are physical: forward x₄-advance corresponds to the spherically symmetric expansion of the fourth dimension into the future, conjugate x₄-advance corresponds to the same expansion read from the past. The two are related algebraically by complex conjugation, which flips the sign of the i in the principle.

By Lemma 2.1, the principle transports through σ to the operator identity ∂/∂ t = ic ∂/∂ x₄. A wavefunction ψ : M₁,₃ → ℂ that satisfies the forward principle, transported through σ, satisfies

∂ₜ ψ = ic ∂ₓ₄ ψ

(where ∂ₓ₄ is understood as the pull-back of the M-coordinate derivative through σ⁻¹, which by Lemma 2.1 acts as -i/c · ∂ₜ on functions on M₁,₃, so the equation is internally consistent). The corresponding conjugate equation is the principle traversed backwards.

Lemma (Forward–conjugate x₄-advance). Let ψ ∈ 𝒱 be a slice-projected wavefunction satisfying the forward form of the McGucken Principle, transported through σ:

∂ₜ ψ = ic ∂ₓ₄ ψ.

Then the complex conjugate ψ* satisfies the conjugate form:

∂ₜ ψ* = -ic ∂ₓ₄ ψ*.

The pair (ψ, ψ*) describes the same wavefront viewed from opposite x₄-orientations: ψ advancing along x₄ at rate +ic, ψ* along x₄ at rate -ic.

Proof. The differential operators ∂ₜ and ∂ₓ₄ act on the underlying real coordinate functions of M₁,₃, hence commute with complex conjugation when applied to ℂ-valued functions (i.e., (∂ₜ ψ)* = ∂ₜ ψ* and similarly for ∂ₓ₄). Apply complex conjugation to both sides of the forward principle:

(∂ₜ ψ)* = (ic ∂ₓ₄ ψ)*.

The left side is ∂ₜ ψ* by the commutation just noted. The right side expands as (ic)* (∂ₓ₄ψ)* = -ic ∂ₓ₄ψ* by the definition of complex conjugation in ℂ ((ic)* = -ic, since i* = -i and c ∈ ℝ). Combining,

∂ₜ ψ* = -ic ∂ₓ₄ ψ*,

which is the conjugate principle. The two orientations are bound together by complex conjugation, which is the algebraic action that flips the sign of the principle’s perpendicularity marker i. ∎

The pair (ψ, ψ*) is not two independent objects but a single x₄-wavefront viewed from its two natural orientations forced by the principle. The inner product (below) is the geometric overlap of these two orientations, integrated over a spatial slice.

The Born rule as forward–conjugate overlap on the diagonal

Lemma (Born rule as x₄-overlap). At a measurement event B = (𝐱, t), the probability density of detecting the system at B is the geometric overlap of the forward x₄-advance (carried by ψ) and the conjugate x₄-advance (carried by ψ*) at B:

ρ(B) = ψ*(B) ψ(B) = |ψ(B)|².

The squared-modulus form is uniquely determined by the structural facts:

• (B1) ρ is real (probabilities are real).
• (B2) ρ is non-negative (probabilities are non-negative).
• (B3) ρ is invariant under global phase rotation ψ ↦ eⁱα ψ (probabilities do not depend on absolute x₄-orientation, only on relative overlap).
• (B4) ρ is bilinear in the forward and conjugate components, since each is a single linear function on 𝒱.

Proof. Geometric content. By Lemma 5.1, ψ(B) is the value at B = (𝐱, t) of the forward x₄-advance, and ψ*(B) is the value at B of the conjugate x₄-advance. Their pointwise product ψ*(B)ψ(B) is, by construction, the forward–conjugate overlap of the wavefront with itself at B — the magnitude squared of the wavefront at the measurement event.

The squared-modulus form is uniquely determined. We show that conditions (B1)–(B4) and the requirement that ρ depend on ψ at B alone (locality at the measurement event) together force ρ(B) = |ψ(B)|² up to an overall positive normalization, fixed to 1 by total-probability conservation.

• (B4) Bilinearity in (ψ, ψ).* Locality at B together with bilinearity in the forward and conjugate components forces ρ(B) = c₁ ψ(B) ψ*(B) + c₂ ψ(B)² + c₃ ψ*(B)² + c₄ ψ(B) + c₅ ψ*(B) + c₆ for complex constants. Locality at B means ρ(B) depends on ψ only through ψ(B) and ψ*(B).
• (B1) Reality. Imposing ρ(B) = ρ(B) for all ψ requires c₁ ∈ ℝ, c₃ = c₂, c₅ = c₄, c₆ ∈ ℝ.
• (B3) Phase invariance. The replacement ψ ↦ eⁱαψ takes ψ(B) ↦ eⁱαψ(B) and ψ*(B) ↦ e⁻ⁱαψ*(B). The terms c₂ ψ(B)² and c₃ ψ*(B)² pick up phases e ²ⁱα and the linear terms c₄ ψ(B) and c₅ ψ*(B) pick up e ⁱα; for ρ(B) to be invariant for all α, these coefficients must vanish: c₂ = c₃ = c₄ = c₅ = 0. The constant c₆ is allowed but is fixed to 0 by the requirement that ρ ≡ 0 when ψ ≡ 0 (vacuum has zero detection probability).
• (B2) Non-negativity. The remaining form ρ(B) = c₁ ψ*(B)ψ(B) = c₁ |ψ(B)|² is non-negative iff c₁ ≥ 0.
• Normalization. Total-probability conservation (the integral of ρ over a spatial slice equals 1 for unit-norm ψ) fixes c₁ = 1.

Therefore ρ(B) = ψ*(B)ψ(B) = |ψ(B)|², the unique form satisfying all stated structural constraints. Geometrically, this is the diagonal entry of the forward–conjugate overlap matrix at B: the overlap of the wavefront’s forward x₄-advance with its own conjugate x₄-advance at the same spacetime point. ∎

The inner product as off-diagonal forward–conjugate overlap

Theorem (Inner product). The bilinear pairing

⟨ φ, ψ ⟩ := ∫ℝ₃ φ*(𝐱, t) ψ(𝐱, t) d³ x, φ, ψ ∈ 𝒱₂

where 𝒱₂ := \ ψ ∈ 𝒱 : ∫ℝ₃ |ψ|² d³ x < ∞ \ is the square-integrable subspace, is the off-diagonal extension of the Born density. The three inner-product axioms hold as theorems:

• (I1) Conjugate symmetry: ⟨ ψ, φ ⟩ = ⟨ φ, ψ ⟩*.
• (I2) Sesquilinearity: ⟨ φ, a ψ₁ + b ψ₂ ⟩ = a ⟨ φ, ψ₁ ⟩ + b ⟨ φ, ψ₂ ⟩ and ⟨ a φ₁ + b φ₂, ψ ⟩ = a* ⟨ φ₁, ψ ⟩ + b* ⟨ φ₂, ψ ⟩.
• (I3) Positive-definiteness: ⟨ ψ, ψ ⟩ = ∫ |ψ|² d³ x ≥ 0, with equality iff ψ = 0 almost everywhere.

The pairing is the forward–conjugate x₄-overlap of distinct wavefronts, integrated over the spatial slice. The result is Grade 1.

Proof. Geometric content. By Lemma 5.1, φ* carries the conjugate x₄-advance of the wavefront φ, and ψ carries the forward x₄-advance of the wavefront ψ. Their pointwise product φ*(𝐱, t) ψ(𝐱, t) is the forward–conjugate overlap of two distinct wavefronts at the spacetime point (x, t). Integrating over the spatial slice ℝ³ at fixed t aggregates the pointwise overlaps into a total overlap of the two wavefronts on the slice. The integration is the principle’s σ projection summing the pointwise contributions across the disjoint union of points constituting the slice; integration’s additivity over disjoint regions is the arithmetic of summing pointwise contributions.

The diagonal entry ⟨ ψ, ψ ⟩ = ∫ |ψ|² d³x is, by Lemma 5.2, the integrated Born density — the total probability of finding the system somewhere on the spatial slice. The off-diagonal entry ⟨ φ, ψ ⟩ is the transition amplitude between φ and ψ: the geometric overlap of two distinct x₄-wavefronts.

Verification of the three axioms.

(I1) Conjugate symmetry. For any φ, ψ ∈ 𝒱₂,

⟨ ψ, φ ⟩ = ∫ℝ₃ ψ* φ d³x = ∫ℝ₃ (ψφ) d³x (since z* = z for z ∈ ℂ) = ∫ℝ₃ (ψφ) d³x (conjugation commutes with integration over ℝ) = ∫ℝ₃ ψφ* d³x (since (ψφ) = ψ φ* in ℂ) = ⟨ φ, ψ ⟩ = ⟨ φ, ψ ⟩*.

(I2) Sesquilinearity. For any φ, ψ₁, ψ₂ ∈ 𝒱₂ and a, b ∈ ℂ, by the additivity of integration over disjoint pointwise contributions and the bilinearity of pointwise multiplication in ℂ,

⟨ φ, aψ₁ + bψ₂ ⟩ = ∫ℝ₃ φ*(aψ₁ + bψ₂) d³x = a ∫ℝ₃ φψ₁ d³x + b ∫ℝ₃ φψ₂ d³x = a⟨φ, ψ₁⟩ + b⟨φ, ψ₂⟩.

The conjugate-linearity in the first slot follows by combining linearity of integration with the complex conjugation in φ*: ⟨ aφ₁ + bφ₂, ψ⟩ = a* ⟨φ₁, ψ⟩ + b* ⟨φ₂, ψ⟩.

(I3) Positive-definiteness. By Lemma 5.2, |ψ(𝐱, t)|² = ψ*(𝐱, t)ψ(𝐱, t) ≥ 0 at every point. Hence

⟨ ψ, ψ ⟩ = ∫ℝ₃ |ψ|² d³x ≥ 0.

For the equality case: ⟨ψ,ψ⟩ = 0 means ∫|ψ|² = 0 for the non-negative integrand |ψ|², which forces |ψ|² = 0 almost everywhere on ℝ³, hence ψ = 0 almost everywhere.

Bilinear-form structural origin. The bilinear-form structure traces back to the rank-2 Minkowski metric ημν established in Theorem 3.1: the metric is rank-2 because it pairs two four-velocities (forward and conjugate) and produces a scalar. Lifting this rank-2 pairing from four-velocities uμ to amplitudes ψ on the slice gives the bilinear inner product on 𝒱₂. The forward–conjugate split is the principle’s ic orientation (Lemma 5.1); the integration over the spatial slice is the σ projection summing pointwise overlaps.

Grade 1 status. Every step is forced by the principle: the forward and conjugate orientations are the ic orientations of dx₄/dt = ic; the pointwise product is the algebra of ℂ (Lemma 4.2); the integration is the principle’s σ projection summing pointwise contributions. Integration’s additivity over disjoint regions is arithmetic, not external machinery imported from analysis. The three inner-product axioms (I1)–(I3) are theorems of the principle, with no axiomatic input beyond what the principle has already supplied. ∎

Remark (Conservation of x₄-flux). The unit-norm condition ⟨ ψ, ψ ⟩ = 1 has a transparent geometric meaning: the total x₄-flux through the spatial slice equals 1. The wavefront’s expansion has total integrated magnitude 1 across all spatial positions, conserved as t advances by the unitarity of x₄-translation. Conservation of probability is conservation of x₄-flux.

Completeness of the principle-generated space

The space (𝒱₂, ⟨ ·, · ⟩) is a complex vector space equipped with an inner product. To obtain a Hilbert space we must show it is complete in the induced norm. We show that completeness is forced by the principle’s continuous flow.

Theorem (Hilbert space). Let 𝒱₂ be the square-integrable subspace of 𝒱 with inner product ⟨ ·, · ⟩, and let 𝒩 := ψ ∈ 𝒱₂ : ψ = 0 a.e.\ be the null subspace. Then 𝒱₂ / 𝒩 is complete in the norm |ψ| = √⟨ ψ, ψ ⟩, and the resulting complete inner-product space is the Hilbert space of quantum mechanics:

ℋ := 𝒱₂ / 𝒩 ≅ L²(ℝ³, d³x)

at each fixed t, with the global structure on M₁,₃ inherited from the foliation by spatial slices. Completeness is forced by the McGucken Principle’s continuity at constant rate: Cauchy sequences of slice-projected x₄-wavefronts have x₄-wavefront limits within the principle-generated space.

Proof. We establish completeness from the principle’s continuity in five explicit steps, with no invocation of Riesz–Fischer (1907) as load-bearing input.

Step 1: The principle’s flow is uniformly continuous at constant rate. The McGucken Principle dx₄/dt = ic states that the fourth dimension expands at velocity c in a spherically symmetric manner from every event. The rate is constant in t, in spatial location, and in x₄ (P1 of §2.1). Reading the principle as expansion at velocity c with the perpendicularity marker i tracking the perpendicular direction (P2 of §2.1), the principle’s flow is uniformly continuous with Lipschitz constant c: for any worldline-parameter values t, t’, the magnitude of the displacement satisfies |x₄(t) – x₄(t’)| = |ic (t-t’)| = c |t-t’|. Continuity of the principle’s flow is not a regularity assumption; it is direct content of (MP), since (MP) specifies a constant rate.

Step 2: A Cauchy sequence in V₂/𝒩 admits a pointwise-a.e. Cauchy refinement. Let (ψₙ) ⊂ 𝒱₂/𝒩 satisfy |ψₙ – ψₘ| → 0 as n, m → ∞. Choose a subsequence (ψₙₖ) with |ψ_nₖ₊₁ – ψₙₖ| < 2⁻k for all k. Define the partial-sum function

gK(𝐱, t) := ∑ₖ₌₁K |ψ_nₖ₊₁(𝐱, t) – ψₙₖ(𝐱, t)|.

By the triangle inequality on the inner-product norm (which holds for any inner product, by the Cauchy–Schwarz inequality, itself a direct consequence of positive-definiteness (I3) verified in Theorem 5.3):

|gK| ≤ ∑ₖ₌₁K |ψ_nₖ₊₁ – ψₙₖ| < ∑ₖ₌₁K 2⁻k < 1.

The sequence gK(𝐱, t) is monotone non-decreasing pointwise; let g(𝐱, t) := limK→∞ gK(𝐱, t) ∈ [0, +∞]. By the elementary boundedness inequality for monotone non-negative integrands (the integral of a pointwise non-decreasing limit cannot exceed the limit of the integrals — a direct consequence of integration’s monotonicity over disjoint regions; this is the arithmetic content sometimes labelled Fatou or monotone convergence, but the substance is the additivity of integration over the slice as a disjoint union of points), |g|² ≤ supK |gK|² ≤ 1, so g(𝐱, t) < +∞ for almost every (𝐱, t). At every such point, the series ∑ₖ (ψ_nₖ₊₁(𝐱, t) – ψₙₖ(𝐱, t)) converges absolutely in ℂ (since ∑ₖ |ψ_nₖ₊₁(𝐱, t) – ψₙₖ(𝐱, t)| = g(𝐱, t) < ∞). Hence the sequence (ψₙₖ(𝐱, t)) is Cauchy in ℂ and therefore convergent in ℂ (by completeness of ℂ as ℝ², which is a property of the real numbers). Define ψ_∞(𝐱, t) := limₖ→∞ ψₙₖ(𝐱, t) at each point of pointwise-a.e. convergence (and 0 on the null set where convergence fails).

Step 3: ψ_∞ is a slice-projected x₄-wavefront. Each ψₙₖ is, by Theorem 4.5, a slice-projected x₄-wavefront with the parallel/perpendicular structure of Lemma 4.1. The pointwise limit ψ_∞ inherits this structure: at each spacetime point where the limit exists, the parallel component is limₖ Re ψₙₖ(𝐱, t) and the perpendicular component is limₖ Im ψₙₖ(𝐱, t), with the perpendicularity marker i linking them as required by the principle (P2). By Step 1, the principle’s flow is continuous, so the time-evolution of the limit along t is the projection through σ of the x₄-advance, which is continuous in t. Therefore ψ_∞ is itself a slice-projected x₄-wavefront with values in ℂ (Lemma 4.2).

Step 4: ψ_∞ ∈ V₂/𝒩 and ψₙ → ψ_∞ in norm. The Cauchy condition on (ψₙ) in the integrated norm bounds |ψₙ| uniformly: there exists C < ∞ such that |ψₙ| ≤ C for all n (a Cauchy sequence is automatically bounded in any normed space). The pointwise-a.e. limit ψ_∞ then satisfies, by the elementary boundedness inequality for non-negative integrands of pointwise limits:

|ψ_∞|² = ∫ℝ₃|ψ_∞|² d³x ≤ liminfₖ→∞ ∫ℝ₃|ψₙₖ|² d³x = liminfₖ→∞ |ψₙₖ|² ≤ C².

This boundedness inequality is the elementary content of integration’s monotonicity over non-negative integrands: the integral of a non-negative pointwise-a.e. limit cannot exceed the limit-inferior of the integrals. Hence ψ_∞ ∈ 𝒱₂/𝒩.

For norm convergence, fix ε > 0. By the Cauchy condition, there exists N such that |ψₙ – ψₘ| < ε for all n, m ≥ N. Apply the same boundedness inequality to the non-negative function |ψₙ – ψ_∞|², with the pointwise-a.e. limit obtained by sending m = nₖ → ∞ along the subsequence on which we have pointwise-a.e. convergence:

|ψₙ – ψ_∞|² = ∫ℝ₃|ψₙ – ψ_∞|² d³x ≤ liminfₖ→∞ |ψₙ – ψₙₖ|² ≤ ε²,

for all n ≥ N. Hence |ψₙ – ψ_∞| ≤ ε for all n ≥ N, i.e., ψₙ → ψ_∞ in norm.

Step 5: V₂/𝒩 is complete. An arbitrary Cauchy sequence (ψₙ) in 𝒱₂/𝒩 has, by Steps 2–4, a limit ψ_∞ ∈ 𝒱₂/𝒩 with ψₙ → ψ_∞ in the principle-generated norm. Therefore 𝒱₂/𝒩 is complete in this norm; it is a Hilbert space. The completion procedure is not needed — the space is already complete.

The identification 𝒱₂/𝒩 ≅ L²(ℝ³, d³x) at each fixed t is then immediate: 𝒱₂ is the space of square-integrable ℂ-valued functions on ℝ³ at fixed t, 𝒩 is the subspace of functions vanishing almost everywhere, and the quotient is the standard L² space.

Grade 1 status. Every step is forced by the principle: continuity (Step 1) is direct content of (MP); the pointwise-a.e. Cauchy refinement (Step 2) uses only the principle-generated triangle inequality and integration’s additivity over disjoint regions; the wavefront structure of ψ_∞ (Step 3) is inherited from each ψₙₖ via Theorem 4.5 and Lemma 4.2; the boundedness of |ψ_∞| (Step 4) is the elementary monotonicity of integration over non-negative integrands. The Riesz–Fischer theorem (1907) [Riesz, Fischer], when invoked in standard treatments, establishes the completeness of L² via abstract real analysis; here the principle’s continuous flow has supplied the same content directly through Steps 2–4. Riesz–Fischer is not load-bearing; it is a convergent confirmation by an independent route. ∎

Remark (Continuity is content of the principle, not an assumption). The continuity of the principle’s flow (Step 1) is not an additional regularity assumption. The McGucken Principle states dx₄/dt = ic at every event, with c a constant. A constant rate is automatically continuous; in fact uniformly continuous with Lipschitz constant c. The continuity is direct content of (MP): if (MP) held without continuity, the rate would vary discontinuously somewhere, contradicting (P1) of §2.1, which states the rate is uniform across all events — the strongest possible continuity statement. The continuous flow that drives Steps 2–4 is therefore the principle itself, not an external assumption imported from analysis.

Remark (The completion is geometric, not abstract). In the standard treatment, the Hilbert space is obtained by abstract Cauchy completion of a pre-Hilbert space, with elements being equivalence classes of Cauchy sequences. The geometric content of the elements is lost in the abstraction; one recovers it only through the Riesz–Fischer identification of the completion with L². In the McGucken framework, no completion procedure is interposed: the principle-generated space is already complete, with elements remaining slice-projected x₄-wavefronts throughout. The geometric content is preserved at every step.

The full chain

We have now established the four-step chain in full:

(dx₄)/(dt) = ic ⟶x₄ = ict Σ ⟶dx₄ = ic dt M₁,₃ ⟶ 𝒱 = ψ : M₁,₃ → ℂ\ ⟶ 𝒱₂ / 𝒩 ⟶ic ℋ ≅ L²(M₁,₃, dμM).

Each arrow is a theorem of dx₄/dt = ic. The Lorentzian arena, the complex character of amplitudes, the inner product, and completeness of the resulting space are all consequences of a single physical principle.

The eleven prior derivation programmes

We catalogue the principal prior attempts to derive or characterise ℋ and locate, in each, the point at which the derivation falls short of the McGucken construction.

Von Neumann (1932) and Dirac (1958): postulation

In Mathematische Grundlagen der Quantenmechanik (1932), von Neumann took the complex separable Hilbert space ℋ as the starting axiom of quantum mechanics. The wavefunction was defined as a unit vector in ℋ; observables as self-adjoint operators on ℋ; states as density operators on ℋ. Dirac’s Principles of Quantum Mechanics (1958, fourth edition) followed the same pattern in bra-ket notation: |ψ⟩ is a vector in ℋ, and the formalism is built from there.

Neither work derives ℋ. Both axiomatise it. The opacity of the formalism — why complex, why inner-product, why squared-modulus — is left as a matter of empirical adequacy. The von Neumann axioms are the target of derivation, not its result.

Mackey (1963): the lattice of propositions

George Mackey’s Mathematical Foundations of Quantum Mechanics (1963) attempted to derive ℋ from a lattice-theoretic axiomatisation of quantum propositions. He posited that the lattice L of yes/no propositions about a quantum system has certain properties (orthomodularity, atomicity, the covering law) and conjectured that any such lattice is isomorphic to the lattice of closed subspaces of a separable Hilbert space over ℝ, ℂ, or ℍ.

Mackey’s conjecture was a target rather than a theorem: he did not prove it. He observed only that the standard quantum-mechanical lattice has the required properties, and asked whether the converse held.

Solèr (1995): the lattice-theoretic restriction

Maria Pia Solèr’s 1995 theorem [Soler] established, under additional axioms (the existence of an infinite orthonormal sequence and certain regularity conditions on the orthomodular orthocomplemented atomistic lattice), that the lattice is isomorphic to the lattice of closed subspaces of a Hilbert space over one of ℝ, ℂ, or ℍ.

Solèr’s theorem is a beautiful piece of lattice theory. It does not, however, derive ℋ from physical principles: it derives ℋ from lattice-theoretic axioms whose physical motivation is itself the empirical adequacy of ℋ. The chain is circular: the lattice axioms are chosen to produce ℋ, then ℋ is shown to be produced by them. The physical question — why does the lattice have these properties — is left unanswered.

Furthermore, Solèr’s theorem leaves the choice among ℝ, ℂ, and ℍ open. Additional axioms (the no-superselection rule, or some other operational input) must be invoked to single out ℂ. The McGucken framework, by contrast, fixes ℂ structurally via the slice projection (Lemma 4.1, Lemma 4.2).

Jordan, von Neumann, and Wigner (1934): the Jordan-algebra classification

The 1934 paper of Jordan, von Neumann, and Wigner [JNW] classified finite-dimensional formally real Jordan algebras: the algebras of self-adjoint operators on which observables live. They found four infinite families (n × n Hermitian matrices over ℝ, ℂ, ℍ, and ℝⁿ with a specific Jordan product) plus one exceptional algebra (the 3 × 3 Hermitian octonionic matrices).

This is a classification of possible algebras of observables. It does not single out ℂ as the algebra of physical amplitudes; it presents ℂ as one option among several. The McGucken framework selects ℂ structurally.

Stueckelberg (1960): real-quantum-mechanical equivalence

Ernst Stueckelberg argued in 1960 that real quantum mechanics could reproduce complex quantum mechanics if augmented with a superselection rule that effectively introduces a redundant copy of each state, doubling the real Hilbert space to mimic the complex one [Stueckelberg]. This is technically a result about formal equivalence rather than a derivation: it shows that real-quantum-mechanical formalism can be augmented to produce predictions consistent with complex quantum mechanics, but does not single out either as fundamental.

The 2021 experimental result of Renou et al.\ [Renou] settled the question empirically: real quantum mechanics, without Stueckelberg-style augmentation, cannot reproduce all quantum predictions in network scenarios with independent sources. The McGucken framework gives the structural reason: the slice projection is intrinsically two-component (Lemma 4.1), and a single real component is insufficient.

Hardy (2001): operational reconstruction

Lucien Hardy’s 2001 paper “Quantum Theory From Five Reasonable Axioms” [Hardy] derived the complex Hilbert space from five axioms cast in operational language:

1. Probabilities: relative frequencies tend to fixed values.
2. Simplicity: the number of degrees of freedom K is the smallest integer consistent with the system having N distinguishable states.
3. Subspaces: a system whose states are confined to an M-dimensional subspace of an N-dimensional space behaves as an M-dimensional system.
4. Composite systems: the dimension of a composite system is the product of the dimensions of its parts; the number of degrees of freedom of a composite is the product of the numbers of its parts.
5. Continuity: there exists a continuous reversible transformation between any two pure states.

From these, Hardy derives K = Nr for some integer r, and shows that r = 1 corresponds to classical probability theory, r = 2 to complex quantum mechanics, and r > 2 is excluded by the simplicity axiom.

Hardy’s reconstruction is operational: it presupposes the framework of probabilistic theories and asks which one is forced by his axioms. The framework itself — states, transformations, measurements, probabilities — is taken as given. The result derives the form of ℋ within an already-quantum-like operational framework, not the framework itself. The McGucken framework operates upstream: ℋ emerges from the geometry of x₄-expansion, not from operational axioms.

Chiribella, D’Ariano, and Perinotti (2011): informational reconstruction

Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti’s 2011 paper “Informational Derivation of Quantum Theory” [CDP] sharpened Hardy’s programme. They derived ℋ from six informational principles:

1. Causality.
2. Perfect distinguishability.
3. Ideal compressibility.
4. Local distinguishability.
5. Pure conditioning.
6. Purification.

The first five are common to classical probability theory and quantum theory; the sixth (purification: every mixed state of a system arises as the marginal of a pure state of a larger system) singles out quantum theory.

The CDP reconstruction is a virtuosic piece of operational quantum information theory. Like Hardy’s, it presupposes the framework of probabilistic theories. The framework is the input; ℋ is the output. It does not explain why spacetime supports states, transformations, and measurements with these properties. The McGucken framework derives the framework itself from a single geometric principle.

Abramsky and Coecke (2004): the categorical characterisation

Samson Abramsky and Bob Coecke’s “A Categorical Semantics of Quantum Protocols” [AC] characterised quantum mechanics in the language of dagger-compact closed categories. Quantum-mechanical structure is captured by the categorical properties of FdHilb (the category of finite-dimensional Hilbert spaces with linear maps): biproducts, the dagger functor, compactness, and certain equational identities.

The categorical characterisation is mathematically illuminating and has produced powerful diagrammatic calculi (ZX-calculus, etc.). It does not derive ℋ from physics: it identifies the categorical features that FdHilb has, and abstracts them. Other dagger-compact closed categories (e.g., FdRel, the category of finite sets and relations) have similar formal structure without being quantum mechanics. The categorical characterisation is necessary but not sufficient; it does not single out ℋ uniquely.

Adler (1995): quaternionic alternative

Stephen Adler’s Quaternionic Quantum Mechanics and Quantum Fields (1995) [Adler] developed a parallel formalism in which amplitudes are quaternion-valued, ψ : M → ℍ. The quaternionic theory has many of the same operational features as standard quantum mechanics but produces different predictions in certain scenarios (interference of phases that are non-commutative).

Adler’s programme demonstrates that the mathematical structure of quantum mechanics is not uniquely determined by the standard axiomatisation: there is room for alternatives. The McGucken framework rules out the quaternionic alternative structurally: the slice projection is two-real-dimensional (Lemma 4.1), and quaternions are four-real-dimensional. The extra two dimensions are not present in the geometry of x₄-expansion.

Renou et al.\ (2021): empirical exclusion of ℝ

Marc-Olivier Renou, David Trillo, Mirjam Weilenmann, Thinh P. Le, Armin Tavakoli, Nicolas Gisin, Antonio Acín, and Miguel Navascués proved in 2021 [Renou] that real-amplitude quantum mechanics cannot reproduce all the predictions of complex-amplitude quantum mechanics in network scenarios with multiple independent sources. The exclusion is empirical: experimental tests in network configurations distinguish real from complex quantum mechanics.

This is an exclusion result, not a derivation. It shows that one alternative (ℝ) is empirically wrong, but does not derive ℂ from a deeper principle. The McGucken framework derives ℂ structurally and is consistent with the Renou et al.\ exclusion.

Penrose (twistor programme, 1967–present)

Roger Penrose’s twistor programme [Penrose] has, since 1967, developed a formalism in which spacetime points are derived from twistor space: a four-complex-dimensional space whose geometry encodes massless particles and conformal structure. Penrose’s twistor space is, in many respects, the closest in spirit to the McGucken framework: the complex structure of twistor space carries genuine geometric content, and the relationship between twistor space and spacetime is structural rather than formal.

However, the twistor programme has not, in fifty-eight years, produced a derivation of the complex separable Hilbert space of quantum mechanics. The relation between twistor space and quantum mechanics is mediated by additional structures (cohomology classes, Penrose transforms, twistor wave equations) that themselves presuppose the Hilbert-space framework. The twistor programme illuminates the complex character of spacetime; it does not derive the Hilbert space from that character.

Woit’s 2024 Euclidean Twistor Unification [Woit] takes a related but distinct approach: it lifts the standard Wick-rotated Euclidean spacetime to a twistor-theoretic framework and identifies the Higgs field with a tracker of Euclidean structure. Woit’s programme is consonant with the McGucken framework in identifying x₄-Euclidean structure as physical, but it does not operate upstream of the complex Hilbert-space structure.

Summary: the eleven programmes and their input/output relations

Programme	Input	Output	Status
Von Neumann (1932)	ℋ axiomatic	Quantum-mechanical formalism	ℋ postulated
Dirac (1958)	ℋ axiomatic	Bra-ket formalism	ℋ postulated
Mackey (1963)	Lattice axioms	ℋ conjectural	Conjecture, not theorem
Solèr (1995)	Stronger lattice axioms	ℋ over ℝ, ℂ, ℍ	ℋ from lattice axioms; ℂ unspecified
Jordan–von Neumann–Wigner (1934)	Jordan-algebra axioms	Classification	ℂ one option among several
Stueckelberg (1960)	Real QM + superselection	Equivalent to ℂ-QM	Formal equivalence, not derivation
Hardy (2001)	Five operational axioms	ℋ over ℂ	ℋ from operational framework
Chiribella–D’Ariano–Perinotti (2011)	Six informational principles	ℋ over ℂ	ℋ from informational framework
Abramsky–Coecke (2004)	Dagger-compact category axioms	Categorical characterisation	Necessary but not sufficient
Adler (1995)	Quaternionic axioms	ℋ over ℍ	Alternative, not derivation
Renou et al.\ (2021)	Bell-type network scenarios	Exclusion of ℝ-QM	Exclusion, not derivation

In each case, ℋ is either postulated, axiomatised within a framework that already presupposes it, classified among alternatives, or characterised categorically. None operates upstream of the complex Hilbert-space structure itself.

Why the prior programmes failed: four obstructive commitments

The eleven programmes are independently sophisticated and historically important. Their common failure to derive ℋ from a physical principle traces, we contend, to four shared commitments inherited from twentieth-century physics. Each commitment blocks the chain at a specific arrow.

Obstruction 1: The block-universe reading of Minkowski spacetime

The standard reading of Minkowski spacetime, dating to Minkowski’s 1908 Cologne lecture and codified by Eddington and Weyl in the 1920s, is the block universe: spacetime is a static four-dimensional manifold; “coordinates do not have rates of change”; the apparent flow of time is psychological, not physical. Under this reading, the expression dx₄/dt is a category error: x₄ does not change, and there is no privileged direction in which it could change.

The block-universe reading blocks Step 1 (the generation of the Lorentzian arena from the principle). If x₄ does not change, there is no x₄-advance to integrate, no antiderivative x₄ = ict of the physical motion (since there is no motion to integrate), and no differential identity dx₄ = ic dt to substitute into the Euclidean line element. The arena cannot be derived from a non-existent advance. The block universe forces one to postulate the Lorentzian arena rather than derive it.

The McGucken framework rejects the block-universe reading. The fourth dimension is dynamical: it is expanding at velocity c in a spherically symmetric manner from every event, as stated by dx₄/dt = ic. The integrated form x₄ = ict is the antiderivative of this physical motion, not a static coordinate identity. The advance is not psychological; it is the structural content of the physical principle. The arena is then derivable as a theorem.

Obstruction 2: The formalist reading of i

The standard reading of the imaginary unit in quantum mechanics, dating to Schrödinger’s 1926 introduction of i into the wave equation, is formalist: i is a notational convenience that ensures unitarity. The Schrödinger equation iℏ ∂ₜ ψ = H ψ uses i because without it, the time evolution would be Hermitian but not unitary (it would generate exponential growth or decay rather than oscillation). Under the formalist reading, i is a device, not a referent.

The formalist reading blocks Step 2 (the generation of complex amplitudes from the principle). If i has no geometric content, there is no reason to expect amplitudes to be complex. The formalism uses ℂ for technical reasons; the choice of ℂ over ℝ or ℍ becomes an open question, addressed by Solèr, JNW, Hardy, CDP, Adler, and Renou et al.\ in various ways, none structurally satisfying.

The McGucken framework rejects the formalist reading. The factor i in the McGucken Principle dx₄/dt = ic — and inherited by the antiderivative x₄ = ict — is the algebraic marker for x₄’s perpendicularity to the spatial three: it is the geometric content (P2) of x₄’s orthogonality, expressing the physical-geometric fact that the fourth dimension expands in a direction perpendicular to the spatial three. It is not a notational device. The complex character of amplitudes is then derivable as the slice projection of this physical perpendicularity through σ.

The McGucken corpus paper [Wick] establishes the formal-versus-geometric reading via the suppression map and unifies twelve canonical factor-of-i insertions across quantum theory under three mechanisms (chain-rule factor, signature-change factor, image of integration-contour structures). The formalist reading is shown to be a derived appearance of an underlying geometric reality.

Obstruction 3: Quantum mechanics and relativity as separate theories

The twentieth-century separation of quantum mechanics and relativity — with c and ℏ as independent empirical constants, the relativistic theory grafted onto the quantum theory via Dirac’s 1928 equation, and the unification deferred to “quantum gravity” — blocks the derivation of ℋ from spacetime geometry. If quantum mechanics has its own arena (the Hilbert space) and relativity has its own arena (Minkowski spacetime), and the two are independent, then nothing in spacetime can force the structure of the Hilbert space.

The McGucken framework rejects the separation. The Compton-frequency coupling ωC = mc²/ℏ relates c and ℏ as paired structural constants of x₄-expansion. The Lorentzian arena and the Hilbert space are forced by the same principle. The corpus papers [Lagrangian, Wick, Holography] establish the structural derivation of the constants from the principle plus standard structural assumptions; the present paper does not depend on those derivations but is consonant with them.

Obstruction 4: The interpretation industry

The fourth obstruction is sociological rather than mathematical: the assumption that ℋ is inviolable and that the only legitimate work is interpretation rather than derivation. This commitment dates to the Bohr–Einstein debates of 1927–1935 and the codification of Copenhagen orthodoxy in the 1930s and 1940s. Under this commitment, the question “where does ℋ come from?” is illegitimate; the only legitimate question is “what does ℋ mean?”. Decades of effort have gone into interpretation; very little has gone into derivation.

This obstruction blocks the very project of derivation. It explains why the eleven programmes are spread thinly across ninety-four years: derivation is not, sociologically, central work. Interpretation is.

The McGucken framework rejects the inviolability of ℋ. The Hilbert space is not the foundation of quantum mechanics; the McGucken Principle is. The Hilbert space is a theorem of the principle. Derivation is the central work; interpretation is downstream.

The four obstructions and the four steps

Each of the four obstructions blocks a specific step in the derivation:

• Obstruction 1 (block universe) blocks Step 1 (the arena).
• Obstruction 2 (formalist i) blocks Step 2 (complex amplitudes).
• Obstruction 3 (QM/relativity separation) blocks Step 3 (the inner product as x₄-overlap).
• Obstruction 4 (interpretation industry) blocks the project itself.

The McGucken Principle removes all four obstructions. The fourth dimension is dynamical (Step 1 unblocked). The factor i has geometric content (Step 2 unblocked). c and ℏ are paired structural constants of x₄-expansion (Step 3 unblocked). Derivation precedes interpretation (project unblocked).

Physical referents for every formal feature of ℋ

The McGucken construction is more than re-decoration of the standard formalism. Every formal feature of ℋ acquires an explicit physical referent. We tabulate.

Formal feature of ℋ	Physical content under McGucken
Vector ψ ∈ ℋ	Wavefront in M₁,₃ advancing along x₄ at rate ic
Inner product ⟨ φ, ψ ⟩	Forward–conjugate x₄-overlap, integrated over a spatial slice
Unit norm |ψ|² = 1	Conservation of x₄-flux through the McGucken Sphere
Squared modulus	ψ(𝐱)
Unitary evolution U(t) = e⁻ⁱHt/ℏ	Temporal flow of x₄-advance at the system’s rate
Complex structure of ℋ	Perpendicularity of x₄ to the spatial three, transported through σ
Imaginary unit i in operators	Algebraic marker of ∂ / ∂ x₄ via Lemma 2.1
Orthogonality ⟨ φ, ψ ⟩ = 0	Vanishing forward–conjugate x₄-overlap
Dimension of ℋ	Number of geometrically independent x₄-rotation modes
Self-adjoint operator A = A^†	Real eigenvalues = real x₄-rotation rates
Eigenvalue equation A	a⟩ = a
Tensor product ℋA ⊗ ℋB	Joint x₄-advance of two wavefronts
Density operator ρ	Statistical mixture of x₄-wavefronts
Trace inner product Tr( A ρ)	Statistically averaged x₄-rotation rate
Schrödinger equation iℏ ∂ₜ ψ = H ψ	∂ₜ = ic ∂ₓ₄ acting on the Hamiltonian density
Heisenberg picture A = (i)/(ℏ)[ H, A]	Commutator with the x₄-advance generator
Hilbert space tensor structure	Multi-slice x₄-wavefront geometry
Projection-valued measure	Slice-projection structure σ_*

Every line is a physical statement. The Hilbert space ceases to be an abstract mathematical object on which one drapes interpretive stories; it becomes a section space of x₄-wavefronts on the Lorentzian arena M₁,₃ generated by the principle.

What is lost if dx₄/dt = ic is treated as a mere mathematical equation

The Grade-1 status of the four theorems is sharp enough to be quantified by the inverse construction: what is lost if dx₄/dt = ic is treated as a mere mathematical equation — with the integrated form x₄ = ict regarded as a Minkowski-style coordinate identity (the static, signature-flipping convention of Minkowski’s 1908 lecture), with no physical content beyond coordinate-bookkeeping — rather than as the physical-geometric statement that the fourth dimension is expanding at velocity c in a spherically symmetric manner from every event? This is the same question taken up in the unified GR/QM paper [Unified] for the forty-seven theorems of that paper; we apply it here to the four theorems of this paper.

Theorem 3.1 (Lorentzian arena) is lost. Without the physical reading, the integrated form x₄ = ict is a notational convenience rather than the antiderivative of an actual physical motion, dx₄/dt is a coordinate identity rather than a rate of change, and the substitution dx₄ = ic dt is bookkeeping rather than the differential of a physical principle. The arena M₁,₃ reverts to a separate postulate (signature choice) rather than an integrated theorem; the chain that runs from dx₄/dt = ic through the integrated form x₄ = ict to the Lorentzian metric collapses, because every link in the chain depended on the principle’s physical content (the fourth dimension actually expanding at velocity c in a spherically symmetric manner from every event). One returns to the standard treatment in which Lorentzian signature is postulated at the start of relativity rather than derived from a deeper principle.

Theorem 4.5 (complex amplitudes) is lost. Without the physical reading, the imaginary unit i in the principle is a coordinate-bookkeeping factor with no geometric content. The factor i in slice-projected wavefunctions then has no source: there is no perpendicularity marker for ℂ to be the algebraic shadow of, no two-component slice projection (because there is no slice projection of a non-existent x₄-advance), no codimension-one slice geometry to supply a basis, and no squaring rule J² = -1 from the perpendicularity marker. The McGucken derivation of ℂ collapses, and one is forced back onto Frobenius’s 1878 classification as an external input. The complex character of ψ reverts to a postulate of the formalism — which is exactly how von Neumann (1932) treated it. The eleven prior derivation programmes catalogued in §6 then become the only available routes, each blocked by one of the four obstructions of §7.

Theorem 5.3 (inner product) is lost. Without the physical reading, there is no forward x₄-advance at +ic to be paired with a conjugate x₄-advance at -ic; both are merely formal sign choices on a coordinate label. The inner product ⟨ φ, ψ ⟩ = ∫ φ* ψ d³ x reverts to a postulated bilinear form with no geometric referent, and the three inner-product axioms (conjugate symmetry, sesquilinearity, positive-definiteness) revert to algebraic axioms imposed by hand rather than theorems forced by the geometry. Mackey’s lattice-theoretic conjecture (1963), Solèr’s lattice-theoretic theorem (1995), and the Jordan-algebra classification (JNW 1934) become the only routes, each circular in the sense that the lattice axioms are chosen to produce the inner product whose origin is unexplained.

Theorem 5.5 (ℋ as L²) is lost. Without the physical reading, the space whose completeness is at stake has no physical content — it is a mathematical abstraction with no quantum-mechanical referent. The principle’s continuous flow dx₄/dt = ic, which forced Cauchy sequences of x₄-wavefronts to have x₄-wavefront limits within the principle-generated space, is no longer available. One is forced back onto Riesz–Fischer (1907) as external machinery that constructs the Hilbert space from a postulated pre-Hilbert structure, rather than recognizing the completeness as the principle’s continuous flow. The Hilbert space reverts to an axiom of the formalism, with the operational reconstructions (Hardy 2001, CDP 2011) providing the only available derivations — each presupposing the framework of probabilistic theories that the McGucken Principle had been about to generate.

The Grade-1 status is therefore quantifiable. Each theorem is Grade 1 in the sense that without the physical reading of dx₄/dt = ic, the theorem has no derivation. The framework’s content is the physical reading of the principle; without it, the four theorems revert to their pre-McGucken postulate status. The mathematical machinery that, in the standard derivation programmes, was forced to do work the principle itself supplies in the McGucken framework — Frobenius classification, Riesz–Fischer completion, the Solèr lattice axioms — is now visible as machinery that confirms what the principle requires, not as additional input that the principle does not supply. The principle delivers all four theorems; the standard analysis confirms.

Conclusion

We have shown that the complex separable Hilbert space ℋ of quantum mechanics is not a postulate but a theorem. It is forced by the McGucken Principle dx₄/dt = ic in four steps:

• The differential form of the principle, dx₄ = ic dt, substituted into the Euclidean line element, with the perpendicularity marker i squared yielding i² = -1, generates the Lorentzian signature, hence the arena M₁,₃. (The integrated form x₄ = ict is the antiderivative of the physical principle, not the foundation.)
• Slice-projecting x₄-perpendicularity through σ, with the algebra of the slice projection given by the principle’s own algebraic content (the perpendicularity marker i), generates complex amplitudes ψ : M₁,₃ → ℂ.
• The forward x₄-advance at +ic paired with the conjugate advance at -ic, integrated over a spatial slice, generates the inner product, with the three inner-product axioms as theorems.
• The continuity of the principle’s flow at constant rate ic forces Cauchy sequences of x₄-wavefronts to have x₄-wavefront limits within the principle-generated space, yielding the complete inner-product space ℋ ≅ L²(M₁,₃, dμM).

Each step is a theorem of the principle. The Lorentzian arena, the complex character, the inner product, and the completion are all consequences of a single physical principle.

The eleven prior derivation programmes, spread over ninety-four years, failed because each was blocked by one of four twentieth-century commitments: the block-universe reading of Minkowski spacetime, the formalist reading of i, the separation of quantum mechanics from relativity, and the inviolability of ℋ as an axiom. The McGucken framework rejects all four. The fourth dimension is dynamical. The imaginary unit has geometric content. Quantum mechanics and relativity descend from the same principle. The Hilbert space is not the foundation; the principle is.

Before McGucken, ℋ was an axiom. After McGucken, ℋ is a theorem.

References

[Wick] McGucken, E. (2026). The McGucken Principle dx₄/dt = ic Necessitates the Wick Rotation and i Throughout Physics: A Reduction of Thirty-Four Independent Inputs of Quantum Field Theory, Quantum Mechanics, and Symmetry Physics. elliotmcguckenphysics.com (May 1, 2026). Available at: https://elliotmcguckenphysics.com/2026/05/01/the-mcgucken-principle-dx4-dtic-necessitates-the-wick-rotation-and-i-throughout-physics-a-reduction-of-thirty-four-independent-inputs-of-quantum-field-theory-quantum-mechanics-and-symmetry-physics/

[Unified] McGucken, E. (2026). General Relativity and Quantum Mechanics Unified as Theorems of the McGucken Principle: The Fourth Dimension is Expanding at the Velocity of Light dx₄/dt = ic — Deriving GR & QM from a First Principle in the Spirit of Euclid’s Elements and Newton’s Principia Mathematica. elliotmcguckenphysics.com (May 5, 2026). Establishes the McGucken Duality (Channel A: algebraic-symmetry; Channel B: geometric-propagation) and derives twenty-four GR theorems and twenty-three QM theorems from the principle. Available at: 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/

[KaluzaKlein] McGucken, E. (2026). 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. elliotmcguckenphysics.com (April 11, 2026). Available at: 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/

[Lagrangian] McGucken, E. (2026). The Unique McGucken Lagrangian. Light Time Dimension Theory, elliotmcguckenphysics.com.

[Holography] McGucken, E. (2026). The McGucken Principle as the Physical Foundation of the Holographic Principle and AdS/CFT: How dx₄/dt = ic Naturally Leads to Boundary Encoding of Bulk Information. Light Time Dimension Theory, elliotmcguckenphysics.com.

[Compton] McGucken, E. (2026). The Compton Coupling between ℏ and c from dx₄/dt = ic. Light Time Dimension Theory, elliotmcguckenphysics.com.

[McGuckenCorpus] McGucken, E. Light Time Dimension Theory: Corpus Home Page and Index of Papers. elliotmcguckenphysics.com. Available at: https://elliotmcguckenphysics.com/

[VonNeumann] von Neumann, J. (1932). Mathematische Grundlagen der Quantenmechanik. Berlin: Springer. English translation: Mathematical Foundations of Quantum Mechanics, R. T. Beyer, trans. Princeton University Press (1955). Available at: https://press.princeton.edu/books/paperback/9780691178561/mathematical-foundations-of-quantum-mechanics

[Dirac] Dirac, P. A. M. (1958). The Principles of Quantum Mechanics, fourth edition. Oxford: Clarendon Press. ISBN 978-0-19-852011-5. Available at: https://global.oup.com/academic/product/the-principles-of-quantum-mechanics-9780198520115

[Mackey] Mackey, G. W. (1963). Mathematical Foundations of Quantum Mechanics. New York: W. A. Benjamin. Reprinted by Dover Publications, 2004. ISBN 978-0-486-43517-6. Available at: https://store.doverpublications.com/0486435172.html

[Soler] Solèr, M. P. (1995). Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra, 23(1), 219–243. doi:10.1080/00927879508825218. Available at: https://www.tandfonline.com/doi/abs/10.1080/00927879508825218

[JNW] Jordan, P., von Neumann, J., & Wigner, E. (1934). On an algebraic generalization of the quantum mechanical formalism. Annals of Mathematics, 35(1), 29–64. doi:10.2307/1968117. Available at: https://www.jstor.org/stable/1968117

[Stueckelberg] Stueckelberg, E. C. G. (1960). Quantum theory in real Hilbert space. Helvetica Physica Acta, 33, 727–752.

[Hardy] Hardy, L. (2001). Quantum Theory From Five Reasonable Axioms. arXiv:quant-ph/0101012. Available at: https://arxiv.org/abs/quant-ph/0101012

[CDP] Chiribella, G., D’Ariano, G. M., & Perinotti, P. (2011). Informational derivation of quantum theory. Physical Review A, 84(1), 012311. doi:10.1103/PhysRevA.84.012311. arXiv:1011.6451. Available at: https://journals.aps.org/pra/abstract/10.1103/PhysRevA.84.012311 and https://arxiv.org/abs/1011.6451

[AC] Abramsky, S., & Coecke, B. (2004). A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), 415–425. doi:10.1109/LICS.2004.1319636. arXiv:quant-ph/0402130. Available at: https://arxiv.org/abs/quant-ph/0402130

[Adler] Adler, S. L. (1995). Quaternionic Quantum Mechanics and Quantum Fields. International Series of Monographs on Physics, Vol. 88. New York: Oxford University Press. ISBN 978-0-19-506643-3. Available at: https://global.oup.com/academic/product/quaternionic-quantum-mechanics-and-quantum-fields-9780195066432

[Renou] Renou, M.-O., Trillo, D., Weilenmann, M., Le, T. P., Tavakoli, A., Gisin, N., Ac’in, A., & Navascu’es, M. (2021). Quantum theory based on real numbers can be experimentally falsified. Nature, 600, 625–629. doi:10.1038/s41586-021-04160-4. arXiv:2101.10873. Available at: https://www.nature.com/articles/s41586-021-04160-4 and https://arxiv.org/abs/2101.10873

[Penrose] Penrose, R. (1967). Twistor algebra. Journal of Mathematical Physics, 8(2), 345–366. doi:10.1063/1.1705200. Available at: https://pubs.aip.org/aip/jmp/article-abstract/8/2/345/233824/Twistor-Algebra. See also: Penrose, R., & Rindler, W. (1986). Spinors and Space-Time, Vols. 1–2. Cambridge University Press. doi:10.1017/CBO9780511564048. Available at: https://www.cambridge.org/core/books/spinors-and-spacetime/D26EA76F1F40C603F71C2C9F58A9568E

[Woit] Woit, P. (2021). Euclidean Twistor Unification. arXiv:2104.05099. Available at: https://arxiv.org/abs/2104.05099

[Riesz] Riesz, F. (1907). Sur les syst`emes orthogonaux de fonctions. Comptes Rendus de l’Acad’emie des Sciences, Paris, 144, 615–619. Available via Gallica/BnF: https://gallica.bnf.fr/ark:/12148/bpt6k3094m

[Fischer] Fischer, E. (1907). Sur la convergence en moyenne. Comptes Rendus de l’Acad’emie des Sciences, Paris, 144, 1022–1024. Available via Gallica/BnF: https://gallica.bnf.fr/ark:/12148/bpt6k3094m

[Frobenius] Frobenius, F. G. (1878). “Uber lineare Substitutionen und bilineare Formen. Journal f”ur die reine und angewandte Mathematik, 84, 1–63. doi:10.1515/crll.1878.84.1. Available at: https://www.degruyter.com/document/doi/10.1515/crll.1878.84.1/html

[Wheeler] Wheeler, J. A. (1990). Letter of recommendation for Elliot McGucken for admission to graduate school of physics. Princeton University Department of Physics, December 13, 1990. Available in summary at McGucken Corpus: https://elliotmcguckenphysics.com/