Skip to main content

Chapter 2: Constraints

2.8 Formal Synthesis

End of Chapter 2

The three axioms forge the substrate's unyielding frame, erecting a rigid skeleton upon which the fabric of reality can braided. The Causal Primitive acts as a ratchet, directing influence without reversal and sharpening the arrow of time. Geometric Constructibility mandates the tiling of the vacuum with 3-cycle quanta, ensuring space is woven from fundamental areas. Finally, Acyclic Effective Causality projects these local rules into a global order, preventing the universe from trapping itself in the paradox of closed loops.

This triad delimits the boundaries of the possible. Our countermodels prove that each axiom serves as a unique load-bearing pillar of the theory, independent and necessary. Furthermore, the mechanism of Decomposition ensures that complex tangles dissolve into simplices, enforcing an inexorable drive toward geometric simplicity. Physically, the graph now accretes as a directed lattice, where every cycle resolves to a quantum of area and every edge preserves the integrity of history.

But a set of rules is not a universe; laws require a jurisdiction. Possessing the constraints but lacking the initial state, the investigation must now determine the specific configuration of the graph at t=0t=0 that satisfies these strictures while maximizing potential. This leads us to Chapter 3, where the unique topology of the vacuum is derived.


Table of Symbols

SymbolDescriptionContext / First Used
(u,v)(u, v)The Directed Causal Link (Atomic relation uvu \to v)§2.1.1
EEThe set of edges within the graph§2.1.1
    \impliesLogical implication§2.2.1
\forallUniversal quantifier ("for all")§2.2.1
Tself\mathcal{T}_{self}Self-Loop Addition Operation§2.2.3
Ω(G)\Omega(G)Cardinality of the set of Simple Paths§2.2.3
ΔS\Delta SChange in Entropy§2.2.3
kBk_BBoltzmann Constant§2.2.3
Tadd\mathfrak{T}_{add}Edge Addition Operation§2.3.1
Π2(u,v)\Pi_{\ell \le 2}(u, v)Set of Simple Directed Paths from uu to vv with length 2\le 2§2.3.1
LLLength of a cycle or path§2.3.1
γ\gammaGeometric Quantum (Directed 3-Cycle)§2.3.2
Φ(G)\Phi(G)Lexicographic Potential (Lmax,NLmax)(L_{\max}, N_{L_{\max}})§2.3.4
LmaxL_{\max}Length of the longest simple cycle in GG§2.3.4
NLmaxN_{L_{\max}}Count of distinct cycles of length LmaxL_{\max}§2.3.4
R\mathcal{R}The Rewrite Rule (Edge addition mechanism)§2.4.2
CCA Simple Directed Cycle§2.4.3
distC(u,v)\text{dist}_C(u, v)Distance between vertices along a cycle CC§2.4.3.1
Oadd\mathcal{O}_{add}Composite Addition Phase (Chord insertion)§2.4.5
Odel\mathcal{O}_{del}Composite Deletion Phase (Entropic breakage)§2.4.5
Sstep\mathcal{S}_{step}Composite Update Step (OdelOadd\mathcal{O}_{del} \circ \mathcal{O}_{add})§2.4.5
\leEffective Influence Relation (Strict Partial Order)§2.6.1
H(e)H(e)History Timestamp of edge ee§2.6.1
πuv\pi_{uv}A specific Simple Directed Path instance from uu to vv§2.6.1
¬\negLogical negation§2.7.1
NNTotal number of vertices in the graph§2.7.2
RRRadius of local computational patch§2.7.3
ρ\rhoEdge density of the graph§2.7.3
tcritt_{crit}Critical time where cycle diameter exceeds horizon§2.7.3
Perr(R)P_{err}(R)Probability of paradox evasion at radius RR§2.7.4
EsyncE_{sync}Energy required for global synchronization§2.7.5
DDGraph Diameter§2.7.5