Appendix C: Proofs of Core Theorems
Appendix C: Proofs of Core Theorems
The main text of this book proposes many revolutionary physical propositions, such as “Light Path Conservation,” “Gravity as Entropic Force,” and “Probability as Counting.” Although we provide physical images and heuristic derivations in the main text, as a serious theoretical system, these propositions must be built on rigorous mathematical proofs.
This appendix collects complete mathematical proofs of the three most core theorems supporting the theoretical framework of the entire book. These proofs do not rely on vague analogies, but are directly derived from Axiom (unitary QCA) and standard operator algebra.
C.1 Operator Algebraic Proof of Light Path Conservation Theorem
Proposition: In any discrete Dirac-QCA model satisfying translational invariance and local unitarity, the external group velocity and internal evolution velocity of single-particle excited states satisfy .
Proof:
-
Orthogonal Decomposition of Hamiltonian
In the continuous limit (), the evolution operator of a one-dimensional Dirac-QCA can generate an effective Hamiltonian . For a two-component spinor field , the most general translationally invariant Hamiltonian form is:
where:
-
is the maximum propagation speed on the lattice.
-
is the momentum operator.
-
is the mass parameter determined by local mixing angle (see Chapter 5 of the main text).
-
are Pauli matrices, acting on internal chirality space respectively.
-
-
Operator Norm of Total Evolution Rate
The total evolution rate (Fubini-Study velocity) of quantum states in Hilbert space is determined by the variance or norm of the Hamiltonian. For energy eigenstates , the modulus squared of their phase rotation rate over time is proportional to :
-
Using Anticommutation Relations
Compute operator :
Using algebraic properties of Pauli matrices:
-
-
Anticommutation:
Cross terms vanish, yielding diagonalized energy operator:
-
-
Mapping of Velocity Components
Taking expectation value on both sides and dividing by (normalization):
-
External velocity term: According to group velocity definition . From dispersion relation differentiation gives , hence .
Therefore, the first term .
-
Internal velocity term: Define internal velocity as the projection of rest energy (mass term) in total energy onto light speed, i.e., .
Therefore, the second term .
-
-
Conclusion
Substituting back:
Q.E.D.
C.2 Variational Derivation of Information-Gravity Variational Principle (IGVP)
Proposition: If spacetime geometry emerges as a macroscopic structure to maximize holographic entanglement entropy, then the metric field must satisfy Einstein’s field equations .
Proof:
-
Construct Total Entropy Functional
Define the total entropy of the universe within a local causal diamond as the sum of geometric entropy and matter entropy . According to the second law of thermodynamics, equilibrium states correspond to extremal points of entropy.
Functional form (action ):
-
Geometric Entropy Term
According to the discrete structure of QCA, geometric entropy is proportional to the complexity of network connections. In the continuous limit, this is the curvature integral of the spacetime manifold (generalization of Wald entropy):
where is a constant related to Planck area element .
-
Matter Entropy Term
Matter entropy is determined by the partition function of matter fields on curved background, whose logarithm corresponds to effective action:
-
Variation with Respect to Metric
We seek geometric structures that make the total action stationary with respect to metric perturbations .
-
Geometric part variation:
Using identity and Palatini identity (boundary terms ignored):
-
Matter part variation:
By definition, stress-energy tensor is the response of matter action to metric:
Therefore:
-
-
Deriving Field Equations
From , for arbitrary , the integrand must be zero:
Rearranging:
Q.E.D.
C.3 Trace-Class Counting Proof of Born Rule
Proposition: In discrete, unitary QCA systems satisfying environment-assisted invariance (Envariance), measurement outcome probabilities are uniquely determined by amplitude modulus squared .
Proof:
-
Schmidt Decomposition
Let system and environment be in an entangled state:
where are orthogonal bases respectively.
-
Rational Approximation and Fine-Graining
Assume are rational numbers (always true in discrete systems), let , where is the total number of microstates.
We can further decompose environment basis into superposition of equally weighted micro-bases :
Substituting into original state and ignoring overall phase:
-
Environment Exchange Symmetry
Now, state is an equal-weight superposition of terms. Each term has the form .
For environment microstates and , there exists a unitary operator that can exchange them without changing the part.
According to Envariance principle, physical probabilities should not depend on environment labels. Therefore, the probability of each micro-term appearing must be equal, all .
-
Macroscopic Probability Summation
The probability that an observer measures macroscopic state is the sum of probabilities of all compatible micro-terms:
Recalling definition , we obtain:
Q.E.D.
Author’s Conclusion:
These three proofs respectively establish the mathematical legitimacy of this book in kinematics (Light Path Conservation), dynamics (field equations), and measurement theory (Born rule). Together they form a logical closed loop, proving that physical reality can completely emerge from the single axiom of “unitary computation.”