3.3 Discrete Noether Theorem: Symmetry, Conserved Currents, and Unitarity on Lattices
In continuous spacetime and field theory, Noether theorem is a bridge connecting physical symmetry and conservation laws. For discrete Quantum Cellular Automata (QCA) universe, spacetime translations are no longer continuous groups, but discrete groups (such as ). This seems to pose a challenge to direct application of Noether theorem. However, this section will prove that under the algebraic axiomatic system of QCA, not only does Noether theorem still hold, but its form is more rigorous and fundamental. We will show how symmetry directly constrains the structure of update operator and derive discrete continuity equations on lattices.
3.3.1 Algebraic Definition of Dynamical Symmetry
In QCA universe , symmetry no longer manifests as variational invariance of Lagrangian, but as superoperator commutation relations on algebras.
Definition 3.3.1 (Dynamical Symmetry)
Let be a transformation group acting on total algebra (such as translation group, rotation group, or internal gauge group ). For any element in the group, its representation on quantum states or operators is unitary operator . If update operator commutes with , i.e.:
then is called a symmetry of dynamics.
For continuous parameter Lie group symmetries (such as global phase transformation ), if satisfies for all , then by differentiating with respect to :
This shows that generator (as a global observable) is conserved under Heisenberg evolution, i.e., . This is the Global Discrete Noether Theorem.
3.3.2 From Global Conservation to Local Current: Discrete Continuity Equation
More meaningful in physics is local conservation laws. If global charge is conserved, then on discrete lattices, change in charge of some cell necessarily accompanies current flowing to neighbors. For local QCA, this intuition can be strictly theoremized.
Theorem 3.3.2 (Discrete Noether Theorem and Continuity Equation)
Let be a conserved quantity composed of local density operators (i.e., ), and satisfies structural locality (propagation radius ).
Then for any lattice site and time step , there exists a set of Current Operators (Current Operators) satisfying the following Discrete Continuity Equation:
where represents charge flow from to neighbor , and current operators satisfy antisymmetry (needs careful definition in operator sense, usually refers to net flow).
Proof Construction:
Consider Heisenberg evolution . Since , we have .
This does not mean , but means the sum is unchanged.
According to locality of , support set of operator satisfies .
We can decompose as:
The specific construction depends on Margolus blocking or local unitary decomposition. For one-dimensional systems, if is composed of local gates , then current operator spanning bond can be explicitly written as the difference of local charges before and after gate operation.
This equation is not only a conservation format in numerical computation, but also a mathematical guarantee that “charge” cannot be transmitted instantaneously over distance.
3.3.3 Unitarity as Fundamental Conservation Law: Conservation of Quantum Information
Among all conservation laws, the most fundamental is probability conservation (or information conservation), which corresponds to unitarity (Unitarity) of evolution operator . This can be seen as invariance of physical laws under global phase transformation ( symmetry).
Proposition 3.3.3 (Unitarity and Information Indestructibility)
Update operator of QCA satisfies , which is equivalent to modulus conservation in Hilbert space .
In discrete ontology, this corresponds to conservation of total quantum information. If quantum states are regarded as carriers of information, unitarity guarantees that information can neither be created from nothing nor completely erased (though it can become non-locally readable due to scrambling).
This property is crucial in black hole physics. Under our QCA framework, even processes simulating black hole evaporation, since underlying evolution is strictly unitary, information paradox (Information Paradox) does not exist at the ontological level. Apparent information loss is merely because we restrict local algebras to outside horizons, ignoring degrees of freedom flowing inward or entangled radiation.
3.3.4 Symmetry Breaking and Restoration: Goldstone Modes on Discrete Lattices
On discrete lattices, certain continuous symmetries (such as Lorentz boosts and continuous rotations in Poincaré group) are explicitly broken (Explicitly Broken) at microscopic level. Lattices only have discrete rotational symmetry (such as ) and discrete translational symmetry ().
Question: If microscopic symmetry is broken, where do angular momentum conservation and Lorentz invariance in macroscopic continuous physics come from?
This will be answered in detail in Chapter 4 “Emergence of Field Theory from Discrete to Continuous.” In short, when we observe QCA in the long-wavelength limit (), lattice effects are averaged out, and continuous symmetries are restored as Accidental Symmetries. Discrete Noether theorem guarantees that corresponding “quasi-conserved quantities” (such as lattice momentum) smoothly transition to continuous conserved quantities (physical momentum) in the low-energy limit.
Summary
This section proved that discreteness and locality do not prevent physical conservation laws from holding. On the contrary, QCA framework provides a divergence-free, constructive way to define “currents” and “charges.”
-
Global Symmetry guarantees conservation of global charges.
-
Structural Locality guarantees conservation laws satisfy local continuity equations.
-
Unitarity guarantees conservation of most fundamental information ontology.
These conservation laws constitute the “skeleton” of physical reality, constraining the form of discrete dynamics, making it not just a mathematical game, but a self-consistent physical universe model. Next, we will explore how these abstract dynamics produce complex computational structures—computational universality.