Skip to main content

Information-Theoretic Constraints on Finite-Time Causal Invariance and Pre-Geometric Dimensional Reduction in Discrete Hypergraph Models

Research Article & Archival Record

Title: Information-Theoretic Constraints on Finite-Time Causal Invariance and Pre-Geometric Dimensional Reduction in Discrete Hypergraph Models
Author: R. Fisher, Principal Investigator (ORCID: 0009-0006-2441-3282)
Affiliation: Braid Dynamics Group
Published / Release: July 27, 2026 · Status: Preprint / Research Article (v1.0.0) · License: Creative Commons Attribution 4.0 (CC BY 4.0)
Classification: Discrete Physics · Quantum Information · General Relativity
Downloads & Assets: Publication PDF (870 KB) · Markdown Source (95 KB) · Computational Supplement · Replication Bundle

1. Introduction​

The emergence of continuous Lorentzian spacetime from a discrete pre-geometric substrate is a central objective of quantum gravity. Approaches such as Causal Dynamical Triangulations (CDT) [1] and Causal Set Theory [2] constrain the microscopic path-integral measure or enforce explicit causal orderings to guarantee geometric consistency. In contrast, the Wolfram Model posits that spacetime, matter, and gauge fields emerge from the unconstrained, asynchronous rewriting of discrete spatial hypergraphs [3, 4].

Within this framework, causal invariance is proposed as the microscopic origin of general covariance [4]. The central hypothesis asserts that when independent local update paths generate isomorphic directed acyclic graphs (DAGs) of causal event dependencies, alternative rewrite schedules act as discrete gauge transformations, playing a role analogous to the lapse and shift functions in the Arnowitt-Deser-Misner (ADM) 3+13+1 foliation of general relativity [4, 5].

Structural Comparison: Continuous General Relativity vs. Discrete Multiway Rewriting. (A) General relativity enforces diffeomorphism gauge invariance over a single, unique spacetime manifold (M, g_{\mu\nu}), where alternative foliation slices \Sigma_t, \Sigma'_t describe the identical physical geometry without information loss (\Delta H = 0). (B) Discrete hypergraph models branch asynchronously into structurally distinct, non-isomorphic physical topologies (G_1 \not\cong G_2), where state equivalence requires an irreversible many-to-one quotient producing macroscopic entropy (\Delta H > 0).

As illustrated in Figure 1, this correspondence contains a fundamental structural asymmetry:

  • Continuous General Relativity: Gauge freedom describes coordinate transformations over a single spacetime geometry on a fixed manifold; foliation shifts (Σt→Σt′\Sigma_t \to \Sigma'_t) produce zero entropy (ΔH=0\Delta H = 0).
  • Discrete Multiway Systems: Asynchronous updates generate non-isomorphic spatial topologies (G1≇G2G_1 \not\cong G_2), requiring an irreversible quotient map (π ⁣:Gi→[G]\pi \colon G_i \to [G]) that produces macroscopic entropy (ΔH>0\Delta H > 0).

Furthermore, while classical general relativity requires local covariance to hold at every point in spacetime, causal invariance in multiway systems is defined strictly as an asymptotic, infinite-time property. As Jonathan Gorard notes [4, pp. 9–10]:

“The paths that one must follow in order to obtain convergence may be arbitrarily long, so although causal invariance necessitates that the causal graphs generated by following every path through the multiway system must eventually become isomorphic, those causal graphs are not guaranteed to be isomorphic after any finite number of update steps. As such, causal invariance is best interpreted as a limiting statement about the global structure of the multiway system.”

For an observer operating within a finite observational domain, intermediate states cannot be treated as gauge choices. Because alternative rewrite schedules yield non-isomorphic topologies over finite intervals (Figure 2), path reconciliation imposes physical, thermodynamic, and combinatorial constraints on continuum emergence.

Non-causal-invariant foliations yielding non-isomorphic spatial geometries, replicated from Ref. [4].

1.1 Formal Definitions of Finite-Time Invariance and Observer Algebras​

To evaluate the mathematical consistency of causal invariance at finite observational timescales, we formalize the relevant equivalence relations across derivation traces and causal posets:

Let (V,R)(V, \mathcal{R}) be an abstract hypergraph rewriting system with initial configuration s0s_0. A chronological derivation trace of discrete length t∈Nt \in \mathbb{N} is a sequence γ=(s0→r1s1→r2⋯→rtst)\gamma = (s_0 \xrightarrow{r_1} s_1 \xrightarrow{r_2} \dots \xrightarrow{r_t} s_t), where each step applies an admissible local substitution rule ri∈Rr_i \in \mathcal{R} matching an active redex in si−1s_{i-1}. Let Pt(s0)\mathcal{P}_t(s_0) denote the set of all derivation traces of length tt originating at s0s_0.

To each trace γ∈Pt(s0)\gamma \in \mathcal{P}_t(s_0), the sequence of rewrite events E(γ)={e1,…,et}E(\gamma) = \{e_1, \dots, e_t\} induces a strict causal dependency poset C(γ)=(E(γ),≺γ)\mathcal{C}(\gamma) = (E(\gamma), \prec_\gamma), where ei≺γeje_i \prec_\gamma e_j if event eje_j consumes hyperedges or boundary elements generated by event eie_i.

Definition 1 (Finite-Time Causal Invariance at Horizon tt). An abstract rewriting system (V,R)(V, \mathcal{R}) satisfies Finite-Time Causal Invariance at depth tt if for all pairs of chronological derivation traces γ1,γ2∈Pt(s0)\gamma_1, \gamma_2 \in \mathcal{P}_t(s_0), their induced causal dependency posets are strictly order-isomorphic:

C(γ1)≅posetC(γ2)\mathcal{C}(\gamma_1) \cong_{\text{poset}} \mathcal{C}(\gamma_2)

where a poset isomorphism is a bijection f ⁣:E(γ1)→E(γ2)f \colon E(\gamma_1) \to E(\gamma_2) satisfying u≺γ1v  ⟺  f(u)≺γ2f(v)u \prec_{\gamma_1} v \iff f(u) \prec_{\gamma_2} f(v).

Definition 2 (Finite-Time Spatial Covariance at Horizon tt). An abstract rewriting system (V,R)(V, \mathcal{R}) satisfies Finite-Time Spatial Covariance at depth tt if for all γ1,γ2∈Pt(s0)\gamma_1, \gamma_2 \in \mathcal{P}_t(s_0), their terminal spatial hypergraphs are isomorphic: G(γ1)≅G(γ2)G(\gamma_1) \cong G(\gamma_2).

Definition 3 (Local Causal Diamond Observer Algebra A(D)\mathcal{A}(\mathcal{D})). Let D\mathcal{D} be a localized causal diamond spanned by a base spacelike hypergraph subregion A⊂V(G)\mathcal{A} \subset V(G). The operational observable algebra A(D)\mathcal{A}(\mathcal{D}) consists of all gauge-invariant relational operators (spectral moments Tr⁡(AAk)\operatorname{Tr}(A_{\mathcal{A}}^k), local cycle counts, and geodesic distances) whose support is strictly confined to A\mathcal{A}. An embedded observer restricted to D\mathcal{D} accesses the reduced density operator ρA=Tr⁡Ac⊗branchial(ρmultiway)\rho_{\mathcal{A}} = \operatorname{Tr}_{\mathcal{A}^c \otimes \text{branchial}}(\rho_{\text{multiway}}).

1.2 Paper Organization​

The remainder of this paper evaluates the mathematical and physical limits of finite-time causal invariance across five core sections:

  1. Formal Independence of Confluence and Invariance (§2): Machine-checked proofs in Lean 4 establishing the logical independence of confluence (Church-Rosser) and causal DAG isomorphism.
  2. Causal Non-Acyclicity and Locality Constraints (§3): Analysis of asynchronous update cycles, the breakdown of causal DAGs, and the "wait-and-fix" locality dilemma.
  3. Open-System Quantum Channel Dynamics (§4): Derivation of the CPTP Kraus map and Davies-Lindblad generator governing macroscopic Landauer entropy production.
  4. Pre-Geometric Dimensional Reduction (§5): Analysis of complete substrates KNK_N via the Lovász Graph Homomorphism Theorem, proving super-quadratic phase-space explosion and subcritical percolation collapse.
  5. Entropic Gravity & Vacuum Obstruction (§6): Application of Jacobson's entanglement equilibrium to prove that topological mixedness excites the modular Hamiltonian (Δ⟨K⟩>0\Delta \langle K \rangle > 0), precluding a flat classical vacuum (Tμν=0T_{\mu\nu} = 0).

2. Logical Independence of Confluence and Causal Invariance​

In Abstract Rewriting Systems (ARS), the mathematical foundation of hypergraph substitution systems, the relationship between global confluence (the Church-Rosser property) and causal invariance is frequently conflated. We begin by establishing their formal logical independence.

Let an Abstract Rewriting System be defined as a pair M=(A,→)\mathcal{M} = (A, \rightarrow), where AA is a set of objects and →⊆A×A\rightarrow \subseteq A \times A is a binary transition relation. Let →∗\rightarrow^* denote the reflexive transitive closure of →\rightarrow.

  • Global Confluence: A rewriting system is globally confluent if for all a,b,c∈Aa, b, c \in A, if a→∗ba \rightarrow^* b and a→∗ca \rightarrow^* c, then there exists some d∈Ad \in A such that b→∗db \rightarrow^* d and c→∗dc \rightarrow^* d.
  • Causal Invariance: A rewriting system is causal-invariant if, for any initial state a∈Aa \in A, all maximal update paths generate isomorphic directed acyclic graphs of causal event dependencies (G1≅G2G_1 \cong G_2), where a DAG isomorphism requires a bijective mapping on event sets f ⁣:V(G1)≃V(G2)f \colon V(G_1) \simeq V(G_2) preserving the causal partial order: ∀u,v∈V(G1),  u≺1v  ⟺  f(u)≺2f(v)\forall u, v \in V(G_1), \; u \prec_1 v \iff f(u) \prec_2 f(v).

Lemma 1. Let M=(A,→)\mathcal{M} = (A, \rightarrow) be a terminating abstract rewriting system operating under a fixed, invariant rule set. Then the topological property of global confluence and the structural property of causal invariance are logically independent over M\mathcal{M}.

Proof. We establish logical independence via two minimal counterexamples under string-rewriting systems, which constitute a formal subset of hypergraph rewriting systems.

Part I: Causal Invariance Without Global Confluence​

Let M1\mathcal{M}_1 be a string-rewriting system operating under the rule set:

R1={a→b,b→d,a→c,c→e}R_1 = \{a \rightarrow b, \quad b \rightarrow d, \quad a \rightarrow c, \quad c \rightarrow e\}

with initial configuration Ainit=[a]A_{\text{init}} = [a]. The system generates two distinct maximal pathways:

Branch 1:[a]→e1[b]→e2[d]\text{Branch 1:} \quad [a] \xrightarrow{e_1} [b] \xrightarrow{e_2} [d] Branch 2:[a]→e1′[c]→e2′[e]\text{Branch 2:} \quad [a] \xrightarrow{e_1'} [c] \xrightarrow{e_2'} [e]

Because the terminal states [d][d] and [e][e] are distinct irreducible normal forms (d≠ed \neq e), they cannot converge to a common state. Thus, M1\mathcal{M}_1 is strictly non-confluent.

However, the causal dependency graph G1G_1 for Branch 1 consists of the 2-event poset e1≺e2e_1 \prec e_2, and the causal dependency graph G2G_2 for Branch 2 consists of the 2-event poset e1′≺e2′e_1' \prec e_2'. Defining the explicit bijection f(e1)=e1′f(e_1) = e_1' and f(e2)=e2′f(e_2) = e_2' establishes an exact order-preserving DAG isomorphism (G1≅G2G_1 \cong G_2). Thus, the system satisfies causal invariance. Therefore, causal invariance does not imply global confluence.

Part II: Global Confluence Without Causal Invariance​

Let M2\mathcal{M}_2 be a string-rewriting system operating under the rule set:

R2={a→b,a→c,b→d,c→x,x→d}R_2 = \{a \rightarrow b, \quad a \rightarrow c, \quad b \rightarrow d, \quad c \rightarrow x, \quad x \rightarrow d\}

with initial configuration Ainit=[a]A_{\text{init}} = [a]. The system admits two primary pathways:

Branch 1:[a]→e1[b]→e2[d]\text{Branch 1:} \quad [a] \xrightarrow{e_1} [b] \xrightarrow{e_2} [d] Branch 2:[a]→e1′[c]→e2′[x]→e3′[d]\text{Branch 2:} \quad [a] \xrightarrow{e_1'} [c] \xrightarrow{e_2'} [x] \xrightarrow{e_3'} [d]

All pathways terminate at the unique normal form [d][d], proving global confluence.

Constructing the causal dependency graphs:

  • Branch 1 yields a two-node causal chain G1=(Ea→b≺Eb→d)G_1 = (E_{a \rightarrow b} \prec E_{b \rightarrow d}) with ∣V(G1)∣=2|V(G_1)| = 2.
  • Branch 2 yields a three-node causal chain G2=(Ea→c≺Ec→x≺Ex→d)G_2 = (E_{a \rightarrow c} \prec E_{c \rightarrow x} \prec E_{x \rightarrow d}) with ∣V(G2)∣=3|V(G_2)| = 3.

Because no bijective mapping can exist between a 2-element event set and a 3-element event set, the causal graphs are fundamentally non-isomorphic (G1≇G2G_1 \not\cong G_2). Thus, M2\mathcal{M}_2 is confluent but not causal-invariant.

Part III: Formal Closure​

Because M1\mathcal{M}_1 isolates causal invariance without confluence, and M2\mathcal{M}_2 isolates confluence without causal invariance, the two properties are logically independent over terminating rewriting systems. □\square

2.1 Formal Verification in Lean 4​

To eliminate ambiguity in the definitions of confluence and causal invariance, Lemma 1 has been formalized and verified in the Lean 4 interactive theorem prover. The formal kernel—including the inductive definition of reflexive transitive closure (RTC), derivation traces (Trace), the formal predicates for confluence (IsConfluent), normal forms (IsNormalForm), strong normalization (IsStronglyNormalizing), causal DAG structures (CausalDAG), and order-preserving DAG isomorphisms (CausalDAGIsomorphism, AreIsomorphicDAGs), along with the constructive proofs for Theorems 1.1 and 1.2 over counterexample systems M1\mathcal{M}_1 and M2\mathcal{M}_2—is provided in the machine-checked Lean 4 formalization (formal-proofs/CausalInvariance.lean and Supplementary Material, Section 1).

In our formalization, causal DAG isomorphism is evaluated over unlabelled causal dependency posets (E,≺)(E, \prec), which represents the minimal, weakest criterion for relational equivalence. In hypergraph substitution systems, rewrite events carry specific boundary hyperedge input/output labels. Because adding event-type or boundary-label equality constraints strictly restricts the set of admissible isomorphisms, any rewriting system exhibiting DAG non-isomorphism at the unlabelled poset level is guaranteed to remain non-isomorphic under any labeled refinement.

This formal decoupling demonstrates that within discrete graph rewriting, global confluence does not guarantee causal invariance, nor does causal invariance guarantee unique terminal state convergence [6]. Path uniqueness is not an automatic consequence of graph dynamics; it requires explicit, separate axiomatic enforcement.

2.2 The Knuth-Bendix Fallacy: Dynamic Law Injection and Σ10\Sigma_1^0 Algorithmic Freezing​

To rescue non-confluent multiway rule spaces from permanent branchial fragmentation, the Wolfram Model proposes invoking the Knuth-Bendix critical pair completion algorithm [4]. When an abstract rewriting system encounters an unresolvable critical pair (a state bifurcation a→ba \to b and a→ca \to c with no downstream common successor), the Knuth-Bendix procedure generates and dynamically adjoins new rewrite rules (e.g., b→cb \to c or c→bc \to b) to force structural confluence.

Importing symbolic completion procedures into a fundamental discrete spacetime ontology creates two insurmountable physical failures:

  1. Dynamic Law Injection vs. Stationary Action Principle: In fundamental physics, dynamical laws are stationary and governed by a fixed Hamiltonian or Lagrangian action (δS=0\delta S = 0). Invoking Knuth-Bendix completion implies that the fundamental replacement rules H1→H2H_1 \to H_2 are non-stationary: the universe must dynamically mutate its own physical laws in real time, inventing bespoke substitution rules on the fly to patch topological branchial divergences as they emerge.
  2. Σ10\Sigma_1^0-Undecidability and Macroscopic Algorithmic Freezing: By the Post-Markov-Novikov theorem, the Word Problem for semi-Thue systems and graph rewriting languages is Turing-undecidable (Σ10\Sigma_1^0). Consequently, Knuth-Bendix completion on generic rewrite systems is not guaranteed to terminate and generically enters infinite rule-generation loops. If physical causal consistency or wave-function branch reconciliation relies on dynamic rule completion, localized spatial regions undergoing multiway entanglement would suffer infinite computational halting ("algorithmic freezing"), predicting macroscopic temporal freezes that are empirically absent in nature.

3. The "Wait-and-Fix" Locality Dilemma and Scheduler Artifacts​

Beyond ARS logical independence, physical implementation of causal invariance on a discrete hypergraph encounters kinematic and relativistic constraints.

3.1 The "Wait-and-Fix" Locality Dilemma​

Let the spatial hypergraph at time step tt be denoted by Gt=(V,E)G_t = (V, E). Suppose two independent, asynchronous rewrite events occur at spatial locations x1,x2∈Vx_1, x_2 \in V separated by a graph geodesic distance:

D=dG(x1,x2)≫1D = d_G(x_1, x_2) \gg 1

Because the updates occur at spatially separated locations without a centralized global coordinator, the local hypergraph geometries diverge along independent multiway branches Γ1\Gamma_1 and Γ2\Gamma_2.

To preserve causal invariance, these two divergent branches must eventually reconverge to an isomorphic downstream state GtargetG_{\text{target}}. Information propagation across the hypergraph is strictly bounded by the maximum rewrite propagation speed, which defines the model's emergent speed of light cemergentc_{\text{emergent}}:

  • Under serial execution (one replacement applied globally per step), physical propagation speed is volume-dependent (c∝1/∣V∣c \propto 1/|V|), breaking continuum Lorentz invariance.
  • Under maximally parallel execution, signal propagation is bounded by the substitution rule diameter Δx≤diam⁡(H1)+diam⁡(H2)\Delta x \le \operatorname{diam}(H_1) + \operatorname{diam}(H_2) edges per causal layer.

For the rewriting rules at x1x_1 to steer the local topology to compensate for the divergence at x2x_2, a causal signal must propagate across the graph distance DD. While overlapping local rewrite sites (critical pairs) in terminating finite sub-derivations can be resolved via local confluence (Newman's Lemma), physical cosmological models are non-terminating (t→∞t \to \infty). For non-terminating systems, local confluence does not imply global confluence. Spatially disjoint redexes with dG(x1,x2)≫1d_G(x_1, x_2) \gg 1 generate independent downstream cascade branches whose global confluence path length scales as O(D)\mathcal{O}(D). Under any execution semantics, this generates a kinematic trilemma:

  1. Superluminal Coordination: Reconciling the branches within a finite timescale Δt<D/cemergent\Delta t < D / c_{\text{emergent}} requires non-local coordination across spatial hyperedges, violating relativistic locality and the model's own emergent light cone.

  2. The "Wait-and-Fix" Delay: Reconciling the branches locally requires an observational delay of at least:

    τreconcile≥Dcemergent\tau_{\text{reconcile}} \ge \frac{D}{c_{\text{emergent}}}

    During this finite interval τreconcile\tau_{\text{reconcile}}, the local metric and curvature tensors on Branch 1 and Branch 2 are physically and structurally distinguishable. Observers within this domain do not experience coordinate gauge equivalence; they experience distinct physical spacetimes.

  3. Exponential Branchial Proliferation: If the rate of independent local rewrite events across the spatial volume exceeds the reconciliation rate (Γbranch>τreconcile−1\Gamma_{\text{branch}} > \tau_{\text{reconcile}}^{-1}), the multiway system branches exponentially, permanently preventing path convergence.

3.2 The Scheduler Artifact, Vacuum Asymmetry, and Ollivier-Ricci Fluctuations​

To execute a discrete replacement rule on a hypergraph, any asynchronous computational process must employ an update scheduler to identify matching subgraphs and sequence substitutions [4]. Gorard asserts that asymptotic confluence erases the scheduler's path history, rendering the choice of updater unobservable [4].

However, this erasure is exact only at the infinite asymptotic horizon (t→∞t \to \infty). On any finite physical timescale, the sequential updater leaves permanent structural asymmetries in the underlying network:

This desynchronization mechanism is illustrated schematically in Figure 3.

Asymmetric update scheduling generating uncompensated graph distance deficits and metric vacuum scars over finite timescales.

In general relativity, a region of space that is evacuated of matter returns to a unique vacuum solution (e.g., Minkowski or Schwarzschild, depending on global boundary conditions and conserved charges, governed by Birkhoff's theorem). In discrete hypergraphs, regions undergoing intense local computation accumulate intermediate edge rewrites. Lacking a global clock to normalize graph growth, the evacuated region retains persistent topological deficits, violating diffeomorphism invariance and the equivalence principle over finite timescales. Unlike Lattice Gauge Theory or Causal Dynamical Triangulations (CDT)—where continuum Lorentz symmetry is recovered in the infrared via a path-integral action e−Se^{-S} tuned to a second-order critical point—asynchronous graph rewriting possesses no Hamiltonian action, partition function, or restoring potential. Consequently, local scheduler desynchronizations are secularly cumulative rather than mean-zero Gaussian fluctuations.

1-Wasserstein Distance and Discrete Ollivier-Ricci Curvature Fluctuations​

To evaluate the metric asymmetry introduced by asynchronous scheduling quantitatively, we examine the discrete Ollivier-Ricci curvature κ(e)\kappa(e) on directed hyperedges e=(u,v)e = (u, v) [4]:

κ(e)=1−W1(μuin,μvout)\kappa(e) = 1 - W_1(\mu_{u}^{\text{in}}, \mu_{v}^{\text{out}})

where W1W_1 is the L1L^1-Wasserstein (Earth Mover's) metric between localized degree-normalized neighborhood probability measures μu(x)=1/deg⁡(u)\mu_u(x) = 1/\deg(u) for x∈N(u)x \in \mathcal{N}(u):

W1(μu,μv)=inf⁡γ∈Π(μu,μv)∑x,ydG(x,y)γ(x,y)W_1(\mu_u, \mu_v) = \inf_{\gamma \in \Pi(\mu_u, \mu_v)} \sum_{x, y} d_G(x, y) \gamma(x, y)

Under sequential or asynchronous execution, applying a local rewrite rule H1→H2H_1 \to H_2 at node uu before node vv perturbs the local coordination degree by Δdu=∣V(H2)∣−∣V(H1)∣=O(1)\Delta d_u = |V(H_2)| - |V(H_1)| = \mathcal{O}(1). This localized topological modification introduces an instantaneous jump in the optimal 1-Wasserstein transport plan:

ΔW1(μu,μv)≥1max⁡(deg⁡(u),deg⁡(v))⋅dG(u,v)=O(1)\Delta W_1(\mu_u, \mu_v) \ge \frac{1}{\max(\deg(u), \deg(v))} \cdot d_G(u, v) = \mathcal{O}(1)

yielding violent, microscopic fluctuations in the Ollivier-Ricci scalar curvature:

Δκ(e)∼O(1)\Delta \kappa(e) \sim \mathcal{O}(1)

Because discrete hypergraph rewriting contains no Hamiltonian restoring action or thermal dissipation bath, these discrete curvature spikes do not average out to a smooth Ricci tensor in the continuum limit; instead, they accumulate as persistent, directional vacuum scars that explicitly break local Lorentz covariance.

3.3 Post-Hoc DAG Assumption vs. Directed Causal Cycles​

In Definition 4 of Ref. [4], the causal graph is defined as a Directed Acyclic Graph (DAG) by fiat. However, in an asynchronous rewriting system without global time synchronization, directed cycles (closed timelike curves) can emerge in unconstrained rule spaces whenever local substitutions produce cyclic state recurrence:

E1⟶E2⟶E3⟶E1E_1 \longrightarrow E_2 \longrightarrow E_3 \longrightarrow E_1

If a rewrite sequence generates a closed cycle, event E1E_1 becomes its own ancestor, rendering joint probability distributions and time evolution non-computable. Gorard's assertion that closed timelike curves cannot occur under causal invariance relies on assuming DAG structure at the outset. In an axiomatic discrete spacetime ontology, DAG acyclicity is an externally imposed irreflexivity constraint, not a dynamical consequence of confluence.

In our Lean 4 formal verification (formal-proofs/CausalInvariance.lean, Section 4), we machine-check the general incompatibility theorem (cycle_violates_irreflexivity): for any binary relation RR on an arbitrary type, the existence of a cyclic dependency in its transitive closure strictly violates irreflexivity, precluding the formation of a strict partial order or causal DAG. DAG acyclicity is an externally imposed filter rather than a dynamical consequence of rewriting confluence.


4. Non-Injectivity and Information Erasure in Closed Ontologies​

We now examine the information-theoretic and open-system thermodynamic consequences of asynchronous multiway branching and macrostate coarse-graining.

4.1 Non-Injectivity of Multiway History-to-State Projections​

Let Pt\mathcal{P}_t denote the set of all distinct, chronological derivation traces of length tt originating from an initial configuration G0G_0. In an asynchronous multiway system, let ϕt ⁣:Pt→Ωt\phi_t \colon \mathcal{P}_t \to \Omega_t be the operational evaluation map projecting each historical trajectory γ∈Pt\gamma \in \mathcal{P}_t to its terminal unlabelled spatial isomorphism class G∈ΩtG \in \Omega_t.

Whenever multiple distinct historical trajectories γ1,γ2∈Pt\gamma_1, \gamma_2 \in \mathcal{P}_t (γ1≠γ2\gamma_1 \neq \gamma_2) terminate at the identical spatial isomorphism class GG, the pre-image cardinality satisfies:

∣ϕt−1(G)∣≥2|\phi_t^{-1}(G)| \ge 2

In our Lean 4 formalization (formal-proofs/CausalInvariance.lean, Section 2), we prove the general trace non-injectivity theorem (trace_projection_non_injective_of_length_diff and trace_length_ne_implies_trace_ne), showing that whenever derivation paths of unequal length terminate at the identical normal form, the history-to-state projection is strictly non-injective (∣ϕt−1(G)∣≥2|\phi_t^{-1}(G)| \ge 2), constructively demonstrated in Model M2\mathcal{M}_2 (M2_trace_non_injectivity).

The projection ϕt\phi_t is strictly many-to-one (non-injective), as machine-checked in Theorem 3 of our Lean 4 formalization. While the complete historical lineage remains formally preserved in the global multiway causal graph M\mathcal{M}, the active relational spatial geometry at time tt retains only the quotiented isomorphism class GG.


4.2 Microscopic Open-System Master Equation and Subsystem Entropy Production​

To evaluate the operational density matrix accessible to an embedded physical observer, we formalize the multiway evolution within the bipartite Hilbert space [4]:

Hmultiway=Hspatial⊗Hbranchial\mathcal{H}_{\text{multiway}} = \mathcal{H}_{\text{spatial}} \otimes \mathcal{H}_{\text{branchial}}

To accommodate generic hypergraph rewriting rules that alter vertex and edge counts, Hspatial\mathcal{H}_{\text{spatial}} is defined as the direct-sum Fock-graded Hilbert space:

Hspatial=⨁N=1∞⨁E=0(N2)HN,E,HN,E=span⁡{∣G⟩ ⁣:G∈ΩN,E}\mathcal{H}_{\text{spatial}} = \bigoplus_{N=1}^{\infty} \bigoplus_{E=0}^{\binom{N}{2}} \mathcal{H}_{N, E}, \quad \mathcal{H}_{N, E} = \operatorname{span}\{|G\rangle \colon G \in \Omega_{N, E}\}

where ΩN,E\Omega_{N, E} denotes the set of unlabelled graph isomorphism classes on NN vertices and EE edges (with full state space Ω=⨆N,EΩN,E\Omega = \bigsqcup_{N,E} \Omega_{N,E}), endowed with the standard orthonormal inner product ⟨G∣G′⟩=δGG′\langle G | G' \rangle = \delta_{GG'}. The branchial reservoir Hbranchial=span⁡{∣γ⟩ ⁣:γ∈Pt}\mathcal{H}_{\text{branchial}} = \operatorname{span}\{|\gamma\rangle \colon \gamma \in \mathcal{P}_t\} is spanned by the orthonormal basis of distinct chronological derivation pathways of length tt.

Lemma 2 (Open-System Subsystem Entropy Production). Let the global multiway universe evolve as a pure state ∣Ψ⟩∈Hmultiway|\Psi\rangle \in \mathcal{H}_{\text{multiway}} under any normalized dynamical path measure P(γ)P(\gamma) (∑γP(γ)=1\sum_{\gamma} P(\gamma) = 1). Any local physical observer whose measurement operators are restricted to the relational spatial hypergraph (O=Ospatial⊗Ibranchial\mathcal{O} = \mathcal{O}_{\text{spatial}} \otimes \mathbb{I}_{\text{branchial}}) experiences an effective non-unitary open quantum system governed by a discrete CPTP Kraus map and its continuous Lindblad generator. The resulting macrostate dispersion across non-isomorphic spatial topologies generates positive physical entropy production in the spatial relational network.

Proof.

I. Global Multiway Pure State under Generic Path Measures For any normalized path probability measure P(γ)P(\gamma) (uniform or non-uniform), the global multiway quantum state across the set Pt\mathcal{P}_t of derivation traces is given by the Schmidt decomposition:

∣Ψt⟩=∑γ∈PtP(γ)∣G(γ)⟩⊗∣γ⟩=∑G∈Ωtp(G)∣G⟩⊗∣ϕG⟩|\Psi_t\rangle = \sum_{\gamma \in \mathcal{P}_t} \sqrt{P(\gamma)} |G(\gamma)\rangle \otimes |\gamma\rangle = \sum_{G \in \Omega_t} \sqrt{p(G)} |G\rangle \otimes |\phi_G\rangle

where p(G)=∑γ∈ϕt−1(G)P(γ)p(G) = \sum_{\gamma \in \phi_t^{-1}(G)} P(\gamma) is the total dynamical probability mass terminating at spatial macrostate G∈ΩtG \in \Omega_t, and the normalized branchial history states are defined by:

∣ϕG⟩=1p(G)∑γ∈ϕt−1(G)P(γ)∣γ⟩|\phi_G\rangle = \frac{1}{\sqrt{p(G)}} \sum_{\gamma \in \phi_t^{-1}(G)} \sqrt{P(\gamma)} |\gamma\rangle

Because the historical fiber sets ϕt−1(G)\phi_t^{-1}(G) are mutually disjoint for distinct isomorphism classes G≠G′G \neq G', the branchial states satisfy exact orthonormality: ⟨ϕG∣ϕG′⟩=δGG′\langle \phi_G | \phi_{G'} \rangle = \delta_{GG'}.

II. The Operational Subsystem Partial Trace An embedded physical observer interacting with local spatial nodes cannot access unobservable alternative branchial histories. The operational state of the spatial universe is obtained by taking the partial trace over the unobservable branchial reservoir Hbranchial\mathcal{H}_{\text{branchial}}:

ρspatial=Tr⁡branchial(∣Ψt⟩⟨Ψt∣)=∑G∈Ωtp(G)∣G⟩⟨G∣\rho_{\text{spatial}} = \operatorname{Tr}_{\text{branchial}}(|\Psi_t\rangle\langle\Psi_t|) = \sum_{G \in \Omega_t} p(G) |G\rangle\langle G|

The von Neumann entropy of this reduced spatial density matrix is precisely the classical Shannon macrostate entropy:

S(ρspatial)=−Tr⁡(ρspatiallog⁡2ρspatial)=−∑G∈Ωtp(G)log⁡2p(G)=HmacroS(\rho_{\text{spatial}}) = -\operatorname{Tr}(\rho_{\text{spatial}} \log_2 \rho_{\text{spatial}}) = -\sum_{G \in \Omega_t} p(G) \log_2 p(G) = H_{\text{macro}}

The quantum mutual information between the spatial geometry and the branchial environment is:

I(Spatial:Branchial)=S(ρspatial)+S(ρbranchial)−S(∣Ψt⟩⟨Ψt∣)=2HmacroI(\text{Spatial} : \text{Branchial}) = S(\rho_{\text{spatial}}) + S(\rho_{\text{branchial}}) - S(|\Psi_t\rangle\langle\Psi_t|) = 2 H_{\text{macro}}

III. Microscopic Unitary Dilation and Landauer Entropy Production At the fundamental discrete update scale (t→t+1t \to t+1), multiway evolution is governed by a global entangling unitary operator UtotU_{\text{tot}} acting on the bipartite state space extended with an ancilla redex register Hancilla=span⁡{∣r⟩ ⁣:r∈Redex(G)}\mathcal{H}_{\text{ancilla}} = \operatorname{span}\{|r\rangle \colon r \in \text{Redex}(G)\}:

Utot(∣G⟩⊗∣γ⟩⊗∣0⟩ancilla)=∑r∈Redex(G)P(r∣G)∣G⋅r⟩⊗∣γ∘r⟩⊗∣r⟩U_{\text{tot}} \left(|G\rangle \otimes |\gamma\rangle \otimes |0\rangle_{\text{ancilla}}\right) = \sum_{r \in \text{Redex}(G)} \sqrt{P(r | G)} |G \cdot r\rangle \otimes |\gamma \circ r\rangle \otimes |r\rangle

where P(r∣G)=1∣Redex(G)∣P(r | G) = \frac{1}{|\text{Redex}(G)|} is the local redex selection probability. This isometric embedding extends canonically to a full unitary operator on Hspatial⊗Hbranchial⊗Hancilla\mathcal{H}_{\text{spatial}} \otimes \mathcal{H}_{\text{branchial}} \otimes \mathcal{H}_{\text{ancilla}} by mapping the orthogonal complement of the input subspace to the orthogonal complement of the output subspace. Tracing out the unobservable branchial history and ancilla registers yields the discrete Completely Positive Trace-Preserving (CPTP) quantum channel E ⁣:B(Hspatial)→B(Hspatial)\mathcal{E} \colon \mathcal{B}(\mathcal{H}_{\text{spatial}}) \to \mathcal{B}(\mathcal{H}_{\text{spatial}}):

ρt+1=E(ρt)=Tr⁡branchial, ancilla(Utot(ρt⊗∣0⟩⟨0∣)Utot†)=∑kMkρtMk†,∑kMk†Mk=Ispatial\rho_{t+1} = \mathcal{E}(\rho_t) = \operatorname{Tr}_{\text{branchial, ancilla}}\left( U_{\text{tot}} \left( \rho_t \otimes |0\rangle\langle 0| \right) U_{\text{tot}}^\dagger \right) = \sum_{k} M_k \rho_t M_k^\dagger, \quad \sum_k M_k^\dagger M_k = \mathbb{I}_{\text{spatial}}

where the Kraus operators MG,r=P(r∣G)∣G⋅r⟩⟨G∣M_{G, r} = \sqrt{P(r|G)} |G \cdot r\rangle\langle G| implement transitions between spatial isomorphism classes.

In an open bipartite system (∣Ψt⟩∈Hspatial⊗Hbranchial|\Psi_t\rangle \in \mathcal{H}_{\text{spatial}} \otimes \mathcal{H}_{\text{branchial}}), distinct historical derivation pathways γ1≠γ2\gamma_1 \neq \gamma_2 correspond to mutually orthogonal states in the branchial reservoir (⟨γ1∣γ2⟩=0\langle \gamma_1 | \gamma_2 \rangle = 0). When multiple chronological histories coalesce onto the same spatial graph isomorphism class (G(γ1)≅G(γ2)G(\gamma_1) \cong G(\gamma_2)), microscopic historical path distinction is logically erased. By Landauer's Principle, erasing microscopic path distinctions in an open dissipative channel dissipates physical entropy into the branchial reservoir. The total thermodynamic entropy production across layer tt is:

σtot(t)=ΔSsystem(t)+ΔSreservoir(t)=Hprocess(t)−Hmacro(t)≡ΔH(t)\sigma_{\text{tot}}(t) = \Delta S_{\text{system}}(t) + \Delta S_{\text{reservoir}}(t) = H_{\text{process}}(t) - H_{\text{macro}}(t) \equiv \Delta H(t)

Because the cumulative branching volume Hprocess(t)=∑j=0t−1log⁡2bjH_{\text{process}}(t) = \sum_{j=0}^{t-1} \log_2 b_j grows super-quadratically as Θ(N2log⁡N)\Theta(N^2 \log N) while the spatial macrostate capacity is strictly bounded by Hmacro(t)≤O(N2)H_{\text{macro}}(t) \le \mathcal{O}(N^2), the total thermodynamic entropy production is strictly positive and monotonically non-decreasing at every layer:

Δσtot=σtot(t+1)−σtot(t)≥0,∀t\Delta \sigma_{\text{tot}} = \sigma_{\text{tot}}(t+1) - \sigma_{\text{tot}}(t) \ge 0, \quad \forall t

IV. Continuous Coarse-Grained Lindblad Generator Over macroscopic observational intervals spanning many discrete updates (Δt≫1\Delta t \gg 1), taking the continuous coarse-grained Markovian limit of the CPTP map E\mathcal{E} yields the Davies-Lindblad master equation:

dρspatialdt=−i[Heff,ρspatial]+∑k(LkρspatialLk†−12{Lk†Lk,ρspatial})\frac{d\rho_{\text{spatial}}}{dt} = -i[H_{\text{eff}}, \rho_{\text{spatial}}] + \sum_{k} \left( L_k \rho_{\text{spatial}} L_k^\dagger - \frac{1}{2} \{L_k^\dagger L_k, \rho_{\text{spatial}}\} \right)

where the jump operators LkL_k are the continuous limits of the non-unitary rewrite transitions. Because [Lk,Heff]≠0[L_k, H_{\text{eff}}] \neq 0, Spohn's Inequality for dynamical semigroups guarantees continuous non-negative total thermodynamic entropy production:

σ(ρspatial)=−ddtSrel(ρspatial(t)∥ρspatialeq)≥0\sigma(\rho_{\text{spatial}}) = -\frac{d}{dt} S_{\text{rel}}(\rho_{\text{spatial}}(t) \parallel \rho_{\text{spatial}}^{\text{eq}}) \ge 0

V. Structural Deposition in Closed Ontologies In standard open-system quantum thermodynamics, the generated entropy σΔt\sigma \Delta t is exported to an asymptotic infinite-temperature thermal reservoir. However, in a closed pre-geometric ontology (where the hypergraph comprises all existing physical degrees of freedom), there exists no external physical heat sink.

While branchial dispersion has been interpreted as defining the kinematic metric of state space [4], semiclassical general relativity requires that the vacuum state satisfies entanglement equilibrium (Δ⟨K⟩=0\Delta \langle K \rangle = 0) on local horizon boundaries. Because unlabelled isomorphism classes possess no canonical background coordinate chart aligning node indices across distinct topologies, this irreversible mixedness S(ρspatial)=Hmacro>0S(\rho_{\text{spatial}}) = H_{\text{macro}} > 0 is evaluated on gauge-invariant algebraic observables on the graph C∗C^*-algebra:

  1. Spectral Moments (Closed Loop Distribution): ⟨Tr⁡(Ak)⟩=Tr⁡(ρspatialAk)=∑G∈Ωtp(G)Tr⁡(A(G)k)=∑G∈Ωtp(G)∑iλi(G)k\langle \operatorname{Tr}(A^k) \rangle = \operatorname{Tr}(\rho_{\text{spatial}} A^k) = \sum_{G \in \Omega_t} p(G) \operatorname{Tr}(A(G)^k) = \sum_{G \in \Omega_t} p(G) \sum_{i} \lambda_i(G)^k
  2. Spectral Density Distributions: ⟨ρA(λ)⟩=∑G∈Ωtp(G)[1∣V(G)∣∑i=1∣V(G)∣δ(λ−λi(G))]\langle \rho_A(\lambda) \rangle = \sum_{G \in \Omega_t} p(G) \left[ \frac{1}{|V(G)|} \sum_{i=1}^{|V(G)|} \delta(\lambda - \lambda_i(G)) \right]
  3. Geodesic Volume Profiles: ⟨V(r)⟩=∑G∈Ωtp(G)VG(r)\langle V(r) \rangle = \sum_{G \in \Omega_t} p(G) V_G(r)

Every asynchronous branching event that disperses probability mass across non-isomorphic topologies permanently injects non-equilibrium statistical mixing into the relational gauge-invariant spectra and metric profile of the network substrate. □\square


5. Combinatorial Atlas and Dimensional Reduction Kinematics​

We now evaluate the cosmological dimensional reduction process invoked in discrete hypergraph cosmologies.

5.1 The Cosmological Initial Condition (KNK_N Substrate)​

In Section 3.4 of Ref. [4], Gorard establishes the model's cosmological initial condition:

“We begin by assuming that the initial condition for the universe consists of a spatial hypergraph with an abnormally high vertex connectivity, perhaps corresponding to a complete graph [KNK_N]. As such, the universe starts off with some arbitrarily large number of spatial dimensions (which we can treat as being effectively infinite), but then the asymptotic dimensionality preserving property of the update rules causes the number of spatial dimensions to converge to some finite, fixed value, such as three.”

Rather than treating the multiway graph as an idealized continuous manifold, we analyze its structure as an exact combinatorial phase space.


5.2 Kinematic Universality via Lovász Homomorphism Densities​

To establish that the super-quadratic branching and fragmentation results are not restricted to monotonic edge-pruning, we extend our analysis to arbitrary local hypergraph replacement rules r ⁣:H1→H2r \colon H_1 \to H_2.

We prove that any local, deterministic substitution rule operating on an initially dense pre-geometric substrate KNK_N is mathematically bound to the same factorial phase-space explosion, governed by the theory of graph homomorphism densities.

Theorem (Kinematic Universality of Local Substitution on Dense Substrates). Let G0=KNG_0 = K_N be a dense complete initial hypergraph on N0N_0 vertices, and let r ⁣:H1→H2r \colon H_1 \to H_2 be any local hypergraph substitution rule with ∣V(H1)∣=v1|V(H_1)| = v_1 vertices and ∣E(H1)∣=e1|E(H_1)| = e_1 hyperedges (e1≥1e_1 \ge 1). Then:

  1. Homomorphism Densities on Quasirandom Substrates: For any local redex H1H_1 matching on a host graph GG generated by isotropic local rewriting from KN0K_{N_0}, by the Chung-Graham-Wilson Theorem on quasirandom graph limits [12, 13], the homomorphism density satisfies t(H1,G)=p(G)e1±O(ϵ)t(H_1, G) = p(G)^{e_1} \pm \mathcal{O}(\epsilon). The number of injective matches inj⁡(H1,G)\operatorname{inj}(H_1, G) on a host graph with instantaneous vertex count N(t)=N0+tΔvN(t) = N_0 + t \Delta v (where Δv=∣V(H2)∣−∣V(H1)∣\Delta v = |V(H_2)| - |V(H_1)|) and edge density p(G)=2∣E∣N(N−1)p(G) = \frac{2|E|}{N(N-1)} satisfies:

    Mmatches(H1,G)=t(H1,G)⋅N(t)v1−O(N(t)v1−1)∣Aut⁡(H1)∣∼Θ(pe1N(t)v1)M_{\text{matches}}(H_1, G) = \frac{t(H_1, G) \cdot N(t)^{v_1} - \mathcal{O}(N(t)^{v_1-1})}{|\operatorname{Aut}(H_1)|} \sim \Theta\left(p^{e_1} N(t)^{v_1}\right)

    On the initial substrate KN0K_{N_0} (p=1p=1), the exact initial branching factor is b0=(N0v1)v1!∣Aut⁡(H1)∣∼Θ(N0v1)b_0 = \binom{N_0}{v_1} \frac{v_1!}{|\operatorname{Aut}(H_1)|} \sim \Theta(N_0^{v_1}). For vertex-generating rules (Δv≥0\Delta v \ge 0, such as the Wolfram 2-in 4-out expansion rule where Δv=+1\Delta v = +1), N(t)≥N0N(t) \ge N_0 uniformly, accelerating phase-space branching beyond the fixed-NN baseline.

  2. Over the dense-to-intermediate dimensional reduction regime (p(t)≫N0−1/e1p(t) \gg N_0^{-1/e_1}), which spans the dominant Θ(N02)\Theta(N_0^2) steps of edge contraction, the cumulative trajectory phase-space volume is lower-bounded by:

    Hprocess=∑t=0L−1log⁡2bt≥∑t=0L−1log⁡2[Θ((1−tE0)e1N0v1)]∼Θ(N02log⁡N0)H_{\text{process}} = \sum_{t=0}^{L-1} \log_2 b_t \ge \sum_{t=0}^{L-1} \log_2\left[ \Theta\left(\left(1 - \frac{t}{E_0}\right)^{e_1} N_0^{v_1}\right) \right] \sim \Theta(N_0^2 \log N_0)

    In the late sparse regime (p∼O(1/N0)p \sim \mathcal{O}(1/N_0)), graph convergence transitions to Benjamini-Schramm / graphing limits, where local subcritical percolation governs topology.

  3. Under both the canonical multiway Markov path measure P(γ)=∏t=0L−1b(Gt)−1P(\gamma) = \prod_{t=0}^{L-1} b(G_t)^{-1} and the unweighted uniform path measure P(γ)=1/MP(\gamma) = 1/M, uncoordinated local contractions (e2<e1e_2 < e_1) cross the percolation threshold pc=log⁡NNp_c = \frac{\log N}{N}. Because early fragmented topologies admit fewer downstream matches (b(Gt)≪bconnectedb(G_t) \ll b_{\text{connected}}), their reciprocal transition weights b(Gt)−1b(G_t)^{-1} are strictly higher per step, mathematically accelerating concentration on fragmented topologies:

    P(Γmanifold)≤exp⁡(−μN0)→N0→∞0P(\Gamma_{\text{manifold}}) \le \exp\left(-\mu N_0\right) \xrightarrow{N_0 \to \infty} 0

Proof.

  1. Homomorphism Density Expansion: In Lovász's theory of dense graph limits, the homomorphism density t(H,G)t(H, G) measures the probability that a random map V(H)→V(G)V(H) \to V(G) is a graph homomorphism. For a complete substrate KN0K_{N_0}, t(H1,KN0)=1−O(1/N0)t(H_1, K_{N_0}) = 1 - \mathcal{O}(1/N_0). Multiplying by N(t)v1N(t)^{v_1} and quotienting by the automorphism group ∣Aut⁡(H1)∣|\operatorname{Aut}(H_1)| yields Mmatches=(N(t)v1)v1!∣Aut⁡(H1)∣∼Θ(N(t)v1)≥Θ(N0v1)M_{\text{matches}} = \binom{N(t)}{v_1} \frac{v_1!}{|\operatorname{Aut}(H_1)|} \sim \Theta(N(t)^{v_1}) \ge \Theta(N_0^{v_1}).
  2. Path Volume Integration: At step tt, after modifying t⋅Δet \cdot \Delta e edges, the instantaneous edge density is pt=1−tΔeE0p_t = 1 - \frac{t \Delta e}{E_0}. The available matching count satisfies bt≥pte1N0v1∣Aut⁡(H1)∣b_t \ge \frac{p_t^{e_1} N_0^{v_1}}{|\operatorname{Aut}(H_1)|}. The dense homomorphism limit holds across the entire interval where pt≫N0−1/e1p_t \gg N_0^{-1/e_1}, which accounts for L−O(N02−1/e1)=Θ(N02)L - \mathcal{O}(N_0^{2 - 1/e_1}) = \Theta(N_0^2) steps. Integrating log⁡2(bt)\log_2(b_t) over L=Θ(N02)L = \Theta(N_0^2) steps yields: ∑t=0L−1log⁡2bt≥Lv1log⁡2N0+e1∑t=0L−1log⁡2(1−tL)−Llog⁡2∣Aut⁡(H1)∣=Θ(N02log⁡N0)\sum_{t=0}^{L-1} \log_2 b_t \ge L v_1 \log_2 N_0 + e_1 \sum_{t=0}^{L-1} \log_2\left(1 - \frac{t}{L}\right) - L \log_2 |\operatorname{Aut}(H_1)| = \Theta(N_0^2 \log N_0)
  3. Percolation Collapse and Measure Acceleration: In the sparse regime (⟨d⟩=k≪N0\langle d \rangle = k \ll N_0), the local degree distribution under uncoordinated local rewriting converges to a Poisson distribution P⁡(deg⁡(v)=d)=kde−kd!\operatorname{P}(\deg(v) = d) = \frac{k^d e^{-k}}{d!}. The probability that any individual vertex is isolated (deg⁡(v)=0\deg(v) = 0) is strictly positive: p0=P⁡(deg⁡(v)=0)=e−k>0p_0 = \operatorname{P}(\deg(v) = 0) = e^{-k} > 0. Because a connected manifold vacuum GvacG_{\text{vac}} requires zero isolated vertices (deg⁡(v)≥1\deg(v) \ge 1 for all vv), manifold survival is analytically upper-bounded by: P(Γmanifold)≤(1−p0)N0=(1−e−k)N0=exp⁡(−μ0N0)→N0→∞0P(\Gamma_{\text{manifold}}) \le (1 - p_0)^{N_0} = \left(1 - e^{-k}\right)^{N_0} = \exp\left(-\mu_0 N_0\right) \xrightarrow{N_0 \to \infty} 0 where the exact analytical rate constant is μ0=−ln⁡(1−e−k)>0\mu_0 = -\ln(1 - e^{-k}) > 0 (for target degree k=3k=3, μ0=−ln⁡(1−e−3)≈0.05106>0\mu_0 = -\ln(1 - e^{-3}) \approx 0.05106 > 0). Furthermore, under the dynamical Markov measure P(γ)=∏b(Gt)−1P(\gamma) = \prod b(G_t)^{-1}, fragmented graphs admit fewer downstream matches (b(G1⊔G2)<b(Gconnected)b(G_1 \sqcup G_2) < b(G_{\text{connected}})), magnifying their reciprocal transition weights b−1b^{-1} and accelerating the decay exponent beyond μ0\mu_0. □\square

5.3 Combinatorial Derivation of the Falling Factorial Baseline​

The scaling of this trajectory space under dimensional reduction can be bounded analytically. Let the initial edge cardinality of KNK_N be E0=12N(N−1)E_0 = \frac{1}{2}N(N-1), and let the target 3D edge cardinality be bounded by Ef≤12NkE_f \le \frac{1}{2}Nk. If the reduction operated via a fixed sequence of ΔE=E0−Ef\Delta E = E_0 - E_f deletions, the baseline number of independent chronological pathways is given by the falling factorial:

Mbaseline=E0!(E0−ΔE)!=E0!Ef!M_{\text{baseline}} = \frac{E_0!}{(E_0 - \Delta E)!} = \frac{E_0!}{E_f!}

Evaluating this at N=8,k=3N=8, k=3 (E0=28,Ef=12,ΔE=16E_0 = 28, E_f = 12, \Delta E = 16) yields:

Mbaseline=28!12!=636,507,987,889,213,440,000≈6.3651×1020 trajectoriesM_{\text{baseline}} = \frac{28!}{12!} = 636,507,987,889,213,440,000 \approx 6.3651 \times 10^{20} \text{ trajectories}

corresponding to an analytical baseline process entropy of:

Hprocessbaseline=log⁡2(6.3651×1020)≈69.1087 bitsH_{\text{process}}^{\text{baseline}} = \log_2(6.3651 \times 10^{20}) \approx 69.1087 \text{ bits}

Because the degree-threshold pruning rule is dynamic (pruning an edge drops adjacent vertices below threshold kk, terminating paths at variable depths), the actual multiway trajectory space accelerates nonlinearly, yielding the computed value of:

M=894,757,885,819,817,073,868,800≈8.9476×1023 paths(Hprocess=79.5658 bits)M = 894,757,885,819,817,073,868,800 \approx 8.9476 \times 10^{23} \text{ paths} \quad (H_{\text{process}} = 79.5658 \text{ bits})

Applying Stirling's approximation (log⁡2(n!)≈nlog⁡2n−nlog⁡2e\log_2(n!) \approx n \log_2 n - n \log_2 e) to the dominant numerator confirms that baseline algorithmic process complexity scales super-quadratically:

Hprocess≥log⁡2(E0!Ef!)∼(12N2)log⁡2(12N2)∼Θ(N2log⁡N)H_{\text{process}} \ge \log_2\left(\frac{E_0!}{E_f!}\right) \sim \left(\frac{1}{2}N^2\right) \log_2\left(\frac{1}{2}N^2\right) \sim \Theta(N^2 \log N)

In contrast, the maximum Shannon capacity of the entire space of unlabeled graphs (OEIS A000088) scales only quadratically:

Hmacromax≤log⁡2(2(N2)N!)∼(N2)−Nlog⁡2N∼O(N2)H_{\text{macro}}^{\text{max}} \le \log_2\left(\frac{2^{\binom{N}{2}}}{N!}\right) \sim \binom{N}{2} - N \log_2 N \sim \mathcal{O}(N^2)

Thus, the process entropy outscales the state space capacity by a factor of log⁡N\log N in the exponent:

lim⁡N→∞HprocessHmacromax∼log⁡2(N)⟶∞\lim_{N \to \infty} \frac{H_{\text{process}}}{H_{\text{macro}}^{\text{max}}} \sim \log_2(N) \longrightarrow \infty

5.4 Multi-Scale Numerical Simulation Atlas​

To verify these analytical bounds empirically, we implemented a dual simulation architecture: an initial reference auditor in Python for combinatorial baseline checks (causal_invariance_auditor.py), and a high-performance, multithreaded bitset engine in C++20 (cpp/causal_invariance_engine.cpp). The C++20 engine employs hardware std::popcount, stack-allocated 64-bit and 128-bit integer bitsets, exact unsigned __int128 trajectory accumulation, and precomputed N!N! permutation tables.

Using this C++20 engine, we executed an exact layer-by-layer dynamic programming state space enumeration up to N=8N = 8, canonicalizing intermediate graph states at each layer boundary across all N!N! vertex permutations:

CanonicalForm⁡(G)=min⁡σ∈SNσ(G)\operatorname{CanonicalForm}(G) = \min_{\sigma \in S_N} \sigma(G)

The C++20 engine verified all M=8.9476×1023M = 8.9476 \times 10^{23} paths at N=8N=8 in 51.29 seconds on an 8-core commodity workstation—a 268×268\times speedup over the single-threaded CPython prototype (3.82 hours).

To extend our empirical verification beyond the memory ceiling of full dynamic programming tables, the C++20 engine executed high-dimensional parallel Monte Carlo percolation sampling across 600,000 independent trajectories for N=9…16N = 9 \dots 16 at a sustained throughput exceeding 3.1×1063.1 \times 10^6 trajectories/second.

While Table 1 provides the exact numerical baseline for monotonic edge contraction, Theorem 5.2 proves that any generic hypergraph substitution rule H1→H2H_1 \to H_2 preserves the same asymptotic branching lower bound Θ(Nv1)\Theta(N^{v_1}) and super-quadratic trajectory volume Θ(N2log⁡N)\Theta(N^2 \log N) via Lovász homomorphism densities. The numerical simulation serves as the minimal, exactly solvable instance of this universal phase-space proliferation.

The exact enumeration results across N=5…8N=5 \dots 8 are summarized in Table 1, and the high-dimensional sampling data across N=9…16N=9 \dots 16 are recorded in Table 2.

Table 1: Multi-Scale Multiway Trajectory Evaluation (k=3k = 3, N=5…8N = 5 \dots 8, Exact C++20 Enumeration). MM is the number of distinct labeled chronological derivation pathways; ∣Ω∣|\Omega| is the number of distinct unlabeled physical graph isomorphism classes reached; Reachability is the dynamically accessible fraction of all possible unlabeled graphs on NN vertices (∣Ω∣/∣GN∣|\Omega| / |\mathcal{G}_N|, OEIS A000088).

| Scale (NN) | Trajectory Paths (MM) | Classes (∣Ω∣|\Omega|) | HprocessH_{\text{process}} (bits) | HmacroH_{\text{macro}} (bits) | ΔH\Delta H (bits) | P(Connected)P(\text{Connected}) | P(Regular)P(\text{Regular}) | Reachability | | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | | 5 | 1,620 | 4 | 10.6618 | 1.6416 | 9.0201 | 9.2593×10−19.2593 \times 10^{-1} | 0.00000.0000 | 11.76% (4 / 34) | | 6 | 133,797,600 | 29 | 26.9955 | 4.0145 | 22.9809 | 6.3799×10−16.3799 \times 10^{-1} | 3.7669×10−43.7669 \times 10^{-4} | 18.59% (29 / 156) | | 7 | 9.4548×10149.4548 \times 10^{14} | 102 | 49.7480 | 5.5155 | 44.2326 | 3.5861×10−13.5861 \times 10^{-1} | 0.00000.0000 | 9.77% (102 / 1,044) | | 8 | 8.9476×10238.9476 \times 10^{23} | 355 | 79.5658 | 6.6960 | 72.8698 | 1.7731×10−11.7731 \times 10^{-1} | 4.5259×10−74.5259 \times 10^{-7} | 2.88% (355 / 12,346) |


Table 2: High-Dimensional Percolation and Topology Collapse Matrix (k=3k = 3, N=9…16N = 9 \dots 16, Monte Carlo 100,000100,000 runs per scale, C++20 Bitset Engine).

Scale (NN)Target Degree (kk)Trajectories (MsampleM_{\text{sample}})Mean Path LengthP(Connected)P(\text{Connected})P(Regular)P(\text{Regular})Mean Degree Variance
93100,00025.806.7822×10−16.7822 \times 10^{-1}0.00000.00000.6442
103100,00033.816.1690×10−16.1690 \times 10^{-1}1.5000×10−41.5000 \times 10^{-4}0.6671
113100,00042.795.6408×10−15.6408 \times 10^{-1}0.00000.00000.6834
123100,00052.785.1542×10−15.1542 \times 10^{-1}0.00000.00000.6960
143100,00075.744.2914×10−14.2914 \times 10^{-1}0.00000.00000.7174
163100,000102.703.5920×10−13.5920 \times 10^{-1}0.00000.00000.7328

Table 3: Multiway Branching Under Wolfram Local Hypergraph Substitution Rules (K3,K4K_3, K_4 Substrates)

Rule TypeSubstrateStep (tt)Input StatesMultiway Branches (btb_t)Child Macrostates
Wolfram 2-in 4-out (Expansion: Δv=+1\Delta v = +1)K3K_31131
21153
3311411
Wolfram 2-in 4-out (Expansion: Δv=+1\Delta v = +1)K4K_411121
211565
Wolfram 2-in 1-out (Pruning: Δe=−1\Delta e = -1)K4K_411121
21603
33722

Topological Invariants and Regularity Collapse​

  • Handshaking Lemma Constraint: Under the Handshaking Lemma (∑deg⁡(v)=2∣E∣\sum \deg(v) = 2|E|), for odd vertex cardinalities evaluated at odd degree (5×3=155 \times 3 = 15 and 7×3=217 \times 3 = 21), regular graphs are mathematically impossible. Thus, P(Regular)=0P(\text{Regular}) = 0 at N=5,7N=5, 7 is an exact topological invariant.
  • Regularity Collapse: Where regular configurations are permitted (N=6,8N = 6, 8), P(Regular)P(\text{Regular}) collapses from 3.7669×10−43.7669 \times 10^{-4} at N=6N=6 to 4.5259×10−74.5259 \times 10^{-7} at N=8N=8.
  • Global Connectivity Collapse: P(Connected)P(\text{Connected}) falls monotonically from 92.59% at N=5N=5 to 17.73% at N=8N=8.

The scaling of process entropy HprocessH_{\text{process}}, macrostate entropy HmacroH_{\text{macro}}, and the Landauer gap ΔH\Delta H is illustrated in Figure 4.

Scaling of process entropy, macrostate entropy, and the Landauer entropy gap as a function of vertex scale N.

Macrostate Distribution and Island Topologies​

Sorting the terminal registry by path weight reveals that path volume concentrates on island topologies—graphs consisting of a small connected core and multiple isolated vertices (deg⁡(v)=0\deg(v) = 0):

Table 4: Dominant Terminal Macrostate Topologies (N=8,k=3N = 8, k = 3)

RankRepresentationDegree SequenceTopological Structure
14.41%[3, 3, 3, 2, 1, 0, 0, 0]5-node core + 3 isolated vertices
24.04%[3, 3, 3, 2, 1, 1, 1, 0]7-node core + 1 isolated vertex
33.67%[3, 3, 2, 2, 1, 1, 0, 0]6-node core + 2 isolated vertices
43.19%[3, 3, 3, 2, 2, 1, 0, 0]6-node core + 2 isolated vertices
52.98%[3, 3, 2, 2, 2, 1, 1, 0]7-node core + 1 isolated vertex

The path-frequency distribution across all dominant terminal macrostates is plotted in Figure 5.

Path-frequency distribution of the top 10 dominant terminal macrostates at N=8, k=3.


5.5 The Noether Limit and Algorithmic Description Complexity​

In continuous field theories, smooth spacetime configurations are dynamically protected by conservation laws generated by continuous symmetries via Noether's theorem. Discrete hypergraph rewriting models lack continuous Lie groups and microscopic Noether currents.

Consequently, for any local rewriting rule RR to restrict its multiway evolution away from the high-entropy fragmented phase space without external intervention, those conservation laws must be explicitly hardcoded into its matching conditions. This establishes a strict impossibility result:

Low Description Complexity K(R)∧Local Rule Scope∧Convergence to 3D Manifold\text{Low Description Complexity } K(R) \quad \land \quad \text{Local Rule Scope} \quad \land \quad \text{Convergence to 3D Manifold}

cannot be simultaneously satisfied in a closed pre-geometric ontology.


5.6 Computational Scaling Barriers, Cluster Infrastructure, and Cosmological Horizon Limits (N>8N > 8)​

To contextualize the computational scaling across both exact full-state dynamic programming and high-throughput percolation sampling, we evaluate the exact combinatorial complexity requirements across ascending vertex scales (N=8…1000N = 8 \dots 1000).

Table 5: Combinatorial Phase-Space Scaling Across Vertex Regimes (k=3k = 3). Mbase=E0!/Ef!M_{\text{base}} = E_0! / E_f! is the analytical falling factorial baseline (Section 5.3); ∣GN∣|\mathcal{G}_N| is the total unlabelled graph space (OEIS A000088); N!N! is the canonical permutation cost per state.

| Scale (NN) | Edges (E0E_0) | Unlabelled Classes (∣GN∣|\mathcal{G}_N|) | Baseline Trajectories (MbaseM_{\text{base}}) | Canonical Cost (N!N!) | | :---: | :---: | :---: | :---: | :---: | | 8 | 28 | 12,346 | 6.37×10206.37 \times 10^{20} | 40,320 | | 10 | 45 | 1.20×1071.20 \times 10^7 | 9.14×10439.14 \times 10^{43} | 3.63×1063.63 \times 10^6 | | 12 | 66 | 1.65×10111.65 \times 10^{11} | 8.44×10768.44 \times 10^{76} | 4.79×1084.79 \times 10^8 | | 16 | 120 | ∼1.2×1023\sim 1.2 \times 10^{23} | 1.09×101751.09 \times 10^{175} | 2.09×10132.09 \times 10^{13} | | 20 | 190 | ∼3.6×1041\sim 3.6 \times 10^{41} | 2.45×103202.45 \times 10^{320} | 2.43×10182.43 \times 10^{18} | | 50 | 1,225 | ∼10300\sim 10^{300} | ∼103400\sim 10^{3400} | 3.04×10643.04 \times 10^{64} | | 100 | 4,950 | ∼101332\sim 10^{1332} | ∼1016100\sim 10^{16100} | 9.33×101579.33 \times 10^{157} | | 1,000 | 499,500 | ∼10150000\sim 10^{150000} | ∼102713000\sim 10^{2713000} | ∼102568\sim 10^{2568} |

Exact Dynamic Programming vs. Parallel Monte Carlo Regimes​

In analyzing pre-geometric state spaces, two distinct computational regimes must be delineated:

  1. Exact Layer-by-Layer Dynamic Programming (N≤8N \le 8 Workstation, N=10…12N = 10 \dots 12 HPC): At N=8N=8, full state space enumeration across 28 edge layers tracks M=8.95×1023M = 8.95 \times 10^{23} paths collapsing into 355 terminal isomorphism classes. While a single-threaded CPython reference prototype required 1.38×1041.38 \times 10^4 seconds (≈3.82\approx 3.82 hours), our compiled C++20 bitset engine (cpp/causal_invariance_engine.cpp) executed this exact enumeration in 51.29 seconds—a 268×268\times performance acceleration achieved via hardware std::popcount, bitset incidence representations, and precomputed N!N! permutation tables.

    For exact full-state dynamic programming at N=10N=10, the state space reaches 1.20×1071.20 \times 10^7 unlabelled graph classes with 10!=3.63×10610! = 3.63 \times 10^6 permutations per state, requiring a multi-node HPC cluster. At N=12N=12, the state space expands to 164.8 billion isomorphism classes (Mbase≈8.44×1076M_{\text{base}} \approx 8.44 \times 10^{76}), requiring at least 1.3 Terabytes of distributed RAM across an institutional supercomputing partition.

  2. Parallel Monte Carlo Percolation Sampling (N=9…16N = 9 \dots 16): To probe deep dimensional reduction beyond the exact memory barrier of dynamic programming tables, we executed the parallel Monte Carlo percolation sampler within our C++20 engine. By executing random path descents directly on O(1)O(1) stack-allocated 64-bit and 128-bit bitsets without storing global layer tables, the engine achieved a sustained sampling throughput exceeding 3.1×1063.1 \times 10^6 trajectories/second across 12 cores.

    As documented in Table 2, our C++20 benchmark runs evaluated 100,000100,000 independent trajectories per scale from N=9N=9 to N=16N=16 (600,000600,000 total sampled trajectories), empirically confirming the theoretical predictions of subcritical percolation (Section 5.2): P(Connected)P(\text{Connected}) falls monotonically from 67.82%67.82\% at N=9N=9 to 35.92%35.92\% at N=16N=16, the regular manifold probability remains strictly suppressed (P(Regular)≤1.5×10−4P(\text{Regular}) \le 1.5 \times 10^{-4} at N=10N=10, and 0.00000.0000 at all N≥11N \ge 11), and the mean vertex degree variance widens secularly to σd2=0.7328\sigma_d^2 = 0.7328.

The Cosmological Physical Barrier (N≥16N \ge 16 Full Enumeration)​

Beyond N=12N=12, exact layer-by-layer multiway trajectory enumeration crosses absolute physical boundaries:

  1. Planetary Storage Limit (N≥16N \ge 16): At N=16N=16, the unlabelled graph state space exceeds 102310^{23} classes, surpassing the total aggregate digital storage capacity of human civilization (∼1021\sim 10^{21} bytes).
  2. Cosmic Entropy Limit (N≥100N \ge 100): At cosmological scales (N=100N=100), the number of distinct graph macrostates (∼101332\sim 10^{1332}) and trajectory paths (M∼1016100M \sim 10^{16100}) surpasses the total number of subatomic particles in the observable universe (108010^{80}) by over 1,200 orders of magnitude.

This establishes that the multiway state space explosion is not an artifact of software engineering, but a fundamental manifestation of computational irreducibility. The physical universe itself lacks the entropy budget, memory, and degrees of freedom required to "smooth out" or pre-compute an unguided dense substrate KNK_N. Without explicit local dynamical conservation laws, pre-geometric dimensional reduction remains trapped within this combinatorially impenetrable phase space.


6. Entropic Gravity and Non-Vanishing Vacuum Energy​

We now state and prove the primary physical theorem governing continuum emergence and discrete entanglement equilibrium.

Theorem 1 (Thermodynamic Obstruction to Flat Continuum Vacuum). Let M\mathcal{M} be the multiway evolution system of a closed spatial hypergraph H\mathcal{H} undergoing dimensional reduction from an initial complete graph KN0K_{N_0} under a local rewriting rule set RR. Under the following conditions:

  1. Closed Ontology: The multiway hypergraph constitutes the complete physical state space (no external heat sinks).
  2. Operational Coarse-Graining: The embedded observer measures local spatial observables via the reduced density matrix ρspatial=Tr⁡branchial(∣Ψt⟩⟨Ψt∣)=∑Gp(G)∣G⟩⟨G∣\rho_{\text{spatial}} = \operatorname{Tr}_{\text{branchial}}(|\Psi_t\rangle\langle\Psi_t|) = \sum_{G} p(G) |G\rangle\langle G|.
  3. Semiclassical Entanglement Equilibrium: Semiclassical spacetime emerges via Jacobson's entanglement equilibrium thermodynamics [10, 11] on causal horizon boundaries.

Then the topological macrostate dispersion across non-isomorphic graphs enforces ρspatial≠ρ0\rho_{\text{spatial}} \neq \rho_0, and the discrete modular Hamiltonian excitation satisfies:

Δ⟨Kgraph⟩≥12∥ρspatial−ρ0∥12>0\Delta \langle K_{\text{graph}} \rangle \ge \frac{1}{2} \|\rho_{\text{spatial}} - \rho_0\|_1^2 > 0

precluding an unperturbed flat classical vacuum (Tμν=0T_{\mu\nu} = 0) over finite observational timescales.

Proof.

I. Process Entropy and Macrostate Dispersion At N=8,k=3N=8, k=3, asynchronous multiway execution generates M=894,757,885,819,817,073,868,800M = 894,757,885,819,817,073,868,800 paths (Hprocess=79.5658H_{\text{process}} = 79.5658 bits), while the terminal physical isomorphism classes collapse to ∣Ωterminal∣=355|\Omega_{\text{terminal}}| = 355 with realized Shannon entropy Hmacrorealized=6.6960H_{\text{macro}}^{\text{realized}} = 6.6960 bits. The unreconciled process entropy is:

ΔH=Hprocess−Hmacrorealized=72.8698 bits\Delta H = H_{\text{process}} - H_{\text{macro}}^{\text{realized}} = 72.8698 \text{ bits}

II. Discrete Graph Modular Hamiltonian Construction and KMS Regularization Let KgraphK_{\text{graph}} be the modular Hamiltonian operator on the spatial graph algebra. To ensure that the relative entropy support condition supp⁡(ρspatial)⊆supp⁡(ρ0)\operatorname{supp}(\rho_{\text{spatial}}) \subseteq \operatorname{supp}(\rho_0) is satisfied across the full Fock-graded Hilbert space, we regularize the reference vacuum as the full-rank Kubo-Martin-Schwinger (KMS) thermal state at finite inverse temperature β>0\beta > 0:

ρ0β=exp⁡(−βKgraph)Z(β),Z(β)=Tr⁡(exp⁡(−βKgraph))\rho_0^\beta = \frac{\exp(-\beta K_{\text{graph}})}{Z(\beta)}, \quad Z(\beta) = \operatorname{Tr}\left(\exp(-\beta K_{\text{graph}})\right)

Under the First Law of Entanglement Thermodynamics [10, 11], the modular Hamiltonian excitation Δ⟨K⟩=Tr⁡(ρspatialK)−Tr⁡(ρ0βK)\Delta \langle K \rangle = \operatorname{Tr}(\rho_{\text{spatial}} K) - \operatorname{Tr}(\rho_0^\beta K) satisfies the exact operator identity:

Δ⟨Kgraph⟩=1β[Srel(ρspatial∥ρ0β)+ΔS(ρspatial)]\Delta \langle K_{\text{graph}} \rangle = \frac{1}{\beta} \left[ S_{\text{rel}}(\rho_{\text{spatial}} \parallel \rho_0^\beta) + \Delta S(\rho_{\text{spatial}}) \right]

where ΔS(ρspatial)=S(ρspatial)−S(ρ0β)≥0\Delta S(\rho_{\text{spatial}}) = S(\rho_{\text{spatial}}) - S(\rho_0^\beta) \ge 0 represents subsystem entropy production.

III. Quantum Pinsker Inequality and Modular Lower Bound Because ρ0β\rho_0^\beta is full rank, the quantum relative entropy:

Srel(ρspatial∥ρ0β)=Tr⁡(ρspatiallog⁡ρspatial)−Tr⁡(ρspatiallog⁡ρ0β)S_{\text{rel}}(\rho_{\text{spatial}} \parallel \rho_0^\beta) = \operatorname{Tr}(\rho_{\text{spatial}} \log \rho_{\text{spatial}}) - \operatorname{Tr}(\rho_{\text{spatial}} \log \rho_0^\beta)

is strictly finite. By the Quantum Pinsker Inequality, relative entropy provides an exact quadratic lower bound in terms of the trace norm (where ∥X∥1≡Tr⁡X†X\|X\|_1 \equiv \operatorname{Tr}\sqrt{X^\dagger X} is the Schatten 1-norm, related to trace distance by D(ρ,σ)=12∥ρ−σ∥1D(\rho, \sigma) = \frac{1}{2}\|\rho - \sigma\|_1):

Srel(ρspatial∥ρ0β)≥12∥ρspatial−ρ0β∥12S_{\text{rel}}(\rho_{\text{spatial}} \parallel \rho_0^\beta) \ge \frac{1}{2} \|\rho_{\text{spatial}} - \rho_0^\beta\|_1^2

In the zero-temperature vacuum limit (β→∞\beta \to \infty), ρ0β\rho_0^\beta converges to the coherent regular lattice projection ρ0=∣Gvac⟩⟨Gvac∣\rho_0 = |G_{\text{vac}}\rangle\langle G_{\text{vac}}|. The trace norm evaluates analytically to:

lim⁡β→∞∥ρspatial−ρ0β∥1=∑G≠Gvacp(G)+∣p(Gvac)−1∣=2(1−p(Gvac))\lim_{\beta \to \infty} \|\rho_{\text{spatial}} - \rho_0^\beta\|_1 = \sum_{G \neq G_{\text{vac}}} p(G) + |p(G_{\text{vac}}) - 1| = 2(1 - p(G_{\text{vac}}))

By Theorem 5.2, for any local rewriting rule undergoing unguided dimensional reduction on dense substrates, subcritical percolation forces the manifold vacuum probability mass to vanish exponentially: p(Gvac)≤P(Γmanifold)≤exp⁡(−μN0)→0p(G_{\text{vac}}) \le P(\Gamma_{\text{manifold}}) \le \exp(-\mu N_0) \to 0 as N0→∞N_0 \to \infty (corroborated empirically by p(Gvac)≤4.53×10−7p(G_{\text{vac}}) \le 4.53 \times 10^{-7} at N=8N=8). Consequently, the relative entropy lower bound satisfies:

Srel(ρspatial∥ρ0)≥12[2(1−p(Gvac))]2=2(1−p(Gvac))2→N0→∞2.0 natsS_{\text{rel}}(\rho_{\text{spatial}} \parallel \rho_0) \ge \frac{1}{2} [2(1 - p(G_{\text{vac}}))]^2 = 2(1 - p(G_{\text{vac}}))^2 \xrightarrow{N_0 \to \infty} 2.0 \text{ nats}

Because subsystem entropy production satisfies ΔS=Hmacro≥0\Delta S = H_{\text{macro}} \ge 0, the modular Hamiltonian excitation is strictly lower-bounded:

Δ⟨Kgraph⟩≥2(1−p(Gvac))2⟶2.0 nats>0\Delta \langle K_{\text{graph}} \rangle \ge 2(1 - p(G_{\text{vac}}))^2 \longrightarrow 2.0 \text{ nats} > 0

IV. Scalar Matter Dispersion and Spectral Gap Collapse This non-equilibrium topological mixedness is corroborated by scalar matter field dynamics propagating on the graph substrate (Hmatter=12ϕTLϕ\mathcal{H}_{\text{matter}} = \frac{1}{2}\phi^T L \phi). The zero-momentum non-constant fluctuation ground state energy is governed by the algebraic connectivity (Fiedler eigenvalue / spectral gap λ2(L)\lambda_2(L)):

E0=inf⁡ϕ⊥1,∥ϕ∥=1ϕTLϕ=λ2(L)\mathcal{E}_0 = \inf_{\phi \perp \mathbf{1}, \|\phi\|=1} \phi^T L \phi = \lambda_2(L)

For the connected vacuum lattice GvacG_{\text{vac}}, λ2(Lvac)>0\lambda_2(L_{\text{vac}}) > 0. However, for the dominant terminal macrostates (which partition into c≥2c \ge 2 disconnected island components), the spectral gap collapses to zero: λ2(Lisland)=0\lambda_2(L_{\text{island}}) = 0. The resulting spectral gap deviation:

Δλ2=⟨λ2(L)⟩ρspatial−λ2(Lvac)=∑Gp(G)λ2(G)−λ2(Lvac)<0\Delta \lambda_2 = \langle \lambda_2(L) \rangle_{\rho_{\text{spatial}}} - \lambda_2(L_{\text{vac}}) = \sum_{G} p(G) \lambda_2(G) - \lambda_2(L_{\text{vac}}) < 0

demonstrates that scalar fluctuations decouple across disconnected topological components, generating infrared divergences and non-equilibrium scalar dispersion on the horizon.

V. Semiclassical Stress-Energy Generation as an Internal Obstruction In the Wolfram Physics Project (Gorard [4], §3.3 "Entanglement Equilibrium and the Einstein Field Equations"), continuum general relativity is posited to emerge from multiway branchial space via Jacobson's entanglement equilibrium thermodynamics (δS=δ⟨K⟩\delta S = \delta \langle K \rangle), where the modular Hamiltonian of a spatial region is defined identically as K=−log⁡ρAK = -\log \rho_A, and unperturbed Minkowski spacetime requires an unexcited vacuum state (Δ⟨K⟩=0  ⟹  Tab=0\Delta \langle K \rangle = 0 \implies T_{ab} = 0). Under the Jacobson-Padmanabhan holographic mapping [8, 10, 11]:

Δ⟨Kgraph⟩=2πℏ∫ΣTabξadΣb\Delta \langle K_{\text{graph}} \rangle = \frac{2\pi}{\hbar} \int_{\Sigma} T_{ab} \xi^a d\Sigma^b

Theorem 1 establishes an internal obstruction to this mechanism: because open-system branchial coarse-graining enforces Δ⟨Kgraph⟩≥2(1−p(Gvac))2>0\Delta \langle K_{\text{graph}} \rangle \ge 2(1 - p(G_{\text{vac}}))^2 > 0, the emergent stress-energy tensor across the localized horizon is strictly non-vanishing (Tab≠0T_{ab} \neq 0). Therefore, an unperturbed, zero-energy classical continuum vacuum (Tμν=0T_{\mu\nu} = 0) cannot be dynamically recovered over finite observational timescales within the framework's own stated thermodynamic bridge. □\square


6.1 Analytical Evaluation of Continuum Approximations​

Our findings identify specific formal limitations in the mathematical bridges proposed by Gorard [4] to transition from discrete hypergraphs to continuous Riemannian geometry:

Spatial Variance of Local Dimension in Volume Growth​

To derive the Einstein field equations, Gorard invokes the volume growth formula for a discrete geodesic ball of radius rr:

Vx(r)=ard[1−16(d+2)Rjkxjxk+O(r3)]V_x(r) = a r^d \left[ 1 - \frac{1}{6(d+2)} R_{jk} x^j x^k + \mathcal{O}(r^3) \right]

where dd is assumed to be a constant integer dimension and RjkR_{jk} is the discrete Ricci curvature tensor.

However, as demonstrated in our simulations, the local coordination degree exhibits spatial variance across the graph. Because local dimension d(x)d(x) is a dynamical, spatially varying quantity, the Taylor expansion of Vx(r)V_x(r) is ill-defined: volume growth is dominated by local dimensional fluctuations rather than geometric curvature terms.

Breakdown of Chapman-Enskog Solvability in Discrete Graph Rewriting​

Gorard attempts to justify the emergence of the continuum Einstein field equations from discrete causal graphs by asserting a formal correspondence with the Chapman-Enskog hydrodynamic expansion in kinetic theory:

“The nature of this derivation of the continuum Einstein field equations from the underlying discrete geometry of the causal graph is formally analogous to the so-called ‘Chapman-Enskog’ hydrodynamic expansion... with the function C(t)=atn[1−16Rjktjtk+O(∥t∥3)]C(t) = a t^n [1 - \frac{1}{6} R_{jk} t^j t^k + \mathcal{O}(\|t\|^3)] playing the role of a ‘distribution function’ for vertices in the causal graph.” [4]

This correspondence fails under exact functional-analytic and kinetic principles:

  1. The Fredholm Solvability Condition in Kinetic Theory: In kinetic theory and Lattice Gas Cellular Automata [14], macroscopic conservation laws are derived from a microscopic transport equation parameterized by the Knudsen number ϵ=Kn≪1\epsilon = \text{Kn} \ll 1:
Df=1ϵC[f],D≡∂t+v⋅∇\mathcal{D} f = \frac{1}{\epsilon} \mathcal{C}[f], \quad \mathcal{D} \equiv \partial_t + \mathbf{v} \cdot \nabla

Expanding the distribution function f=f(0)+ϵf(1)+O(ϵ2)f = f^{(0)} + \epsilon f^{(1)} + \mathcal{O}(\epsilon^2) about local equilibrium f(0)f^{(0)} yields the linearized operator equation at order O(1)\mathcal{O}(1):

Lf(1)=D(0)f(0),L≡δCδf∣f(0)\mathcal{L} f^{(1)} = \mathcal{D}^{(0)} f^{(0)}, \quad \mathcal{L} \equiv \left. \frac{\delta \mathcal{C}}{\delta f} \right|_{f^{(0)}}

By the Fredholm Alternative for linear operators on Hilbert space L2(V,dμ)L^2(\mathcal{V}, d\mu), a physical correction f(1)f^{(1)} exists if and only if the inhomogeneous driving term is orthogonal to the null space of the adjoint operator L†\mathcal{L}^\dagger:

⟨ψα,D(0)f(0)⟩=0,∀ψα∈ker⁡(L†)\left\langle \psi_\alpha, \mathcal{D}^{(0)} f^{(0)} \right\rangle = 0, \quad \forall \psi_\alpha \in \operatorname{ker}(\mathcal{L}^\dagger)

In physical fluids, the non-triviality of this kernel (dim⁡ker⁡(L†)=d+2\dim \operatorname{ker}(\mathcal{L}^\dagger) = d + 2) is guaranteed by the microscopic collisional invariants ψα∈{1,v,∣v∣2}\psi_\alpha \in \{1, \mathbf{v}, |\mathbf{v}|^2\}, which satisfy ⟨ψα,C[f]⟩=0\langle \psi_\alpha, \mathcal{C}[f] \rangle = 0. Projecting the kinetic equation onto ker⁡(L†)\operatorname{ker}(\mathcal{L}^\dagger) yields the continuity, Euler, and Navier-Stokes equations as closed partial differential equations with conserved currents ∂μTμν=0\partial_\mu T^{\mu\nu} = 0.

  1. Absence of Hydrodynamic Tensor Collision Invariants (ker⁡(Lgraph†)=span⁡{1}\operatorname{ker}(\mathcal{L}_{\text{graph}}^\dagger) = \operatorname{span}\{\mathbf{1}\}): In discrete hypergraph rewriting, let the operational state space be defined on the Hilbert space of local subgraph motif densities ℓ2(Mlocal)\ell^2(\mathcal{M}_{\text{local}}), where Mlocal={m1,m2,… }\mathcal{M}_{\text{local}} = \{m_1, m_2, \dots\} represents the countable basis of local hypergraph isomorphism classes of bounded radius rr. For graphs of bounded maximum coordination degree dmax⁡<∞d_{\max} < \infty, the number of valid redex matches per motif is finite, ensuring that the transition operator:
(Cgraphf)(m)=∑m′∈Mlocal[W(m′→m)f(m′)−W(m→m′)f(m)](\mathcal{C}_{\text{graph}} f)(m) = \sum_{m' \in \mathcal{M}_{\text{local}}} \left[ W(m' \to m) f(m') - W(m \to m') f(m) \right]

is a bounded linear operator on ℓ2(Mlocal)\ell^2(\mathcal{M}_{\text{local}}) with closed range, satisfying the Fredholm Alternative im⁡(Lgraph)=ker⁡(Lgraph†)⊥\operatorname{im}(\mathcal{L}_{\text{graph}}) = \operatorname{ker}(\mathcal{L}_{\text{graph}}^\dagger)^\perp.

Because the Markov transition kernel satisfies total probability conservation (∑m(Cgraphf)(m)=0\sum_m (\mathcal{C}_{\text{graph}} f)(m) = 0), the constant scalar functional ψ0(m)=1\psi_0(m) = 1 is a left null vector: Lgraph†1=0\mathcal{L}_{\text{graph}}^\dagger \mathbf{1} = 0. However, for generic hypergraph substitution rules (such as 2-in 4-out or 2-in 1-out):

ΔVr=∣V(H2)∣−∣V(H1)∣≠0,ΔEr=∣E(H2)∣−∣E(H1)∣≠0\Delta V_r = |V(H_2)| - |V(H_1)| \neq 0, \quad \Delta E_r = |E(H_2)| - |E(H_1)| \neq 0

Because vertices, edges, and topological degrees are created and destroyed at uncoordinated spatial locations, generic rewriting rules possess no non-trivial vector or tensor collision invariants ψα∈{v,∣v∣2,Tμν}\psi_\alpha \in \{\mathbf{v}, |\mathbf{v}|^2, T_{\mu\nu}\} satisfying ⟨ψα,Cgraph[f]⟩=0\langle \psi_\alpha, \mathcal{C}_{\text{graph}}[f] \rangle = 0.

Consequently, the adjoint null space on ℓ2(Mlocal)\ell^2(\mathcal{M}_{\text{local}}) is strictly 1-dimensional, containing only the trivial scalar probability invariant: ker⁡(Lgraph†)=span⁡{1}\operatorname{ker}(\mathcal{L}_{\text{graph}}^\dagger) = \operatorname{span}\{\mathbf{1}\}. In our Lean 4 formal verification (formal-proofs/CausalInvariance.lean, Section 3), we formally machine-check the general adjoint kernel 1-dimensionality theorem (general_adjoint_kernel_is_one_dimensional): on any weakly connected state space under transition relation RR, the space of conserved observables is strictly 1-dimensional (consisting only of constants), precluding the existence of non-trivial collision invariants. Projecting the kinetic transport equation D(0)f(0)\mathcal{D}^{(0)} f^{(0)} onto ker⁡(Lgraph†)\operatorname{ker}(\mathcal{L}_{\text{graph}}^\dagger) yields only the scalar continuity equation ∂tρ=0\partial_t \rho = 0, with zero closed momentum or curvature flux equations (∇μTμν=0\nabla_\mu T^{\mu\nu} = 0). The moment hierarchy cannot be closed at any finite order O(ϵk)\mathcal{O}(\epsilon^k), preventing the emergence of the Einstein field equations (Gμν=8πGTμνG_{\mu\nu} = 8\pi G T_{\mu\nu}) or any closed-form tensor hydrodynamic partial differential equation.

  1. Phase-Space Incompatibility and Lack of Local Equilibrium: A true distribution function f(x,p,t)f(\mathbf{x}, \mathbf{p}, t) represents a normalized probability density on phase space (∫fdxdp=1\int f d\mathbf{x} d\mathbf{p} = 1). The volume growth C(t)C(t) is a monotonic geometric metric measure on the causal poset, not a normalized phase-space density. Furthermore, the Chapman-Enskog expansion expands around a maximum-entropy local Maxwellian f(0)f^{(0)}. Discrete hypergraph rewriting models possess no thermodynamic equilibrium state, temperature, or pressure field from which to perturb.

Coordinate Singularities in Bimetric VSL Cosmology​

In Section 3.4 of Ref. [4], Gorard models early-universe dimensional reduction via a variable speed of light (VSL) bimetric line element:

ds2=−c(t)2dt2+a(t)2δijdxidxj,c(t)=c0[1+(cearly−1)Θ(tc−t)]ds^2 = -c(t)^2 dt^2 + a(t)^2 \delta_{ij} dx^i dx^j, \quad c(t) = c_0 \left[ 1 + (c_{\text{early}} - 1) \Theta(t_c - t) \right]

This step function Θ(tc−t)\Theta(t_c - t) introduces a jump discontinuity into the metric tensor gμνg_{\mu\nu} at t=tct = t_c. In general relativity, metric step discontinuities across a spacelike hyper-surface Σ ⁣:t=tc\Sigma \colon t = t_c are governed by the Darmois-Israel junction conditions. A discontinuity in the extrinsic curvature [Kij]=Kij+−Kij−[K_{ij}] = K_{ij}^+ - K_{ij}^- strictly requires a non-vanishing singular surface stress-energy tensor:

Sij=−18πG([Kij]−[K]hij)≠0S_{ij} = -\frac{1}{8\pi G} \left( [K_{ij}] - [K] h_{ij} \right) \neq 0

An empty vacuum (Tμν=0T_{\mu\nu} = 0) across a discontinuous metric transition is a direct mathematical violation of the Einstein field equations. Accommodating this metric discontinuity within general relativity strictly requires a localized matter boundary layer (a delta-function source Tμν∝δ(t−tc)T_{\mu\nu} \propto \delta(t - t_c)), directly contradicting the Wolfram model's premise that early-universe dimensional reduction represents an empty, purely geometric vacuum. In the absence of such a localized matter boundary layer, the Christoffel connections produce ill-defined Dirac delta products in the Riemann curvature tensor (R∼Θ(t)δ(t)R \sim \Theta(t)\delta(t)), causing the geodesic equation d2xμdτ2+Γαβμdxαdτdxβdτ=0\frac{d^2 x^\mu}{d\tau^2} + \Gamma^\mu_{\alpha\beta} \frac{dx^\alpha}{d\tau} \frac{dx^\beta}{d\tau} = 0 to break down in classical Riemannian geometry.

Contrast with Causal Dynamical Triangulations and Microstate Entropy Cancellation​

The failure of generic hypergraph rewriting to sustain a stable 4-dimensional continuum contrasts sharply with Causal Dynamical Triangulations (CDT) [1]. In CDT, recovering smooth 4D Lorentzian spacetime from discrete causal simplices requires a non-perturbative path integral:

ZCDT(κ0,Δ,κ4)=∑T∈T1C(T)exp⁡(−SRegge[T])Z_{\text{CDT}}(\kappa_0, \Delta, \kappa_4) = \sum_{T \in \mathcal{T}} \frac{1}{C(T)} \exp\left( -S_{\text{Regge}}[T] \right)

where C(T)=∣Aut⁡(T)∣C(T) = |\operatorname{Aut}(T)|, and SReggeS_{\text{Regge}} is the discrete Einstein-Hilbert-Regge action on 4-simplices:

SRegge[T]=−(κ0+6Δ)N0(T)+κ4N4(T)+Δ(2N1(4,1)(T)+N1(3,2)(T))S_{\text{Regge}}[T] = -(\kappa_0 + 6\Delta) N_0(T) + \kappa_4 N_4(T) + \Delta \left( 2 N_1^{(4,1)}(T) + N_1^{(3,2)}(T) \right)

Here N0(T)N_0(T) is the vertex count, N4(T)N_4(T) is the total 4-simplex count, N1N_1 counts timelike edges, and the bare couplings κ0,κ4,Δ\kappa_0, \kappa_4, \Delta represent the inverse bare Newton constant, the bare cosmological constant, and the timelike-to-spacelike asymmetry ratio at/asa_t / a_s.

The ensemble free energy at fixed volume N4N_4 is governed by the competition between the Regge action and the combinatorial configuration entropy of triangulations:

F(N4)=−ln⁡∑T∈TN4exp⁡(−SRegge[T])=⟨SRegge⟩N4−Sconfig(N4)F(N_4) = -\ln \sum_{T \in \mathcal{T}_{N_4}} \exp\left( -S_{\text{Regge}}[T] \right) = \langle S_{\text{Regge}} \rangle_{N_4} - S_{\text{config}}(N_4)

Because the microstate cardinality grows exponentially (∣TN4∣∼eμ0N4N4γ−1|\mathcal{T}_{N_4}| \sim e^{\mu_0 N_4} N_4^{\gamma-1}), an infinite-volume continuum limit exists if and only if the bare cosmological constant is fine-tuned to the critical threshold κ4→κ4c(κ0,Δ)=μ0\kappa_4 \to \kappa_4^c(\kappa_0, \Delta) = \mu_0, canceling the leading-order entropy explosion ((κ4−μ0)N4→0(\kappa_4 - \mu_0)N_4 \to 0). Semiclassical 4D de Sitter geometry (ds=4.02±0.10d_s = 4.02 \pm 0.10) emerges exclusively along a second-order transition boundary Δ=Δc(κ0)\Delta = \Delta_c(\kappa_0), where the correlation length of metric fluctuations diverges (ξ=a/mgap→∞\xi = a / m_{\text{gap}} \to \infty as a→0a \to 0 with physical 4-volume V4=N4a4V_4 = N_4 a^4 fixed).

In contrast, the asynchronous hypergraph multiway measure P(γ)=∏t=0L−1b(Gt)−1P(\gamma) = \prod_{t=0}^{L-1} b(G_t)^{-1} incorporates no action, no Boltzmann suppression factor, and no tunable coupling parameters:

Zmultiway=∑γ∈PLP(γ)=1Z_{\text{multiway}} = \sum_{\gamma \in \mathcal{P}_L} P(\gamma) = 1

Because there is no bare action to counteract the super-quadratic growth of graph microstates (Sconfig(N)∼Hprocess(N)=Θ(N2log⁡N)S_{\text{config}}(N) \sim H_{\text{process}}(N) = \Theta(N^2 \log N)), the effective free energy is purely entropic:

Feff=−Sconfig(N)=−Θ(N2log⁡N)⟶−∞F_{\text{eff}} = -S_{\text{config}}(N) = -\Theta(N^2 \log N) \longrightarrow -\infty

Without a tunable action parameter κ4c\kappa_4^c to cancel SconfigS_{\text{config}} or a critical coupling Δc\Delta_c to access a second-order transition, the dynamical probability measure is driven into the generic maximum-entropy state space. By the Lovász Homomorphism Theorem and subcritical percolation (Section 5.2), this unconstrained entropy maximum is precisely the disconnected island topology sector (λ2(L)=0\lambda_2(L) = 0), the discrete graph analogue of the degenerate CDT branched polymer phase.


6.2 Topological Defects as Matter vs. Vacuum Instability​

In Gorard's framework, elementary particles are identified with localized nonplanar graph defects (subdivisions of Kuratowski minors K5K_5 or K3,3K_{3,3}, as shown in Figure 6).

Nonplanar graph defects representing localized particle states, replicated from Ref. [4].

However, our path-weighted terminal distribution demonstrates that nonplanar defects and isolated vertices are not rare, localized excitations propagating on a smooth background. Instead, the dynamical probability measure concentrates on nonplanar anomalies and disconnected topologies as a consequence of unguided path-merging. Matter does not emerge as an isolated perturbation; the background spatial geometry is modified by the accumulated entropy of history coarse-graining.


7. Explicit Operational Falsifiability Criteria & Conclusion​

To maintain strict scientific falsifiability, we define two explicit operational criteria under which the thesis of this paper is falsified:

  1. Microscopic Conservation Law Construction: A deterministic, local hypergraph replacement rule set is constructed possessing explicit local topological invariants (e.g. divergence-free flux conservation or local vertex-charge conservation) that suppresses asynchronous branching such that macrostate entropy dispersion vanishes asymptotically: lim⁡N→∞Hmacro(N)=0  ⟹  ∥ρspatial−ρ0∥1⟶0\lim_{N \to \infty} H_{\text{macro}}(N) = 0 \implies \|\rho_{\text{spatial}} - \rho_0\|_1 \longrightarrow 0
  2. Spectral Dimension & Vacuum Recovery: A local rule set is demonstrated that dynamically guides an initially dense substrate KNK_N into an ensemble of states whose spectral dimension converges to ds=3.0±ϵd_s = 3.0 \pm \epsilon while maintaining Laplacian algebraic connectivity λ2(L)>0\lambda_2(L) > 0 and vanishing modular excitation Δ⟨Kgraph⟩→0\Delta \langle K_{\text{graph}} \rangle \to 0 without requiring non-local coordination or external coarse-graining.

If a discrete rewriting architecture satisfies these criteria, it achieves finite-time general covariance with zero operational entropy. In the absence of such a demonstration, the combinatorial cost of pre-geometric dimensional reduction is paid, and this informational overhead remains trapped within the relational vacuum metric.

Conclusion​

Asymptotic confluence is an insufficient mechanism for establishing discrete general covariance in physically realizable hypergraph rewriting models. Because physical observers operate within finite causal domains, finite-time path reconciliation requires many-to-one state coarse-graining. In a closed ontology lacking an external heat sink, the resulting Lindbladian entropy production manifests as persistent structural defects in the spatial relational network. Grounded within Jacobson's entanglement thermodynamics, this topological mixedness excites the vacuum modular Hamiltonian, precluding an empty classical continuum vacuum (Tμν=0T_{\mu\nu} = 0). Furthermore, under the Lovász Graph Homomorphism Theorem, the combinatorial phase space of dimensional reduction scales super-quadratically (Θ(N2log⁡N)\Theta(N^2 \log N)), driving unguided local rules into fragmented island topologies. Discrete pre-geometric spacetime models cannot rely on infinite asymptotic limits; they require explicit, local dynamical conservation laws to achieve stable continuum physics.


References​

[1] J. Ambjørn, J. Jurkiewicz, and R. Loll, "Emergence of a 4D World from Causal Quantum Gravity," Phys. Rev. Lett., 93(13) (2004) 131301.

[2] L. Bombelli, J. Lee, D. Meyer, and R. D. Sorkin, "Space-Time as a Causal Set," Phys. Rev. Lett., 59(5) (1987) 521–524.

[3] S. Wolfram, A New Kind of Science, Wolfram Media, Inc., Champaign, IL, 2002.

[4] J. Gorard, "Some Relativistic and Gravitational Properties of the Wolfram Model," Complex Systems, 29(2) (2020) 599–654.

[5] R. Arnowitt, S. Deser, and C. W. Misner, "The Dynamics of General Relativity," in Gravitation: An Introduction to Current Research (L. Witten, ed.), Wiley, New York, 1962, pp. 227–265.

[6] M. Piskunov, "Logical Independence of Confluence and Causal Invariance in Set Substitution Systems," Wolfram Physics Project Research Archive (2020).

[7] J. D. Bekenstein, "Universal Upper Bound on the Entropy-to-Energy Ratio for Bounded Systems," Phys. Rev. D, 23(2) (1981) 287–298.

[8] T. Padmanabhan, "The Holographic Scorecard of Gravity," Gen. Relativ. Gravit., 37(12) (2005) 2029–2035.

[9] M. Faizal and M. M. Khalil, "Entropic Corrections to Gravity and Vacuum Energy," Int. J. Mod. Phys. D, 24(05) (2015) 1550031.

[10] T. Jacobson, "Thermodynamics of Spacetime: The Einstein Equation of State," Phys. Rev. Lett., 75(7) (1995) 1260–1263.

[11] T. Jacobson, "Entanglement Equilibrium and the Einstein Equation," Phys. Rev. D, 93(12) (2016) 124033. [12] L. Lovász, Large Networks and Graph Limits, American Mathematical Society, Colloquium Publications, Vol. 60, Providence, RI, 2012.

[13] S. Janson, T. Łuczak, and A. Rucinski, Random Graphs, John Wiley & Sons, New York, 2000.

[14] U. Frisch, B. Hasslacher, and Y. Pomeau, "Lattice Gas Automata for the Navier-Stokes Equation," Phys. Rev. Lett., 56(14) (1986) 1505–1508.


Supplementary Computational Material​

The complete computational architecture, machine-checked formal proofs, and simulation suites accompanying this work are documented in full in COMPUTATIONAL-SUPPLEMENT.md and packaged in the open-source replication archive causal-invariance-replication.zip:

  • Machine-Checked Formal Proofs (Lean 4): formal-proofs/CausalInvariance.lean
    Constructive formalization of the ARS core, causal DAG posets, trace fiber non-injectivity, cycle irreflexivity violation, 1-dimensional adjoint invariant kernels, and the decoupling master theorems (00 custom axioms, 00 sorry gaps).
  • High-Performance Multiway Simulation Engine (C++20): cpp/causal_invariance_engine.cpp
    Hardware-accelerated bitset operations (std::popcount, std::countr_zero), exact 128-bit unsigned integer path accumulation (unsigned __int128), and multithreaded Monte Carlo percolation sampling exceeding 3.1×1063.1 \times 10^6 trajectories/second.
  • Reference Simulation & Combinatorial Auditor (Python 3): causal_invariance_auditor.py
    Automorphism canonicalization caching, multiway state space induction, explicit Wolfram hypergraph replacement rules (2-in 4-out expansion, 2-in 1-out contraction, 2-in 2-out swap), and KMS quantum relative entropy calculations.
  • Automated Verification & Pytest Test Suite: tests/test_causal_invariance_auditor.py
    Comprehensive 30-test automated validation harness checking analytical combinatorics ground truths, Fiedler spectral gap collapse, Lovász graph homomorphism bounds, and Lean 4 kernel verification.