Novel, Unifying Geometric Derivations of the Born Rule P=|ψ|², the Canonical Commutation Relation [q̂,p̂]=iℏ, the Hilbert Space 𝓗, and the Uncertainty Principle σₓ σₚ ≥ ℏ/2 from the McGucken Principle of the Fourth Expanding Dimension dx₄/dt = ic

Novel_Unifying_Geometric_Derivations_Born_Rule_CCR_Hilbert_Space_Uncertainty_Principle_from_McGucken_Principle_dx4dt_eq_ic (3)Download

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

“More intellectual curiosity, versatility and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student… Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet.”

— John Archibald Wheeler, Joseph Henry Professor of Physics, Princeton

Abstract

The Born rule — the postulate that the probability of a quantum measurement outcome is the squared modulus of the amplitude, P=|ψ|² — and the canonical commutation relation [q̂,p̂]=iℏ are the two most fundamental and most mysterious axioms of quantum mechanics. Standard quantum mechanics offers no derivation of either; the menu of contemporary attempts on the Born rule (Gleason [10], Deutsch–Wallace [12, 13], Zurek envariance [18], Bohmian quantum equilibrium [19, 20]) all live inside the Hilbert-space formalism, and the major attempts on the commutation relation (Gleason’s formalist program [10], Hestenes’s geometric algebra [35, 36], Adler’s trace dynamics [37, 38]) supply only formal consistency, static geometric reinterpretation, or emergent statistical averages.

This paper derives all four relations upstream of the Hilbert-space formalism — which it also derives — from a single physical principle: the McGucken Principle [42–44, 54, 55], which states that the fourth dimension is expanding at the velocity of light from every spacetime event in a spherically symmetric manner, dx₄/dt=ic, which naturally implies the relation x₄=ict. The wavefunction ψ is constructed explicitly as the projection of x₄-advance onto x₁ x₂ x₃ on the McGucken Sphere, and the squared modulus |ψ|² is shown to be the unique projection density compatible with the principle. The canonical commutation relation is derived directly from dx₄/dt=ic via the Minkowski metric and the four-momentum as generator of translations [51], with the i in [q̂,p̂]=iℏ traced to the same perpendicularity marker that appears in x₄=ict.

We prove seven central theorems:

The complex character of amplitudes follows from the imaginary character of x₄=ict.
The Born rule on the McGucken Sphere — the Minkowski metric induced by x₄=ict is rank 2, so the x₄-flux density is bilinear in (ψ,ψ^*); phase invariance, reality, non-negativity, and normalization then fix it to be |ψ|².
The canonical commutation relation [q̂,p̂]=iℏ follows from dx₄/dt=ic through the Minkowski metric [51].
The Hilbert space 𝓗 is derived as the Cauchy completion of the pre-Hilbert space of complex-valued square-integrable amplitudes over the McGucken-derived spacetime, with the inner product induced by the Born density [52].
The uncertainty principle σₓ σₚ ≥ ℏ/2 follows from dx₄/dt=ic via the Robertson inequality (proved here as a McGucken-internal lemma using only Cauchy–Schwarz on the derived Hilbert space) applied to the derived commutator on the derived Hilbert space [47].
The squared modulus is the geometric overlap of the forward x₄-expansion and its conjugate at the measurement event.
Unitarity is conservation of x₄-flux.

Every theorem in the derivation chain — T3.1 (complex amplitudes), T3.2 (canonical commutation relation), T4.2 (Born rule), T5.1 (Hilbert space), T6.1 (uncertainty principle), T7.1 (geometric meaning), T8.1 (unitarity), T9.1 (Wick rotation), T11.1 (photon localization) — is established from dx₄/dt=ic and the structures it generates, with no external physics-substantive lemmas imported. The only external machinery used is real analysis (Cauchy–Schwarz, Cauchy completion via Riesz–Fischer 1907), at the same level as addition, multiplication, or differentiation. The Wick-rotation analysis [53] provides an independent test: removing i from x₄ converts the Lorentzian theory to its Euclidean shadow and collapses the Born rule from |ψ|² to ψ². Together these reduce the Born rule, the canonical commutation relation, the Hilbert space, and the uncertainty principle from independent axioms to consequences of dx₄/dt=ic.

1. Introduction

1.1 The postulate and the problem

In 1926 Max Born proposed that the wavefunction ψ(x) of a quantum system does not directly represent a physical wave but rather determines the probability of finding the particle at x:

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

This is the Born rule. It is the bridge between the formalism of quantum mechanics — complex amplitudes, Hilbert spaces, unitary evolution — and the physical world of detector clicks and observed frequencies. It is one of the most precisely tested statements in all of physics. It is also one of the least understood. Why is probability the squared modulus of the amplitude? Why not |ψ|, |ψ|³, or some other function of ψ?

Standard quantum mechanics treats the rule as an axiom. The other postulates of the theory (Hilbert state space, Hermitian observables, unitary time evolution) have clear mathematical motivations; the Born rule simply asserts that probabilities equal |ψ|² and leaves matters there.

1.2 The mainstream menu

A century of attempts to derive the Born rule from more basic principles has produced a familiar list, each inhabiting the Hilbert-space formalism rather than explaining it.

Gleason 1957 [10]. Any non-contextual probability measure on closed subspaces of a Hilbert space of dimension ≥ 3 takes the form tr(ρ P). Derives the form of the rule but presupposes that probabilities live on subspaces — half of what one wished to explain.
Deutsch–Wallace [12, 13]. Decision-theoretic derivations in the Everett interpretation. Widely criticized as circular: the equal-amplitude indifference principle that does the work is essentially the Born measure already.
Zurek envariance [18]. Uses entanglement symmetries of system+environment. Elegant, but assumes a tensor-product structure and a preferred system/environment cut.
Bohmian quantum equilibrium [19, 20]. |ψ|² is the typical distribution under guidance dynamics, with Valentini–Westerman relaxation arguments giving dynamical emergence. But |ψ|² is built into the equivariant-measure structure of the Bohmian construction; the squaring is stipulated through the guidance equation, not derived from upstream physics.
Sebens–Carroll [14], Masanes–Galley–Müller [15], Saunders branch-counting [16], QBist Dutch-book [17]. All import either a symmetry, a state-estimation postulate, a counting principle, or a coherence requirement.

No derivation has been broadly accepted as non-circular, and the rule is treated as effectively axiomatic.

1.3 The McGucken resolution: upstream rather than within

The McGucken Principle is a physical law asserting that the fourth dimension is expanding at the velocity of light from every spacetime event in a spherically symmetric manner:

(dx₄/dt) = ic.

This is the primary statement. The relation x₄ = ict is naturally implied by integration with respect to t, and is the algebraic expression of the principle in coordinates anchored at x₄=0 when t=0. The two forms are related as Newton’s F=ma is related to x = (1/2)at²: the dynamical law is the physical content, the integrated trajectory is its coordinate expression.

To paraphrase Neil Armstrong: obtaining x₄=ict by integration of dx₄/dt=ic, or recovering dx₄/dt=ic by differentiation of x₄=ict, is one small step for math; recognizing that the fourth dimension is physically expanding at the velocity of light in a spherically symmetric manner — with all the derivational consequences this has across quantum mechanics, general relativity, thermodynamics, spacetime, symmetry, action, and cosmology — is one giant leap for physics. Minkowski’s x₄=ict has been in physics since 1908; what nobody perceived for a hundred years was the dynamical content underneath it, the rate at which x₄ is changing, and the rich physics that follows from naming that rate.

The fourth dimension x₄ is the physical, dynamical, geometric direction that expands at the velocity of light from every spacetime event. The imaginary unit i that appears in the integrated form x₄=ict is the algebraic marker for the orthogonality of x₄ to the three spatial dimensions x₁, x₂, x₃ — the same i whose square gives the minus sign of the Lorentzian signature via (ict)² = -c² t².

This paper shows that, taken as the foundational physical principle, dx₄/dt=ic forces the Born rule. The argument is structurally upstream of the mainstream menu: rather than starting from a vector ψ ∈ 𝓗 and trying to motivate |ψ|² as the right measure on it, we construct ψ as the projection of x₄-advance onto x₁ x₂ x₃, and then prove that the projection density is forced to be |ψ|². The fourth dimension x₄ is the physical, dynamical, geometric direction that does the work; the imaginary unit i in the integrated x₄=ict indicates that this direction is perpendicular to the three spatial dimensions.

Hilbert space as a derived arena

The phrase “upstream of the Hilbert-space formalism” is given a precise meaning in several companion papers: the foundational McGucken Space construction [52], the McGucken Geometry as a novel mathematical category [64], the formal categorical construction [65] establishing the source-pair (𝓜G, DM) as a new categorical primitive, the chains-of-theorems derivation of quantum mechanics [56], the parallel derivation of general relativity [57], and the McGucken Sphere as spacetime’s foundational atom [58]. There the space-operator co-generation theorem [52] establishes that dx₄/dt=ic generates simultaneously the source-space 𝓜G = (E₄, ΦM, DM, ΣM) and the source-operator DM = ∂ₜ + ic ∂ₓ₄ from the same primitive law. The derivability hierarchy then runs

𝓜G → M₁,₃ → 𝓥 → 𝓗,

so that Hilbert space is not an axiom but the completed complex inner-product state space of square-integrable amplitudes over the derived Lorentzian spacetime M₁,₃ ≅ ΦM⁻¹(0). The construction of ψ as the projection of x₄-advance is therefore not an isolated move but a step in this larger derivation chain. When we write “upstream of the Hilbert-space formalism,” we mean it formally: every program in the mainstream menu begins inside 𝓗; the McGucken derivation begins inside 𝓜G, with 𝓗 as a downstream consequence.

Three geometric facts do the work:

The expansion of x₄ generates all paths and assigns each path a complex phase through the factor i in x₄=ict, making the amplitude ψ intrinsically complex.
Probability, being a physically observable frequency of outcomes, must be real, non-negative, and phase-invariant.
The only smooth, phase-invariant, non-negative, normalizable density constructible from a complex ψ is the squared modulus |ψ|²=ψ*ψ. The squaring is uniquely dictated by x₄=ict.

Remark (on the naturalness of dynamical x₄). The most common reflexive objection to a postulate of the form dx₄/dt=ic is that “dimensions, being coordinate labels, cannot do anything.” That objection presupposes a pre-relativistic picture of spacetime as inert background. Modern physics has discarded that picture across multiple independent fronts: the Einstein field equations make the metric itself the fundamental dynamical variable; inflationary cosmology requires spacetime to expand exponentially during the inflationary epoch; LIGO/Virgo directly observes spacetime geometry oscillating as a wave; and the FLRW scale factor a(t) describes ordinary cosmological expansion. Against this century-long consensus, dx₄/dt=ic is not exotic but the simplest possible instantiation of a step physics has long since taken: a first-order equation, a single parameter (the measured velocity c), evolution along the single most natural axis (perpendicular to the spatial triple).

2. Geometric Setup: The McGucken Sphere

2.1 The four-velocity budget

Every event E in spacetime carries a unit four-velocity uμ uμ = -c². In the McGucken framework this constraint is not formal — it is the statement that the four-velocity budget is partitioned between motion in x₁ x₂ x₃ and advance along x₄:

vₛₚₐₜᵢₐₗ² + vₓ₄² = c².

The two limiting cases give the ontology:

Absolute rest in x₁ x₂ x₃: vₛₚₐₜᵢₐₗ=0, vₓ₄=c (and |dx₄/dt| = c). Full budget in x₄-advance — a massive particle at spatial rest.
Absolute rest in x₄: vₓ₄=0, vₛₚₐₜᵢₐₗ=c. The photon: dx₄/dt = 0 along its null worldline; it rides the wavefront and does not advance in x₄.

The expansion dx₄/dt=ic refers to the geometric expansion of the x₄-coordinate at every event, independent of any single worldline; absolute motion is this universal x₄-expansion at ic.

2.2 The McGucken Sphere

The construction of this section formalizes the geometric object that has been at the heart of the McGucken framework since the 1989–1990 Princeton conversations [82, 83]: the photon as “equally likely to be found anywhere on a spherically symmetric wavefront expanding at the rate of c” from every emission event (Peebles), with the photon itself “stationary in x₄” (Wheeler). The mathematical structure of the McGucken Sphere as spacetime’s foundational atom is developed in detail in [58], and its standing as a rigorous geometric locality in six independent mathematical disciplines (foliation theory, level sets of a distance function, caustics and Huygens wavefronts, contact geometry, conformal geometry, and null-hypersurface locality of Minkowski geometry) is established in [59].

Definition 2.1 (McGucken Sphere). Let E be an event and t the proper time elapsed since E. The McGucken Sphere centred at E at parameter t is the set

𝓜E(t) = p ∈ spacetime : ds²(E,p)=0, x₄(p) – x₄(E) = ict.

Equivalently, 𝓜E(t) is the wavefront of the x₄-expansion emanating from E.

The McGucken Sphere is invariant under the rotation group SO(3) acting on x₁ x₂ x₃ by spatial rotations about E. This symmetry is the geometric content of the principle: the x₄-expansion is isotropic in 3-space.

2.3 Construction of the wavefunction

Definition 2.2 (McGucken wavefunction). Let σ: ℝ³ → 𝓜E(t) be the projection that lifts a spatial point x ∈ ℝ³ to the corresponding point on the McGucken Sphere reached by the x₄-expansion. The McGucken wavefunction of a system in state Ψ is the ℂ-valued field

ψ(x, t) = [projection of Ψ’s x₄-advance at σ(x) onto x₁ x₂ x₃],

with the phase carried by the factor i in x₄=ict.

This is the structural move that distinguishes the present derivation from the mainstream menu: ψ is not a primitive in a Hilbert space but a derived projection of a real geometric flow.

3. Why Amplitudes Are Complex: The Factor i from dx₄/dt=ic

3.1 Origin of complex amplitudes

Theorem 3.1 (Complex amplitudes from dx₄/dt=ic). Let ψ be the McGucken wavefunction of Definition 2.2 constructed under the McGucken Principle dx₄/dt = ic. Then ψ is intrinsically complex-valued, with phase generated by the factor i that appears in the integrated form x₄=ict.

Proof. The principle dx₄/dt = ic integrates to x₄=ict (the integration is one small step for math; recognizing the dynamical content of dx₄/dt=ic is one giant leap for physics). The factor i in the integrated form is the perpendicularity marker for x₄’s orthogonality to the three spatial dimensions: multiplication by i is the canonical algebraic representation of a quarter-rotation in the complex plane, and it encodes here the geometric fact that x₄ extends perpendicular to x₁ x₂ x₃. The Minkowski signature is the algebraic shadow of this perpendicularity: (ict)² = -c² t², and the minus sign in ds² = dx₁² + dx₂² + dx₃² – c² dt² records orthogonality, not unreality.

We make the projection-to-amplitude argument explicit. Consider an event E from which the McGucken expansion x₄=ict proceeds. A spatial point x∈ℝ³ lies on the McGucken Sphere 𝓜E(t) at parameter t = |x|/c. The displacement from E to a point on 𝓜E(t) has spatial component x (magnitude ct) and x₄-component x₄-x₄(E) = ict. The four-displacement vector is therefore

Δ X = (x, ict), ‖Δ X‖² = |x|² + (ict)² = c² t² – c² t² = 0,

confirming the null character of the McGucken Sphere. The x₄-component is purely imaginary because x₄ is the axis perpendicular to the spatial ℝ³, with i marking that perpendicularity. A wave propagating along x₄ at rate c for proper time t accumulates a phase angle ct along the imaginary axis; equivalently, it accumulates a complex displacement x₄-x₄(E)=ict in the complex plane spanned by (real spatial direction, imaginary x₄-direction). The algebraic content of “perpendicular to space, advancing at rate c” is precisely “factor of i multiplied by ct.”

The amplitude carried by such a wave is therefore not a real number but a complex phase. We make this precise by computing the amplitude along a null path. Each null path γ from E to a point B∈𝓜E(t) has total spacetime interval ∈tγ ds = 0, so the action S[γ] along γ is a finite nonzero quantity given by

S[γ] = -mc² ∈tγ dτ,

where τ is the proper time elapsed along γ and m is the mass associated with the propagating excitation. (For a massive particle this is the standard relativistic action; for the photon the action is replaced by the analogous Planck-quantum contribution per oscillation [48].) The x₄-displacement along γ accumulates as Δ x₄|γ = ic Δ tγ, and the phase contribution to the amplitude is the action divided by ℏ — the action quantum carried per Planck-frequency increment of x₄-oscillation [48]. Combining the imaginary character of the x₄-displacement with the phase-per-action quantization,

A[γ] = exp((i S[γ]/ℏ)).

This is the McGucken derivation of the Feynman path-integral weight; the dedicated companion paper [45] develops it in full, with the present argument as the structural core. The factor i in the exponent is the same perpendicularity marker as the i in x₄=ict: a wave propagating along an axis perpendicular to x₁ x₂ x₃, when projected into the 3-spatial slice via σ:ℝ³→𝓜E(t), carries a complex amplitude whose real part is the projection’s in-slice component and whose imaginary part is the perpendicular-to-slice component. The McGucken wavefunction ψ(B) = ∑γ:E→ BA[γ] is therefore a sum of complex phases:

ψ(B) = ∑γ: E → B exp((iS[γ]/ℏ)),

and is therefore a complex number.

If x₄ were real — x₄=ct without the i — the path weights would be exp(S/ℏ), real and (for S>0) divergent or decaying; this is precisely the Wick-rotated Euclidean theory, which is classical statistical mechanics, not quantum mechanics. The i in x₄=ict is what marks the genuine perpendicularity of x₄ to ordinary space, and that perpendicularity is what makes amplitudes complex. Hence ψ∈ℂ as claimed. ∎

3.2 The canonical commutation relation [q̂, p̂] = iℏ

The complex character established in Theorem 3.1 is the same complex character that appears in the canonical commutation relation [q̂, p̂] = iℏ.

Theorem 3.2 (Canonical commutation relation from dx₄/dt=ic). The canonical commutation relation [q̂, p̂] = iℏ follows from dx₄/dt=ic via the Minkowski metric and the four-momentum as generator of translations.

Proof. Integrating the principle dx₄/dt=ic gives x₄=ict (with x₄=0 at t=0). Substituting this integrated form into the four-dimensional Euclidean line element gives

ds² = dx₁² + dx₂² + dx₃² + dx₄² = dx₁² + dx₂² + dx₃² – c² dt²,

the Minkowski metric. The Lorentzian signature is the algebraic shadow of x₄’s perpendicularity to x₁ x₂ x₃: (ict)² = -c² t². Note that x₄=ict alone is a static relation between coordinates; it is the rate dx₄/dt=ic that supplies the dynamical content.

Step 1: From dx₄/dt=ic to the 4-momentum operator. The McGucken Sphere expanding from event E defines a geometric flow on M₁,₃. Translation invariance along each spacetime direction xμ corresponds, by Noether’s theorem, to a conserved charge pμ — the four-momentum. On McGucken wavefunctions ψ(x), which by Theorem 3.1 are ℂ-valued, the four-momentum operator is the infinitesimal generator of these translations. Standard Lie-theoretic argument gives the operator form p̂μ = αμ ∂/∂ xμ for some scalar αμ to be determined. The scalar αμ is fixed by two requirements: (i) the phase-derivative correspondence on plane-wave amplitudes from the path-integral representation (Theorem 3.1), and (ii) the Minkowski signature induced by x₄=ict.

Step 2: Phase-derivative correspondence. For a plane-wave amplitude ψ(x) = exp(ipμ xμ/ℏ) as established in Theorem 3.1, the action of p̂μ as the eigenvalue-extracting operator gives p̂μ ψ = pμ ψ. Differentiating the explicit form,

(∂ψ/∂ xμ) = (ipμ/ℏ) ψ, hence pμ ψ = -iℏ (∂ψ/∂ xμ),

giving αμ = -iℏ and the operator form p̂μ = -iℏ ∂/∂ xμ. The factor i here is inherited directly from the factor i in the x₄=ict phase exp(ipμ xμ/ℏ) that Theorem 3.1 forces; the factor ℏ is the action quantum carried per Planck-frequency increment of x₄-oscillation [48]; the minus sign is the Minkowski-signature convention (-,+,+,+) relating contravariant pᵏ and covariant pₖ.

Step 3: Computing the commutator. For one spatial direction, write q := xᵏ and p̂ := p̂ₖ for some fixed k∈1,2,3. Then p̂ = -iℏ ∂/∂ q. Computing on a smooth test function f(q):

[q̂, p̂] f = q·(-iℏ ∂q f) – (-iℏ ∂q)(qf) = -iℏ q ∂q f + iℏ(f + q ∂q f) = iℏ f.

Since this holds for all smooth f, [q̂, p̂] = iℏ as an operator identity.

Step 4: Tracing the factors. The factor i on the right-hand side traces back to the factor i in x₄=ict through three structurally connected steps: (i) the Minkowski signature (-,+,+,+) comes from (ict)² = -c² t²; (ii) the path-integral phase exp(iS/ℏ) inherits its i from the imaginary character of x₄-displacement; (iii) the momentum operator inherits its i from the phase-derivative correspondence. The factor ℏ on the right-hand side is the McGucken-derived quantum of action per oscillatory step of x₄’s expansion at the Planck frequency [48].

If x₄ were real, the Minkowski metric would collapse to the Euclidean metric, the path-integral phase would collapse to the Euclidean weight exp(-SE/ℏ) with no i, the momentum operator would collapse to a real differential operator, and [q̂, p̂] = 0 — classical mechanics. The non-vanishing of the commutator and its specific value iℏ trace through three structurally connected steps to the single fact that x₄ is dynamical and perpendicular to space, with dx₄/dt=ic supplying both the dynamics and the i. ∎

The structural parallel

Feature	dx₄/dt = ic	[q̂, p̂] = iℏ
Left side	Differential of a coordinate	Commutator of conjugates
i	Perpendicularity of x₄ to 3-space	Perpendicularity of q̂, p̂ in phase space
Constant	c (rate of x₄ expansion)	ℏ (action per expansion step)
Physical content	4th dim expands ⊥ at c	q̂, p̂ are conjugate, quantum ℏ

In the McGucken framework this parallel is not a coincidence but an identity: both equations express the same geometric fact that the universe’s foundational change occurs perpendicular to the three spatial dimensions, at rate c, in quanta of action ℏ.

Advantages of the McGucken account of [q̂, p̂] = iℏ

Over Gleason (formalist program). Gleason’s theorem derives the Born probability structure given a complex Hilbert space; the CCR is built into that Hilbert space through Stone–von Neumann before Gleason’s theorem applies. The McGucken derivation operates one level upstream: the complex structure itself is forced by x₄=ict.
Over Hestenes’s geometric algebra. Hestenes reinterprets i as a unit bivector iσ₃ = γ₂γ₁ in the spacetime algebra Cl(1,3). Genuine geometric content for i, but static. The McGucken framework has x₄’s expansion at c as the dynamical driver.
Over Adler’s trace dynamics. Adler derives the CCR as a canonical-ensemble average from a deeper matrix dynamics, but takes the complex matrix structure as input and requires supersymmetric balance for clean emergence. The McGucken derivation imports no complex structure and produces Minkowski spacetime from the same principle that produces the CCR.
Single dynamical mechanism. Gleason: abstract mathematical consistency. Hestenes: static geometric reinterpretation. Adler: emergent statistical average. McGucken: one dynamical physical mechanism — x₄’s perpendicular expansion at c with oscillatory structure setting ℏ.
Geometric meaning of i and ℏ. i = perpendicularity marker; ℏ = quantum of action per oscillatory step of x₄’s expansion at the Planck frequency. Both have direct geometric content.
Connection to special relativity. Only the McGucken framework unifies the quantum constant ℏ and the relativistic constant c at the level of foundational derivation.
The same i across foundational equations. dx₄/dt=ic, [q̂, p̂] = iℏ, iℏ ∂ₜψ = Ĥψ, exp(iS/ℏ), the +iε of QFT propagators — all the same fact in different formal contexts.
Overdetermination. The CCR follows from dx₄/dt=ic by two independent routes: the operator route (above) and the path-integral route (via Huygens’ Principle, the path integral, and the Schrödinger equation). Both arrive at the same algebraic identity by entirely different intermediate structures.

4. The Born Rule from dx₄/dt = ic

4.1 Strategy of the proof

The proof proceeds in three stages, each internal to the McGucken framework.

Stage 1. Express the geometric content of dx₄/dt=ic on the McGucken Sphere as four explicit physical requirements (R1)–(R4): reality, non-negativity, phase invariance, and bilinearity in (ψ,ψ^)*. The last is supplied by the bilinearity of x₄-flux: the flux at a point on 𝓜E(t) is the metric pairing of forward x₄-advance with its conjugate, and the Minkowski metric is a 2-tensor on the four-velocity by construction.
Stage 2. Bilinearity in (ψ,ψ^*) together with reality and phase invariance forces the density to be of the form C ψ^*ψ.
Stage 3. Non-negativity and normalization fix C=1, giving P=|ψ|².

The derivation imports no external lemmas. Every step is a direct consequence of the McGucken Principle: the bilinearity comes from the Minkowski metric structure (itself a theorem of dx₄/dt=ic via x₄=ict, (ict)²=-c² t²), the phase invariance comes from the universality of the x₄-expansion, and the non-negativity comes from the physical meaning of probability as a frequency of outcomes.

4.2 The four requirements from dx₄/dt = ic

A probability density P on ℝ³ derived from the McGucken wavefunction ψ must satisfy:

(R1) Reality: P(x) ∈ ℝ.
(R2) Non-negativity: P(x) ≥ 0.
(R3) Phase invariance under global x₄-shift: P(eⁱαψ) = P(ψ) for all α ∈ ℝ. Justification: a global phase is a homogeneous shift of the x₄-origin, geometrically unobservable because the expansion is universal.
(R4) Bilinearity in (ψ,ψ^*): P is a bilinear function of ψ and ψ^. Justification: by Theorem 7.1 (geometric meaning of the Born rule, established below), the probability density at B ∈ 𝓜E(t) is the geometric overlap of the forward x₄-advance with its conjugate at B. This overlap is the metric pairing of the four-velocity along the forward x₄-advance with the four-velocity along the conjugate. The Minkowski metric induced by dx₄/dt=ic via x₄=ict, (ict)² = -c² t² is a rank-2 tensor on the four-velocity: the pairing uμ uμ is bilinear in u by construction. Lifting this bilinearity from the four-velocity to its amplitude representation (ψ,ψ^) gives bilinearity of P in (ψ,ψ^*). Higher-order forms (quartic, sextic, etc.) are excluded because the metric structure inherited from dx₄/dt=ic is rank 2, not rank 4 or higher.

4.3 The bilinearity lemma

Lemma 4.1 (Bilinearity of x₄-flux). Let ψ be the McGucken wavefunction of Definition 2.2. The x₄-flux density at any event B ∈ 𝓜E(t) is bilinear in (ψ,ψ^).*

Proof. By the geometric reading of the McGucken expansion (Theorem 7.1 below), the x₄-flux density at B is the metric pairing of the forward x₄-advance with the conjugate x₄-advance at B. The forward advance carries the four-velocity component ufwd with x₄-component +ic; the conjugate advance carries ucₒₙj with x₄-component -ic. The flux density is the Minkowski inner product gμν ufwd μ ucₒₙj ν, where gμν is the metric induced by x₄=ict, (ict)² = -c² t².

The metric is a rank-2 tensor: it pairs two vectors and produces a scalar. The pairing is therefore bilinear in (ufwd, ucₒₙj) by the definition of a tensor of rank 2. In the amplitude representation, ufwd rightarrow ψ and ucₒₙj rightarrow ψ^, so the flux density is bilinear in (ψ,ψ^). Higher-order forms are excluded because the metric is rank 2 by the structure of dx₄/dt=ic via x₄=ict, not rank 4 or higher. ∎

4.4 The Born rule

Theorem 4.2 (Born rule from dx₄/dt=ic). Let ψ: ℝ³ → ℂ be the McGucken wavefunction of Definition 2.2, normalized so that ∈tℝ₃ |ψ|² d³ x = 1. The unique density P: ℝ³ → ℝ≥ ₀ satisfying (R1)–(R4) is

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

Proof. By (R4), P is bilinear in (ψ,ψ^*). The general bilinear form is

P(ψ) = a ψψ + b ψ^ψ + c ψψ^ + d ψ^ψ^ = a ψ² + (b+c) ψ^ψ + d (ψ^)²,

with coefficients a,b,c,d ∈ ℂ.

Phase invariance fixes the cross-term structure. By (R3), P(eⁱαψ)=P(ψ) for all α∈ℝ. Under ψ↦ eⁱαψ, ψ^↦ e⁻ⁱαψ^, the terms transform as: ψ²↦ e²ⁱαψ², ψ^ψ↦ψ^ψ, (ψ^)²↦ e⁻²ⁱα(ψ^)². Phase invariance for all α forces a=d=0, leaving P(ψ)=C ψ^*ψ with C := b+c.

Reality fixes C to be real. By (R1), P∈ℝ. Since ψ^*ψ=|ψ|²∈ℝ≥ ₀, C must be real.

Non-negativity fixes C ≥ 0. By (R2), P≥ 0. Since ψ^*ψ≥ 0, C≥ 0.

Normalization fixes C=1. The case C=0 gives P≡ 0, excluded by the requirement that P be a probability density. Hence C>0. The normalization ∈t|ψ|² d³ x = 1 then fixes C=1, giving P(x)=|ψ(x)|². ∎

4.5 Status of the result

What is imported. Nothing external. The derivation uses only structures internal to the McGucken framework: the bilinearity of the Minkowski metric (a consequence of x₄=ict, (ict)² = -c² t²), U(1) phase invariance from the universality of the x₄-expansion, reality and non-negativity from the physical meaning of probability, and normalization.

What is geometrically supplied. All four requirements (R1)–(R4) are supplied by the geometry of 𝓜E(t) and the principle dx₄/dt=ic. Bilinearity (R4) is supplied by the rank-2 structure of the Minkowski metric induced by x₄=ict. This is the substantive geometric content of the derivation.

The derivation chain. The Born rule follows from dx₄/dt=ic via:

dx₄/dt=ic → (R4) bilinearity → C ψ^*ψ → P=|ψ|².

4.6 The Advantages of the McGucken Derivation of the Born Rule

For a hundred years the Born rule has been the rule that quantum mechanics could not explain. Born stated it in 1926, and it has been an axiom ever since. Bohr, Heisenberg, von Neumann, and Dirac left it where Born put it. Every twentieth-century attempt — Gleason’s theorem, Everett’s relative-state formulation, the Many-Worlds branch counting, Deutsch and Wallace’s decision-theoretic argument, Zurek’s envariance, the Bohmian quantum equilibrium hypothesis — has lived inside the Hilbert-space formalism, taking ψ as given and trying to explain why the probability of measurement is the squared modulus of something the formalism never explained either. The Born rule remained the central mystery of quantum mechanics: a postulate that fit nothing else, a rule whose squaring had no geometric reason, a formula that linked the abstract complex amplitude to the concrete detector click by an act of fiat.

The McGucken derivation ends that century-long impasse. From the single geometric postulate dx₄/dt=ic, P=|ψ|² is forced. Not asserted, not stipulated, not motivated by decision theory or typicality or environment-induced selection. Forced.

The wavefunction — and Hilbert space itself — are constructed, not assumed

Every other derivation begins with ψ ∈ 𝓗. Gleason needs a Hilbert space of dimension three or higher. Deutsch and Wallace need a vector in a complex Hilbert space and a set of rational-agent axioms. Zurek needs a tensor-product structure and a system-environment cut. Bohm needs a wavefunction on 3N-dimensional configuration space and a guidance equation engineered from the polar decomposition. Every one of them takes the central object of the theory — and the arena it inhabits — as given.

The McGucken derivation does not. Definition 2.2 constructs the wavefunction as the projection of the system’s x₄-advance through σ: ℝ³ → 𝓜E(t). The wavefunction is a derived object, a projection of a real geometric flow.

Beyond this, the McGucken Space framework establishes the stronger fact that Hilbert space itself is derived from dx₄/dt=ic. The space-operator co-generation theorem gives dx₄/dt=ic ⇒ (𝓜G, DM), and the derivability chain then yields

𝓜G → M₁,₃ → 𝓥 → 𝓗,

where 𝓥 is the pre-Hilbert space of complex amplitudes over the McGucken-derived Lorentzian spacetime, and 𝓗 is its Born-inner-product completion. The same derivability chain produces phase space, spinor bundles, gauge bundles, Fock space, and operator algebras as further descendants. No mainstream derivation of the Born rule has this property: each begins by importing the very arena that the McGucken framework derives.

The complex character of ψ is explained for the first time

Why are quantum amplitudes complex? Not since 1926 has there been an answer. “Because they have to oscillate” is not an answer, it is a paraphrase. “Because the formalism requires it” is not an answer, it is a confession. Hestenes attempted geometric content for i as a unit bivector on a static Minkowski background, and that was the closest physics had come to a real answer in ninety years.

The McGucken derivation gives the answer. Amplitudes are complex because the fourth dimension is perpendicular to the three spatial dimensions, and the imaginary unit i is the algebraic representation of that perpendicularity. The Minkowski signature is the algebraic shadow of (ict)² = -c² t²: the minus sign records orthogonality, not unreality.

The squaring has a geometric reason

The squaring is the Malus law of x₄. Project a unit vector onto an axis, square the cosine, get the transmitted intensity. Classical optics has used this geometric move since Étienne-Louis Malus in 1809. The Born rule is the same move in a different setting: project a unit four-velocity component along x₄ onto the spatial slicing of a measurement, the projection density is the squared modulus.

Measurement has a physical mechanism for the first time

Bohr, Heisenberg, von Neumann — none of them gave a physical mechanism for measurement. The wavefunction collapses, somehow.

The McGucken derivation supplies the mechanism. |ψ|² = ψ^* ψ is the geometric overlap of the forward x₄-expansion and its conjugate at the measurement event. The expanding wavefront meets a localized absorber. The two expansions overlap. The overlap density at the event of incidence is the probability of detection. Measurement is the geometric incidence of the McGucken Sphere of emission with the worldline of the absorber.

Photons get a clean ontological account

A photon at v=c has dx₄/dt = 0 on its null worldline — absolute rest in x₄. Meanwhile the universal x₄-expansion at ic proceeds from every event, including the photon’s emission event E. The photon therefore sits on the entire McGucken Sphere 𝓜E(t) until absorbed. It is not “in a superposition” of detection events as a formal device. It is geometrically present on the entire null hypersurface of its emission, and the Born density on the absorber’s spatial slicing is the projection of that hypersurface onto the slicing.

Unitarity has a physical referent

Unitarity says: x₄ has no sources or sinks. The expanding fourth dimension does not lose flux as it propagates. This is what unitarity means.

No decision theory, no environment cut, no preferred foliation

The McGucken derivation imports nothing the others have to import. No decision theory, no system-environment cut, no preferred foliation (Maudlin’s 1996 critique remains unresolved against Bohm after thirty years; the McGucken framework has no analogous problem because the foliation by observer-time slices is the canonical foliation that follows from dx₄/dt=ic in every inertial frame, with full Lorentz invariance built in).

The Born rule is connected to the rest of physics

The factor i in the Born rule is the same i in [q̂, p̂] = iℏ, in iℏ ∂ₜ ψ = Ĥ ψ, in exp(iS/ℏ), in the +iε prescription, in U = exp(-iĤ t/ℏ), in every quantum field commutator, in every Dirac spinor. Standard quantum mechanics treats each appearance as a separate formal device. The McGucken derivation makes them all the same fact.

The two great fundamental constants descend from one geometry

c is the rate of x₄-advance. ℏ is the action per Planck-scale increment of x₄-oscillation. The two fundamental constants of twentieth-century physics, long held apart, are unified at the level of foundational derivation as two properties of one geometric flow.

Wick rotation becomes a theorem

In the McGucken framework Wick rotation becomes a theorem [McGuckenWick]. The substitution t → -iτ is the coordinate identification τ = x₄/c, following directly from the integration of dx₄/dt = ic via x₄ = ict. The dedicated companion paper proves this as Theorem 6 (“the Wick substitution is coordinate identification”) and develops the implications across thirty-four independent inputs of quantum field theory, quantum mechanics, and symmetry physics: the convergence of the Euclidean path integral, the +iε prescription, the twelve distinct factor-of-i insertions across canonical quantization (Schrödinger evolution, path-integral weight, canonical commutator, Dirac structure, U(1) gauge phase, Fresnel integrals, etc.), Osterwalder–Schrader reflection positivity, the KMS condition, Gibbons–Hawking horizon regularity, the Hawking temperature, the Matsubara formalism, and the Kontsevich–Segal admissible-complex-metric program. Removing the i from x₄ is removing the perpendicularity: the Lorentzian theory becomes Euclidean, the Schrödinger equation becomes the diffusion equation, the path-integral weight exp(iS/ℏ) becomes exp(-SE/ℏ), and the Born rule P=|ψ|² becomes P=ψ² — no modulus, because ψ is real.

The arrows of time emerge from one directedness

Five arrows of time — thermodynamic, radiative, cosmological, causal, psychological — trace to one fact. x₄ advances at +ic, not -ic. One geometric directedness.

The block universe dissolves

x₄ is a moving geometric axis, not a static coordinate. The present is the current state of x₄’s advance — a real ontological feature of the world, not a projection of human consciousness onto an indifferent block.

What this derivation accomplishes

For a hundred years the Born rule has been the central unexplained fact of quantum mechanics. The derivation in Theorem 4.2 takes a single geometric postulate — dx₄/dt=ic — and forces P=|ψ|² from it. The wavefunction is constructed, the complex character of ψ is explained, the squaring is given a geometric reason, the measurement event is given a physical mechanism, the photon is given a clean ontology, unitarity is given a physical referent, the two great fundamental constants c and ℏ are unified at the level of derivation, the Wick rotation becomes a theorem, the arrows of time emerge from one directedness, and the block universe dissolves into genuine becoming.

This is what a foundational derivation looks like.

4.7 Why Nobody Saw This Before

A reasonable question, and one that deserves a real answer. The McGucken Principle dx₄/dt=ic is, on its face, breathtakingly simple. Why did Einstein, Bohr, Dirac, Heisenberg, Feynman, Wheeler, or any of the twentieth century’s foundational physicists not write it down? The answer is in five parts, all of which had to be true simultaneously to block the discovery, and all of which the McGucken framework had to escape.

The block universe took the dynamics out of x₄

After Minkowski’s 1908 lecture, the dominant reading of relativity treated spacetime as a static four-dimensional manifold. Past, present, and future were taken to coexist in the block; the flow of time was relegated to psychology. Einstein himself wrote in 1955 that “the distinction between past, present and future is only a stubbornly persistent illusion.” Once spacetime was static, the question “what is the rate of change of x₄?” was treated as malformed. Coordinates do not have rates of change; they are labels. The expression dx₄/dt looked like a category error.

The McGucken framework rejected the block-universe reading from the start.

The factor of i was treated as formal, not geometric

The imaginary unit i entered quantum mechanics through Schrödinger’s 1926 wave equation, the canonical commutator, and the path-integral weight. In each case it appeared as a formal device. Hestenes (1966, 1979) made the strongest pre-McGucken case for geometric content for i, identifying it with a unit bivector in spacetime algebra. But Hestenes’s bivector was static, attached to a fixed Minkowski background, not connected to a rate of change.

Quantum mechanics and relativity were treated as separate theories

The dominant pedagogical and research culture of the twentieth century separated quantum mechanics from relativity. QFT unified them at the level of operators, but the foundational constants c and ℏ remained separately measured empirical inputs. No major program asked whether the imaginary unit in [q̂, p̂] = iℏ and the imaginary unit in x₄=ict are the same i.

The interpretation industry kept everyone inside Hilbert space

By the 1990s the foundations of quantum mechanics had become an “interpretation industry.” Each interpretation took the Hilbert-space formalism as inviolable and proposed a story about what it means. None of them asked whether the formalism itself could be derived from something deeper.

The path was open — but it required Wheeler’s question

McGucken’s discovery happened, biographically, at Princeton, under Wheeler’s mentorship, with the question that initiated the line of inquiry: “Can you, by poor-man’s reasoning, derive the time part of the Schwarzschild metric?” That question contained two unfashionable commitments: that foundational physics should still be done by simple reasoning from first principles, and that the mathematical structures of relativity should have direct geometric meanings. Wheeler’s earlier work — the participatory universe, the it-from-bit, the geon program — embodied both commitments. McGucken inherited them.

The simplicity was the giveaway

The deepest equations in physics are simple: F=ma, E=mc², ds² = gμνdxμ dxν, S = klog W. The pattern is that foundational discoveries look obvious in retrospect, and the question after the discovery is always “why did it take so long?” Simplicity is not the same as accessibility: a simple equation requires the right conceptual prerequisites to be writable. dx₄/dt=ic required the four conceptual moves above. Once those are made, the equation is unavoidable. Before they are made, it is unthinkable. That is why nobody saw it before. That is also why McGucken did.

4.8 Why McGucken Succeeds Where Others Failed

The Wikipedia entry on the Born rule lists, in its survey of derivation attempts, every major program of the last seventy years: Gleason’s theorem (1957); the Many-Worlds decision-theoretic derivations of Deutsch (1999), Greaves, and Wallace (2012); Zurek’s envariance (2003); Sebens–Carroll self-locating uncertainty (2018); Masanes–Galley–Müller’s state-estimation derivation (2019); Saunders’s branch-counting (2021); the Bohmian pilot-wave statistical derivation; and the QBist Dutch-book argument. The Wikipedia text concedes, with the neutrality of a curated mainstream summary, that the Many-Worlds derivations “have been criticized as circular,” that the Sebens–Carroll approach “has also been criticized,” that the Bohmian derivation “remains controversial,” and that the Born rule retains a “status apart” from the rest of the formalism in mainstream quantum mechanics.

Every program on this list fails for the same single reason. Each takes the Hilbert-space formalism as a fixed starting point and tries to motivate |ψ|² from inside that formalism by importing one further assumption: a probability measure on subspaces (Gleason), a rationality axiom on agent preferences (Deutsch–Wallace), an environment-induced symmetry (Zurek), a counting principle on observer copies (Sebens–Carroll), an operational state-estimation postulate (Masanes–Galley–Müller), a normalization convention for the branches (Saunders), an equivariant-measure construction on configuration space (Bohm), or a coherence requirement on betting strategies (QBist). Each of these one further assumptions either contains the Born rule already or is sufficiently specific to the formalism that the derivation is internal to quantum mechanics rather than a derivation of it from anything deeper.

The McGucken derivation succeeds because it does not begin in the Hilbert-space formalism. It begins one level upstream, with the geometric postulate dx₄/dt=ic, and constructs the entire formalism from there. That single move dissolves every block:

The complex character of ψ. Every Wikipedia-listed program treats complexity as a given. The McGucken derivation derives it from the perpendicularity of x₄ to ordinary 3-space.
The wavefunction itself. Every Wikipedia-listed program takes ψ ∈ 𝓗 as a primitive. The McGucken derivation constructs it as a projection of x₄-advance.
The squaring. Either built into the structure each program imports, or imported through an axiom equivalent to it. The McGucken derivation derives the squaring as the Malus law of x₄.
The connection to [q̂, p̂] = iℏ. No Wikipedia-listed program connects the two. The McGucken derivation shows they are the same fact.
The unification of c and ℏ. No Wikipedia-listed program derives the values of the fundamental constants. The McGucken derivation unifies them.
The measurement event. No Wikipedia-listed program supplies a physical mechanism for measurement. The McGucken derivation does.
The arrows of time and the block universe. No Wikipedia-listed program addresses them. The McGucken framework derives them from one directedness.

The structural shape of the failure that unites the Wikipedia menu is the same in every case: the formalism is taken as a fixed starting point. The structural shape of the McGucken success is the symmetric move: the formalism is derived. The reason no program on the Wikipedia list could do this is that each began too far downstream. The reason McGucken could is that the framework began upstream of the formalism, with one geometric fact.

4.9 The Comparison Table

Property	McGucken	Copen.	Gleason	DW	Zurek	S–C	MGM	Saund.	Bohm	QBist
Derives Born rule from a postulate	✓	×	∼	∼	∼	∼	∼	∼	∼	∼
Constructs ψ, doesn’t presuppose it	✓	×	×	×	×	×	×	×	×	×
Explains why amplitudes are complex	✓	×	×	×	×	×	×	×	×	×
Gives geometric reason for the squaring	✓	×	∼	×	×	×	×	×	×	×
Supplies measurement mechanism	✓	×	×	×	∼	×	×	×	∼	×
Avoids circularity charge	✓	✓	✓	×	∼	×	✓	∼	✓	×
No decision theory imported	✓	✓	✓	×	✓	∼	✓	✓	✓	×
No system/environment cut required	✓	✓	✓	✓	×	×	✓	✓	✓	✓
No preferred foliation required	✓	✓	✓	✓	✓	✓	✓	✓	×	✓
No state-estimation axiom imported	✓	✓	✓	✓	✓	✓	×	✓	✓	✓
Hilbert space itself is derived, not assumed	✓	×	×	×	×	×	×	×	×	×
Unitarity has physical referent	✓	×	×	×	×	×	×	×	∼	×
Photon ontology made explicit	✓	×	×	×	×	×	×	×	×	×
c and ℏ unified at derivation level	✓	×	×	×	×	×	×	×	×	×
Wick rotation has physical meaning	✓	×	×	×	×	×	×	×	×	×
Connects to [q̂, p̂] = iℏ	✓	×	×	×	×	×	×	×	×	×
Arrows of time from one directedness	✓	×	×	×	×	×	×	×	×	×
Block universe dissolved into becoming	✓	×	×	×	×	×	×	×	×	×

Columns: McGucken = the present derivation; Copen. = Copenhagen; DW = Deutsch–Wallace; S–C = Sebens–Carroll; MGM = Masanes–Galley–Müller; Saund. = Saunders branch-counting; Bohm = Bohmian quantum equilibrium; QBist = Quantum Bayesian.

The pattern of the table is the substantive claim of this paper: the McGucken Principle is not one option among many for deriving the Born rule. It is the unique framework in which all eighteen properties hold simultaneously. That uniformity — one geometric postulate yielding the entire constellation of foundational properties at once — is what distinguishes a foundational derivation from an internal consistency theorem.

4.10 Why not |ψ|, |ψ|³, or ψ²?

The proof of Theorem 4.2 rules out alternatives explicitly. The key intermediate result is that bilinearity (R4), forced by the rank-2 Minkowski metric induced by x₄=ict, makes P a bilinear form in (ψ,ψ^*). Phase invariance (R3) then restricts the admissible bilinear forms.

P=|ψ| is excluded by (R4). The modulus |ψ|=√(ψ^ψ) is not bilinear in (ψ,ψ^); it is the square root of a bilinear, which is sublinear. Geometrically the projection of forward x₄-advance onto its conjugate has degree two, not one.
P=|ψ|³ is excluded by (R4). Not bilinear. Geometrically there is no 1.5-fold conjugation of x₄; the metric pairing is degree two, not three.
P=ψ² is excluded by (R1) and (R3). Complex-valued in general; not phase-invariant under ψ↦ eⁱαψ.
*P=(ψ^ψ)² is excluded by (R4). Quartic, not bilinear; would require a rank-4 tensor on the four-velocity. The Minkowski metric induced by x₄=ict is rank 2.

The rule P=|ψ|² is not one option among many; it is the density that bilinearity, phase invariance, reality, and non-negativity force, given the geometric content of dx₄/dt=ic.

5. The Hilbert Space from dx₄/dt = ic

5.1 The third pillar

Two pillars of quantum mechanics have now been derived from dx₄/dt=ic: the Born rule (Theorem 4.2) and the canonical commutation relation (Theorem 3.2). The third pillar — the most foundational of all, because it is the arena in which the other two are stated — is the Hilbert space itself.

A Hilbert space 𝓗 is a complete complex inner-product vector space. In standard quantum mechanics, 𝓗 is taken as a postulate: states are unit vectors in 𝓗, observables are self-adjoint operators on 𝓗. Every program in the mainstream Born-rule menu — Gleason, Deutsch–Wallace, Zurek, Sebens–Carroll, Masanes–Galley–Müller, Saunders, Bohm, QBist — imports 𝓗 as a starting axiom.

The McGucken framework derives it. The space-operator co-generation theorem gives dx₄/dt=ic ⇒ (𝓜G, DM), and the derivability hierarchy

𝓜G → M₁,₃ → 𝓥 → 𝓗

yields the Hilbert space as the completed complex inner-product state space of square-integrable amplitudes over the derived Lorentzian spacetime M₁,₃ ≅ ΦM⁻¹(0).

5.2 The McGucken construction of 𝓗

Step 1: Lorentzian spacetime as the constraint surface. ΦM = x₄ – ict vanishes on worldlines satisfying x₄ = ict. Substituting dx₄² = -c² dt² into the four-dimensional Euclidean line element gives the Lorentzian interval dℓ² = dx₁² + dx₂² + dx₃² – c² dt². Spacetime M₁,₃ is the projection of (𝓜G, DM) onto the constraint surface.

Step 2: Complex amplitudes over M₁,₃. A scalar field ψ: M₁,₃ → ℂ carries a complex value at every event. The complex character is forced by Theorem 3.1: projecting an x₄-propagating wave into the spatial slice gives a real part (in-slice) plus an imaginary part (perpendicular-to-slice). The space of such fields is 𝓥 = ψ: M₁,₃ → ℂ, a complex vector space.

Step 3: The Born inner product. The Born density of Theorem 4.2 provides a natural inner product on 𝓥. We restrict 𝓥 to the subspace of square-integrable amplitudes,

𝓥₂ = ψ: M₁,₃→ℂ | ∈tℝ₃ |ψ(x,t)|² d³ x < ∞ for every t,

and define

⟨ φ, ψ ⟩ = ∈tℝ₃ φ^*(x,t) ψ(x,t) d³ x.

We verify the three inner-product axioms.

Conjugate symmetry. For φ, ψ ∈ 𝓥₂, ⟨ ψ, φ ⟩ = ∈t ψ^* φ d³ x = (∈t φ^* ψ d³ x)^* = ⟨ φ, ψ ⟩^*.

Sesquilinearity. For α, β ∈ ℂ and φ, ψ₁, ψ₂ ∈ 𝓥₂, ⟨ φ, αψ₁ + βψ₂ ⟩ = α⟨φ,ψ₁⟩ + β⟨φ,ψ₂⟩, linear in the second argument. Conjugate-linear in the first by conjugate symmetry.

Positive-definiteness. For ψ ∈ 𝓥₂, ⟨ ψ, ψ ⟩ = ∈t |ψ|² d³ x ≥ 0, with equality iff ψ = 0 almost everywhere on ℝ³. Modding out the subspace 𝓝 of amplitudes equal to zero almost everywhere gives the pre-Hilbert space 𝓥₂/𝓝 with strict positive-definiteness on equivalence classes.

The inner product is therefore well-defined as a sesquilinear, conjugate-symmetric, positive-definite form on 𝓥₂/𝓝. Geometrically, this inner product is the overlap of the conjugate x₄-expansion of φ with the forward x₄-expansion of ψ (Theorem 7.1), integrated over the spatial slice; the |ψ|² structure of the diagonal entries is inherited directly from the Born rule derivation (Theorem 4.2).

Step 4: Completion. The pre-Hilbert space (𝓥₂/𝓝, ⟨·,·⟩) is completed in the norm topology ‖ψ‖ = √(⟨ψ,ψ⟩) induced by the Born inner product. Cauchy completion is a standard real-analytic operation: every Cauchy sequence in 𝓥₂/𝓝 has a unique limit in the completion, and the completion is itself a complete normed inner-product space (a Hilbert space) by the Riesz–Fischer theorem. The result is

𝓗 ≅ L²(M₁,₃, dμM),

where dμM is the McGucken measure on the derived spacetime, given on each spatial slice by the Lebesgue measure d³ x that the McGucken Sphere geometry inherits from 𝓜G. The identification of the Cauchy completion of square-integrable functions on a measure space with the L²-space of that measure space is a classical theorem of real analysis (Riesz–Fischer, 1907) and uses no quantum-mechanical input.

Theorem 5.1 (Hilbert space from dx₄/dt=ic). The Hilbert space 𝓗 of quantum mechanics is the Cauchy completion of the pre-Hilbert space of complex-valued square-integrable amplitudes over the McGucken-derived Lorentzian spacetime, with the inner product induced by the Born density.

5.3 Eleven prior attempts: postulation, axiomatization, reconstruction, characterization

What follows is a survey of every major prior program characterized as “deriving” the Hilbert space. Not one supplies it from a physical principle. Each either postulates, axiomatizes, reconstructs, characterizes, or empirically confirms the structure — different operations from derivation.

1. Von Neumann (1932): postulation. Von Neumann’s Mathematical Foundations of Quantum Mechanics set the textbook standard: states are unit vectors in a complex separable Hilbert space, observables are self-adjoint operators on it. No derivation. The Hilbert space is the starting axiom of the theory.

2. Dirac (1930): bra-ket axiomatization. Dirac’s Principles of Quantum Mechanics axiomatized the algebra of bras and kets as basic objects, with completeness assumed. More elegant than von Neumann, still axiomatization.

3. Mackey (1957): quantum logic. Mackey attempted to derive the Hilbert-space structure from a small set of axioms about the lattice of yes/no measurements. The axioms (orthocomplementation, atomicity, covering law) give an orthomodular lattice. Mackey then conjectured — could not prove — that under further conditions this lattice is isomorphic to the lattice of closed subspaces of a complex Hilbert space.

4. Piron (1964) and Solèr (1995). Piron added irreducibility and covering axioms and showed the lattice must be isomorphic to closed subspaces of a vector space over a division ring with involution — but the division ring could be ℝ, ℂ, or ℍ. Solèr added a technical axiom on infinite orthonormal sequences and showed the division ring must be one of ℝ, ℂ, ℍ. Neither program singled out ℂ. The complex numbers had to be picked from three options by additional postulation.

5. Jordan, von Neumann, Wigner (1934): Jordan algebras. JNW classified algebraic structures carrying observables and found the only finite-dimensional Jordan algebras are matrix algebras over ℝ, ℂ, ℍ, plus an exceptional case. Same three-way choice; classification, not derivation.

6. Hardy (2001): operational reconstruction. Hardy proposed five “reasonable axioms” — about probabilities, composite systems, continuous reversible transformations — from which the standard quantum formalism can be reconstructed. Genuine reconstruction. But the axioms are operational/probabilistic, not physical. They tell you that if you want a probabilistic theory with continuous reversible transformations, then you need a complex Hilbert space. They don’t tell you why the world supplies that probability structure.

7. Chiribella–D’Ariano–Perinotti (2010s): informational reconstructions. This program — purification axiom, informational completeness — derives quantum mechanics from operational principles about information processing. Same character as Hardy: structural reconstruction from operational axioms. The complex Hilbert space comes out as the unique structure satisfying the axioms, but the axioms themselves are informational rather than physical.

8. Aerts, Coecke, Abramsky–Coecke: categorical characterization. Categorical quantum mechanics characterizes the Hilbert-space structure as a particular kind of dagger-symmetric monoidal category. Beautiful mathematical work. But characterization, not derivation. The category is defined to capture the structure of quantum theory; it doesn’t explain why nature has that structure.

9. Stueckelberg (1960): real Hilbert space and the necessity of i. Stueckelberg showed quantum mechanics in a real Hilbert space requires a special operator J with J² = -1 to recover the standard theory — at which point the real Hilbert space has been complexified. Sometimes cited as a “derivation that quantum mechanics requires complex numbers.” What it actually shows is that a real Hilbert space with extra structure is equivalent to a complex Hilbert space. It doesn’t explain why either is the right one.

10. Adler (1995, 2004): quaternionic quantum mechanics. Adler developed quantum mechanics over the quaternions ℍ, showing a consistent quantum theory can be built there. His later trace-dynamics work attempted to derive the standard complex structure from a deeper matrix dynamics. But trace dynamics takes the complex matrix structure as input and requires extra assumptions (supersymmetric balance, equilibrium thermodynamics) for the canonical commutation relations to emerge.

11. Renou et al. (2021): empirical exclusion of real QM. Renou and collaborators showed that real quantum mechanics gives different predictions from complex quantum mechanics in certain Bell-type scenarios, and experiments confirmed complex QM. Sometimes mis-described as “deriving” the necessity of complex numbers. It doesn’t. It shows experimentally that nature is described by complex QM. Empirical fact, not derivation. The why remains unanswered.

5.4 The diagnostic across all eleven approaches

Every program either postulates the complex Hilbert space directly (von Neumann, Dirac), derives it from quasi-equivalent algebraic axioms added by hand (Mackey, Piron, Solèr, JNW), reconstructs it from operational/informational axioms whose physical origin is itself unexplained (Hardy, CDP), characterizes it categorically (Abramsky–Coecke), or shows real or quaternionic alternatives are equivalent or excluded (Stueckelberg, Adler, Renou) — without explaining why ℂ is the right structure rather than confirming that it is.

In every case, the complex linear structure is imported — as a postulate, or as an axiom about agents, lattices, categories, or experiments. Nobody before McGucken located the i in physical reality and let the Hilbert space generate from there.

Program	Operation	What is imported	What is left unexplained
McGucken (2026)	Physical derivation	Single principle dx₄/dt=ic	Nothing left unexplained at this level
Von Neumann (1932)	Postulation	Complex separable Hilbert space, self-adjoint operators	Why ℂ, why Hilbert space at all
Dirac (1930)	Bra–ket axiomatization	Complex linear structure, completeness	Why ℂ
Mackey (1957)	Quantum-logic conjecture	Orthomodular lattice + extra axioms	Lattice → Hilbert isomorphism unproved
Piron / Solèr	Lattice-theoretic restriction	Irreducibility, covering, infinite orthonormal sequence	Choice of ℝ, ℂ, ℍ
JNW (1934)	Jordan-algebra classification	Commutativity, distributivity	Same three-way choice
Hardy (2001)	Operational reconstruction	Five operational axioms	Why nature obeys those axioms
CDP (2011)	Informational reconstruction	Purification + informational completeness	Why nature obeys those axioms
Abramsky–Coecke	Categorical characterization	Dagger-symmetric monoidal category	Why nature has this category
Stueckelberg (1960)	Equivalence with real + J	Real Hilbert space with J² = -1	Why this structure
Adler (1995, 2004)	Quaternionic / trace dynamics	Complex matrix structure, supersymmetric balance	Why ℂ over ℍ
Renou et al. (2021)	Empirical exclusion of real QM	Bell experiments confirming complex QM	Why complex QM at all

5.5 What makes the McGucken construction unique

The four steps of the McGucken construction — constraint surface, complex amplitudes, Born inner product, Cauchy completion — have no parallel in any prior program because each step relies on a prior derivation that no other program has.

Step in McGucken construction	What it requires	Why no prior program has it
Lorentzian spacetime M₁,₃ as derived arena	dx₄/dt=ic as the dynamical law, with integrated x₄ = ict giving dx₄² = -c² dt² and the Lorentzian signature	No prior program treats x₄ as dynamical; spacetime is taken as fixed background
Complex amplitudes from projection	i as perpendicularity marker for x₄ ⊥ x₁ x₂ x₃	No prior program treats x₄ as dynamical with i marking its perpendicularity; i is formal
Born inner product as geometric overlap	ψ^* ψ as overlap of forward and conjugate x₄-expansions	No prior program has a physical mechanism for the inner product
Cauchy completion	Standard real analysis on a derived pre-Hilbert space	Standard once Steps 1–3 are in place; no prior program has Steps 1–3

The single conceptual move that the entire prior tradition refused to make: treating x₄ as a physical, dynamical, geometric direction, with the imaginary unit i as the algebraic marker for that direction’s perpendicularity to ordinary 3-space. The work is done by x₄ — the actual fourth dimension, with an actual rate of change. The role of i is narrower but indispensable: it indicates that x₄ is orthogonal to x₁, x₂, x₃, encoded algebraically in (ict)² = -c² t². Together, dx₄/dt = ic states that the fourth dimension x₄ advances perpendicular to ordinary space at rate c. Once both pieces are in place — x₄ as dynamical, i as perpendicularity marker — the Hilbert space generates itself.

5.6 The four prerequisites that blocked everyone else

Required move	Twentieth-century block	Why it was not made
Treat x₄ as dynamical	Block-universe Minkowski reading: spacetime is static	“Coordinates do not have rates of change” — dx₄/dt looked like a category error
Treat i as physical	Formalist interpretation of i as notational convenience	Even Hestenes’s bivector reinterpretation kept the structure static
Unify c and ℏ	QM and relativity treated as separate theories	QFT unified at the operator level but not at foundational constants
Derive the formalism, not interpret it	Interpretation industry: Many-Worlds, Bohmian, transactional, QBist all take Hilbert space as inviolable	Posture: “the formalism is what it is; the question is what to make of it”

5.7 The single decisive move

Aspect of i	McGucken treatment	Twentieth-century treatment
Mathematical role	Same algebraic unit, identified physically	Algebraic unit with i² = -1
Physical referent	Unit vector along x₄, the perpendicular fourth dimension	None; i is a formal device
Dynamical character	Dynamical; dx₄/dt=ic states x₄ is expanding at rate c, with the integrated x₄=ict marking an axis that is in motion	Static; i doesn’t move or change
Origin in QM equations	Inherited from dx₄/dt = ic; same i in every quantum equation	Inserted “by hand” to make amplitudes oscillate, commutators non-zero
Origin of complex amplitudes	Derived; complex amplitudes are projections of an x₄-perpendicular wave	Postulated; ψ is taken to be complex-valued
Origin of Hilbert space	Derived; 𝓗 is the L² completion over the McGucken-derived spacetime	Postulated; 𝓗 is the starting axiom

5.8 Before and after McGucken

Before McGucken: the Hilbert space was an axiom (von Neumann, Dirac), an algebraic conjecture (Mackey), a lattice-theoretic restriction (Piron, Solèr), a Jordan-algebra classification (JNW), an operational reconstruction (Hardy, CDP), a categorical characterization (Abramsky–Coecke), an equivalence theorem (Stueckelberg), an alternative-algebra exclusion (Adler), or an experimental confirmation (Renou et al.).

After McGucken: the Hilbert space is a theorem of dx₄/dt = ic (Theorem 5.1).

6. The Uncertainty Principle from dx₄/dt = ic

6.1 The fourth pillar

Three pillars of quantum mechanics have now been derived from dx₄/dt=ic: the Born rule (Theorem 4.2), the canonical commutation relation (Theorem 3.2), and the Hilbert space itself (Theorem 5.1). The fourth pillar — the most experimentally celebrated of all, the one sentence of quantum mechanics that has entered general culture — is the Heisenberg uncertainty principle:

σₓ σₚ ≥ (ℏ/2).

For a hundred years the uncertainty principle has stood as one of the most surprising statements ever made about the physical world: that there is a strict, nonzero lower bound on how precisely position and momentum can be simultaneously known. The McGucken framework derives the uncertainty principle from dx₄/dt=ic as a direct consequence of the canonical commutation relation derived in §3.2.

6.2 The history of the principle: 1925–1930

Heisenberg, 1925–1927. Heisenberg’s 1925 Umdeutung paper introduced matrix mechanics, in which position and momentum became non-commuting matrices. His 1927 paper “Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik” established the heuristic statement that any measurement of position to accuracy Δ x must disturb momentum by an amount of order h/Δ x, illustrated by the celebrated microscope thought experiment — which Bohr later showed contained an error, requiring an addendum to the publication.

Kennard, 1927. Earle Hesse Kennard gave the first formal derivation of the modern inequality σₓ σₚ ≥ ℏ/2 later in 1927, using standard deviations rather than Heisenberg’s informal Δ notation. The derivation invoked the Fourier-transform relation between position-space and momentum-space wavefunctions plus the Cauchy–Schwarz inequality.

Weyl, 1928. Hermann Weyl gave an independent derivation of the Kennard bound in his Gruppentheorie und Quantenmechanik, using the same Fourier–Cauchy–Schwarz machinery in a slightly cleaner form.

Robertson, 1929. Howard Percy Robertson generalized Kennard’s result from the position–momentum pair to arbitrary pairs of Hermitian operators. For any two Hermitian operators Â, B̂,

σA σB ≥ (1/2) |⟨ [Â, B̂]⟩|.

Plugging in [q̂, p̂] = iℏ recovers Kennard’s σₓ σₚ ≥ ℏ/2 as a special case.

Schrödinger, 1930. Erwin Schrödinger strengthened Robertson’s inequality by adding a covariance term, giving the Robertson–Schrödinger uncertainty relation.

What the historical derivation accomplished, and what it did not. The Kennard–Weyl–Robertson–Schrödinger chain of 1927–1930 established the uncertainty principle as a theorem of the quantum-mechanical formalism: given the Hilbert-space framework, given the operators q̂ and p̂, given the canonical commutator [q̂, p̂] = iℏ, the uncertainty bound follows by Cauchy–Schwarz. What it does not do is explain why the formalism has the structure that produces the bound. The Wikipedia article on the uncertainty principle states the situation directly: in the wave-mechanics route, “the only physics involved in this proof was that ψ and φ are wave functions for position and momentum, which are Fourier transforms of each other.” That is, the physics is loaded entirely into the Fourier-transform relation, and that relation is asserted, not derived. In the matrix-mechanics route, the canonical commutator is the physical input, and again, this is asserted as a postulate rather than derived.

6.3 The McGucken derivation

Theorem 3.2 derives [q̂, p̂] = iℏ from dx₄/dt=ic via the Minkowski metric and the four-momentum as generator of translations. The Hilbert space (§5) on which these operators act is also derived (Theorem 5.1). Both inputs to the Robertson inequality are therefore theorems of dx₄/dt=ic, not external axioms. The Robertson inequality itself is a calculation in inner-product algebra (Cauchy–Schwarz), reproduced here as a McGucken-internal lemma rather than imported. With these in hand the uncertainty bound follows.

Lemma 6.0 (Robertson inequality). Let Â, B̂ be self-adjoint operators on a complex Hilbert space 𝓗, and let ψ ∈ 𝓗 be a unit vector on which Âψ and B̂ψ are defined. Define standard deviations

σA² = ⟨ψ|(Â – ⟨Â⟩)²|ψ⟩, σB² = ⟨ψ|(B̂ – ⟨B̂⟩)²|ψ⟩,

where ⟨Â⟩ = ⟨ψ|Â|ψ⟩. Then

σA σB ≥ (1/2)|⟨ψ|[Â, B̂]|ψ⟩|.

Proof. Define centred operators Â₀ = Â – ⟨Â⟩ and B̂₀ = B̂ – ⟨B̂⟩, both self-adjoint. Note [Â₀, B̂₀] = [Â, B̂] since constant shifts commute with everything.

By the Cauchy–Schwarz inequality applied to the inner product ⟨Â₀ψ|B̂₀ψ⟩,

|⟨Â₀ψ|B̂₀ψ⟩|² ≤ ⟨Â₀ψ|Â₀ψ⟩ · ⟨B̂₀ψ|B̂₀ψ⟩ = σA² σB².

Decompose the inner product into Hermitian and anti-Hermitian parts:

⟨Â₀ψ|B̂₀ψ⟩ = ⟨ψ|Â₀B̂₀|ψ⟩ = (1/2)⟨ψ|Â₀,B̂₀|ψ⟩ + (1/2)⟨ψ|[Â₀,B̂₀]|ψ⟩.

The anticommutator is self-adjoint, so its expectation is real; the commutator is anti-self-adjoint, so its expectation is purely imaginary. Therefore

|⟨Â₀ψ|B̂₀ψ⟩|² = (1/4)|⟨ψ|Â₀,B̂₀|ψ⟩|² + (1/4)|⟨ψ|[Â,B̂]|ψ⟩|² ≥ (1/4)|⟨ψ|[Â,B̂]|ψ⟩|².

Combining with Cauchy–Schwarz and taking square roots: σA σB ≥ (1/2)|⟨ψ|[Â, B̂]|ψ⟩|. ∎

Theorem 6.1 (Uncertainty principle from dx₄/dt=ic). Let ψ: ℝ³ → ℂ be a normalized McGucken wavefunction, let q̂ be the position operator and p̂ = -iℏ ∂q the momentum operator on the McGucken-derived Hilbert space. Then

σₓ σₚ ≥ (ℏ/2).

Proof. By Theorem 3.2, [q̂, p̂] = iℏ on the McGucken-derived Hilbert space (Theorem 5.1). By Lemma 6.0 with Â = q̂ and B̂ = p̂,

σₓ σₚ ≥ (1/2)|⟨ψ|iℏ|ψ⟩| = (1/2)ℏ|⟨ψ|ψ⟩| = (ℏ/2),

where the final equality uses normalization ⟨ψ|ψ⟩ = 1. The constant ℏ on the right is the action carried per Planck-scale increment of x₄-oscillation [48]; the factor (1/2) is the Robertson constant from Cauchy–Schwarz. The bound is therefore a theorem of dx₄/dt=ic via the chain

dx₄/dt=ic → [q̂, p̂] = iℏ → σₓ σₚ ≥ (ℏ/2). ∎

The geometric reading. Position and momentum are not independent specifications of a physical system but conjugate facets of a single x₄-projection. The position q̂ is the spatial projection of the system’s x₄-advance at a measurement event; the momentum p̂ is the rate of change of that projection. Specifying one with arbitrary precision constrains the projection to a localized region of 𝓜E(t), which forces the conjugate rate to spread over the complementary angular sectors. The uncertainty relation is the geometric statement that the McGucken Sphere cannot be simultaneously concentrated to a point in 3-space and a point in momentum space — because both are projections of a single x₄-flow whose total budget is unit four-velocity.

6.4 The history of attempts: a survey

The Wikipedia article on the uncertainty principle surveys the major derivations. Each inhabits the Hilbert-space formalism as a starting point; each imports either Fourier-conjugacy or the canonical commutator as a brute physical fact.

Heisenberg microscope (1927). Heuristic, not a derivation; Bohr showed the argument flawed in detail.
Kennard (1927). First formal derivation, using Fourier-transform relation plus Cauchy–Schwarz.
Weyl (1928). Independent derivation in the same form as Kennard.
Robertson (1929). Generalization to arbitrary Hermitian operators via the canonical commutator.
Schrödinger (1930). Robertson–Schrödinger strengthening with covariance term.
Phase-space / Wigner-function derivations. Star-product positivity in the Wigner phase-space formulation.
Entropic uncertainty relations (Hirschman 1957, Beckner 1975, Białynicki-Birula–Mycielski 1975). Stronger inequalities formulated in terms of Shannon entropy. Imports the same Fourier-conjugacy.
Maccone–Pati (2014). Variance-sum relations giving stronger bounds. Same canonical commutator input.
Ozawa (2003). Operational error-disturbance inequality; reconciles Heisenberg’s microscope intuition with the Robertson statistical inequality.
Mandelstam–Tamm (1945) energy–time. Energy–time uncertainty derived from Robertson by identifying a characteristic time.
Popper (1934, 1982). Statistical-scatter interpretation; interpretive rather than derivational.

6.5 The diagnostic across all attempts

Program	Operation	What is imported	What is left unexplained
McGucken (2026)	Physical derivation	Single principle dx₄/dt=ic	Nothing left unexplained at this level
Heisenberg (1927)	Heuristic thought experiment	Photon scattering, conservation of momentum	Why ℏ, why the bound is exact
Kennard (1927)	Fourier + Cauchy–Schwarz	Position–momentum Fourier conjugacy	Why the conjugacy holds
Weyl (1928)	Fourier + Cauchy–Schwarz	Position–momentum Fourier conjugacy	Why the conjugacy holds
Robertson (1929)	Cauchy–Schwarz on Hermitian operators	Canonical commutator [q̂, p̂] = iℏ	Why the commutator equals iℏ
Schrödinger (1930)	Robertson + covariance term	Canonical commutator + anticommutator	Same as Robertson
Phase-space / Wigner	Star-product positivity	Wigner function structure	Why the phase-space framework
Hirschman / Beckner / BBM	Entropy + Fourier inequalities	Position–momentum Fourier conjugacy	Why the conjugacy holds
Maccone–Pati (2014)	Variance-sum optimization	Canonical commutator	Same as Robertson
Ozawa (2003)	Operational error–disturbance	Intrinsic statistical uncertainty	Why the underlying bound
Mandelstam–Tamm (1945)	Robertson with characteristic time	Robertson relation, observable choice	Same as Robertson
Popper (1934, 1982)	Statistical-scatter reinterpretation	The Heisenberg formalism	Same as Heisenberg

The diagnostic: every prior program imports either the position–momentum Fourier conjugacy, the canonical commutator, or both, as a starting fact. The McGucken derivation imports neither. Both are derived upstream from dx₄/dt=ic.

6.6 What makes the McGucken derivation unique

Step in McGucken derivation	What it requires	Why no prior program has it
Canonical commutator as theorem	dx₄/dt=ic via Minkowski metric and four-momentum as generator of translations	No prior program treats [q̂, p̂] = iℏ as derived; universally axiomatized
Hilbert space as derived arena	Space-operator co-generation of 𝓜G from dx₄/dt=ic	No prior program derives the Hilbert space; universally postulated
Robertson inequality on derived 𝓗	Cauchy–Schwarz on Hermitian commutator within McGucken-derived 𝓗	Standard derivation step; the prior steps are McGucken’s contribution
ℏ as action per x₄-oscillation	McGucken Principle’s identification of ℏ as action quantum carried by x₄-advance at Planck frequency	No prior program derives the value of ℏ from a physical principle

The single conceptual move that distinguishes the McGucken derivation: both inputs to the Robertson–Kennard machinery — the canonical commutator and the Hilbert space — are themselves theorems of dx₄/dt=ic, not separate axioms. The Robertson–Kennard derivation is mathematically standard. What is new is what feeds into it.

The mainstream derivation chain runs:

Hilbert space (axiom) + [q̂, p̂] = iℏ (axiom) → σₓ σₚ ≥ (ℏ/2).

The McGucken derivation chain runs:

dx₄/dt=ic → 𝓗 derived, [q̂,p̂]=iℏ derived → σₓ σₚ ≥ (ℏ/2).

The Robertson step is the same in both chains. What changes is the upstream side: the McGucken framework produces both inputs from one geometric postulate.

6.7 Why ℏ/2 specifically

The mainstream derivation gives ℏ/2 as a consequence of the Cauchy–Schwarz inequality applied to a commutator equal to iℏ. Both factors — the constant ℏ on the right of the commutator and the factor (1/2) from Cauchy–Schwarz — appear without further explanation. The ℏ is empirical input; the (1/2) is purely mathematical.

The McGucken framework gives both factors a physical reading:

The ℏ: action per Planck-scale increment of x₄-oscillation. The McGucken framework derives ℏ from the same geometric postulate that derives c: ℏ and c are the two hallmarks of the McGucken expansion, the action quantum and the expansion rate respectively, both descending from dx₄/dt=ic.
The (1/2): the Robertson constant from Cauchy–Schwarz applied to a Hermitian commutator. Standard real analysis, no physical content.

The bound ℏ/2 is therefore: (action per x₄-oscillation) divided by (the Robertson constant). One physical factor, one mathematical factor, both with clear origins.

6.8 The four pillars together

Pillar	McGucken derivation	Standard QM treatment
Born rule P=‖ψ‖²	Theorem 4.2 (bilinearity from x₄=ict rank-2 metric, phase invariance fixes ψ^*ψ, normalization fixes	ψ
Canonical commutator [q̂,p̂]=iℏ	Theorem 3.2 (dx₄/dt=ic via Minkowski metric, four-momentum generator)	Postulated axiom
Hilbert space 𝓗	Theorem 5.1 (dx₄/dt=ic → 𝓜G → M₁,₃ → 𝓥 → 𝓗)	Postulated axiom
Uncertainty σₓσₚ ≥ ℏ/2	Theorem 6.1 (Robertson on derived [q̂,p̂] on derived 𝓗)	Theorem of axiomatic formalism

The standard treatment axiomatizes three of the four pillars and derives the fourth from them. The McGucken framework derives all four from one geometric postulate.

6.9 Before and after McGucken

Before McGucken: the uncertainty principle was a theorem of an axiomatized formalism. Robertson’s derivation produces σₓ σₚ ≥ ℏ/2 from the canonical commutator and the Hilbert-space inner product, but both inputs were postulated.

After McGucken: the uncertainty principle is a theorem of dx₄/dt = ic via Theorem 6.1, with the canonical commutator (Theorem 3.2) and the Hilbert space (Theorem 5.1) themselves derived from the same postulate.

7. The Geometric Meaning of ψ^*ψ: Forward and Conjugate x₄-Expansions

The uniqueness theorem (Theorem 4.2) establishes that P=|ψ|². We now show why, geometrically: the squared modulus is the overlap of the forward x₄-expansion with its conjugate at the measurement event.

Definition 7.1 (Conjugate expansion). The conjugate of the McGucken expansion x₄=ict is the expansion obtained by complex-conjugating both sides: (x₄)^* = (ict)^* = -ict. We denote this conjugate x₄-coordinate by x₄^* = -ict. Geometrically, complex conjugation reverses the orientation of the perpendicular x₄-axis: where the forward expansion advances at +ic (by the McGucken Principle), the conjugate expansion would advance at -ic if it were a physical flow. The conjugate is not a second physical expansion but the same expansion read by an opposite-phase observer; it has no independent physical existence. The conjugate wavefunction ψ^*(B) = ∑γ exp(-iS[γ]/ℏ) is the path-integral expression of this conjugate-orientation reading: same paths, opposite phase, real amplitudes summed back to real numbers when overlap-integrated against the forward expansion.

Theorem 7.1 (Geometric meaning of the Born rule). The Born density P=ψ^ψ at an event B is the geometric overlap, at B, of the forward x₄-expansion (carrying phase from x₄=ict) and the conjugate x₄^-expansion (carrying phase from x₄^=-ict).*

Proof. By Theorem 3.1, the propagator is K(B,A) = ∑γ:A→ B eⁱS[γ]/ℏ. The conjugate propagator is K^*(B,A) = ∑γ e⁻ⁱS[γ]/ℏ. Their product

P(A → B) = K^*(B,A) K(B,A) = ∑γ, γ’ eⁱ⁽S[γ] ⁻ S[γ’]⁾/ℏ

is a double sum over pairs of paths. The first index runs over the forward x₄-expansion from A to B; the second runs over the conjugate. The product is, by construction, the geometric overlap of the two expansions at B. ∎

Measurement as a meeting of the two expansions. The macroscopic apparatus exists at a definite x₄-coordinate (localized by prior decoherence). When the expanding wavefront of ψ reaches the apparatus, the forward expansion (x₄=ict) and the conjugate (x₄^*=-ict) overlap at the apparatus’s localized x₄-position. The probability of detection is precisely this overlap, ψ^*ψ. The “collapse” is not a separate dynamical process but the geometric incidence of the two expansions on a localized absorber. Importantly, this is purely an expansion geometry: there are no advanced-wave, offer-wave, or absorber-response mechanisms invoked.

Proposition 7.2 (Malus correspondence). The Born rule is to x₄-projection what Malus’s law is to spatial projection: the squared cosine of the angle between the polarization direction (the x₄-direction along which the state advances) and the projection axis (the spatial slicing of the measurement) gives the transmitted intensity.

8. Unitarity from Conservation of x₄-Flux

Theorem 8.1 (Unitarity from dx₄/dt=ic). Under the McGucken Principle, ∈tℝ₃ |ψ|² d³ x is conserved in time.

Proof. The McGucken Principle implies |dx₄/dt| = c, a constant. The x₄-flux through any spatial 3-surface at parameter t is the integral of the projection density over that surface,

Φ(t) = ∈tℝ₃ |ψ(x,t)|² d³ x.

The four-velocity constraint uμ uμ = -c², equivalently vₛₚₐₜᵢₐₗ² + vₓ₄² = c² at every event, ensures that whatever budget is not allocated to spatial motion is allocated to x₄-advance, with the total fixed.

We compute the time derivative:

(dΦ/dt) = ∈tℝ₃ ∂ₜ |ψ|² d³ x = ∈tℝ₃ (ψ^* ∂ₜ ψ + (∂ₜ ψ)^* ψ) d³ x.

The Schrödinger equation iℏ ∂ₜψ = Ĥψ is itself a theorem of dx₄/dt=ic, derived in the companion paper [46]: the principle generates a unique first-order linear evolution equation on the McGucken Sphere, and the structure of the McGucken-derived Hilbert space (Theorem 5.1) plus the Born inner product forces the generator Ĥ to be self-adjoint. We use these results: iℏ ∂ₜψ = Ĥψ with Ĥ = Ĥ^†. Substituting ∂ₜψ = -(i/ℏ)Ĥψ and (∂ₜψ)^* = (i/ℏ)(Ĥψ)^*:

(dΦ/dt) = (i/ℏ) ∈tℝ₃ [(Ĥ ψ)^* ψ – ψ^* Ĥ ψ] d³ x.

By Hermiticity of Ĥ on the McGucken-derived Hilbert space, ∈t (Ĥψ)^ψ d³ x = ∈t ψ^ Ĥψ d³ x, and the integrand vanishes identically. Hence dΦ/dt = 0, so Φ(t) = Φ(0) = 1 for all t.

The chain is therefore:

dx₄/dt=ic → (𝓗, Ĥ = Ĥ^†, iℏ ∂ₜψ = Ĥψ) → (d/dt)∈t |ψ|² d³ x = 0.

Geometrically: the x₄-expansion at constant rate c redistributes amplitude across the wavefront without sources or sinks; the algebraic Hermiticity is the operator-level expression of this conservation. Unitarity has a physical meaning in the McGucken framework — it is conservation of x₄-flux — where in standard quantum mechanics it is an algebraic property of imported operators. ∎

9. Wick Rotation: The i as the Switch

The Wick rotation t → -iτ provides a clean independent test of the claim that the squared modulus is forced by the imaginary character of x₄. We state this as a formal theorem of the McGucken Principle.

Theorem 9.1 (Wick rotation as a theorem of dx₄/dt=ic). The Wick rotation t→ -iτ is the coordinate identification τ = x₄/c on the McGucken manifold, equivalently t = -iτ under the integrated form x₄ = ict. Consequently, the Wick-rotated theory is the McGucken framework expressed in real-Euclidean coordinates, and removing i from x₄ collapses the Lorentzian quantum theory to its Euclidean shadow: exp(iS/ℏ)↦exp(-SE/ℏ), the Schrödinger equation ↦ the diffusion equation, the Feynman path integral ↦ the Wiener integral, and the Born rule P=|ψ|² ↦ P=ψ² on real amplitudes.

Proof. By integration of dx₄/dt=ic with x₄=0 at t=0, we have x₄=ict. Define the Euclidean coordinate τ on the McGucken manifold by τ := x₄/c, so that x₄ = cτ. Solving for t in terms of τ via x₄ = ict = cτ gives t = -iτ, equivalently τ = it. The substitution t→ -iτ is therefore not an analytic-continuation trick but a literal coordinate identification on the McGucken manifold: the Lorentzian and Euclidean coordinates (t, x₄) and (τ, x₄) are two readings of the same geometric fact dx₄/dt=ic.

Under this coordinate identification, x₄=ict becomes x₄E=cτ (real); the Minkowski line element ds² = dx₁²+dx₂²+dx₃²-c²dt² becomes the Euclidean line element dℓ² = dx₁²+dx₂²+dx₃²+c²dτ². The path-integral weight exp(iS/ℏ), where S = ∈t L dt, becomes exp(iS/ℏ) = exp(i∈t L (-i dτ)/ℏ) = exp(∈t L dτ/ℏ); under the standard sign convention SE = -∈t LE dτ, this is exp(-SE/ℏ), real and positive. The Schrödinger equation iℏ ∂ₜψ = Ĥψ under t→ -iτ becomes ℏ ∂τψ = -Ĥψ, the diffusion equation in Euclidean time. The Feynman path integral becomes the Wiener integral by the same substitution. The Born rule P=|ψ|² becomes P=ψ² because the real ψ has no nontrivial complex conjugate.

The full development of this theorem — thirteen formal theorem-clusters comprising thirty-four individual propositions, including the convergence of the Euclidean path integral, the +iε prescription, Osterwalder–Schrader reflection positivity, the KMS condition, Gibbons–Hawking horizon regularity, the Hawking temperature, the Matsubara formalism, and the Kontsevich–Segal admissible-complex-metric program — is given in the dedicated companion paper [53], with the central result there labelled Theorem 6: “the Wick substitution is coordinate identification.” ∎

Consequence: the modulus tracks the i. The Wick-rotated theory is classical statistical mechanics, and the probability rule there is the squared real amplitude. The Born rule P=|ψ|² — specifically the modulus rather than the bare square — is the marker of the Lorentzian regime where x₄=ict. This is consistent with the uniqueness theorem of §4: removing i removes (R3) phase invariance (there are no phases left), removing the constraint that forces the modulus. The presence or absence of the modulus tracks the presence or absence of the i, which tracks whether x₄ is being treated as perpendicular (Lorentzian) or as a fourth spatial dimension (Euclidean).

10. Worked Example: The Double Slit

Let a particle be emitted from source A, traverse one of two slits S₁, S₂, and be detected at x. The amplitude at x is ψ = ψ₁ + ψ₂. By Theorem 4.2,

P(x) = |ψ₁ + ψ₂|² = |ψ₁|² + |ψ₂|² + ψ₁^*ψ₂ + ψ₂^*ψ₁.

The diagonal terms are single-slit projection densities. The cross terms 2 Re(ψ₁^*ψ₂) are geometric overlaps between the forward x₄-expansion through one slit and the conjugate through the other. The interference fringes are the visible manifestation.

11. Photon Localization and the Null-Worldline Theorem

Theorem 11.1 (Photon localization). For a photon, dx₄/dt = 0 along its null worldline (absolute rest in x₄), while the x₄-expansion of the universe proceeds at ic from every event. The photon therefore rides the McGucken Sphere of its emission event indefinitely, until absorbed. The Born density |ψ|² for the photon is the projection density of the McGucken Sphere of emission onto the absorber’s spatial slicing.

This account explains why a photon can be detected anywhere on the expanding wavefront with probability |ψ|² even though it is a single quantum: the photon is at absolute rest in x₄ and therefore present on the entire McGucken Sphere of its emission, with the Born density specifying the projection onto whichever 3-spatial slicing the absorber selects.

12. Comparison with the Mainstream Menu

10.1 What the McGucken derivation supplies that Gleason does not

Gleason’s theorem assumes a probability measure on subspaces of a Hilbert space and shows it must take the form tr(ρ P). It does not explain why probabilities live on subspaces, nor does it explain why amplitudes are complex. The McGucken derivation supplies both.

10.2 Where Deutsch–Wallace circularity is avoided

Decision-theoretic derivations assume that an agent’s preferences satisfy axioms which already encode the equal-amplitude indifference principle equivalent to the Born rule. The McGucken derivation imports no decision theory.

10.3 Where Zurek envariance differs

Envariance derives the rule from entanglement symmetries between system and environment. The McGucken derivation requires no system/environment cut.

10.4 The transactional route

The Transactional Interpretation derives the Born rule by reading ψ^*ψ as the literal product of a forward-propagating offer wave and a backward-propagating confirmation wave in Wheeler–Feynman absorber-theory pseudo-time. This is structurally distinct from x₄-projection: the squaring there is the incidence of two real waves traveling in opposite temporal directions, whereas in the McGucken framework it is the geometric projection density of a single real geometric flow. The two routes are independent. A detailed comparison with respect to Maudlin’s contingent-absorber critique appears in the dedicated companion paper.

10.5 Bohmian quantum equilibrium: stipulation versus derivation

In Bohmian mechanics the Born rule appears as the quantum equilibrium hypothesis: ρ = |ψ|² is asserted as the statistical distribution. Valentini and Westerman sharpen this with a relaxation argument. Both arguments are substantive, but neither derives the specific functional form |ψ|² from a prior physical fact: the form is built into the definition of equivariance, which is itself a consequence of the polar decomposition ψ = Rexp(iS/ℏ).

A second contrast: Bohmian mechanics requires a preferred foliation (Maudlin 1996); the McGucken framework does not. A third: the Bohmian wavefunction lives on 3N-dimensional configuration space and must be reified (empty-wave problem); the McGucken wavefunction lives on the 3-spatial slice as the projection of 𝓜E(t).

A dedicated comparison with Bohmian mechanics — covering the pilot wave, the quantum potential, the preferred-foliation problem, the configuration-space ontology, and the Born-rule derivation contrast in detail — appears in the dedicated companion paper.

13. Summary of the Derivation Chain

The full chain from postulate to Born rule:

Physical principle. dx₄/dt = ic — the fourth dimension expanding at the velocity of light from every spacetime event in a spherically symmetric manner. The integrated form x₄=ict follows by integration (with x₄=0 at t=0); the dynamical content is in the rate.
Geometry. The McGucken Sphere 𝓜E(t) and the projection σ: ℝ³ → 𝓜E(t).
Complex amplitudes. ψ is intrinsically complex (Theorem 3.1) because x₄=ict carries i.
Bilinearity. The Minkowski metric induced by x₄=ict, (ict)²=-c² t² is rank 2; the x₄-flux density is therefore bilinear in (ψ,ψ^*) (Lemma 4.1).
Born rule. Phase invariance (R3) reduces the bilinear form to C ψ^*ψ; reality (R1), non-negativity (R2), and normalization fix C=1 (Theorem 4.2).
Geometric meaning. P=ψ^*ψ is the overlap of forward and conjugate x₄-expansions (Theorem 7.1).
Unitarity. Conservation of x₄-flux gives ∈t |ψ|² d³ x = 1 for all t (Theorem 8.1).
Photon case. The photon is at dx₄/dt = 0 on its null worldline; its detection density is the projection of 𝓜E(t) onto the absorber’s slicing (Theorem 11.1).
Wick consistency. Removing i from x₄ removes the modulus from the rule.

The Born rule is not an independent axiom of quantum mechanics. It is a theorem of dx₄/dt=ic, with no external lemmas imported.

14. Open Questions and Outlook

Two pieces remain to be developed in companion work.

(i) Bilinearity from rank-2 metric structure. The current derivation justifies bilinearity (R4) from the rank-2 structure of the Minkowski metric induced by x₄=ict. A fully formal categorical proof that the metric structure on 𝓜G forces every probability density built from a wavefunction to be bilinear in (ψ,ψ^*) — with rank-4 and higher tensor forms excluded by the metric structure rather than by named exclusion — would tighten the derivation further.

(ii) The Wick-rotation theorem. The status of the Wick rotation as a theorem of the McGucken Principle, rather than a formal device, is developed in the dedicated companion paper [McGuckenWick]. The twelve distinct factor-of-i insertions across quantum theory — canonical commutators, Schrödinger evolution, path weights, propagators, second quantization, the Dirac equation, U(1) gauge phase, the unitary evolution operator, Fresnel integrals, the Minkowski–Euclidean action bridge iSM = -SE, and others — collapse, in the McGucken framework, to a single physical fact: dx₄/dt=ic, with the integrated x₄=ict supplying the algebraic i that propagates through every formula. The companion paper proves thirteen formal theorem-clusters comprising thirty-four individual propositions, with the central result that the Wick substitution t → -iτ is the coordinate identification τ = x₄/c on the McGucken manifold.

Acknowledgements

The author thanks John Archibald Wheeler, whose question — “Can you, by poor-man’s reasoning, derive the time part of the Schwarzschild metric?” — initiated this line of inquiry at Princeton, and whose vision of a “breathtakingly simple” underlying idea has guided it throughout four decades.

References

M. Born, “Zur Quantenmechanik der Stoßvorgänge,” Zeitschrift für Physik 37, 863–867 (1926).
“Born rule,” Wikipedia, https://en.wikipedia.org/wiki/Born_rule, accessed 2026.
“Uncertainty principle,” Wikipedia, https://en.wikipedia.org/wiki/Uncertainty_principle, accessed 2026.
W. Heisenberg, “Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen,” Zeitschrift für Physik 33, 879–893 (1925).
W. Heisenberg, “Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik,” Zeitschrift für Physik 43, 172–198 (1927).
E. H. Kennard, “Zur Quantenmechanik einfacher Bewegungstypen,” Zeitschrift für Physik 44, 326–352 (1927).
H. Weyl, Gruppentheorie und Quantenmechanik. Hirzel, Leipzig (1928); English translation: The Theory of Groups and Quantum Mechanics, Methuen (1931).
H. P. Robertson, “The Uncertainty Principle,” Physical Review 34, 163–164 (1929).
E. Schrödinger, “Zum Heisenbergschen Unschärfeprinzip,” Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse 14, 296–303 (1930).
A. M. Gleason, “Measures on the Closed Subspaces of a Hilbert Space,” Journal of Mathematics and Mechanics 6, 885–893 (1957).
R. Cooke, M. Keane, and W. Moran, “An Elementary Proof of Gleason’s Theorem,” Math. Proc. Cambridge Phil. Soc. 98, 117–128 (1985).
D. Deutsch, “Quantum Theory of Probability and Decisions,” Proc. Roy. Soc. A 455, 3129–3137 (1999).
D. Wallace, The Emergent Multiverse: Quantum Theory According to the Everett Interpretation. Oxford University Press (2012).
C. T. Sebens and S. M. Carroll, “Self-Locating Uncertainty and the Origin of Probability in Everettian Quantum Mechanics,” British Journal for the Philosophy of Science 69, 25–74 (2018).
L. Masanes, T. D. Galley, and M. P. Müller, “The Measurement Postulates of Quantum Mechanics Are Operationally Redundant,” Nature Communications 10, 1361 (2019).
S. Saunders, “Branch-Counting in the Everett Interpretation of Quantum Mechanics,” Proc. Roy. Soc. A 477, 20210600 (2021).
C. A. Fuchs, N. D. Mermin, and R. Schack, “An Introduction to QBism,” American Journal of Physics 82, 749–754 (2014).
W. H. Zurek, “Environment-Assisted Invariance, Entanglement, and Probabilities in Quantum Physics,” Phys. Rev. Lett. 90, 120404 (2003).
D. Dürr, S. Goldstein, and N. Zanghì, “Quantum Equilibrium and the Origin of Absolute Uncertainty,” J. Stat. Phys. 67, 843–907 (1992).
A. Valentini and H. Westerman, “Dynamical Origin of Quantum Probabilities,” Proc. Roy. Soc. A 461, 253–272 (2005).
T. Maudlin, “Space-Time in the Quantum World,” in Cushing, Fine, Goldstein (eds.), Bohmian Mechanics and Quantum Theory: An Appraisal (Kluwer, 1996); also Quantum Non-Locality and Relativity, 3rd ed. (Wiley-Blackwell, 2011).
R. E. Kastner and J. G. Cramer, “Quantifying Absorption in the Transactional Interpretation,” arXiv:1711.04501 (2018).
P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed. Clarendon Press, Oxford (1958).
J. von Neumann, Mathematische Grundlagen der Quantenmechanik. Springer (1932); English translation: Mathematical Foundations of Quantum Mechanics. Princeton University Press (1955).
G. W. Mackey, Mathematical Foundations of Quantum Mechanics. Benjamin (1963).
C. Piron, “Axiomatique Quantique,” Helvetica Physica Acta 37, 439–468 (1964).
M. P. Solèr, “Characterization of Hilbert Spaces by Orthomodular Spaces,” Communications in Algebra 23, 219–243 (1995).
P. Jordan, J. von Neumann, and E. Wigner, “On an Algebraic Generalization of the Quantum Mechanical Formalism,” Annals of Mathematics 35, 29–64 (1934).
L. Hardy, “Quantum Theory From Five Reasonable Axioms,” arXiv:quant-ph/0101012 (2001).
G. Chiribella, G. M. D’Ariano, and P. Perinotti, “Informational Derivation of Quantum Theory,” Phys. Rev. A 84, 012311 (2011).
S. Abramsky and B. Coecke, “A Categorical Semantics of Quantum Protocols,” Proc. 19th IEEE Symp. on Logic in Computer Science (LICS), 415–425 (2004).
E. C. G. Stueckelberg, “Quantum Theory in Real Hilbert Space,” Helvetica Physica Acta 33, 727–752 (1960).
S. L. Adler, Quaternionic Quantum Mechanics and Quantum Fields. Oxford University Press (1995).
M.-O. Renou, et al., “Quantum Theory Based on Real Numbers Can Be Experimentally Falsified,” Nature 600, 625–629 (2021).
D. Hestenes, Space-Time Algebra. Gordon and Breach (1966); 2nd ed. Birkhäuser (2015).
D. Hestenes, “Spin and Uncertainty in the Interpretation of Quantum Mechanics,” Am. J. Phys. 47, 399–415 (1979).
S. L. Adler, Quantum Theory as an Emergent Phenomenon. Cambridge University Press (2004).
S. L. Adler and A. Kempf, “Corrections to the Emergent Canonical Commutation Relations,” J. Math. Phys. 39, 5083–5097 (1998).
J. Lindgren and J. Liukkonen, “Quantum Mechanics Can Be Understood Through Stochastic Optimization on Spacetimes,” Scientific Reports 9, 19984 (2019).
R. P. Feynman and A. R. Hibbs, Quantum Mechanics and Path Integrals. McGraw-Hill (1965).
J. A. Wheeler, A Journey Into Gravity and Spacetime. W. H. Freeman (1990).
E. McGucken, “The McGucken Principle and Proof: The Fourth Dimension Is Expanding at the Velocity of Light,” https://elliotmcguckenphysics.com/2026/04/15/the-mcgucken-principle-and-proof-the-fourth-dimension-is-expanding-at-the-velocity-of-light-dx4-dtic-as-a-foundational-law-of-physics/, 2024–2026.
E. McGucken, “Time as an Emergent Phenomenon,” FQXi Essay Contest (2008); and four further FQXi essays (2008–2013).
E. McGucken, “Light, Time, Dimension Theory — Five Foundational Papers,” elliotmcguckenphysics.com, 2025.
E. McGucken, “A Derivation of Feynman’s Path Integral from the McGucken Principle,” https://elliotmcguckenphysics.com/2026/04/15/a-derivation-of-feynmans-path-integral-from-the-mcgucken-principle-of-the-fourth-expanding-dimension-dx4-dt-ic/, April 2026.
E. McGucken, “The McGucken Principle as the Physical Mechanism Underlying Huygens’ Principle, Least Action, Noether’s Theorem, and the Schrödinger Equation,” https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-huygens-principle-the-principle-of-least-action-noethers-theorem-and-the-schrodinger-equation/, April 2026.
E. McGucken, “A Derivation of the Uncertainty Principle from the McGucken Principle,” https://elliotmcguckenphysics.com/2026/04/11/a-derivation-of-the-uncertainty-principle-%ce%b4x%ce%b4p-%e2%89%a5-%e2%84%8f-2-from-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic-the-expanding-fourth-dimension-th/, April 2026.
E. McGucken, “How the McGucken Principle Sets the Constants c and ℏ,” https://elliotmcguckenphysics.com/2026/04/11/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx4-dtic-sets-the-constants-c-the-velocity-of-light-and-h-plancks-constant/, April 2026.
E. McGucken, “The McGucken Quantum Formalism versus the Transactional Interpretation,” https://elliotmcguckenphysics.com/2026/04/19/the-mcgucken-quantum-formalism-versus-the-transactional-interpretation-a-comprehensive-comparison-with-discussion-of-maudlins-contributions-the-born-rule-derivations-and-how-the-mcgucken-princip/, April 2026.
E. McGucken, “The McGucken Quantum Formalism versus Bohmian Mechanics,” https://elliotmcguckenphysics.com/2026/04/20/the-mcgucken-quantum-formalism-versus-bohmian-mechanics-a-comprehensive-comparison-with-discussion-of-the-pilot-wave-the-quantum-potential-the-preferred-foliation-problem-the-born-rule-derivation/, April 2026.
E. McGucken, “A Novel Geometric Derivation of the Canonical Commutation Relation [q,p]=iℏ Based on the McGucken Principle: A Comparative Analysis with Gleason, Hestenes, and Adler,” https://elliotmcguckenphysics.com/2026/04/21/a-novel-geometric-derivation-of-the-canonical-commutation-relation-q-p-i%e2%84%8f-based-on-the-mcgucken-principle-a-comparative-analysis-of-derivations-of-q-p-i%e2%84%8f-in-gleason-hestene/, April 2026.
E. McGucken, “The McGucken Space 𝓜G: The Source-Space that Generates Spacetime, Hilbert Space, and the Physical-Arena Hierarchy,” https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-space-%e2%84%b3g-the-source-space-that-generates-spacetime-hilbert-space-and-the-physical-arena-hierarchy/, April 2026.
E. McGucken, “The McGucken Principle dx₄/dt=ic Necessitates the Wick Rotation and i Throughout Physics: A Reduction of Thirty-Four Independent Inputs of QFT, QM, and Symmetry Physics to a Single Physical Principle,” 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/, May 2026.
E. McGucken, Light Time Dimension Theory: Foundational Papers. Amazon (2024).
E. McGucken, The Physics of Time. Amazon (2025).
E. McGucken, “Quantum Mechanics Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of QM as a Chain of Theorems of dx₄/dt=ic,” https://elliotmcguckenphysics.com/2026/04/26/quantum-mechanics-derived-from-the-mcgucken-principle/, April 2026.
E. McGucken, “General Relativity Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of GR as a Chain of Theorems of dx₄/dt=ic,” https://elliotmcguckenphysics.com/2026/04/26/general-relativity-derived-from-the-mcgucken-principle/, April 2026.
E. McGucken, “The McGucken Sphere as Spacetime’s Foundational Atom: Deriving Arkani-Hamed’s Amplituhedron and Penrose’s Twistors as Theorems of dx₄/dt=ic,” https://elliotmcguckenphysics.com/2026/04/27/the-mcgucken-sphere-as-spacetimes-foundational-atom/, April 2026.
E. McGucken, “Quantum Nonlocality and Probability from the McGucken Principle of a Fourth Expanding Dimension — How dx₄/dt=ic Provides the Physical Mechanism Underlying the Copenhagen Interpretation,” https://elliotmcguckenphysics.com/2026/04/16/quantum-nonlocality-and-probability-from-the-mcgucken-principle-of-a-fourth-expanding-dimension-how-dx4-dt-ic-provides-the-physical-mechanism-underlying-the-copenhagen-interpr/, April 2026.
E. McGucken, “The Deeper Foundations of Quantum Mechanics: How dx₄/dt=ic Uniquely Generates the Hamiltonian and Lagrangian Formulations, Wave/Particle Duality, the Schrödinger and Heisenberg Pictures, and Locality and Nonlocality,” https://elliotmcguckenphysics.com/2026/04/23/the-deeper-foundations-of-quantum-mechanics/, April 2026.
E. McGucken, “How the McGucken Principle Generates and Unifies the Dual A–B Channel Structure of Physics,” https://elliotmcguckenphysics.com/2026/04/24/how-the-mcgucken-principle-generates-and-unifies-the-dual-a-b-channel-structure-of-physics/, April 2026.
E. McGucken, “The Unique McGucken Lagrangian: All Four Sectors — Free-Particle Kinetic, Dirac Matter, Yang–Mills Gauge, Einstein–Hilbert Gravitational — Forced by dx₄/dt=ic,” https://elliotmcguckenphysics.com/2026/04/23/the-unique-mcgucken-lagrangian/, April 2026.
E. McGucken, “The McGucken Symmetry dx₄/dt=ic — The Father Symmetry of Physics — Completing Klein’s 1872 Erlangen Programme,” https://elliotmcguckenphysics.com/2026/04/28/the-mcgucken-symmetry-the-father-symmetry-of-physics/, April 2026.
E. McGucken, “The McGucken Geometry — A Novel Mathematical Category Exalted by the Principle/Axiom dx₄/dt=ic,” https://elliotmcguckenphysics.com/2026/05/05/the-mcgucken-geometry-a-novel-mathematical-category-exalted-by-the-principle-axiom-dx%e2%82%84-dt-ic-wherein-an-axis-is-physically-expanding-in-a-spherically-symmetric-manner-and-exalting-general/, May 2026.
E. McGucken, “Novel Reciprocal-Generation McGucken Category Built on dx₄/dt=ic: Three Theorems on the Source-Pair (MG, DM),” https://elliotmcguckenphysics.com/2026/05/02/novel-reciprocal-generation-mcgucken-category/, May 2026.
E. McGucken, “The McGucken Principle dx₄/dt=ic as the Common Foundation of the Conservation Laws and the Second Law of Thermodynamics,” https://elliotmcguckenphysics.com/2026/04/23/the-mcgucken-principle-as-the-common-foundation-of-the-conservation-laws-and-the-second-law-of-thermodynamics/, April 2026.
E. McGucken, “Vanquishing Infinities and Singularities via the Continuous and Discrete McGucken Spacetime Geometry — Two Theorems of dx₄/dt=ic,” https://elliotmcguckenphysics.com/2026/05/05/vanquishing-infinities-and-singularities-via-the-continuous-and-discrete-mcgucken-spacetime-geometry-two-theorems-of-the-mcgucken-principle-dx%e2%82%84-dt-ic-finite-one-loop-qed-vacuum-polarizatio/, May 2026.
E. McGucken, “The McGucken Cosmology dx₄/dt=ic Outranks Every Major Cosmological Model in the Combined Empirical Record: First-Place Finish in Twelve Independent Observational Tests,” https://elliotmcguckenphysics.com/2026/05/01/the-mcgucken-cosmology-dx4-dt-ic-outranks-every-major-cosmological-model-in-the-combined-empirical-record-and-mcgucken-accomplishes-this-with-zero-free-dark-sector-parameters-first-place-finish-i/, May 2026.
E. McGucken, “The CKM Complex Phase and the Jarlskog Invariant from dx₄/dt=ic,” https://elliotmcguckenphysics.com/2026/04/19/the-ckm-complex-phase-and-the-jarlskog-invariant-from-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic-compton-frequency-interference-the-kobayashi-maskawa-three-generation/, April 2026.
E. McGucken, Multiple Unit Artificial Retina Chipset to Aid the Visually Impaired. Ph.D. Dissertation, University of North Carolina at Chapel Hill, 1998. The first written formulation of the McGucken Principle appeared as an appendix.
E. McGucken, “Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics,” FQXi essay, August 2008.
E. McGucken, “What is Ultimately Possible in Physics? Physics! A Hero’s Journey… towards Moving Dimensions Theory,” FQXi essay, September 2009.
E. McGucken, “On the Emergence of QM, Relativity, Entropy, Time, iℏ, and ic from the Foundational, Physical Reality of a Fourth Dimension x₄ Expanding with a Discrete Wavelength ℓP at c,” FQXi essay, February 2011.
E. McGucken, “MDT’s dx₄/dt=ic Triumphs Over the Wrong Physical Assumption that Time is a Dimension,” FQXi essay, August 2012.
E. McGucken, “It From Bit or Bit From It? Returning Wheeler’s Honor and Philo-Sophy to Physics,” FQXi essay, July 2013.
E. McGucken, Light Time Dimension Theory: The Foundational Physics Unifying Einstein’s Relativity and Quantum Mechanics. Amazon, 2016.
E. McGucken, Quantum Entanglement: Einstein’s Spooky-Action-at-a-Distance Explained — LTD Theory and the Fourth Expanding Dimension. Amazon, 2017.
E. McGucken, Einstein’s Relativity Derived from LTD Theory’s Principle: The Fourth Dimension is Expanding at the Velocity of Light c. Amazon, 2017.
E. McGucken, The Triumph of LTD Theory and Physics over String Theory, the Multiverse, Inflation, Supersymmetry, M-Theory, LQG, and Failed Pseudoscience: How dx₄/dt=ic Closes the Foundational Gap. Amazon, 2017.
E. McGucken, Relativity and Quantum Mechanics Unified in Pictures: A Simple, Intuitive, Illustrated Introduction to LTD Theory’s Unification via dx₄/dt=ic. Amazon, 2017.
J. A. Wheeler, Letter of recommendation for Elliot McGucken, Princeton University, ca. 1990.
P. J. E. Peebles, Quantum mechanics class and office conversations with Elliot McGucken, Princeton University, junior year, 1989–1990. Source of the framing of the photon as “equally likely to be found anywhere on a spherically symmetric wavefront expanding at the rate of c” from every emission event.
J. A. Wheeler, Conversations with Elliot McGucken, third-floor Jadwin Hall, Princeton University, junior year, fall 1989. Source of the description of the photon as stationary in x₄.
J. H. Taylor, Conversations with Elliot McGucken, Princeton University, junior year, 1989–1990. Source of “entanglement is the characteristic trait of quantum mechanics; figure out the source of entanglement, and you’ll figure out the source of the quantum.”