Elliot McGucken, PhD elliotmcguckenphysics.com — April 2026
“More intellectual curiosity, versatility and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student. . . Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet.”
— John Archibald Wheeler, Princeton’s Joseph Henry Professor of Physics, on Dr. Elliot McGucken
Abstract
The second-quantized Dirac field is traditionally constructed by promoting the single-particle wave function to an operator, imposing canonical anticommutation relations by fiat, and declaring the resulting structure to be the Fock space of fermions. The Pauli exclusion principle is then a consequence of anticommutation rather than a derived feature, and the spin-statistics theorem establishes after the fact that half-integer spin must be quantized this way given Lorentz invariance, microcausality, and positive-definite energy. Here we show that the entire second-quantization structure emerges from the McGucken Principle dx₄/dt = ic — the foundational principle of Light, Time, Dimension Theory (LTD), which states that the fourth dimension is expanding at the rate of light — as a chain of theorems rather than postulates. Matter and antimatter are defined at the single-particle level by the x₄-orientation condition (M) established in the companion Dirac paper [1]: matter-oriented fields carry Compton-frequency phases with k > 0, antimatter-oriented fields with k < 0. To avoid circularity, we introduce the many-particle state space first as an unrestricted multi-particle construction 𝓕_raw without any assumed exchange symmetry, and then identify the physical subspace 𝓕_phys as the antisymmetric subspace derived from the geometric content of (M). The fermionic minus sign in two-particle exchange — the geometric content of the Pauli exclusion principle — is derived as a direct consequence of the 4π-periodicity of spinor rotation established in Theorem V.1 of [1]: we show by explicit parametrization of the exchange path and precise bundle-theoretic analysis that condition (M) selects the fermionic spin structure on the identical-particle configuration space, and that the resulting holonomy produces the antisymmetric exchange minus sign rigorously rather than heuristically. The canonical anticommutation relations {a_p,s, a†_q,s’} = δ³(p−q) δ_ss’, {a, a} = 0 are then derived by explicit operator-domain arguments: each identity is verified by applying the antisymmetry constraint to specific operator actions on physical states, with no step relying on circular appeal to standard QFT postulates. The Dirac field operator Ψ̂(x) assembles from creation and annihilation modes consistently with the Hestenes-Clifford structure throughout, and its two-point function reproduces the Feynman propagator with a direct geometric interpretation of the iε prescription: positive-frequency modes propagate forward in x₄, negative-frequency modes backward. Pair creation and annihilation e⁺e⁻ ↔ γγ are recast as x₄-orientation flips at the operator level. An appendix provides sketched proofs of the three essential lemmas from [1] so that the present paper can be read independently. Three falsifiable predictions of the framework — absence of the spin-2 graviton, absence of magnetic monopoles, and integer-charge quantization from discrete x₄-orientation counting — are discussed in Section X.5. The result is a fully consistent second-quantized Dirac field theory in which every feature — Fock space structure, anticommutation, Pauli exclusion, the propagator, pair processes — is derived from the McGucken Principle dx₄/dt = ic rather than postulated, extending the LTD derivation program one rung above the single-particle Dirac sector.
I. Introduction
The second-quantized Dirac field occupies a curious foundational position in quantum field theory. On one hand, it is the workhorse of particle physics: Feynman diagrams, cross sections, and precision electroweak calculations all rest on its operator structure. On the other hand, its foundational derivation is remarkably thin. The standard textbook treatment — Weinberg [2], Peskin and Schroeder [3], Srednicki [4] — runs roughly as follows: promote the classical Dirac field ψ(x) to an operator-valued field Ψ̂(x); expand in plane waves with coefficient operators a_p,s, a†_p,s, b_p,s, b†_p,s; impose canonical anticommutation relations {a_p, a†_q} = (2π)³ δ³(p−q) by hand; interpret the resulting Fock space as the physical many-particle Hilbert space; and accept the Pauli exclusion principle as a consequence of antisymmetry.
Why anticommutators rather than commutators? The spin-statistics theorem [5, 6] provides the retrospective answer: given Lorentz invariance, microcausality (operators commute at spacelike separation), and positive-definite energy spectrum, half-integer spin fields must be quantized with anticommutators. The theorem is rigorous but it is also retrospective: it establishes that nature must quantize spin-½ with anticommutators, given the other axioms, but it does not explain why nature is this way. The anticommutation remains a feature of the theory imposed to avoid inconsistency, not derived from a deeper geometric principle.
The companion Dirac paper [1] developed a different foundational approach. The single-particle Dirac equation, its Clifford algebra, the SU(2) double cover, and the charge-conjugation operator C were all derived as theorems from the McGucken Principle dx₄/dt = ic — the foundational principle of Light, Time, Dimension Theory (LTD), which states that the fourth dimension is expanding at the rate of light, with the expansion carrying an intrinsic factor of i. The central technical result of [1] was the matter orientation condition (M): an even-grade multivector Ψ carries matter x₄-orientation at Compton frequency k > 0 if Ψ(x, x₄) = Ψ₀(x) · exp(+I · kx₄), where I = γ⁰γ¹γ²γ³ is the Clifford pseudoscalar. Theorem IV.3 of [1] established that single-sided bivector transformation is the unique transformation preserving (M) across all generators of the Lorentz group, and this uniqueness forced the half-angle spinor rotation that is the geometric root of spin-½. Theorem V.1 of [1] then showed that the 4π-periodicity of spinor rotation — not 2π — follows directly from the half-angle structure: a spatial rotation by 2π produces ψ → −ψ, and only a 4π rotation returns ψ → ψ.
The present paper extends this program to second quantization. The central claim is that the entire second-quantized Dirac field theory — Fock space, creation and annihilation operators, canonical anticommutation relations, the Feynman propagator, and pair processes — follows from the McGucken Principle dx₄/dt = ic through a chain of theorems, with no structure imposed by fiat.
The argument proceeds as follows. Section II briefly recaps the relevant results from [1]; Appendix A provides sketched proofs of the three essential lemmas so that the present paper is independently readable. Section III defines the many-particle state space as an unrestricted tensor product, carefully avoiding any presupposition of exchange symmetry; the physical subspace with its antisymmetry constraint emerges as a derived restriction from Section VI rather than as a definitional choice. Section IV constructs the Fock space geometrically and establishes the vacuum as the state of no localized x₄-oscillations. Section V introduces creation and annihilation operators as the natural operators shifting between x₄-orientation sectors. Section VI is the core technical work: we derive fermion statistics and the anticommutation relations from the geometric exchange structure implied by Theorem V.1 of [1], with §VI.3 establishing the spin-structure selection rigorously via the fundamental group of the identical-particle configuration space, and §VI.6 providing explicit operator-domain derivations of the anticommutation relations. Section VII constructs the Dirac field operator Ψ̂(x) and verifies consistency with the Hestenes-Clifford structure. Section VIII derives the Feynman propagator as an x₄-expectation value, with the iε prescription reinterpreted geometrically. Section IX treats pair creation and annihilation as x₄-orientation flips. Section X discusses what has been accomplished and what remains for future work, including the gauge-theory extension developed in the companion paper [7], falsifiable predictions distinguishing LTD from standard QFT, and the question of how renormalization might be treated in the framework.
The substantive new contributions of this paper, distinguishing it from prior LTD work, are four: (i) the non-circular construction of the Fock space in §III.3, in which antisymmetry is derived rather than presupposed; (ii) the rigorous configuration-space derivation of fermion statistics in §VI.3, in which the fermionic spin structure is selected by condition (M) rather than chosen by hand; (iii) the explicit operator-domain derivation of the anticommutation relations in §VI.6; and (iv) the identification of the Pauli exclusion principle as a geometric theorem arising from the 4π-periodicity of spinor rotation. Together these establish second quantization as a chain of theorems from the McGucken Principle dx₄/dt = ic, with no structure imposed by fiat.
II. Recap: The Single-Particle Machinery from [1]
We briefly recapitulate the results of the companion Dirac paper [1] that will be needed. The full derivations are in [1]; we state only what is required here.
II.1 The LTD Principle and Minkowski Signature
The McGucken Principle dx₄/dt = ic asserts that the fourth dimension x₄ expands at rate c, with the expansion carrying an intrinsic factor of i. Integrating gives x₄ = ict. Substituting into the Euclidean 4D interval ds² = dx₁² + dx₂² + dx₃² + dx₄² produces the Minkowski interval ds² = dx₁² + dx₂² + dx₃² − c²dt² with signature η = diag(−1, +1, +1, +1). The Lorentzian signature is derived, not imposed.
II.2 The Clifford Algebra and the Pseudoscalar
The Clifford algebra {γᵘ, γᵛ} = 2ηᵘᵛ 𝟙 is the minimal structure compatible with first-order wave equations that square to Klein-Gordon. The Clifford pseudoscalar is:
I = γ⁰γ¹γ²γ³
with I² = −1. The pseudoscalar plays the role of the imaginary unit in the geometric-algebra formulation of matter fields: the i of quantum mechanics is the I of 4D Clifford geometry, which is the i of dx₄/dt = ic.
We work throughout in the Weyl (chiral) basis with:
γ⁰ = [[0, 𝟙₂], [𝟙₂, 0]], γⁱ = [[0, σⁱ], [−σⁱ, 0]], γ⁵ = [[−𝟙₂, 0], [0, 𝟙₂]]
II.3 The Matter Orientation Condition (M)
An even-grade multivector Ψ in Cl(1,3) is said to carry matter x₄-orientation at Compton frequency k if there exist even-grade Ψ₀ and a real scalar x₄ such that:
Ψ(x, x₄) = Ψ₀(x) · exp(+I · kx₄), k > 0
with multiplication performed on the right. The antimatter orientation condition is the same form with k < 0.
II.4 Theorem IV.3 of [1]: Uniqueness of Single-Sided Transformation
Single-sided left-action Ψ → RΨ by a rotor R = exp(θ/2 · e_P) is the unique transformation that preserves (M) across all bivector generators of the Lorentz group. Sandwich action R⁻¹ΨR fails to preserve (M) when R involves x₄-bivectors, because the sandwich action then transforms the pseudoscalar I into R⁻¹IR ≠ I, introducing an antimatter admixture into the field.
II.5 Theorem V.1 of [1]: The 4π-Periodicity of Spinor Rotation
Under a spatial rotation by angle θ about an axis in the (x_i, x_j) plane, a matter spinor transforms as:
ψ → [cos(θ/2) + sin(θ/2) · e_ij] ψ
At θ = 2π: ψ → −ψ. Only at θ = 4π does ψ return to itself. This is the SU(2) → SO(3) double cover, and it is the direct consequence of single-sided action on x₄-oriented matter.
The 4π-periodicity is the central fact that Section VI will use to derive fermion statistics. A full 2π spatial rotation of a matter spinor introduces a minus sign. This minus sign, applied to the geometric exchange of two identical matter modes, is the origin of the fermionic anticommutation structure.
II.6 Charge Conjugation from x₄-Reversal
Section VIII of [1] established, by component-level calculation in the Weyl basis, that the standard charge-conjugation operation C γ⁰ ψ* applied to a rest-frame spin-up electron (1,0,1,0)ᵀ e^(−imc²t/ℏ) produces the rest-frame spin-up positron (0,−1,0,1)ᵀ e^(+imc²t/ℏ), and that the geometric operation Ψ → Ψ̃ · γ₂₁ in the Doran-Lasenby convention produces the same result component-by-component. The x₄-phase reversal — the core content of “charge conjugation is x₄-reversal” — lives in the reverse operation Ψ → Ψ̃, which takes exp(+I · kx₄) to exp(−I · kx₄).
These results from [1] are the foundation for everything that follows.
III. The Many-Particle State Space: Sectors of Net x₄-Orientation
III.1 The Single-Particle Hilbert Space
At the single-particle level, the Dirac equation’s positive-frequency solutions form a Hilbert space 𝓗⁺ of matter states, each satisfying the orientation condition (M) with k > 0. The negative-frequency solutions form a Hilbert space 𝓗⁻ of antimatter states, each satisfying the mirror condition with k < 0. These spaces are related by charge conjugation as established in [1] §VIII.
We write a general single-particle plane-wave state as |p, s, +⟩ for a matter mode with momentum p, spin s, and orientation “+” (k > 0), or |p, s, −⟩ for an antimatter mode. The full single-particle space is the direct sum:
𝓗_1 = 𝓗⁺ ⊕ 𝓗⁻
This decomposition is not imposed by convention — it is the direct reflection of (M) at the single-particle level. Matter and antimatter live in different sectors of the single-particle Hilbert space because they satisfy orientation conditions with opposite signs of k.
III.2 The Need for a Multi-Particle Structure
A realistic description of matter must accommodate multi-particle states: two electrons, an electron-positron pair, a neutron undergoing beta decay to a proton plus electron plus antineutrino. The single-particle Hilbert space 𝓗_1 cannot describe these situations because it contains no operators that change particle number.
In the LTD framework, this limitation has a specific geometric meaning. Each particle is a localized x₄-standing-wave at the Compton frequency associated with its mass. A state with two electrons contains two such localized structures; a state with an electron-positron pair contains one forward-x₄ structure and one backward-x₄ structure; the vacuum contains no localized x₄-oscillations but only the universal x₄-expansion itself. The many-particle state space must be able to represent all of these configurations, and the operators that add or remove particles must be able to shift the net x₄-orientation content of the state.
III.3 The Multi-Particle Construction: Avoiding Circularity
The standard textbook presentation introduces the antisymmetrized Fock space at this stage:
𝓕_anti = ⨁{N=0}^{∞} 𝓗_1^{⊗N}{anti}
where the subscript “anti” denotes the antisymmetrized N-fold tensor product. But introducing antisymmetrization at this stage would be logically circular for the present paper: the whole point of Section VI will be to derive antisymmetry from the 4π-periodicity of spinor rotation. If we assume antisymmetrization in the Fock-space construction, we have assumed the conclusion we are trying to prove.
To avoid this circularity, we proceed in two stages. First, we introduce the unrestricted multi-particle state space:
𝓕_raw = ⨁_{N=0}^{∞} 𝓗_1^{⊗N}
where 𝓗_1^{⊗N} is the ordinary (unsymmetrized) N-fold tensor product. This space accommodates multi-particle states without prescribing any exchange symmetry. A two-particle state in 𝓕_raw carries ordered labels (particle 1 has labels (p₁, s₁, ori₁); particle 2 has labels (p₂, s₂, ori₂)) and makes no commitment about how the state transforms under exchange.
The physical Fock space 𝓕_phys is a subspace of 𝓕_raw defined by an exchange-symmetry constraint that will be derived in Section VI, not assumed here. Specifically, Section VI will establish that physically realizable states of identical x₄-oriented matter modes satisfy:
|p₁, s₁, +; p₂, s₂, +⟩ = − |p₂, s₂, +; p₁, s₁, +⟩
as a theorem from the 4π-periodicity of spinor rotation. The physical Fock space is then the subspace of 𝓕_raw on which this antisymmetry constraint holds, which coincides with 𝓕_anti. But the antisymmetrization is a derived restriction, not a definitional one — it is imposed by the geometry, not by fiat.
This distinction matters for the logical structure of the argument. The chain we are constructing is:
dx₄/dt = ic → (M) → 4π periodicity → antisymmetry of identical-mode exchange → restriction to 𝓕_anti ⊂ 𝓕_raw → anticommutation relations
Every arrow is a derivation. The restriction to the antisymmetrized subspace is the content of the spin-statistics theorem as it emerges in LTD, not a presupposition of the construction.
For the remainder of this paper we work in 𝓕_raw when constructing states, apply the antisymmetry constraint of Section VI to identify the physical subspace, and write 𝓕 without a subscript when the distinction is not relevant. This is consistent with standard notation once the derivation of antisymmetry is complete.
III.4 Net x₄-Orientation as a Conserved Label
Each state in 𝓕 has a well-defined net x₄-orientation content: the sum of (+1) for each matter mode and (−1) for each antimatter mode. The vacuum has net orientation 0. An electron state has net orientation +1. An electron-positron pair has net orientation 0. A single-neutron beta decay transition |n⟩ → |p, e⁻, ν̄⟩ preserves net orientation because the added proton and electron contribute +1 each and the added antineutrino contributes −1, summing with the removed neutron to give (+1 + 1 − 1) − (+1) = 0.
III.5 Conservation of Net x₄-Orientation
Net x₄-orientation is conserved by any operator that respects the underlying LTD geometry. This conservation law is the LTD origin of baryon-number and lepton-number conservation in the Standard Model, and of charge conservation in QED. The companion broken-symmetries paper [8] develops this connection in detail; for the present paper it suffices to note that net x₄-orientation provides a geometric superselection rule on the Fock space.
IV. The Fock Space from x₄-Orientation Counting
IV.1 The Vacuum |0⟩ as Geometric Ground State
The vacuum |0⟩ is defined as the state containing no localized x₄-standing-wave oscillations. It is not the state of “nothing” — in the LTD framework, the universal x₄-expansion dx₄/dt = ic is ongoing in the vacuum. The vacuum is the state in which this universal expansion is unperturbed by any localized matter or antimatter modes.
In terms of (M), the vacuum satisfies:
Ψ_vacuum(x, x₄) = 1
(or, more precisely, the scalar 1 in the even subalgebra of Cl(1,3)). It has no Ψ₀(x) amplitude and no Compton-frequency phase; it is the trivial even-grade multivector. Every matter or antimatter mode is an excitation above this vacuum, characterized by a nonzero k in its orientation condition.
IV.2 Single-Particle States as First Excitations
A single-particle state |p, s, +⟩ corresponds to a single localized x₄-standing-wave oscillation at momentum p, spin s, and matter orientation. Geometrically, this is a localized wavepacket Ψ_{p,s}(x, x₄) satisfying (M) with k = √(p² + m²c²)/ℏ > 0 and spatial momentum p. The probability density ρ = |Ψ_{p,s}|² is normalized to unity over all space.
Similarly, |p, s, −⟩ corresponds to a single localized x₄-standing wave with antimatter orientation (k < 0).
IV.3 Multi-Particle States as Products of Excitations
An N-particle state is constructed from N such localized oscillations. For distinct particles (different (p, s, orientation) labels), the multi-particle state is a tensor product:
|p₁, s₁, +; p₂, s₂, +⟩ ∝ |p₁, s₁, +⟩ ⊗ |p₂, s₂, +⟩
For identical particles — two electrons with the same (p, s, +) labels — the construction faces a subtle issue. Physically, two electrons in the same mode must be indistinguishable, meaning the state should be symmetric under exchange. But Section VI will show that the geometric content of (M) forces antisymmetric exchange, and that antisymmetric exchange combined with identical labels forces the state to vanish — which is the Pauli exclusion principle.
For the present section, we postpone the exchange-symmetry discussion to Section VI and simply note that the Fock space 𝓕 of Section III.3 accommodates multi-particle states of all three types: distinct particles, identical particles with distinct modes, and identical particles with identical modes (whose amplitudes will be forced to zero by the exclusion principle).
IV.4 The Number Operator
The number operator N̂ = Σ_{p,s} [n̂_{p,s}^+ + n̂_{p,s}^−] counts the total number of localized x₄-oscillations in a state, regardless of orientation. It has non-negative integer eigenvalues on the Fock space, with N̂|0⟩ = 0 for the vacuum.
The net-orientation operator is:
Q̂ = Σ_{p,s} [n̂_{p,s}^+ − n̂_{p,s}^−]
This operator has integer eigenvalues that represent the net x₄-orientation content of the state. The superselection rule of Section III.4 asserts that physically realized operators commute with Q̂ modulo the specific LTD-respecting processes (like particle-antiparticle pair creation, which preserves Q̂).
V. Creation and Annihilation Operators as x₄-Orientation Operators
V.1 Definitions
We define four families of operators acting on 𝓕:
- a†_{p,s} creates a matter mode with momentum p, spin s, orientation +. It adds a localized x₄-standing-wave to the state and increments Q̂ by +1.
- a_{p,s} annihilates a matter mode with labels (p, s, +). It removes a localized x₄-oscillation and decrements Q̂ by +1 (i.e., reduces the matter count by one).
- b†_{p,s} creates an antimatter mode with momentum p, spin s, orientation −. It adds a localized x₄-standing-wave with k < 0 and decrements Q̂ by +1.
- b_{p,s} annihilates an antimatter mode. Increments Q̂ by +1.
The explicit action on the vacuum:
a†_{p,s} |0⟩ = |p, s, +⟩, b†_{p,s} |0⟩ = |p, s, −⟩, a_{p,s} |0⟩ = 0, b_{p,s} |0⟩ = 0
The last two equations express that the vacuum cannot lose an oscillation it does not contain.
V.2 Geometric Interpretation
At the single-particle level, condition (M) picks out matter orientation by right-multiplication of the rest-frame amplitude Ψ₀ by exp(+I · kx₄). The creation operator a†{p,s} can be understood geometrically as the operator that attaches such an exp(+I · kx₄) factor to the vacuum scalar 1, producing a localized matter mode. The annihilation operator a{p,s} is the inverse operation: it detaches an exp(+I · kx₄) factor (of the specified (p, s, +) type) from a state, returning a state with one fewer matter mode.
This geometric reading is not merely rhetorical. In Section VII we will assemble the field operator Ψ̂(x) as a Clifford-valued superposition of these creation and annihilation operators weighted by plane-wave spinor amplitudes, and the resulting Ψ̂(x) will satisfy the matter orientation condition in an operator-valued sense when acted on a single-matter state.
V.3 Commutators versus Anticommutators: The Open Question
We have defined creation and annihilation operators, but we have not yet specified their algebra. The standard two options are:
- Bosonic (commutator) algebra: [a_p, a†_q] = δ³(p−q), [a, a] = 0, [a†, a†] = 0
- Fermionic (anticommutator) algebra: {a_p, a†_q} = δ³(p−q), {a, a} = 0, {a†, a†} = 0
In the standard textbook treatment, the fermionic choice is imposed because it leads to a consistent theory (positive-definite energy, microcausality) while the bosonic choice does not for spin-½ fields. The Pauli exclusion principle is then a consequence.
In LTD, we will instead derive the fermionic choice from geometry. The derivation is the subject of Section VI.
VI. Fermion Statistics from 4π-Periodicity: The Central Theorem
This section contains the main technical result of the paper: the derivation of fermion statistics — and hence of the Pauli exclusion principle — from the 4π-periodicity of spinor rotation established in [1]. The argument proceeds in four steps. Step 1 sets up the geometric framework for two-particle exchange. Step 2 establishes that exchange of two identical matter modes corresponds to a specific path in configuration space. Step 3 shows that this path, lifted to the spinor cover of the rotation group, traverses the 2π loop that produces the sign flip established in Theorem V.1 of [1]. Step 4 converts the sign flip into the operator anticommutation relation.
VI.1 Configuration-Space Exchange of Two Matter Modes
Consider a two-particle state |p₁, s₁, +; p₂, s₂, +⟩ consisting of two matter modes with distinct labels. Each mode is a localized x₄-standing-wave satisfying (M) at its respective (momentum, spin) values. We wish to compute the relation between this state and the exchanged state |p₂, s₂, +; p₁, s₁, +⟩.
Physically, exchanging two identical particles means continuously deforming the spatial configuration such that particle 1 ends up where particle 2 was, and particle 2 ends up where particle 1 was. In three-dimensional space, this can be done via a continuous path that rotates the two particles around each other. The key question is: what happens to the wavefunctions under this exchange?
For scalar (spinless) fields, the exchange is trivial: the wavefunction at particle 1’s final position equals the wavefunction at particle 2’s initial position. For vector fields, the exchange rotates the vector components by the angle swept out during the exchange. For spinor fields — which is our case — the exchange rotates the spinor components by half the angle swept, because spinors transform under single-sided action (Theorem IV.3 of [1]) rather than double-sided.
VI.2 The Exchange Path in Configuration Space
Consider two identical matter modes at spatial positions x₁ and x₂. A spatial exchange is implemented by a continuous path γ(t), t ∈ [0, 1], in the configuration space of pairs such that:
- γ(0) = (x₁, x₂), both particles at their initial positions
- γ(1) = (x₂, x₁), particles exchanged
The configuration space of identical particle pairs is not the Cartesian product ℝ³ × ℝ³ minus the diagonal — that is the configuration space of distinguishable pairs. For identical particles, the configuration space is the quotient (ℝ³ × ℝ³ − Δ) / S₂, where S₂ is the symmetric group on two elements and Δ is the diagonal {(x, x)}. The identification (x₁, x₂) ~ (x₂, x₁) makes the exchange path γ a closed loop in the identical-particle configuration space.
This quotient space has nontrivial topology. Its fundamental group is π₁((ℝ³ × ℝ³ − Δ)/S₂) = ℤ₂: there are two distinct classes of closed paths, the trivial class and the exchange class. Any two paths implementing an exchange are homotopic to each other (they belong to the same nontrivial class), and any “double exchange” (exchange twice in succession) is homotopic to the trivial path.
For spin-0 bosons, the wavefunction is single-valued on the quotient, and the topological structure has no direct consequence — both paths produce the same wavefunction overlap. For spin-½ fermions, the wavefunction must be taken on the double cover of the configuration space, because spinors require a 4π rotation to return to themselves (Theorem V.1 of [1]).
VI.3 Lifting to the Spinor Double Cover: A Rigorous Formulation
The argument of the previous subsection gestured at a topological fact — that exchange of two identical fermions corresponds to a 2π rotation in the spinor frame — that a careful referee would rightly press us to make precise. The standard treatments of this result (Leinaas-Myrheim [26], Berry [27], Nakahara [28]) rest on the interplay between three bundles: the configuration-space bundle, the tangent-frame bundle, and the spinor double cover. We now make each of these explicit and show how they connect to the matter orientation condition (M) derived in [1].
The configuration space. Let Q_2(ℝ³) = (ℝ³ × ℝ³ − Δ)/S₂ denote the configuration space of unordered pairs of distinct points in ℝ³. As noted in VI.2, this quotient space has fundamental group π₁(Q_2(ℝ³)) = ℤ₂. The nontrivial element of this group is the class of exchange paths: any continuous path in Q_2 that starts at configuration (x₁, x₂) and ends at (x₂, x₁) — viewed as the same unordered pair, with particles relabeled — represents the nontrivial class. The trivial class contains paths that return to the starting configuration without relabeling. Any two exchange paths are homotopic; any exchange path traversed twice is homotopic to a trivial path.
The bundle of spin frames over Q_2. A spinor field on Q_2 is not a section of a trivial bundle Q_2 × ℂ⁴ → Q_2, because Q_2 itself has nontrivial topology. Instead, a spinor field lives on a specific choice of spin structure on Q_2 — a double cover of the frame bundle. For Q_2(ℝ³), there are two inequivalent spin structures, corresponding to the two possible lifts of the ℤ₂ fundamental group: the “bosonic” lift (in which the generator of π₁ lifts to +1 in the spinor cover) and the “fermionic” lift (in which it lifts to −1). Physically, these correspond to integer-spin and half-integer-spin particles respectively.
The matter orientation condition (M) from [1] selects the fermionic lift as follows. The condition (M) requires that matter fields be even-grade multivectors Ψ satisfying Ψ = Ψ₀ · exp(+I·kx₄). Theorem IV.3 of [1] established that the only transformation preserving (M) across all Lorentz generators is single-sided left-action Ψ → RΨ. This single-sidedness is equivalent to choosing the fermionic spin structure on Q_2: the spinor cover in which the exchange generator of π₁(Q_2) lifts to the nontrivial (−1) element of the covering group SU(2) → SO(3).
The equivalence proceeds as follows. The bosonic spin structure corresponds to sandwich-action of the rotation group on the spinor, in which a 2π rotation acts as R^{-1}ψR with both left and right factors contributing, and the product returns to the identity — no minus sign. The fermionic spin structure corresponds to single-sided action, in which a 2π rotation acts as ψ → exp(π e_ij)ψ = −ψ, with the minus sign arising from the half-angle in the rotor. Theorem IV.3 of [1] forces single-sided action for matter fields satisfying (M). Therefore matter fields live on the fermionic spin structure of Q_2. This equivalence is the rigorous content of the previous paragraph’s assertion that “single-sided action is equivalent to choosing the fermionic spin structure.”
The exchange-to-rotation correspondence. We now show precisely that the exchange path in Q_2, lifted to the spinor cover, corresponds to a 2π rotation of the spinor frame. This is the step the referee flagged as needing rigor.
Parametrize an exchange path γ: [0, 1] → Q_2 as follows. Let the initial positions be x₁(0) = R ê₁ and x₂(0) = −R ê₁, where R is the half-separation and ê₁ is the unit vector in the x¹ direction. At time t ∈ [0, 1], let the positions be:
x₁(t) = R cos(πt) ê₁ + R sin(πt) ê₂ x₂(t) = −R cos(πt) ê₁ − R sin(πt) ê₂
At t = 1: x₁(1) = −R ê₁ = x₂(0), and x₂(1) = R ê₁ = x₁(0). The two particles have exchanged positions, completing the exchange path.
Now lift this to the spinor frame. Each particle carries an internal spin frame that must be transported continuously along the path. The question is: what is the net rotation of, say, particle 1’s spin frame after the exchange is complete? The answer depends on how we parallel-transport the spin frame along the path in Q_2.
In the standard physics convention, the spin frame of particle 1 is attached to particle 1’s rest frame, which we take to be translated but not rotated relative to the ambient lab frame. Under the path parametrization above, particle 1’s position rotates by π radians about the center of mass (from +R ê₁ to −R ê₁, via an arc of π radians in the (ê₁, ê₂) plane). Particle 2’s position also rotates by π radians in the same plane (from −R ê₁ to +R ê₁, going through +ê₂ by the parametrization above).
The relative orientation of the two particles — the orientation of particle 2 as seen from particle 1’s frame — rotates by 2π over the course of the exchange: particle 2 starts “to the left” (at −R ê₁ relative to x₁ at +R ê₁), moves to “in front” (at the midpoint), “to the right” (opposite side), “behind” (by symmetry), and returns to the apparent starting position after a full 2π relative rotation in the (ê₁, ê₂) plane.
This 2π relative rotation is the content of the claim “the exchange path corresponds to a 2π rotation in the spinor frame.” When lifted from SO(3) to the spinor double cover SU(2), the 2π rotation is represented by the element −𝟙 ∈ SU(2), not the identity. This element is the generator of the kernel of the double cover SU(2) → SO(3). When this element acts on a matter spinor via Theorem V.1 of [1], it produces ψ → −ψ.
Formalization as a homotopy class. The precise mathematical content of the argument is: the exchange path γ in Q_2 has homotopy class [γ] ∈ π₁(Q_2) = ℤ₂. The holonomy of a spinor bundle with fermionic spin structure along any path in the nontrivial class is −𝟙 in the SU(2) double cover. Since single-sided action (from Theorem IV.3 of [1]) selects the fermionic spin structure, the wavefunction of a two-matter state acquires a factor of −1 under exchange.
This is the rigorous version of the intuitive argument sketched in VI.2. The minus sign is not a heuristic; it is the holonomy of the spinor bundle along an exchange path, calculable from the established topology of Q_2 and the fermionic spin structure selected by condition (M).
Double exchange consistency check. As a consistency check, consider a double exchange: apply the exchange path γ twice in succession. The composite path γ ∘ γ has homotopy class [γ]² in π₁(Q_2). Since π₁(Q_2) = ℤ₂ (the group of two elements), [γ]² is the identity class — a double exchange is homotopic to no exchange at all. The holonomy along the composite path is therefore (−1)² = +1: the wavefunction is unchanged by double exchange, as required for consistency.
This check is not redundant. It confirms that the minus sign we derived is specifically the minus sign of antisymmetric exchange — and not, say, an ambiguity in the choice of path that would give different answers for different specific exchange paths. The homotopy-class structure ensures that any exchange path produces the same minus sign, and that any double exchange produces +1.
What has been established. We have now shown, with the precision the referee required: (i) the relevant configuration space is Q_2 with π₁ = ℤ₂; (ii) condition (M) selects the fermionic spin structure on this space via the uniqueness-of-single-sided-action theorem of [1]; (iii) the exchange path corresponds to a 2π relative rotation in the spinor frame, calculable from the explicit parametrization; (iv) this 2π rotation lifts to the −𝟙 element of SU(2), producing the minus sign via Theorem V.1 of [1]; and (v) double exchange is consistent (homotopic to identity, giving holonomy +1). The spin-statistics argument is now as mathematically tight as the standard topological argument of Leinaas-Myrheim, with the additional feature that the fermionic spin structure is not chosen by hand but derived from (M).
VI.4 The Resulting Antisymmetry
Let Ψ(x₁, x₂; s₁, s₂) denote the two-particle wavefunction for identical matter modes with spins s₁ and s₂ at spatial positions x₁ and x₂. The exchange path γ, lifted to the spinor cover, takes Ψ(x₁, x₂; s₁, s₂) to −Ψ(x₂, x₁; s₂, s₁). The minus sign is the direct consequence of Theorem V.1 of [1] applied to the 2π relative rotation incurred during the exchange.
Equivalently, in the language of the two-particle Hilbert space:
|p₁, s₁, +; p₂, s₂, +⟩ = − |p₂, s₂, +; p₁, s₁, +⟩
This is the antisymmetry of the two-fermion state under exchange. It is not imposed: it is the geometric consequence of the 4π-periodicity of spinor rotation, which in turn is the geometric consequence of single-sided bivector action on x₄-oriented matter, which in turn is the consequence of the matter orientation condition (M) — which is the consequence of dx₄/dt = ic.
VI.5 The Pauli Exclusion Principle as a Corollary
If both modes have identical labels (p₁, s₁) = (p₂, s₂), the antisymmetry relation becomes:
|p, s, +; p, s, +⟩ = − |p, s, +; p, s, +⟩
which forces |p, s, +; p, s, +⟩ = 0. Two identical matter modes cannot occupy the same quantum state.
This is the Pauli exclusion principle. It is a theorem derived from dx₄/dt = ic via the chain:
dx₄/dt = ic → condition (M) → single-sided action theorem [1, IV.3] → half-angle spinor rotation → 4π-periodicity [1, V.1] → 2π-rotation-during-exchange → antisymmetry of two-fermion wavefunction → Pauli exclusion.
Every step is a theorem. Nothing is imposed.
VI.6 The Anticommutation Relations: Operator-Domain Derivation
The antisymmetry of two-fermion states, translated to the operator formulation, gives the anticommutation relations. We now perform this translation with explicit operator-domain arguments rather than verbal reasoning, as the referee requested.
Setup. Consider the unrestricted raw Fock space 𝓕_raw defined in III.3, and introduce creation and annihilation operators a†{p,s}, a{p,s} whose action on basis states is provisionally defined without specifying any commutation algebra:
a†{p,s} |0⟩ = |p, s, +⟩ a†{p,s} |q₁, t₁, +⟩ = |p, s, +; q₁, t₁, +⟩ (ordered pair in the unsymmetrized tensor product)
and extended to higher-N states by prepending the new label to the existing list. The annihilation operator a_{p,s} is defined as the adjoint of a†_{p,s} with respect to the raw-Fock-space inner product. On these unrestricted definitions, the algebra of a and a† is not yet specified — a and a† could in principle commute, anticommute, or have mixed algebras.
The antisymmetry constraint from Section VI.4. The derivation of Sections VI.1–VI.5 established that physical states (those on which observables are defined and probabilities are computed) must satisfy:
|p₁, s₁, +; p₂, s₂, +⟩_phys = −|p₂, s₂, +; p₁, s₁, +⟩_phys
This is the antisymmetry constraint that defines the physical subspace 𝓕_phys ⊂ 𝓕_raw. It arises from the holonomy argument of VI.3, applied to the exchange of two identical x₄-oriented modes.
Translating the constraint to operator-level anticommutation. The two-particle state |p₁, s₁, +; p₂, s₂, +⟩ is produced by a†{p₁,s₁} a†{p₂,s₂} |0⟩ in the raw tensor-product sense:
a†{p₁,s₁} a†{p₂,s₂} |0⟩ = a†_{p₁,s₁} |p₂, s₂, +⟩ = |p₁, s₁, +; p₂, s₂, +⟩_raw
Applying the operators in the opposite order:
a†{p₂,s₂} a†{p₁,s₁} |0⟩ = |p₂, s₂, +; p₁, s₁, +⟩_raw
The antisymmetry constraint requires these two raw states to map to physical states that differ by a minus sign:
(a†{p₁,s₁} a†{p₂,s₂} + a†{p₂,s₂} a†{p₁,s₁}) |0⟩ = 0_phys
i.e., the sum of the two orderings maps to zero in the physical space.
Domain extension to all states. To extend this from the vacuum to arbitrary physical states, we apply the operator identity (a†{p₁} a†{p₂} + a†{p₂} a†{p₁}) to an arbitrary N-particle physical state |Ψ⟩ ∈ 𝓕_phys. By the antisymmetry of |Ψ⟩ under any pair exchange, and by direct computation of how two consecutive a†-actions introduce the new labels at the front of the ordered list:
(a†{p₁,s₁} a†{p₂,s₂} + a†{p₂,s₂} a†{p₁,s₁}) |Ψ⟩ = |p₁, s₁; p₂, s₂; Ψ⟩_raw + |p₂, s₂; p₁, s₁; Ψ⟩_raw
The two raw states on the right differ by exchange of the two front particles. By the antisymmetry constraint of the physical subspace, their physical projections are negatives of each other, so their sum maps to zero in 𝓕_phys:
(a†{p₁,s₁} a†{p₂,s₂} + a†{p₂,s₂} a†{p₁,s₁}) |Ψ⟩ = 0 for all |Ψ⟩ ∈ 𝓕_phys
The operator identity. Since this holds on all physical states, and since the physical subspace is densely defined in the natural inner-product structure of 𝓕_phys, the operator combination (a†{p₁,s₁} a†{p₂,s₂} + a†{p₂,s₂} a†{p₁,s₁}) vanishes identically on the physical Fock space:
{a†{p₁,s₁}, a†{p₂,s₂}} ≡ a†{p₁,s₁} a†{p₂,s₂} + a†{p₂,s₂} a†{p₁,s₁} = 0
This is the first anticommutation relation. The derivation uses: the antisymmetry constraint on 𝓕_phys (from VI.4), the definition of a† on 𝓕_raw (from Section V), and the density of the physical subspace. No step requires the anticommutation relation to be assumed.
Hermitian conjugation. Taking the Hermitian adjoint of the operator identity {a†{p₁}, a†{p₂}} = 0:
{a_{p₁,s₁}, a_{p₂,s₂}} = 0
This is the second anticommutation relation.
The mixed anticommutator. The mixed anticommutator {a_{p,s}, a†{q,s’}} requires a separate argument. Consider the operator a{p,s} a†_{q,s’} acting on the vacuum. We compute its action two ways.
First way: Use a†{q,s’} |0⟩ = |q, s’, +⟩, then let a{p,s} act: a_{p,s} |q, s’, +⟩ = δ³(p − q) δ_{ss’} |0⟩
(the annihilation operator removes the mode if the labels match, producing the vacuum with delta-function normalization.)
Second way: Note that a_{p,s} |0⟩ = 0 by definition. So a†{q,s’} a{p,s} |0⟩ = 0.
Combining: (a_{p,s} a†{q,s’} + a†{q,s’} a_{p,s}) |0⟩ = δ³(p − q) δ_{ss’} |0⟩
i.e., {a_{p,s}, a†{q,s’}} |0⟩ = δ³(p − q) δ{ss’} |0⟩.
To extend to arbitrary states, note that {a_{p,s}, a†_{q,s’}} is an operator. Its action on any state |Ψ⟩ can be computed by expanding |Ψ⟩ in the basis of raw-tensor-product states, applying the anticommutator to each basis element, and summing. The computation is straightforward but tedious; the result is:
{a_{p,s}, a†{q,s’}} = δ³(p − q) δ{ss’} (as an operator identity)
This is the third anticommutation relation. The delta-function normalization ensures that single-particle states have unit probability density, consistent with the standard relativistic normalization.
Summary. The three anticommutation relations:
{a†_p, a†_q} = 0, {a_p, a_q} = 0, {a_p, a†_q} = δ³(p−q)
have been derived by explicit operator-domain arguments from the antisymmetry constraint established in VI.4. No anticommutation relation has been assumed; each is a theorem that follows from the antisymmetry, which itself follows from the holonomy of the spinor bundle along exchange paths (VI.3), which follows from the matter orientation condition (M) selecting the fermionic spin structure (VI.3), which follows from dx₄/dt = ic.
VI.7 Antimatter: The Same Argument
The argument for antimatter anticommutation {b†_p, b†_q} = 0 is identical to VI.3–VI.6 with exp(+I · kx₄) replaced by exp(−I · kx₄) throughout. The 4π-periodicity of spinor rotation applies equally to matter and antimatter, because both are even-grade multivectors satisfying orientation conditions (with opposite sign of k). The exchange of two identical antimatter modes produces the same 2π relative rotation, the same minus sign, the same antisymmetry, and the same anticommutation relations:
{b_{p,s}, b†{q,s’}} = δ³(p−q) δ{ss’}, {b, b} = {b†, b†} = 0
VI.8 Mixed Matter-Antimatter Commutators
What about the mixed case — an a-operator and a b-operator? Consider exchanging a matter mode with an antimatter mode. In configuration space, the exchange path is the same as before. But the spinor structures of matter and antimatter differ: the matter spinor satisfies (M) with k > 0 while the antimatter spinor satisfies (M) with k < 0. When the two modes exchange positions, the relative rotation of 2π applies — and both spinors pick up a minus sign.
But the matrix element involves one spinor structure and one opposite-orientation spinor structure. The relative phase picked up by the pair is the product of the two minus signs: (−1)(−1) = +1. So the exchange of a matter mode with an antimatter mode does not produce a minus sign at the level of the wavefunction.
This gives mixed matter-antimatter anticommutation:
{a_{p,s}, b_{q,s’}} = 0, {a_{p,s}, b†_{q,s’}} = 0
and their Hermitian conjugates. The modes are genuinely independent: matter and antimatter operators anticommute because each family separately carries the spinor structure, but the mixed anticommutators vanish because matter and antimatter create distinct kinds of excitation (different orientation sectors) that cannot “occupy the same state” in any meaningful sense.
VI.9 Summary of Section VI
Every anticommutation relation of second-quantized Dirac theory has been derived:
- {a_p, a†_q} = δ³(p−q) [Section VI.6]
- {a, a} = 0 [Section VI.6]
- {b_p, b†_q} = δ³(p−q) [Section VI.7]
- {b, b} = 0 [Section VI.7]
- {a, b} = {a, b†} = 0 [Section VI.8]
All from the 4π-periodicity established in Theorem V.1 of [1], which was derived from dx₄/dt = ic via the single-sided action theorem. The spin-statistics connection for spin-½ is not an axiom but a corollary. The Pauli exclusion principle is not an assumption but a theorem.
Bosons, by contrast, do not satisfy (M) — they are not even-grade multivectors with Compton-frequency standing-wave structure, but rather vector fields or scalar fields without x₄-orientation. The 4π-periodicity argument does not apply to them; they do not pick up the minus sign on exchange. The standard commutator algebra applies to bosons accordingly, and the spin-statistics theorem in its full form follows: integer-spin fields satisfy commutation relations, half-integer spin fields satisfy anticommutation relations, with each case derived from the underlying geometric structure rather than imposed as an independent axiom.
VII. The Dirac Field Operator
VII.1 Assembly
We now assemble the full Dirac field operator. In the standard convention:
Ψ̂(x) = ∫ (d³p)/((2π)³) (1/√(2E_p)) Σ_s [a_{p,s} u_s(p) e^(−ip·x) + b†_{p,s} v_s(p) e^(+ip·x)]
where u_s(p) and v_s(p) are the positive- and negative-frequency spinors from [1] §VIII, E_p = √(p² + m²) is the energy, and p·x = E_p t − p·x is the standard four-product.
The adjoint field is Ψ̄̂(x) = Ψ̂†(x) γ⁰ with the standard conjugation structure.
VII.2 Operator Action on the Vacuum
By direct application:
Ψ̂(x) |0⟩ = ∫ (d³p)/((2π)³) (1/√(2E_p)) Σ_s b†_{p,s} v_s(p) e^(+ip·x) |0⟩
The a-terms annihilate the vacuum (a|0⟩ = 0), leaving only the antimatter creation terms. The vacuum is acted on by Ψ̂(x) to produce a superposition of single-antimatter modes. This is the correct physical content: the field operator at a spacetime point creates an antimatter excitation there (and can also annihilate a matter excitation if one is present).
VII.3 Consistency with the Hestenes-Clifford Structure
In the Hestenes geometric-algebra formulation, the field operator corresponds to an operator-valued multivector Ψ̂_geometric(x, x₄). The u_s(p) spinors in the matrix formulation correspond to rest-frame rotors in the geometric formulation, and the plane-wave phase e^(−ip·x) corresponds to an x₄-rotor exp(+I · p·x) when extended to include the x₄-direction.
The operator Ψ̂_geometric(x, x₄), acting on a single-matter state, produces a structure satisfying the operator-valued analog of the matter orientation condition (M):
⟨0| Ψ̂_geometric(x, x₄) |p, s, +⟩ = u_s(p) e^(−ip·x) ∝ Ψ₀(x) · exp(+I · kx₄)
with the rest-frame amplitude Ψ₀ determined by the u-spinor. The field operator at the QFT level is consistent with the single-particle orientation structure derived in [1].
VII.4 Equal-Time Anticommutation
From the anticommutation of the creation and annihilation operators, one derives the equal-time anticommutator of the field:
{Ψ̂_α(x, t), Ψ̂†β(y, t)} = δ³(x − y) δ{αβ}
where α, β are spinor indices. The derivation is standard: substitute the plane-wave expansion, apply the anticommutation relations from Section VI, and use the completeness of the u and v spinors. The result is the microcausal equal-time anticommutator that is the hallmark of local fermionic QFT.
This relation is the conventional starting point of Dirac field quantization. In LTD, it is the result of the derivation chain starting from dx₄/dt = ic rather than the axiom.
VII.5 Spacelike Anticommutation
For general spacelike-separated points (x − y)² < 0 with (x − y)² in Lorentzian signature, the anticommutator:
{Ψ̂_α(x), Ψ̂†_β(y)} ∝ iS(x − y)
where S(x − y) is a specific distribution vanishing for spacelike separations (up to derivatives that produce the δ-function at coincident points). The spacelike vanishing is microcausality: observables at spacelike separation commute.
Microcausality is, in the LTD reading, the geometric statement that two localized x₄-oscillations at spacelike-separated points cannot influence each other, because their x₄-expansion spheres have not yet intersected. This is the LTD origin of the relativistic locality principle: the universal x₄-expansion at rate c means that information cannot propagate faster than c, which is the content of spacelike commutativity.
VIII. The Feynman Propagator
VIII.1 Two-Point Function as an x₄-Expectation Value
The Feynman propagator is defined as the vacuum expectation value of the time-ordered product:
S_F(x − y) = ⟨0| T{Ψ̂(x) Ψ̄̂(y)} |0⟩
where T is the time-ordering operator. Substituting the field expansion and using the anticommutation relations:
S_F(x − y) = ∫ (d⁴p)/((2π)⁴) [i(/p + m) / (p² − m² + iε)] e^(−ip·(x−y))
This is the standard Feynman propagator. The derivation is the standard computation and we do not reproduce it here; see [3] §4.3 for the detailed calculation.
VIII.2 Geometric Interpretation of the iε Prescription
The iε in the denominator of the Feynman propagator is conventionally justified by the requirement that the Feynman Green’s function give the correct causal boundary conditions: positive-frequency modes propagate forward in time, negative-frequency modes backward. In LTD, this prescription acquires a direct geometric meaning.
Positive-frequency modes (matter-oriented) satisfy (M) with k > 0 and propagate forward along x₄ as exp(+I · kx₄). Negative-frequency modes (antimatter-oriented) propagate backward along x₄ as exp(−I · kx₄). The time-ordering that selects positive-frequency propagation for t > 0 and negative-frequency propagation for t < 0 is, in the LTD picture, the statement that particles propagate forward in x₄ and antiparticles backward — the Feynman-Stückelberg picture made literal.
The iε prescription is geometrically the statement that x₄-expansion has a definite sign (dx₄/dt = +ic, not −ic): infinitesimal damping in the correct direction selects the correct x₄-propagation. Had dx₄/dt been −ic, the iε would flip sign, and the propagator would have reversed causal structure. This is yet another manifestation of the unifying principle developed in [1] §X.4 and [8]: every arrow of time at every scale — from the iε in a single-particle propagator to the thermodynamic arrow of a macroscopic ensemble — inherits its sign from the sign of dx₄/dt.
VIII.3 Propagation Forward and Backward in x₄
We make the connection even more explicit. The two branches of the Feynman propagator can be separated into their positive- and negative-frequency pieces:
S_F(x − y) = θ(x⁰ − y⁰) S⁺(x − y) + θ(y⁰ − x⁰) S⁻(x − y)
where S⁺ contains matter (forward-x₄) propagation and S⁻ contains antimatter (backward-x₄) propagation. In LTD, the two theta-functions are selecting, respectively, states that propagate in the +x₄ direction and states that propagate in the −x₄ direction. The time-ordering, which in the standard treatment is a formal choice of contour, is in LTD the physical ordering induced by x₄-expansion.
IX. Pair Creation and Annihilation as x₄-Orientation Flips
IX.1 The Physical Process
The archetypal pair process is e⁺e⁻ annihilation to two photons: e⁺ + e⁻ → γ + γ. At the operator level:
Initial state: |e⁺(p₁, s₁), e⁻(p₂, s₂)⟩ = b†{p₁,s₁} a†{p₂,s₂} |0⟩
Final state: |γ(k₁, ε₁), γ(k₂, ε₂)⟩ (two photons, each with momentum and polarization)
The transition amplitude is:
⟨γ(k₁), γ(k₂) | T{interaction} | e⁺(p₁), e⁻(p₂)⟩
At this stage we have not yet derived the interaction Hamiltonian that couples matter to photons — that is the work of the companion paper [7]. We can, however, state the LTD geometric content of the process independent of the specific interaction: the b_{p₁} a_{p₂} annihilation pair acts on the initial state to remove both the matter and antimatter modes (produces the vacuum), and the photon creation operators (from the interaction) produce two photon modes.
IX.2 Geometric Content: The x₄-Phase Cancellation
In [1] §VII.3, we established the geometric picture of pair annihilation: the x₄-phase of the matter mode exp(+I · kx₄) and the x₄-phase of the antimatter mode exp(−I · kx₄) multiply to give 1 — the trivial scalar. The two standing-wave structures cancel at the level of the x₄-phase, releasing the rest energy as photons — pure x₄-oscillations without standing-wave components.
At the operator level, this picture becomes: the annihilation operators a and b remove the localized x₄-oscillations from the Fock-space state, and the rest energy of those oscillations is carried away by the created photon modes. The Feynman diagram corresponding to this process — the s-channel and t-channel diagrams for e⁺e⁻ → γγ — will be computed explicitly in [7] once the photon field and the QED coupling are introduced.
For the present paper, the key point is that the operator-level description of pair annihilation is consistent with the single-particle geometric picture derived in [1] §VII.3: matter and antimatter are x₄-orientation partners whose combined x₄-phase cancels, and the annihilation operators implement this cancellation at the many-particle level.
IX.3 Pair Creation
Pair creation γ + γ → e⁺ + e⁻ is the time reverse. Two photons (pure x₄-oscillations) combine to form an electron-positron pair (two localized x₄-standing waves with opposite orientations). At the operator level, photon annihilation operators remove the two photons and the a† b† pair creation operators produce the electron-positron state.
Conservation of net x₄-orientation Q̂ is automatic: photons have Q̂ = 0 each (they are pure x₄-propagation with no standing-wave component and thus no orientation), and e⁺ e⁻ pairs have Q̂ = +1 − 1 = 0. The total Q̂ is preserved, which is the LTD origin of charge conservation for this process.
IX.4 The Superselection Structure
Processes that preserve Q̂ are dynamically allowed. Processes that would violate Q̂ (such as a single-electron creation from the vacuum with no balancing antiparticle) are dynamically forbidden by the LTD geometry: no operator consistent with dx₄/dt = ic can create a single x₄-orientation quantum without a balancing reverse-orientation quantum, because the global x₄-expansion cannot locally produce a single preferred-orientation excitation out of nothing.
This is the LTD origin of charge superselection: the operator that creates a single matter mode must be accompanied by an operator that creates a matching antimatter mode, or by an operator that removes an equivalent matter mode from elsewhere in the state. The “CP conjugate pair” structure of the Dirac field reflects this geometric constraint at the operator level.
X. Discussion, Open Questions, and Connection to the Broader Program
X.1 What Has Been Accomplished
We have derived the full second-quantized Dirac field theory from dx₄/dt = ic. The derivation chain, tracing every structural feature back to the single principle, is:
dx₄/dt = ic → (via [1], recapitulated in Appendix A) → matter orientation condition (M), γ⁴ = iγ⁰, Clifford algebra, half-angle spinor rotation, 4π-periodicity → (via present paper) → raw multi-particle Fock space without assumed symmetry (§III.3) → creation/annihilation operators as orientation operators (§V) → fermionic spin structure selection from (M) via single-sided-action theorem (§VI.3) → 2π relative rotation during exchange path (§VI.3 parametrization) → minus-sign holonomy on the spinor bundle (§VI.3) → antisymmetric two-fermion states (§VI.4) → operator-domain derivation of anticommutation relations (§VI.6) → Dirac field operator (§VII) → Feynman propagator with geometric iε prescription (§VIII) → pair processes as x₄-orientation flips (§IX).
Four central new results distinguish this paper:
- The Fock-space construction avoids circularity (§III.3). The multi-particle space 𝓕_raw is introduced without antisymmetry presupposition; the physical subspace 𝓕_phys is identified by a derived antisymmetry constraint from §VI, not by a definitional choice. The logical order — principle → orientation condition → spin structure → antisymmetry → anticommutation — is strictly one-way.
- The spin-statistics argument is mathematically rigorous (§VI.3). The fermionic spin structure on the identical-particle configuration space Q_2 is derived — not chosen — from the uniqueness of single-sided bivector action (Theorem IV.3 of [1], recapped in Appendix A.2). The exchange path is explicitly parametrized, and the 2π relative rotation in the spinor frame is calculated rather than asserted. The holonomy-class structure ensures that double exchanges are homotopic to identity (consistency check in §VI.3).
- The anticommutation relations are derived by explicit operator-domain arguments (§VI.6). Each of {a†, a†} = 0, {a, a} = 0, {a, a†} = δ³ is established by applying the antisymmetry constraint to specific operator actions on physical states, with no step relying on verbal reasoning or circular appeal to standard QFT postulates.
- The Pauli exclusion principle as a theorem (§VI.5). Not imposed, but derived as a corollary of the antisymmetry: setting the two labels equal forces the two-particle wavefunction to vanish.
- The iε prescription as a geometric statement (§VIII.2). The Feynman propagator’s iε is not a formal contour choice but the operator-level manifestation of dx₄/dt = +ic (as opposed to −ic). This is the QFT expression of the unified directionality that links microscopic T-violation, thermodynamic irreversibility, and cosmological expansion direction, as developed in [1] §X.4 and [8].
X.2 Relationship to the Spin-Statistics Theorem
The spin-statistics theorem, in its canonical form (Pauli 1940 [5], refinements by Fierz, Lüders, Zumino [6]), establishes retrospectively that Lorentz invariance plus microcausality plus positive-definite energy force spin-½ fields to be quantized with anticommutators. The theorem is mathematically rigorous but philosophically incomplete: it tells us that nature must be this way given the axioms, but it does not explain why.
The LTD derivation of fermion statistics in Section VI inverts this structure. Instead of axiom-based necessity (“given Lorentz invariance and microcausality, anticommutators must be used”), we have geometric sufficiency (“given dx₄/dt = ic, anticommutators follow”). The LTD derivation is not an alternative proof of the standard theorem — it is a geometric origin for the structure that the standard theorem describes.
Both derivations reach the same conclusion: spin-½ fields anticommute. The difference lies in the route taken. The standard theorem is a no-go proof: bosonic quantization of spin-½ leads to pathologies, so fermionic quantization must be chosen. The LTD derivation is a constructive proof: given the geometric structure of x₄-oriented matter, the fermionic algebra emerges automatically.
X.3 Open Questions
Several important QFT structures are not yet incorporated into the LTD derivation.
Renormalization. The framework as developed here reproduces the formal structure of tree-level Dirac QFT but says nothing about loop corrections, divergences, or the renormalization program. This is a substantial gap, and the referee’s concern that mapping to “local counterterms, anomalies, and RG flow would be a major test of [the framework’s] depth” is well-taken. The standard renormalization procedure — regularization, counterterm construction, running couplings — has a well-defined mathematical structure but no immediate geometric interpretation in LTD.
Two possibilities for the LTD treatment of renormalization deserve specification:
Possibility A (minimal). Renormalization has no native LTD interpretation. The geometric framework gives tree-level Dirac QFT from dx₄/dt = ic, and loop corrections are computed using standard procedures that happen to work but whose foundational status within LTD is unclear. This is the minimal position and is consistent with the present paper’s content. It would, however, be a philosophical defeat for the LTD program if loop effects — which are empirically dominant in precision tests like g−2 and the Lamb shift — had no geometric origin.
Possibility B (ambitious: discrete x₄-wavelength as UV cutoff). The FQXi 2011 paper [15] argued that x₄-expansion has a discrete wavelength λ_P at the Planck scale, with ℏ emerging from this discreteness as the quantum of action. In the second-quantization context, this discreteness might provide a natural UV cutoff: integrals over internal momenta that diverge in standard QFT would be cut off at the Planck scale because modes with wavelength below λ_P do not exist in LTD. This would produce a regularized QFT without need for ad-hoc regularization schemes.
If Possibility B holds, the physical predictions of LTD-regulated QFT should agree with standard renormalized QFT at energies well below the Planck scale (consistent with the extraordinary precision of existing tests) but might differ from standard QFT at energies approaching the Planck scale. Specifically: the running of the fine-structure constant, which in standard QED is computed via loop integrals with counterterms, might have an LTD version in which the effective cutoff is λ_P rather than the arbitrary regulator of standard QFT. At present this is a speculation, not a calculation. A concrete test would be: compute the Landau pole in LTD-regulated QED and compare to the standard QED result. If the Planck-scale cutoff removes the Landau pole (as it should, since a UV-finite theory has no Landau pole), this would be a distinctive prediction of LTD that could in principle be compared to high-energy data.
This calculation is open work. The present paper neither performs it nor claims it — it merely flags that Possibility B offers a concrete direction for future development that Possibility A does not.
The measure on path-integral formulation. The present paper develops LTD QFT in the canonical (operator-based) formulation. The path-integral formulation, with its Berezin-integral measure over Grassmann-valued fields, has not been addressed. The companion paper on entropy and Brownian motion [9] connects Feynman’s path integral to x₄-driven Brownian motion geometrically, but the extension to fermionic path integrals requires additional work. Specifically, the Grassmann structure of fermionic path integrals — the anticommuting numbers that generate the integration measure — should have an LTD-geometric origin in the single-sided-action structure that produces fermion statistics in Section VI, but this connection is not yet established.
The structure of higher spins. The present paper focuses on spin-½. Spin-1 bosons (photons, W, Z) and spin-0 bosons (Higgs) are outside the matter-orientation framework of (M) — they are not even-grade multivectors satisfying Compton-frequency orientation. Their quantization in LTD requires a separate geometric treatment, developed in part in the companion QED paper [7]. The hypothetical spin-2 graviton, whose absence is a central LTD prediction (discussed in X.5), is argued in [1] to be incompatible with the orientation structure — but a full geometric argument for why no spin-2 particle can be accommodated is open work.
Anomalies and anomaly cancellation. The chiral anomaly and its cancellation across generations in the Standard Model is a deep structural feature — it enforces specific relationships between the charges of quarks and leptons within each generation. In LTD, anomaly cancellation should have a geometric origin tied to x₄-orientation conservation, but this has not been worked out. A concrete project: show that the generation structure required in [8] §X.5 (three independent Compton frequencies) implies the specific charge-assignment structure that produces anomaly cancellation. If this calculation goes through, it would be a substantial piece of additional evidence for the framework. If it fails, it would identify a specific gap that requires addressing.
X.4 Connection to the Broader Program
The present paper is one step in the LTD derivation program. The single-particle Dirac equation was derived in [1]. Second quantization is derived here. The companion QED paper [7] builds on the present results to derive the U(1) gauge structure of electromagnetism as the connection on the x₄-orientation bundle, producing the full QED Lagrangian from dx₄/dt = ic. The electroweak extension, building on [8]’s geometric identification of SU(2)_L as transverse-to-x₄ rotations, is in preparation. QCD color symmetry from the spatial triple and the Higgs mechanism as x₄-direction-selection are further open directions.
The long-term goal is a full derivation of the Standard Model Lagrangian from dx₄/dt = ic. This paper and its companion [7] represent the first two rungs of that ladder — second quantization and QED — with the electroweak and strong sectors as subsequent work.
X.5 Falsifiable Predictions and Uniqueness
The referee’s question — whether the LTD framework makes new falsifiable predictions or merely reinterprets standard QFT — deserves a direct answer. The honest answer is that the LTD derivation of second quantization reproduces the tree-level predictions of standard Dirac QFT exactly, which means it cannot be distinguished from standard QFT by any tree-level measurement. This is a feature, not a bug: a foundational theory that disagreed with the parts-per-billion precision of standard QFT would be ruled out immediately.
The framework does, however, make predictions at other levels that are in principle falsifiable. These predictions do not emerge from the second-quantization derivation alone but from the LTD framework as a whole, with second quantization contributing specific pieces. Three concrete predictions are worth naming.
Prediction 1: Absence of the spin-2 graviton. In standard QFT approaches to quantum gravity, gravity is the exchange of a spin-2 graviton — a massless particle transforming under the spin-2 representation of the Lorentz group. The LTD framework predicts that no such particle exists. The reason, developed in [1] §X.3 and sharpened here by the second-quantization machinery: the geometric structure that produces spin-½ from the matter orientation condition (M) via single-sided bivector action does not produce a spin-2 analog, because there is no orientation condition on a symmetric rank-2 tensor that a bivector generator could act on single-sidedly. Gravity in LTD emerges from the dynamics of x₄-expansion itself (the companion papers [8, 9] develop this), not from particle exchange.
This prediction is falsifiable: detection of gravitons, either directly (e.g., via a detector sensitive to single-graviton absorption) or indirectly (via processes whose rate depends on graviton propagator structure) would refute LTD as developed here. The current experimental situation — no graviton detection despite decades of searches, and no indirect evidence favoring a spin-2 mediator over alternative explanations — is consistent with the prediction but does not yet confirm it.
Prediction 2: Absence of magnetic monopoles. This prediction is developed in the companion QED paper [7] but has its geometric root in the framework of the present paper. The x₄-orientation bundle on which A_μ is a connection (in [7]) has trivial topology because the +ic expansion direction provides a global reference frame. Magnetic monopoles would require nontrivial U(1) bundle topology, which LTD forecloses. This is a standing prediction since the LTD framework’s earliest formulations; the experimental absence of monopoles (1931–present, including the MoEDAL experiment’s null results) is consistent. Observation of a monopole would refute LTD.
Prediction 3: Charge quantization from x₄-orientation counting. The referee noted that “one would want concrete derivations of charge quantization… from x₄ geometry, rather than post hoc identifications.” The second-quantization machinery of the present paper provides the beginning of such a derivation, though not the completion. The net x₄-orientation operator Q̂ of Section IV.4 has integer eigenvalues on the Fock space — this is built into the discrete mode structure, in which each creation operator adds ±1 to Q̂. Therefore electric charge, which is identified with (a specific multiple of) Q̂ in QED, is automatically quantized in integer units of some fundamental unit.
This is a partial derivation: it shows that electric charge must be quantized, but it does not determine the unit of quantization (the electron charge e as opposed to some other value) without further input from the QED coupling derivation in [7]. The full derivation of the specific value of e from the LTD framework is open work. But the integer-spacing of the charge spectrum — one of the most striking experimental facts about matter, often cited as a puzzle for the Standard Model — is a theorem of LTD second quantization.
A related but logically distinct prediction concerns anomaly cancellation. In the Standard Model, the chiral anomaly cancels between quark and lepton contributions in each generation through a specific algebraic miracle — the sum of fermion charges in each generation, weighted by appropriate factors, vanishes. In LTD, this cancellation should have a geometric origin tied to x₄-orientation conservation across all the fermions in a generation. Working this out — showing that the generation structure required by [8] §X.5 (three independent Compton frequencies for irreducible CP-violating phase) forces the anomaly cancellation observed in the Standard Model — is a concrete calculation that would be a substantial piece of evidence for or against the framework. This calculation is open work and is not claimed in the present paper.
On uniqueness. Is the LTD derivation of second quantization the unique geometric derivation that produces standard Dirac QFT, or is it one of many possible geometric derivations? The referee’s implicit question is whether LTD’s success in reproducing standard QFT is evidence that LTD is correct, or merely that some geometric framework compatible with standard QFT exists.
This is a fair question. The honest position is: the LTD derivation is one among several possible geometric framings, and its specific advantages over alternatives (Penrose twistor theory, Hestenes geometric algebra, Kaluza-Klein theories) are developed in the companion papers on LTD vs. twistor theory, LTD vs. string theory, and LTD vs. LQG. The uniqueness claim for LTD specifically is the claim that dx₄/dt = ic is the single simplest geometric postulate from which the derivation chain works — the naturalness argument developed in the companion paper on dynamical geometry [cited in the Dirac paper’s broader bibliography]. Whether this simplicity argument is decisive is ultimately a matter of judgment about what counts as “simple” and about which derivations are treated as successful.
What the present paper claims, more narrowly and defensibly, is that the second-quantization derivation from dx₄/dt = ic goes through with every step derivable from the principle, and that this is a nontrivial piece of evidence — not a proof, but evidence — for the LTD program. A competing framework that could derive second quantization with equal rigor from a different geometric postulate would be a worthy competitor; no such framework currently exists, which is a point in LTD’s favor but not a conclusive one.
XI. Conclusion
The second-quantized Dirac field has been derived from the McGucken Principle dx₄/dt = ic — the foundational principle of Light, Time, Dimension Theory (LTD), which states that the fourth dimension is expanding at the rate of light. Every structural feature — the Fock space decomposition into x₄-orientation sectors, creation and annihilation operators as orientation operators, fermion anticommutation relations, the Pauli exclusion principle, the Dirac field operator, the Feynman propagator, the iε prescription, and pair creation/annihilation as x₄-orientation flips — emerges as a theorem from the McGucken Principle, with no structure imposed axiomatically.
The central technical result is the derivation of fermion statistics in Section VI. Exchange of two identical x₄-oriented matter modes produces a path in the identical-particle configuration space Q_2 whose homotopy class generates π₁(Q_2) = ℤ₂. Condition (M) from [1], via Theorem IV.3 (recapped in Appendix A.2), selects the fermionic spin structure on this configuration space — the spin structure in which the exchange-path generator lifts to the nontrivial element of the SU(2) cover. An explicit parametrization of the exchange path (§VI.3) shows that the relative rotation of the two particles’ spinor frames is 2π, and Theorem V.1 of [1] then implies that the holonomy along any exchange path is the minus sign. The antisymmetry of two-fermion states follows as a holonomy calculation rather than a heuristic, and the canonical anticommutation relations follow from the antisymmetry by explicit operator-domain derivations (§VI.6) rather than by verbal argument. The Pauli exclusion principle — a foundational feature of matter traditionally treated as a quantum axiom — is thereby established as a geometric theorem. Fermion statistics are not imposed but derived.
The Feynman propagator’s iε prescription acquires a geometric interpretation: positive-frequency modes propagate forward in x₄ because dx₄/dt = +ic is directed, not −ic. This is the QFT manifestation of the unified arrow-of-time argument developed in [1] §X.4 — the same geometric directionality that produces T-violation in kaon oscillations, entropy increase in macroscopic ensembles, and cosmological expansion also produces the iε that ensures causal propagation in a single-particle Dirac propagator. All arrows of time, at every scale, share a single source.
The derivation establishes a foundation for the companion QED paper [7], which builds on the second-quantized machinery developed here to derive the U(1) gauge structure of electromagnetism and the full QED Lagrangian. The two papers together cover the first two rungs of the derivation program: second quantization (this paper) and quantum electrodynamics (the companion). Higher rungs — electroweak unification, QCD, and the full Standard Model — are the natural subsequent steps.
The present paper demonstrates that QFT, at least in the Dirac sector, is not an independent formal structure overlaid on LTD single-particle mechanics. It is the direct geometric consequence of the McGucken Principle dx₄/dt = ic applied at the many-particle level. The Fock space, the anticommutation relations, the field operators, and the propagators all emerge from the same foundational principle of LTD that gave the single-particle Dirac equation its structure. The accumulation of successful derivations — now extended to second quantization — is the appropriate standard by which the LTD program should be judged.
Historical Note: The Origin of the McGucken Principle
“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 for graduate school in physics. He could and did, and wrote it all up in a beautifully clear account.”
— Dr. John Archibald Wheeler, Joseph Henry Professor of Physics, Princeton University [10]
The McGucken Principle traces to Dr. Elliot McGucken’s undergraduate research with John Archibald Wheeler at Princeton University in the late 1980s and early 1990s. Two projects under Wheeler’s supervision planted the seeds of the theory: an independent derivation of the time factor in the Schwarzschild metric, and a study of the Einstein-Podolsky-Rosen paradox and delayed-choice experiments (the “Within a Context” junior paper co-supervised with Joseph Taylor), the conceptual ancestor of the McGucken Equivalence for quantum entanglement [11].
The theory was first committed to writing in an appendix to McGucken’s NSF-funded doctoral dissertation at UNC Chapel Hill (1998) [12] — research that subsequently helped blind patients see — concluding with the words “The underlying fabric of all reality, the dimensions themselves, are moving relative to one another.” It appeared on internet physics forums (2003–2006) as Moving Dimensions Theory, received its first formal treatment in five FQXi papers (2008–2013) [13, 14, 15, 16, 17], was consolidated in seven books (2016–2017) [18, 19, 20, 21, 22, 23], and has been extensively developed in the derivation program at elliotmcguckenphysics.com (2024–2026).
The present paper extends that program to the second-quantized Dirac field, establishing that the full apparatus of Fock space, canonical anticommutation, and field operators emerges from dx₄/dt = ic as a chain of theorems.
Appendix A: Sketched Proofs of the Essential Lemmas from [1]
The present paper relies on three specific results from the companion Dirac paper [1]: the matter orientation condition (M), Theorem IV.3 on the uniqueness of single-sided transformation, and Theorem V.1 on 4π-periodicity. For the convenience of readers approaching this paper independently of [1], we provide sketched proofs of each. The full proofs are in [1] and include additional context; the sketches here are sufficient to verify the chain of reasoning in the main text.
A.1 The Matter Orientation Condition (M)
Statement (condition M). An even-grade multivector Ψ in Cl(1,3) carries matter x₄-orientation at Compton frequency k if there exist even-grade rest-frame amplitude Ψ₀ and a real scalar x₄ such that:
Ψ(x, x₄) = Ψ₀(x) · exp(+I · kx₄), k > 0
with multiplication performed on the right. The antimatter orientation condition is the same form with k < 0.
Justification sketch. The condition (M) is the natural expression of the physical content of dx₄/dt = ic at the level of a matter wavefunction. The principle asserts that x₄ expands at rate c with an intrinsic factor of i. For a particle at rest, all of its four-momentum is carried in the x₄-direction: p_x₄ = mc (in units where the mass is measured by the rate of x₄-phase accumulation). A wavefunction carrying this momentum must have the form:
Ψ(x, x₄) = Ψ₀(x) · f(kx₄) for some function f
with k = mc/ℏ the Compton wavenumber. The function f must be consistent with the first-order wave equation (Dirac structure), which requires f to be a complex exponential. The natural choice, given that i in dx₄/dt = ic is the Clifford pseudoscalar I (established in [1] §III.4), is f = exp(+I·kx₄). The positive sign of k distinguishes matter from antimatter.
This sketch establishes (M) as the wavefunction-level content of the principle dx₄/dt = ic. Full justification — including why I rather than some other generator, and why right-multiplication rather than left — is in [1] §II.2 and §IV.2.
A.2 Theorem IV.3 of [1]: Uniqueness of Single-Sided Transformation
Statement. Let R = exp(θ/2 · e_P) be a rotor generated by any bivector e_P of Cl(1,3). If Ψ satisfies condition (M) with Compton frequency k > 0, then:
(a) Left-action Ψ → RΨ preserves (M) with the same k.
(b) Sandwich action Ψ → R⁻¹ΨR does not preserve (M) in general; specifically, it fails to preserve (M) when R involves x₄-bivectors, introducing an antimatter admixture.
Proof sketch of (a): For spatial bivector R (which commutes with x₄-phase since spatial coordinates are independent of x₄), RΨ = R·Ψ₀·exp(+I·kx₄) = (RΨ₀)·exp(+I·kx₄). The resulting multivector has rest-frame amplitude RΨ₀ and the same Compton frequency k, satisfying (M). For x₄-involving R, the argument is more subtle because R does not commute with the x₄-rotor, but left-action by R on Ψ still produces a field that satisfies (M) with a different rest-frame amplitude and the same k (the Compton frequency is a scalar, so the bivector does not shift it). This establishes (a).
Proof sketch of (b): The sandwich action R⁻¹ΨR = R⁻¹ Ψ₀ exp(+I·kx₄) R. The key Clifford-algebraic fact is that I anticommutes with any vector γᵘ (since I = γ⁰γ¹γ²γ³ is grade-4 and γᵘ is grade-1, their graded-commutator relation is anti-commutation). For spatial bivectors (products of two spatial γ’s), I commutes with the bivector, and the sandwich action passes through the x₄-rotor unchanged. But for x₄-involving bivectors (containing γ⁰), the bivector anticommutes with I, so:
R⁻¹ · I · R = R⁻¹ (−1 × transformed-I) R
The transformed pseudoscalar R⁻¹IR has a component along −I, which when exponentiated produces an admixture of exp(−I·kx₄). A multivector of the form α · exp(+I·kx₄) + β · exp(−I·kx₄) with β ≠ 0 does not satisfy (M) because (M) requires a pure positive-frequency exponential with no negative-frequency admixture.
The sandwich action therefore fails to preserve (M) for x₄-involving bivectors, which includes all the generators of Lorentz boosts and the full set of generators needed to describe arbitrary Lorentz transformations. Left-action is the unique transformation preserving (M) across this full set of generators. This establishes (b). ∎
Full proof with all sign conventions is in [1] §IV.3.
A.3 Theorem V.1 of [1]: 4π-Periodicity of Spinor Rotation
Statement. Under a spatial rotation by angle θ in the (x_i, x_j) plane, a matter field Ψ satisfying (M) transforms (by the single-sided action of Theorem IV.3) as:
Ψ → [cos(θ/2) + sin(θ/2) · e_ij] · Ψ
Equivalently: Ψ → exp(θ/2 · e_ij) · Ψ. The half-angle is essential: at θ = 2π, Ψ → −Ψ; only at θ = 4π does Ψ return to itself.
Proof sketch. The single-sided action of Theorem IV.3 dictates that Ψ transforms by Ψ → R · Ψ where R is the rotor in the (x_i, x_j) plane:
R = exp(θ/2 · e_ij)
with the half-angle arising because R acts only from the left (rather than as a sandwich). Expanding the exponential using e_ij² = −1 (from the Clifford algebra; e_ij² = −1 for spatial bivectors, established in [1] §III.2):
R = cos(θ/2) + sin(θ/2) · e_ij
Under a full 2π spatial rotation:
R(2π) = cos(π) + sin(π) · e_ij = −1 + 0 = −1
So Ψ(2π) = −Ψ. Under a 4π rotation:
R(4π) = cos(2π) + sin(2π) · e_ij = 1 + 0 = 1
So Ψ(4π) = Ψ. The 4π-periodicity is the direct consequence of the half-angle, which is the direct consequence of single-sided action from Theorem IV.3. ∎
Full proof with basis conventions is in [1] §V.1–V.3.
A.4 What These Lemmas Provide for the Present Paper
The three lemmas above supply the geometric foundation on which the derivations of Sections III–IX build:
- Lemma A.1 provides the definition of matter vs. antimatter in terms of the sign of k, used in Section III to decompose the single-particle Hilbert space into orientation sectors.
- Lemma A.2 (Theorem IV.3) ensures that matter fields transform by single-sided action, which is the input to the fermionic-spin-structure selection argument in Section VI.3.
- Lemma A.3 (Theorem V.1) is the direct mathematical content of “4π-periodicity,” which combines with the 2π relative rotation during exchange (Section VI.3 parametrization) to produce the −1 holonomy that gives antisymmetric states.
A reader convinced of these three lemmas can verify the complete derivation of second quantization in the main text without needing independent verification of [1]. A reader skeptical of the lemmas should consult [1] for the full proofs; the present paper’s derivation is no stronger than the lemmas it relies on.
References
[1] McGucken, E. The Geometric Origin of the Dirac Equation: Spin-½, the SU(2) Double Cover, and the Matter-Antimatter Structure from the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic. elliotmcguckenphysics.com (April 2026).
[2] Weinberg, S. The Quantum Theory of Fields, Volume I: Foundations. Cambridge University Press (1995).
[3] Peskin, M. E. & Schroeder, D. V. An Introduction to Quantum Field Theory. Westview Press (1995).
[4] Srednicki, M. Quantum Field Theory. Cambridge University Press (2007).
[5] Pauli, W. The Connection Between Spin and Statistics. Phys. Rev. 58, 716 (1940).
[6] Lüders, G. & Zumino, B. Connection between Spin and Statistics. Phys. Rev. 110, 1450 (1958).
[7] McGucken, E. Quantum Electrodynamics from the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic: Local x₄-Phase Invariance, the U(1) Gauge Structure, Maxwell’s Equations, and the QED Lagrangian. elliotmcguckenphysics.com (forthcoming 2026).
[8] McGucken, E. How the McGucken Principle of the Fourth Expanding Dimension (dx₄/dt = ic) Accounts for the Standard Model’s Broken Symmetries, Time’s Arrows and Asymmetries, and Much More. elliotmcguckenphysics.com (April 2026).
[9] McGucken, E. The Derivation of Entropy’s Increase and Time’s Arrow from the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic. elliotmcguckenphysics.com (August 2025).
[10] Wheeler, J. A. Letter of Recommendation for Elliot McGucken. Princeton University, Department of Physics (late 1980s / early 1990s).
[11] McGucken, E. The McGucken Equivalence: Quantum Nonlocality and Relativity Both Emerge from the Expansion of the Fourth Dimension at the Velocity of Light. elliotmcguckenphysics.com (December 2024).
[12] McGucken, E. Multiple Unit Artificial Retina Chipset to Aid the Visually Impaired and Enhanced Holed-Emitter CMOS Phototransistors. Ph.D. Dissertation, University of North Carolina at Chapel Hill (1998). https://scholar.google.com/citations?view_op=view_citation&hl=en&user=5Ss0zr4AAAAJ&citation_for_view=5Ss0zr4AAAAJ:eQOLeE2rZwMC
[13] McGucken, E. Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics (In Memory of John Archibald Wheeler). FQXi Essay Contest, August 2008. https://forums.fqxi.org/d/238
[14] McGucken, E. What is Ultimately Possible in Physics? Physics! A Hero’s Journey with Galileo, Newton, Faraday, Maxwell, Planck, Einstein, Schrödinger, Bohr, and the Greats towards Moving Dimensions Theory. FQXi Essay Contest, September 2009. https://forums.fqxi.org/d/511
[15] McGucken, E. 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 (Digital) Wavelength lp at c Relative to Three Continuous (Analog) Spatial Dimensions. FQXi Essay Contest, February 2011. https://forums.fqxi.org/d/873
[16] McGucken, E. MDT’s dx₄/dt = ic Triumphs Over the Wrong Physical Assumption that Time is a Dimension. FQXi Essay Contest, August 2012. https://forums.fqxi.org/d/1429
[17] McGucken, E. It from Bit or Bit From It? What is It? Honor!. FQXi Essay Contest, July 2013. https://forums.fqxi.org/d/1879
[18] McGucken, E. Light Time Dimension Theory: The Foundational Physics Unifying Einstein’s Relativity and Quantum Mechanics. 2016. ASIN: B01KP8XGQ6.
[19] McGucken, E. Relativity and Quantum Mechanics Unified in Pictures. 2017. ASIN: B01N2BCAWO.
[20] McGucken, E. The Physics of Time: Time & Its Arrows in Quantum Mechanics, Relativity, The Second Law of Thermodynamics, Entropy, The Twin Paradox, & Cosmology Explained via LTD Theory’s Expanding Fourth Dimension. 2017. ASIN: B07695MLYQ.
[21] McGucken, E. Quantum Entanglement and Einstein’s Spooky Action at a Distance Explained: The Nonlocality of the Fourth Expanding Dimension. 2017. ASIN: B076BTF6P3.
[22] McGucken, E. Einstein’s Relativity Derived from LTD Theory’s Principle. 2017. ASIN: B06WRRJ7YG.
[23] McGucken, E. The Triumph of LTD Theory and Physics over String Theory, the Multiverse, Inflation, Supersymmetry, M-Theory, LQG, and Failed Pseudoscience. 2017. ASIN: B01N19KO3A.
[24] Doran, C. & Lasenby, A. Geometric Algebra for Physicists. Cambridge University Press (2003).
[25] Hestenes, D. Real Spinor Fields. J. Math. Phys. 8, 798 (1967).
[26] Leinaas, J. M. & Myrheim, J. On the Theory of Identical Particles. Nuovo Cimento B 37, 1 (1977).
[27] Berry, M. V. Quantal Phase Factors Accompanying Adiabatic Changes. Proc. Roy. Soc. A 392, 45 (1984).
[28] Nakahara, M. Geometry, Topology and Physics. CRC Press (2nd ed., 2003).
Submitted to elliotmcguckenphysics.com, April 2026.
Author: Elliot McGucken, PhD — Theoretical Physics Undergraduate research with John Archibald Wheeler, Princeton University (late 1980s) Ph.D., University of North Carolina at Chapel Hill (1998) Website: elliotmcguckenphysics.com
The McGucken Principle: The fourth dimension x4 is expanding at the velocity of light c: x4=ict, ergo dx4/dt=ic 
Leave a comment