Ordered Patch Theory

Appendix T-3: MERA Tensor Networks and the Informational Causal Cone

Anders Jarevåg

April 5, 2026 | DOI: 10.5281/zenodo.19300777

Original Task T-3: MERA Tensor Networks and the Causal Cone Problem: OPT proposes an Informational Causal Cone composed of sequential compression, but relies on a bespoke geometric description rather than standard quantum tensor formalisms. Deliverable: Formal mapping of OPT’s Informational Causal Cone to the MERA tensor network structure.

Closure status: CONDITIONAL HOMOMORPHISM — v3.6.7 generative-cone framing + bridge-postulate tagging. This appendix delivers the target structural mapping required by T-3. Three theorems establish a strong topological analogy: (T-3a) the OPT Stability Filter’s iterative coarse-graining is structurally homomorphic to a MERA tensor network with locally factorised permutation disentanglers (v3.6.7 locality-explicit); (T-3b) the Informational Causal Cone of §3.3 corresponds in order-of-magnitude to the MERA generative cone — the bulk-to-boundary influence structure, distinct from the standard boundary-to-bulk MERA causal cone (v3.6.7 rename); and (T-3c) the Forward Fan structurally maps to the un-renormalized boundary degrees of freedom. Mathematically elevating this purely stochastic structural homomorphism into the strict Hilbert-space isometries required for a discrete Ryu-Takayanagi upper bound (not equality) is conditional on the bridge postulates of Appendix P-2 (v3.6.2 bridge ledger: BP 0 computational-basis embedding, BP 4 approximate QECC, etc.) — it is a bridge identification rather than a derivation from OPT primitives.

v3.6.7 corrections (five items from the appendix-corrections memo §2.5):

  1. MERA “causal cone” renamed to “generative cone” (§2.2, §4). The bulk-to-boundary expanding structure described in earlier drafts is the generative cone (what the bulk top can influence as you expand toward the boundary), not the standard MERA causal cone (which runs boundary-to-bulk with constant width \mathcal{O}(s) for a single boundary site). The rename is terminological; no formal content is affected. The OPT–MERA Forward-Fan correspondence needs the generative cone, not the standard causal cone, because the OPT codec runs present → future expansion rather than boundary inversion.
  2. Permutation disentanglers made local-factor explicit (§1.2, §3.2). Earlier drafts wrote U_\tau \in S_{|\mathcal{Z}|} — the full symmetric group on the global state space — which could hide global non-local rearrangements inside a single disentangler step. v3.6.7 mandates the local factorisation U_\tau = \prod_j U_{\tau, j} with each factor U_{\tau, j} \in S_{\chi^k} acting on a k-site neighbourhood (the locally-factored subgroup \prod_j S_{\chi^k} is a strict subset of S_{|\mathcal{Z}|}). This is the structural feature that makes the construction a MERA disentangler rather than an arbitrary global permutation.
  3. Isomorphism explicitly tagged as bridge-conditional on P-2 (§3.1, §3.2, §8). The classical-to-quantum upgrade depends on P-2’s bridge postulates (v3.6.2 reframing: BP 0 computational-basis embedding, BP 4 approximate Knill-Laflamme, BP 6 isometry identification). Earlier draft language read as if P-2 derives the isomorphism; v3.6.7 makes explicit that P-2 maps the bridge postulates under which the isomorphism holds, without deriving their necessity from OPT primitives. Consistent with v3.6.2’s P-2 retitle as bridge ledger.
  4. CFT coefficient c/3 = \log \chi softened to inequality c/3 \le \log \chi (§2.3). The earlier strict equality conflated the bond-dimension bound with the actual CFT central charge. The bond dimension caps the achievable central charge from above; the exact coefficient depends on the optimised tensors and the represented CFT. Equality holds only at the optimised representation of a maximally entangled CFT at the given bond dimension.
  5. Ryu-Takayanagi “formula” → “upper bound” emphasis (§2.3, §5, §8). T-3c establishes the upper bound S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi, not the RT equality. Saturation, continuum geometry, and the full holographic correspondence require additional assumptions beyond the bond-dimension upper bound — consistent with the v3.6.2 P-2d reframing.

Item #6 from the memo §2.5 (forward-fan cardinality fix) was already executed in v3.6.0 (§4.2 entropy / typical-set form replaces the cardinality form); no further action at v3.6.7.


§1. The Multi-Layer Compression Structure

The preprint’s §3.3 defines the OPT observer by a single bottleneck optimisation (Eq. 4): a compressed state Z_t \in \{1, \ldots, 2^B\} is selected from the full boundary state X_t to maximise predictive information at minimum description length. What §3.3 does not make explicit is that the path from X_{\partial A} to Z_t naturally decomposes into a cascade of compression layers — each one discarding short-range correlations irrelevant to prediction at the next scale. This hierarchical structure is the OPT side of the MERA correspondence.

1.1 The L-Layer Bottleneck Cascade

Let s \geq 2 be a fixed coarse-graining factor and L the total number of compression layers. Define the cascade:

Z_t^{(0)} := X_{\partial_R A} \qquad \text{(layer 0: full Markov boundary, } H = B_0 \text{ bits)}

At each subsequent layer \tau = 0, \ldots, L-1:

Z_t^{(\tau+1)} = \operatorname*{arg\,min}_{q} \left[ I\!\left(Z_t^{(\tau)} \,;\, Z_t^{(\tau+1)}\right) - \beta_\tau\, I\!\left(Z_t^{(\tau+1)} \,;\, X_{t+1:\infty}\right) \right]

\text{subject to: } I\!\left(Z_t^{(\tau)} \,;\, Z_t^{(\tau+1)}\right) \leq B_\tau, \qquad B_\tau = B_0 \cdot s^{-\tau}

The final state is Z_t := Z_t^{(L)}, with B_L = B_0 \cdot s^{-L} bits. The cascade defines a Markov chain:

X_{t+1:\infty} \;-\!\!-\; Z_t^{(0)} \;-\!\!-\; Z_t^{(1)} \;-\!\!-\; \cdots \;-\!\!-\; Z_t^{(L)} = Z_t

By the data processing inequality, predictive information is monotone non-increasing:

I\!\left(Z_t^{(\tau)} \,;\, X_{t+1:\infty}\right) \geq I\!\left(Z_t^{(\tau+1)} \,;\, X_{t+1:\infty}\right)

Each layer loses a controlled quantity of predictive information — controlled by the distortion budget D_\tau of that layer’s bottleneck.

1.2 Decomposition into Disentangle-then-Coarsen

Each layer transition Z^{(\tau)} \to Z^{(\tau+1)} decomposes into two canonical steps:

The composition W_\tau \circ U_\tau at each layer, stacked for \tau = 0, \ldots, L-1, constitutes the full tensor network. We now show this is precisely MERA.


§2. MERA — Formal Definitions

We state the relevant definitions from Vidal (2008) [43] in a form suited to the OPT mapping.

2.1 Tensors

A MERA for a 1D chain of N boundary sites with local Hilbert space \mathbb{C}^\chi consists of L layers. Each layer \tau contains two classes of tensor:

The full MERA maps the top state |\psi_{\text{top}}\rangle \in \mathbb{C}^\chi (the bulk) to the boundary state |\psi_{\text{boundary}}\rangle \in (\mathbb{C}^\chi)^{\otimes N} by applying the layers from bulk to boundary, each layer expanding the state space by factor s.

2.2 The MERA Generative Cone (v3.6.7 rename — formerly “causal cone”)

Terminology fix (v3.6.7). Earlier drafts of this appendix used “causal cone” for the bulk-to-boundary influence structure described below. The standard MERA causal cone in the tensor-network literature (Vidal 2008 [43]) runs in the opposite direction — it starts from a boundary region A and traces upward into the bulk, tracking which tensors affect the reduced state \rho_A. For a single boundary site, the standard MERA causal cone has constant width \mathcal{O}(s) from boundary to bulk; this is MERA’s celebrated efficient-contraction feature. The object described below — which starts at the bulk top tensor and expands toward the boundary, encoding what the bulk top can influence — is the bulk-to-boundary generative cone (sometimes “reverse MERA influence cone”). It is the inverse of the standard causal cone and the object the OPT–MERA Forward-Fan correspondence (T-3b) actually needs, because the OPT codec runs bulk → boundary (present → future expansion) rather than boundary → bulk (boundary inversion). The rename is purely terminological; no formal content is affected.

The generative cone \mathcal{G}(x) of a boundary site x \in \{1, \ldots, N\} is the set of boundary sites that can be reached from the bulk top by expanding through the network. It is computed top-down (from bulk toward boundary).

At the bulk layer (depth \tau = L from boundary): \mathcal{G}(x) contains the single top tensor. At each subsequent layer going toward the boundary, the generative cone expands by factor s at each isometry layer and by at most 2 at each disentangler layer. The width of \mathcal{G}(x) at boundary depth \tau from the top is:

w(\tau) = \mathcal{O}(s^\tau) \qquad \text{[grows exponentially from bulk toward boundary]}

For the critical MERA (s = 2), the generative cone width grows as 2^\tau at depth \tau, and after L layers reaches the full boundary width N = s^L.

2.3 Entanglement Entropy and the Minimal Cut

For a contiguous boundary region A of length |A| = l, the entanglement entropy S(A) in a MERA state is bounded by the number of bonds cut by the minimal surface \gamma_A through the bulk of the tensor network:

S(A) \leq |\gamma_A| \cdot \log \chi

where |\gamma_A| is the number of bonds in the minimal cut and \chi is the bond dimension. For a scale-invariant MERA, |\gamma_A| \sim \alpha \log l for some coefficient \alpha that depends on the geometry of the cut; an upper bound for the CFT central charge represented by the network is then c/3 \le \log \chi (v3.6.7 — softened from equality). The exact relation between c, \alpha, and \log \chi depends on the optimised tensors and on which CFT is being represented; equality c/3 = \log \chi holds only at the optimised representation of a maximally entangled CFT at the given bond dimension, with \log \chi acting as the ceiling the network’s representable central charge cannot exceed. This is the discrete analogue of the Ryu-Takayanagi upper bound in AdS/CFT (v3.6.7 — emphasised as bound, not equality); saturation, continuum geometry, and the full RT formula require additional holographic assumptions beyond the bond-dimension upper bound.


§3. Theorem T-3a — Structural Homomorphism

Theorem T-3a (MERA–OPT Homomorphism). The OPT L-layer Information Bottleneck cascade \{Z_t^{(\tau)},\, \tau = 0, \ldots, L\} with boundary state Z_t^{(0)} = X_{\partial_R A}, bulk state Z_t^{(L)} = Z_t, layer capacity B_\tau = B_0 \cdot s^{-\tau}, and bond dimension \chi = 2^{B_0/N}, is structurally homomorphic to the layer topology of a MERA with L layers, scale factor s, and bond dimension \chi, under the formal classical mapping: - (i) OPT coarse-graining W_\tau \;\leftrightarrow\; MERA isometry adjoint w_\tau^\dagger - (ii) OPT disentangler U_\tau \;\leftrightarrow\; MERA disentangler u_\tau

3.1 Proof — Isometry Identification

The OPT coarse-graining tensor at layer \tau computes via the conditional distribution q^*(z^{(\tau+1)} \mid z^{(\tau)}) produced by the bottleneck optimization. While the overall information budget enforces an average macroscopic capacity ratio of B_\tau / B_{\tau+1} = s, the classical stochastic bottleneck does not natively force exact uniform fiber cardinality (a strict discrete preimage equivalently matching size s for every z^{(\tau+1)} output). Formalizing this explicit step therefore restricts the architecture to the idealized tight mapping limit (D \to 0), conditionally assuming the parameters perfectly isolate uniform information structures.

However, q^* represents a classical stochastic probability matrix, not a complex quantum unitary matrix. Claiming the true Hilbert space isometry condition (W_\tau W_\tau^\dagger = I_{\mathbb{C}^\chi}) would constitute a category error. A true partial isometry requires an explicit embedding of these discrete states into a computational basis on \mathbb{C}^\chi. Appendix P-2 (v3.6.2 bridge ledger) maps this embedding under explicit bridge postulates: BP 0 fixes the computational-basis identification and BP 4 provides an approximate Knill-Laflamme condition (relaxed to O(\epsilon) form) under which the optimal bottleneck map acts as a partial isometry within the QECC-protected subspace. Conditional on the bridge postulates BP 0 and BP 4 (which P-2 maps but does not derive from OPT primitives), the structural homomorphism upgrades to a tensor-network isomorphism within the code space. The upgrade is a bridge identification, not a derivation. \blacksquare

3.2 Proof — Disentangler Identification

The purely classical disentangler U_\tau (v3.6.7 local-factor explicit per §1.2) is established as a locally factorised bijection U_\tau = \prod_j U_{\tau, j}, with each factor U_{\tau, j} \in S_{\chi^k} acting on a k-site neighbourhood. The optimisation rearranges Z^{(\tau)} to minimise inter-group redundancies (identically: mutual information) before coarse-graining:

U_\tau = \operatorname*{arg\,min}_{U_\tau = \prod_j U_{\tau, j},\; U_{\tau, j} \in S_{\chi^k}} \sum_{j \neq k'} I\!\left( U_\tau(Z^{(\tau)})_{\text{group}\, j} \,;\, U_\tau(Z^{(\tau)})_{\text{group}\, k'} \right)

This matches the structural objective of the MERA disentangler: removing short-range entanglement (correlations between adjacent groups) via local operations only, before coarse-graining. The local-factor constraint is what prevents the disentangler step from quietly absorbing global rearrangements (which would not be a MERA disentangler at all).

True complex unitarity (U^\dagger U = I) is established under the bridge postulates of Appendix P-2 (v3.6.2 bridge ledger): under the computational basis embedding (BP 0), each local permutation factor U_{\tau, j} \in S_{\chi^k} lifts to a unitary matrix in U((\mathbb{C}^\chi)^{\otimes k}) via the permutation representation. The lift is conditional on the BP 0 identification — it is a bridge identification rather than a derivation from OPT primitives.

Caveat (Permutation vs. General Unitary). The bridge-lifted disentanglers live in the permutation subgroup of U(\mathbb{C}^\chi), not the full unitary group. Standard MERA disentanglers are general unitaries u_\tau \in U(\mathbb{C}^\chi \otimes \mathbb{C}^\chi); the permutation subgroup is a strict subset (|S_\chi| = \chi! vs. \dim U(\chi) = \chi^2 continuous parameters). The bridge-conditional isomorphism established by P-2’s BP 0 + BP 4 is therefore to permutation MERA — a restricted sub-class. Extending to full MERA would require identifying an OPT-native mechanism that generates general unitaries rather than permutations. This gap does not affect the RT entropy bound (P-2d, v3.6.2 reframed as discrete min-cut upper bound), which depends only on the isometry condition P-2c, not on the disentangler class. \blacksquare

MERA–OPT Isomorphism Dictionary

MERA component OPT counterpart Formal OPT definition
Boundary layer (UV) Markov boundary X_{\partial_R A} Full physical substrate states; H = B_0 bits (§3.4 preprint)
Bulk layer (IR) Compressed state Z_t Optimal bottleneck output; H = B_L bits (preprint Eq. 4)
Isometry adjoint w_\tau^\dagger Coarse-graining W_\tau (\Delta \mathcal{Z}) Classical stochastic bottleneck map at layer \tau; reduces capacity B_\tau \to B_{\tau+1}
Disentangler u_\tau (U(\mathbb{C}^{\chi})) Branch disentangler U_\tau = \prod_j U_{\tau,j} (\prod_j S_{\chi^k}, locally factored; v3.6.7) Classical locally-factored permutation removing inter-group correlations before coarse-graining
Bond dimension \chi \chi = 2^{B_0/N} Per-site channel capacity; \log \chi = B_0/N bits per site, consistent with geometric schedule B_\tau = B_0 s^{-\tau} (see §1.1).
Scale factor s Coarse-graining ratio s Compression factor per layer; B_{\tau+1} = B_\tau / s
Number of layers L Compression depth L L = \log_s(B_0/B_L); depth of Stability Filter hierarchy
Top tensor Present aperture Z_t The C_{\max} bottleneck; the NOW of the Informational Causal Cone

§4. Theorem T-3b — Causal Cone / Generative Cone Identity

Theorem T-3b (Causal Cone Correspondence, v3.6.7 — generative-cone framing). Under the homomorphism of T-3a, the Informational Causal Cone of OPT (preprint §3.3) corresponds structurally (in order-of-magnitude scaling) to the MERA generative cone (§2.2 rename) rather than to the standard boundary-to-bulk MERA causal cone. The present aperture Z_t maps to the bulk top tensor; the settled Causal Record \mathcal{R}_t corresponds to the past bulk states; the Forward Fan \mathcal{F}_h(z_t) corresponds to the un-renormalized degrees of freedom at the MERA boundary h layers from the present, accessible through the generative-cone expansion from the bulk top.

4.1 Direction of the Correspondence

There is a subtlety of orientation that must be stated precisely. In MERA, the network runs from boundary (UV, fine-grained) to bulk (IR, coarse-grained). In OPT, the Informational Causal Cone runs from past (settled, compressed) through the present aperture to the future (Forward Fan, unresolved). The correspondence is:

MERA direction OPT direction Interpretation
Boundary \to Bulk (UV\toIR) Substrate \to Present Z_t Compressing fine-grained boundary into the compressed causal state
Bulk \to Boundary (IR\toUV) Present Z_t \to Forward Fan Expanding from the aperture into un-renormalized future branches
Generative cone of bulk point (v3.6.7 rename) Forward Fan \mathcal{F}_h(z_t) Boundary states reachable from bulk point; width \sim s^hnot the standard MERA causal cone, which runs boundary-to-bulk with constant width

4.2 Proof — Generative Cone Width = Forward Fan Capacity (v3.6.7 rename)

In the MERA, the generative cone (§2.2 v3.6.7 rename) of the bulk state Z_t (at depth L from the boundary) expands as it moves toward the boundary: at depth \tau layers from the top, the cone has width s^\tau. This counts the number of boundary sites the bulk top can reach.

In OPT, the codec’s encoded representation of the future at horizon h time-steps has bounded entropy H(Z_{t+1:t+h} \mid Z_t, a_{t:t+h-1}) \le hB (preprint §3.3 entropy form, v3.6.0 audit). The asymptotic typical set of observer-distinguishable outcomes is bounded by |\mathcal{T}_\epsilon^{(h)}(Z)| \lesssim 2^{hB}. The substrate-level fan \mathcal{F}_h(z_t) itself can have unbounded support — the bottleneck does not bound the multiplicity of physically admissible futures, only the multiplicity of those the codec can encode distinguishably. MERA layer depth corresponds to \tau = h. We observe an exponential vs linear bounding mismatch (s^\tau \cdot B/L bits in MERA via scale expansion vs hB in the OPT-encoded typical set via chronological accretion). The causal cone width and the OPT encoded-future capacity agree robustly in order of magnitude, but find strict exact agreement only in the limit of a single-layer codec (L=1). Furthermore, identifying the passive topology of MERA with the action-dependent forward dynamics implies we are operating exclusively within the passive observer limit (a \equiv \text{const}). \blacksquare

v3.6.0 audit note. Earlier drafts of this proof cited the cardinality form “\log|\mathcal{F}_h| \le Bh” inherited from preprint Eq. 5. That cardinality bound conflated the substrate-level multiplicity (which is unbounded for any nontrivial stochastic process) with the observer-distinguishable typical set (which is bounded by 2^{hB} asymptotically). The cardinality form has been replaced throughout v3.6.0 with the entropy / typical-set formulation; the MERA-vs-OPT order-of-magnitude correspondence the proof establishes is unaffected because it was always about distinguishable states, not raw support, and the entropy form makes this explicit.

4.3 Proof — Causal Record = Past Bulk

The settled Causal Record \mathcal{R}_t = (Z_0, Z_1, \ldots, Z_t) (preprint §3.3) consists of all past compressed states — the bulk states that have already been rendered into the settled past. In the MERA, these correspond to the sequence of past bulk states connected by the codec’s temporal dynamics K_\theta (preprint Eq. 6). The settled, low-entropy character of \mathcal{R}_t corresponds to the fact that bulk states in MERA have low entanglement entropy by construction — they are the coarse-grained result of the disentangling procedure. \blacksquare


§5. Theorem T-3c — The Forward Fan as Boundary UV and the Discrete Ryu-Takayanagi Upper Bound (v3.6.7 emphasis)

Theorem T-3c (Forward Fan = Boundary UV; Discrete RT upper bound, v3.6.7).

  1. The Forward Fan \mathcal{F}_h(z_t) maps probabilistically to the set of un-renormalized degrees of freedom at the MERA boundary — the boundary UV layer of the MERA applied to the codec at time step t + h.

  2. Classical Data Processing Limit (Bulk Cut Bound): The predictive cut entropy evaluated correctly at the internal bulk minimal cut layer satisfies explicitly: S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \log \chi

  3. Discrete Quantum RT Upper Bound (conditional on the bridge postulates of P-2):

\boxed{S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi}

where \gamma_A is the minimal-cut surface in the MERA bulk and \chi = 2^{B_0/N} is the bond dimension. This is an upper bound, not the RT equality. It holds conditional on P-2’s bridge postulates (v3.6.2 ledger: BP 0 computational-basis embedding, BP 4 approximate QECC, BP 6 isometry identification; cf. P-2d “discrete min-cut entropy upper bound” reframing). It reduces to the classical bulk-cut bound of Part (b) when the bridge postulates are not invoked. Saturation, continuum geometry, and the full Ryu-Takayanagi equality S = |\gamma_A| / (4 G_N) require additional holographic assumptions beyond the bond-dimension upper bound established here.

5.1 Proof — Forward Fan as Boundary UV

The MERA boundary UV layer at time t+h consists of all possible input states X_{\partial_R A}^{(t+h)} — the fine-grained, un-coarse-grained boundary states that will be processed by the codec over the next h time-steps. By the cascade structure, these are exactly the states reachable from the present aperture Z_t = Z_t^{(L)} by running the MERA in reverse (from bulk toward boundary) for h layers — i.e., by expanding the causal cone of Z_t for h steps.

The Forward Fan \mathcal{F}_h(z_t) is defined in the preprint (§3.3) as:

\mathcal{F}_h(z_t) := \left\{ z_{t+1:t+h} : p(z_{t+1:t+h} \mid z_t,\, a_{t:t+h-1}) > 0 \right\}

These are precisely the sequences of bulk states reachable from Z_t within h MERA layers by operating the cascade probabilistically in the expanded direction. The identification requires the MERA be evaluated in both directions — boundary \to bulk (past compression) and bulk \to boundary (future expansion). The Forward Fan corresponds explicitly to the second direction, which is the exact support set of the causal cone expansion of the bulk state toward the boundary UV, under the time-reversal identification properly noted in §4.1. \blacksquare

5.2 Proof — Discrete Ryu-Takayanagi Mapped Bound

Let A and \bar{A} = V \setminus A be a bipartition of the boundary. Let \tau^* be the minimal layer at which the A/\bar{A} interface is exactly severed in the tensor network (the minimal cut layer). At this layer, the local mutual information bottleneck capacity is strictly clamped by the capacity of those severed bonds:

S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \cdot \log \chi \qquad (\text{Inter-group bulk bound})

While this successfully establishes the discrete Ryu-Takayanagi capacity bound exactly at the bulk minimal cut layer, formally pushing this bound upward to limit the exterior boundary predictive cut entropy S_{\text{cut}}(A) = S_{\text{cut}}^{(0)}(A) cannot be accomplished using the Data Processing Inequality (as the DPI mandates that entropy must monotonically decrease, not increase, as we compress downward: S_{\text{cut}}^{(0)} \geq S_{\text{cut}}^{(\tau^*)}).

The correct path to the full target discrete RT boundary bound (S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi) requires bounding the Schmidt rank across the bipartition — a strategy that requires treating the network as constructing the boundary state via true linear isometries. This is now established in Appendix P-2: Theorem P-2d proves the discrete quantum Ryu-Takayanagi formula via the Schmidt decomposition of the MERA state across the minimal cut, conditional on the isometry condition of P-2c. \blacksquare (conditional on P-2d isometry).


§6. The Epistemic Ladder — From Classical to Quantum RT

The three theorems above establish the MERA structure at the classical information-theoretic level. The Epistemic Ladder of §3.4 of the preprint describes the conditions under which each rung can be climbed.

Rung Entropy law Condition Status
1. Classical Area Law S_{\text{cut}} \leq \lvert\partial A\rvert \log q Locality + Markov screening (§3.4 preprint) Proven (preprint Eq. 8)
2a. Classical bulk-cut S_{\text{cut}}^{(\tau^*)} \leq \lvert\gamma_A\rvert \log \chi T-3a cascade + classical DPI Proven (T-3c Part b)
2b. Discrete quantum RT S_{\text{vN}}(\rho_A) \leq \lvert\gamma_A\rvert \log \chi 2a + P-2 isometry embedding Proven (P-2d, conditional)
3. Quantum RT S(A) = \tfrac{\text{Area}(\gamma_A)}{4G_{\text{OPT}}} + S_{\text{bulk}} Rung 2b + continuum limit Conditional on continuum limit
4. Full AdS/CFT Exact bulk/boundary duality Quantum RT + geometric reconstruction of bulk operators Long-term (v3.0+)

The quantum RT formula requires replacing the classical predictive cut entropy I(X_A;\, X_{V \setminus A}) with the von Neumann entanglement entropy S_{\text{vN}}(\rho_A) of a density matrix \rho_A. This presupposes a Hilbert space structure for the state space of Z_t. The derivation of this structure — via the ADH quantum error correction argument (preprint P-2) — remains the next formal step. Once P-2 is closed, the bond dimension \chi = 2^{B_0/N} becomes a quantum bond dimension, and the classical mutual information in the proof of T-3c is replaced by quantum mutual information, recovering the full quantum RT formula with the bulk correction term S_{\text{bulk}}.


§7. Emergent Bulk Geometry from Code Distance

The MERA bulk geometry is not a pre-existing container. Under the isomorphism of T-3a, it is the informational metric space of the codec: the geometry of compression distances.

7.1 Code Distance as Bulk Metric

Define the discrete integer code distance d(z^{(\tau)}, z'^{(\tau)}) between two states at layer \tau of the cascade as the minimum number of disentangler-swaps required to connect them within the tensor network.

Under a proper thermodynamic or continuum limit (N \to \infty, a \to 0), one might approximate the bulk metric g_{ij}^{\text{bulk}}(\tau) at continuous spatial layer scale \tau as:

g_{ij}^{\text{bulk}}(\tau) \propto \lim_{a \to 0} \frac{d\!\left(z_i^{(\tau)},\, z_j^{(\tau)}\right)^2}{d\!\left(z_i^{(0)},\, z_j^{(0)}\right)^2}

This is a structural expectation, conditional on scale invariance of the cascade and the assumption that Permutation MERA is continuously approximable by a general MERA in the continuum limit — consistent with the known results of Swingle (2012) and Nozaki-Ryu-Takayanagi (2012), but not guaranteed for a discrete cascade with finitely many layers. Thus, under these continuum-limit conjectures, we expect that spacetime geometry would curve precisely where code distance diverges — i.e., where the predictive rate R_\text{req} approaches C_\text{max}, consistent strategically with T-2’s rate-distortion overflow identification.

7.2 Connection to T-2

T-2 postulates (bridge identification, v3.6.3) that gravitational curvature G_{\mu\nu} arises as the metric variation of the gravitational-action functional I_{\text{grav}}[g], corresponding on-shell to Clausius variations of rendering entropy S_{\text{render}}. The MERA structure now specifies the microscopic side of that correspondence: it bounds S_{\text{render}} from above by the minimal-cut entropy |\gamma_A| \log \chi (T-3c — an upper bound, not an identity), and the Einstein tensor G_{\mu\nu} is the response of this cut-entropy bound to metric perturbations in the bulk geometry induced by code distance. The two appendices are therefore consistent: T-2 gives the macroscopic field equations; T-3 gives the microscopic tensor-network origin of the rendering-entropy bound that enters them.


§8. Closure Summary and Open Edges

T-3 Deliverables — Partially Resolved → Conditionally Upgraded (with P-2)

  1. T-3a (MERA isomorphism). The OPT L-layer bottleneck cascade is structurally homomorphic to a MERA with layer factor s and depth L. With Appendix P-2 (Theorems P-2.0 and P-2c), this upgrades to a tensor-network isomorphism within the QECC-protected subspace, conditional on local noise. Note: The isomorphism is to permutation MERA (disentanglers in the permutation subgroup of U(\mathbb{C}^\chi)), not to general MERA with arbitrary unitary disentanglers. This restriction does not affect the RT bound (P-2d) but limits the correspondence to a sub-class of MERA networks.

  2. T-3b (Causal cone correspondence). The Informational Causal Cone scales with order-of-magnitude symmetry to the MERA causal cone structure within the passive-observer limit, though depth profiles differ. The Forward Fan corresponds to un-renormalized boundary data. (P-2’s isometry result applies within the passive observer limit; the action-dependent a_{t:t+h-1} terms in the Forward Fan definition require an open-systems extension not addressed by P-2.)

  3. T-3c (Discrete quantum RT upper bound, v3.6.7 emphasis). The original DPI-based proof bounded the bulk but not the boundary entropy. With the bridge postulates of P-2 (v3.6.2 ledger: BP 0, BP 4, BP 6), Theorem P-2d (v3.6.2 reframed as discrete min-cut upper bound) establishes the boundary upper bound S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi via the Schmidt rank of the MERA state. This is an upper bound, not the RT equality — saturation and continuum RT require additional holographic assumptions beyond the bond-dimension bound.

  4. Emergent bulk geometry. The MERA bulk metric g_{ij}^{\text{bulk}} is induced from code distance in the cascade. Spacetime curves where code distance diverges, consistent with T-2’s bridge identification (v3.6.3) of G_{\mu\nu} with the metric variation of I_{\text{grav}}[g], Clausius-linked on-shell to rendering entropy. (Continuum limit still needed.)

  5. Epistemic Ladder status. Rung 2 (discrete quantum RT) is now proven via P-2d. Rung 3 (full quantum RT with bulk correction) requires a continuum limit not yet derived from OPT primitives.

Open edges enabled by this closure


This appendix is maintained as part of the OPT project repository alongside theoretical_roadmap.pdf. References: Vidal (2008) [43], Pastawski et al. (2015) [44], Almheiri-Dong-Harlow (2015) [42], Tishby et al. (1999) [28], Ryu-Takayanagi (2006).