Why does embedding discrete automata in richer structures like the Dirac equation necessarily generate superposition rather than just better approximations?

This is a genuinely subtle question, and the archive has direct evidence on it. The short answer: embedding discrete automata into richer continuous structures *forces* superposition because the extra degrees of freedom are incompatible with deterministic discrete evolution—not because we're making better approximations, but because the mathematical structure itself demands it.

Why the Embedding Necessarily Creates Superposition

Start with the discrete case. A classical cellular automaton with bits or spins evolves deterministically via permutations—each configuration maps to exactly one successor, no mixing. As long as you stay discrete, there is no superposition; the system has a well-defined ontological state at each step [AG-2024.01-1637].

But here's the catch: the moment you try to embed that discrete automaton into a *continuum* description—adding smooth spatial variation, continuous fields, or differential equations—you've added infinitely many new degrees of freedom. A classical trajectory in configuration space doesn't naturally "know" how to extend itself continuously; the continuum admits many ways to interpolate between discrete points. When you ask for a wave equation or a differential operator that captures the discrete dynamics' large-scale behavior, you're forcing the system to be described by a function ψ that lives in an infinite-dimensional space. That space is *linear*: any two solutions can be added to get another solution. And linearity automatically means superposition [AG-2024.01-1637].

The Dirac equation case is particularly telling. A discrete "necklace of necklaces" automaton—a classical, fully deterministic structure—relates to the Weyl equation in the continuum limit. Yet even "slight" deformations (like adding a mass term via the Dirac equation) unavoidably generate superpositions [AG-2024.01-1637]. This isn't a modeling choice; it's a consequence of the embedding itself.

Why This Isn't "Just Better Approximation"

You might think: couldn't we just track the discrete automaton more carefully and avoid superposition? The evidence suggests no. When you embed a deterministic discrete system into Hilbert space—even to approximate it—the linearity of that space is not a negotiable property; it's built into how function spaces work. You can't have a mathematical structure that is simultaneously (1) continuously differentiable, (2) closed under superposition, and (3) never producing superposed states [AG-2026.01-1002].

A striking example comes from Hamilton-Jacobi-Schrödinger (HJS) theory [AG-2026.01-1002]. Starting from completely classical premises—a real density ρ and an action function S—and embedding them into a single complex field ψ = R e^(iS/κ), you can impose *minimal* structural requirements (essentially, consistency of the differential equations). The result: superposition, operator algebra, and the uncertainty principle all emerge as *necessary* mathematical consequences, not arbitrary choices. It's not that we're approximating better; it's that the unified structure *requires* these features to be self-consistent.

The Role of Continuous Structure

Cellular automata experiments on the Schrödinger equation [AG-2024.06-1825] show that you can build discrete automata that reproduce quantum behavior—interference, diffraction, Aharonov-Bohm effects—but only by already embedding superposition into the automaton's rule set. You haven't avoided it; you've just hidden it in the discrete machinery. The more faithful your discrete model to the continuum, the more explicitly superposition appears.

Conversely, attempts to avoid superposition—like Vigoureux's Möbius composition law [AG-2026.01-035]—fail precisely because they try to replace linearity with something else. For two components, you get the same physics after normalization. For three or more, the composition becomes order-dependent and breaks the very notion of "state." You cannot have a consistent embedding without linearity.

---

The archive doesn't contain a paper that directly addresses *why* continuous embedding forces linearity from first principles, so a more rigorous mathematical derivation of this necessity would strengthen the argument.