Chapter 11: Differential Geometry (Discrete)

11.4 Formal Synthesis

End of Chapter 11

We have successfully constructed a rigorous discrete differential geometry upon the foundation of the causal graph, integrating the GHW Metric §11.1.1 as the ruler of causal space and the lazy causal measure §11.2.1 to define the Causal Ollivier-Ricci curvature §11.2.2.

This implies that geometry is not an abstract background, but an active manifestation of causal capacity, where flat regions represent linear transmission and curved zones indicate feedback and structural integration. The Curvature Monotonicity §11.3.2 proves that the discrete action EH scales with complexity, ensuring that thermodynamic relaxation generates a coherent spatial history. Yet, this introduces a deep physical friction: the discrete curvature is fundamentally non-local, leaving the local differential field equations of gravity as an effective approximation.

We now possess a fully defined geometric spacetime that arises directly from discrete causal relations. The stage is set for the final deductive leap: deriving the local laws of motion. We turn next to Chapter 12: Discrete Field Equations, where the variational principles of this action will yield the discrete field equations of gravity.

---

Table of Symbols

Symbol	Description	Context / First Used
$d_{GH}(X,Y)$	Gromov-Hausdorff distance	§11.1.1.1
$d_H(A,B)$	Hausdorff distance	§11.1.1.1
$W_1(\mu_X, \mu_Y)$	Wasserstein-1 transport metric	§11.1.1.1
$d_{GHW}$	Gromov-Hausdorff-Wasserstein metric	§11.1.1.1
$\bar{d}(u,v)$	Undirected shortest-path metric	§11.1.2
$N^+(u), N^-(u)$	Future/Past causal neighborhoods	§11.2
$\alpha$	Laziness parameter (self-mass)	§11.2
$\beta$	Neighborhood mass parameter ($(1-\alpha)/2$)	§11.2
$\mu_u$	Lazy causal probability measure for vertex $u$	§11.2.1.1
$\mathbb{I}[\cdot]$	Indicator function	§11.2.1.1
$K(u,v)$	Causal Ollivier-Ricci curvature	§11.2.2
$H(\mu_u)$	Shannon entropy of measure $\mu_u$	§11.2.3
$h(\alpha)$	Allocation entropy function	§11.2.3.1
$d_{\text{dir}}$	Directed distance function (shown insufficient)	§11.2.4.1
$\pi$	Transport coupling (joint measure)	§11.3.1
$m_w$	Zero-cost shared mass at vertex $w$	§11.3.3
$\Delta \mathcal{S}$	Variation in total action	§11.3.2
$K_{\text{baseline}}$	Baseline curvature in sparse graph	§11.3.2.1

---