Theorie van de geordende patch (OPT)
Appendix T-3: MERA-tensornetwerken en de informationele causale kegel
5 april 2026 | DOI: 10.5281/zenodo.19300777
Oorspronkelijke Taak T-3: MERA-tensornetwerken en de causale kegel Probleem: OPT stelt een Informationele causale kegel voor die uit sequentiële compressie is opgebouwd, maar steunt daarbij op een op maat gemaakte geometrische beschrijving in plaats van op standaard kwantum-tensorformalisme. Op te leveren resultaat: Formele afbeelding van de Informationele causale kegel van OPT op de structuur van het MERA-tensornetwerk.
Afsluitingsstatus: CONDITIONEEL ISOMORFISME (structureel homomorfisme bevestigd; strikte fysische isomorfie voorwaardelijk opgewaardeerd via P-2). Deze appendix levert de beoogde structurele afbeelding die door T-3 wordt vereist. Drie stellingen vestigen een sterke topologische analogie: (T-3a) de iteratieve coarse-graining van het Stabiliteitsfilter van OPT is structureel homomorf aan een MERA-tensornetwerk; (T-3b) de Informationele causale kegel van §3.3 komt qua orde van grootte overeen met de causale kegel van MERA; en (T-3c) de Voorspellende Vertakkingsverzameling wordt structureel afgebeeld op de niet-gerenormaliseerde grensvrijheidsgraden. Het wiskundig verheffen van dit zuiver stochastische structurele homomorfisme tot de strikte Hilbertruimte-isometrieën die vereist zijn voor een echte discrete Ryu-Takayanagi-grens bleef oorspronkelijk open, maar is nu voorwaardelijk opgelost via de expliciete inbedding in een computationele basis en de brugpostulaten van Isometrie-identificatie die achtereenvolgens in probleem P-2 zijn vastgesteld.
§1. De meerlagige compressiestructuur
In §3.3 van de preprint wordt de OPT-waarnemer gedefinieerd via één enkele bottleneck-optimalisatie (Vgl. 4): een gecomprimeerde toestand Z_t \in \{1, \ldots, 2^B\} wordt geselecteerd uit de volledige grenstoestand X_t om predictieve informatie te maximaliseren bij minimale beschrijvingslengte. Wat §3.3 niet expliciet maakt, is dat het pad van X_{\partial A} naar Z_t zich op natuurlijke wijze laat ontbinden in een cascade van compressielagen — waarbij elke laag kortetermijncorrelaties verwerpt die irrelevant zijn voor voorspelling op de volgende schaal. Deze hiërarchische structuur vormt de OPT-zijde van de MERA-correspondentie.
1.1 De L-laagse bottleneckcascade
Laat s \geq 2 een vaste coarse-grainingfactor zijn en L het totale aantal compressielagen. Definieer de cascade:
Z_t^{(0)} := X_{\partial_R A} \qquad \text{(laag 0: volledige Markov-grens, } H = B_0 \text{ bits)}
Op elke volgende laag \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{onder de voorwaarde: } I\!\left(Z_t^{(\tau)} \,;\, Z_t^{(\tau+1)}\right) \leq B_\tau, \qquad B_\tau = B_0 \cdot s^{-\tau}
De eindtoestand is Z_t := Z_t^{(L)}, met B_L = B_0 \cdot s^{-L} bits. De cascade definieert een Markov-keten:
X_{t+1:\infty} \;-\!\!-\; Z_t^{(0)} \;-\!\!-\; Z_t^{(1)} \;-\!\!-\; \cdots \;-\!\!-\; Z_t^{(L)} = Z_t
Volgens de data-processing-ongelijkheid is predictieve informatie monotoon niet-toenemend:
I\!\left(Z_t^{(\tau)} \,;\, X_{t+1:\infty}\right) \geq I\!\left(Z_t^{(\tau+1)} \,;\, X_{t+1:\infty}\right)
Elke laag verliest een gecontroleerde hoeveelheid predictieve informatie — gestuurd door het distortiebudget D_\tau van de bottleneck van die laag.
1.2 Ontleding in eerst Ontvlechten, dan Verfijnen
Elke laagovergang Z^{(\tau)} \to Z^{(\tau+1)} valt uiteen in twee canonieke stappen:
Ontvlechting: Pas een lokale omkeerbare herschikking toe, gemodelleerd als een permutatie-afbeelding U_\tau \in S_{|\mathcal{Z}|} op Z^{(\tau)}, die onderling irrelevante takken van de Voorspellende Vertakkingsverzameling — takken die geen voorspellende informatie over de toekomst delen — naar aangrenzende posities brengt. Deze klassieke stap is omkeerbaar; er gaat geen informatie verloren.
Verfijning op grove schaal (bottleneck-afbeelding): Verdeel de toestanden in groepen van s en pas op elke groep de klassieke stochastische bottleneck-compressieafbeelding W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) toe. De bonddimensie ligt vast als \chi = 2^{B_0/N}, waarbij N het aantal grenssites is. Om formeel te functioneren als een exacte discrete tensor-dimensie van de Hilbertruimte, en niet als een effectieve continue schaal, legt het raamwerk strikt de diofantische beperking 2^{B_0/N} \in \mathbb{Z}^+ op. Dit waarborgt expliciet dat de exacte gehele dimensie \chi een entropie per site oplevert van \log \chi = B_0/N, geometrisch consistent met het capaciteitschema B_\tau = B_0 \cdot s^{-\tau}. Opmerking: De kwantumdoelstructuren die in §2 worden gebruikt, zijn de MERA-isometrie w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s} (waarvan de geadjungeerde w_\tau^\dagger de verfijning op grove schaal implementeert) en de ontvlechter u_\tau. De §1-afbeeldingen W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) en U_\tau \in S_{|\mathcal{Z}|} zijn de klassieke OPT-objecten. De inbedding die ze met elkaar verbindt, wordt vastgesteld in Appendix P-2.
De compositie W_\tau \circ U_\tau op elke laag, gestapeld voor \tau = 0, \ldots, L-1, vormt het volledige tensornetwerk. We laten nu zien dat dit precies MERA is.
§2. MERA — formele definities
We geven de relevante definities uit Vidal (2008) [43] in een vorm die geschikt is voor de OPT-mapping.
2.1 Tensoren
Een MERA voor een 1D-keten van N grenssites met lokale Hilbertruimte \mathbb{C}^\chi bestaat uit L lagen. Elke laag \tau bevat twee klassen tensoren:
Ontvlechters u_\tau: unitaire tensoren u_\tau: (\mathbb{C}^\chi)^{\otimes 2} \to (\mathbb{C}^\chi)^{\otimes 2} die inwerken op aangrenzende paren sites. Zij verwijderen kortbereikverstrengeling zonder de totale dimensie van de Hilbertruimte te veranderen. Unitariteit: u^\dagger u = u u^\dagger = I.
Isometrieën w_\tau: tensoren w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s} die voldoen aan w_\tau^\dagger w_\tau = I_{\mathbb{C}^\chi} (isometrisch: de afbeelding is een injectie van de grofkorrelige ruimte in de fijnkorrelige ruimte). De geadjungeerde afbeelding w_\tau^\dagger: (\mathbb{C}^\chi)^{\otimes s} \to \mathbb{C}^\chi implementeert de grofkorreling, waarbij s fijnkorrelige sites op 1 grove site worden afgebeeld.
De volledige MERA beeldt de top-toestand |\psi_{\text{top}}\rangle \in \mathbb{C}^\chi (de bulk) af op de grenstoestand |\psi_{\text{boundary}}\rangle \in (\mathbb{C}^\chi)^{\otimes N} door de lagen van bulk naar grens toe toe te passen, waarbij elke laag de toestandsruimte met een factor s uitbreidt.
2.2 De causale kegel van MERA
De causale kegel \mathcal{C}(x) van een grenssite x \in \{1, \ldots, N\} is de minimale verzameling tensoren in het netwerk waarvan de waarden de gereduceerde dichtheidsmatrix \rho_x van site x kunnen beïnvloeden. Zij wordt bottom-up berekend (van de bulk naar de grens).
Op de bulklaag (diepte \tau = L vanaf de grens): \mathcal{C}(x) bevat de enkele toptensor. Op elke daaropvolgende laag in de richting van de grens breidt de causale kegel zich uit met factor s bij elke isometrielag en met hoogstens 2 bij elke disentanglerlaag. De breedte van \mathcal{C}(x) op grensdiepte \tau vanaf de top is:
w(\tau) = \mathcal{O}(s^\tau) \qquad \text{[groeit exponentieel van de bulk naar de grens]}
Voor de kritische MERA (s = 2) groeit de breedte van de causale kegel als 2^\tau op diepte \tau, en bereikt zij na L lagen de volledige grensbreedte N = s^L.
2.3 Verstrengelingsentropie en de minimale snede
Voor een aaneengesloten grensgebied A met lengte |A| = l, wordt de verstrengelingsentropie S(A) in een MERA-toestand begrensd door het aantal bindingen dat wordt doorgesneden door het minimale oppervlak \gamma_A door het bulkgebied van het tensornetwerk:
S(A) \leq |\gamma_A| \cdot \log \chi
waarbij |\gamma_A| het aantal bindingen in de minimale snede is en \chi de bindingsdimensie. Voor een schaalinvariante MERA geldt |\gamma_A| \sim \frac{c}{3} \log l, waarmee de CFT-verstrengelingsentropie S(A) \sim \frac{c}{3} \log l wordt gerecupereerd, met c/3 = \log \chi. Dit is het discrete analogon van de Ryu-Takayanagi-formule in AdS/CFT.
§3. Stelling T-3a — Structureel homomorfisme
Stelling T-3a (MERA–OPT-homomorfisme). De OPT-informatiebottleneckcascade met L lagen \{Z_t^{(\tau)},\, \tau = 0, \ldots, L\}, met grenstoestand Z_t^{(0)} = X_{\partial_R A}, bulktoestand Z_t^{(L)} = Z_t, laagcapaciteit B_\tau = B_0 \cdot s^{-\tau}, en bonddimensie \chi = 2^{B_0/N}, is structureel homomorf met de laagtopologie van een MERA met L lagen, schaalfactor s en bonddimensie \chi, onder de formele klassieke afbeelding: - (i) OPT-coarse-graining W_\tau \;\leftrightarrow\; MERA-isometrieadjunct w_\tau^\dagger - (ii) OPT-disentangler U_\tau \;\leftrightarrow\; MERA-disentangler u_\tau
3.1 Bewijs — Identificatie van isometrie
De OPT-grofkorrelingstensor op laag \tau wordt berekend via de conditionele verdeling q^*(z^{(\tau+1)} \mid z^{(\tau)}) die door de bottleneck-optimalisatie wordt voortgebracht. Hoewel het totale informatiebudget een gemiddelde macroscopische capaciteitsverhouding van B_\tau / B_{\tau+1} = s afdwingt, legt de klassieke stochastische bottleneck van zichzelf geen exact uniforme vezelcardinaliteit op (een strikte discrete pre-image die voor elke output z^{(\tau+1)} equivalent exact overeenkomt met grootte s). Het formaliseren van deze expliciete stap beperkt de architectuur daarom tot de geïdealiseerde limiet van een strakke afbeelding (D \to 0), onder de voorwaardelijke aanname dat de parameters uniforme informatiestructuren perfect isoleren.
q^* representeert echter een klassieke stochastische waarschijnlijkheidsmatrix, geen complexe kwantumunitair-matrix. Stellen dat hier de werkelijke Hilbertruimte-isometrievoorwaarde (W_\tau W_\tau^\dagger = I_{\mathbb{C}^\chi}) geldt, zou een categoriefout zijn. Een echte partiële isometrie vereist een expliciete inbedding van deze discrete toestanden in een computationele basis op \mathbb{C}^\chi. Bijlage P-2 (Conditionele kwantumcorrespondentie) stelt deze inbedding vast: Stelling P-2.0 geeft de identificatie van de computationele basis, en Stelling P-2c bewijst dat de optimale bottleneck-afbeelding in de strakke limiet als een partiële isometrie werkt binnen de door QECC beschermde subruimte. Onder de voorwaarde van het lokale ruismodel van P-2 wordt het structurele homomorfisme opgewaardeerd tot een echte tensornetwerk-isomorfie binnen de coderuimte. \blacksquare
3.2 Bewijs — Identificatie van de disentangler
De zuiver klassieke disentangler U_\tau wordt vastgesteld als een lokale bijectie (een permutatie van het toestandsalfabet uit de symmetrische groep S_{|\mathcal{Z}|}) die Z^{(\tau)} herschikt om intergroepsredundanties (oftewel: wederzijdse informatie) te minimaliseren voordat deze grofmazig worden gemaakt.
U_\tau = \operatorname*{arg\,min}_{U \in S_{|\mathcal{Z}|}} \sum_{j \neq k} I\!\left( U(Z^{(\tau)})_{\text{group}\, j} \,;\, U(Z^{(\tau)})_{\text{group}\, k} \right)
Dit komt overeen met het structurele doel van de MERA-disentangler: het verwijderen van kortbereikverstrengeling (correlaties tussen aangrenzende groepen) vóór grofmazige schaalvergroting. Echte complexe unitariteit (U^\dagger U = I) wordt vastgesteld door Theorema P-2.0 (Appendix P-2): onder de inbedding in de computationele basis wordt de permutatie U_\tau \in S_{|\mathcal{Z}|} via de permutatierepresentatie eenduidig opgeheven tot een unitaire matrix in U(\mathbb{C}^\chi).
Voorbehoud (Permutatie vs. algemene unitaire operator). Theorema P-2.0 heft de disentanglers van OPT op naar de permutatiesubgroep van U(\mathbb{C}^\chi), niet naar de volledige unitaire groep. Standaard MERA-disentanglers zijn algemene unitaire operatoren u_\tau \in U(\mathbb{C}^\chi \otimes \mathbb{C}^\chi); de permutatiesubgroep is een strikte deelverzameling (|S_\chi| = \chi! vs. \dim U(\chi) = \chi^2 continue parameters). Het door P-2.0+P-2c vastgestelde isomorfisme betreft daarom permutatie-MERA — een beperkte subklasse. Uitbreiding naar volledige MERA zou vereisen dat een OPT-eigen mechanisme wordt geïdentificeerd dat algemene unitaire operatoren genereert in plaats van permutaties. Deze lacune heeft geen invloed op de RT-entropiegrens (P-2d), die uitsluitend afhangt van de isometrievoorwaarde P-2c en niet van de disentanglerklasse. \blacksquare
MERA–OPT-isomorfiewoordenboek
| MERA-component | OPT-tegenhanger | Formele OPT-definitie |
|---|---|---|
| Grenslaag (UV) | Markov-grens X_{\partial_R A} | Volledige fysieke substraattoestanden; H = B_0 bits (§3.4 preprint) |
| Bulklaag (IR) | Gecomprimeerde toestand Z_t | Optimale bottleneck-uitvoer; H = B_L bits (preprint, vgl. 4) |
| Isometrie-adjunct w_\tau^\dagger | Grofkorreligmaking W_\tau (\Delta \mathcal{Z}) | Klassieke stochastische bottleneck-afbeelding op laag \tau; reduceert capaciteit B_\tau \to B_{\tau+1} |
| Disentangler u_\tau (U(\mathbb{C}^{\chi})) | Tak-disentangler U_\tau (S_{|\mathcal{Z}|}) | Klassieke permutatie die intergroepscorrelaties verwijdert vóór grofkorreligmaking |
| Bond-dimensie \chi | \chi = 2^{B_0/N} | Kanaalcapaciteit per site; \log \chi = B_0/N bits per site, consistent met het geometrische schema B_\tau = B_0 s^{-\tau} (zie §1.1). |
| Schaalfactor s | Grofkorreligheidsverhouding s | Compressiefactor per laag; B_{\tau+1} = B_\tau / s |
| Aantal lagen L | Compressiediepte L | L = \log_s(B_0/B_L); diepte van de Stabiliteitsfilter-hiërarchie |
| Top-tensor | Huidige apertuur Z_t | De C_{\max}-bottleneck; het NU van de Informationele causale kegel |
§4. Theorema T-3b — Identiteit van de causale kegel
Theorema T-3b (Correspondentie van de causale kegel). Onder het homomorfisme van T-3a correspondeert de Informationele causale kegel van de Theorie van de geordende patch (OPT) (preprint §3.3) structureel (qua schaling naar orde van grootte) met de causale kegel van MERA. De huidige apertuur Z_t wordt afgebeeld op de bovenste bulktensor; het vastgelegde Causaal Register \mathcal{R}_t correspondeert met de vroegere bulktoestanden; de Voorspellende Vertakkingsverzameling \mathcal{F}_h(z_t) correspondeert met de niet-gerenormaliseerde vrijheidsgraden aan de MERA-rand, op h lagen van het heden.
4.1 Richting van de correspondentie
Er is een subtiele kwestie van oriëntatie die precies moet worden geformuleerd. In MERA loopt het netwerk van de rand (UV, fijnkorrelig) naar de bulk (IR, grofkorrelig). In OPT loopt de Informationele causale kegel van het verleden (vastgelegd, gecomprimeerd) via de huidige apertuur naar de toekomst (Voorspellende Vertakkingsverzameling, onopgelost). De correspondentie is:
| MERA-richting | OPT-richting | Interpretatie |
|---|---|---|
| Rand \to Bulk (UV\toIR) | Substraat \to Huidige Z_t | Compressie van de fijnkorrelige rand tot de gecomprimeerde causale toestand |
| Bulk \to Rand (IR\toUV) | Huidige Z_t \to Voorspellende Vertakkingsverzameling | Expansie vanuit de apertuur naar niet-genormaliseerde toekomstige takken |
| Causale kegel van bulkpunt | Voorspellende Vertakkingsverzameling \mathcal{F}_h(z_t) | Randtoestanden bereikbaar vanuit bulkpunt; breedte \sim s^h |
4.2 Bewijs — Breedte van de causale kegel = capaciteit van de Voorspellende Vertakkingsverzameling
In MERA zet de causale kegel van de bulktoestand Z_t (op diepte L vanaf de grens) uit terwijl hij zich naar de grens beweegt: op een diepte van \tau lagen vanaf de top heeft de kegel breedte s^\tau. Dit telt het aantal grenssites dat Z_t onafhankelijk kan beïnvloeden.
In OPT bevat de Voorspellende Vertakkingsverzameling \mathcal{F}_h(z_t) op diepte h tijdsstappen vanaf de huidige apertuur hoogstens 2^{B \cdot h} onderscheidbare toekomstige toestanden (preprint vgl. 5: \log|\mathcal{F}_h| \leq Bh). De laagdiepte in MERA correspondeert met \tau = h. We constateren een mismatch in de begrenzing — exponentieel versus lineair (s^\tau \cdot B/L bits in MERA via schaalexpansie versus B \tau in de Voorspellende Vertakkingsverzameling via chronologische aangroei). De breedte van de causale kegel en de capaciteit van de OPT-Voorspellende Vertakkingsverzameling stemmen qua orde van grootte robuust overeen, maar bereiken strikte exacte overeenstemming alleen in de limiet van een codec met één laag (L=1). Bovendien impliceert de identificatie van de passieve topologie van MERA met de actie-afhankelijke Voorspellende Vertakkingsverzameling dat we uitsluitend opereren binnen de limiet van de passieve waarnemer (a \equiv \text{const}). \blacksquare
4.3 Bewijs — Causaal Register = Verleden bulk
Het vastgelegde Causaal Register \mathcal{R}_t = (Z_0, Z_1, \ldots, Z_t) (preprint §3.3) bestaat uit alle gecomprimeerde toestanden uit het verleden — de bulktoestanden die reeds in het vastgelegde verleden zijn gerenderd. In de MERA komen deze overeen met de opeenvolging van vroegere bulktoestanden die verbonden zijn door de temporele dynamica van de codec K_\theta (preprint vgl. 6). Het vastgelegde karakter met lage entropie van \mathcal{R}_t correspondeert met het feit dat bulktoestanden in MERA per constructie een lage verstrengelingsentropie hebben — zij zijn het grofkorrelige resultaat van de disentanglingsprocedure. \blacksquare
§5. Theorema T-3c — de Voorspellende Vertakkingsverzameling als grens-UV en de discrete Ryu-Takayanagi-formule
Theorema T-3c (Voorspellende Vertakkingsverzameling = grens-UV; discrete RT).
De Voorspellende Vertakkingsverzameling \mathcal{F}_h(z_t) correspondeert probabilistisch met de verzameling niet-gerenormaliseerde vrijheidsgraden aan de MERA-grens — de grens-UV-laag van de MERA toegepast op de codec op tijdstap t + h.
Klassieke gegevensverwerkingslimiet (bulk-cut-bound): de entropie van de voorspellende cut, correct geëvalueerd op de interne bulklaag van de minimale cut, voldoet expliciet aan: S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \log \chi
Discrete kwantum-RT-uitbreiding (conditioneel op P-2d-inbedding):
\boxed{S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi}
waar \gamma_A het minimale-cut-oppervlak in de MERA-bulk is en \chi = 2^{B_0/N} de bonddimensie is. Deze bovengrens geldt onder de voorwaarde van de P-2d-isometrie; wanneer de kwantumstructuur niet beschikbaar is, reduceert zij tot de klassieke bulk-cut-bound uit deel (b).
5.1 Bewijs — Voorspellende Vertakkingsverzameling als grens-UV
De grens-UV-laag van MERA op tijdstip t+h bestaat uit alle mogelijke invoertoestanden X_{\partial_R A}^{(t+h)} — de fijnmazige, niet-vergrofde grenstoestanden die in de volgende h tijdstappen door de codec zullen worden verwerkt. Door de cascadestructuur zijn dit precies de toestanden die vanuit de huidige apertuur Z_t = Z_t^{(L)} bereikbaar zijn door de MERA omgekeerd uit te voeren (van bulk naar grens) gedurende h lagen — d.w.z. door de causale kegel van Z_t gedurende h stappen uit te vouwen.
De Voorspellende Vertakkingsverzameling \mathcal{F}_h(z_t) wordt in de preprint (§3.3) gedefinieerd als:
\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\}
Dit zijn precies de reeksen bulktoestanden die vanuit Z_t binnen h MERA-lagen bereikbaar zijn door de cascade probabilistisch in de uitgeklapte richting te laten werken. Deze identificatie vereist dat de MERA in beide richtingen wordt geëvalueerd — grens \to bulk (compressie van het verleden) en bulk \to grens (expansie naar de toekomst). De Voorspellende Vertakkingsverzameling correspondeert expliciet met de tweede richting, die exact de dragersverzameling is van de expansie van de causale kegel van de bulktoestand naar de grens-UV, onder de tijdsomkeringsidentificatie zoals correct opgemerkt in §4.1. \blacksquare
5.2 Bewijs — Discrete afgebeelde Ryu-Takayanagi-grens
Laat A en \bar{A} = V \setminus A een bipartitie van de rand zijn. Laat \tau^* de minimale laag zijn waarop de A/\bar{A}-interface in het tensornetwerk exact wordt doorgesneden (de minimale-snede-laag). In deze laag wordt de lokale capaciteit van de wederzijdse-informatieflessenhals strikt begrensd door de capaciteit van die doorgesneden bindingen:
S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \cdot \log \chi \qquad (\text{Bulkgrens tussen groepen})
Hoewel dit de discrete Ryu-Takayanagi-capaciteitsgrens exact vastlegt op de bulklaag van de minimale snede, kan het formeel omhoog duwen van deze grens om de voorspellende snede-entropie van de buitenrand S_{\text{cut}}(A) = S_{\text{cut}}^{(0)}(A) te begrenzen niet worden bereikt met behulp van de ongelijkheid van gegevensverwerking (Data Processing Inequality), aangezien de DPI voorschrijft dat de entropie monotoon moet afnemen, niet toenemen, wanneer we neerwaarts comprimeren: S_{\text{cut}}^{(0)} \geq S_{\text{cut}}^{(\tau^*)}.
De juiste route naar de volledige beoogde discrete RT-randgrens (S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi) vereist het begrenzen van de Schmidt-rang over de bipartitie — een strategie die vereist dat het netwerk wordt behandeld alsof het de randtoestand construeert via echte lineaire isometrieën. Dit wordt nu vastgesteld in Appendix P-2: Theorema P-2d bewijst de discrete kwantum-Ryu-Takayanagi-formule via de Schmidt-decompositie van de MERA-toestand over de minimale snede, onder de voorwaarde van de isometrievoorwaarde van P-2c. \blacksquare (onder voorbehoud van P-2d-isometrie).
§6. De epistemische ladder — van klassieke naar kwantum-RT
De drie bovenstaande stellingen vestigen de MERA-structuur op het klassieke informatie-theoretische niveau. De epistemische ladder van §3.4 van de preprint beschrijft de voorwaarden waaronder elke sport kan worden beklommen.
| Sport | Entropiewet | Voorwaarde | Status |
|---|---|---|---|
| 1. Klassieke oppervlakwet | S_{\text{cut}} \leq \lvert\partial A\rvert \log q | Lokaliteit + Markov-screening (§3.4 preprint) | Bewezen (preprint Vgl. 8) |
| 2a. Klassieke bulk-snede | S_{\text{cut}}^{(\tau^*)} \leq \lvert\gamma_A\rvert \log \chi | T-3a-cascade + klassieke DPI | Bewezen (T-3c Deel b) |
| 2b. Discrete kwantum-RT | S_{\text{vN}}(\rho_A) \leq \lvert\gamma_A\rvert \log \chi | 2a + P-2-isometrie-inbedding | Bewezen (P-2d, voorwaardelijk) |
| 3. Kwantum-RT | S(A) = \tfrac{\text{Area}(\gamma_A)}{4G_{\text{OPT}}} + S_{\text{bulk}} | Sport 2b + continuümgrens | Voorwaardelijk op de continuümgrens |
| 4. Volledige AdS/CFT | Exacte bulk-/grensdualiteit | Kwantum-RT + geometrische reconstructie van bulkoperatoren | Langetermijn (v3.0+) |
De kwantum-RT-formule vereist dat de klassieke predictieve snede-entropie I(X_A;\, X_{V \setminus A}) wordt vervangen door de von Neumann-verstrengelingsentropie S_{\text{vN}}(\rho_A) van een dichtheidsmatrix \rho_A. Dit veronderstelt een Hilbertruimtestructuur voor de toestandsruimte van Z_t. De afleiding van deze structuur — via het ADH-argument voor kwantumfoutcorrectie (preprint P-2) — blijft de volgende formele stap. Zodra P-2 is afgerond, wordt de bond-dimensie \chi = 2^{B_0/N} een kwantumbond-dimensie, en wordt de klassieke wederzijdse informatie in het bewijs van T-3c vervangen door kwantumwederzijdse informatie, waarmee de volledige kwantum-RT-formule wordt teruggewonnen, inclusief de bulk-correctieterm S_{\text{bulk}}.
§7. Emergerende bulkgeometrie uit codeafstand
De MERA-bulkgeometrie is geen vooraf bestaande container. Onder het isomorfisme van T-3a is zij de informationele metrische ruimte van de codec: de geometrie van compressieafstanden.
7.1 Codeafstand als bulkmetriek
Definieer de discrete gehele codeafstand d(z^{(\tau)}, z'^{(\tau)}) tussen twee toestanden op laag \tau van de cascade als het minimale aantal disentangler-swaps dat nodig is om ze binnen het tensornetwerk met elkaar te verbinden.
Onder een geschikte thermodynamische of continuümgrens (N \to \infty, a \to 0) kan men de bulkmetriek g_{ij}^{\text{bulk}}(\tau) op continue ruimtelijke laagschaal \tau benaderen als:
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}
Dit is een structurele verwachting, onder de voorwaarde van schaalinvariantie van de cascade en de aanname dat Permutation MERA in de continuümgrens continu benaderbaar is door een algemene MERA — in overeenstemming met de bekende resultaten van Swingle (2012) en Nozaki-Ryu-Takayanagi (2012), maar niet gegarandeerd voor een discrete cascade met eindig veel lagen. Daarom verwachten we, onder deze conjecturen over de continuümgrens, dat de ruimtetijdgeometrie precies daar zou krommen waar de codeafstand divergeert — d.w.z. waar de Vereiste Predictieve Snelheid R_\text{req} de Bovenlimiet van bandbreedte C_\text{max} nadert, strategisch consistent met de identificatie van rate-distortion-overflow in T-2.
7.2 Verbinding met T-2
T-2 stelde vast dat de gravitationele kromming G_{\mu\nu} de metrische afgeleide is van de render-entropie S_{\text{render}}. De MERA-structuur specificeert nu de microscopische oorsprong van S_{\text{render}}: zij is de minimale-snede-entropie |\gamma_A| \log \chi, en de Einstein-tensor G_{\mu\nu} is de respons van deze snede-entropie op metrische perturbaties in de bulkgeometrie die door codeafstand worden geïnduceerd. De twee appendices zijn dus consistent: T-2 geeft de macroscopische veldvergelijkingen; T-3 geeft de microscopische tensornetwerkoorsprong van de entropiefunctionaal die zij extremaliseren.
§8. Samenvatting van de afsluiting en open randen
T-3-resultaten — Gedeeltelijk opgelost → Voorwaardelijk opgewaardeerd (met P-2)
T-3a (MERA-isomorfisme). De OPT-bottleneckcascade met L lagen is structureel homomorf aan een MERA met laagfactor s en diepte L. Met Appendix P-2 (Stellingen P-2.0 en P-2c) wordt dit opgewaardeerd tot een tensornetwerk-isomorfisme binnen de door QECC beschermde subruimte, onder de voorwaarde van lokale ruis. Opmerking: Het isomorfisme betreft permutatie-MERA (disentanglers in de permutatiesubgroep van U(\mathbb{C}^\chi)), niet algemene MERA met willekeurige unitaire disentanglers. Deze beperking beïnvloedt de RT-grens (P-2d) niet, maar beperkt de correspondentie tot een subklasse van MERA-netwerken.
T-3b (Correspondentie van causale kegels). De Informationele causale kegel schaalt met symmetrie op orde-van-grootte-niveau naar de causale-kegelstructuur van MERA binnen de limiet van de passieve waarnemer, hoewel de diepteprofielen verschillen. De Voorspellende Vertakkingsverzameling correspondeert met niet-gerenormaliseerde randdata. (Het isometrieresultaat van P-2 geldt binnen de limiet van de passieve waarnemer; de actie-afhankelijke termen a_{t:t+h-1} in de definitie van de Voorspellende Vertakkingsverzameling vereisen een open-systems-uitbreiding die in P-2 niet wordt behandeld.)
T-3c (Discrete kwantum-RT). Het oorspronkelijke op DPI gebaseerde bewijs begrensde de bulk, maar niet de randentropie. Met de isometrie uit P-2c stelt Stelling P-2d de volledige randgrens S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi vast via de Schmidt-rang van de MERA-toestand.
Emergente bulkgeometrie. De MERA-bulkmetriek g_{ij}^{\text{bulk}} wordt geïnduceerd vanuit de codeafstand in de cascade. De ruimtetijd kromt waar de codeafstand divergeert, in overeenstemming met T-2’s identificatie van G_{\mu\nu} als de metrische afgeleide van render-entropie. (Een continuümlimiet is nog steeds nodig.)
Status van de Epistemische Ladder. Sport 2 (discrete kwantum-RT) is nu bewezen via P-2d. Sport 3 (volledige kwantum-RT met bulkcorrectie) vereist een continuümlimiet die nog niet uit OPT-primitieven is afgeleid.
Open randen mogelijk gemaakt door deze afsluiting
P-2 (Born-regel / Hilbertruimte) heeft nu zijn exacte ingangspunt: de bonddimensie \chi moet worden ingebed als een dimensie van een kwantum-Hilbertruimte. Zodra ADH-foutcorrectie de logische-qubitstructuur afdwingt, wordt de klassieke bond \chi = 2^{B_0/N} opgewaardeerd tot een kwantumbond met von Neumann-entropie, en wordt de discrete RT van T-3c de volledige kwantum-RT met bulkcorrectie S_{\text{bulk}}.
P-3 (Asymmetrische holografie): de reconstructie van de MERA-bulk en Fano’s ongelijkheid hebben nu een gedeeld formeel onderkomen. Fano’s ongelijkheid (preprint §3.10) begrenst het vermogen van de waarnemer om het substraat van binnenuit de render te reconstrueren — precies de onomkeerbaarheid van de MERA-afbeelding (rand \to bulk is de codec; inversie van bulk \to rand is onmogelijk voorbij de minimale snijdiepte \tau^*).
T-5 (Herleiding van constanten): de bonddimensie \chi = 2^{B_0/N} en de coarse-grainingfactor s leveren nieuwe beperkingen op voor de dimensieloze constanten. In het bijzonder moeten s = 2 en L = \log_s(B_0/B_L) consistent zijn met de identificatie op Planck-schaal l_{\text{codec}} = l_P uit T-2, wat de verhouding B_0/B_L beperkt.
§8.3 preprint-item 3 (MERA/causal set): het formeel in kaart brengen van de MERA-randlagen van de Voorspellende Vertakkingsverzameling op het causal-set-kader om metrische eigenschappen van de waargenomen ruimtetijd zuiver uit codec-sequencing af te leiden. De codeafstand-metriek g_{ij}^{\text{bulk}} uit §7 is het uitgangspunt.
Deze appendix wordt onderhouden als onderdeel van de OPT-projectrepository naast theoretical_roadmap.pdf. Referenties: Vidal (2008) [43], Pastawski et al. (2015) [44], Almheiri-Dong-Harlow (2015) [42], Tishby et al. (1999) [28], Ryu-Takayanagi (2006).