---
title: "Lach-Space: A Unified Geometric Programme for Quantum Gravity, Matter, and the Standard Model"
subtitle: "A Status-Classified Treatise on the Quantum Spacetime Network"
author: "Datacraft Theoretical Physics Group"
date: "April 2026"
version: "v2.0 (status-classified revision)"
---

# Preface

This monograph presents Lach-Space, a background-independent programme of quantum gravity in which spacetime, matter, and gauge interactions are conjectured to emerge from a single combinatorial substrate: the *Quantum Spacetime Network* (QSN). The programme was initiated at Datacraft (www.datacraft.co.ke). The present volume consolidates the current state of the programme, distinguishing carefully between genuine theorems, conditional results, conjectures, heuristic derivations, and phenomenological proposals.

The present version (v2.0) is a status-classified revision of the v1.0 draft. It responds to a referee's critique that v1.0 overstated the level of rigour of several flagship claims. In this version, every numbered assertion carries a status tag from the following schedule.

**Status tags used throughout.**

* $\boxed{\text{Theorem}}$. A mathematical result proved in the text, or reduced with full verification of hypotheses to a cited peer-reviewed theorem.
* $\boxed{\text{Proposition}}$. A subsidiary proved statement, typically a constructive lemma or structural observation.
* $\boxed{\text{Conditional}}$. A result whose proof is complete assuming an explicitly named hypothesis that is not itself proved in this monograph.
* $\boxed{\text{Conjecture}}$. A statement the author believes to be true and has motivated, but for which the proof is incomplete in the present document, whether because a key step is heuristic, because hypotheses of an imported theorem are unverified in the QSN setting, or because the statement is by nature open.
* $\boxed{\text{Heuristic}}$. A physically motivated derivation at the level of formal manipulation, without a convergence or well-posedness argument.
* $\boxed{\text{Phenomenological}}$. An empirical proposal or exploratory prediction, not derived from prior theorems.

A result previously tagged $\boxed{\text{Theorem}}$ in v1.0 that did not meet the standard is downgraded here, with explicit notice. The tagging is intentionally conservative: where there is doubt, the weaker tag is used. The author invites readers and future referees to upgrade tags if and when gaps are closed.

We assume familiarity with pseudo-Riemannian geometry (O'Neill, *Semi-Riemannian Geometry*, Academic Press, 1983), von Neumann algebras (Takesaki, *Theory of Operator Algebras I–III*, Springer, 2002), lattice and continuum quantum field theory (Weinberg, *The Quantum Theory of Fields I–III*, Cambridge, 1995–2000), and the functional renormalization group (Dupuis et al., *Phys. Rep.* **910** (2021) 1). No prior exposure to loop quantum gravity, causal set theory, or quantum-group representation theory is assumed; the necessary technical apparatus is developed in situ.

**Distributed proof basis.** This monograph is no longer the sole proof container for Lach-Space. The proof support for every numbered result is now distributed across two documents: the present monograph (which contains the theorems, schematic proofs, and conceptual exposition) and the companion *Lach-Space Rigorous Proofs Companion* (Datacraft Research Memorandum, April 2026), which contains the full, step-by-step derivations from first principles. For every numbered result, the canonical final status and the location of its proof are given in the synchronized index of Appendix C.

**What is actually proved, per the synchronized index.** The Companion proves unconditionally: Prop. 3.2 (partial independence), Lem. 5.1 (Lorentzian pre-length space), Lem. 13.1 (volume quantisation), Thm. 13.2 (Henneaux-Teitelboim decomposition), and Props. 14.3, 14.4, 14.5 (inductive-limit trace, hyperfiniteness, factoriality). Lem. 5.2 (Ollivier on a cylinder) is proved modulo the Ajtai-Komlós-Tusnády transport theorem, which is invoked rather than re-derived. All remaining numbered results (including Thm. 5.3 Riemannian continuum limit, Thm. 5.5 Lorentzian continuum limit, Thm. 8.1 Einstein emergence, the Ch. 11-12 NGFP statements for the Einstein-Hilbert truncation, the Ch. 14 Cor. 14.6 Type II$_1$ identification, Thm. 15.1-15.2 for the Page curve, Thm. 16.1 UMTC structure, and Thms. 16.2-17.1 anomaly results) are Conditional on explicit, minimal hypothesis lists given in the Companion. Thm. 13.4 (observed $\Lambda$) is Phenomenological. Thm. 7.2 (Hauptvermutung), Thm. 11.4 (discreteness coefficient), Thm. 15.3 (II$_1$ Page curve), and Conjectures 14.7-14.8 remain open, with the strongest partial theorems proved in the Companion.

**v2.1 upgrade, Thm. 16.1.** The specialist-review flag carried in v2.0 is removed. The UMTC structure is now extracted from the compact real form $\mathfrak{spin}(5)$ (Lie type $B_2$), to which the classical Kazhdan-Lusztig construction and the Andersen-Paradowski modularity theorem apply directly. The Lorentzian holonomy interpretation is recovered via Wick rotation of the Reshetikhin-Turaev link invariants; this procedure is standard (cf. Barrett-Crane 1998; Freidel-Livine 2003). The result is therefore $\boxed{\text{Theorem modulo ClassicalN + ClassicalO}}$ in the Companion synchronized index (ClassicalN = Kazhdan-Lusztig equivalence for compact simple Lie algebras at roots of unity; ClassicalO = Andersen-Paradowski modularity for type-$B_2$ at odd roots of unity).

A convention is adopted throughout: the em dash is replaced by the en dash or comma, as requested by the author. Theorems are numbered consecutively within each chapter; equations are labelled by chapter and sequence. Cross-references to the Companion are written "Companion §$n$.$m$".

Nairobi, April 2026.

---

# Table of Contents

* Part I. Foundations
  * Chapter 1. Motivation and Historical Context
  * Chapter 2. Mathematical Preliminaries
  * Chapter 3. The Axioms of Lach-Space
* Part II. The Quantum Spacetime Network and Emergent Geometry
  * Chapter 4. The QSN: Nodes, Edges, Hilbert Space
  * Chapter 5. Discrete Curvature and Metric Emergence
  * Chapter 6. The Proper-Time Functional
  * Chapter 7. The Lorentzian Continuum Limit and the TCD Condition
* Part III. Classical and Quantum Dynamics
  * Chapter 8. Emergence of Einstein's Equations
  * Chapter 9. Matter Fields, Chiral Fermions, and the Ginsparg-Wilson Relation
* Part IV. Functional Renormalization Group and Asymptotic Safety
  * Chapter 10. The Wetterich Flow on the QSN
  * Chapter 11. Gravitational Beta Functions and the Vacuum NGFP
  * Chapter 12. Standard-Model-Shifted Fixed Point and Truncation Refinements
  * Chapter 13. The Cosmological Constant: Edge Modes and Unimodularity
* Part V. Operator-Algebraic Holography
  * Chapter 14. Edge-Mode Algebras and the Type $\mathrm{II}_1$ Factor
  * Chapter 15. The Page Curve and Entanglement Wedge Reconstruction
* Part VI. The $q$-Deformed Standard Model
  * Chapter 16. Quantum-Group Representation Theory on the QSN
  * Chapter 17. Embedding the Standard Model: GUQG and Anomaly Cancellation
* Part VII. Phenomenology
  * Chapter 18. Phenomenological Conjectures and Exploratory Signatures
  * Chapter 19. Numerical Methods and Monte Carlo Simulation
* Appendix A. Axiom Schedule and Hypothesis Inventory
* Appendix B. Notation, Symbols, and Units
* Appendix C. Master Index of Theorems
* Appendix D. Bibliography

---

# Part I. Foundations

---

## Chapter 1. Motivation and Historical Context

### 1.1. The Quantum Gravity Conundrum

General relativity (Einstein, *Ann. Phys.* **49** (1916) 769) and the quantum theory of matter (Dirac, *Proc. R. Soc. Lond. A* **117** (1928) 610; Weinberg, *QTF*, vols. I–III) are the two pillars of twentieth-century fundamental physics. Their empirical domains are today separated by twenty-five orders of magnitude in energy and fifty in action, yet every attempt at their quantum mechanical unification confronts the same technical obstruction: the perturbative expansion of the Einstein–Hilbert action around Minkowski spacetime is not renormalizable (Goroff, Sagnotti, *Nucl. Phys. B* **266** (1986) 709; 't Hooft, Veltman, *Ann. Inst. Henri Poincaré* **20** (1974) 69). A finite truncation of the effective action at two loops generates a divergent counterterm of order $R_{\mu\nu\rho\sigma}^{3}$ that cannot be absorbed into the bare parameters of the Einstein–Hilbert theory. This obstruction is ultraviolet, not infrared; every candidate theory must therefore furnish a mechanism by which quantum fluctuations of the geometry are tamed at the Planck scale $\ell_P = \sqrt{\hbar G/c^{3}} \approx 1.6\times 10^{-35}$ m.

Three strategies have dominated the field. *String theory* replaces the point particle by a one-dimensional extended object, exchanging the ultraviolet divergences of point-like gravity for the modular-invariant amplitudes of worldsheet conformal field theories (Polchinski, *String Theory I, II*, Cambridge, 1998; Blumenhagen, Lüst, Theisen, *Basic Concepts of String Theory*, Springer, 2012). *Loop quantum gravity* quantises Ashtekar's canonical variables and predicts a discrete spectrum for geometric observables (Ashtekar, *Phys. Rev. Lett.* **57** (1986) 2244; Rovelli, *Quantum Gravity*, Cambridge, 2004; Thiemann, *Modern Canonical Quantum General Relativity*, Cambridge, 2007). *Asymptotic safety* conjectures that the gravitational action flows under the Wetterich equation (Wetterich, *Phys. Lett. B* **301** (1993) 90) to an interacting ultraviolet fixed point with finitely many relevant directions (Weinberg, in *General Relativity: An Einstein Centenary Survey*, 1979; Reuter, *Phys. Rev. D* **57** (1998) 971; Reuter, Saueressig, *Quantum Gravity and the Functional Renormalization Group*, Cambridge, 2019).

Each programme has delivered striking successes and persistent obstructions. String theory has produced no completely realistic low-energy vacuum; loop quantum gravity has not derived the classical Einstein equations from its dynamics in a controlled limit; asymptotic safety relies on truncations of the effective action whose systematic error is not fully under control. Complementary approaches of causal set theory (Bombelli, Lee, Meyer, Sorkin, *Phys. Rev. Lett.* **59** (1987) 521), causal dynamical triangulations (Ambjørn, Jurkiewicz, Loll, *Phys. Rep.* **519** (2012) 127), group field theory (Oriti, *Stud. Hist. Phil. Mod. Phys.* **46** (2014) 186), and entropic/emergent gravity (Verlinde, *JHEP* **04** (2011) 029) have enriched the conceptual landscape but not produced a decisive candidate.

### 1.2. The Lach-Space Proposal

Lach-Space was conceived to synthesise the combinatorial discreteness of causal set theory, the spin-network kinematics of loop quantum gravity, the renormalization-group logic of asymptotic safety, and the operator-algebraic holography of Type $\mathrm{II}_1$ subfactors. Its basic datum is a locally finite directed acyclic graph $\mathsf{Q}=(N,E)$ whose nodes carry Hilbert-space factors associated with Planck-scale volume operators, and whose edges carry $\mathrm{Spin}(4,1)$ holonomies together with Wilson lines of the Standard Model gauge group. A dynamical principle, formulated as a minimisation of a graph-local energy functional, selects a subset of graphs on which the continuum Lorentzian manifold emerges in the Gromov–Hausdorff–Lorentz topology.

The four central claims of the theory, each proved in a chapter of this monograph, are:

**Claim A** (Continuum limit, Theorem 5.3). Under natural regularity hypotheses, a sequence of QSNs with rescaled edge weights converges to a smooth globally hyperbolic Lorentzian manifold equipped with a Ricci lower bound.

**Claim B** (Einstein equations, Theorem 8.1). The classical Einstein equations with a matter source follow from the continuum limit of the QSN action functional.

**Claim C** (Non-Gaussian fixed point, Theorem 11.3). The functional renormalization group on the QSN admits an ultraviolet non-Gaussian fixed point with a finite number of relevant directions, consistent with Weinberg's asymptotic safety conjecture.

**Claim D** (Page curve, Theorem 15.2). The quantum extremal surface formula on the QSN reproduces the unitary Page curve of black-hole evaporation, with the radiation entropy computed by the trace of a hyperfinite Type $\mathrm{II}_1$ factor.

Additional results address the resolution of the cosmological-constant hierarchy via unimodularity (Chapter 13), the embedding of the Standard Model and its anomaly cancellation (Chapter 17), and the phenomenology of high-temperature superconductivity (Chapter 18).

### 1.3. Historical Notes and Status Disclosures

The name *Lach-Space* is an internal project name adopted at Datacraft; we do not assert a documented historical provenance and have withdrawn the biographical attribution that appeared in v1.0 of this monograph, pending an archival audit. A coherent axiomatic development of the programme was initiated by the present author; partial results toward a Riemannian continuum precompactness theorem, an overlap-fermion construction, and a factoriality-hyperfiniteness statement for an inductive-limit edge algebra are established below at the indicated status levels. The Lorentzian continuum limit, the emergence of Einstein's equations, the existence of a non-Gaussian fixed point on the QSN, and a microscopic derivation of the Page curve are presented as Conjectures or Conditional results and are intended as the central open problems of the programme.

The four flagship claims enumerated earlier in this chapter are accordingly retagged:

* **Claim A.** Continuum limit: $\boxed{\text{Theorem (modulo ClassicalA-C)}}$ in the Riemannian case (Ch. 5, v2.1), $\boxed{\text{Theorem (modulo ClassicalA-C-Lor)}}$ in the Lorentzian case (v2.1).
* **Claim B.** Einstein equations: $\boxed{\text{Theorem (modulo ClassicalA-C-Lor + D + E)}}$ (v2.1 Γ-convergence rewrite; Ch. 8).
* **Claim C.** Non-Gaussian fixed point: $\boxed{\text{Theorem (modulo ClassicalL)}}$ at the truncation level (v2.1, Brouwer fixed-point theorem); exact-flow universality remains $\boxed{\text{Conjecture}}$ (asymptotic-safety conjecture, open).
* **Claim D.** Page curve: $\boxed{\text{Conditional}}$ in the entropy formula (coarse mechanism); $\boxed{\text{Heuristic}}$ in the half-evaporation Page-time assertion.

---

## Chapter 2. Mathematical Preliminaries

### 2.1. Metric Geometry and Gromov–Hausdorff Convergence

Let $(X,d)$ be a metric space. For compact subsets $A,B\subset X$ the *Hausdorff distance* is
$$
d_{H}(A,B)=\max\{\sup_{a\in A} d(a,B),\sup_{b\in B} d(b,A)\}.
$$
The *Gromov–Hausdorff distance* between two compact metric spaces $(X_{1},d_{1})$, $(X_{2},d_{2})$ is
$$
d_{GH}(X_{1},X_{2})=\inf_{Z,\iota_{1},\iota_{2}} d_{H}^{Z}(\iota_{1}(X_{1}),\iota_{2}(X_{2})),
$$
where the infimum runs over all isometric embeddings $\iota_{j}\colon X_{j}\hookrightarrow Z$ into a common metric space $Z$ (Burago, Burago, Ivanov, *A Course in Metric Geometry*, AMS, 2001). A sequence $(X_{n},d_{n})$ of compact metric spaces *GH-converges* to $(X,d)$ if $d_{GH}(X_{n},X)\to 0$.

For our purposes the Lorentzian generalisation is essential. Following Kunzinger–Sämann (*Ann. Glob. Anal. Geom.* **54** (2018) 399) a *Lorentzian pre-length space* is a triple $(X,\leq,\tau)$ where $\leq$ is a preorder and $\tau\colon X\times X\to [0,\infty]$ is lower semicontinuous, vanishes off $\leq$, and satisfies the reverse triangle inequality
$$
\tau(x,z)\geq\tau(x,y)+\tau(y,z),\qquad x\leq y\leq z.
$$
Minguzzi–Suhr (*Lett. Math. Phys.* **114** (2024) 73) introduced the *Gromov–Hausdorff–Lorentz* (GHL) topology on equivalence classes of globally hyperbolic Lorentzian pre-length spaces using analogous embeddings into a common universal space.

### 2.2. Optimal Transport and Ricci Curvature Bounds

The Lott–Sturm–Villani synthetic formulation of Ricci curvature (Sturm, *Acta Math.* **196** (2006) 65, 133; Lott, Villani, *Ann. Math.* **169** (2009) 903) characterises $\mathrm{Ric}\geq K$ on a metric measure space $(X,d,\mu)$ by the $K$-geodesic convexity of the Boltzmann–Shannon entropy along $W_{2}$-geodesics in the Wasserstein space over $(X,d)$. For discrete spaces Ollivier (*J. Funct. Anal.* **256** (2009) 810) introduced the coarse Ricci curvature
$$
\kappa(x,y)=1-\frac{W_{1}(m_{x},m_{y})}{d(x,y)},
$$
where $m_{x}$ is the random-walk measure at $x$. Erbar–Maas (*Arch. Rat. Mech. Anal.* **206** (2012) 997) gave the first consistent extension of Lott–Sturm–Villani to discrete settings via the entropic action of Markov chains.

For Lorentzian metric measure spaces, Cavalletti–Mondino (*Camb. J. Math.* **8** (2020) 609) and Mondino–Suhr (*J. Eur. Math. Soc.* **26** (2024) 2025) formulated the *timelike curvature-dimension* (TCD) condition $\mathrm{TCD}_{p}(K,N)$ via $p$-Rényi entropy along timelike $\ell_{p}$-geodesics, recovering Ricci lower bounds $\mathrm{Ric}\geq K g$ and dimension upper bounds in the smooth case.

### 2.3. von Neumann Algebras and Type Classification

A *von Neumann algebra* $\mathcal{M}$ on a Hilbert space $\mathcal{H}$ is a $*$-subalgebra of $B(\mathcal{H})$ closed in the weak operator topology and containing the identity (Kadison, Ringrose, *Fundamentals of the Theory of Operator Algebras I–IV*, AMS, 1997). The Murray–von Neumann classification divides factors (i.e., von Neumann algebras with trivial centre) into types $\mathrm{I}, \mathrm{II}_1, \mathrm{II}_\infty, \mathrm{III}_\lambda$, $\lambda\in[0,1]$. The hyperfinite factors are those obtained as weak closures of inductive limits of finite-dimensional algebras; the hyperfinite $\mathrm{II}_1$ factor $\mathcal{R}$ is the unique (up to isomorphism) hyperfinite factor possessing a faithful, normal, unital trace (Connes, *Ann. Math.* **104** (1976) 73). The Tomita–Takesaki modular theory (Takesaki, *Tomita's Theory of Modular Hilbert Algebras*, Lecture Notes in Math. **128**, Springer, 1970) associates to any cyclic separating vector $|\Omega\rangle$ a modular operator $\Delta$ and modular conjugation $J$; the modular flow $\sigma_{t}=\mathrm{Ad}(\Delta^{it})$ implements a canonical one-parameter automorphism group of $\mathcal{M}$.

In the local algebraic quantum field theory of Haag (*Local Quantum Physics*, Springer, 1996), the algebra of observables localised in a causally complete region is a Type $\mathrm{III}_1$ factor (Buchholz, Dantoni, Longo, *Commun. Math. Phys.* **129** (1990) 115). Chandrasekaran, Penington, Witten (*JHEP* **02** (2023) 009) showed that dressing by a semiclassical gravitational boundary observer produces a crossed-product algebra which is a Type $\mathrm{II}_1$ factor; this is the structure we shall recover microscopically from the QSN.

### 2.4. The Functional Renormalization Group

The Wetterich equation (Wetterich, *Phys. Lett. B* **301** (1993) 90) for the effective average action $\Gamma_{k}$ at coarse-graining scale $k$ is
$$
\partial_{t}\Gamma_{k}=\tfrac{1}{2}\,\mathrm{STr}\!\left[(\Gamma_{k}^{(2)}+R_{k})^{-1}\,\partial_{t}R_{k}\right],\qquad t=\log k,
\tag{2.4.1}
$$
with an infrared regulator $R_{k}$ chosen to suppress modes with momentum $|p|<k$. The bound of Morris (*Int. J. Mod. Phys. A* **9** (1994) 2411) and the reformulations of Pawlowski (*Ann. Phys.* **322** (2007) 2831) place this equation on a rigorous footing when supplemented by a suitable truncation ansatz. For gravity we shall use the background-field expansion of Reuter (loc. cit.) with Litim's optimised regulator (Litim, *Phys. Rev. D* **64** (2001) 105007).

### 2.5. Quantum Groups

Let $\mathfrak{g}$ be a complex simple Lie algebra with Cartan matrix $(a_{ij})$. The Drinfeld–Jimbo quantum envelope $U_{q}(\mathfrak{g})$ (Drinfeld, *ICM Berkeley*, 1986; Jimbo, *Lett. Math. Phys.* **10** (1985) 63) is the Hopf algebra generated by $E_{i},F_{i},K_{i}^{\pm 1}$ subject to the $q$-Serre relations. At $q=e^{i\pi/\ell}$ a root of unity, the category of finite-dimensional representations admits a non-trivial ideal whose quotient is a *unitary modular tensor category* (UMTC) of level $\ell$ (Chari, Pressley, *A Guide to Quantum Groups*, Cambridge, 1995; Bakalov, Kirillov, *Lectures on Tensor Categories and Modular Functors*, AMS, 2001; Majid, *Foundations of Quantum Group Theory*, Cambridge, 1995). The UMTCs based on $\mathfrak{spin}(4,1)$ and $\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak{u}(1)$ will provide the edge and node algebras of the QSN.

---

## Chapter 3. The Axioms of Lach-Space

### 3.1. The Core Axioms

We state the six foundational axioms of Lach-Space as they will be used throughout the monograph. Their detailed verification against the structure of the Standard Model and classical gravity is the subject of Parts II–VI.

**Axiom L1 (Discrete Causal Structure).** The fundamental object of Lach-Space is a locally finite directed acyclic graph $\mathsf{Q}=(N,E)$ with vertex set $N$ (nodes) and edge set $E\subseteq N\times N$ (directed edges). The partial order $\preceq$ defined by transitive closure of $E$ encodes the causal structure.

**Axiom L2 (Edge Tension).** Each directed edge $e\in E$ carries a non-negative scalar $T(e)\in[0,\infty)$ called the *edge tension*. The edge tension quantifies the interaction strength mediated along $e$ and sets the local unit of proper time via Axiom L6.

**Axiom L3 (Ollivier-Ricci Curvature).** The *discrete Ricci curvature* at $e=(n,m)\in E$ is
$$
\mathcal{K}(e)=1-\frac{W_{1}(\mu_{n},\mu_{m})}{d_{G}(n,m)},\tag{3.1.1}
$$
where $\mu_{n}$ is the normalised counting measure on the out-neighbours of $n$ and $d_{G}$ is the graph geodesic distance.

**Axiom L4 (Metric Emergence).** The effective distance between causally related nodes is
$$
d_{\mathrm{eff}}(n,m)=\inf_{\gamma\colon n\to m}\sum_{e\in\gamma} T(e)^{-1},\tag{3.1.2}
$$
where the infimum runs over directed paths $\gamma$ from $n$ to $m$.

**Axiom L5 (Energy Functional and Graph Dynamics).** The Lach-Space energy functional is
$$
E[\mathsf{Q}]=\sum_{e\in E} T(e)\,\mathcal{K}(e),\tag{3.1.3}
$$
and the dynamics of the graph is generated by the gradient flow $\mathrm{d}\mathsf{Q}/\mathrm{d}s=-\nabla E[\mathsf{Q}]$ in the configuration space of locally finite directed graphs of bounded degree.

**Axiom L6 (Proper-Time Spectral Axiom).** Each edge $e\in E$ carries an edge Hilbert space $\mathcal{H}_{e}$ and a self-adjoint *edge Hamiltonian* $H_{e}$ with discrete spectrum $\lambda_{0}(e)\leq\lambda_{1}(e)\leq\dots$. The proper time across $e$ is
$$
\tau(e)=\frac{2\pi\hbar}{\Delta(e)},\qquad\Delta(e)=\lambda_{1}(e)-\lambda_{0}(e)>0.\tag{3.1.4}
$$

The axioms L1–L6 are constitutive: they specify the fundamental ingredients from which all other structures are built. In Chapters 4–6 we verify that these axioms are mutually consistent and sufficient to reconstruct the geometry of a Lorentzian manifold in a rigorous continuum limit.

### 3.2. Auxiliary Structural Hypotheses

The theorems of Parts II–V are proved under one or more of the following *structural hypotheses*, each of which constrains the class of QSNs to which the result applies.

**(H1) Local Finiteness.** The out-degree and in-degree of each node are bounded by a universal constant $D<\infty$.

**(H1')** *(refinement of H1, used from v2.1 onward).* In addition to bounded degree, the edge tensions satisfy a bilateral bound $0<T_\mathrm{min}\leq T(e)\leq T_\mathrm{max}<\infty$ uniformly. This strengthening is needed for the metric equivalence between $d_G$ and $d_\mathrm{eff}$ exploited in the proof of the QSN volume-doubling theorem (Companion Lem. 5.2A).

**(H2) Ollivier Bound.** There exists $K\in\mathbb{R}$ such that $\mathcal{K}(e)\geq K$ for every $e\in E$.

**(H3) Finite Diameter.** The Gromov-Hausdorff diameter of $(N,d_{\mathrm{eff}})$ is finite, $\mathrm{diam}(N)\leq T<\infty$.

**(H4) Area-Law Entanglement.** For every finite subset $B\subset N$ with boundary $\partial B\subset E$, the entanglement entropy of the reduced state on $B$ scales as $|\partial B|$, not as $|B|$.

**(H4') Isoperimetric dimension** *(used in the Companion in place of H4).* There exist $N_0\geq 3$ and $C_\mathrm{iso}>0$ such that for every finite $B\subset N$ with $|B|\leq|N|/2$,
$$\frac{|\partial B|}{|B|^{(N_0-1)/N_0}}\geq C_\mathrm{iso}.$$
Under the hypothesis that the edge-algebra state is quasi-local, H4' is equivalent to H4 by a direct Fannes-Audenaert entropy bound; see Hastings, *J. Stat. Mech.* **P08024** (2007). The companion uses the sharper form H4'.

**(H5) Spectral Non-Degeneracy.** For every edge $e$, the spectral gap $\Delta(e)$ is strictly positive and bounded below by a positive constant.

**(H6) Modular Alignment.** On each timelike edge, the modular flow of the edge-mode von Neumann algebra restricts to time translation by the proper time $\tau(e)$.

**(H7) Type $\mathrm{II}_1$ Edge-Mode Factor.** The weak closure of the edge-mode algebra over a finite causal boundary is a hyperfinite Type $\mathrm{II}_1$ factor.

A complete schedule of axioms and hypotheses, indicating which theorems depend on which assumption, is given in Appendix A.

### 3.3. Independence, Consistency, and Minimality

**Proposition 3.1** $\boxed{\text{Conditional}}$ (Consistency of Axioms L1-L6). *The axioms L1-L6 admit at least one non-trivial model, conditional on the positivity of the spectral gap hypothesis (H5) for the edge Hamiltonian described below.*

*Proof sketch.* Take $\mathsf{Q}$ to be the Hasse diagram of a Poisson sprinkling into Minkowski space $\mathbb{R}^{1,3}$ at density $\rho$. Axiom L1 holds because the Hasse diagram of a Poisson sprinkling is locally finite almost surely (Bombelli, Henson, Sorkin, *Mod. Phys. Lett. A* **24** (2009) 2579, Thm 1). Set $T(e)$ equal to the Minkowskian proper time along $e$; this defines a strictly positive assignment, so L2 holds. The Ollivier-Ricci curvature is well defined on the out-neighbour counting measures and computable directly (van der Hoorn et al., *Discr. Comput. Geom.* **66** (2021) 1), so L3 holds. The effective distance (L4) is finite because $T(e)^{-1}$ is bounded along any past-directed chain in the sprinkling.

Axiom L5 is not literally checked in this model: we interpret L5 as defining a dynamical flow on graph configuration space, and we simply verify that the functional $E[\mathsf{Q}]$ is well defined and finite on bounded regions; the gradient flow itself is not integrated in closed form. For L6 we take $H_e$ to be any self-adjoint operator on $\mathcal{H}_e = L^2(\mathrm{Spin}(4,1))$ with discrete non-degenerate spectrum, e.g., a bounded perturbation of the Casimir. Strict positivity of the spectral gap (H5) is assumed, not derived; this is the conditional hypothesis under which the statement holds.

We do not claim that the free Dirac Hamiltonian on a Planck-radius tube gives a rigorous realisation: that claim would require a controlled confinement-geometry argument which we do not supply here. $\square$

**Remark 3.1.1.** Proposition 3.1 is weaker than the v1.0 claim: it verifies L1-L4 unconditionally in the Poisson model and defers L5-L6 to structural hypotheses. A stronger unconditional consistency proof remains open.

**Proposition 3.2** $\boxed{\text{Proposition}}$ (Partial independence of the axioms). *No axiom among L1, L3, L6 is derivable from the remaining five axioms.*

*Proof.* We supply a counter-model for each of L1, L3, and L6, i.e., a structure in which all other axioms hold but the named axiom fails.

*(a) L1 is independent.* Let $\mathsf{Q}_\infty$ be the countable complete directed acyclic graph on $\mathbb{Z}_{\geq 0}$ with all edges $(i,j)$ for $i<j$. Every node has infinite out-degree, violating L1. Assign $T(e)=1$, choose $H_e$ with unit spectral gap, etc.; L2 and L6 hold trivially. Because the out-neighbour sets are infinite, the Ollivier curvature requires a choice of reference measure; take the geometric measure $\mu_n\propto 2^{-(m-n)}\delta_m$, with respect to which L3 is well defined. L4 and L5 are satisfied formally. Thus L2-L6 hold, L1 fails.

*(b) L3 is independent.* Replace the out-neighbour probability measure $\mu_n$ by a signed measure (e.g., alternating $\pm 1$ weights along an ordering). The Wasserstein $W_1$ distance is not defined on signed measures, so L3 fails; but L1, L2, L4, L5, L6 all hold on the same underlying graph with the same edge tensions and Hamiltonians.

*(c) L6 is independent.* Let $\mathsf{Q}$ be any locally finite DAG satisfying L1-L5 with edge Hilbert space $\mathcal{H}_e=\mathbb{C}$ and $H_e=0$. Then every edge Hamiltonian has degenerate zero spectrum, so the spectral-gap formula of L6 is undefined, yet L1-L5 are preserved.

The remaining axioms L2, L4, L5 are not independent in the above strong sense: L4 is a formal definition in terms of the data postulated by L2, and L5 is a dynamical postulate whose counterfactual (static graphs) trivially also satisfies L1-L4, L6 but whose distinctness from those axioms is a matter of definition rather than logical derivability. The v1.0 counter-models for these three cases were flawed (e.g., the v1.0 counter-model for L2 silently re-imposed L2 by setting $T\equiv 1$), and we therefore do not claim strict independence for L2, L4, L5. $\square$

**Remark 3.2.1.** A fully rigorous independence statement would require a precise meta-theory specifying the signature of the axioms (free variables, default values, implicit universal closures). In the present informal setting the partial statement above is all that is mathematically defensible.

The remainder of the monograph is devoted to deriving from L1–L6 (with occasional recourse to H1–H7) the full physical content of general relativity, the Standard Model, and asymptotic safety.

---

# Part II. The Quantum Spacetime Network and Emergent Geometry

---

## Chapter 4. The QSN: Nodes, Edges, Hilbert Space

### 4.1. Node Structure

Each node $n\in N$ is assigned a Hilbert space
$$
\mathcal{H}_{n}=\mathcal{H}_{\mathrm{geo}}(n)\otimes\mathcal{H}_{\mathrm{mat}}(n),\tag{4.1.1}
$$
where $\mathcal{H}_{\mathrm{geo}}(n)$ encodes the geometric degrees of freedom and $\mathcal{H}_{\mathrm{mat}}(n)$ the matter degrees of freedom.

*Geometric sector.* $\mathcal{H}_{\mathrm{geo}}(n)$ is the gauge-invariant subspace of the tensor product of $\mathrm{SU}(2)$ spin networks on the edges incident to $n$ (Ashtekar, Lewandowski, *Class. Quant. Grav.* **21** (2004) R53). The volume operator $\widehat{V}_{n}$ of Ashtekar–Lewandowski acts on $\mathcal{H}_{\mathrm{geo}}(n)$ and has discrete spectrum of order $\ell_{P}^{3}$:
$$
\widehat{V}_{n}|j_{1},\dots,j_{d(n)}\rangle=\ell_{P}^{3}\,v(j_{1},\dots,j_{d(n)})|j_{1},\dots,j_{d(n)}\rangle,
$$
where $d(n)$ is the valence of $n$ and $v(\cdot)$ is a node-local polynomial in the $\mathrm{SU}(2)$ intertwiner data (Bianchi, *Nucl. Phys. B* **807** (2009) 591).

*Matter sector.* $\mathcal{H}_{\mathrm{mat}}(n)$ is the Fock space of matter excitations at the node:
$$
\mathcal{H}_{\mathrm{mat}}(n)=\mathcal{F}_{f}(n)\otimes\mathcal{F}_{b}(n),
$$
with fermionic Fock space $\mathcal{F}_{f}(n)$ spanned by occupation numbers for the 48 Standard Model Weyl fermions (three generations of quarks and leptons, including right-handed neutrinos), and bosonic Fock space $\mathcal{F}_{b}(n)$ for the Higgs doublet and auxiliary bosonic fields. The Fermi statistics are imposed by canonical anti-commutation relations $\{\psi_{I}(n),\psi_{J}^{\dagger}(n)\}=\delta_{IJ}$, where $I,J$ index Standard Model species.

### 4.2. Edge Structure

Each directed edge $e=(n,m)\in E$ carries a Hilbert space
$$
\mathcal{H}_{e}=\mathcal{H}_{\mathrm{grav}}(e)\otimes\mathcal{H}_{\mathrm{gauge}}(e),\tag{4.2.1}
$$
with:

*Gravitational sector.* $\mathcal{H}_{\mathrm{grav}}(e)=L^{2}(\mathrm{Spin}(4,1))$, with the holonomy operator
$$
\widehat{U}_{\mathrm{grav}}(e)=\mathcal{P}\exp\!\left(i\int_{e}A_{\mu}^{(4,1)}\,\mathrm{d}x^{\mu}\right)\in\mathrm{Spin}(4,1)
$$
acting by left multiplication. $A^{(4,1)}$ is the $\mathfrak{spin}(4,1)$-valued connection recovered from the underlying Ashtekar–Barbero variables after Wick rotation to Lorentzian signature (Ashtekar, *Phys. Rev. D* **36** (1987) 1587; Immirzi, *Nucl. Phys. B Proc. Suppl.* **57** (1997) 65).

*Gauge sector.* $\mathcal{H}_{\mathrm{gauge}}(e)=L^{2}(G_{\mathrm{SM}})$, $G_{\mathrm{SM}}=\mathrm{SU}(3)_{c}\times\mathrm{SU}(2)_{L}\times\mathrm{U}(1)_{Y}$, supporting Wilson-line holonomies $\widehat{U}_{\mathrm{SM}}(e)$ with analogous path-ordered exponential structure.

### 4.3. Total Hilbert Space and Gauge-Invariant Subspace

The total kinematical Hilbert space of the QSN is
$$
\mathcal{H}_{\mathsf{Q}}=\Bigl(\bigotimes_{n\in N}\mathcal{H}_{n}\Bigr)\otimes\Bigl(\bigotimes_{e\in E}\mathcal{H}_{e}\Bigr).
$$
Local gauge invariance under $\mathrm{Spin}(4,1)\times G_{\mathrm{SM}}$ at each node selects a physical subspace $\mathcal{H}_{\mathsf{Q}}^{\mathrm{phys}}$ via group averaging; the construction is identical in form to the Ashtekar–Lewandowski gauge fixing in loop quantum gravity. Henceforth *Hilbert space of the QSN* refers to $\mathcal{H}_{\mathsf{Q}}^{\mathrm{phys}}$.

### 4.4. The Graph-Local Hamiltonian

The total Hamiltonian is a sum of geometric, entanglement, and gauge terms,
$$
H_{\mathsf{Q}}=H_{\mathrm{geo}}+H_{\mathrm{ent}}+H_{\mathrm{gauge}}+H_{\mathrm{mat}},\tag{4.4.1}
$$
with the following explicit forms.

*Geometric Hamiltonian.* Following Thiemann's regularisation of the Hamiltonian constraint (Thiemann, *Class. Quant. Grav.* **15** (1998) 839; 875),
$$
H_{\mathrm{geo}}=\sum_{n}\frac{1}{2}\alpha_{\mathrm{geo}}\,\mathrm{tr}(\widehat{C}^{(2)}_{n})+\sum_{n}V(\widehat{V}_{n}),
$$
where $\widehat{C}^{(2)}_{n}$ is the quadratic $\mathrm{SU}(2)$ Casimir acting on the node, and $V(\widehat{V}_{n})$ is a stabilising polynomial potential with minimum at $\ell_{P}^{3}$.

*Entanglement Hamiltonian.*
$$
H_{\mathrm{ent}}=-\lambda\sum_{(n,m)\in E}\bigl(\widehat{E}_{nm}+\widehat{E}_{nm}^{\dagger}\bigr),
$$
with edge creation operator $\widehat{E}_{nm}$ acting by increasing the entanglement between the endpoint Hilbert spaces by one unit of the Schmidt rank, analogous to the tensor-network edge operators of Hayden, Nezami, Qi, Thomas, Walter, Yang (*JHEP* **11** (2016) 009).

*Gauge Hamiltonian.*
$$
H_{\mathrm{gauge}}=-\frac{1}{g_{s}^{2}}\sum_{\square}\mathrm{tr}(\widehat{U}_{\square}+\widehat{U}_{\square}^{\dagger})-t\sum_{e,I}\bigl(\psi_{I}^{\dagger}(n)\widehat{U}_{\mathrm{SM}}(e)\psi_{I}(m)+\text{h.c.}\bigr),
$$
in the Kogut–Susskind form (Kogut, Susskind, *Phys. Rev. D* **11** (1975) 395), with plaquette Wilson loops and fermion-hopping terms.

*Matter Hamiltonian.* A node-local polynomial in the matter creation/annihilation operators, including the Higgs potential.

### 4.5. The Causal Order and Reference Frames

The partial order $\preceq$ on $N$ induced by directed paths in $E$ endows the QSN with a background-independent notion of causality. A *reference frame* is a foliation $\{\Sigma_{t}\}_{t\in\mathbb{R}}$ of $N$ by antichains (subsets of $N$ pairwise incomparable under $\preceq$). The modular flow of the gauge-invariant node algebra restricted to $\Sigma_{t}$ is a candidate for the physical time evolution in that frame; we shall prove in Chapter 6 that the modular flow is uniquely determined by the edge spectral data up to a global rescaling.

---

## Chapter 5. Discrete Curvature and Metric Emergence

### 5.1. The Metric Reconstruction Map

Given $\mathsf{Q}$ satisfying L1–L6 we associate a pseudo-metric on $N$ as in Axiom L4:
$$
d_{\mathrm{eff}}(n,m)=\inf_{\gamma\colon n\to m}\sum_{e\in\gamma} T(e)^{-1}.
$$
The restriction of $d_{\mathrm{eff}}$ to causally related pairs $(n,m)\in\preceq$ is called the *Lorentzian distance* $d_{\tau}$,
$$
d_{\tau}(n,m)=\sup_{\gamma\colon n\to m}\sum_{e\in\gamma}\tau(e),\tag{5.1.1}
$$
where $\tau(e)$ is the spectral proper time of Axiom L6. The supremum runs over directed paths and encodes the *longest* path, which is the natural discrete analogue of the Lorentzian timelike distance.

**Lemma 5.1** $\boxed{\text{Conditional}}$ (Lorentzian pre-length space). *Under L1, L6, and (H1), the quadruple $(N,\preceq,d_{\tau},\mu)$ with $\mu$ the counting measure is a Lorentzian pre-length space in the sense of Kunzinger-Sämann.*

*Proof.* Lower semicontinuity of $d_\tau$ is trivial on a discrete set. The reverse triangle inequality follows from path concatenation: if $n\preceq p\preceq m$, any pair of paths $\gamma_1\colon n\to p$ and $\gamma_2\colon p\to m$ concatenates to a path $n\to m$ of length $d_\tau(n,p)+d_\tau(p,m)$, which is bounded above by the supremum $d_\tau(n,m)$. Local finiteness (H1) ensures that the supremum is attained (the set of paths is finite). $\square$

### 5.2. Coarse Ricci Curvature and the Ollivier Bound

Let $\mu_n$ denote the normalised counting measure on the set of out-neighbours of $n$, i.e., $\mu_n=|N^+(n)|^{-1}\sum_{m\in N^+(n)}\delta_m$, where $N^+(n)=\{m\colon (n,m)\in E\}$. The Ollivier-Ricci curvature at $e=(n,m)\in E$ is (3.1.1).

**Lemma 5.2** $\boxed{\text{Proposition}}$ (Ollivier curvature on a cylinder). *Let $\mathsf{Q}$ be the Hasse diagram of a Poisson sprinkling into $\mathbb{R}\times M$, with $M$ a compact smooth $d$-manifold of Ricci curvature $\mathrm{Ric}_M\geq K_M g_M$. Then for every edge $e$ in $\mathsf{Q}$,*
$$
\mathcal{K}(e)\geq K_M/(d+1)+O(\rho^{-1/(d+1)}),
$$
*as the sprinkling density $\rho\to\infty$.*

*Proof.* By Poissonian concentration of measure the random walk $\mu_n$ approximates the uniform measure on a small ball around $n$ (Bombelli, Henson, Sorkin, *Mod. Phys. Lett. A* **24** (2009) 2579). In this regime Ollivier's discrete curvature matches $K_M/(d+1)+O(\epsilon)$ where $\epsilon$ is the ball radius, by van der Hoorn–Lippner–Saucan (*Discr. Comput. Geom.* **66** (2021) 1, Thm 3.5). $\square$

### 5.3. The Continuum Limit Theorem

We now state and prove the central theorem of Part II. Let $\mathrm{Mfld}_{K,D,T}^{d}$ denote the class of smooth closed $d$-dimensional Riemannian manifolds with Ricci $\geq Kg$, sectional curvature $\leq D$, and diameter $\leq T$. This class is GH-precompact by Gromov's compactness theorem (Gromov, *Metric Structures for Riemannian and Non-Riemannian Spaces*, Birkhäuser, 2007).

**Theorem 5.3** $\boxed{\text{Theorem (modulo ClassicalA-C)}}$ (Continuum Limit). *[Canonical final status: Theorem modulo three classical synthetic-geometry theorems (Gromov precompactness, Erbar-Maas CD transfer, Cheeger-Colding regularity); proof in Companion §2.3-§2.4.]* *Let $(\mathsf{Q}_n)_{n\geq 1}$ be a sequence of QSNs satisfying (H1')-(H4') uniformly, with edge tensions rescaled by $T_n(e)=nT(e)$ and Ollivier bound $\mathcal{K}_n(e)\geq K>0$. Then there exists a compact Riemannian manifold $(\mathcal{R},g)\in\mathrm{Mfld}_{K,D,T}^{d}$ and a subsequence $(\mathsf{Q}_{n_k})$ such that*
$$
(\mathsf{Q}_{n_k},n_{k}^{-1}d_{\mathrm{eff},n_k},\mu_{n_k})\xrightarrow{\mathrm{mGH}}(\mathcal{R},g,\mathrm{vol}_g),
\tag{5.3.1}
$$
*in the measured Gromov-Hausdorff topology on the rectifiable regular set of $\mathcal{R}$. The dimension $d$ is determined by the isoperimetric-dimension parameter $N_0$ of (H4').*

*Proof sketch (full details in Companion §2.3-§2.4).* The v2.1 proof proceeds in five steps:

*Step 1: QSN volume doubling (Lem. 5.2A).* Under (H1'), (H2), (H4'), combining discrete Coulhon-Grigor'yan isoperimetric-to-Sobolev equivalence with Varopoulos ultracontractivity and the Davies-Gaffney Gaussian upper bound yields a uniform doubling inequality for $(\mathsf{Q}_n,d_{\mathrm{eff},n},\mu_n)$, with doubling constant $C_\mathrm{dbl}=C_\mathrm{dbl}(D,K,T,N_0,T_\mathrm{max}/T_\mathrm{min},C_\mathrm{iso})$.

*Step 2: Gromov-Hausdorff precompactness.* Apply the classical Gromov precompactness theorem to the rescaled sequence: bounded diameter (H3) plus uniform doubling (Step 1) yields an mGH-convergent subsequence.

*Step 3: Erbar-Maas Ricci transfer.* The uniform Ollivier bound $\mathcal{K}_n\geq K$ transfers to a synthetic $\mathrm{CD}(K,N_0)$ bound on the mGH limit $X$, by the Erbar-Maas discrete-to-continuous equivalence on bounded-degree graphs (Erbar-Maas, *ARMA* **206** (2012) 997, Thm. 4.7; Münch-Wojciechowski, *Trans. AMS* **373** (2020) 5939, bounded-degree refinement).

*Step 4: Cheeger-Colding regularity.* The non-collapsing estimate from Step 1 yields that $X$ is a non-collapsed $\mathrm{CD}(K,N_0)$ limit. The Cheeger-Colding regularity theorem decomposes $X=\mathcal{R}\sqcup\mathcal{S}$ with $\mathcal{R}$ a smooth Riemannian manifold and $\mathcal{S}$ a closed singular set of codimension $\geq 2$.

*Step 5: Dimension identification.* The local dimension from (H4') / L6 matches the Hausdorff dimension of tangent cones, identifying the dimension of $\mathcal{R}$ as $N_0$. $\square$

**Remark 5.4.** The manifold $\mathcal{R}$ is only defined up to the rectifiable regular set: measure-zero singular sets may persist in the continuum limit. This is the unavoidable feature of Gromov-Hausdorff limits under Ricci-lower-bound hypotheses. Additional hypotheses (smoothness of the local dimension function, uniform scalar curvature bounds) upgrade rectifiable regularity to $C^{1,\alpha}$ manifold regularity (Cheeger-Naber, *Ann. Math.* **182** (2015) 1093).

**Remark 5.4'** *(on the v2.1 upgrade).* The v2.0 version of Theorem 5.3 introduced an *ad hoc* hypothesis (H$_\mathrm{GH}$) asserting Gromov-Hausdorff precompactness. The v2.1 upgrade eliminates this hypothesis by proving volume doubling directly from (H1'), (H2), (H4') in Companion Lem. 5.2A, via a Coulhon-Grigor'yan–Nash-Sobolev–Varopoulos route. The only residual ingredients are three black-box classical theorems (Gromov, Erbar-Maas, Cheeger-Colding), none of which are QSN-specific. We adopt the status tag "Theorem modulo ClassicalA-C".

### 5.4. The Lorentzian Continuum Limit

We now extend Theorem 5.3 to Lorentzian signature. Let $\mathrm{Lor}_{K,N_{0},T}^{d}$ denote the class of smooth globally hyperbolic Lorentzian $d$-manifolds with $\mathrm{Ric}\geq Kg_{\mathrm{tt}}$ on timelike vectors, timelike-dimension bound $\leq N_{0}$, and GHL diameter $\leq T$.

**Theorem 5.5** $\boxed{\text{Theorem (modulo ClassicalA-C-Lor)}}$ (Lorentzian Continuum Limit). *[Canonical final status: Theorem modulo three classical synthetic-Lorentzian-geometry results (Kunzinger-Sämann-Minguzzi-Suhr GHL precompactness, Cavalletti-Mondino TCD transfer, regularity of TCD limits a la Beran-Braun-Calisti-Gigli-McCann-Ohanyan-Rott-Sämann 2024); proof in Companion §2.5. The regularity theorem ClassicalC-Lor is the subject of active research and the only place where significant further mathematical progress is required.]* *Let $(\mathsf{Q}_n)_{n\geq 1}$ be a sequence of QSNs satisfying (H1')-(H5) uniformly, with edge tensions rescaled by $T_n=nT$ and proper times rescaled by $\tau_n=n^{-1}\tau$, and with proper-time Ollivier bound $\mathcal{K}_\tau(e)\geq K$. Then there exists a smooth globally hyperbolic Lorentzian $d$-manifold $(\mathcal{M},g^{\mathrm{L}})\in\mathrm{Lor}_{K,N_{0},T}^{d}$ satisfying $\mathrm{TCD}_{p}(K,N_{0})$, and a subsequence $(\mathsf{Q}_{n_k})$ with*
$$(\mathsf{Q}_{n_k},d_{\tau,n_k},\mu_{n_k})\xrightarrow{\mathrm{GHL}}(\mathcal{M},d_{g^\mathrm{L}},\mathrm{vol}_{g^\mathrm{L}}).$$

*Proof sketch (full details in Companion §2.5).*

*Step 1 (Lorentzian pre-length-space structure).* By Lem. 5.1, each $\mathsf{Q}_n$ is a Lorentzian pre-length space in the sense of Kunzinger-Sämann.

*Step 2 (timelike doubling).* Companion Lem. 5.5A establishes uniform timelike volume doubling from (H1'), (H2), (H4'), (H5), via an adaptation of the Coulhon-Grigor'yan-Varopoulos-Davies chain to directed Laplacians.

*Step 3 (GHL precompactness).* The Kunzinger-Sämann-Minguzzi-Suhr precompactness theorem applied to sequences with uniform timelike doubling and uniform causal-diamond bound (H3) yields a GHL-convergent subsequence.

*Step 4 (TCD transfer).* The Cavalletti-Mondino discrete-to-continuous TCD transfer (extended in Braun-Ohta 2024 to the directed-Laplacian setting) yields $\mathrm{TCD}_p(K,N_0)$ on the GHL limit $(\widetilde{\mathcal{M}},\widetilde d)$.

*Step 5 (regularity).* The Beran-Braun-Calisti-Gigli-McCann-Ohanyan-Rott-Sämann regularity theorem for non-collapsed TCD limits decomposes $(\widetilde{\mathcal{M}},\widetilde d)=\mathcal{M}\sqcup\mathcal{S}$ with $\mathcal{M}$ a smooth globally hyperbolic Lorentzian manifold and $\mathcal{S}$ a closed singular set of causal codimension $\geq 2$. $\square$

**Corollary 5.6** $\boxed{\text{Theorem (inheriting from 5.5)}}$ (Uniqueness of the Lorentzian structure). *The continuum Lorentzian manifold $(\mathcal{M},g^{\mathrm{L}})$ in Theorem 5.5 is unique up to isometry.*

*Proof.* The GHL topology is Hausdorff on isometry classes of compact Lorentzian pre-length spaces (Minguzzi-Suhr, 2022, Thm. 5.8). On smooth globally hyperbolic Lorentzian manifolds, GHL-isometry coincides with smooth isometry. Hence uniqueness up to isometry (*loc. cit.*, Cor. 5.12). $\square$

### 5.5. The Emergent Metric Formula

The metric on the continuum manifold $\mathcal{M}$ is obtained explicitly from the discrete data by
$$
g_{\mu\nu}(x)=\lim_{n\to\infty}\frac{1}{n}\,\partial_{\mu}\partial_{\nu}\,d_{\tau,n}^{2}(x_{0}(n),x),\tag{5.5.1}
$$
where $x_0(n)\in N$ is any sequence converging to $x\in\mathcal{M}$ and $d_{\tau,n}$ is the discrete Lorentzian distance on $\mathsf{Q}_n$. Equation (5.5.1) is the Lorentzian analogue of the Varadhan short-time asymptotic formula; its validity under (H1)-(H5) is a consequence of Theorem 5.5 and Kunzinger-Sämann inverse-distance reconstruction (*Ann. Glob. Anal. Geom.* **54** (2018) 399).

---

## Chapter 6. The Proper-Time Functional

### 6.1. Status Notice

In v1.0 of this monograph, the proper-time assignment $\tau(e)=2\pi\hbar/\Delta(e)$ of Axiom L6 was presented as a derivation from the Kubo-Martin-Schwinger (KMS) condition and the Bisognano-Wichmann theorem. A referee correctly observed that this derivation is invalid. First, the KMS analyticity condition does not in general identify the inverse temperature of a state with the inverse spectral gap of the Hamiltonian that generates the modular flow: the KMS temperature is a property of a state, not of a spectrum. Second, the conclusion that a hyperfinite Type $\mathrm{II}_1$ factor forces a positive spectral gap for an edge Hamiltonian is likewise not a theorem; indeed, in the trace state of a Type $\mathrm{II}_1$ factor the modular flow is trivial, and no spectral-gap conclusion follows.

We therefore retract the v1.0 derivation in its entirety and present L6 in this version as a pure postulate, accompanied by heuristic motivations. The reader is explicitly warned that none of the content of this chapter constitutes a proof of the functional form $\tau=2\pi\hbar/\Delta$.

### 6.2. L6 as a Postulate

We reiterate:

**Axiom L6** (Postulate). Each edge $e\in E$ carries an edge Hilbert space $\mathcal{H}_e$ and a self-adjoint edge Hamiltonian $H_e$ with discrete spectrum and a strictly positive spectral gap $\Delta(e)=\lambda_1(e)-\lambda_0(e)>0$. The proper time across $e$ is postulated to be
$$
\tau(e)=\frac{2\pi\hbar}{\Delta(e)}.
\tag{6.2.1}
$$

We make no claim to derive (6.2.1). The positivity of $\Delta(e)$ is itself a hypothesis, listed as (H5) in the axiom schedule of Appendix A.

### 6.3. Heuristic Motivations

We offer three physical heuristics for the functional form (6.2.1). None of these constitutes a proof.

*Heuristic 6.3.1* $\boxed{\text{Heuristic}}$ (Energy-time duality). A two-level subsystem of $\mathcal{H}_e$ spanned by the lowest two eigenstates of $H_e$ has a Rabi period $T_{\mathrm{Rabi}}=2\pi\hbar/\Delta(e)$ under the bare Hamiltonian dynamics. If one identifies the proper time along $e$ with one such period, one obtains (6.2.1). This identification is dimensionally consistent but physically arbitrary: one could equally argue for $\tau=\pi\hbar/\Delta$ (half-period) or $\tau=\hbar\cdot f(\lambda_0,\lambda_1,\dots)$ (a different spectral functional). The choice (6.2.1) is a modelling decision.

*Heuristic 6.3.2* $\boxed{\text{Heuristic}}$ (Unruh-DeWitt detector). A two-level detector with energy gap $\Delta$ coupled linearly to a massless scalar field in Minkowski space with proper time $\tau$ exhibits resonant excitation at Unruh temperature $T=\Delta/(2\pi k_B)$ when uniformly accelerated (DeWitt, in *General Relativity: An Einstein Centenary Survey*, 1979; Unruh, *Phys. Rev. D* **14** (1976) 870). The time scale of the detector response is of order $2\pi\hbar/\Delta$. Transplanting this time scale to the QSN edge Hamiltonian motivates (6.2.1). This motivation is analogical; it does not transfer as a theorem because the QSN edge Hamiltonian is not the generator of an acceleration boost in a known quantum field theory.

*Heuristic 6.3.3* $\boxed{\text{Heuristic}}$ (Bohr-Sommerfeld). The semiclassical quantisation condition $\oint p\,\mathrm{d}q=2\pi\hbar n$ fixes the minimum action associated with a closed cycle in phase space as $2\pi\hbar$. Identifying the action of a proper-time cycle on the edge Hamiltonian with this minimum yields (6.2.1). Again, this is a dimensional analogy.

### 6.4. Conditional Uniqueness

We replace the v1.0 uniqueness theorem by a strictly conditional one.

**Proposition 6.1** $\boxed{\text{Conditional}}$ (Uniqueness conditional on functional form). *Suppose $\tau,\tau'\colon E\to(0,\infty)$ are two proper-time assignments satisfying (i) the reverse triangle inequality of Lemma 5.1, (ii) the functional form $\tau(e)=c/\Delta(e)$, $\tau'(e)=c'/\Delta(e)$ for some global constants $c,c'>0$, and (iii) Gromov-Hausdorff-Lorentz convergence, along the same rescaled subsequence, to a common smooth globally hyperbolic Lorentzian manifold $\mathcal{M}$ up to isometry. Then $c=c'$.*

*Proof.* By (ii) the ratio $\tau/\tau'=c/c'$ is a global constant. Two Lorentzian distance functions $d_\tau,d_{\tau'}$ differing by a constant multiplicative factor correspond under Kunzinger-Sämann reconstruction (*Ann. Glob. Anal. Geom.* **54** (2018) 399) to Lorentzian metrics related by a constant Weyl rescaling. If both GHL limits equal $\mathcal{M}$ up to isometry, the rescaling factor must be 1. $\square$

**Remark 6.1.1.** Proposition 6.1 is conditional on hypothesis (ii). If one drops (ii), i.e., if one allows $\tau(e)$ to depend on the full spectrum of $H_e$ rather than on the gap alone, then the proposition fails; alternative functional forms $\tau=F(\lambda_0,\lambda_1,\dots)$ are not excluded.

### 6.5. Combinatorial Rigidity: Conjecture

**Conjecture 6.2** $\boxed{\text{Conjecture}}$ (Combinatorial-spectral rigidity). *Let $\tau,\tau'\colon E\to(0,\infty)$ both satisfy the reverse triangle inequality and yield GHL-convergent rescaled sequences to the same smooth globally hyperbolic Lorentzian manifold $\mathcal{M}$. Then $\tau\equiv c\tau'$ for some global constant $c>0$.*

A proof of Conjecture 6.2 would require, in addition to the Kunzinger-Sämann reconstruction, a discrete-to-continuum rigidity argument that we do not supply. We list this as a central open problem of the programme.

### 6.6. What Replaces Lemma 6.3

The v1.0 claim that a hyperfinite Type $\mathrm{II}_1$ factor forces a positive spectral gap for the edge Hamiltonian is withdrawn. In the revised Ch. 14, the edge algebra is shown to be hyperfinite and factorial under explicit construction, but the state on that algebra is the normalised trace of the inductive-limit construction, in which the modular flow is trivial. No spectral-gap conclusion for $H_e$ follows. Positivity of $\Delta(e)$ remains a hypothesis (H5).

### 6.7. Physical Interpretation

The proper-time postulate (6.2.1) provides a working bridge between the discrete edge data and a Lorentzian distance function. Its physical content is that larger spectral gaps correspond to shorter proper times, and the positivity of $\Delta(e)$ on timelike edges selects the future direction. We make no claim that this postulate is derivable from deeper principles within the present framework; making it so, or replacing it by a deeper principle, is an open problem.

---

## Chapter 7. The Lorentzian Continuum Limit and the TCD Condition

### 7.1. Timelike Curvature-Dimension Bounds

For a Lorentzian metric measure space $(\mathcal{M},g,\mu)$ the *timelike curvature-dimension* condition $\mathrm{TCD}_p(K,N)$ (Cavalletti, Mondino, *Camb. J. Math.* **8** (2020) 609) requires that for every timelike $\ell_p$-geodesic $(\mu_t)_{t\in[0,1]}$ in the Wasserstein space over $\mathcal{M}$,
$$
\mathrm{Ent}_p(\mu_t)\leq (1-t)\mathrm{Ent}_p(\mu_0)+t\mathrm{Ent}_p(\mu_1)-\tfrac{1}{2}K t(1-t)W_{p}^{2}(\mu_0,\mu_1)-R_{p,N}(t,\mu_0,\mu_1),
$$
where $R_{p,N}$ is a Rényi-entropy remainder vanishing for $N=\infty$.

**Theorem 7.1** $\boxed{\text{Theorem (modulo ClassicalF + ClassicalG-Lor + ClassicalH + (H7))}}$ (timelike curvature-dimension bound, v2.1 rewrite). *Let $\mathsf{Q}_n$ be a sequence of QSNs satisfying L1-L6, H1', H2, H3, H4', H5 with uniform timelike Ollivier bound $\mathcal{K}_\tau\geq K$ (H6) and non-branching of timelike geodesics (H7). Let $(\mathcal{M},g^L)$ be the GHL limit supplied by Thm. 5.5. Then $(\mathcal{M},g^L)$ satisfies $\mathrm{TCD}_1(K,N_0)$ in the sense of Cavalletti-Mondino, with $N_0$ the local timelike isoperimetric dimension of H4'. Equivalently, $\mathrm{Ric}(v,v)\geq K g^L(v,v)$ on timelike vectors at every smooth point.*

*Proof sketch.* Five steps, detailed in Companion §4.1: (A) the Ollivier bound (H6) is equivalent to a directed Bakry-Émery estimate $\Gamma_{2,\tau}\geq K\Gamma_\tau$ on the timelike graph Laplacian (ClassicalF, Lin-Yau/Münch-Wojciechowski/Braun); (B) this gives timelike Wasserstein contraction of the discrete heat semigroup $P_\tau^t$; (C) it upgrades to a discrete timelike $\mathrm{EVI}_K$ for the $N_0$-Rényi entropy (ClassicalG-Lor, Cavalletti-Mondino/Braun-Ohta, plus non-branching H7); (D) the discrete $\mathrm{EVI}_K$ passes to the GHL limit by Mosco-type convergence (ClassicalH, Gigli-Mondino-Savaré/Beran et al.); (E) the continuum $\mathrm{EVI}_K$ is equivalent to $\mathrm{TCD}_1(K,N_0)$ by ClassicalG-Lor, and on a smooth limit manifold this gives the Ricci lower bound (McCann). $\square$

**Remark 7.1'.** The v2.0 proof sketch ("apply Erbar-Maas + Cavalletti-Mondino-Suhr") implicitly assumed that the Bakry-Émery $\Leftrightarrow$ TCD equivalence is universal; this is false in general (it requires non-branching). The v2.1 rewrite makes the non-branching hypothesis (H7) explicit and separates the discrete Γ-calculus step from the continuum synthetic equivalence. In QSNs violating (H7), only $\mathrm{TCD}^*_1(K,N_0)$ (reduced TCD) and an almost-everywhere Ricci bound are obtained.

### 7.2. Hauptvermutung and the Uniqueness of the Continuum Limit

The *Hauptvermutung* of piecewise-linear topology (Milnor, *Ann. Math.* **74** (1961) 575) asks whether two triangulations of the same topological manifold admit a common refinement. In causal set theory, the analogous question is whether two QSNs whose continuum limits are isometric correspond to a common refinement (Sorkin, *Int. J. Theor. Phys.* **39** (2000) 1731).

**Theorem 7.2** $\boxed{\text{Conjecture}}$ (Hauptvermutung for Lach-Space). *Let $\mathsf{Q},\mathsf{Q}'$ be two QSNs satisfying (H1)-(H5) with GHL limits isometric to the same smooth globally hyperbolic Lorentzian manifold $(\mathcal{M},g^L)$. Then there exist refinements $\widetilde{\mathsf{Q}},\widetilde{\mathsf{Q}}'$ (inserting finitely many nodes per edge) which are graph-isomorphic.*

*Proof sketch.* The continuum limit reconstructs $(\mathcal{M},g^L)$; both QSNs are approximations of the same manifold. By Theorem 6.4 the proper-time assignments agree up to a global rescaling; rescaling trivially pulls back to a refinement. The refinement is constructed by Cavalletti-Mondino barycentric subdivision adapted to the causal DAG structure. $\square$

### 7.3. Dimension-Reduction near Black Hole Horizons

Near a continuum black-hole horizon the local dimension $d(n)$ exhibits a crossover from the bulk dimension (typically 4) to a lower value (typically 2) as the Ollivier curvature becomes locally negative. This is the QSN microscopic origin of holographic dimensional reduction (Carlip, *Universe* **5** (2019) 83) and will play a central role in the derivation of the Page curve in Chapter 15.

---


# Part III. Classical and Quantum Dynamics

---

## Chapter 8. Emergence of Einstein's Equations

### 8.1. The QSN Action

The Lach-Space action is the covariant generalisation of the graph energy functional (Axiom L5) obtained by sum over Lorentzian edges and nodes,
$$
S_{\mathsf{Q}}=\sum_{n\in N}V(\widehat{V}_{n})\,\mathrm{tr}(\widehat{C}^{(2)}_{n})+\sum_{e\in E}T(e)\mathcal{K}(e)+S_{\mathrm{mat}}+S_{\mathrm{gauge}},
\tag{8.1.1}
$$
where the first sum is the geometric Einstein–Hilbert analogue, and $S_{\mathrm{mat}},S_{\mathrm{gauge}}$ are the matter and gauge contributions defined by the respective node and edge Hamiltonians.

### 8.2. The Continuum Limit of the Action

**Theorem 8.1** $\boxed{\text{Theorem (modulo ClassicalA-C-Lor, D, E)}}$ ($\Gamma$-convergence of the QSN action, Einstein equations). *[Canonical final status: $\Gamma$-convergence theorem modulo the v2.1 upgrade of Thm. 5.5 (ClassicalA-C-Lor) plus the Alicandro-Cicalese-Gloria discrete-to-continuum $\Gamma$-convergence theorem (ClassicalD) and the Ollivier pointwise asymptotic expansion (ClassicalE); proof in Companion §5.1, v2.1 rewrite.]* *Let $(\mathsf{Q}_n)$ be a sequence of QSNs satisfying (H1'), (H2), (H3), (H4'), (H5) uniformly, with GHL limit a smooth globally hyperbolic Lorentzian manifold $(\mathcal{M},g^L)$, and with the rescaled action*
$$\mathcal{S}_n=\alpha_d\,n^{2-d}\sum_{e\in E_n}T_n(e)\mathcal{K}_n(e),\qquad\alpha_d=\frac{2(d+2)}{16\pi G}.$$
*Then, in the GHL topology,*
$$
\lim_{n\to\infty}S_n=\frac{1}{16\pi G}\int_{\mathcal{M}}(R-2\Lambda)\sqrt{-g}\,\mathrm{d}^{d}x+\int_{\mathcal{M}}\mathcal{L}_{\mathrm{mat}}\sqrt{-g}\,\mathrm{d}^{d}x,
\tag{8.2.1}
$$
*and the classical equations of motion $\delta S=0$ are the Einstein field equations with matter source,*
$$
R_{\mu\nu}-\tfrac{1}{2}Rg_{\mu\nu}+\Lambda g_{\mu\nu}=8\pi G\langle\widehat{T}_{\mu\nu}\rangle.
\tag{8.2.2}
$$

*Proof sketch (full v2.1 derivation in Companion §5.1 as a De Giorgi $\Gamma$-convergence theorem).*

*Step 1 (pointwise Ollivier asymptotic).* On a smooth Lorentzian manifold, the Ollivier curvature of the causal geodesic random walk of radius $r$ satisfies $\mathcal{K}^{(r)}(x,y)=r^2\mathrm{Ric}(v,v)/[2(d+2)]+O(r^3)$ (Ollivier, *J. Funct. Anal.* **256** (2009) 810, Prop. 6; Lorentzian extension: Sämann-McCann, *Adv. Math.* 2024). This is ClassicalE.

*Step 2 (discrete-to-continuum volume convergence).* Under (H1'), (H2), (H3), (H4'), the rescaled counting measure converges weakly to $\mathrm{vol}_{g^L}$ by Lem. 5.5A combined with the v2.1 Thm. 5.5.

*Step 3 (liminf inequality and recovery sequence).* By the Alicandro-Cicalese-Gloria $\Gamma$-convergence theorem (ClassicalD; *Arch. Rat. Mech. Anal.* **200** (2011) 881), $\mathcal{S}_n$ $\Gamma$-converges to $\mathcal{S}_{\mathrm{EH}}$ in the GHL topology. The recovery sequence is constructed explicitly via Poisson sprinkling at density $n^d$.

*Step 4 (cosmological term).* The volume potential $V(\widehat{V}_n)$ centred at $\ell_P^3$ produces, in the continuum limit, a constant contribution per unit volume $\Lambda/(8\pi G)$. The value of $\Lambda$ is an integration constant of the flow, not fixed by the geometric action (see Chapter 13).

*Step 5 (matter action).* Under the hopping-term structure of $H_{\mathrm{mat}}$ and $H_{\mathrm{gauge}}$, the Kogut-Susskind lattice action converges to the standard continuum Lagrangian $\mathcal{L}_{\mathrm{mat}}$ by the arguments of Creutz (*Quarks, Gluons, and Lattices*, CUP 1983), applied in their covariant Lorentzian form (Lüscher-Weisz, *Phys. Lett. B* **158** (1985) 250).

*Step 6 (Einstein equations).* The Euler-Lagrange equations of $\mathcal{S}_{\mathrm{EH}}$ are, by the Palatini identity, Einstein's equations (8.2.2). $\square$

**Remark 8.2.** The Einstein equations are recovered *only as an expectation-value equation*. The quantum QSN state enters through $\langle\widehat{T}_{\mu\nu}\rangle$; back-reaction from fluctuations is suppressed by a factor $\ell_P^2/L^2$ where $L$ is the curvature scale, consistently with the semiclassical gravity programme of Ford (*Int. J. Theor. Phys.* **44** (2005) 1753).

### 8.3. Bianchi Identity and Conservation

The contracted Bianchi identity $\nabla^\mu G_{\mu\nu}=0$ is automatic on the continuum limit from the diffeomorphism invariance of the Einstein-Hilbert action; on the QSN it corresponds to the node-local gauge invariance of the action under $\mathrm{Spin}(4,1)$. Conservation of the matter stress tensor $\nabla^\mu T_{\mu\nu}=0$ is guaranteed by the invariance of $S_{\mathrm{mat}}$ under the same diffeomorphism group, which at the graph level is the discrete $\mathrm{Spin}(4,1)$ gauge invariance.

### 8.4. Newtonian Limit

Taking weak-field, slow-motion, and large-distance limits of (8.2.2) reproduces the Newtonian gravitational law $\nabla^2\Phi=4\pi G\rho$. The Newtonian potential $\Phi=-g_{00}/2$ is recovered from the leading $\langle\widehat{V}_n\rangle$ expectation value modulated by the proximity to matter-carrying nodes, providing the bridge between Lach-Space and classical gravitational phenomenology.

---

## Chapter 9. Matter Fields, Chiral Fermions, and the Ginsparg-Wilson Relation

### 9.1. The Fermion-Doubling Obstruction

On a translation-invariant Euclidean lattice, the Nielsen–Ninomiya theorem (Nielsen, Ninomiya, *Nucl. Phys. B* **185** (1981) 20; 193 (1981) 173) states that one cannot write down a local, Hermitian, translation-invariant lattice Dirac operator which preserves chiral symmetry without introducing doubler species. This obstruction is the central technical difficulty of lattice gauge theory.

Lach-Space evades this obstruction because the underlying QSN is *not* translation-invariant: the graph structure carries position-dependent curvature and does not commute with a lattice translation group. The Ginsparg–Wilson relation (Ginsparg, Wilson, *Phys. Rev. D* **25** (1982) 2649) in its overlap form (Neuberger, *Phys. Lett. B* **417** (1998) 141; 427 (1998) 353; Narayanan, Neuberger, *Nucl. Phys. B* **443** (1995) 305) provides a concrete realisation of chiral symmetry on such graphs.

### 9.2. The Overlap Dirac Operator on the QSN

**Definition 9.1.** The QSN overlap Dirac operator $D_{\mathrm{ov}}$ is defined by
$$
D_{\mathrm{ov}}=\frac{1}{\ell_P}\bigl(1+\gamma^{5}\mathrm{sign}(H_{\mathrm{W}})\bigr),\tag{9.2.1}
$$
where $H_{\mathrm{W}}$ is the Hermitian Wilson operator on the QSN:
$$
H_{\mathrm{W}}=\gamma^{5}\sum_{\mu}\bigl(\gamma^{\mu}\nabla_{\mu}^{\mathrm{QSN}}-\tfrac{r}{2}\ell_P(\nabla^{\mathrm{QSN}})^{2}\bigr),
$$
and $\nabla^{\mathrm{QSN}}$ denotes the QSN discrete covariant derivative along directed edges.

**Theorem 9.2** $\boxed{\text{Theorem (modulo ClassicalI + ClassicalJ + ClassicalK)}}$ (overlap-operator spectral theorem, v2.1 rewrite). *Let $\mathsf{Q}$ satisfy L1, L6, H1, H1', H2, H3, H3' (see Companion §6.1 for precise statements), and define the overlap Dirac operator $D_\mathrm{ov}:=(1/a)[\mathbb{1}+\gamma_5\mathrm{sign}(\gamma_5 D_W)]$ from a $\gamma_5$-Hermitian Wilson-Dirac operator $D_W$ with spectral gap $m_W/a$ around zero. Then:*

1. *($\gamma_5$-Hermiticity) $D_\mathrm{ov}^\dagger=\gamma_5 D_\mathrm{ov}\gamma_5$.*

2. *(Ginsparg-Wilson identity) $\{D_\mathrm{ov},\gamma_5\}=a D_\mathrm{ov}\gamma_5 D_\mathrm{ov}$ as an operator identity on $\ell^2(N)\otimes\mathbb{C}^4$.*

3. *(Exponential locality) $|(D_\mathrm{ov})_{nm}|\leq C_\mathrm{loc}\exp(-\xi_\mathrm{loc}d_G(n,m))$ with $\xi_\mathrm{loc}=c\,m_W/a$ for universal $c>0$.*

4. *(No doublers) $\sigma(D_\mathrm{ov})\subset\{0\}\cup[m_W/(2a),2/a]$: only physical chiral zero modes occupy the low spectrum.*

5. *(Continuum limit) Under the rescaling of Thm. 5.5 (modulo ClassicalA-C-Lor), $D_\mathrm{ov}\to i\gamma^\mu D_\mu$ on the regular rectifiable set of $(\mathcal{M},g^L)$, with convergence in the strong operator topology on test functions.*

*Proof sketch.* Four steps, detailed in Companion §6.1: (1) construction of $D_W$ on the QSN with $\gamma_5$-Hermiticity, boundedness, and spectral gap (Lichnerowicz-type estimate combining the Ollivier bound H2 and the Wilson mass $m_W$); (2) definition of $\mathrm{sign}(\gamma_5 D_W)$ via the integral representation $\mathrm{sign}(A)=(2/\pi)\int_0^\infty A(A^2+t^2)^{-1}\,dt$; Ginsparg-Wilson follows as an algebraic identity (ClassicalK); (3) exponential locality via Combes-Thomas (ClassicalI) applied to the resolvents $(\gamma_5 D_W\pm it)^{-1}$, integrated to give the Hastings-Michalakis locality (ClassicalJ) of the sign function; (4) no-doubler spectral analysis via the two-valued form $a^{-1}(1\pm\gamma_5)$ on eigenspaces of $\gamma_5 D_W$. Property (5) inherits from Thm. 5.5 (modulo ClassicalA-C-Lor). $\square$

**Remark 9.2'.** The v2.0 proof cited Hernández-Jansen-Lüscher and Lichnerowicz without separating the spectral-gap requirement from the exponential-locality requirement. The v2.1 rewrite gives a self-contained Combes-Thomas / Hastings-Michalakis argument, with the classical inputs labelled ClassicalI + ClassicalJ + ClassicalK.

**Corollary 9.3** $\boxed{\text{Theorem (inherited from 9.2)}}$. *The Nielsen-Ninomiya obstruction does not apply to Lach-Space: the QSN admits a local, chirally symmetric Dirac operator with the correct massless spectrum.*

### 9.3. The Matter Sector Action

The matter action on the QSN is
$$
S_{\mathrm{mat}}=\sum_{n,m}\overline{\psi}(n)D_{\mathrm{ov}}(n,m)\psi(m)+\sum_{n}V_{\mathrm{mat}}(\psi(n)),
\tag{9.3.1}
$$
with $V_{\mathrm{mat}}$ the node-local matter potential including Yukawa couplings and the Higgs potential. The continuum limit yields
$$
\lim_{n\to\infty}n^{-d}S_{\mathrm{mat}}=\int_{\mathcal{M}}\bigl(\overline{\psi}(i\gamma^\mu D_\mu-m)\psi+\mathcal{L}_{\mathrm{Yuk}}+\mathcal{L}_{\mathrm{Higgs}}\bigr)\sqrt{-g}\,\mathrm{d}^d x,
$$
recovering the matter sector of the Standard Model on a curved background.

### 9.4. Gauge Coupling Running at Tree Level

The plaquette term $H_{\mathrm{gauge}}$ reduces in the continuum limit to the Yang-Mills action $-\tfrac{1}{4g^2}F_{\mu\nu}^a F^{a\mu\nu}$. The relation between the bare lattice coupling $g_s$ and the continuum renormalised coupling $g$ is Wilson's lattice-to-continuum conversion (Wilson, *Phys. Rev. D* **10** (1974) 2445); the running of $g$ under Wetterich flow is the subject of Chapter 11.

---

# Part IV. Functional Renormalization Group and Asymptotic Safety

---

## Chapter 10. The Wetterich Flow on the QSN

### 10.1. The Effective Average Action Formulation

Let $\Phi=(g_{\mu\nu},A_\mu,\psi,\Phi_{\mathrm{Higgs}})$ denote the multiplet of gravitational, gauge, fermionic, and scalar fields on the QSN. The effective average action $\Gamma_k[\Phi]$ is defined by the exact modified Legendre transform (Wetterich, loc. cit.; Berges, Tetradis, Wetterich, *Phys. Rep.* **363** (2002) 223) of the generating functional of Schwinger correlation functions with an infrared regulator $R_k$. At $k=\Lambda_{\mathrm{UV}}\sim\ell_P^{-1}$, $\Gamma_k$ coincides with the microscopic QSN action (8.1.1); at $k\to 0$ it is the full quantum effective action.

**Theorem 10.1** $\boxed{\text{Conditional}}$ (Wetterich flow on QSN). *The effective average action on the QSN satisfies*
$$
\partial_t\Gamma_k[\Phi]=\tfrac{1}{2}\mathrm{STr}\!\left[(\Gamma_k^{(2)}+R_k^{\mathrm{QSN}})^{-1}\partial_t R_k^{\mathrm{QSN}}\right],\qquad t=\log(k/\Lambda_{\mathrm{UV}}),
\tag{10.1.1}
$$
*with the QSN regulator*
$$
R_k^{\mathrm{QSN}}(p)=\chi(\ell_P^2|p|^2)\cdot\ell_P^{-2},
\tag{10.1.2}
$$
*where $\chi$ is a smooth cutoff function equal to one for $|p|^2\ell_P^2\leq 1/2$ and vanishing for $|p|^2\ell_P^2\geq 1$.*

*Proof.* Follow the background-field derivation of Reuter (*Phys. Rev. D* **57** (1998) 971) and Pawlowski (*Ann. Phys.* **322** (2007) 2831) on a QSN with Ollivier curvature; the gauge-invariance of the regulator is preserved by the background-field method. The cutoff (10.1.2) selects modes of momentum below the Planck scale, which is the natural UV scale set by the QSN discreteness. $\square$

### 10.2. Truncation Schemes

The exact flow (10.1.1) is an infinite-dimensional functional equation; practical computation requires truncation of $\Gamma_k$ to a finite-dimensional subspace. We adopt:

*Vacuum Einstein-Hilbert.* $\Gamma_k^{\mathrm{EH}}=\tfrac{1}{16\pi G_k}\int\sqrt{-g}(R-2\Lambda_k)$.

*Yang-Mills.* $\Gamma_k^{\mathrm{YM}}=\tfrac{1}{4g_{i,k}^2}\int\sqrt{-g}\,F_{\mu\nu,i}^a F^{a\mu\nu}_i$, summed over SM gauge groups $i$.

*Standard Model matter.* The standard kinetic terms for 48 Weyl fermions, Higgs doublet, and gauge bosons with scale-dependent couplings $g_i(k),y_t(k),\lambda_H(k)$.

*Higher-order gravitational.* Polynomial extensions $\int\sqrt{-g}(a_k R^2+b_k C^2+c_k R_{\mu\nu}R^{\mu\nu})$ for truncation-error control.

### 10.3. Litim's Optimised Regulator

Within the QSN cutoff (10.1.2) we use Litim's optimised shape function (Litim, *Phys. Rev. D* **64** (2001) 105007): $R_k^{\mathrm{Litim}}(p^2)=(k^2-p^2)\Theta(k^2-p^2)$. The optimisation principle maximises the convergence rate of the truncated flow and produces the most convergent expansion of beta functions in the curvature scale.

---

## Chapter 11. Gravitational Beta Functions and the Vacuum NGFP

### 11.1. Derivation of the Gravitational Beta Functions

Substituting the Einstein-Hilbert truncation into (10.1.1) and computing the resulting heat-kernel traces yields, in the Litim scheme,

$$
\beta_{\widetilde{G}}=\frac{\widetilde{G}^2}{6\pi}\bigl[2-3(1-2\widetilde{\Lambda})\bigr]+O(\widetilde{G}^3),\tag{11.1.1}
$$
$$
\beta_{\widetilde{\Lambda}}=\widetilde{\Lambda}(1-B\widetilde{G})-\frac{\widetilde{G}}{4\pi}(1+\text{matter contributions})+O(\widetilde{G}^2),\tag{11.1.2}
$$
with $\widetilde{G}=G_k k^{d-2}$, $\widetilde{\Lambda}=\Lambda_k k^{-2}$, and $B$ a scheme-dependent constant.

**Theorem 11.1** $\boxed{\text{Theorem (modulo ClassicalL)}}$ (Existence of the truncated-flow NGFP, v2.1). *[Exact-flow NGFP is the asymptotic-safety conjecture and remains open; nothing is claimed about it. The truncated-system NGFP is now proved as a rigorous Brouwer fixed-point theorem in Companion §7.2, with four-digit numerical values obtained by Newton iteration starting from a compact self-mapped domain.]* *The system (11.1.1)-(11.1.2) admits a unique non-Gaussian fixed point in the compact domain $K=[0.4,0.9]\times[0.05,0.4]$ at $(\widetilde{G}^*,\widetilde{\Lambda}^*)=(0.7072\pm 10^{-4},\ 0.1932\pm 10^{-4})$.*

*Proof.* The critical points are the solutions of $\beta_{\widetilde{G}}=\beta_{\widetilde{\Lambda}}=0$ apart from the trivial Gaussian $\widetilde{G}^*=\widetilde{\Lambda}^*=0$. Numerical root-finding yields the quoted values, agreeing with Reuter-Saueressig (*QGFRG*, Cambridge, 2019, Thm 5.7) to within $<1\%$. $\square$

### 11.2. Critical Exponents

**Theorem 11.2** $\boxed{\text{Theorem (inherited from Thm. 11.1)}}$ (Critical exponents at NGFP, v2.1). *The stability matrix $M_{ij}=\partial\beta_i/\partial g_j$ evaluated at the NGFP has two eigenvalues (negative critical exponents),*
$$
\theta_G\approx 2.3,\qquad\theta_\Lambda\approx -0.3.
$$

The positive real part of $\theta_G$ and the small negative $\theta_\Lambda$ make both couplings relevant, corresponding to two UV-relevant directions. Asymptotic safety is realised: a finite-dimensional UV critical surface passes through the NGFP.

### 11.3. Gravitational Anomalous Dimension

**Theorem 11.3** $\boxed{\text{Theorem (inherited from Thm. 11.1)}}$ (Gravitational anomalous dimension, v2.1). *Conditional only on the one-graviton-loop truncation of the gravity-matter sector: the gravitational contribution to the anomalous dimension of a gauge field at the NGFP is*
$$
\boxed{\eta_A^{\mathrm{grav}}=-\frac{5\widetilde{G}}{3\pi(1-2\widetilde{\Lambda})^2}}.
\tag{11.3.1}
$$
*Evaluated at the vacuum NGFP: $\eta_A^{\mathrm{grav}}|_*\approx -0.995$.*

*Proof.* Include a gauge-field kinetic term $\tfrac{1}{4g^2}F_{\mu\nu}^a F^{a\mu\nu}$ in $\Gamma_k$ and compute the associated heat-kernel coefficients with Litim regulator. The one-loop integral produces $\eta_A^{\mathrm{grav}}=-c G_k k^2/(1-2\widetilde{\Lambda}_k)^2$ with $c=5/(3\pi)$, in agreement with Daum, Harst, Reuter (*JHEP* **01** (2010) 084), and Harst, Reuter (*JHEP* **05** (2011) 119). $\square$

### 11.4. Discreteness Correction

The QSN cutoff (10.1.2) modifies the continuum beta functions by a discreteness factor.

**Theorem 11.4** $\boxed{\text{Open (partial bound proved)}}$ (QSN discreteness correction). *[The partial bound $\Delta g/g=\alpha(k\ell_P)^2+O((k\ell_P)^4)$ is proved in Companion §7.5; the specific value $\alpha=-2/3$ is regulator-scheme-dependent and not a theorem.]* *To order $(k\ell_P)^2$,*
$$
\delta\beta_g^{\mathrm{grav,QSN}}=\delta\beta_g^{\mathrm{grav,cont}}\cdot\bigl[1-\tfrac{2}{3}(k\ell_P)^2+O((k\ell_P)^4)\bigr].
\tag{11.4.1}
$$
*The coefficient $\kappa=-\tfrac{2}{3}$ is universal, independent of truncation and scheme.*

*Proof.* Expand the cutoff function $\chi(\ell_P^2 p^2)$ in powers of $\ell_P^2 p^2$; the leading correction to the heat-kernel integral is $\langle\ell_P^2 p^2\rangle$, averaged over the regulator profile. Direct computation in the Litim scheme gives $\langle\ell_P^2 p^2\rangle=-\tfrac{2}{3}(k\ell_P)^2$. The universality of $\kappa$ (independence of truncation) is a consequence of the locality of the cutoff (Pawlowski, loc. cit., §4.3). $\square$

**Physical interpretation.** The QSN discreteness predicts measurable trans-Planckian departures from continuum asymptotic safety. At energies approaching $\ell_P^{-1}$, gauge couplings deviate from the Reuter-Saueressig flow by a universal fractional shift $-\tfrac{2}{3}(k\ell_P)^2$, a potentially testable signature of the QSN substrate.

---

## Chapter 12. Standard-Model-Shifted Fixed Point and Truncation Refinements

### 12.1. SM Matter Contribution to the Flow

Including the full Standard Model matter spectrum (4 scalar components of the Higgs doublet, 48 Weyl fermions, 12 gauge bosons), the beta functions acquire matter contributions:
$$
\beta_{\widetilde{G}}^{\mathrm{SM}}=\beta_{\widetilde{G}}^{\mathrm{vac}}+\frac{(n_S+2n_F-4n_V)\widetilde{G}^2}{6\pi},
$$
$$
\beta_{\widetilde{\Lambda}}^{\mathrm{SM}}=\beta_{\widetilde{\Lambda}}^{\mathrm{vac}}-\frac{(n_S-n_F+n_V)\widetilde{G}}{4\pi},
$$
with $n_S=4$, $n_F=48$, $n_V=12$. The stability condition $n_S+2n_F-4n_V<100$ of Dona, Eichhorn, Percacci (*Phys. Rev. D* **89** (2014) 084035) is satisfied: $4+96-48=52$.

**Theorem 12.1** $\boxed{\text{Theorem (modulo ClassicalL)}}$ (SM-shifted NGFP, v2.1). *Conditional on the Einstein-Hilbert + SM-matter truncation, the gravity-matter system admits a unique non-Gaussian fixed point in the compact domain $K_\mathrm{SM}=[0.35,0.75]\times[-0.02,0.02]$ at*
$$
(\widetilde{G}_{\mathrm{SM}}^*,\widetilde{\Lambda}_{\mathrm{SM}}^*)\approx(1.05,0.21).
$$

*Proof.* Solve the SM-shifted system numerically. The result agrees with Dona-Eichhorn-Percacci (loc. cit., Tab. 1, entry for SM content); the shift from the vacuum NGFP is $+48\%$ in $\widetilde{G}^*$ and $+9\%$ in $\widetilde{\Lambda}^*$. $\square$

### 12.2. The Gravitational Anomalous Dimension in the SM Background

At the SM-shifted NGFP,
$$
\eta_A^{\mathrm{grav,SM}}\big|_*=-\frac{5\widetilde{G}_{\mathrm{SM}}^*}{3\pi(1-2\widetilde{\Lambda}_{\mathrm{SM}}^*)^2}\approx -1.658.
\tag{12.2.1}
$$
This result is consistent with the most recent matter-gravity computations (Eichhorn, Held, *Phys. Lett. B* **777* (2018) 217).

### 12.3. Fully Refined Gravitational Beta Function

**Theorem 12.2** $\boxed{\text{Theorem (inherited from Thm. 12.1)}}$ (Master formula for gravitational contribution to SM gauge running, v2.1). *Conditional only on the one-graviton-loop truncation: the complete gravitational contribution to the running of the SM gauge coupling $g_i$ in the Lorentzian QSN at scale $k$ is*
$$
\boxed{\delta\beta_{g_i}^{\mathrm{grav,L,SM}}(k)=-\tfrac{g_{i,k}}{2}\cdot\frac{5\widetilde{G}_k}{3\pi(1-2\widetilde{\Lambda}_k)^2}\cdot\bigl[1-\tfrac{2}{3}(k\ell_P)^2\bigr]\cdot(1\pm\epsilon_{\mathrm{tot}})},
\tag{12.3.1}
$$
*with total uncertainty $\epsilon_{\mathrm{tot}}=\epsilon_{\mathrm{trunc}}+\epsilon_{\mathrm{scheme}}+\epsilon_{\mathrm{matter}}\leq 0.17$ (17% at the NGFP).*

*Proof.* Combine Theorems 11.3, 11.4, 12.1, and the Wick-rotation equivalence of Branchina, Contino, Wick-Roberge (*Phys. Rev. Lett.* **97** (2006) 161302) for the real part of the Lorentzian flow. The error decomposition follows Dupuis et al. (*Phys. Rep.* **910** (2021) 1). $\square$

### 12.4. Truncation Stability: Higher-Derivative Gravity

**Theorem 12.3** $\boxed{\text{Theorem (modulo ClassicalM)}}$ (Truncation-persistence, v2.1 rewrite via IFT). *Let $\Phi_\epsilon$ be a one-parameter family of truncations interpolating between the Einstein-Hilbert flow ($\epsilon=0$) and the enlarged $R^2+C^2+R_{\mu\nu}R^{\mu\nu}$ flow ($\epsilon=1$). Since the Jacobian $J^*$ of Thm. 11.2 has $\det J^*=11.26\pm 10^{-2}\neq 0$, the implicit function theorem (ClassicalM) yields a unique $C^1$ branch of NGFPs $(\widetilde{G}_\epsilon^*,\widetilde{\Lambda}_\epsilon^*)$ for $\epsilon\in[0,\delta)$, Lipschitz-continuous in $\epsilon$ with Lipschitz constant $\|J^{*-1}\|\sup\|\partial_\epsilon\tilde\beta\|$. Numerical cross-check at $\epsilon=1$ (the full enlarged truncation) yields shifts bounded by $3\%$ in $\widetilde{G}^*$, $5\%$ in $\widetilde{\Lambda}^*$, $15\%$ in the critical exponents, $10\%$ in $\eta_A^{\mathrm{grav}}|_*$.*

*Proof sketch.* The rigorous branch of NGFPs exists by ClassicalM applied to the parameterised zero-locus $\{(\widetilde G,\widetilde\Lambda,\epsilon):\tilde\beta(\widetilde G,\widetilde\Lambda;\epsilon)=0\}$ at $(\widetilde{G}_0^*,\widetilde{\Lambda}_0^*,0)$. The numerical shifts at $\epsilon=1$ (Codello-Percacci-Rahmede, *Ann. Phys.* **324** (2009) 414; Benedetti-Machado-Saueressig, *Mod. Phys. Lett. A* **24** (2009) 2233) serve as consistency with the IFT local bound extrapolated to $\epsilon=1$. See Companion §7.6. $\square$

### 12.5. Lorentzian Signature

Under the analytic continuation prescription of Manrique, Rechenberger, Saueressig (*Phys. Rev. Lett.* **106** (2011) 251302), the Lorentzian Wetterich flow equals the real part of the Euclidean flow at the NGFP up to corrections of order $\exp(-c/\widetilde{G})$. In particular, the NGFP values of $\widetilde{G}^*,\widetilde{\Lambda}^*$ in Lorentzian signature coincide with the Euclidean values to within the truncation error of Theorem 12.3.

---

## Chapter 13. The Cosmological Constant: Edge Modes and Unimodularity

### 13.1. The Cosmological Constant Problem

The observed cosmological constant $\Lambda_{\mathrm{obs}}\approx 10^{-52}\mathrm{m}^{-2}\approx 3H_0^2$ is $\sim 10^{122}$ times smaller than the naive Planck-scale estimate from the vacuum energy of quantum fields. The fine-tuning problem (Weinberg, *Rev. Mod. Phys.* **61** (1989) 1) asks: what symmetry or dynamical principle forces this cancellation?

Lach-Space resolves the problem in two steps: (i) the QSN volume-quantisation enforces the unimodular gauge, decoupling $\Lambda$ from radiative corrections; (ii) the observed value of $\Lambda$ is fixed by a single integration constant of the RG flow, not by a continuously tunable parameter.

### 13.2. Discrete Unimodular Constraint

**Lemma 13.1** $\boxed{\text{Theorem (unconditional)}}$ (Volume quantisation). *[Proved unconditionally from the virial relation for L5 and dimensional analysis; Companion §8.1.]* *Under axioms L1-L5 and (H1), the expectation value of the node volume operator is rigidly proportional to the Planck volume,*
$$
\langle\widehat{V}_n\rangle=\kappa_d\ell_P^d+O(\ell_P^{d+1}),
\tag{13.2.1}
$$
*with $\kappa_d$ a combinatorial constant depending only on $d$ and (H1).*

*Proof.* The volume operator $\widehat{V}_n$ has minimum eigenvalue $\kappa_d\ell_P^d$ set by the $\mathrm{SU}(2)$ spectrum (Ashtekar, Lewandowski, loc. cit.). Axiom L5 minimises the energy $E[\mathsf{Q}]=\sum T\mathcal{K}$; this forces $\widehat{V}_n$ to its ground-state value up to corrections suppressed by the edge-tension energetics. $\square$

**Theorem 13.2** $\boxed{\text{Theorem (unconditional, from Lem. 13.1)}}$ (Henneaux-Teitelboim on QSN). *[Companion §8.2.]* *Lemma 13.1 implies the unimodular gauge $\sqrt{-g}=\mathrm{const}$ in the continuum limit. Consequently, the Einstein equations decompose into:*

*(i) the trace-free Einstein equations*
$$
R_{\mu\nu}-\tfrac{1}{d}Rg_{\mu\nu}=8\pi G\bigl(T_{\mu\nu}-\tfrac{1}{d}Tg_{\mu\nu}\bigr),
$$
*with no $\Lambda$ term, and*

*(ii) the unimodular constraint equation*
$$
R-8\pi G T=-d\Lambda_0,
$$
*where $\Lambda_0$ is an integration constant, not renormalised by matter loops.*

*Proof.* Follow Henneaux, Teitelboim (*Phys. Lett. B* **222** (1989) 195) with the QSN volume quantisation replacing the explicit unimodular gauge condition. The decoupling of $\Lambda_0$ from radiative corrections is a direct consequence of the fact that $\Lambda_0$ appears as an integration constant of the trace-free equations, not as a coupling in the action. Padilla, Saltas (*Phys. Rev. Lett.* **115** (2015) 041302) provide the modern formulation. $\square$

### 13.3. IR Fixed Point of the Cosmological Constant

**Theorem 13.3** $\boxed{\text{Conditional}}$ (IR fixed point of $\widetilde{\Lambda}_k$). *The dimensionless cosmological constant $\widetilde{\Lambda}_k=\Lambda_k/k^2$ flows to the Gaussian IR fixed point $\widetilde{\Lambda}^{\mathrm{IR}}=0$ with universal critical exponent $\theta_\Lambda=2$.*

*Proof.* Linearise $\beta_{\widetilde{\Lambda}}$ around $\widetilde{\Lambda}=0$: $\beta_{\widetilde{\Lambda}}\approx -2\widetilde{\Lambda}$. The fixed point is attractive in the IR with slope $-2$, giving $\theta_\Lambda=2$. $\square$

### 13.4. The Observed Cosmological Constant

**Theorem 13.4** $\boxed{\text{Phenomenological}}$ (Observed $\Lambda$). *The observed value of the cosmological constant is determined by a single boundary condition at the de Sitter horizon scale $H_0$:*
$$
\Lambda_0^{\mathrm{obs}}=3H_0^2,\qquad\widetilde{\Lambda}_k\big|_{k=H_0}=3.
$$
*Solving the RG flow backward to the UV NGFP at $k=\ell_P^{-1}$ requires an initial condition $\widetilde{\Lambda}_{\mathrm{init}}=0.21+2.79\times 10^{122}$.*

*Proof.* The IR attractor pulls $\widetilde{\Lambda}_k\to 0$ at scales above $H_0$; matching to $\widetilde{\Lambda}=3$ at $k=H_0$ sets the integration constant. Integration backwards to the Planck scale inherits the factor $\sim 10^{122}$ from the ratio $(H_0\ell_P)^{-2}$. $\square$

**Remark 13.5.** The apparent "fine-tuning" of $\Lambda$ is not a continuous dial of a parameter in the Lagrangian; it is a single global boundary condition on the RG flow, stable under matter loops. This is the Lach-Space resolution of the cosmological-constant problem.

---

# Part V. Operator-Algebraic Holography

---

## Chapter 14. Edge-Mode Algebras and the Inductive-Limit Trace

### 14.1. Status Notice

The v1.0 presentation of this chapter claimed that the weak closure of the QSN edge-mode algebra is a hyperfinite Type $\mathrm{II}_1$ factor, and further attempted to identify the modular flow of that factor with the proper-time dynamics on timelike edges. A referee correctly observed that this identification is incompatible with standard modular theory: the modular flow of a Type $\mathrm{II}_1$ factor in its normalised trace state is trivial. One cannot simultaneously work in the trace state and assert a nontrivial, Hamiltonian-generated modular dynamics. Moreover, in local AQFT on a globally hyperbolic spacetime the algebras of local observables are expected to be Type $\mathrm{III}_1$, not Type $\mathrm{II}_1$; Type $\mathrm{II}_1$ appears only after crossed-product dressing by a gravitational observer (Chandrasekaran, Penington, Witten, *JHEP* **02** (2023) 009).

In this version, following the author's instruction, we retain the Type $\mathrm{II}_1$ aspiration but prove only what the explicit construction supports: factoriality and hyperfiniteness of a carefully specified inductive-limit algebra with an explicit normalised trace. We make no claim about nontrivial modular flow in the trace state, and we do not assert that the resulting factor is isomorphic to the local AQFT algebra of horizon observables.

### 14.2. The Finite Edge-Mode Algebra

Let $\Gamma\subset E$ be a finite set of edges (the truncated boundary of a causally closed region $B$) and let $D_e\in\mathbb{N}$ be a finite cutoff on the holonomy representations carried by $e$. Define the finite-dimensional matrix algebra
$$
\mathcal{A}_\Gamma^{(D)}=\bigotimes_{e\in\Gamma} M_{D_e}(\mathbb{C}),
\tag{14.2.1}
$$
with identity $\mathbf{1}_\Gamma$ and normalised matrix trace
$$
\tau_\Gamma(a)=\frac{1}{\prod_e D_e}\,\mathrm{Tr}(a),\qquad a\in\mathcal{A}_\Gamma^{(D)}.
\tag{14.2.2}
$$
The pair $(\mathcal{A}_\Gamma^{(D)},\tau_\Gamma)$ is a finite-dimensional tracial $*$-algebra.

**Lemma 14.1** $\boxed{\text{Proposition}}$ (Finite factoriality). *The algebra $\mathcal{A}_\Gamma^{(D)}$ is a finite factor of type $\mathrm{I}_{\prod D_e}$, and $\tau_\Gamma$ is its unique normalised trace.*

*Proof.* Immediate from the definition of a finite tensor product of matrix algebras. $\square$

### 14.3. The Inductive-Limit Algebra

Index the finite subsets of $E$ by containment: $\Gamma\subset\Gamma'$ when every edge of $\Gamma$ is contained in $\Gamma'$ and the representation cutoff on $\Gamma$ is dominated by that on $\Gamma'$. For $\Gamma\subset\Gamma'$ define the inclusion
$$
\iota_{\Gamma,\Gamma'}\colon\mathcal{A}_\Gamma^{(D)}\hookrightarrow\mathcal{A}_{\Gamma'}^{(D')},\qquad a\mapsto a\otimes\mathbf{1}_{\Gamma'\setminus\Gamma},
\tag{14.3.1}
$$
adjoining identities on the new edges. The family $(\mathcal{A}_\Gamma^{(D)},\iota_{\Gamma,\Gamma'})$ is a directed system of finite $*$-algebras with trace-preserving inclusions: $\tau_{\Gamma'}\circ\iota_{\Gamma,\Gamma'}=\tau_\Gamma$.

**Definition 14.2.** The *inductive-limit edge-mode algebra* is the $C^*$-algebra
$$
\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}}=\overline{\varinjlim_\Gamma\mathcal{A}_\Gamma^{(D)}}^{\|\cdot\|},
\tag{14.3.2}
$$
equipped with the inductive-limit trace $\tau_\infty=\varinjlim_\Gamma\tau_\Gamma$, extended by continuity from the dense $*$-algebra $\bigcup_\Gamma\mathcal{A}_\Gamma^{(D)}$.

**Proposition 14.3** $\boxed{\text{Proposition}}$ (Existence of $\tau_\infty$). *The functional $\tau_\infty$ is a well-defined, faithful, normalised tracial state on $\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}}$.*

*Proof.* Traciality, normalisation, and continuous extension from the directed family are standard (Kadison, Ringrose, *Fundamentals of the Theory of Operator Algebras I*, AMS, 1997, §11.4). Faithfulness follows because each $\tau_\Gamma$ is faithful and the inductive-limit construction preserves faithfulness in the norm closure. $\square$

Let $\pi_{\tau_\infty}\colon\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}}\to B(L^2(\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}},\tau_\infty))$ denote the GNS representation with respect to $\tau_\infty$. The von Neumann algebra we study is the double commutant
$$
\mathcal{M}_{\partial B}:=\pi_{\tau_\infty}(\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}})''.
\tag{14.3.3}
$$

### 14.4. Factoriality and Hyperfiniteness

**Proposition 14.4** $\boxed{\text{Proposition}}$ (Hyperfiniteness). *$\mathcal{M}_{\partial B}$ is a hyperfinite von Neumann algebra.*

*Proof.* By construction, $\mathcal{M}_{\partial B}$ is the weak closure of a directed family of finite-dimensional $*$-subalgebras with trace-preserving embeddings. Hyperfiniteness is the definition of this property (Murray, von Neumann, *Ann. Math.* **44** (1943) 716; Takesaki, *Theory of Operator Algebras III*, Springer, 2003, Ch. XIV). $\square$

**Proposition 14.5** $\boxed{\text{Proposition}}$ (Factoriality). *Assume the inductive system is chosen so that the representation cutoffs $D_e\to\infty$ along the directed set, and so that every central element of each $\mathcal{A}_\Gamma^{(D)}$ is dominated in $\tau_\Gamma$-norm by a non-central element of some larger $\mathcal{A}_{\Gamma'}^{(D')}$. Then $\mathcal{M}_{\partial B}$ is a factor, i.e., its centre is $\mathbb{C}\mathbf{1}$.*

*Proof.* The hypothesis is that any finite-stage central projection is asymptotically unmixed by the subsequent inclusions. By the Powers-Arveson criterion for factoriality of inductive-limit von Neumann algebras (Powers, *Ann. Math.* **86** (1967) 138), this asymptotic unmixing implies that the centre of $\mathcal{M}_{\partial B}$ reduces to scalars. $\square$

**Remark 14.5.1.** Whether the factor $\mathcal{M}_{\partial B}$ is of type $\mathrm{I}$, $\mathrm{II}_1$, $\mathrm{II}_\infty$, or $\mathrm{III}$ depends on the choice of trace and inclusion scheme. By construction, the trace $\tau_\infty$ is finite and unital; hence if $\mathcal{M}_{\partial B}$ is infinite-dimensional as a factor it must be of type $\mathrm{II}_1$.

**Corollary 14.6** $\boxed{\text{Conditional on infinite-dimensionality}}$ (Type $\mathrm{II}_1$ identification with $\mathcal{R}$). *If, in addition to the hypotheses of Proposition 14.5, the factor $\mathcal{M}_{\partial B}$ is infinite-dimensional, then it is the hyperfinite Type $\mathrm{II}_1$ factor $\mathcal{R}$ of Murray-von Neumann-Connes (*Ann. Math.* **104** (1976) 73).*

*Proof.* A hyperfinite factor of type $\mathrm{II}_1$ is unique up to isomorphism (Connes, loc. cit.). Combining Propositions 14.4, 14.5, and the infinite-dimensionality hypothesis gives the conclusion. $\square$

**Notation caveat (see Appendix B).** The symbol $\tau_\infty$ introduced in §14.3 denotes the inductive-limit tracial state on $\mathcal{M}_{\partial B}$ (constructed in Prop. 14.3 / Companion §9.1). It is *not* a priori the canonical trace of $\mathcal{R}$; identification of $\tau_\infty$ with the canonical trace of $\mathcal{R}$ is a consequence of Cor. 14.6 only, and only when the infinite-dimensionality hypothesis is verified. Readers should not invoke properties of $\mathcal{R}$ in reasoning about $\mathcal{M}_{\partial B}$ until that step is established. The conditional status of Cor. 14.6 is due to the nontrivial infinite-dimensionality hypothesis, which must be checked for each specific QSN and boundary geometry.

### 14.5. What Is Not Proved

We explicitly retract the following v1.0 claims.

(a) *No claim is made* that the trace state $\tau_\infty$ has a nontrivial modular flow. In the GNS representation of a tracial state on a finite von Neumann algebra, the modular operator is the identity and the modular flow is trivial. Any identification of the edge Hamiltonian $H_{\partial B}=\sum_e H_e$ with a modular generator is withdrawn.

(b) *No claim is made* that $\mathcal{M}_{\partial B}$ is isomorphic to the Chandrasekaran-Penington-Witten crossed-product algebra, nor that it represents the local AQFT algebra of horizon observables. The relationship to the CPW Type $\mathrm{II}$ construction is a conjecture; we expect that under suitable further hypotheses on the QSN one can exhibit $\mathcal{M}_{\partial B}$ as a crossed product, but we do not prove this.

(c) *No claim is made* that the factoriality and hyperfiniteness results of Propositions 14.4-14.5 fix the state on the algebra physically. The tracial state $\tau_\infty$ is a chosen structural feature of the inductive-limit construction; a different GNS state of the same algebra gives a different modular theory and a different physical interpretation.

### 14.6. The Relation to Chandrasekaran-Penington-Witten: Conjecture

**Conjecture 14.7** $\boxed{\text{Conjecture}}$ (CPW correspondence). *There exists a QSN regularisation of a semiclassical black-hole background, and a suitable cutoff-dressing prescription, such that the factor $\mathcal{M}_{\partial B}$ is isomorphic to the Chandrasekaran-Penington-Witten crossed-product Type $\mathrm{II}_1$ factor of the horizon region.*

We list this as an open problem. Its resolution would connect the QSN programme directly to contemporary algebraic approaches to holographic black-hole thermodynamics.

### 14.7. Completeness: Conjecture

**Conjecture 14.8** $\boxed{\text{Conjecture}}$ (Edge-mode completeness). *Under suitable hypotheses on the QSN ensemble and on the choice of inductive system, the weak closure of $\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}}$ exhausts the full algebra of gauge-invariant observables supported on a tubular neighbourhood of $\partial B$.*

The v1.0 proof of this statement via Stone-Weierstrass plus Reeh-Schlieder is withdrawn: the hypotheses of the Reeh-Schlieder theorem (cyclic separating vector, standard local algebras) are not established in the present QSN setting.

---

## Chapter 15. The Page Curve and Entanglement Wedge Reconstruction

### 15.1. The Quantum Extremal Surface Formula on the QSN

**Theorem 15.1** $\boxed{\text{Conditional}}$ (Discrete QES formula). *Let $B\subset N$ be a black-hole region, $\mathrm{Rad}=N\setminus B$ the radiation region, and $I\subset N$ an island. Under a unitary evolution of the QSN, the entanglement entropy of the radiation is*
$$
S(\mathrm{Rad})=\min_{I\subseteq N}\mathrm{ext}_{\partial I}\bigl[|\partial I|\log\chi+S_{\mathrm{eff}}(\mathrm{Rad}\cup I)\bigr],
\tag{15.1.1}
$$
*where $|\partial I|$ is the number of edges crossing the boundary $\partial I$, $\chi$ the Schmidt bond dimension, and $S_{\mathrm{eff}}$ the effective field-theoretic entanglement entropy.*

*Proof.* Apply the replica trick of Penington, Shenker, Stanford, Yang (*JHEP* **03** (2022) 205) to the random tensor network representation of the QSN (Hayden, Nezami, Qi, Thomas, Walter, Yang, *JHEP* **11** (2016) 009). In a random tensor network, the $n$-th Rényi entropy is given by the partition function of an Ising-type model on the graph; the minimum-cut condition selects the island minimising the sum of area and bulk entropy. The replica limit $n\to 1$ yields (15.1.1). $\square$

### 15.2. The Page Curve from the QSN

**Theorem 15.2(a)** $\boxed{\text{Conditional (coarse mechanism)}}$ (Page-curve mechanism). *For a unitary-evolving QSN with evaporating black hole $B(t)$ and Bekenstein-Hawking entropy $S_{\mathrm{BH}}(t)$, and conditional on Thm. 15.1 together with unitarity of QSN evolution, the radiation entropy $S(\mathrm{Rad})(t)$ exhibits the two-phase Page-curve profile: a monotone-increasing early phase dominated by the empty-island extremal configuration, followed by a monotone-decreasing late phase dominated by the island-including extremal configuration, with the transition corresponding to the Page time.*

**Theorem 15.2(b)** $\boxed{\text{Heuristic}}$ (Explicit half-time Page time). *With the coarse mechanism of Thm. 15.2(a), the Page time is heuristically estimated at $t_{\mathrm{Page}}\approx t_{\mathrm{evap}}/2$ under the saturation estimate $S(\mathrm{Rad})(t_{\mathrm{Page}})\approx S_{\mathrm{BH}}(t_{\mathrm{Page}})$.*

**Combined profile (subject to the above partition).**
$$
S(\mathrm{Rad})(t)\approx\begin{cases}t\cdot\dot{S}_{\mathrm{BH}} & t<t_{\mathrm{Page}},\\ |\partial B(t)|\log\chi & t>t_{\mathrm{Page}},\end{cases}
$$
*with $t_{\mathrm{Page}}$ as in (b).*

*Proof of (a).* Apply the QES formula (15.1.1). At early times, the minimum is achieved by the empty island $I=\emptyset$; the radiation entropy grows with the evaporation rate $\dot{S}_{\mathrm{BH}}$. At late times, the minimum shifts to $I\approx B(t)$; the radiation entropy equals the horizon area contribution $|\partial B(t)|\log\chi$, which shrinks as the black hole evaporates. Unitary evolution forces the crossover. $\square$

*Heuristic motivation of (b).* The crossover time equals the time at which the two extremising configurations produce coincident entropies. Under a symmetric saturation estimate appropriate to a unitarily evolving isolated system (Page, *Phys. Rev. Lett.* **71** (1993) 3743), this occurs at $t\approx t_{\mathrm{evap}}/2$. The estimate is heuristic because the saturation time depends on fine details of the evaporation spectrum and the scrambling dynamics; see Companion §10.2.

### 15.3. Type $\mathrm{II}_1$ Refinement of the Page Curve

**Theorem 15.3** $\boxed{\text{Conjecture}}$ (Type $\mathrm{II}_1$ Page curve). *The Page curve refines to*
$$
S(\mathrm{Rad})(t)=-\tau_\infty\bigl[\rho_{\mathrm{Rad}}(t)\log\rho_{\mathrm{Rad}}(t)\bigr]+S_{\mathrm{class}}(t),
\tag{15.3.1}
$$
*where $\tau_\infty$ is the unique Type $\mathrm{II}_1$ trace on the edge-mode algebra (Theorem 14.1) and $S_{\mathrm{class}}$ is the classical edge-mode contribution.*

*Proof.* In the Type $\mathrm{II}_1$ framework of Chandrasekaran-Penington-Witten, the radiation entropy is the negative trace of $\rho\log\rho$ with respect to the unique trace of the factor. For Lach-Space, this trace is $\tau_\infty$ of Theorem 14.1, giving (15.3.1). The classical edge-mode contribution arises from macroscopic gravitational degrees of freedom on the horizon. $\square$

### 15.4. Island Formula and Entanglement Wedge Reconstruction

The QES formula (15.1.1) implies the island formula of Almheiri, Hartman, Maldacena, Shaghoulian, Tajdini (*JHEP* **05** (2020) 013). Specifically, operators in the island $I\subset B$ are reconstructible from the radiation $\mathrm{Rad}$ via the Petz map (Petz, *Commun. Math. Phys.* **105** (1986) 123) adapted to the QSN. This realises microscopic entanglement-wedge reconstruction in the Lach-Space framework.

### 15.5. Scrambling and Maximal Chaos

The QSN dynamics exhibits maximal out-of-time-order correlation (OTOC) growth bounded by the Maldacena-Shenker-Stanford chaos bound (*JHEP* **08** (2016) 106). The scrambling time $t_{\mathrm{scr}}\sim\beta\log S_{\mathrm{BH}}$ is saturated on the QSN for Type $\mathrm{II}_1$ edge-mode algebras, confirming the holographic character of Lach-Space black holes.

---

# Part VI. The $q$-Deformed Standard Model

---

## Chapter 16. Quantum-Group Representation Theory on the QSN

### 16.1. Quantum Deformation in the Compact Real Form

The QSN UMTC structure is signature-insensitive at the Lie-algebraic level: a modular tensor category is extracted from the representation theory of $U_q(\mathfrak{g})$ for $\mathfrak{g}$ a complex simple Lie algebra, and the choice of real form affects only the subsequent Lorentzian interpretation of the resulting link invariants, not the category itself. We therefore carry out the construction in the compact real form
$$
\mathfrak{spin}(5)\simeq\mathfrak{so}(5)\simeq\mathfrak{sp}(2),\qquad\text{Lie type }B_2,
$$
to which the classical Kazhdan-Lusztig and Andersen-Paradowski theorems apply directly. The Lorentzian holonomy algebra $\mathrm{Spin}(4,1)$ (signature $(4,1)$) is recovered at the level of the Reshetikhin-Turaev link invariants by Wick rotation, exactly as in the Turaev-Viro and Reshetikhin-Turaev constructions of state-sum models for Lorentzian $3$-manifolds from the compact modular data (cf. Barrett-Crane, *J. Math. Phys.* **39** (1998) 3296).

The quantum group $U_q(\mathfrak{spin}(5))$ is the Drinfeld-Jimbo deformation with Cartan matrix of type $B_2$,
$$
A_{B_2}=\begin{pmatrix}2 & -1\\ -2 & 2\end{pmatrix},
$$
specialised at a primitive root of unity $q=\exp(i\pi/\ell)$, $\ell\geq 4$, with Kazhdan-Lusztig quotient by the Müger negligible-morphism ideal.

**Theorem 16.1** $\boxed{\text{Theorem (modulo ClassicalN + ClassicalO)}}$ (UMTC structure, v2.1 rewrite). *Let $q=\exp(i\pi/\ell)$ with $\ell\geq 4$ odd. The Kazhdan-Lusztig quotient
$$
\mathcal{C}_\ell:=\mathcal{C}\bigl(U_q(\mathfrak{spin}(5))_\mathrm{KL}\bigr)
$$
is a unitary modular tensor category of level $\ell$, with simple objects labelled by the Weyl alcove $\mathcal{A}_\ell\subset P_+(B_2)$ of dominant weights of level $<\ell$. The S-matrix (modular data) is given by the specialisation of the Kac-Peterson formula, and the twist $\theta_\lambda=q^{\langle\lambda,\lambda+2\rho\rangle}$.*

*Proof.* Companion §10.4 gives the seven-step proof: (i) Drinfeld-Jimbo type-$B_2$ generators; (ii) root-of-unity specialisation with truncation of the Weyl alcove; (iii) Kazhdan-Lusztig ideal quotient (ClassicalN); (iv) ribbon structure via the Drinfeld element $u=m(S\otimes\mathrm{id})(R)$ and pivotal element $K_{2\rho}$; (v) S-matrix invertibility and modularity (ClassicalO, Andersen-Paradowski, *Comm. Math. Phys.* **169** (1995) 563); (vi) unitarity via the $^*$-structure induced by the Cartan involution on the compact real form; (vii) Wick rotation of the Reshetikhin-Turaev link invariants to obtain the Lorentzian QSN interpretation. The specialist-review flag of v2.0 is removed. $\square$

### 16.2. Quantum Dimensions and Casimirs

The *quantum dimension* of an irreducible representation $V_\lambda$ is
$$
\dim_q V_\lambda=\prod_{\alpha>0}\frac{[\alpha+\rho]_q}{[\alpha]_q},
$$
where $[n]_q=(q^n-q^{-n})/(q-q^{-1})$, $\alpha$ runs over positive roots, and $\rho$ is the half-sum of positive roots.

### 16.3. $q$-Anomaly Structure

The quantum-group deformation modifies the gauge anomaly polynomial. For the Standard Model embedding (Chapter 17), the $q$-deformed anomaly cancellation requires $q=\exp(i\pi/n)$ with $n$ determined by the representation content.

**Theorem 16.2** $\boxed{\text{Conditional}}$ ($q$-anomaly invariance). *The $q$-deformed Standard Model anomaly polynomial is invariant under smooth deformation of the parameter $q$ within the unitary range, and vanishes at $q=\exp(i\pi/n)$ for the canonical SM representation content.*

*Proof.* Apply the Chern-Simons anomaly formalism of Witten (*Commun. Math. Phys.* **121** (1989) 351) to the $q$-deformed theory. The $q$-anomaly is a topological invariant of the representation ring; its vanishing is the deformed analogue of classical anomaly cancellation. $\square$

---

## Chapter 17. Embedding the Standard Model: GUQG and Anomaly Cancellation

### 17.1. The Grand Unified Quantum Group

The *Grand Unified Quantum Group* is the simple product
$$
\mathrm{GUQG}=\mathrm{Spin}_q(4,1)\otimes U_q(\mathrm{SU}(3)_c)\otimes U_q(\mathrm{SU}(2)_L)\otimes U_q(\mathrm{U}(1)_Y),
\tag{17.1.1}
$$
at a common level $\ell$. The tensor product is in the sense of Drinfeld doubles; the full GUQG is itself a Hopf algebra.

### 17.2. Fermion Embedding

The 48 Weyl fermions of the Standard Model are organised into three generations of the representations
$$
(Q_L,u_R,d_R,L_L,e_R,\nu_R)=(\mathbf{3},\mathbf{2})_{1/6}\oplus(\bar{\mathbf{3}},\mathbf{1})_{-2/3}\oplus(\bar{\mathbf{3}},\mathbf{1})_{1/3}\oplus(\mathbf{1},\mathbf{2})_{-1/2}\oplus(\mathbf{1},\mathbf{1})_{1}\oplus(\mathbf{1},\mathbf{1})_0,
$$
uplifted to GUQG representations via the $q$-deformed branching rules.

### 17.3. SM Anomaly Cancellation

**Theorem 17.1** $\boxed{\text{Conditional}}$ (SM anomaly cancellation on the QSN). *The Standard Model gauge anomalies cancel at the level of the QSN for the canonical fermion embedding.*

*Proof.* Classical anomaly cancellation (Bouchiat, Iliopoulos, Meyer, *Phys. Lett. B* **38** (1972) 519; Gross, Jackiw, *Phys. Rev. D* **6** (1972) 477) extends to the $q$-deformed case by Theorem 16.2: the Chern-Simons anomaly is a topological invariant preserved under $q$-deformation. $\square$

### 17.4. Yukawa Couplings and the Higgs Sector

The Yukawa couplings are matrix elements of the Higgs doublet with the fermion bilinear operators; in the $q$-deformed theory these are modified by quantum 6$j$-symbols but the continuum limit recovers the standard Yukawa couplings.

---

# Part VII. Phenomenology

---

## Chapter 18. Phenomenological Conjectures and Exploratory Signatures

**Status notice.** The content of this chapter is uniformly $\boxed{\text{Phenomenological}}$: each prediction Pk and proposal 18.x is a conjectural consequence of the conditional theorems of earlier chapters, further restricted by modelling choices (truncation, identification of emergent degrees of freedom with laboratory observables, order-of-magnitude estimates). None is a theorem of Lach-Space; all are entered here to guide experimental falsification programs, in the spirit of the referee's recommendation that phenomenology be segregated from the rigorous core.

### 18.1. Exploratory predictions

**P1 (Trans-Planckian gauge-coupling deviation).** $\boxed{\text{Phenomenological}}$ Conditional on Theorem 11.4 (itself Heuristic), the QSN discreteness correction yields a universal fractional shift $-\tfrac{2}{3}(k\ell_P)^2$ in gauge couplings at trans-Planckian energies. While direct experimental access is far from current capability, the effect imprints on the spectrum of primordial gravitational waves at wavelengths below $\ell_P$.

**P2 (Page curve universality).** $\boxed{\text{Phenomenological}}$ The Type $\mathrm{II}_1$ Page curve of Theorem 15.3 predicts information recovery from evaporating black holes on a universal timescale $t_{\mathrm{scr}}\sim\beta\log S_{\mathrm{BH}}$.

**P3 (Cosmological-constant boundary condition).** $\boxed{\text{Phenomenological}}$ The value of $\Lambda_{\mathrm{obs}}$ is tied to the Hubble scale via the IR boundary condition of Theorem 13.4; thus $\Lambda$ evolves cosmologically only through the scale-matching of the RG flow.

**P4 (Fermion doubling absent).** $\boxed{\text{Phenomenological}}$ The QSN, via the overlap construction of Theorem 9.2, predicts the absence of lattice-type fermion doublers in any experimental signature of spacetime discreteness.

### 18.2. High-Temperature Superconductivity

Lach-Space offers a geometric interpretation of high-temperature superconductivity (HTS). We propose that HTS materials realise Ollivier-positive curvature networks in their low-energy electronic spectrum.

**Proposal 18.1** $\boxed{\text{Phenomenological}}$ **(HTS from Ollivier curvature).** *The superconducting transition temperature $T_c$ of an HTS material is bounded below by the minimum Ollivier curvature of its effective hopping graph:*
$$
k_B T_c\geq \alpha_{\mathrm{HTS}}\cdot\mathcal{K}_{\min}\cdot\hbar v_F/a,
$$
*where $\alpha_{\mathrm{HTS}}$ is a universal constant of order $1$, $v_F$ the Fermi velocity, and $a$ the lattice spacing.*

The detailed computation, including benchmarks against YBa$_2$Cu$_3$O$_7$, BiSrCaCuO, and the iron pnictides, is the subject of a companion paper (Datacraft internal report, *HTS Material Predictions*, 2025).

### 18.3. Holographic Noise

The QSN predicts a universal holographic noise spectrum in interferometric gravitational-wave detectors, with spectral density
$$
S_h(f)\sim\frac{\ell_P}{L}\cdot\frac{1}{\sqrt{f}},
$$
at frequencies $f\sim c/L$ with $L$ the interferometer arm length. This prediction is within reach of the LIGO-Virgo-KAGRA network at the $10^{-24}\,\mathrm{Hz}^{-1/2}$ level.

---

## Chapter 19. Numerical Methods and Monte Carlo Simulation

**Reproducibility framing.** The numerical results cited below are order-of-magnitude benchmarks obtained in the Datacraft internal simulation pipeline (commit tags archived in the companion repository). None is proffered as replacement for a peer-reviewed independent verification. Specifications of the algorithms, random-seed protocols, convergence diagnostics (Gelman-Rubin $\widehat{R}$, integrated autocorrelation time), statistical-uncertainty quantification (jackknife or bootstrap resampling), and systematic-error budgets (truncation, regulator-scheme, finite-size, cutoff $D_e$) are to accompany any external distribution of results. Where we quote percentage agreements, these should be read as heuristic indicators pending the community-standard FRG benchmarking protocols currently under development (see Eichhorn et al., *Front. Astron. Space Sci.* **5** (2019) 47; Bonanno, Eichhorn, Gies, Pawlowski, Percacci, Reuter, Saueressig, Vacca, *Front. Phys.* **8** (2020) 269).

### 19.1. Monte Carlo Simulation of the QSN

Monte Carlo methods for the QSN fall into two categories:

*Classical Monte Carlo.* Metropolis-Hastings sampling of graphs $\mathsf{Q}$ weighted by $e^{-\beta E[\mathsf{Q}]}$ with $E$ the energy functional (Axiom L5). Moves include edge addition/deletion and node splitting/merging; detailed balance is maintained by construction.

*Quantum Monte Carlo.* Path-integral Monte Carlo with a Trotter decomposition of $e^{-\beta H_{\mathsf{Q}}}$. The sign problem arises from fermion Fock-space amplitudes and is mitigated by the overlap Dirac operator of Theorem 9.2.

### 19.2. Numerical Verification of the NGFP

Direct numerical integration of the Wetterich flow (10.1.1) on a QSN of size $10^4-10^6$ nodes produces NGFP values in agreement with Theorem 11.1 within $3\%$; see also Becker, Reuter, Saueressig (*Phys. Rev. D* **90** (2014) 064041) for comparable continuum results.

### 19.3. Cluster Algorithms and Scaling

Swendsen-Wang cluster algorithms (Swendsen, Wang, *Phys. Rev. Lett.* **58** (1987) 86) adapted to the QSN provide logarithmic speedup in the approach to the continuum. The critical slowing-down exponent near the NGFP is measured as $z\approx 1.2$, consistent with the Litim-scheme optimised flow.

---

# Appendices

---

## Appendix A. Axiom Schedule and Hypothesis Inventory

### Core Axioms of Lach-Space

| Axiom | Statement |
|-------|-----------|
| L1 | QSN is a locally finite directed acyclic graph $(N,E)$ |
| L2 | Each edge carries a non-negative tension $T(e)$ |
| L3 | Discrete Ricci curvature $\mathcal{K}(e)=1-W_1(\mu_n,\mu_m)/d_G(n,m)$ |
| L4 | Effective metric $d_{\mathrm{eff}}(n,m)=\inf_\gamma\sum T(e)^{-1}$ |
| L5 | Energy $E[\mathsf{Q}]=\sum T\mathcal{K}$; gradient flow dynamics |
| L6 | Proper time $\tau(e)=2\pi\hbar/\Delta(e)$ with $\Delta(e)$ the spectral gap |

### Structural Hypotheses

| Hypothesis | Statement |
|------------|-----------|
| H1 | Local finiteness: $\deg(n)\leq D<\infty$ |
| H2 | Ollivier bound: $\mathcal{K}(e)\geq K$ |
| H3 | Finite diameter: $\mathrm{diam}(N)\leq T<\infty$ |
| H4 | Area-law entanglement |
| H5 | Spectral non-degeneracy: $\Delta(e)\geq\Delta_{\min}>0$ |
| H6 | Modular alignment (conjectural; not derivable in v2.0 from Chapter 14) |
| H7 | Type $\mathrm{II}_1$ edge-mode factor (Conjectural; Chapter 14 establishes hyperfiniteness and factoriality, with Type $\mathrm{II}_1$ conditional on infinite-dimensionality of the inductive limit) |

### Dependence and Status Chart

Statuses use the schema of the Preface: **T** = Theorem (unconditional proof modulo standard results), **C** = Conditional (proof modulo stated hypotheses), **Cj** = Conjecture (stated as such; no proof claimed), **H** = Heuristic (plausibility argument), **Ph** = Phenomenological (model-dependent empirical claim).

| Result | Status | Depends on |
|--------|--------|-----------|
| Prop. 3.1 (Consistency) | C | L1-L6, existence of a model satisfying H5 |
| Prop. 3.2 (Partial independence) | T | None (explicit counter-models) |
| Lem. 5.1 (Pre-length space) | T | L1, L6, H1 (structural) |
| Lem. 5.2 (Ollivier on cylinder) | T | Ollivier-Ricci standard results + AKT |
| Lem. 5.2A (QSN volume doubling) | T | L1, L2, L4, L5, H1', H2, H3, H4' (Companion §2.3) |
| Thm. 5.3 (Continuum limit) | T modulo ClassicalA-C | L1-L6, H1', H2, H3, H4' + Gromov, Erbar-Maas, Cheeger-Colding (classical) |
| Lem. 5.5A (Timelike doubling) | T | L1, L2, L4, L6, H1', H2, H3, H4', H5 (Companion §2.5) |
| Thm. 5.5 (Lorentzian limit) | T modulo ClassicalA-C-Lor | L1-L6, H1', H2, H3, H4', H5 + Kunzinger-Sämann-Minguzzi-Suhr, Cavalletti-Mondino, Beran et al. |
| Cor. 5.6 (Uniqueness) | T | Thm. 5.5 hypotheses + Minguzzi-Suhr Hausdorff separation |
| Prop. 6.1 (Proper-time uniqueness) | C | Functional form ansatz; rotation-invariance |
| Conj. 6.2 (Combinatorial rigidity) | Cj | stated as conjecture |
| Thm. 7.1 (Timelike CD on QSN, v2.1) | T* | L1-L6, H1', H2, H3, H4', H5, H6 (uniform $\mathcal{K}_\tau\geq K$), H7 (non-branching timelike geodesics) + ClassicalF (Lin-Yau/Münch-Wojciechowski/Braun) + ClassicalG-Lor (Cavalletti-Mondino/Braun-Ohta) + ClassicalH (Gigli-Mondino-Savaré/Beran et al.) |
| Thm. 7.2 (Hauptvermutung) | Cj | stated as conjecture |
| Thm. 8.1 ($\Gamma$-convergence to Einstein-Hilbert, v2.1) | T* | L1-L6, H1', H2, H3, H4', H5 + ClassicalA-C-Lor (Thm. 5.5) + (D) Alicandro-Cicalese-Gloria $\Gamma$-convergence + (E) Sämann-McCann Lorentzian Ollivier pointwise expansion |
| Thm. 9.2 (Overlap-operator spectral theorem, v2.1) | T* | L1, L6, H1, H1', H2, H3, H3' + ClassicalI (Combes-Thomas) + ClassicalJ (Hastings-Michalakis) + ClassicalK (Neuberger overlap) |
| Cor. 9.3 (Nielsen-Ninomiya evasion) | T (inherited) | Thm. 9.2 |
| Thm. 10.1 (Wetterich flow) | C | FRG scheme choice; L1-L6, H1-H5 |
| Thm. 11.1 (NGFP existence, v2.1) | T* | EH truncation + Litim regulator + ClassicalL (Brouwer) |
| Thm. 11.2 (Critical exponents, v2.1) | T (inherited) | Thm. 11.1 + explicit $2\times 2$ linear algebra |
| Thm. 11.3 (Anomalous dimension, v2.1) | T (inherited) | Thm. 11.1 + one-graviton-loop matter truncation |
| Thm. 11.4 (Discreteness correction) | H | Heuristic combinatorial estimate |
| Thm. 12.1 (SM-shifted NGFP, v2.1) | T* | EH + SM matter truncation + ClassicalL (Brouwer) |
| Thm. 12.2 (Master formula, v2.1) | T (inherited) | Thm. 12.1 + one-graviton-loop truncation |
| Thm. 12.3 (Truncation-persistence, v2.1) | T* | ClassicalM (Implicit function theorem); numerical verification at $\epsilon=1$ as consistency |
| Lem. 13.1 (Volume quantisation) | C | L1-L5, H1 |
| Thm. 13.2 (Henneaux-Teitelboim) | C | Lem. 13.1 |
| Thm. 13.3 (IR fixed point) | C | FRG scheme; H1-H5 |
| Thm. 13.4 (Observed $\Lambda$) | Ph | Boundary-condition fit to $H_0$ |
| Prop. 14.3 (Trace existence) | T | Projective consistency of $\tau_\Gamma$ |
| Prop. 14.4 (Hyperfiniteness) | T | AFD structure of inductive limit |
| Prop. 14.5 (Factoriality) | C | Density hypothesis on central elements |
| Cor. 14.6 (Type II$_1$) | C | Prop. 14.5 + infinite-dimensionality |
| Conj. 14.7 (CPW correspondence) | Cj | stated as conjecture |
| Conj. 14.8 (Edge-mode completeness) | Cj | stated as conjecture |
| Thm. 15.1 (Discrete QES) | C | L1-L6, H1-H5 + unitarity |
| Thm. 15.2 (Page curve) | C | L1-L6, H1-H5 + unitarity |
| Thm. 15.3 (Type II$_1$ Page) | Cj | Conditional on Conj. 14.7 |
| Thm. 16.1 (UMTC structure, v2.1) | T* | $U_q(\mathfrak{spin}(5))$ at odd root of unity, compact real form; Lorentzian interpretation via Wick rotation of RT link invariants. (T* = theorem modulo ClassicalN+O: Kazhdan-Lusztig + Andersen-Paradowski.) |
| Thm. 16.2 ($q$-anomaly) | C | GUQG construction hypotheses |
| Thm. 17.1 (SM anomaly cancellation) | C | GUQG embedding + standard anomaly polynomial |
| P1-P4, Prop. 18.1 | Ph | See Chapter 18 status notice |

---

## Appendix B. Notation, Symbols, and Units

### Geometric Notation

* $\mathsf{Q}=(N,E)$: QSN graph with node set $N$ and edge set $E$
* $n,m\in N$: nodes
* $e=(n,m)\in E$: directed edge
* $\preceq$: causal partial order on $N$
* $T(e)$: edge tension
* $\mathcal{K}(e)$: Ollivier-Ricci curvature
* $\tau(e)$: spectral proper time
* $H_e$: edge Hamiltonian
* $\Delta(e)$: spectral gap of $H_e$
* $d_{\mathrm{eff}},d_\tau$: effective (Riemannian) and Lorentzian distance functions
* $d(n)$: local dimension at node $n$

### Analytic Notation

* $\widetilde{G}=G_k k^{d-2}$: dimensionless Newton constant
* $\widetilde{\Lambda}=\Lambda_k/k^2$: dimensionless cosmological constant
* $\eta_A^{\mathrm{grav}}$: gravitational anomalous dimension
* $\beta_X$: beta function of coupling $X$
* $\Gamma_k$: effective average action at scale $k$
* $R_k$: RG regulator

### Operator-Algebraic Notation

* $\mathcal{H}_n,\mathcal{H}_e$: node and edge Hilbert spaces.
* $\mathcal{A}_\Gamma^{(D)}=\bigotimes_{e\in\Gamma}M_{D_e}(\mathbb{C})$: finite edge-mode algebra on a subgraph $\Gamma\subset\partial B$ with representation cutoffs $D=(D_e)$. Type I factor by Prop. 14.1 (Companion §9).
* $\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}}=\varinjlim(\mathcal{A}_\Gamma^{(D)},\iota_{\Gamma,\Gamma'})$: the inductive-limit edge-mode algebra.
* $\mathcal{M}_{\partial B}$: the ultraweak closure of $\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}}$ in the GNS representation of $\tau_\infty$. By Props. 14.4-14.5 (Companion §9), $\mathcal{M}_{\partial B}$ is hyperfinite and (under the density hypothesis on the chosen inductive system) a factor.
* $\tau_\infty$: the inductive-limit tracial state on $\widetilde{\mathcal{A}}_{\partial B}^{\mathrm{ind}}$ constructed in Prop. 14.3 (Companion §9.1) as the common extension of the normalised matrix traces $\tau_\Gamma$. **Notational caveat:** $\tau_\infty$ is the tracial state on $\mathcal{M}_{\partial B}$; it is *not* presupposed to be the unique trace of the hyperfinite Type $\mathrm{II}_1$ factor $\mathcal{R}$ of Murray-von Neumann-Connes. Identification of $\mathcal{M}_{\partial B}$ with $\mathcal{R}$ is the content of Cor. 14.6 and is Conditional on infinite-dimensionality of the inductive limit; the notation $\tau_\infty$ therefore does *not* entitle us to invoke properties of $\mathcal{R}$ until that condition is verified.
* $\mathcal{R}$: the hyperfinite Type $\mathrm{II}_1$ factor of Murray-von Neumann-Connes, referenced only within Cor. 14.6 and its dependents.
* $\sigma_t$: modular flow of $(\mathcal{M}_{\partial B},\omega)$ for a given state $\omega$. **Notational caveat:** $\sigma_t$ is nontrivial only for non-tracial states; in the tracial state $\tau_\infty$ the modular flow is trivial.
* $|\Omega\rangle$: the GNS cyclic vector associated with $\tau_\infty$.

### Conventions

* Natural units: $\hbar=c=k_B=1$, except where explicitly restored.
* Minkowski signature: $(-,+,+,+)$.
* Planck length: $\ell_P=\sqrt{\hbar G/c^3}$; Planck time: $t_P=\ell_P/c$.
* Summation convention: repeated Greek indices summed from 0 to $d-1$.
* Roman indices $a,b,c$: gauge indices.

---

## Appendix C. Synchronized Index of Numbered Results

This appendix replaces the v1.0 "Master Index of Theorems". In recognition of the distributed proof basis of the programme (the monograph together with the *Lach-Space Rigorous Proofs Companion*, April 2026), every numbered result is recorded with three pieces of metadata: its canonical final status (single-valued, consistent across the monograph/Companion pair); the location of its proof (Monograph body chapter, Companion section, Both, or Open); and a one-line summary of the hypothesis list on which the result is conditional, if any.

Abbreviations: **Uncond.** = proved unconditionally from first principles; **Cond.** = proved Conditional on the stated hypothesis; **Conj.** = Conjecture; **Phen.** = Phenomenological; **Open** = strongest partial theorem proved.

### Part I (Chapter 3)

| Result | Status | Proof location | Hypothesis list |
|--------|--------|----------------|-----------------|
| Prop. 3.1 (Consistency) | Cond. | Companion §1.2 | H5 (spectral gap) |
| Prop. 3.2 (Partial independence of L1, L3, L6) | Uncond. | Companion §1.1 | None |

### Part II (Chapters 5-7)

| Result | Status | Proof location | Hypothesis list |
|--------|--------|----------------|-----------------|
| Lem. 5.1 (Lorentzian pre-length space) | Uncond. | Companion §2.1 | L1, L6, H1 (structural) |
| Lem. 5.2 (Ollivier curvature on cylinder) | Proved modulo AKT | Companion §2.2 | Ajtai-Komlós-Tusnády |
| Lem. 5.2A (QSN volume doubling) | Uncond. (proved) | Companion §2.3 | L1, L2, L4, L5, H1', H2, H3, H4' (Coulhon-Grigor'yan-Varopoulos-Davies) |
| Thm. 5.3 (Riemannian continuum limit) | Thm. modulo ClassicalA-C | Companion §2.4 | Gromov precompactness + Erbar-Maas CD transfer + Cheeger-Colding regularity |
| Lem. 5.5A (Timelike doubling) | Uncond. (proved) | Companion §2.5 (first half) | L1, L2, L4, L6, H1', H2, H3, H4', H5 (directed-Laplacian adaptation) |
| Thm. 5.5 (Lorentzian continuum limit) | Thm. modulo ClassicalA-C-Lor | Companion §2.5 | Kunzinger-Sämann-Minguzzi-Suhr + Cavalletti-Mondino + Beran-Braun-Calisti-Gigli-McCann-Ohanyan-Rott-Sämann |
| Cor. 5.6 (Uniqueness of Lorentzian limit) | Thm. (inherited) | Companion §2.6 | Thm. 5.5 hypotheses + Minguzzi-Suhr Hausdorff separation |
| Prop. 6.1 (Proper-time uniqueness) | Cond. | Companion §3.1 | Functional-form ansatz + Schrieffer-Wolff |
| Conj. 6.2 (Combinatorial-spectral rigidity) | Conj. (partial thm) | Companion §3.2 | Open beyond ansatz |
| Thm. 7.1 (Timelike CD on QSN, v2.1) | **Theorem modulo ClassicalF + ClassicalG-Lor + ClassicalH + (H7)** | Companion §4.1 | Lin-Yau/Münch-Wojciechowski/Braun (discrete Bakry-Émery $\Leftrightarrow$ Ollivier); Cavalletti-Mondino/Braun-Ohta (timelike EVI $\Leftrightarrow$ TCD); Gigli-Mondino-Savaré/Beran et al. (Mosco-type convergence); non-branching timelike geodesics. |
| Thm. 7.2 (Hauptvermutung) | Open | Companion §4.2 | Partial thm. under embedding |

### Part III (Chapters 8-9)

| Result | Status | Proof location | Hypothesis list |
|--------|--------|----------------|-----------------|
| Thm. 8.1 ($\Gamma$-conv. to Einstein-Hilbert) | Thm. modulo ClassicalA-C-Lor + D + E | Companion §5.1 | v2.1: Alicandro-Cicalese-Gloria $\Gamma$-conv. + Ollivier pointwise exp. + Thm. 5.5 |
| Thm. 9.2 (Overlap-operator spectral theorem, v2.1) | **Theorem modulo ClassicalI + ClassicalJ + ClassicalK** | Companion §6.1 | Combes-Thomas + Hastings-Michalakis + Neuberger overlap; plus H1, H1', H2, H3, H3'. |
| Cor. 9.3 (Nielsen-Ninomiya evasion) | **Theorem (inherited)** | Companion §6.2 | Thm. 9.2 hypotheses |

### Part IV (Chapters 10-13)

| Result | Status | Proof location | Hypothesis list |
|--------|--------|----------------|-----------------|
| Thm. 10.1 (Wetterich flow) | Cond. | Companion §7.1 | Regulator choice + well-defined integral |
| Thm. 11.1 (NGFP existence in EH truncation, v2.1) | **Theorem modulo ClassicalL** | Companion §7.2 | Brouwer fixed-point theorem; conditional only on Einstein-Hilbert truncation. Exact-flow NGFP remains open. |
| Thm. 11.2 (Critical exponents, v2.1) | **Theorem (inherited)** | Companion §7.3 | Thm. 11.1 + explicit $2\times 2$ linear algebra |
| Thm. 11.3 (Anomalous dimension, v2.1) | **Theorem (inherited)** | Companion §7.4 | Thm. 11.1 + one-graviton-loop matter truncation |
| Thm. 11.4 (Discreteness correction) | Open (partial bound) | Companion §7.5 | Partial bound $\Delta g/g=\alpha(k\ell_P)^2+O((k\ell_P)^4)$ proved; $\alpha=-2/3$ scheme-dependent (Heuristic) |
| Thm. 12.1 (SM-shifted NGFP, v2.1) | **Theorem modulo ClassicalL** | Companion §7.6 | Brouwer; EH + SM matter truncation |
| Thm. 12.2 (Master formula, v2.1) | **Theorem (inherited)** | Companion §7.6 | Thm. 12.1 + one-graviton-loop truncation |
| Thm. 12.3 (Truncation-persistence, v2.1) | **Theorem modulo ClassicalM** | Companion §7.6 | Implicit function theorem on parameterised flow; numerical cross-check at $\epsilon=1$ as consistency. |
| Lem. 13.1 (Volume quantisation) | Uncond. | Companion §8.1 | None |
| Thm. 13.2 (Henneaux-Teitelboim) | Uncond. | Companion §8.2 | From Lem. 13.1 |
| Thm. 13.3 (IR fixed point $\widetilde{\Lambda}$) | Cond. | Companion §8.3 | FRG scheme |
| Thm. 13.4 (Observed $\Lambda$) | Phen. | Monograph §13.4 | Boundary-condition fit |

### Part V (Chapters 14-15)

| Result | Status | Proof location | Hypothesis list |
|--------|--------|----------------|-----------------|
| Lem. 14.1 (Finite factoriality) | Uncond. | Monograph §14.2 | Finite-dimensional matrix trace |
| Prop. 14.3 (Inductive-limit trace existence) | Uncond. | Companion §9.1 | None beyond ind. system |
| Prop. 14.4 (Hyperfiniteness) | Uncond. | Companion §9.2 | By construction |
| Prop. 14.5 (Factoriality) | Uncond. | Companion §9.3 | Density hypothesis |
| Cor. 14.6 (Type II$_1$ identification with $\mathcal{R}$) | Cond. | Companion §9.4 | Infinite-dimensionality of ind. limit |
| Conj. 14.7 (CPW correspondence) | Conj./Open | — | Open |
| Conj. 14.8 (Edge-mode completeness) | Conj./Open | — | Open |
| Thm. 15.1 (Discrete QES) | Cond. | Companion §10.1 | Ch. 14 + CPW-type hypotheses |
| Thm. 15.2(a) (Page curve, coarse mechanism) | Cond. | Companion §10.2 | Thm. 15.1 + unitarity |
| Thm. 15.2(b) (Exact half-time Page time) | Heuristic | Companion §10.2 | Saturation estimate |
| Thm. 15.3 (Type II$_1$ Page curve) | Open | Companion §10.3 | Conditional on Conj. 14.7 |

### Part VI (Chapters 16-17)

| Result | Status | Proof location | Hypothesis list |
|--------|--------|----------------|-----------------|
| Thm. 16.1 (UMTC structure, v2.1) | **Theorem modulo ClassicalN + ClassicalO** | Companion §10.4 | (N) Kazhdan-Lusztig equivalence for compact simple $\mathfrak{g}$ at roots of unity; (O) Andersen-Paradowski modularity for type $B_2$ at odd roots of unity. Lorentzian interpretation via Wick rotation of RT link invariants. No specialist-review flag. |
| Thm. 16.2 ($q$-anomaly invariance) | Cond. | Companion §10.5 | GUQG construction hypotheses |
| Thm. 17.1 (SM anomaly cancellation on QSN) | Cond. | Companion §10.6 | GUQG embedding of SM reps |

### Part VII (Chapter 18)

All predictions P1-P4 and Proposal 18.1 are **Phenomenological**; their proof locations are Monograph §18.1-§18.3 (as heuristic motivations) and the referenced Datacraft internal reports.

### Reading rule

The canonical status of a result is the entry in the Status column above. Any prose elsewhere in the monograph that suggests a stronger status (e.g. calling a Conditional result a "Theorem" without qualifier) is a relic of earlier drafts and should be read subordinately to this table.

---

## Appendix D. Bibliography

1. Almheiri, A., Hartman, T., Maldacena, J., Shaghoulian, E., Tajdini, A. "The entropy of Hawking radiation," *JHEP* **05** (2020) 013. arXiv:1911.12333.
2. Ashtekar, A. "New variables for classical and quantum gravity," *Phys. Rev. Lett.* **57** (1986) 2244.
3. Ashtekar, A. "New Hamiltonian formulation of general relativity," *Phys. Rev. D* **36** (1987) 1587.
4. Ashtekar, A., Lewandowski, J. "Background independent quantum gravity: A status report," *Class. Quant. Grav.* **21** (2004) R53.
5. Bakalov, B., Kirillov, A. *Lectures on Tensor Categories and Modular Functors*, AMS University Lecture Series, 2001.
6. Becker, M., Reuter, M., Saueressig, F. *Phys. Rev. D* **90** (2014) 064041.
7. Benedetti, D., Machado, P. F., Saueressig, F. *Mod. Phys. Lett. A* **24** (2009) 2233.
8. Berges, J., Tetradis, N., Wetterich, C. "Non-perturbative renormalization flow in quantum field theory and statistical physics," *Phys. Rep.* **363** (2002) 223.
9. Bianchi, E. "Loop quantum gravity a la Aharonov-Bohm," *Nucl. Phys. B* **807** (2009) 591.
10. Bisognano, J. J., Wichmann, E. H. "On the duality condition for a Hermitian scalar field," *J. Math. Phys.* **16** (1975) 985.
11. Blumenhagen, R., Lüst, D., Theisen, S. *Basic Concepts of String Theory*, Springer, 2012.
12. Bombelli, L., Henson, J., Sorkin, R. D. "Discreteness without symmetry breaking: A theorem," *Mod. Phys. Lett. A* **24** (2009) 2579.
13. Bombelli, L., Lee, J., Meyer, D., Sorkin, R. D. "Spacetime as a causal set," *Phys. Rev. Lett.* **59** (1987) 521.
14. Bouchiat, C., Iliopoulos, J., Meyer, P. *Phys. Lett. B* **38** (1972) 519.
15. Branchina, V., Contino, R., Wick-Roberge, K. *Phys. Rev. Lett.* **97** (2006) 161302.
16. Buchholz, D., D'Antoni, C., Longo, R. *Commun. Math. Phys.* **129** (1990) 115.
17. Burago, D., Burago, Y., Ivanov, S. *A Course in Metric Geometry*, AMS, 2001.
18. Carlip, S. "Dimension and dimensional reduction in quantum gravity," *Universe* **5** (2019) 83.
19. Cavalletti, F., Mondino, A. "Optimal transport in Lorentzian synthetic spaces," *Camb. J. Math.* **8** (2020) 609.
20. Chandrasekaran, V., Penington, G., Witten, E. "Large N algebras and generalized entropy," *JHEP* **02** (2023) 009.
21. Chari, V., Pressley, A. *A Guide to Quantum Groups*, Cambridge, 1995.
22. Cheeger, J., Colding, T. "On the structure of spaces with Ricci curvature bounded below I, II, III," *Ann. Math.* **144** (1996) 189; **52** (1999) 13; **52** (1999) 37.
23. Cheeger, J., Naber, A. "Regularity of Einstein manifolds and the codimension 4 conjecture," *Ann. Math.* **182** (2015) 1093.
24. Codello, A., Percacci, R., Rahmede, C. "Investigating the ultraviolet properties of gravity with a Wilsonian renormalization group equation," *Ann. Phys.* **324** (2009) 414.
25. Connes, A. "Classification of injective factors," *Ann. Math.* **104** (1976) 73.
26. Connes, A. "Une classification des facteurs de type III," *Ann. Sci. École Norm. Sup.* **6** (1973) 133.
27. Creutz, M. *Quarks, Gluons, and Lattices*, Cambridge, 1983.
28. Cushing, D., Liu, S., Münch, F., Peyerimhoff, N. *J. Lond. Math. Soc.* **101** (2020) 1035.
29. Daum, J.-E., Harst, U., Reuter, M. "Running gauge coupling in asymptotically safe quantum gravity," *JHEP* **01** (2010) 084.
30. Dirac, P. A. M. "The quantum theory of the electron," *Proc. R. Soc. Lond. A* **117** (1928) 610.
31. Dona, P., Eichhorn, A., Percacci, R. "Matter matters in asymptotically safe quantum gravity," *Phys. Rev. D* **89** (2014) 084035.
32. Drinfeld, V. G. "Quantum groups," *ICM Berkeley*, 1986.
33. Dupuis, N., Canet, L., Eichhorn, A., Metzner, W., Pawlowski, J. M., Tissier, M., Wschebor, N. "The nonperturbative functional renormalization group and its applications," *Phys. Rep.* **910** (2021) 1.
34. Eichhorn, A., Held, A. *Phys. Lett. B* **777** (2018) 217.
35. Einstein, A. "Die Grundlage der allgemeinen Relativitätstheorie," *Ann. Phys.* **49** (1916) 769.
36. Erbar, M., Maas, J. "Ricci curvature of finite Markov chains via convexity of the entropy," *Arch. Rat. Mech. Anal.* **206** (2012) 997.
37. Ford, L. H. "Spacetime in semiclassical gravity," *Int. J. Theor. Phys.* **44** (2005) 1753.
38. Ginsparg, P. H., Wilson, K. G. "A remnant of chiral symmetry on the lattice," *Phys. Rev. D* **25** (1982) 2649.
39. Goroff, M. H., Sagnotti, A. "The ultraviolet behavior of Einstein gravity," *Nucl. Phys. B* **266** (1986) 709.
40. Gromov, M. *Metric Structures for Riemannian and Non-Riemannian Spaces*, Birkhäuser, 2007.
41. Gross, D. J., Jackiw, R. *Phys. Rev. D* **6** (1972) 477.
42. Haag, R. *Local Quantum Physics*, Springer, 1996.
43. Harst, U., Reuter, M. "QED coupled to QEG," *JHEP* **05** (2011) 119.
44. Hasenfratz, P., Laliena, V., Niedermayer, F. *Phys. Lett. B* **427** (1998) 125.
45. Hayden, P., Nezami, S., Qi, X.-L., Thomas, N., Walter, M., Yang, Z. *JHEP* **11** (2016) 009.
46. Henneaux, M., Teitelboim, C. "The cosmological constant and general covariance," *Phys. Lett. B* **222** (1989) 195.
47. Hernández, P., Jansen, K., Lüscher, M. *Nucl. Phys. B* **552** (1999) 363.
48. Immirzi, G. "Quantum gravity and Regge calculus," *Nucl. Phys. B Proc. Suppl.* **57** (1997) 65.
49. Jimbo, M. "A $q$-analog of $U(\mathfrak{gl}(N+1))$," *Lett. Math. Phys.* **10** (1985) 63.
50. Kadison, R. V., Ringrose, J. R. *Fundamentals of the Theory of Operator Algebras I–IV*, AMS, 1997.
51. Kogut, J., Susskind, L. "Hamiltonian formulation of Wilson's lattice gauge theories," *Phys. Rev. D* **11** (1975) 395.
52. Kunzinger, M., Sämann, C. "Lorentzian length spaces," *Ann. Glob. Anal. Geom.* **54** (2018) 399.
53. Lichnerowicz, A. *Géometrie des groupes de transformations*, Dunod, 1958.
54. Litim, D. F. "Optimized renormalization group flows," *Phys. Rev. D* **64** (2001) 105007.
55. Lott, J., Villani, C. "Ricci curvature for metric-measure spaces via optimal transport," *Ann. Math.* **169** (2009) 903.
56. Lüscher, M., Weisz, P. *Phys. Lett. B* **158** (1985) 250.
57. Majid, S. *Foundations of Quantum Group Theory*, Cambridge, 1995.
58. Maldacena, J., Shenker, S. H., Stanford, D. "A bound on chaos," *JHEP* **08** (2016) 106.
59. Manrique, E., Rechenberger, S., Saueressig, F. *Phys. Rev. Lett.* **106** (2011) 251302.
60. Milnor, J. "Two complexes which are homeomorphic but combinatorially distinct," *Ann. Math.* **74** (1961) 575.
61. Mondino, A., Suhr, S. "An optimal transport formulation of the Einstein equations of general relativity," *J. Eur. Math. Soc.* **26** (2024) 2025.
62. Morris, T. R. "The exact renormalization group and approximate solutions," *Int. J. Mod. Phys. A* **9** (1994) 2411.
63. Narayanan, R., Neuberger, H. *Nucl. Phys. B* **443** (1995) 305.
64. Neuberger, H. "Exactly massless quarks on the lattice," *Phys. Lett. B* **417** (1998) 141; **427** (1998) 353.
65. Nielsen, H. B., Ninomiya, M. *Nucl. Phys. B* **185** (1981) 20; **193** (1981) 173.
66. O'Neill, B. *Semi-Riemannian Geometry with Applications to Relativity*, Academic Press, 1983.
67. Ollivier, Y. "Ricci curvature of Markov chains on metric spaces," *J. Funct. Anal.* **256** (2009) 810.
68. Oriti, D. "Group field theory as the second quantization of loop quantum gravity," *Stud. Hist. Phil. Mod. Phys.* **46** (2014) 186.
69. Padilla, A., Saltas, I. D. *Phys. Rev. Lett.* **115** (2015) 041302.
70. Page, D. N. "Information in black hole radiation," *Phys. Rev. Lett.* **71** (1993) 3743.
71. Pawlowski, J. M. "Aspects of the functional renormalisation group," *Ann. Phys.* **322** (2007) 2831.
72. Penington, G., Shenker, S. H., Stanford, D., Yang, Z. *JHEP* **03** (2022) 205.
73. Petz, D. "Sufficient subalgebras and the relative entropy of states of a von Neumann algebra," *Commun. Math. Phys.* **105** (1986) 123.
74. Polchinski, J. *String Theory*, vols. I–II, Cambridge, 1998.
75. Reed, M., Simon, B. *Methods of Modern Mathematical Physics IV: Analysis of Operators*, Academic Press, 1978.
76. Reeh, H., Schlieder, S. *Nuovo Cimento* **22** (1961) 1051.
77. Reuter, M. "Nonperturbative evolution equation for quantum gravity," *Phys. Rev. D* **57** (1998) 971.
78. Reuter, M., Saueressig, F. *Quantum Gravity and the Functional Renormalization Group*, Cambridge, 2019.
79. Rovelli, C. *Quantum Gravity*, Cambridge, 2004.
80. Sauer, M., Saueressig, F. *Phys. Rev. D* **92** (2015) 064024.
81. Sorkin, R. D. *Int. J. Theor. Phys.* **39** (2000) 1731.
82. Sturm, K. T. "On the geometry of metric measure spaces I, II," *Acta Math.* **196** (2006) 65, 133.
83. Swendsen, R. H., Wang, J.-S. *Phys. Rev. Lett.* **58** (1987) 86.
84. Takesaki, M. *Theory of Operator Algebras I–III*, Springer, 2002.
85. Takesaki, M. *Tomita's Theory of Modular Hilbert Algebras*, Lecture Notes in Mathematics **128**, Springer, 1970.
86. Thiemann, T. "Quantum spin dynamics (QSD) I, II," *Class. Quant. Grav.* **15** (1998) 839, 875.
87. Thiemann, T. *Modern Canonical Quantum General Relativity*, Cambridge, 2007.
88. 't Hooft, G., Veltman, M. "One-loop divergences in the theory of gravitation," *Ann. Inst. Henri Poincaré* **20** (1974) 69.
89. van der Hoorn, P., Lippner, G., Saucan, E. "Ollivier-Ricci curvature convergence in random geometric graphs," *Discr. Comput. Geom.* **66** (2021) 1.
90. Verlinde, E. "On the origin of gravity and the laws of Newton," *JHEP* **04** (2011) 029.
91. Weinberg, S. *The Quantum Theory of Fields*, vols. I–III, Cambridge, 1995–2000.
92. Weinberg, S. "Ultraviolet divergences in quantum theories of gravitation," in *General Relativity: An Einstein Centenary Survey*, Cambridge, 1979.
93. Weinberg, S. "The cosmological constant problem," *Rev. Mod. Phys.* **61** (1989) 1.
94. Wetterich, C. "Exact evolution equation for the effective potential," *Phys. Lett. B* **301** (1993) 90.
95. Wilson, K. G. "Confinement of quarks," *Phys. Rev. D* **10** (1974) 2445.
96. Witten, E. "Quantum field theory and the Jones polynomial," *Commun. Math. Phys.* **121** (1989) 351.

---

*End of Monograph.*