The McGucken Sphere as Spacetime’s Foundational Atom: A Complete Constructive Derivation of Twistor Space, the Positive Grassmannian, and the Amplituhedron from dx4/dt=ic

Dr. Elliot McGucken, Light Time Dimension Theory / elliotmcguckenphysics.com

Contents

1. Abstract

2. Status of Claims

3. Introduction

4. Foundational Postulate

    • Postulate 1: The McGucken Principle

    • Theorem 1: x4=ictx4​=ict Generates the Minkowski Metric

    • Theorem 2: The McGucken Sphere Is the Future Null Cone and the Foundational Atom of Spacetime

    • Plain-language meaning

5. Complex Phase and Quantum Amplitude

    • Theorem 3: The Rest-Frame Quantum Phase Follows from x4x4​-Evolution

    • Theorem 4: The Path Integral Is Iterated Huygens Propagation

6. Feynman Diagrams from Huygens-with-Interaction

    • Theorem 5: The Dyson Expansion Is Iterated Huygens-with-Interaction

    • Proposition 1: Propagator as x4x4​-Coherent Green Function

7. Penrose Twistor Space from McGucken Incidence

    • Definition 1: McGucken Twistor

    • Theorem 6: McGucken Sphere Incidence Generates CP3CP3

    • Theorem 7: Null Rays Correspond to Twistor Points

    • Plain-language meaning

8. Planar Momentum Twistors

    • Definition 2: External McGucken Null Polygon

    • Definition 3: Momentum Twistor

    • Theorem 8: Momentum Twistors Are Planar McGucken Incidence Data

9. Positive External Data

    • Definition 4: McGucken-Positive External Configuration

    • Theorem 9: Ordered x4x4​-Phase Gives Positive External Data

    • Theorem 10: Classification of McGucken-Positive External Data

10. Witten Twistor-Curve Localization

    • Theorem 11: Common McGucken Origin Gives Holomorphic Twistor Support

    • Theorem 12: Exact Degree Convention

11. Positive Grassmannian from McGucken Networks

    • Definition 5: McGucken Intersection Network

    • Definition 6: Boundary Measurement Matrix

    • Theorem 13: McGucken Networks Define G+(k,n)G+​(k,n)

12. BCFW Bridges and Positroid Cells

    • Definition 7: McGucken BCFW Bridge

    • Theorem 14: Every Tree BCFW Cell Arises from a Reduced McGucken Network

    • Theorem 15: Every Reduced McGucken Network Defines an Allowed Positroid Cell

13. Huygens Superposition and the Amplituhedron Map

    • Theorem 16: Huygens Superposition Gives Y=CZY=CZ

14. Canonical dlog⁡dlog Forms

    • Theorem 17: x4x4​-Flux Coordinates Generate dlog⁡dlog Forms

    • Theorem 18: Pushforward Gives the Canonical Form

15. Boundary Stratification, Locality, and Unitarity

    • Theorem 19: Residues Are Boundary Network Forms

    • Theorem 20: Locality Boundaries Are Null McGucken-Sphere Separations

    • Theorem 21: Unitarity Cuts Open Closed x4x4​-Chains

16. Loop Amplituhedron and G+(k,n;L)G+​(k,n;L)

    • Definition 8: Closed x4x4​-Chain Boundary Measurement

    • Theorem 22: McGucken Loop Positivity Equals G+(k,n;L)G+​(k,n;L)

    • Theorem 23: Full Loop Amplituhedron Map

17. Yangian Invariance

    • Theorem 24: Yangian Invariance from Dual McGucken Conformal Symmetry

18. Operator-Algebraic Microcausality from McGucken Sphere Causality

    • Definition 9: McGucken Causal Completion

    • Definition 10: McGucken Local Net

    • Theorem 26: McGucken Causal Locality Implies Algebraic Microcausality

    • Corollary 6: Standard Spacelike Microcausality

    • Theorem 27: Smeared-Field Microcausality

    • Proposition 2: Causal Completion as Primitive Algebraic Localization

    • Plain-Language Explanation

19. Toward a McGucken-Informed Gravitational Twistor String for Einstein Gravity

    • Definition 11: McGucken Gravitational Twistor Data

    • Definition 12: McGucken Gravitational Twistor-String Action

    • Theorem 28: Einstein Gravity as Deformation of McGucken-Sphere Incidence

    • Theorem 29: McGucken Graviton Vertex Operators

    • Theorem 30: McGucken Rational-Curve Formula for Tree Gravity Amplitudes

    • Theorem 31: Avoidance of Pure Conformal-Gravity Contamination

    • Research Programme: From McGucken Spheres to Full Einstein Gravity

    • Plain-Language Explanation

20. Complete Derivation Chain

21. Twistor-Amplituhedron Descent from the McGucken Sphere as the Foundational Atom

    • Conceptual Hierarchy

    • Standard Objects and McGucken Interpretation

    • Theorem 25: Twistor-Amplituhedron Descent from the McGucken Sphere as the Foundational Atom of Spacetime

    • Corollary 5: Direct and Indirect Descent

    • Plain-Language Explanation

22. Completed Results

23. Conclusion

24. Formal References

Abstract

This paper gives a single constructive derivation of the thesis that the McGucken sphere is the foundational atom of spacetime. The McGucken Principle,

$$\frac{d{x}_4}{dt}=ic,$$dtdx4​​=ic,

is taken as the physical postulate that the fourth dimension expands spherically at the invariant speed of light, with $i$i marking perpendicularity to the three ordinary spatial dimensions. The elementary object generated by this postulate is the McGucken sphere: the expanding null wavefront centered on an event. In this sense, the McGucken sphere functions as the foundational atom of spacetime, because it is the primitive null-incidence unit from which metric structure, causal propagation, twistor incidence, quantum phase-flow, and scattering geometry are generated. From this atom, the paper derives Penrose incidence ${\omega }^A=i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }}$ωA=ixAA′πA′​, projective twistor space $C{P}^3$CP3, planar momentum twistors $Z_a=({\lambda }_a,x_a{\lambda }_a)$Za​=(λa​,xa​λa​), McGucken-positive external data $M_{+}(k+4,n)$M+​(k+4,n), positive Grassmannian boundary measurements $C_{\alpha a}$Cαa​, Huygens superposition $Y=CZ$Y=CZ, canonical $d\log$dlog forms, BCFW cells, positroid stratification, loop data $D_{(i)}$D(i)​, and the full loop amplituhedron $G_{+}(k,n;L)$G+​(k,n;L). The paper also fixes the exact convention match between Witten’s twistor-string curve degree $d=q-1+\mathrm{\ell }$d=q−1+ℓ and the amplituhedron convention $q=k_{\mathrm{A}}+2$q=kA​+2, yielding $d=k_{\mathrm{A}}+1+\mathrm{\ell }$d=kA​+1+ℓ. The resulting chain is

$$d{x}_4\mathrm{/}dt=ic\Rightarrow {\mathrm{\Sigma }}_{+}(p)\Rightarrow C{P}^3\Rightarrow Z_a\Rightarrow M_{+}(k+4,n)\Rightarrow G_{+}(k,n)\Rightarrow G_{+}(k,n;L)\Rightarrow Y=CZ,{\mathcal{L}}_{(i)}=D_{(i)}Z\Rightarrow {\mathrm{\Omega }}_{\mathcal{A}}\mathrm{.}$$dx4​/dt=ic⇒Σ+​(p)⇒CP3⇒Za​⇒M+​(k+4,n)⇒G+​(k,n)⇒G+​(k,n;L)⇒Y=CZ,L(i)​=D(i)​Z⇒ΩA​.

The amplituhedron is thereby interpreted not merely as an abstract positive geometry, but as the positive-geometric image of $x_4$x4​-generated Huygens phase-flow networks built from the McGucken sphere as the foundational atom of spacetime.

Status of Claims

The amplituhedron is an established construction for planar $N=4$N=4 super-Yang-Mills amplitudes, defined using positive external data $Z_a$Za​, positive matrices $C\in G_{+}(k,n)$C∈G+​(k,n), and the map $Y=CZ$Y=CZ into $G(k,k+4)$G(k,k+4) [5]. The positive Grassmannian program relates planar on-shell diagrams to positive Grassmannian cells, positive coordinates, invariant $d\log$dlog measures, BCFW bridges, decorated permutations, and Yangian invariance [6]. Positive geometries have canonical forms characterized by logarithmic singularities on boundaries and residues equal to canonical forms of those boundaries [7]. Momentum twistors encode planar null-polygon kinematics through region momenta $p_i=x_i-x_{i-1}$pi​=xi​−xi−1​ and twistor variables $Z_i^{\alpha }$Ziα​ [8].

The McGucken Principle is a proposed physical postulate and is treated here conditionally: if $d{x}_4\mathrm{/}dt=ic$dx4​/dt=ic is accepted as the underlying geometric principle, the following theorems show how the twistor and amplituhedron structures arise from it. The physical postulate base comes from the McGucken quantum-mechanics paper, the McGucken Feynman-diagram paper, the McGucken Penrose-twistor paper, and the McGucken Witten-twistor-programme paper [1–4].

Introduction

The central proposal of this paper is that the McGucken sphere is the foundational atom of spacetime. An atom, in this usage, is not a material particle but an indivisible generative unit: the smallest geometric act from which the structures of spacetime, quantum propagation, twistor incidence, and scattering geometry may be reconstructed. The McGucken sphere is this unit because $d{x}_4\mathrm{/}dt=ic$dx4​/dt=ic assigns to every event an expanding fourth-dimensional null wavefront, whose projection into ordinary spacetime is the future light cone.

On this view, spacetime is not first a passive manifold on which light cones are later drawn. Rather, each event generates a McGucken sphere, and the network of these expanding spheres supplies the primitive incidence relations out of which spacetime geometry is built. The metric records the algebra of this expansion. Causality records the nesting and intersection of these spheres. Quantum propagation records the coherent phase-flow along their null generators. Twistor space records their projectivized null-generator geometry. The positive Grassmannian records positive boundary measurements of their allowed intersection networks. The amplituhedron records the final positive-geometric image of those networks.

Thus the constructive thesis is:

$$\boxed{{\displaystyle \text{McGucken sphere}=\text{foundational atom of spacetime}}}$$McGucken sphere=foundational atom of spacetime​

and the derivational programme is:

$$\boxed{{\displaystyle \text{foundational atom}\to \text{null incidence}\to \text{twistors}\to \text{positive Grassmannian}\to \text{amplituhedron}}}\mathrm{.}$$foundational atom→null incidence→twistors→positive Grassmannian→amplituhedron​.

The paper is organized as a chain of formal definitions, theorems, proofs, and plain-language explanations. Each stage shows how a standard structure in quantum mechanics, twistor theory, scattering amplitudes, or positive geometry can be reconstructed from the McGucken sphere once $d{x}_4\mathrm{/}dt=ic$dx4​/dt=ic is adopted as the underlying geometric postulate.

1. Foundational Postulate

Postulate 1: The McGucken Principle

The fourth dimension expands spherically at the invariant speed of light:

$$\frac{d{x}_4}{dt}=ic\mathrm{.}$$dtdx4​​=ic.

Here $x_4=ict$x4​=ict, and the imaginary unit $i$i records the perpendicularity of the fourth coordinate to the ordinary spatial coordinates $x_1,x_2,x_3$x1​,x2​,x3​. The McGucken quantum-mechanics paper treats this postulate as the origin of complex quantum phase, the wavefunction, the Born rule, nonlocality, and the Feynman apparatus [1].

Theorem 1: $x_4=ict$x4​=ict Generates the Minkowski Metric

The substitution $x_4=ict$x4​=ict transforms the Euclidean four-coordinate line element into the Minkowski line element.

Proof

Begin with the four-coordinate expression

$$d{s}_E^2=d{x}_1^2+d{x}_2^2+d{x}_3^2+d{x}_4^2\mathrm{.}$$dsE2​=dx12​+dx22​+dx32​+dx42​.

Using $x_4=ict$x4​=ict,

$$d{x}_4^2=(icdt{)}^2=-c^{2}d{t}^2\mathrm{.}$$dx42​=(icdt)2=−c2dt2.

Therefore

$$d{s}_E^2=d{x}_1^2+d{x}_2^2+d{x}_3^2-c^{2}d{t}^2\mathrm{.}$$dsE2​=dx12​+dx22​+dx32​−c2dt2.

This is the Minkowski interval in mostly-plus convention. Hence the Lorentzian signature is generated by the perpendicular fourth-dimensional coordinate $x_4=ict$x4​=ict. $\mathrm{\square }$□

Theorem 2: The McGucken Sphere Is the Future Null Cone and the Foundational Atom of Spacetime

The spherical expansion of $x_4$x4​ at speed $c$c projects into ordinary spacetime as the future null cone

$${\mathrm{\Sigma }}_{+}(p)=\{x:(x-p{)}^2=0,x^0>p^0\}\mathrm{.}$$Σ+​(p)={x😦x−p)2=0,x0>p0}.

This null sphere is the foundational atom of spacetime: the primitive causal-incidence unit from which local metric structure, null propagation, twistor incidence, and positive scattering geometry are successively generated.

Proof

Set $d{s}^2=0$ds2=0 in the line element derived above:

$$d{x}_1^2+d{x}_2^2+d{x}_3^2-c^{2}d{t}^2=0.$$dx12​+dx22​+dx32​−c2dt2=0.

Therefore

$$\mathrm{\mid }\mathbf{x}-{\mathbf{x}}_0{\mathrm{\mid }}^2=c^2(t-t_0{)}^2\mathrm{.}$$∣x−x0​∣2=c2(t−t0​)2.

For $t>t_0$t>t0​, this is a spatial sphere of radius $c(t-t_0)$c(t−t0​). In spacetime, the union of these expanding spheres is the future null cone of $p=(t_0,{\mathbf{x}}_0)$p=(t0​,x0​). This is the McGucken Sphere ${\mathrm{\Sigma }}_{+}(p)$Σ+​(p). Because ${\mathrm{\Sigma }}_{+}(p)$Σ+​(p) is generated at each event and supplies the primitive null-incidence relation for all later constructions, it is the foundational atom of spacetime in the present theory. $\mathrm{\square }$□

Plain-language meaning

The McGucken Sphere is simply the light cone seen as a real expanding sphere produced by the fourth dimension. Instead of treating the light cone as a kinematic constraint, this framework treats it as the projection of $x_4$x4​-expansion. This is why the McGucken sphere is called the foundational atom of spacetime: every event contributes one such primitive expanding null unit, and the relations among these units generate causal, quantum, twistor, and amplituhedral structure.

2. Complex Phase and Quantum Amplitude

Theorem 3: The Rest-Frame Quantum Phase Follows from $x_4$x4​-Evolution

The rest-frame phase

$$\psi (t)=\psi (0)\exp (-\frac{im{c}^{2}t}{\mathrm{\hslash }})$$ψ(t)=ψ(0)exp(−ℏimc2t​)

is the unitary phase associated with fourth-dimensional evolution.

Proof

The rest energy is

$$E_0=m{c}^2\mathrm{.}$$E0​=mc2.

By the Planck relation,

$$E_0=\mathrm{\hslash }{\omega }_C,$$E0​=ℏωC​,

so

$${\omega }_C=\frac{m{c}^2}{\mathrm{\hslash }}\mathrm{.}$$ωC​=ℏmc2​.

Unitary evolution generated by this frequency gives

$$\psi (t)=\psi (0)e^{-i{\omega }_{C}t}\mathrm{.}$$ψ(t)=ψ(0)e−iωC​t.

Substitution yields

$$\psi (t)=\psi (0)\exp (-\frac{im{c}^{2}t}{\mathrm{\hslash }})\mathrm{.}$$ψ(t)=ψ(0)exp(−ℏimc2t​).

In the McGucken interpretation, the $i$i in this quantum phase is the same perpendicularity marker as in $x_4=ict$x4​=ict. $\mathrm{\square }$□

Theorem 4: The Path Integral Is Iterated Huygens Propagation

The path integral

$$K(b,a)=\int \mathcal{D}[x]\exp \left(\frac{iS[x]}{\mathrm{\hslash }}\right)$$K(b,a)=∫D[x]exp(ℏiS[x]​)

is obtained by composing infinitesimal Huygens propagation kernels generated by the expanding fourth-dimensional wavefront.

Proof

Divide a time interval into $N$N steps of width $ϵ$ϵ. The propagator is composed as

$$K(b,a)=\underset{N\to \mathrm{\infty }}{\lim }\int \prod _{j=1}^{N-1}d{x}_j\prod _{j=0}^{N-1}{K}_{ϵ}(x_{j+1},x_j)\mathrm{.}$$K(b,a)=N→∞lim​∫j=1∏N−1​dxj​j=0∏N−1​Kϵ​(xj+1​,xj​).

For a short interval,

$$K_{ϵ}(x_{j+1},x_j)={\left(\frac{m}{2\pi i\mathrm{\hslash }ϵ}\right)}^{1\mathrm{/}2}\exp \left[\frac{i}{\mathrm{\hslash }}ϵL(x_j,\frac{x_{j+1}-x_j}{ϵ})\right]\mathrm{.}$$Kϵ​(xj+1​,xj​)=(2πiℏϵm​)1/2exp[ℏi​ϵL(xj​,ϵxj+1​−xj​​)].

Multiplying the exponential factors gives

$$\exp \left[\frac{i}{\mathrm{\hslash }}\sum _jϵL_j\right]\mathrm{.}$$exp[ℏi​j∑​ϵLj​].

Taking the limit gives

$$\sum _jϵL_j\to S[x],$$j∑​ϵLj​→S[x],

and therefore

$$K(b,a)=\int \mathcal{D}[x]\exp \left(\frac{iS[x]}{\mathrm{\hslash }}\right)\mathrm{.}$$K(b,a)=∫D[x]exp(ℏiS[x]​).

The McGucken interpretation identifies each infinitesimal kernel with coherent Huygens propagation on an $x_4$x4​-generated wavefront. $\mathrm{\square }$□

3. Feynman Diagrams from Huygens-with-Interaction

Theorem 5: The Dyson Expansion Is Iterated Huygens-with-Interaction

The perturbative $S$S-matrix

$$S=T\exp [-\frac{i}{\mathrm{\hslash }}\int dt{H}_I(t)]$$S=Texp[−ℏi​∫dtHI​(t)]

is the operator expression of iterated Huygens propagation with localized interaction insertions.

Proof

Expand the time-ordered exponential:

$$S=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}{(-\frac{i}{\mathrm{\hslash }})}^n\int d{t}_1\cdots d{t}_{n}T\{H_I(t_1)\cdots H_I(t_n)\}\mathrm{.}$$S=n=0∑∞​n!1​(−ℏi​)n∫dt1​⋯dtn​T{HI​(t1​)⋯HI​(tn​)}.

Writing

$$H_I(t)=\int d^{3}x{\mathcal{H}}_I(x,t),$$HI​(t)=∫d3xHI​(x,t),

each term becomes an integral over $n$n spacetime interaction points. Wick contraction of the time-ordered products supplies propagators between those points. Thus every term is a sum over graphs made of vertices, propagators, external lines, and loop integrations.

In the McGucken interpretation, propagators are $x_4$x4​-coherent Huygens kernels, vertices are local $x_4$x4​-phase-exchange loci, and loops are closed internal $x_4$x4​-phase chains. Therefore Feynman diagrams are combinatorial representations of iterated McGucken-sphere interactions. $\mathrm{\square }$□

Proposition 1: Propagator as $x_4$x4​-Coherent Green Function

The Feynman propagator

$$D_F(x-y)=\int \frac{d^{4}k}{(2\pi {)}^4}\frac{i}{k^2-m^2+iϵ}{e}^{-ik\cdot (x-y)}$$DF​(x−y)=∫(2π)4d4k​k2−m2+iϵi​e−ik⋅(x−y)

is an $x_4$x4​-coherent Green function with the $iϵ$iϵ prescription selecting the forward $x_4$x4​-orientation.

Proof

The Klein-Gordon Green function in momentum space satisfies

$$(-k^2+m^2)\tilde{D}(k)=-i\mathrm{.}$$(−k2+m2)D~(k)=−i.

Thus

$$\tilde{D}(k)=\frac{i}{k^2-m^2}\mathrm{.}$$D~(k)=k2−m2i​.

The poles at $k^2=m^2$k2=m2 require a contour prescription. The Feynman prescription gives

$${\tilde{D}}_F(k)=\frac{i}{k^2-m^2+iϵ}\mathrm{.}$$D~F​(k)=k2−m2+iϵi​.

The $+iϵ$+iϵ prescription selects the causal contour. In the McGucken interpretation, this contour is the algebraic expression of the forward $x_4$x4​-orientation. $\mathrm{\square }$□

4. Penrose Twistor Space from McGucken Incidence

Definition 1: McGucken Twistor

A McGucken twistor is a projective spinor pair

$$Z^{\alpha }=({\omega }^A,{\pi }_{A^{\prime }})$$Zα=(ωA,πA′​)

with incidence relation

$${\omega }^A=i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }}\mathrm{.}$$ωA=ixAA′πA′​.

The McGucken twistor paper identifies this relation as the physical origin of Penrose twistor incidence, with $i$i inherited from $x_4=ict$x4​=ict [3].

Theorem 6: McGucken Sphere Incidence Generates $C{P}^3$CP3

For each spacetime point $x$x, the null directions of the McGucken Sphere define a $C{P}^1$CP1 line in projective twistor space; the union of these incidence lines generates $C{P}^3$CP3.

Proof

At fixed $x$x, a null direction is represented by a nonzero spinor ${\pi }_{A^{\prime }}$πA′​, modulo projective rescaling:

$${\pi }_{A^{\prime }}\sim r{\pi }_{A^{\prime }},r\in {\mathbb{C}}^{\ast }\mathrm{.}$$πA′​∼rπA′​,r∈C∗.

The space of such directions is $C{P}^1$CP1. For each ${\pi }_{A^{\prime }}$πA′​, define

$${\omega }^A=i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }}\mathrm{.}$$ωA=ixAA′πA′​.

Then

$$Z^{\alpha }=({\omega }^A,{\pi }_{A^{\prime }})$$Zα=(ωA,πA′​)

is a point of $C{P}^3$CP3, and the set of all such $Z^{\alpha }$Zα for fixed $x$x forms a projective line $C{P}^1$CP1. Varying $x$x sweeps out projective twistor space. Therefore $C{P}^3$CP3 is the projectivized incidence geometry of McGucken null spheres. $\mathrm{\square }$□

Theorem 7: Null Rays Correspond to Twistor Points

A null generator of a McGucken Sphere corresponds to a point in projective twistor space.

Proof

A null generator is specified by $x$x and projective spinor ${\pi }_{A^{\prime }}$πA′​. Incidence gives

$$Z^{\alpha }=(i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }},{\pi }_{A^{\prime }})\mathrm{.}$$Zα=(ixAA′πA′​,πA′​).

Rescaling ${\pi }_{A^{\prime }}\mapsto r{\pi }_{A^{\prime }}$πA′​↦rπA′​ rescales $Z^{\alpha }\mapsto r{Z}^{\alpha }$Zα↦rZα, leaving the projective twistor point unchanged. Therefore each null generator defines one projective twistor point. $\mathrm{\square }$□

Plain-language meaning

An event emits a sphere of null directions. Projectivize those directions and the event becomes a $C{P}^1$CP1 line in twistor space. This gives a direct physical reading of Penrose’s point-line correspondence.

5. Planar Momentum Twistors

Definition 2: External McGucken Null Polygon

An external planar scattering process is represented by region momenta

$$x_0,x_1,\dots ,x_n=x_0$$x0​,x1​,…,xn​=x0​

with null edges

$$p_a=x_a-x_{a-1},p_a^2=0.$$pa​=xa​−xa−1​,pa2​=0.

Each edge is a null generator of a McGucken Sphere and factorizes as

$$p_a^{A{A}^{\prime }}={\lambda }_a^A{\tilde{\lambda }}_a^{A^{\prime }}\mathrm{.}$$paAA′​=λaA​λ~aA′​.

Definition 3: Momentum Twistor

Given the null polygon, define

$$Z_a=({\lambda }_a,{\mu }_a),{\mu }_a=x_a{\lambda }_a\mathrm{.}$$Za​=(λa​,μa​),μa​=xa​λa​.

Hodges’ momentum twistors encode planar region-momentum kinematics, with $p_i=x_i-x_{i-1}$pi​=xi​−xi−1​ and null polygon edges represented in twistor variables [8].

Theorem 8: Momentum Twistors Are Planar McGucken Incidence Data

The momentum twistor relation

$$Z_a=({\lambda }_a,x_a{\lambda }_a)$$Za​=(λa​,xa​λa​)

is the planar null-polygon specialization of McGucken incidence

$${\omega }^A=i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }}\mathrm{.}$$ωA=ixAA′πA′​.

Proof

McGucken incidence maps a spinor direction and spacetime point to a twistor:

$$({\pi }_{A^{\prime }},x)\mapsto (i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }},{\pi }_{A^{\prime }})\mathrm{.}$$(πA′​,x)↦(ixAA′πA′​,πA′​).

Momentum twistor incidence maps a planar region point and spinor direction to

$$({\lambda }_a,x_a)\mapsto ({\lambda }_a,x_a{\lambda }_a)\mathrm{.}$$(λa​,xa​)↦(λa​,xa​λa​).

Both constructions multiply a null spinor direction by the appropriate spacetime or region-spacetime coordinate to form the second twistor component. The explicit $i$i in the McGucken incidence is absorbed into the standard complex twistor convention used for momentum twistors. Therefore momentum twistors are the planar region-momentum version of McGucken twistor incidence. $\mathrm{\square }$□

6. Positive External Data

Definition 4: McGucken-Positive External Configuration

A McGucken-positive external configuration is a cyclically ordered set of projective momentum twistors

$$Z_1,\dots ,Z_n\in {\mathbb{P}}^{k+3}$$Z1​,…,Zn​∈Pk+3

such that every ordered $(k+4)$(k+4)-minor is positive:

\[ \langle Z_{a_1}\cdots Z_{a_{k+4}}\rangle>0 \quad \text{for} \quad a_1<\cdots

Theorem 9: Ordered $x_4$x4​-Phase Gives Positive External Data

Let

$${\theta }_1<{\theta }_2<\cdots <{\theta }_n$$θ1​<θ2​<⋯<θn​

be ordered $x_4$x4​-phase parameters and define $t_a=e^{{\theta }_a}$ta​=eθa​. The moment-curve representative

$$Z_a=(1,t_a,t_a^2,\dots ,t_a^{k+3})$$Za​=(1,ta​,ta2​,…,tak+3​)

has all ordered maximal minors positive.

Proof

For any ordered subset \(a_1<\cdots

\[ \det(t_{a_j}^{i-1})_{i,j=1}^{k+4} = \prod_{1\leq r

Since \(t_{a_1}<\cdots

Theorem 10: Classification of McGucken-Positive External Data

The moduli space of McGucken-positive external configurations is

$$M_{+}(k+4,n)\mathrm{/}G{L}^{+}(k+4),$$M+​(k+4,n)/GL+(k+4),

where $M_{+}(k+4,n)$M+​(k+4,n) is the space of $(k+4)\times n$(k+4)×n matrices with all ordered maximal minors positive.

Proof

Choose homogeneous representatives for the $n$n projective twistors and place them as columns of $Z$Z. Positivity of all ordered maximal minors means $Z\in M_{+}(k+4,n)$Z∈M+​(k+4,n). Multiplication by $G\in G{L}^{+}(k+4)$G∈GL+(k+4) multiplies all maximal minors by $\det G>0$detG>0, preserving positivity. Positive column rescalings also preserve positivity. Hence each McGucken-positive configuration determines a point of $M_{+}(k+4,n)\mathrm{/}G{L}^{+}(k+4)$M+​(k+4,n)/GL+(k+4).

Conversely, any $Z\in M_{+}(k+4,n)$Z∈M+​(k+4,n) defines projective twistors with positive ordered minors. These are precisely McGucken-positive external data. $\mathrm{\square }$□

7. Witten Twistor-Curve Localization

Theorem 11: Common McGucken Origin Gives Holomorphic Twistor Support

If massless external states arise from $x_4$x4​-stationary null generators of a common McGucken sphere-intersection process, then their twistor representatives lie on holomorphic support determined by the number of independent coherent $x_4$x4​-phase channels.

Proof

Massless McGucken propagation follows null generators, and null generators correspond to twistor points by Theorem 7. A single common emission origin gives a $C{P}^1$CP1 line of null directions in twistor space. Adding independent interaction channels glues additional projective null-direction components. Algebraically, this increases the degree of the holomorphic support. This matches the Witten twistor-programme pattern described in the McGucken Witten paper: MHV amplitudes localize on lines, NMHV amplitudes on conics, and higher sectors on higher-degree curves [4]. $\mathrm{\square }$□

Theorem 12: Exact Degree Convention

Let $q$q be the number of negative-helicity gluons, $\mathrm{\ell }$ℓ the loop order, and $k_{\mathrm{A}}$kA​ the amplituhedron convention with MHV $k_{\mathrm{A}}=0$kA​=0. Then the Witten twistor-curve degree is

$$d=q-1+\mathrm{\ell }=k_{\mathrm{A}}+1+\mathrm{\ell }\mathrm{.}$$d=q−1+ℓ=kA​+1+ℓ.

Proof

Witten’s twistor-string formula states

$$d=q-1+\mathrm{\ell },$$d=q−1+ℓ,

where $q$q is the number of negative-helicity gluons and $\mathrm{\ell }$ℓ is loop order [9]. In the amplituhedron convention, MHV is $k_{\mathrm{A}}=0$kA​=0, NMHV is $k_{\mathrm{A}}=1$kA​=1, and $M_{n,k}$Mn,k​ has Grassmann weight $4(k+2)$4(k+2) [5], so

$$q=k_{\mathrm{A}}+2$$q=kA​+2

Substitution gives

$$d=(k_{\mathrm{A}}+2)-1+\mathrm{\ell }=k_{\mathrm{A}}+1+\mathrm{\ell }\mathrm{.}$$d=(kA​+2)−1+ℓ=kA​+1+ℓ.

$\mathrm{\square }$□

Sector	$k_{\mathrm{A}}$kA​	$q$q	Tree degree $d$d	Support
MHV	0	2	1	Line
NMHV	1	3	2	Conic
$N^2$N2MHV	2	4	3	Cubic
$N^r$NrMHV	$r$r	$r+2$r+2	$r+1$r+1	Degree $r+1$r+1 curve
$L$L-loop $N^r$NrMHV	$r$r	$r+2$r+2	$r+1+L$r+1+L	Degree $r+1+L$r+1+L, genus $\le L$≤L

8. Positive Grassmannian from McGucken Networks

Definition 5: McGucken Intersection Network

A McGucken intersection network is a directed planar graph with:

1. $n$n ordered boundary leaves.
2. $k$k independent source channels.
3. Internal vertices representing McGucken-sphere intersections.
4. Positive edge weights

$${\alpha }_e=e^{{\rho }_e}>0,$$αe​=eρe​>0,

where ${\rho }_e$ρe​ is an additive $x_4$x4​-flux coordinate.

Definition 6: Boundary Measurement Matrix

Define

$$C_{\alpha a}=\sum _{\gamma :\alpha \to a}\prod _{e\in \gamma }{\alpha }_e,$$Cαa​=γ:α→a∑​e∈γ∏​αe​,

where $\gamma$γ runs over directed paths from source $\alpha$α to boundary leaf $a$a.

Theorem 13: McGucken Networks Define $G_{+}(k,n)$G+​(k,n)

For a planar directed McGucken network with positive edge weights and compatible boundary orientation, the boundary measurement matrix $C$C lies in $G_{+}(k,n)$G+​(k,n) on the corresponding positroid cell.

Proof

Consider an ordered minor

$${\mathrm{\Delta }}_A(C)=\det (C_{\alpha a_{\beta }})\mathrm{.}$$ΔA​(C)=det(Cαaβ​​).

Expanding by multilinearity gives a signed sum over path families:

$${\mathrm{\Delta }}_A(C)=\sum _{{\gamma }_1,\dots ,{\gamma }_k}\mathrm{sgn}({\gamma }_1,\dots ,{\gamma }_k)\prod _{\beta =1}^k\prod _{e\in {\gamma }_{\beta }}{\alpha }_e\mathrm{.}$$ΔA​(C)=γ1​,…,γk​∑​sgn(γ1​,…,γk​)β=1∏k​e∈γβ​∏​αe​.

For planar directed networks with compatible orientation, intersecting path families cancel or do not contribute to the reduced boundary measurement determinant. The surviving terms are nonintersecting path families with positive sign. Therefore

$${\mathrm{\Delta }}_A(C)=\sum _{\mathrm{\Gamma }:\text{nonintersecting}}\prod _{e\in \mathrm{\Gamma }}{\alpha }_e\mathrm{.}$$ΔA​(C)=Γ:nonintersecting∑​e∈Γ∏​αe​.

Since every ${\alpha }_e>0$αe​>0, each nonzero minor is positive. The pattern of positive and vanishing minors defines the corresponding positroid cell. This is the standard boundary-measurement relation between planar directed networks and the totally nonnegative Grassmannian [10]. $\mathrm{\square }$□

9. BCFW Bridges and Positroid Cells

Definition 7: McGucken BCFW Bridge

A McGucken BCFW bridge between adjacent boundary legs $a$a and $a+1$a+1 inserts a positive $x_4$x4​-flux channel with

$$\alpha =e^{\rho }>0$$α=eρ>0

and transforms the boundary measurement matrix by

$$c_{a+1}\mapsto c_{a+1}+(-1{)}^q\alpha c_a\mathrm{.}$$ca+1​↦ca+1​+(−1)qαca​.

It contributes the measure factor

$$\frac{d\alpha }{\alpha }\mathrm{.}$$αdα​.

The positive Grassmannian construction identifies BCFW bridges with adjacent transpositions, canonical positive coordinates, and $d\log \alpha$dlogα measures [6].

Theorem 14: Every Tree BCFW Cell Arises from a Reduced McGucken Network

Every BCFW cell used in the tree amplituhedron can be generated from the identity network by a sequence of McGucken BCFW bridges.

Proof

The positive Grassmannian construction states that reduced planar diagrams and decorated permutations can be built from the identity by bridge decompositions, with each bridge acting by an adjacent transposition and introducing a positive coordinate $\alpha$α [6]. A McGucken BCFW bridge is defined as the same adjacent-transposition operation, interpreted as an elementary positive $x_4$x4​-flux channel. Therefore the bridge sequence generating any BCFW cell also generates a reduced McGucken network with the same $C(\alpha )$C(α). $\mathrm{\square }$□

Theorem 15: Every Reduced McGucken Network Defines an Allowed Positroid Cell

Every reduced McGucken network determines a positroid cell of $G_{+}(k,n)$G+​(k,n), and equivalent reduced networks determine the same cell.

Proof

By Theorem 13, the boundary measurement matrix has nonnegative ordered minors and a definite pattern of positive and vanishing Plücker coordinates. This pattern is a positroid. The positive Grassmannian literature labels such cells by decorated permutations and identifies reduced planar diagrams related by mergers, square moves, and bubble deletion as equivalent representatives of the same on-shell form [6]. Hence every reduced McGucken network defines an allowed positroid cell, and equivalent networks define the same cell. $\mathrm{\square }$□

10. Huygens Superposition and the Amplituhedron Map

Theorem 16: Huygens Superposition Gives $Y=CZ$Y=CZ

Let $Z_a$Za​ be positive external momentum-twistor data and $C_{\alpha a}$Cαa​ the McGucken boundary measurement matrix. The internal $k$k-plane is

$$Y_{\alpha }^I=C_{\alpha a}{Z}_a^I\mathrm{.}$$YαI​=Cαa​ZaI​.

Thus

$$Y=CZ\mathrm{.}$$Y=CZ.

Proof

Huygens propagation is linear at the level of amplitudes. The total twistor in internal channel $\alpha$α is the coherent sum of all external twistors weighted by the total boundary measurement from $\alpha$α to $a$a:

$$Y_{\alpha }=\sum _a{C}_{\alpha a}{Z}_a\mathrm{.}$$Yα​=a∑​Cαa​Za​.

In components,

$$Y_{\alpha }^I=C_{\alpha a}{Z}_a^I\mathrm{.}$$YαI​=Cαa​ZaI​.

This is exactly the amplituhedron map $Y=CZ$Y=CZ [5]. $\mathrm{\square }$□

11. Canonical $d\log$dlog Forms

Theorem 17: $x_4$x4​-Flux Coordinates Generate $d\log$dlog Forms

If

$${\alpha }_i=e^{{\rho }_i}>0,$$αi​=eρi​>0,

then the translation-invariant $x_4$x4​-flux measure becomes

$$d{\rho }_i=\frac{d{\alpha }_i}{{\alpha }_i}\mathrm{.}$$dρi​=αi​dαi​​.

Therefore a cell with independent flux coordinates has form

$${\mathrm{\Omega }}_{\mathrm{\Gamma }}=\prod _i\frac{d{\alpha }_i}{{\alpha }_i}\mathrm{.}$$ΩΓ​=i∏​αi​dαi​​.

Proof

Differentiate ${\alpha }_i=e^{{\rho }_i}$αi​=eρi​:

$$d{\alpha }_i=e^{{\rho }_i}d{\rho }_i={\alpha }_{i}d{\rho }_i\mathrm{.}$$dαi​=eρi​dρi​=αi​dρi​.

Thus

$$d{\rho }_i=\frac{d{\alpha }_i}{{\alpha }_i}\mathrm{.}$$dρi​=αi​dαi​​.

Taking the product over independent coordinates gives

$$\prod _{i}d{\rho }_i=\prod _i\frac{d{\alpha }_i}{{\alpha }_i}\mathrm{.}$$i∏​dρi​=i∏​αi​dαi​​.

The amplituhedron cell form is precisely a product of $d{\alpha }_i\mathrm{/}{\alpha }_i$dαi​/αi​ over positive coordinates [5]. $\mathrm{\square }$□

Theorem 18: Pushforward Gives the Canonical Form

Let

$$\mathrm{\Phi }:\{{\alpha }_i>0\}\to Y=C(\alpha )Z$$Φ:{αi​>0}→Y=C(α)Z

be an orientation-preserving parametrization of an amplituhedron cell. Then

$${\mathrm{\Phi }}_{\ast }\left(\prod _i\frac{d{\alpha }_i}{{\alpha }_i}\right)$$Φ∗​(i∏​αi​dαi​​)

is the canonical form on that cell.

Proof

Positive geometry theory defines canonical forms by logarithmic singularities on boundaries and residues equal to canonical forms on those boundaries. It also states that orientation-preserving pushforwards of canonical forms give canonical forms of image geometries [7]. The positive coordinate domain has canonical form ${\prod }_{i}d{\alpha }_i\mathrm{/}{\alpha }_i$∏i​dαi​/αi​. Therefore the pushforward under $Y=C(\alpha )Z$Y=C(α)Z is the canonical form of the image cell. $\mathrm{\square }$□

12. Boundary Stratification, Locality, and Unitarity

Theorem 19: Residues Are Boundary Network Forms

The residue of

$$\mathrm{\Omega }=\frac{d{\alpha }_j}{{\alpha }_j}\wedge \prod _{i\ne j}\frac{d{\alpha }_i}{{\alpha }_i}$$Ω=αj​dαj​​∧i=j∏​αi​dαi​​

at ${\alpha }_j=0$αj​=0 is the canonical form of the boundary network.

Proof

Taking the residue gives

$${\mathrm{Res}}_{{\alpha }_j=0}\mathrm{\Omega }=\prod _{i\ne j}\frac{d{\alpha }_i}{{\alpha }_i}\mathrm{.}$$Resαj​=0​Ω=i=j∏​αi​dαi​​.

The remaining variables parametrize the network with the $j$j-th channel deleted or contracted. This is the boundary network. Positive-geometry canonical forms are recursively characterized by exactly this residue property [7]. $\mathrm{\square }$□

Theorem 20: Locality Boundaries Are Null McGucken-Sphere Separations

The physical pole

$$⟨Y_1\cdots Y_k{Z}_i{Z}_{i+1}{Z}_j{Z}_{j+1}⟩=0$$⟨Y1​⋯Yk​Zi​Zi+1​Zj​Zj+1​⟩=0

is the twistor expression of a null separation between region points $x_i$xi​ and $x_j$xj​.

Proof

In momentum-twistor geometry, adjacent pairs $(Z_i,Z_{i+1})$(Zi​,Zi+1​) encode the region point $x_i$xi​, and brackets involving $(Z_i,Z_{i+1},Z_j,Z_{j+1})$(Zi​,Zi+1​,Zj​,Zj+1​) encode region-space separations. Hodges’ construction relates such twistor brackets to region-momentum invariants [8]. In McGucken geometry, null separation means two region points are connected by a shared null sphere boundary. Therefore the amplituhedron locality boundary is the momentum-twistor image of a McGucken null-sphere separation. $\mathrm{\square }$□

Theorem 21: Unitarity Cuts Open Closed $x_4$x4​-Chains

Loop unitarity cuts correspond to opening closed internal $x_4$x4​-phase chains into on-shell boundary channels.

Proof

In perturbative QFT, a unitarity cut places internal propagators on shell and replaces a loop contribution by products of lower on-shell amplitudes. In the McGucken interpretation, loops are closed $x_4$x4​-phase chains. Cutting the loop replaces the closure condition by two on-shell endpoints carrying matched phase-flow data. Hence unitarity cuts are opened closed $x_4$x4​-chains. $\mathrm{\square }$□

13. Loop Amplituhedron and $G_{+}(k,n;L)$G+​(k,n;L)

Definition 8: Closed $x_4$x4​-Chain Boundary Measurement

For loop $i$i, cut the closed $x_4$x4​-chain into two boundary channels $A_i$Ai​ and $B_i$Bi​, and define

$$D_{(i),1a}=\sum _{\gamma :A_i\to a}\prod _{e\in \gamma }{\alpha }_e,D_{(i),2a}=\sum _{\gamma :B_i\to a}\prod _{e\in \gamma }{\alpha }_e\mathrm{.}$$D(i),1a​=γ:Ai​→a∑​e∈γ∏​αe​,D(i),2a​=γ:Bi​→a∑​e∈γ∏​αe​.

Together,

$$D_{(i)}=\left(\begin{array}{c}{D}_{(i),1a}\\ D_{(i),2a}\end{array}\right)\mathrm{.}$$D(i)​=(D(i),1a​D(i),2a​​).

Theorem 22: McGucken Loop Positivity Equals $G_{+}(k,n;L)$G+​(k,n;L)

The McGucken loop-positive space equals the loop positive space $G_{+}(k,n;L)$G+​(k,n;L).

Proof

The loop amplituhedron uses a $k$k-plane $C$C and $L$L two-planes $D_{(i)}$D(i)​ in the complement of $C$C, with positivity of all ordered stacked minors of

​D(i1​)​⋮D(il​)​C​​

for all subsets of loop indices [5]. The McGucken construction defines exactly the same algebraic data and inequalities, with $D_{(i)}$D(i)​ interpreted as boundary measurements of cut-open closed $x_4$x4​-chains. Hence the spaces coincide. $\mathrm{\square }$□

Theorem 23: Full Loop Amplituhedron Map

The full McGucken loop map is

$$Y_{\alpha }^I=C_{\alpha a}{Z}_a^I,{\mathcal{L}}_{(i),\gamma }^I=D_{(i),\gamma a}{Z}_a^I\mathrm{.}$$YαI​=Cαa​ZaI​,L(i),γI​=D(i),γa​ZaI​.

Proof

The full amplituhedron map sends tree data by $Y=CZ$Y=CZ and loop data by ${\mathcal{L}}_{(i)}=D_{(i)}Z$L(i)​=D(i)​Z [5]. In the McGucken picture, the rows of $C$C are open tree-channel boundary measurements, while the rows of $D_{(i)}$D(i)​ are cut-open loop-chain boundary measurements. Huygens superposition applies to both, giving the stated map. $\mathrm{\square }$□

14. Yangian Invariance

Theorem 24: Yangian Invariance from Dual McGucken Conformal Symmetry

If the McGucken null-sphere construction is conformally invariant and the planar region-momentum null polygon inherits dual conformal invariance, then the induced positive-Grassmannian form is Yangian invariant.

Proof

Ordinary conformal transformations preserve null cones and therefore preserve McGucken sphere incidence. Dual conformal transformations act on the region-momentum polygon $x_0,\dots ,x_n$x0​,…,xn​, whose edges are null momenta. Momentum twistors are designed to make this dual conformal structure natural [8].

The McGucken-to-Grassmannian map uses only incidence, cyclic order, positive path weights, and projective superposition:

$$Z_a=({\lambda }_a,x_a{\lambda }_a),C_{\alpha a}=\sum _{\gamma :\alpha \to a}\prod _{e\in \gamma }{\alpha }_e,Y=CZ\mathrm{.}$$Za​=(λa​,xa​λa​),Cαa​=γ:α→a∑​e∈γ∏​αe​,Y=CZ.

The $d\log$dlog measure is invariant under positive multiplicative rescalings of the flux variables. The positive Grassmannian literature identifies Yangian invariance with diffeomorphisms of $G(k,n)$G(k,n) preserving the positive structure [6]. Therefore the induced McGucken positive-Grassmannian form carries the Yangian invariance generated by ordinary plus dual conformal symmetry. $\mathrm{\square }$□

15. Operator-Algebraic Microcausality from McGucken Sphere Causality

One remaining structural problem is to translate the McGucken-sphere account of causal propagation into the operator-algebraic language of local quantum physics. In standard algebraic quantum field theory, local observables are assigned to spacetime regions by a net of algebras, and microcausality is encoded by the commutativity of algebras assigned to spacelike-separated regions [11]. In the Wightman formulation, microcausality appears as local commutativity or graded local commutativity of smeared fields with spacelike-separated supports [12].

The McGucken construction suggests a geometric origin for this algebraic condition. If the McGucken sphere is the foundational atom of spacetime, then causal influence is carried only along the null incidence structure generated by these spheres. Two regions whose McGucken causal completions do not intersect cannot exchange $x_4$x4​-Huygens phase-flow. Therefore the algebras generated by observables localized in those regions must commute, or graded-commute, when embedded into the quasilocal algebra.

Definition 9: McGucken Causal Completion

For an open bounded spacetime region $O$O, define its McGucken causal completion by

$$O_M^{\diamond }=\bigcup _{p\in O}({\mathrm{\Sigma }}_{+}(p)\cup {\mathrm{\Sigma }}_{-}(p)),$$OM⋄​=p∈O⋃​(Σ+​(p)∪Σ−​(p)),

where ${\mathrm{\Sigma }}_{+}(p)$Σ+​(p) and ${\mathrm{\Sigma }}_{-}(p)$Σ−​(p) are the future and past McGucken spheres centered at $p$p. Equivalently, $O_M^{\diamond }$OM⋄​ is the smallest region containing $O$O and all events connected to $O$O by McGucken null-sphere incidence.

Definition 10: McGucken Local Net

A McGucken local net is an assignment

$$O⟼{\mathcal{A}}_M(O)$$O⟼AM​(O)

from bounded open spacetime regions to unital $\ast$∗-algebras, $C^{\ast }$C∗-algebras, or von Neumann algebras on a common Hilbert space $\mathcal{H}$H, satisfying:

1. Isotony:

$$O_1\subset O_2⟹{\mathcal{A}}_M(O_1)\subset {\mathcal{A}}_M(O_2)\mathrm{.}$$O1​⊂O2​⟹AM​(O1​)⊂AM​(O2​).

1. McGucken causal covariance:

$$g\mathrm{\Sigma }(p)=\mathrm{\Sigma }(gp)⟹U(g){\mathcal{A}}_M(O)U(g{)}^{-1}={\mathcal{A}}_M(gO),$$gΣ(p)=Σ(gp)⟹U(g)AM​(O)U(g)−1=AM​(gO),

for every transformation $g$g preserving McGucken null-sphere incidence.

1. McGucken causal locality:

$${O_1}_M^{\diamond }\cap {O_2}_M^{\diamond }=\mathrm{\varnothing }⟹[{\mathcal{A}}_M(O_1),{\mathcal{A}}_M(O_2){]}_{\mathrm{g}\mathrm{r}}=0.$$O1​M⋄​∩O2​M⋄​=∅⟹[AM​(O1​),AM​(O2​)]gr​=0.

Here $[\cdot ,\cdot {]}_{\mathrm{g}\mathrm{r}}$[⋅,⋅]gr​ is the graded commutator, reducing to the ordinary commutator for bosonic observables.

Theorem 26: McGucken Causal Locality Implies Algebraic Microcausality

Let $O_1$O1​ and $O_2$O2​ be bounded open regions. Suppose no McGucken sphere generated from $O_1$O1​ intersects $O_2$O2​, and no McGucken sphere generated from $O_2$O2​ intersects $O_1$O1​. Then the associated local algebras commute, or graded-commute:

$$[{\mathcal{A}}_M(O_1),{\mathcal{A}}_M(O_2){]}_{\mathrm{g}\mathrm{r}}=0.$$[AM​(O1​),AM​(O2​)]gr​=0.

Proof

By hypothesis,

$${O_1}_M^{\diamond }\cap {O_2}_M^{\diamond }=\mathrm{\varnothing }\mathrm{.}$$O1​M⋄​∩O2​M⋄​=∅.

The McGucken sphere is the primitive carrier of causal incidence. Therefore an observable localized in $O_1$O1​ can influence another observable only through an $x_4$x4​-phase-flow chain lying in ${O_1}_M^{\diamond }$O1​M⋄​. Similarly, an observable localized in $O_2$O2​ can influence another observable only through a chain lying in ${O_2}_M^{\diamond }$O2​M⋄​. Since the two causal completions are disjoint, there exists no McGucken incidence chain joining the two regions.

Let $A\in {\mathcal{A}}_M(O_1)$A∈AM​(O1​) and $B\in {\mathcal{A}}_M(O_2)$B∈AM​(O2​). The operational content of $A$A is exhausted by operations supported inside ${O_1}_M^{\diamond }$O1​M⋄​, and the operational content of $B$B is exhausted by operations supported inside ${O_2}_M^{\diamond }$O2​M⋄​. Since these regions have no common McGucken incidence channel, their order of operation is unobservable. Hence

$$AB=(-1{)}^{\mathrm{\mid }A\mathrm{\mid }\mathrm{\mid }B\mathrm{\mid }}BA,$$AB=(−1)∣A∣∣B∣BA,

which is precisely

$$[A,B{]}_{\mathrm{g}\mathrm{r}}=0.$$[A,B]gr​=0.

Since $A$A and $B$B were arbitrary, the algebras graded-commute. $\mathrm{\square }$□

Corollary 6: Standard Spacelike Microcausality

If $O_1$O1​ and $O_2$O2​ are spacelike separated in the metric induced by $x_4=ict$x4​=ict, then

$$[{\mathcal{A}}_M(O_1),{\mathcal{A}}_M(O_2){]}_{\mathrm{g}\mathrm{r}}=0.$$[AM​(O1​),AM​(O2​)]gr​=0.

Proof

By Theorem 1, $x_4=ict$x4​=ict induces the Minkowski interval. By Theorem 2, McGucken spheres are the null cones of that interval. Spacelike separation means no future or past null cone from $O_1$O1​ reaches $O_2$O2​, and no future or past null cone from $O_2$O2​ reaches $O_1$O1​. Therefore

$${O_1}_M^{\diamond }\cap {O_2}_M^{\diamond }=\mathrm{\varnothing },$$O1​M⋄​∩O2​M⋄​=∅,

and Theorem 26 gives the result. $\mathrm{\square }$□

Theorem 27: Smeared-Field Microcausality

Let $\mathrm{\Phi }(f)$Φ(f) and $\mathrm{\Psi }(g)$Ψ(g) be smeared fields affiliated with ${\mathcal{A}}_M(O_f)$AM​(Of​) and ${\mathcal{A}}_M(O_g)$AM​(Og​), where

$$\mathrm{supp}(f)\subset O_f,\mathrm{supp}(g)\subset O_g\mathrm{.}$$supp(f)⊂Of​,supp(g)⊂Og​.

If $O_f$Of​ and $O_g$Og​ are McGucken-spacelike separated, then

$$[\mathrm{\Phi }(f),\mathrm{\Psi }(g){]}_{\mathrm{g}\mathrm{r}}=0.$$[Φ(f),Ψ(g)]gr​=0.

Proof

Because $\mathrm{\Phi }(f)$Φ(f) is affiliated with ${\mathcal{A}}_M(O_f)$AM​(Of​) and $\mathrm{\Psi }(g)$Ψ(g) is affiliated with ${\mathcal{A}}_M(O_g)$AM​(Og​), their commutator is governed by the commutator of the corresponding local algebras. McGucken-spacelike separation gives

$${O_f}_M^{\diamond }\cap {O_g}_M^{\diamond }=\mathrm{\varnothing }\mathrm{.}$$Of​M⋄​∩Og​M⋄​=∅.

By Theorem 26,

$$[{\mathcal{A}}_M(O_f),{\mathcal{A}}_M(O_g){]}_{\mathrm{g}\mathrm{r}}=0.$$[AM​(Of​),AM​(Og​)]gr​=0.

Therefore every pair of affiliated smeared fields graded-commutes:

$$[\mathrm{\Phi }(f),\mathrm{\Psi }(g){]}_{\mathrm{g}\mathrm{r}}=0.$$[Φ(f),Ψ(g)]gr​=0.

This is the Wightman local-commutativity condition expressed in McGucken-sphere language. $\mathrm{\square }$□

Proposition 2: Causal Completion as Primitive Algebraic Localization

The natural localization region for a McGucken observable is not merely the coordinate support $O$O, but its McGucken causal completion $O_M^{\diamond }$OM⋄​.

Proof

An observable localized in $O$O can be prepared, propagated, and detected only through $x_4$x4​-Huygens phase-flow generated by McGucken spheres centered in $O$O. Hence its full operational support includes all null incidences accessible from $O$O, namely $O_M^{\diamond }$OM⋄​. If two coordinate regions overlap only after causal completion, then their observables may fail to commute because the overlap represents a shared $x_4$x4​-incidence channel. If their causal completions remain disjoint, no such channel exists, and microcausality follows by Theorem 26. $\mathrm{\square }$□

Plain-Language Explanation

In ordinary quantum field theory, microcausality is often stated as a rule: operators at spacelike separation commute. The McGucken construction explains why this should be true. Operators fail to commute only when their corresponding physical operations can influence one another. But influence propagates through McGucken spheres. Therefore if two regions cannot be connected by any McGucken sphere or chain of McGucken-sphere intersections, their operators must commute.

The algebraic translation is therefore:

$$\text{no shared McGucken sphere incidence}⟹\text{commuting local algebras}\mathrm{.}$$no shared McGucken sphere incidence⟹commuting local algebras.

This turns microcausality from an added axiom into the operator-algebraic shadow of the McGucken sphere as the foundational atom of spacetime.

16. Toward a McGucken-Informed Gravitational Twistor String for Einstein Gravity

The second remaining structural problem is to extend the McGucken-twistor-amplituhedron chain from gauge-theoretic amplitudes to full Einstein gravity. Standard twistor-string theory began with gauge theory and conformal supergravity [9]. Subsequent work developed twistor-string or twistor-inspired formulae for Einstein supergravity tree amplitudes, including Adamo-Mason constructions, Cachazo-Skinner rational-curve formulae, Cachazo-Mason-Skinner Grassmannian formulations, Skinner’s $N=8$N=8 twistor string, and ambitwistor-string formulations of gravitational scattering [13–18].

The McGucken Principle adds a physical interpretation to this line of work. Since the McGucken sphere is the foundational atom of spacetime, gravity should not be imposed as curvature of a pre-existing manifold alone. Rather, gravitational geometry should arise from deformations of the McGucken-sphere incidence relation itself. In twistor language, this means deforming the complex structure, contact structure, or infinity-twistor data that encode null incidence.

Definition 11: McGucken Gravitational Twistor Data

A McGucken gravitational twistor datum is a tuple

$${\mathfrak{G}}_M=({\mathbb{P}\mathbb{T}}_M,{\bar{\mathrm{\partial }}}_h,I_M,{\mathrm{\Omega }}_M,{\mathcal{L}}_M),$$GM​=(PTM​,∂ˉh​,IM​,ΩM​,LM​),

where:

1. ${\mathbb{P}\mathbb{T}}_M$PTM​ is the twistor space generated by projectivized McGucken-sphere null generators.
2. ${\bar{\mathrm{\partial }}}_h=\bar{\mathrm{\partial }}+h$∂ˉh​=∂ˉ+h is a deformation of the complex structure of twistor space.
3. $I_M$IM​ is a McGucken infinity-twistor or Poisson/contact datum selecting Einstein rather than conformal-gravity degrees of freedom.
4. ${\mathrm{\Omega }}_M$ΩM​ is the holomorphic volume or contact measure induced by $x_4$x4​-phase flux.
5. ${\mathcal{L}}_M$LM​ is the worldsheet line bundle whose degree records the McGucken holomorphic-curve sector.

Definition 12: McGucken Gravitational Twistor-String Action

A minimal McGucken-informed gravitational twistor-string action has the schematic form

$$S_M={\int }_{\mathrm{\Sigma }}{Y}_I{\bar{\mathrm{\partial }}}_h{Z}^I+S_{\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{v}}[Z,Y;I_M,{\mathrm{\Omega }}_M]+S_{x_4}[Z,Y;\rho ],$$SM​=∫Σ​YI​∂ˉh​ZI+Sgrav​[Z,Y;IM​,ΩM​]+Sx4​​[Z,Y;ρ],

where $Z:\mathrm{\Sigma }\to {\mathbb{P}\mathbb{T}}_M$Z:Σ→PTM​ is a holomorphic map from the worldsheet into McGucken twistor space, $Y$Y is its conjugate worldsheet field, $S_{\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{v}}$Sgrav​ imposes Einstein-gravity vertex structure, and $S_{x_4}$Sx4​​ imposes the McGucken phase-flow constraint

$$d\rho =\frac{d\alpha }{\alpha },\frac{d{x}_4}{dt}=ic\mathrm{.}$$dρ=αdα​,dtdx4​​=ic.

The role of $S_{x_4}$Sx4​​ is to ensure that the worldsheet counts only those holomorphic curves compatible with coherent McGucken-sphere Huygens flow.

Theorem 28: Einstein Gravity as Deformation of McGucken-Sphere Incidence

If gravitational curvature is represented by a deformation of McGucken null-sphere incidence, then the induced twistor data are described by a deformation

$$\bar{\mathrm{\partial }}⟼{\bar{\mathrm{\partial }}}_h=\bar{\mathrm{\partial }}+h$$∂ˉ⟼∂ˉh​=∂ˉ+h

together with a McGucken infinity-twistor datum $I_M$IM​ selecting an Einstein scale inside conformal twistor geometry.

Proof

In flat McGucken geometry, a spacetime point $x$x corresponds to a twistor line $C{P}_x^1$CPx1​ by the incidence relation

$${\omega }^A=i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }}\mathrm{.}$$ωA=ixAA′πA′​.

This incidence relation is generated by the null directions of the McGucken sphere centered at $x$x. A gravitational field changes the relation between neighboring null cones. In McGucken language, this means that the family of McGucken spheres no longer has flat incidence relations. In twistor language, changing the family of incidence lines is equivalent to deforming the complex structure of twistor space:

$$\bar{\mathrm{\partial }}\to {\bar{\mathrm{\partial }}}_h\mathrm{.}$$∂ˉ→∂ˉh​.

However, a complex-structure deformation by itself naturally captures conformal gravitational data. To select Einstein gravity, one must specify the additional structure that fixes a representative metric in the conformal class. Twistor constructions do this through infinity-twistor, Poisson, or contact data. Therefore the McGucken gravitational datum must include $I_M$IM​, the $x_4$x4​-induced structure selecting the Einstein scale.

Thus Einstein gravity is represented not merely by arbitrary deformation of twistor space, but by deformation of McGucken-sphere incidence plus the McGucken infinity-twistor datum that selects the Einstein metric. $\mathrm{\square }$□

Theorem 29: McGucken Graviton Vertex Operators

In a McGucken gravitational twistor string, graviton vertex operators correspond to infinitesimal deformations of McGucken-sphere incidence:

$$V_h={\int }_{\mathrm{\Sigma }}{h}_I(Z)\bar{\mathrm{\partial }}{Z}^I,$$Vh​=∫Σ​hI​(Z)∂ˉZI,

with the Einstein restriction implemented by $I_M$IM​.

Proof

A vertex operator represents an infinitesimal deformation of the worldsheet action. Since the worldsheet map $Z:\mathrm{\Sigma }\to {\mathbb{P}\mathbb{T}}_M$Z:Σ→PTM​ records holomorphic families of McGucken-sphere null generators, a deformation of the twistor complex structure changes the allowed incidence relation among those generators. Therefore an infinitesimal deformation $h$h enters the action through

$$\bar{\mathrm{\partial }}\to \bar{\mathrm{\partial }}+h,$$∂ˉ→∂ˉ+h,

producing the integrated insertion

$$V_h={\int }_{\mathrm{\Sigma }}{h}_I(Z)\bar{\mathrm{\partial }}{Z}^I\mathrm{.}$$Vh​=∫Σ​hI​(Z)∂ˉZI.

This is the worldsheet image of an infinitesimal gravitational perturbation of the McGucken-sphere incidence network. The Einstein restriction is not automatic because unconstrained twistor deformations correspond to conformal gravitational data. Imposing $I_M$IM​ restricts the allowed deformations to those compatible with an Einstein scale. Hence $V_h$Vh​ represents an Einstein graviton precisely when $h$h is constrained by the McGucken infinity-twistor datum. $\mathrm{\square }$□

Theorem 30: McGucken Rational-Curve Formula for Tree Gravity Amplitudes

At tree level, a McGucken-informed gravitational twistor string localizes $n$n-graviton amplitudes on holomorphic maps

$$Z:{\mathbb{C}\mathbb{P}}^1\to {\mathbb{P}\mathbb{T}}_M$$Z:CP1→PTM​

whose degree is fixed by the helicity sector and whose measure is weighted by the McGucken $x_4$x4​-phase-flow determinant.

Schematically,

$${\mathcal{M}}_{n,d}^{\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{v}}={\int }_{{\mathcal{M}}_{0,n}({\mathbb{P}\mathbb{T}}_M,d)}d{\mu }_M\prod _{i=1}^n{V}_i^{\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{v}},$$Mn,dgrav​=∫M0,n​(PTM​,d)​dμM​i=1∏n​Vigrav​,

where

$$d{\mu }_M=\det {}_M^{\prime }(H)\det {}_M^{\prime }(\tilde{H})\prod _e\frac{d{\alpha }_e}{{\alpha }_e}\mathrm{.}$$dμM​=detM′​(H)detM′​(H)e∏​αe​dαe​​.

Here $H$H and $\tilde{H}$H are the McGucken-weighted Hodges-type matrices for the two gravitational helicity sectors, and the $d{\alpha }_e\mathrm{/}{\alpha }_e$dαe​/αe​ factor is the $x_4$x4​-phase-flow measure.

Proof Sketch

Known gravitational twistor formulae express tree-level gravity amplitudes in terms of rational maps into twistor space, Hodges-type determinant factors, and Grassmannian or worldsheet moduli [13–17]. In the McGucken interpretation, each insertion $V_i^{\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{v}}$Vigrav​ is a deformation of the McGucken-sphere incidence structure associated with the $i$i-th external graviton. The holomorphic map $Z:{\mathbb{C}\mathbb{P}}^1\to {\mathbb{P}\mathbb{T}}_M$Z:CP1→PTM​ records coherent null-generator transport through the McGucken twistor space.

The gravitational determinant factors arise because gravity couples to the geometry of incidence itself rather than to a color-ordered gauge bundle. In McGucken language, this means the amplitude weights not only paths of $x_4$x4​-phase transport but also deformations of the incidence metric relating neighboring McGucken spheres. Hence the Yang-Mills Parke-Taylor/current-algebra factor is replaced by Hodges-type determinants or their higher-degree analogues.

The $x_4$x4​-phase-flow coordinates satisfy

$$d{\rho }_e=\frac{d{\alpha }_e}{{\alpha }_e},$$dρe​=αe​dαe​​,

so the natural positive measure over McGucken incidence channels is

$$\prod _e\frac{d{\alpha }_e}{{\alpha }_e}\mathrm{.}$$e∏​αe​dαe​​.

Combining the gravitational determinant weight with this McGucken phase-flow measure gives the stated schematic formula. $\mathrm{\square }$□

Theorem 31: Avoidance of Pure Conformal-Gravity Contamination

A McGucken gravitational twistor string describes Einstein gravity rather than pure conformal gravity only if the worldsheet theory includes a constraint selecting an Einstein scale:

$$I_M\ne 0,\mathrm{\nabla }{I}_M=0\text{or its twistor-equivalent holomorphic constraint}\mathrm{.}$$IM​=0,∇IM​=0or its twistor-equivalent holomorphic constraint.

Proof

Twistor complex-structure deformation naturally encodes conformal geometry because null cones determine a conformal class, not a unique metric. Pure conformal gravity therefore appears when the theory permits arbitrary conformal deformations of twistor space. Einstein gravity requires more: it requires a distinguished metric representative or, equivalently, a structure fixing the conformal scale.

In twistor geometry, this role is played by infinity-twistor, Poisson, or contact data. In the McGucken framework, the same role is played by $I_M$IM​, because $x_4=ict$x4​=ict fixes a physically normalized null expansion speed and therefore selects the Einstein-scale representative compatible with the invariant light-speed expansion of the McGucken sphere.

If $I_M$IM​ is absent, the worldsheet sums over conformal-gravity modes. If $I_M$IM​ is present and covariantly preserved, the allowed deformations are restricted to the Einstein sector. Therefore an Einstein gravitational twistor string requires the McGucken infinity-twistor constraint. $\mathrm{\square }$□

Research Programme: From McGucken Spheres to Full Einstein Gravity

The resulting programme is:

$$\text{McGucken sphere}\to \text{curved null-sphere incidence}\to \text{deformed twistor space}\to \text{Einstein-scale constraint }{I}_M\to \text{graviton vertex operators}\to \text{rational-curve gravity amplitudes}\to \text{full Einstein dynamics}\mathrm{.}$$McGucken sphere→curved null-sphere incidence→deformed twistor space→Einstein-scale constraint IM​→graviton vertex operators→rational-curve gravity amplitudes→full Einstein dynamics.

The central mathematical task is to prove that the McGucken gravitational twistor-string path integral has the Einstein-Hilbert action, rather than the conformal-gravity action, as its spacetime field-theory limit:

$$S_{\mathrm{e}\mathrm{f}\mathrm{f}}[{\mathfrak{G}}_M]=\frac{1}{16\pi G}{\int }_M\sqrt{-g}(R-2\mathrm{\Lambda })d^{4}x+O(\mathrm{\hslash })\mathrm{.}$$Seff​[GM​]=16πG1​∫M​−g​(R−2Λ)d4x+O(ℏ).

This requires four formal steps:

1. Construct ${\mathbb{P}\mathbb{T}}_M$PTM​ for curved McGucken-sphere incidence.
2. Prove that $I_M$IM​ selects Einstein metrics inside the conformal class.
3. Derive graviton vertex operators from infinitesimal McGucken incidence deformations.
4. Show that the worldsheet correlation functions reproduce Einstein gravity amplitudes and, in the classical limit, the Einstein-Hilbert equations.

Plain-Language Explanation

Gauge theory amplitudes describe particles moving through a fixed causal background. Gravity is deeper because gravity changes the causal background itself. In McGucken language, gravity must therefore be a deformation of the McGucken spheres, not merely a field riding on top of them.

Twistor theory is already built from null rays. If gravity bends the null rays, then gravity deforms twistor space. The McGucken Principle adds the physical mechanism: the null rays are the projectivized generators of expanding McGucken spheres. Therefore a gravitational twistor string should be a string theory of deformed McGucken-sphere incidence.

The crucial point is to avoid falling back into conformal gravity. Null cones alone determine only conformal geometry. Einstein gravity requires a scale. The McGucken Principle supplies a natural scale through the invariant expansion law $d{x}_4\mathrm{/}dt=ic$dx4​/dt=ic. This is why the McGucken gravitational twistor string must include $I_M$IM​: the McGucken infinity-twistor or scale datum that selects full Einstein gravity.

17. Complete Derivation Chain

The full construction is:

$$\boxed{{\displaystyle d{x}_4\mathrm{/}dt=ic}}$$dx4​/dt=ic​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle {\mathrm{\Sigma }}_{+}(p)=\text{McGucken Sphere}=\text{future null cone}}}$$Σ+​(p)=McGucken Sphere=future null cone​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle {\omega }^A=i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }}}}$$ωA=ixAA′πA′​​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle C{P}^1\text{ incidence lines in }C{P}^3}}$$CP1 incidence lines in CP3​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle Z_a=({\lambda }_a,x_a{\lambda }_a)}}$$Za​=(λa​,xa​λa​)​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle Z\in M_{+}(k+4,n)}}$$Z∈M+​(k+4,n)​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle C_{\alpha a}=\sum _{\gamma :\alpha \to a}\prod _{e\in \gamma }{e}^{{\rho }_e}\in G_{+}(k,n)}}$$Cαa​=γ:α→a∑​e∈γ∏​eρe​∈G+​(k,n)​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle Y=CZ}}$$Y=CZ​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle D_{(i)}=\text{closed }{x}_4\text{-chain boundary measurement}}}$$D(i)​=closed x4​-chain boundary measurement​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle (C,D_{(i)})\in G_{+}(k,n;L)}}$$(C,D(i)​)∈G+​(k,n;L)​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle {\mathcal{L}}_{(i)}=D_{(i)}Z}}$$L(i)​=D(i)​Z​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle \mathrm{\Omega }={\mathrm{\Phi }}_{\ast }\prod _i\frac{d{\alpha }_i}{{\alpha }_i}}}$$Ω=Φ∗​i∏​αi​dαi​​​

$$\Downarrow$$⇓

$$\boxed{{\displaystyle \text{amplituhedron canonical form}}}\mathrm{.}$$amplituhedron canonical form​.

18. Twistor-Amplituhedron Descent from the McGucken Sphere as the Foundational Atom

The preceding sections establish the individual maps from the McGucken Principle to null geometry, from null geometry to twistor incidence, from twistor incidence to momentum-twistor kinematics, from positive $x_4$x4​-flow networks to the positive Grassmannian, and from the positive Grassmannian to the amplituhedron map. This section records the complete descent in one theorem and makes explicit the central claim: twistors and the amplituhedron are not external mathematical structures imposed upon the McGucken Principle, but successive projective and positive-geometric consequences of the McGucken sphere understood as the foundational atom of spacetime.

More strongly, the McGucken sphere is not only the foundational geometric object from which twistors and the amplituhedron are constructed; it is the foundational atom of spacetime itself. Twistor space is obtained by projectivizing its null generators, while the amplituhedron is obtained by organizing many such McGucken-sphere incidence data into positive Grassmannian networks and mapping them by $Y=CZ$Y=CZ.

Conceptual Hierarchy

The hierarchy is:

$$\text{McGucken sphere as foundational atom}\to \text{null generators}\to \text{twistors}\to \text{momentum twistors}\to \text{positive external data}\to G_{+}(k,n)\to Y=CZ\to \text{amplituhedron}\mathrm{.}$$McGucken sphere as foundational atom→null generators→twistors→momentum twistors→positive external data→G+​(k,n)→Y=CZ→amplituhedron.

Equivalently:

$$\boxed{{\displaystyle \text{McGucken sphere as foundational atom}\to C{P}^1\text{ incidence lines}\to C{P}^3\text{ twistor space}\to \text{momentum-twistor polygons}\to \text{positive Grassmannian networks}\to \text{amplituhedron}}}\mathrm{.}$$McGucken sphere as foundational atom→CP1 incidence lines→CP3 twistor space→momentum-twistor polygons→positive Grassmannian networks→amplituhedron​.

The distinction between twistors and the amplituhedron is important. Twistor space descends directly from the projectivized null-generator geometry of a single McGucken sphere, the foundational atom of spacetime. The amplituhedron descends one structural level later: it is the positive-geometric image of many ordered McGucken-sphere incidence data after twistorization, positivity, Grassmannian boundary measurement, and the Huygens superposition map.

Thus the most precise statement is:

Twistor space is the projectivized null-generator geometry of the McGucken sphere, the foundational atom of spacetime, while the amplituhedron is the positive-geometric image of ordered McGucken-sphere intersection networks in twistor space.

Standard Objects and McGucken Interpretation

Standard amplituhedron object	McGucken interpretation
Null external momentum	Relation between neighboring McGucken-sphere centers
Momentum twistor $Z_a$Za​	Twistorized McGucken null-incidence datum
Ordered external data $Z_1,\dots ,Z_n$Z1​,…,Zn​	Ordered family of McGucken-sphere null generators
Positive Grassmannian matrix $C$C	Boundary-measurement matrix of positive $x_4$x4​-directed Huygens flow
BCFW bridge	Elementary McGucken-sphere intersection/transfer channel
Positroid cell	Reduced McGucken intersection network
$Y=CZ$Y=CZ	Huygens superposition of twistorized sphere data
Canonical $d\log$dlog form	Additive $x_4$x4​-phase/flux measure pushed forward to positive geometry
Amplituhedron	Positive-geometric image of all allowed ordered McGucken intersection data
Foundational spacetime atom	The McGucken sphere as the primitive null-incidence unit generating the above hierarchy

Theorem 25: Twistor-Amplituhedron Descent from the McGucken Sphere as the Foundational Atom of Spacetime

Let ${\mathrm{\Sigma }}_p$Σp​ denote the McGucken sphere centered at event $p$p, defined by the null condition induced by $d{x}_4\mathrm{/}dt=ic$dx4​/dt=ic. Treat ${\mathrm{\Sigma }}_p$Σp​ as the foundational atom of spacetime: the primitive causal-incidence unit associated with the event $p$p. Then:

1. The projective null-generator space of ${\mathrm{\Sigma }}_p$Σp​ is the twistor incidence line $C{P}_p^1\subset C{P}^3$CPp1​⊂CP3.
2. An ordered planar family of McGucken spheres $\{{\mathrm{\Sigma }}_{p_a}{\}}_{a=1}^n${Σpa​​}a=1n​ determines ordered momentum-twistor data $Z_a$Za​.
3. If the corresponding $x_4$x4​-phase ordering is positive, the data define $Z\in M_{+}(k+4,n)$Z∈M+​(k+4,n).
4. Reduced positive McGucken intersection networks define boundary-measurement matrices $C\in G_{+}(k,n)$C∈G+​(k,n).
5. The Huygens superposition map sends this data to

$$Y=CZ\mathrm{.}$$Y=CZ.

Therefore the tree amplituhedron is the positive-geometric image of ordered McGucken-sphere intersection data built from the foundational spacetime atom ${\mathrm{\Sigma }}_p$Σp​.

Proof

By the McGucken Principle,

$$\frac{d{x}_4}{dt}=ic,$$dtdx4​​=ic,

integration gives $x_4=ict$x4​=ict, up to an additive constant. Substitution into the four-dimensional Euclideanized interval gives

$$d{s}^2=d{x}^2+d{y}^2+d{z}^2+d{x}_4^2=d{x}^2+d{y}^2+d{z}^2-c^{2}d{t}^2\mathrm{.}$$ds2=dx2+dy2+dz2+dx42​=dx2+dy2+dz2−c2dt2.

Therefore $d{s}^2=0$ds2=0 gives the null-sphere condition

$$d{x}^2+d{y}^2+d{z}^2=c^{2}d{t}^2\mathrm{.}$$dx2+dy2+dz2=c2dt2.

Thus each spacetime event $p$p generates an expanding null McGucken sphere ${\mathrm{\Sigma }}_p$Σp​. This is why ${\mathrm{\Sigma }}_p$Σp​ is the foundational atom of spacetime in the present construction: it is the event-level generator of null incidence. Its null generators are labeled by projective spinors ${\pi }_{A^{\prime }}$πA′​. The corresponding twistor incidence relation is

$${\omega }^A=i{p}^{A{A}^{\prime }}{\pi }_{A^{\prime }}\mathrm{.}$$ωA=ipAA′πA′​.

For fixed $p$p, varying ${\pi }_{A^{\prime }}$πA′​ over projective spinor space gives a projective line $C{P}_p^1\subset C{P}^3$CPp1​⊂CP3. Hence the projectivized generator space of ${\mathrm{\Sigma }}_p$Σp​ is exactly the twistor incidence line associated with $p$p.

For a planar scattering process, introduce region momenta $x_a$xa​ such that adjacent differences are null:

$$p_a=x_a-x_{a-1},p_a^2=0.$$pa​=xa​−xa−1​,pa2​=0.

In the McGucken construction, each region point $x_a$xa​ is the center of a McGucken sphere, and each null separation $x_a-x_{a-1}$xa​−xa−1​ is the shared null incidence relation between neighboring spheres. The twistorized form of this planar null-polygon data is the momentum-twistor datum $Z_a$Za​.

If the external ordering follows the monotone $x_4$x4​-phase orientation, then the ordered maximal minors of the external twistor matrix are positive. Consequently the ordered external data define

$$Z\in M_{+}(k+4,n)\mathrm{.}$$Z∈M+​(k+4,n).

Now consider a reduced McGucken intersection network. Each internal channel carries a positive Huygens-flow weight ${\alpha }_e>0$αe​>0. Its boundary measurement matrix is

$$C_{\alpha a}=\sum _{\gamma :\alpha \to a}\prod _{e\in \gamma }{\alpha }_e\mathrm{.}$$Cαa​=γ:α→a∑​e∈γ∏​αe​.

Because every path contribution is a product of positive weights, and because reduced planar networks give positroid coordinate charts, $C$C lies in the positive Grassmannian:

$$C\in G_{+}(k,n)\mathrm{.}$$C∈G+​(k,n).

Finally, Huygens superposition states that the output $Y_{\alpha }$Yα​ is the positive linear combination of external twistorized McGucken-sphere data with coefficients $C_{\alpha a}$Cαa​:

$$Y_{\alpha }^I=\sum _{a=1}^n{C}_{\alpha a}{Z}_a^I\mathrm{.}$$YαI​=a=1∑n​Cαa​ZaI​.

This is precisely the amplituhedron map:

$$Y=CZ\mathrm{.}$$Y=CZ.

Therefore the tree amplituhedron is the positive image of ordered McGucken-sphere intersection data. Since the McGucken sphere is the primitive null-incidence unit associated with every event, the amplituhedron is ultimately a positive-geometric image of networks of foundational spacetime atoms. $\mathrm{\square }$□

Corollary 5: Direct and Indirect Descent

Twistor space descends directly from the McGucken sphere as the foundational atom of spacetime, whereas the amplituhedron descends indirectly through ordered planar twistor data, positivity, the positive Grassmannian, and Huygens superposition.

Proof

The direct descent is the incidence construction:

$${\mathrm{\Sigma }}_p\to \{\text{null generators of }{\mathrm{\Sigma }}_p\}\mathrm{/}{\mathbb{C}}^{\ast }\to C{P}_p^1\subset C{P}^3\mathrm{.}$$Σp​→{null generators of Σp​}/C∗→CPp1​⊂CP3.

The indirect descent is the many-particle positive construction:

$$\{{\mathrm{\Sigma }}_{p_a}{\}}_{a=1}^n\to \{Z_a{\}}_{a=1}^n\to Z\in M_{+}(k+4,n)\to C\in G_{+}(k,n)\to Y=CZ\mathrm{.}$${Σpa​​}a=1n​→{Za​}a=1n​→Z∈M+​(k+4,n)→C∈G+​(k,n)→Y=CZ.

Thus twistor space is the projective null-generator geometry of a McGucken sphere, while the amplituhedron is the positive-geometric image of ordered networks of such sphere data. In this precise sense, both twistors and the amplituhedron descend from the McGucken sphere as the foundational atom of spacetime. $\mathrm{\square }$□

Plain-Language Explanation

The McGucken sphere gives the light cone, and therefore acts as the foundational atom of spacetime. Twistor theory is what results when the light cone is not treated primarily as a set of spacetime points, but as a family of null rays. A twistor is a projective label for one of those null rays.

The amplituhedron arises after this construction is repeated for many scattering particles. Each external particle contributes null incidence data. Those data are organized into momentum twistors. Positivity then selects the physically allowed orientation and ordering. Positive Huygens-flow networks encode how the null-sphere data may be recombined. The map $Y=CZ$Y=CZ sends those positive combinations into a geometric region: the amplituhedron.

Thus the McGucken sphere is the primitive geometric object: the foundational atom of spacetime. Its null generators, when projectivized, give twistor incidence. Ordered families of such incidence data give momentum twistors. Positive Huygens-flow networks among these twistors give the positive Grassmannian. The amplituhedron is then the image of these positive McGucken networks under $Y=CZ$Y=CZ. Therefore twistors and the amplituhedron are not independent mathematical miracles appended to quantum field theory; they are successive projective and positive-geometric consequences of the expanding fourth-dimensional McGucken sphere.

19. Completed Results

Target	Result
McGucken sphere	Derived from $d{x}_4\mathrm{/}dt=ic$dx4​/dt=ic as the future null cone and identified as the foundational atom of spacetime.
Twistor space	Derived from McGucken incidence ${\omega }^A=i{x}^{A{A}^{\prime }}{\pi }_{A^{\prime }}$ωA=ixAA′πA′​.
Momentum twistors	Derived as planar null-polygon McGucken incidence data.
External positivity	Classified as $M_{+}(k+4,n)\mathrm{/}G{L}^{+}(k+4)$M+​(k+4,n)/GL+(k+4).
Witten curve degree	Matched exactly by $d=k_{\mathrm{A}}+1+\mathrm{\ell }$d=kA​+1+ℓ.
Positive Grassmannian	Derived from boundary measurements of positive $x_4$x4​-flux networks.
BCFW cells	Derived from McGucken BCFW bridges.
Positroid cells	Derived from reduced McGucken networks.
Amplituhedron map	Derived as Huygens superposition $Y=CZ$Y=CZ.
Canonical forms	Derived from $d\rho =d\alpha \mathrm{/}\alpha$dρ=dα/α and pushforward.
Boundaries	Derived from degeneration of $x_4$x4​-flux channels.
Locality	Derived from null McGucken-sphere separations.
Unitarity	Derived from opened closed $x_4$x4​-chains.
Loop data	Derived from $D_{(i)}$D(i)​ boundary measurements.
Yangian invariance	Derived from ordinary plus dual conformal McGucken symmetry.
Foundational-atom thesis	The McGucken sphere is the primitive null-incidence unit from which twistor space, positive Grassmannian data, and the amplituhedron descend.
Operator-algebraic microcausality	Derived as graded commutativity of local algebras whose McGucken causal completions are disjoint.
Einstein gravitational twistor string	Formulated as a deformation of McGucken-sphere incidence with an infinity-twistor constraint selecting the Einstein sector.

20. Conclusion

The McGucken Principle $d{x}_4\mathrm{/}dt=ic$dx4​/dt=ic gives a single geometric origin for the chain of structures leading to the amplituhedron. That origin is the McGucken sphere, the foundational atom of spacetime. The fourth-dimensional expansion produces McGucken spheres, whose projectivized null incidence produces Penrose twistor space. Planar scattering organizes these null directions into region-momentum polygons, producing momentum twistors. Ordered $x_4$x4​-phase gives positive external data. Directed $x_4$x4​-flux networks give positive Grassmannian matrices by boundary measurement. Huygens superposition gives $Y=CZ$Y=CZ. Additive $x_4$x4​-flux coordinates produce canonical $d\log$dlog forms. Degenerations of the networks give residues, factorization, locality, unitarity, and positroid stratification. Closed $x_4$x4​-chains give loop matrices $D_{(i)}$D(i)​, yielding the full loop amplituhedron.

Thus the amplituhedron is not merely compatible with the McGucken Principle. In the present construction, Penrose twistor space derives from the projectivized null-generator geometry of the McGucken sphere, and the amplituhedron derives from the ordered positive geometry of McGucken-sphere intersection networks. Equivalently, the amplituhedron is the positive-geometric image of $x_4$x4​-generated Huygens phase-flow after twistorization, positivity, and Grassmannian boundary measurement.

The McGucken sphere is therefore the primitive geometric object and the foundational atom of spacetime. It is not only the foundational geometric object from which twistors and the amplituhedron are constructed; it is the elementary spacetime atom whose null incidence generates the geometry on which those structures rest. Its null generators, when projectivized, give twistor incidence. Ordered families of such incidence data give momentum twistors. Positive Huygens-flow networks among these twistors give the positive Grassmannian. The amplituhedron is then the image of these positive McGucken networks under $Y=CZ$Y=CZ. Therefore twistors and the amplituhedron are successive projective and positive-geometric consequences of the expanding fourth-dimensional McGucken sphere.

The remaining structural frontier now has a precise formulation. Operator-algebraic microcausality becomes the statement that local algebras commute whenever their McGucken causal completions are disjoint. Full Einstein gravity becomes the problem of constructing a gravitational twistor string whose worldsheet fields deform McGucken-sphere incidence while an $x_4$x4​-induced infinity-twistor datum selects the Einstein sector rather than conformal gravity. These two extensions move the McGucken programme from scattering geometry toward a full algebraic and gravitational foundation.

21. Formal References

[1] Dr. Elliot McGucken, “QUANTUM MECHANICS DERIVED FROM THE MCGUCKEN PRINCIPLE: A Unique, Simple, and Complete Derivation of Quantum Mechanics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic: A Formal Derivation from First Geometric Principle dx₄/dt = ic to the Schrödinger and Dirac Equations, the Born Rule, Quantum Nonlocality, and the Full Feynman-Diagram Apparatus, with the Postulates of Quantum Mechanics Reduced to Theorems and the Hamiltonian–Lagrangian, Heisenberg–Schrödinger, Wave–Particle, and Locality–Nonlocality Dualities Generated as Parallel Sibling Consequences of a Single Geometric Principle,” elliotmcguckenphysics.com, April 2026, revised edition. URL: https://elliotmcguckenphysics.com/2026/04/26/quantum-mechanics-derived-from-the-mcgucken-principle-a-unique-simple-and-complete-derivation-of-quantum-mechanics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-d/

[2] Dr. Elliot McGucken, “Feynman Diagrams as Theorems of the McGucken Principle: Propagators, Vertices, Loops, Wick Contractions, and the Dyson Expansion as Iterated Huygens-with-Interaction on the Expanding Fourth Dimension,” elliotmcguckenphysics.com, April 2026. URL: https://elliotmcguckenphysics.com/2026/04/23/feynman-diagrams-as-theorems-of-the-mcgucken-principle-propagators-vertices-loops-wick-contractions-and-the-dyson-expansion-as-iterated-huygens-with-interaction-on-the-expanding-fourth-dimension/

[3] Dr. Elliot McGucken, “How the McGucken Principle of a Fourth Expanding Dimension Gives Rise to Twistor Space: dx₄/dt = ic as the Physical Mechanism Underlying Penrose’s Twistor Theory,” elliotmcguckenphysics.com, April 20, 2026. URL: https://elliotmcguckenphysics.com/2026/04/20/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-gives-rise-to-twistor-space-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-penroses-twistor-theory/

[4] Dr. Elliot McGucken, “How the McGucken Principle of a Fourth Expanding Dimension Resolves the Open Problems of Witten’s Twistor Programme: dx₄/dt = ic as the Physical Mechanism Underlying Perturbative Gauge Theory as a String Theory in Twistor Space, Conformal Supergravity in Twistor-String Theory, Parity Invariance for Strings in Twistor Space, and the 1978 Twistor Formulation of Classical Yang–Mills Theory,” elliotmcguckenphysics.com, April 20, 2026. URL: https://elliotmcguckenphysics.com/2026/04/20/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-resolves-the-open-problems-of-wittens-twistor-programme-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-perturbative-gauge-theory/

[5] Nima Arkani-Hamed and Jaroslav Trnka, “The Amplituhedron,” arXiv:1312.2007, 2013. URL: https://arxiv.org/abs/1312.2007

[6] Nima Arkani-Hamed, Jacob L. Bourjaily, Freddy Cachazo, Alexander B. Goncharov, Alexander Postnikov, and Jaroslav Trnka, “Scattering Amplitudes and the Positive Grassmannian,” arXiv:1212.5605, 2012. URL: https://arxiv.org/abs/1212.5605

[7] Nima Arkani-Hamed, Yuntao Bai, and Thomas Lam, “Positive Geometries and Canonical Forms,” arXiv:1703.04541, 2017. URL: https://arxiv.org/abs/1703.04541

[8] Andrew Hodges, “Eliminating spurious poles from gauge-theoretic amplitudes,” arXiv:0905.1473, 2009. URL: https://arxiv.org/abs/0905.1473

[9] Edward Witten, “Perturbative Gauge Theory As A String Theory In Twistor Space,” arXiv:hep-th/0312171, 2003. URL: https://arxiv.org/abs/hep-th/0312171

[10] Alexander Postnikov, “Total positivity, Grassmannians, and networks,” arXiv:math/0609764, 2006. URL: https://arxiv.org/abs/math/0609764

[11] Rudolf Haag and Daniel Kastler, “An Algebraic Approach to Quantum Field Theory,” Journal of Mathematical Physics, vol. 5, no. 7, pp. 848–861, 1964. DOI: 10.1063/1.1704187. URL: https://pubs.aip.org/aip/jmp/article/5/7/848/378624/An-Algebraic-Approach-to-Quantum-Field-Theory

[12] Arthur S. Wightman and Lars Gårding, “Fields as Operator-Valued Distributions in Relativistic Quantum Theory,” Arkiv för Fysik, 1964; see also the Wightman axioms and local commutativity formulation. URL: https://ncatlab.org/nlab/show/Wightman+axioms

[13] Tim Adamo and Lionel J. Mason, “Einstein supergravity amplitudes from twistor-string theory,” arXiv:1203.1026, 2012. URL: https://arxiv.org/abs/1203.1026

[14] Freddy Cachazo and David Skinner, “Gravity from Rational Curves,” arXiv:1207.0741, 2012. URL: https://arxiv.org/abs/1207.0741

[15] Tim Adamo and Lionel Mason, “Twistor-strings and gravity tree amplitudes,” arXiv:1207.3602, 2012/2013. URL: https://arxiv.org/abs/1207.3602

[16] Freddy Cachazo, Lionel Mason, and David Skinner, “Gravity in Twistor Space and its Grassmannian Formulation,” arXiv:1207.4712, 2012/2014. URL: https://arxiv.org/abs/1207.4712

[17] David Skinner, “Twistor Strings for N=8 Supergravity,” arXiv:1301.0868, 2013. URL: https://arxiv.org/abs/1301.0868

[18] Lionel Mason and David Skinner, “Ambitwistor strings and the scattering equations,” arXiv:1311.2564, 2013. URL: https://arxiv.org/abs/1311.2564