Teorin om den ordnade patchen (OPT)

Ursprunglig uppgift T-3: MERA-tensornätverk och kausalkonen Problem: OPT föreslår en Informationell kausalkon uppbyggd av sekventiell kompression, men förlitar sig på en skräddarsydd geometrisk beskrivning snarare än standardiserade kvanttensorformalism­er. Leverabel: Formell avbildning av OPT:s Informationella kausalkon till MERA-tensornätverkets struktur.

Avslutsstatus: VILLKORLIG ISOMORFISM (strukturell homomorfism bekräftad; strikt fysisk isomorfism villkorligt uppgraderad via P-2). Detta appendix levererar den efterfrågade strukturella avbildning som krävs av T-3. Tre satser etablerar en stark topologisk analogi: (T-3a) OPT:s Stabilitetsfilters iterativa coarse-graining är strukturellt homomorf till ett MERA-tensornätverk; (T-3b) den Informationella kausalkonen i §3.3 motsvarar MERA:s kausalkon i storleksordning; och (T-3c) Prediktiv Grenmängd avbildas strukturellt till de icke-renormaliserade randfrihetsgraderna. Att matematiskt upphöja denna rent stokastiska strukturella homomorfism till de strikta Hilbertrumsisometrier som krävs för en verklig diskret Ryu-Takayanagi-gräns förblev ursprungligen öppet, men är nu villkorligt löst via den explicita inbäddningen i beräkningsbasen och bryggpostulaten för Isometriidentifiering som etablerats sekventiellt i problem P-2.

§1. Komprimeringsstrukturen i flera lager

Preprintens §3.3 definierar OPT-observatören genom en enda flaskhalsoptimering (ekv. 4): ett komprimerat tillstånd Z_t \in \{1, \ldots, 2^B\} väljs ur det fullständiga gränstillståndet X_t för att maximera prediktiv information vid minimal beskrivningslängd. Vad §3.3 inte uttryckligen klargör är att vägen från X_{\partial A} till Z_t naturligt kan delas upp i en kaskad av komprimeringslager — där vart och ett förkastar kortdistanskorrelationer som är irrelevanta för prediktion på nästa skala. Denna hierarkiska struktur utgör OPT-sidan av MERA-korrespondensen.

1.1 Flaskhalskaskaden med L lager

Låt s \geq 2 vara en fixerad grovkornighetsfaktor och L det totala antalet komprimeringslager. Definiera kaskaden:

Z_t^{(0)} := X_{\partial_R A} \qquad \text{(lager 0: fullständig Markovgräns, } H = B_0 \text{ bitar)}

Vid varje efterföljande lager \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{under villkoret att: } I\!\left(Z_t^{(\tau)} \,;\, Z_t^{(\tau+1)}\right) \leq B_\tau, \qquad B_\tau = B_0 \cdot s^{-\tau}

Det slutliga tillståndet är Z_t := Z_t^{(L)}, med B_L = B_0 \cdot s^{-L} bitar. Kaskaden definierar en Markovkedja:

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

Enligt databehandlingsolikheten är den prediktiva informationen monotont icke-tilltagande:

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

Varje lager förlorar en kontrollerad mängd prediktiv information — styrd av distorsionsbudgeten D_\tau för det lagrets flaskhals.

1.2 Dekomposition till Disentangle-then-Coarsen

Varje lagerövergång Z^{(\tau)} \to Z^{(\tau+1)} dekomponeras i två kanoniska steg:

• Disentanglement: Tillämpa en lokal reversibel omarrangering modellerad som en permutationsavbildning U_\tau \in S_{|\mathcal{Z}|} på Z^{(\tau)} som för ömsesidigt irrelevanta grenar i den Prediktiva Grenmängden — grenar som inte delar någon prediktiv information om framtiden — till intilliggande positioner. Detta klassiska steg är reversibelt; ingen information går förlorad.

• Grovkornighet (flaskhalsavbildning): Partitionera tillstånden i grupper om s och tillämpa den klassiska stokastiska flaskhalskompressionsavbildningen W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) på varje grupp. Bindningsdimensionen hålls fixerad som \chi = 2^{B_0/N}, där N är antalet randplatser. För att formellt fungera som en exakt diskret tensordimension i Hilbertrummet snarare än som en effektiv kontinuerlig skala kräver ramverket strikt det diofantiska villkoret 2^{B_0/N} \in \mathbb{Z}^+. Detta säkerställer uttryckligen att den exakta heltalsdimensionen \chi ger en entropi per plats \log \chi = B_0/N som geometriskt är förenlig med kapacitetsschemat B_\tau = B_0 \cdot s^{-\tau}. Obs: De kvantmålstrukturer som används i §2 är MERA-isometrin w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s} (vars adjungat w_\tau^\dagger implementerar grovkornighet) och disentanglern u_\tau. Avbildningarna i §1, W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) och U_\tau \in S_{|\mathcal{Z}|}, är de klassiska OPT-objekten. Inbäddningen som förbinder dem etableras i Appendix P-2.

Sammansättningen W_\tau \circ U_\tau vid varje lager, staplad för \tau = 0, \ldots, L-1, utgör det fullständiga tensornätverket. Vi visar nu att detta är precis MERA.

§2. MERA — formella definitioner

Vi anger de relevanta definitionerna från Vidal (2008) [43] i en form anpassad till OPT-kartläggningen.

2.1 Tensorer

En MERA för en 1D-kedja av N randställen med lokalt Hilbertrum \mathbb{C}^\chi består av L lager. Varje lager \tau innehåller två klasser av tensorer:

• Disentanglers u_\tau: unitära tensorer u_\tau: (\mathbb{C}^\chi)^{\otimes 2} \to (\mathbb{C}^\chi)^{\otimes 2} som verkar på intilliggande par av ställen. De avlägsnar kortdistanssammanflätning utan att ändra den totala dimensionen hos Hilbertrummet. Unitaritet: u^\dagger u = u u^\dagger = I.

• Isometrier w_\tau: tensorer w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s} som uppfyller w_\tau^\dagger w_\tau = I_{\mathbb{C}^\chi} (isometrisk: avbildningen är en injektion från det grovkorniga rummet till det finkorniga rummet). Den adjungerade avbildningen w_\tau^\dagger: (\mathbb{C}^\chi)^{\otimes s} \to \mathbb{C}^\chi implementerar grovkornigheten genom att avbilda s finkorniga ställen till 1 grovt ställe.

Den fullständiga MERA:n avbildar topptillståndet |\psi_{\text{top}}\rangle \in \mathbb{C}^\chi (bulken) till randtillståndet |\psi_{\text{boundary}}\rangle \in (\mathbb{C}^\chi)^{\otimes N} genom att applicera lagren från bulk till rand, där varje lager expanderar tillståndsrummet med en faktor s.

2.2 MERA:s kausalkon

Den kausala konen \mathcal{C}(x) för en randplats x \in \{1, \ldots, N\} är den minimala mängd tensorer i nätverket vars värden kan påverka den reducerade densitetsmatrisen \rho_x för plats x. Den beräknas nedifrån och upp (från bulk mot rand).

Vid bulklagret (djup \tau = L från randen): \mathcal{C}(x) innehåller den enda övre tensorn. I varje efterföljande lager på väg mot randen expanderar den kausala konen med faktor s i varje isometrilager och med högst 2 i varje disentanglerlager. Bredden hos \mathcal{C}(x) vid randdjup \tau från toppen är:

w(\tau) = \mathcal{O}(s^\tau) \qquad \text{[växer exponentiellt från bulk mot rand]}

För den kritiska MERA:n (s = 2) växer den kausala konens bredd som 2^\tau vid djup \tau, och når efter L lager hela randbredden N = s^L.

2.3 Sammanflätningsentropi och det minimala snittet

För en sammanhängande gränsregion A med längd |A| = l begränsas sammanflätningsentropin S(A) i ett MERA-tillstånd av antalet bindningar som skärs av den minimala ytan \gamma_A genom tensornätverkets bulk:

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

där |\gamma_A| är antalet bindningar i det minimala snittet och \chi är bindningsdimensionen. För en skalinvariant MERA gäller att |\gamma_A| \sim \frac{c}{3} \log l, vilket återger CFT:s sammanflätningsentropi S(A) \sim \frac{c}{3} \log l med c/3 = \log \chi. Detta är den diskreta analogin till Ryu-Takayanagi-formeln i AdS/CFT.

§3. Sats T-3a — Strukturell homomorfism

Sats T-3a (MERA–OPT-homomorfism). OPT:s informationsflaskhalskaskad med L lager \{Z_t^{(\tau)},\, \tau = 0, \ldots, L\}, med randtillstånd Z_t^{(0)} = X_{\partial_R A}, bulktillstånd Z_t^{(L)} = Z_t, lagerkapacitet B_\tau = B_0 \cdot s^{-\tau} och bindningsdimension \chi = 2^{B_0/N}, är strukturellt homomorf till lagertopologin hos en MERA med L lager, skalfaktor s och bindningsdimension \chi, under den formella klassiska avbildningen: - (i) OPT-grovkornighet W_\tau \;\leftrightarrow\; MERA-isometrins adjungerade operator w_\tau^\dagger - (ii) OPT-disentangler U_\tau \;\leftrightarrow\; MERA-disentangler u_\tau

3.1 Bevis — Identifiering av isometri

OPT:s grovkorniga tensor på lager \tau beräknas via den betingade fördelningen q^*(z^{(\tau+1)} \mid z^{(\tau)}) som produceras av flaskhalsoptimeringen. Även om den övergripande informationsbudgeten upprätthåller ett genomsnittligt makroskopiskt kapacitetsförhållande på B_\tau / B_{\tau+1} = s, tvingar den klassiska stokastiska flaskhalsen inte i sig fram en exakt uniform fiberkardinalitet (en strikt diskret urbild med storlek exakt motsvarande s för varje utdata z^{(\tau+1)}). Att formalisera detta explicita steg begränsar därför arkitekturen till den idealiserade gränsen för tät avbildning (D \to 0), under det villkorade antagandet att parametrarna perfekt isolerar uniforma informationsstrukturer.

q^* representerar emellertid en klassisk stokastisk sannolikhetsmatris, inte en komplex kvantunitär matris. Att hävda det sanna Hilbertrummets isometrivillkor (W_\tau W_\tau^\dagger = I_{\mathbb{C}^\chi}) skulle utgöra ett kategorimisstag. En verklig partiell isometri kräver en explicit inbäddning av dessa diskreta tillstånd i en beräkningsbas på \mathbb{C}^\chi. Appendix P-2 (Villkorad kvantkorrespondens) etablerar denna inbäddning: Sats P-2.0 ger identifieringen av beräkningsbasen, och Sats P-2c bevisar att den optimala flaskhalsavbildningen i den täta gränsen verkar som en partiell isometri inom det av QECC skyddade delrummet. Villkorat på den lokala brusmodellen i P-2 uppgraderas den strukturella homomorfismen till en genuin tensornätsisomorfism inom kodrummet. \blacksquare

3.2 Bevis — Identifiering av disentanglern

Den rent klassiska disentanglern U_\tau fastställs som en lokal bijektion (en permutation av tillståndsalfabetet från den symmetriska gruppen S_{|\mathcal{Z}|}) som omarrangerar Z^{(\tau)} för att minimera redundanser mellan grupper (ekvivalent: ömsesidig information) innan de grovkornas.

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)

Detta motsvarar det strukturella målet för MERA-disentanglern: att avlägsna kortdistanssammanflätning (korrelationer mellan intilliggande grupper) före grovkornning. Verklig komplex unitaritet (U^\dagger U = I) fastställs genom sats P-2.0 (Appendix P-2): under inbäddningen i beräkningsbasen lyfts permutation U_\tau \in S_{|\mathcal{Z}|} entydigt till en unitär matris i U(\mathbb{C}^\chi) via permutationsrepresentationen.

Förbehåll (Permutation vs. allmän unitär operator). Sats P-2.0 lyfter OPT:s disentanglers till permutationsundergruppen av U(\mathbb{C}^\chi), inte till hela den unitära gruppen. Standarddisentanglers i MERA är allmänna unitära operatorer u_\tau \in U(\mathbb{C}^\chi \otimes \mathbb{C}^\chi); permutationsundergruppen är en strikt delmängd (|S_\chi| = \chi! jämfört med \dim U(\chi) = \chi^2 kontinuerliga parametrar). Den isomorfi som fastställs av P-2.0+P-2c gäller därför permutations-MERA — en begränsad underklass. En utvidgning till full MERA skulle kräva identifiering av en OPT-intern mekanism som genererar allmänna unitära operatorer snarare än permutationer. Detta gap påverkar inte RT-entropigränsen (P-2d), som endast beror på isometrivillkoret P-2c, inte på disentanglerklassen. \blacksquare

MERA–OPT-isomorfismordbok

§4. Sats T-3b — Kausalkonens identitet

Sats T-3b (Kausalkonkorrespondens). Under homomorfismen i T-3a motsvarar den informationella kausalkonen i OPT (preprint §3.3) strukturellt (i storleksordningsskalning) MERA:s kausalkon. Den nuvarande aperturen Z_t avbildas på den övre bulktensorn; det fastställda Kausala protokollet \mathcal{R}_t motsvarar de förflutna bulktillstånden; den Prediktiva Grenmängden \mathcal{F}_h(z_t) motsvarar de icke-renormaliserade frihetsgraderna vid MERA-randen, h lager från nuet.

4.1 Korrespondensens riktning

Det finns en orienteringssubtilitet som måste anges exakt. I MERA löper nätverket från rand (UV, finkornig) till bulk (IR, grovkornig). I OPT löper den Informationella kausalkonen från det förflutna (fastlagt, komprimerat) genom den nuvarande aperturen till framtiden (Prediktiv Grenmängd, oupplöst). Korrespondensen är:

4.2 Bevis — Kausalkonens bredd = den Prediktiva Grenmängdens kapacitet

I MERA expanderar kausalkonen för bulktillståndet Z_t (på djup L från randen) när den rör sig mot randen: på djup \tau lager från toppen har konen bredden s^\tau. Detta räknar antalet randpunkter som oberoende kan påverka Z_t.

I OPT innehåller den Prediktiva Grenmängden \mathcal{F}_h(z_t) på djup h tidssteg från den nuvarande aperturen högst 2^{B \cdot h} särskiljbara framtida tillstånd (preprint ekv. 5: \log|\mathcal{F}_h| \leq Bh). MERA-lagerdjup motsvarar \tau = h. Vi observerar en exponentiell kontra linjär diskrepans i begränsningarna (s^\tau \cdot B/L bitar i MERA via skalexpansion kontra B \tau i den Prediktiva Grenmängden via kronologisk ackretion). Kausalkonens bredd och kapaciteten hos OPT:s Prediktiva Grenmängd överensstämmer robust i storleksordning, men uppnår strikt exakt överensstämmelse endast i gränsfallet med en enlagerskodek (L=1). Vidare innebär en identifiering av MERA:s passiva topologi med den handlingsberoende Prediktiva Grenmängden att vi uteslutande verkar inom gränsfallet för den passiva observatören (a \equiv \text{const}). \blacksquare

4.3 Bevis — Kausalt protokoll = tidigare bulk

Det fastställda kausala protokollet \mathcal{R}_t = (Z_0, Z_1, \ldots, Z_t) (preprint §3.3) består av alla tidigare komprimerade tillstånd — de bulktillstånd som redan har renderats till det fastställda förflutna. I MERA motsvarar dessa sekvensen av tidigare bulktillstånd som är sammanlänkade genom kodekens temporala dynamik K_\theta (preprint ekv. 6). Den fastställda karaktären med låg entropi hos \mathcal{R}_t motsvarar det faktum att bulktillstånd i MERA har låg sammanflätningsentropi per konstruktion — de är det grovkorniga resultatet av disentanglingsproceduren. \blacksquare

§5. Sats T-3c — Den Prediktiva Grenmängden som gräns-UV och den diskreta Ryu-Takayanagi-formeln

Sats T-3c (Prediktiv Grenmängd = gräns-UV; diskret RT).

1. Den Prediktiva Grenmängden \mathcal{F}_h(z_t) avbildas probabilistiskt till mängden icke-renormaliserade frihetsgrader vid MERA-randen — gräns-UV-lagret i den MERA som tillämpas på kodeken vid tidssteget t + h.

2. Klassisk databehandlingsgräns (bulk-cut-gräns): Den prediktiva skärningsentropin, korrekt utvärderad vid lagret för den interna minimala bulk-skärningen, uppfyller explicit: S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \log \chi

3. Diskret kvantmekanisk RT-utvidgning (villkorad på P-2d-inbäddning):

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

där \gamma_A är ytan för minimal skärning i MERA-bulken och \chi = 2^{B_0/N} är bindningsdimensionen. Denna gräns gäller villkorat på P-2d-isometrin; den reduceras till den klassiska bulk-cut-gränsen i del (b) när den kvantmekaniska strukturen inte är tillgänglig.

5.1 Bevis — Prediktiv Grenmängd som gräns-UV

MERA:s gräns-UV-lager vid tiden t+h består av alla möjliga indatatillstånd X_{\partial_R A}^{(t+h)} — de finkorniga, ännu inte grovkornigt sammanfattade gränstillstånden som kommer att bearbetas av kodeken under de kommande h tidsstegen. Givet kaskadstrukturen är dessa exakt de tillstånd som kan nås från den nuvarande aperturen Z_t = Z_t^{(L)} genom att köra MERA baklänges (från bulk mot gräns) i h lager — det vill säga genom att expandera kausalkonen för Z_t i h steg.

Den Prediktiva Grenmängden \mathcal{F}_h(z_t) definieras i preprinten (§3.3) som:

\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\}

Dessa är precis de sekvenser av bulktillstånd som kan nås från Z_t inom h MERA-lager genom att låta kaskaden verka probabilistiskt i den expanderade riktningen. Identifikationen kräver att MERA utvärderas i båda riktningarna — gräns \to bulk (tidigare kompression) och bulk \to gräns (framtida expansion). Den Prediktiva Grenmängden motsvarar explicit den andra riktningen, vilken är det exakta stödmängden för kausalkonens expansion av bulktillståndet mot gräns-UV, under den tidsreverseringsidentifikation som korrekt anges i §4.1. \blacksquare

5.2 Bevis — Diskret mappad Ryu-Takayanagi-gräns

Låt A och \bar{A} = V \setminus A vara en bipartition av randen. Låt \tau^* vara det minimala lager där A/\bar{A}-gränsytan exakt skärs av i tensornätverket (lagret för det minimala snittet). I detta lager är den lokala kapaciteten hos flaskhalsen för ömsesidig information strikt begränsad av kapaciteten hos de avskurna bindningarna:

S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \cdot \log \chi \qquad (\text{Bulkgräns mellan grupper})

Även om detta framgångsrikt exakt etablerar den diskreta Ryu-Takayanagi-kapacitetsgränsen vid lagret för det minimala bulksnittet, kan man formellt inte föra denna gräns uppåt för att begränsa den prediktiva snittentropin vid den yttre randen S_{\text{cut}}(A) = S_{\text{cut}}^{(0)}(A) med hjälp av Data Processing Inequality, DPI (eftersom DPI kräver att entropin måste minska monotont, inte öka, när vi komprimerar nedåt: S_{\text{cut}}^{(0)} \geq S_{\text{cut}}^{(\tau^*)}).

Den korrekta vägen till den fullständiga diskreta RT-gränsen vid randen (S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi) kräver att man begränsar Schmidt-rangen över bipartitionen — en strategi som kräver att nätverket behandlas som om det konstruerar randtillståndet via verkliga linjära isometrier. Detta fastställs nu i Appendix P-2: Sats P-2d bevisar den diskreta kvantmekaniska Ryu-Takayanagi-formeln via Schmidtdekompositionen av MERA-tillståndet över det minimala snittet, under villkor att isometrivillkoret i P-2c gäller. \blacksquare (under förutsättning av P-2d-isometri).

§6. Den epistemiska stegen — från klassisk till kvantmekanisk RT

De tre satserna ovan etablerar MERA-strukturen på den klassiska informationsteoretiska nivån. Den epistemiska stegen i §3.4 i preprinten beskriver de villkor under vilka varje stegpinne kan bestigas.

Den kvantmekaniska RT-formeln kräver att den klassiska entropin för det prediktiva snittet I(X_A;\, X_{V \setminus A}) ersätts med von Neumann-entanglemententropin S_{\text{vN}}(\rho_A) för en densitetsmatris \rho_A. Detta förutsätter en Hilbertrumsstruktur för tillståndsrummet hos Z_t. Härledningen av denna struktur — via ADH-argumentet för kvantfelkorrigering (preprint P-2) — återstår som nästa formella steg. När P-2 väl är sluten blir bindningsdimensionen \chi = 2^{B_0/N} en kvantmekanisk bindningsdimension, och den klassiska ömsesidiga informationen i beviset för T-3c ersätts av kvantömsesidig information, vilket återvinner den fullständiga kvantmekaniska RT-formeln med bulk-korrektionstermen S_{\text{bulk}}.

§7. Emergent bulkgeometri från kodavstånd

MERA:s bulkgeometri är inte en redan existerande behållare. Under isomorfismen i T-3a är den kodekens informationella metriska rum: geometrin hos kompressionsavstånd.

7.1 Kodavstånd som bulkmetrik

Definiera det diskreta heltalsvärda kodavståndet d(z^{(\tau)}, z'^{(\tau)}) mellan två tillstånd på lager \tau i kaskaden som det minsta antalet disentangler-byten som krävs för att förbinda dem inom tensornätverket.

Under en lämplig termodynamisk eller kontinuerlig gräns (N \to \infty, a \to 0) kan man approximera bulkmetriken g_{ij}^{\text{bulk}}(\tau) vid den kontinuerliga rumsliga lagerskalan \tau som:

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}

Detta är en strukturell förväntan, villkorad av kaskadens skalinvarians och antagandet att Permutation MERA kan kontinuerligt approximeras av en allmän MERA i kontinuitetsgränsen — i linje med de kända resultaten hos Swingle (2012) och Nozaki-Ryu-Takayanagi (2012), men inte garanterat för en diskret kaskad med ändligt många lager. Under dessa antaganden om kontinuitetsgränsen förväntar vi oss därför att rumtidens geometri skulle krökas precis där kodavståndet divergerar — dvs. där den krävda prediktiva takten R_\text{req} närmar sig C_\text{max}, i strategisk överensstämmelse med T-2:s identifiering av rate-distortion-överflöde.

7.2 Koppling till T-2

T-2 fastställde att gravitationell krökning G_{\mu\nu} är den metriska derivatan av renderingentropin S_{\text{render}}. MERA-strukturen specificerar nu det mikroskopiska ursprunget till S_{\text{render}}: det är minimal-snitt-entropin |\gamma_A| \log \chi, och Einsteintensorn G_{\mu\nu} är denna snittentropis respons på metriska perturbationer i bulkgeometrin som induceras av kodavstånd. De två appendixerna är därför konsistenta: T-2 ger de makroskopiska fältekvationerna; T-3 ger det mikroskopiska tensor-nätverksursprunget till det entropifunktional som de extremiserar.

§8. Sammanfattning av avslutning och öppna kanter

T-3-leverabler — delvis lösta → villkorligt uppgraderade (med P-2)

1. T-3a (MERA-isomorfism). OPT:s flaskhalskaskad med L lager är strukturellt homomorf med en MERA med lagerfaktor s och djup L. Med appendix P-2 (satserna P-2.0 och P-2c) uppgraderas detta till en tensor-nätverksisomorfism inom det QECC-skyddade delrummet, villkorat av lokalt brus. Obs.: Isomorfismen gäller permutations-MERA (disentanglers i permutationsundergruppen av U(\mathbb{C}^\chi)), inte allmän MERA med godtyckliga unitära disentanglers. Denna begränsning påverkar inte RT-gränsen (P-2d) men inskränker korrespondensen till en underklass av MERA-nätverk.

2. T-3b (korrespondens för kausalkon). Den Informationella kausalkonen skalar med storleksordningssymmetri till MERA:s kausalkonstruktur inom gränsen för passiv observatör, även om djup-profilerna skiljer sig åt. Den Prediktiva Grenmängden motsvarar icke-renormaliserade randdata. (P-2:s isometriresultat gäller inom gränsen för passiv observatör; de handlingsberoende termerna a_{t:t+h-1} i definitionen av den Prediktiva Grenmängden kräver en utvidgning till öppna system som inte behandlas i P-2.)

3. T-3c (diskret kvant-RT). Det ursprungliga DPI-baserade beviset begränsade bulken men inte randentropin. Med isometrin från P-2c fastställer sats P-2d den fullständiga randgränsen S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi via Schmidt-rangen hos MERA-tillståndet.

4. Emergent bulkgeometri. MERA-bulkmetriken g_{ij}^{\text{bulk}} induceras från kodavstånd i kaskaden. Rumtiden kröker sig där kodavståndet divergerar, i överensstämmelse med T-2:s identifiering av G_{\mu\nu} som den metriska derivatan av rendering-entropi. (Kontinuumgräns behövs fortfarande.)

5. Status för den epistemiska stegen. Steg 2 (diskret kvant-RT) är nu bevisat via P-2d. Steg 3 (full kvant-RT med bulkkorrektion) kräver en kontinuumgräns som ännu inte har härletts ur OPT:s primitiver.

Öppna kanter som möjliggörs av denna avslutning

• P-2 (Borns regel / Hilbertrum) har nu sin exakta ingångspunkt: bindningsdimensionen \chi måste bäddas in som en kvantmekanisk Hilbertrumsdimension. När ADH-felkorrigering framtvingar den logiska qubit-strukturen uppgraderas den klassiska bindningen \chi = 2^{B_0/N} till en kvantbindning med von Neumann-entropi, och den diskreta RT i T-3c blir den fullständiga kvant-RT med bulkkorrektionen S_{\text{bulk}}.

• P-3 (asymmetrisk holografi): MERA-bulkrekonstruktionen och Fanos olikhet har nu ett gemensamt formellt hem. Fanos olikhet (preprint §3.10) begränsar observatörens förmåga att rekonstruera substratet inifrån rendering — precis irreversibiliteten hos MERA-avbildningen (rand \to bulk är kodeken; inversion bulk \to rand är omöjlig bortom djupet för det minimala snittet \tau^*).

• T-5 (återvinning av konstanter): bindningsdimensionen \chi = 2^{B_0/N} och grovkornighetsfaktorn s ger nya restriktioner på de dimensionslösa konstanterna. Särskilt måste s = 2 och L = \log_s(B_0/B_L) vara förenliga med identifikationen på Planckskala l_{\text{codec}} = l_P från T-2, vilket begränsar kvoten B_0/B_L.

• §8.3 preprintpunkt 3 (MERA/kausalmängd): att formellt avbilda den Prediktiva Grenmängdens MERA-randskikt till ramverket för kausalmängder för att extrahera metriska egenskaper hos upplevd rumtid enbart ur kodeksekvensering. Kodavståndsmetriken g_{ij}^{\text{bulk}} i §7 är utgångspunkten.

Detta appendix underhålls som en del av OPT-projektets repository tillsammans med theoretical_roadmap.pdf. Referenser: Vidal (2008) [43], Pastawski et al. (2015) [44], Almheiri-Dong-Harlow (2015) [42], Tishby et al. (1999) [28], Ryu-Takayanagi (2006).