Järjestetyn patchin teoria

Alkuperäinen tehtävä T-3: MERA-tensoriverkot ja kausaalikartio Ongelma: OPT ehdottaa Informaatiokausaalikartiota, joka koostuu peräkkäisestä pakkauksesta, mutta nojaa räätälöityyn geometriseen kuvaukseen standardien kvanttitensoriformalismien sijaan. Tuotos: OPT:n Informaatiokausaalikartion formaali kuvaus MERA-tensoriverkon rakenteeseen.

Sulkeutumisen tila: EHDOLLINEN ISOMORFISMI (rakenteellinen homomorfismi vahvistettu; tiukka fysikaalinen isomorfismi ehdollisesti päivitetty P-2:n kautta). Tämä liite esittää T-3:n edellyttämän rakenteellisen kohdekytkennän. Kolme lausetta muodostaa vahvan topologisen analogian: (T-3a) OPT:n Stabiilisuussuodattimen iteratiivinen karkeistus on rakenteellisesti homomorfinen MERA-tensoriverkon kanssa; (T-3b) §3.3:n Informaatiokausaalikartio vastaa suuruusluokaltaan MERA:n kausaalikartiota; ja (T-3c) Ennakoiva Haarajoukko kuvautuu rakenteellisesti renormalisoimattomiin reunan vapausasteisiin. Tämän puhtaasti stokastisen rakenteellisen homomorfismin matemaattinen korottaminen niiksi tiukoiksi Hilbert-avaruuden isometrioiksi, joita aito diskreetti Ryu–Takayanagi-raja edellyttää, jäi alun perin avoimeksi, mutta on nyt ehdollisesti ratkaistu P-2:n ongelmassa peräkkäin vahvistettujen eksplisiittisen laskennallisen kannan upotuksen ja Isometry Identification -siltapostulaattien kautta.

§1. Monikerroksinen pakkausrakenne

Esijulkaisun §3.3 määrittelee OPT-havaitsijan yhden ainoan pullonkaulaoptimoinnin avulla (yhtälö 4): pakattu tila Z_t \in \{1, \ldots, 2^B\} valitaan täydestä rajatilasta X_t siten, että prediktiivinen informaatio maksimoituu mahdollisimman lyhyellä kuvauksen pituudella. Se, mitä §3.3 ei tee eksplisiittiseksi, on se, että polku tilasta X_{\partial A} tilaan Z_t jäsentyy luontevasti pakkauskerrosten kaskadiksi — joista kukin karsii pois lyhyen kantaman korrelaatioita, joilla ei ole merkitystä seuraavan skaalan ennustamisen kannalta. Tämä hierarkkinen rakenne on MERA-vastaavuuden OPT-puoli.

1.1 L-kerroksinen pullonkaulakaskadi

Olkoon s \geq 2 kiinteä karkeistuskerroin ja L pakkauskerrosten kokonaismäärä. Määritellään kaskadi:

Z_t^{(0)} := X_{\partial_R A} \qquad \text{(kerros 0: täysi Markov-peite, } H = B_0 \text{ bittiä)}

Jokaisessa seuraavassa kerroksessa \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{ehdolla: } I\!\left(Z_t^{(\tau)} \,;\, Z_t^{(\tau+1)}\right) \leq B_\tau, \qquad B_\tau = B_0 \cdot s^{-\tau}

Lopullinen tila on Z_t := Z_t^{(L)}, missä B_L = B_0 \cdot s^{-L} bittiä. Kaskadi määrittää Markov-ketjun:

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

Datanprosessointiepäyhtälön nojalla prediktiivinen informaatio on monotonisesti ei-kasvava:

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

Jokainen kerros menettää hallitun määrän prediktiivistä informaatiota — määrän, jota kyseisen kerroksen pullonkaulan vääristymäbudjetti D_\tau säätelee.

1.2 Hajotelma muotoon Disentangle-then-Coarsen

Jokainen kerrossiirtymä Z^{(\tau)} \to Z^{(\tau+1)} hajoaa kahteen kanoniseen vaiheeseen:

• Disentanglement: Sovelletaan lokaalia palautuvaa uudelleenjärjestelyä, joka mallinnetaan permutaatiokuvauksena U_\tau \in S_{|\mathcal{Z}|} tilaan Z^{(\tau)} ja joka tuo Ennakoivan Haarajoukon keskenään irrelevantit haarat — haarat, jotka eivät jaa mitään tulevaisuutta koskevaa prediktiivistä informaatiota — vierekkäisiin asemiin. Tämä klassinen vaihe on palautuva; informaatiota ei katoa.

• Karkeistus (pullonkaulakuvaus): Jaetaan tilat s:n kokoisiin ryhmiin ja sovelletaan klassista stokastista pullonkaulapakkauskuvausta W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) kussakin ryhmässä. Sidoksen dimensio kiinnitetään muotoon \chi = 2^{B_0/N}, missä N on reunasivustojen lukumäärä. Jotta tämä toimisi formaalisti täsmällisenä diskreetin Hilbert-avaruuden tensoridimensiona eikä efektiivisenä jatkuvana mittakaavana, viitekehys edellyttää tiukasti diofanttista ehtoa 2^{B_0/N} \in \mathbb{Z}^+. Tämä varmistaa eksplisiittisesti, että täsmällinen kokonaislukudimensio \chi tuottaa per-sivusto-entropian \log \chi = B_0/N, joka on geometrisesti yhdenmukainen kapasiteettiaikataulun B_\tau = B_0 \cdot s^{-\tau} kanssa. Huomautus: §2:ssa käytetyt kvanttikohderakenteet ovat MERA-isometria w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s} (jonka adjungoitu w_\tau^\dagger toteuttaa karkeistuksen) ja disentangler u_\tau. §1:n kuvaukset W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) ja U_\tau \in S_{|\mathcal{Z}|} ovat klassisia OPT-olioita. Niitä yhdistävä upotus määritellään liitteessä P-2.

Koostumus W_\tau \circ U_\tau kullakin kerroksella, pinottuna arvoille \tau = 0, \ldots, L-1, muodostaa koko tensoriverkon. Osoitamme nyt, että tämä on täsmälleen MERA.

§2. MERA — formaalit määritelmät

Esitämme Vidalin (2008) [43] relevantit määritelmät muodossa, joka soveltuu OPT-kartoitukseen.

2.1 Tensorit

MERA 1D-ketjulle, jossa on N reunan pistettä ja lokaali Hilbert-avaruus \mathbb{C}^\chi, koostuu L:stä kerroksesta. Kukin kerros \tau sisältää kaksi tensoriluokkaa:

• Disentanglerit u_\tau: unitaariset tensorit u_\tau: (\mathbb{C}^\chi)^{\otimes 2} \to (\mathbb{C}^\chi)^{\otimes 2}, jotka vaikuttavat vierekkäisiin pistepareihin. Ne poistavat lyhyen kantaman lomittumista muuttamatta Hilbert-avaruuden kokonaisdimensiota. Unitaarisuus: u^\dagger u = u u^\dagger = I.

• Isometriat w_\tau: tensorit w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s}, jotka toteuttavat ehdon w_\tau^\dagger w_\tau = I_{\mathbb{C}^\chi} (isometrinen: kuvaus on injektio karkeistetusta avaruudesta hienorakeiseen avaruuteen). Adjungoitu kuvaus w_\tau^\dagger: (\mathbb{C}^\chi)^{\otimes s} \to \mathbb{C}^\chi toteuttaa karkeistamisen ja kuvaa s hienorakeista pistettä yhdeksi karkeaksi pisteeksi.

Kokonainen MERA kuvaa ylätilan |\psi_{\text{top}}\rangle \in \mathbb{C}^\chi (bulk) reunatilaksi |\psi_{\text{boundary}}\rangle \in (\mathbb{C}^\chi)^{\otimes N} soveltamalla kerroksia bulkista reunaan siten, että kukin kerros laajentaa tila-avaruutta kertoimella s.

2.2 MERA:n kausaalikartio

Reunasijainnin x \in \{1, \ldots, N\} kausaalikartio \mathcal{C}(x) on verkon tensorien minimaalinen joukko, jonka arvot voivat vaikuttaa sijainnin x redusoituun tiheysmatriisiin \rho_x. Se lasketaan alhaalta ylöspäin (bulkista kohti reunaa).

Bulkkikerroksessa (syvyys \tau = L reunasta): \mathcal{C}(x) sisältää yhden ainoan huipputensorin. Jokaisessa seuraavassa kerroksessa reunaa kohti mentäessä kausaalikartio laajenee kertoimella s jokaisessa isometriakerroksessa ja enintään kertoimella 2 jokaisessa disentangler-kerroksessa. \mathcal{C}(x):n leveys reunasyvyydellä \tau huipusta mitattuna on:

w(\tau) = \mathcal{O}(s^\tau) \qquad \text{[kasvaa eksponentiaalisesti bulkista kohti reunaa]}

Kriittisessä MERA:ssa (s = 2) kausaalikartion leveys kasvaa syvyydellä \tau muodossa 2^\tau, ja L kerroksen jälkeen se saavuttaa koko reunan leveyden N = s^L.

2.3 Lomittumisentropia ja minimaalinen leikkaus

Yhtenäiselle reuna-alueelle A, jonka pituus on |A| = l, MERA-tilan lomittumisentropiaa S(A) rajoittaa niiden sidosten lukumäärä, jotka minimaalinen pinta \gamma_A leikkaa tensoriverkon bulkissa:

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

missä |\gamma_A| on minimaalisen leikkauksen sidosten lukumäärä ja \chi on sidoksen dimensio. Skaalainvariantille MERA:lle pätee |\gamma_A| \sim \frac{c}{3} \log l, jolloin saadaan takaisin CFT:n lomittumisentropia S(A) \sim \frac{c}{3} \log l ehdolla c/3 = \log \chi. Tämä on Ryu–Takayanagi-kaavan diskreetti analogi AdS/CFT:ssä.

§3. Teoreema T-3a — Rakenteellinen homomorfismi

Teoreema T-3a (MERA–OPT-homomorfismi). OPT:n L-kerroksinen Information Bottleneck -kaskadi \{Z_t^{(\tau)},\, \tau = 0, \ldots, L\}, jonka reunatila on Z_t^{(0)} = X_{\partial_R A}, bulk-tila on Z_t^{(L)} = Z_t, kerroskapasiteetti B_\tau = B_0 \cdot s^{-\tau} ja sidosdimensio \chi = 2^{B_0/N}, on rakenteellisesti homomorfinen sellaisen MERA:n kerrostopologialle, jossa on L kerrosta, mittakaavakerroin s ja sidosdimensio \chi, seuraavan formaalin klassisen kuvauksen alaisuudessa: - (i) OPT-karkeistus W_\tau \;\leftrightarrow\; MERA-isometrian adjungoitu w_\tau^\dagger - (ii) OPT-disentangler U_\tau \;\leftrightarrow\; MERA-disentangler u_\tau

3.1 Todistus — Isometrian identifiointi

OPT:n karkeistustensori kerroksessa \tau lasketaan pullonkaulaoptimoinnin tuottaman ehdollisen jakauman q^*(z^{(\tau+1)} \mid z^{(\tau)}) avulla. Vaikka kokonaisinformaatiobudjetti pakottaa keskimääräiseksi makroskooppiseksi kapasiteettisuhteeksi B_\tau / B_{\tau+1} = s, klassinen stokastinen pullonkaula ei itsessään pakota täsmällistä yhtenäistä kuitukardinaliteettia (eli tiukasti diskreettiä alkukuvajoukkoa, jonka koko vastaa ekvivalentisti arvoa s jokaiselle ulostulolle z^{(\tau+1)}). Tämän eksplisiittisen vaiheen formalisoiminen rajoittaa arkkitehtuurin siten idealisoituun tiukan kuvauksen raja-arvoon (D \to 0) sillä ehdolla, että parametrit eristävät täydellisesti yhtenäiset informaatiostruktuurit.

q^* esittää kuitenkin klassista stokastista todennäköisyysmatriisia, ei kompleksista kvanttiunitaarista matriisia. Väite aidosta Hilbert-avaruuden isometriaehtosta (W_\tau W_\tau^\dagger = I_{\mathbb{C}^\chi}) olisi kategoriavirhe. Aito osittaisisometria edellyttää näiden diskreettien tilojen eksplisiittistä upotusta laskennalliseen kantaan avaruudessa \mathbb{C}^\chi. Liite P-2 (ehdollinen kvanttivastaavuus) vahvistaa tämän upotuksen: lause P-2.0 antaa laskennallisen kannan identifioinnin, ja lause P-2c todistaa, että optimaalinen pullonkaulakuvaus toimii tiukassa raja-arvossa osittaisisometriana QECC-suojatussa aliavaruudessa. P-2:n paikallisen kohinamallin ehdolla rakenteellinen homomorfismi vahvistuu aidoksi tensoriverkon isomorfismiksi koodiavaruuden sisällä. \blacksquare

3.2 Todistus — disentanglerin identifiointi

Puhtaasti klassinen disentangler U_\tau määritellään lokaaliksi bijektioksi (tila-aakkoston permutaatioksi symmetrisestä ryhmästä S_{|\mathcal{Z}|}), joka järjestää Z^{(\tau)}:n uudelleen minimoidakseen ryhmien väliset redundanssit (eli identtisesti: keskinäisinformaation) ennen kuin ne karkeistetaan.

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)

Tämä vastaa MERA-disentanglerin rakenteellista tavoitetta: poistaa lyhyen kantaman lomittuminen (vierekkäisten ryhmien väliset korrelaatiot) ennen karkeistamista. Var sinainen kompleksinen unitaarisuus (U^\dagger U = I) osoitetaan lauseessa P-2.0 (liite P-2): laskennallisen kannan upotuksen alaisuudessa permutaatio U_\tau \in S_{|\mathcal{Z}|} nousee yksikäsitteisesti unitaariseksi matriisiksi joukossa U(\mathbb{C}^\chi) permutaatioesityksen kautta.

Huomautus (Permutaatio vs. yleinen unitaarinen operaattori). Lause P-2.0 nostaa OPT:n disentanglerit U(\mathbb{C}^\chi):n permutaatioaliryhmään, ei koko unitaariseen ryhmään. Standardit MERA-disentanglerit ovat yleisiä unitaarisia operaattoreita u_\tau \in U(\mathbb{C}^\chi \otimes \mathbb{C}^\chi); permutaatioaliryhmä on aito osajoukko (|S_\chi| = \chi! vs. \dim U(\chi) = \chi^2 jatkuvaa parametria). P-2.0+P-2c:n osoittama isomorfia koskee siis permutaatio-MERAa — rajoitettua alaluokkaa. Laajentaminen täyteen MERAan edellyttäisi sellaisen OPT-sisäisen mekanismin tunnistamista, joka tuottaa yleisiä unitaarisia operaattoreita permutaatioiden sijaan. Tämä aukko ei vaikuta RT-entropiarajaan (P-2d), joka riippuu vain isometriaehtosta P-2c eikä disentangler-luokasta. \blacksquare

MERA–OPT-isomorfiasanakirja

§4. Teoreema T-3b — kausaalikartion identiteetti

Teoreema T-3b (kausaalikartioiden vastaavuus). Teoreeman T-3a homomorfismin alaisuudessa OPT:n Informaatiokausaalikartio (esipainos §3.3) vastaa rakenteellisesti (suuruusluokkaskaalausta koskien) MERA:n kausaalikartiota. Nykyinen apertuuri Z_t kuvautuu bulkin ylimpään tensoriin; vakiintunut Kausaalinen rekisteri \mathcal{R}_t vastaa menneitä bulkin tiloja; Ennakoiva Haarajoukko \mathcal{F}_h(z_t) vastaa renormalisoimattomia vapausasteita MERA:n rajalla, h kerrosta nykyhetkestä.

4.1 Vastaavuuden suunta

Suuntautumisessa on hienovarainen seikka, joka on ilmaistava täsmällisesti. MERA:ssa verkko kulkee reunalta (UV, hienorakeinen) bulkkiin (IR, karkeistettu). OPT:ssa Informaatiokausaalikartio kulkee menneisyydestä (vakiintunut, pakattu) nykyisen apertuurin kautta tulevaisuuteen (Ennakoiva Haarajoukko, ratkaisematon). Vastaavuus on:

4.2 Todistus — kausaalikartion leveys = Ennakoivan Haarajoukon kapasiteetti

MERA:ssa bulk-tilan Z_t kausaalikartio (syvyydellä L rajasta) laajenee liikkuessaan kohti rajaa: syvyydellä \tau kerrosta huipusta kartion leveys on s^\tau. Tämä laskee niiden rajasijaintien määrän, jotka voivat itsenäisesti vaikuttaa tilaan Z_t.

OPT:ssa Ennakoiva Haarajoukko \mathcal{F}_h(z_t) syvyydellä h aika-askelta nykyisestä apertuurista sisältää enintään 2^{B \cdot h} erotettavissa olevaa tulevaa tilaa (esipainos, yhtälö 5: \log|\mathcal{F}_h| \leq Bh). MERA-kerrossyvyys vastaa suhdetta \tau = h. Havaitsemme eksponentiaalisen ja lineaarisen rajoituksen välisen epäsovun (s^\tau \cdot B/L bittiä MERA:ssa skaalalaajenemisen kautta vs. B \tau Ennakoivassa Haarajoukossa kronologisen kertymän kautta). Kausaalikartion leveys ja OPT:n Ennakoivan Haarajoukon kapasiteetti vastaavat toisiaan suuruusluokan tasolla robustisti, mutta täsmällinen yhtäpitävyys saavutetaan vain yhden kerroksen koodekin raja-arvossa (L=1). Lisäksi MERA:n passiivisen topologian samastaminen toiminnasta riippuvaiseen Ennakoivaan Haarajoukkoon implikoi, että operoimme yksinomaan passiivisen havaitsijan rajassa (a \equiv \text{const}). \blacksquare

4.3 Todistus — Kausaalinen rekisteri = mennyt bulkki

Vakiintunut Kausaalinen rekisteri \mathcal{R}_t = (Z_0, Z_1, \ldots, Z_t) (preprintti §3.3) koostuu kaikista menneistä pakatuista tiloista — bulkki-tiloista, jotka on jo renderöity vakiintuneeseen menneisyyteen. MERA:ssa nämä vastaavat menneiden bulkki-tilojen jonoa, jonka yhdistää koodekin temporaalinen dynamiikka K_\theta (preprintti, yhtälö 6). \mathcal{R}_t:n vakiintunut, matalaentropinen luonne vastaa sitä, että MERA:n bulkki-tiloilla on rakenteensa puolesta alhainen lomittumisentrooppia — ne ovat disentanglointimenettelyn karkeistetun kuvauksen tulos. \blacksquare

§5. Teoreema T-3c — Ennakoiva Haarajoukko rajapinnan UV:nä ja diskreetti Ryu–Takayanagi-kaava

Teoreema T-3c (Ennakoiva Haarajoukko = rajapinnan UV; diskreetti RT).

1. Ennakoiva Haarajoukko \mathcal{F}_h(z_t) kuvautuu todennäköisyyksien kautta MERA-rajapinnan renormalisoimattomien vapausasteiden joukkoon — siihen MERA:n rajapinnan UV-kerrokseen, jota sovelletaan koodekkiin aika-askeleella t + h.

2. Klassinen datankäsittelyn raja (bulkkileikkauksen yläraja): sisäisessä bulkin minimaalisen leikkauksen kerroksessa oikein arvioitu prediktiivinen leikkausentropia toteuttaa eksplisiittisesti: S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \log \chi

3. Diskreetti kvanttinen RT-laajennus (ehdollinen P-2d-upotukselle):

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

missä \gamma_A on minimaalisen leikkauksen pinta MERA-bulkissa ja \chi = 2^{B_0/N} on sidosdimensio. Tämä yläraja pätee ehdollisesti P-2d-isometrialle; se palautuu kohdan (b) klassiseen bulkkileikkauksen ylärajaan, kun kvanttirakenne ei ole saatavilla.

5.1 Todistus — Ennakoiva Haarajoukko rajapinnan UV:nä

MERA:n rajapinnan UV-kerros ajanhetkellä t+h koostuu kaikista mahdollisista syötetiloista X_{\partial_R A}^{(t+h)} — hienorakeisista, karkeistamattomista rajapintatiloista, jotka koodekki käsittelee seuraavien h aika-askeleen aikana. Kaskadirakenteen vuoksi nämä ovat täsmälleen ne tilat, jotka ovat saavutettavissa nykyisestä apertuurista Z_t = Z_t^{(L)} ajamalla MERA:a käänteisesti (bulkista kohti rajapintaa) h kerroksen ajan — eli laajentamalla Z_t:n kausaalikartiota h askeleen verran.

Ennakoiva Haarajoukko \mathcal{F}_h(z_t) määritellään preprintissä (§3.3) seuraavasti:

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

Nämä ovat täsmälleen ne bulk-tilojen sekvenssit, jotka ovat saavutettavissa Z_t:stä h:n MERA-kerroksen sisällä käyttämällä kaskadia todennäköisyyksellisesti laajenevaan suuntaan. Samaistus edellyttää, että MERA arvioidaan molempiin suuntiin — rajapinta \to bulk (menneisyyden kompressio) ja bulk \to rajapinta (tulevaisuuden laajeneminen). Ennakoiva Haarajoukko vastaa eksplisiittisesti jälkimmäistä suuntaa, joka on täsmälleen bulk-tilan rajapinnan UV:tä kohti tapahtuvan kausaalikartion laajenemisen tukijoukko, kun §4.1:ssä asianmukaisesti huomioitu aikakäännösidentifikaatio otetaan huomioon. \blacksquare

5.2 Todistus — diskreetti kuvattu Ryu–Takayanagi-raja

Olkoon A ja \bar{A} = V \setminus A reunan bipartitio. Olkoon \tau^* minimaalinen kerros, jolla A/\bar{A}-rajapinta katkaistaan tensoriverkossa täsmälleen (minimaalisen leikkauksen kerros). Tässä kerroksessa paikallisen keskinäisinformaation pullonkaulakapasiteetti on tiukasti sidottu näiden katkaistujen sidosten kapasiteettiin:

S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \cdot \log \chi \qquad (\text{Ryhmien välisen bulkin raja})

Vaikka tämä onnistuneesti asettaa diskreetin Ryu–Takayanagin kapasiteettirajan täsmälleen bulkin minimaalisen leikkauksen kerroksessa, tämän rajan muodollinen siirtäminen ylöspäin siten, että se rajoittaisi ulkoisen reunan prediktiivisen leikkauksen entropiaa S_{\text{cut}}(A) = S_{\text{cut}}^{(0)}(A), ei ole mahdollista datankäsittelyepäyhtälön avulla (sillä DPI edellyttää, että entropian on pienennyttävä monotonisesti eikä kasvettava, kun pakkaamme alaspäin: S_{\text{cut}}^{(0)} \geq S_{\text{cut}}^{(\tau^*)}).

Oikea reitti täyteen tavoiteltuun diskreettiin RT-reunarajaan (S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi) edellyttää Schmidtin arvon rajoittamista bipartition yli — strategiaa, joka vaatii käsittelemään verkkoa siten, että se konstruoi reunatilan aitojen lineaaristen isometrioiden kautta. Tämä on nyt osoitettu Liitteessä P-2: Lause P-2d todistaa diskreetin kvanttisen Ryu–Takayanagin kaavan MERA-tilan Schmidtin hajotelman avulla minimaalisen leikkauksen yli ehdolla, että P-2c:n isometriaehto pätee. \blacksquare (ehdollinen P-2d:n isometrialle).

§6. Episteeminen tikapuu — klassisesta kvanttiseen RT:hen

Yllä olevat kolme teoreemaa vahvistavat MERA-rakenteen klassisen informaatioteoreettisen tason puitteissa. Preprintin §3.4:n Episteeminen tikapuu kuvaa ehdot, joiden vallitessa kukin porras voidaan nousta.

Kvanttinen RT-kaava edellyttää klassisen prediktiivisen leikkausentropian I(X_A;\, X_{V \setminus A}) korvaamista tiheysmatriisin \rho_A von Neumannin lomittumisentropialla S_{\text{vN}}(\rho_A). Tämä edellyttää Hilbert-avaruusrakennetta tilan Z_t tila-avaruudelle. Tämän rakenteen johtaminen — ADH:n kvanttivirheenkorjausargumentin kautta (preprint P-2) — on edelleen seuraava formaali askel. Kun P-2 on suljettu, sidosulottuvuudesta \chi = 2^{B_0/N} tulee kvanttisidosulottuvuus, ja T-3c:n todistuksessa klassinen keskinäisinformaatio korvautuu kvanttisella keskinäisinformaatiolla, jolloin palautuu täysi kvanttinen RT-kaava bulkki-korjaustermin S_{\text{bulk}} kanssa.

§7. Emergentti bulk-geometria koodietäisyydestä

MERA:n bulk-geometria ei ole ennalta olemassa oleva säiliö. T-3a:n isomorfismin mukaan se on koodekin informaatiometrinen avaruus: pakkausetäisyyksien geometria.

7.1 Koodietäisyys bulk-metriikkana

Määritellään diskreetti kokonaislukuarvoinen koodietäisyys d(z^{(\tau)}, z'^{(\tau)}) kahden kaskadin kerroksessa \tau olevan tilan välille niiden tensoriverkossa yhdistämiseen vaadittavien disentangler-vaihtojen vähimmäismääränä.

Asianmukaisessa termodynaamisessa tai kontinuumirajassa (N \to \infty, a \to 0) voidaan approksimoida jatkuvan spatiaalisen kerrosskaalan \tau bulk-metriikkaa g_{ij}^{\text{bulk}}(\tau) seuraavasti:

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}

Tämä on rakenteellinen odotus, joka riippuu kaskadin skaalainvarianssista sekä oletuksesta, että Permutation MERA on kontinuumirajassa jatkuvasti approksimoitavissa yleisellä MERA:lla — yhdenmukaisesti Swinglen (2012) ja Nozaki–Ryu–Takayanagin (2012) tunnettujen tulosten kanssa, mutta ei taattu diskreetille kaskadille, jossa on äärellinen määrä kerroksia. Näin ollen näiden kontinuumirajaa koskevien konjektuurien vallitessa odotamme, että aika-avaruuden geometria kaartuisi täsmälleen siellä, missä koodietäisyys divergoi — eli siellä, missä prediktiivinen nopeus R_\text{req} lähestyy C_\text{max}:ia, strategisesti yhdenmukaisesti T-2:n nopeus–vääristymäylivuodon identifikaation kanssa.

7.2 Yhteys T-2:een

T-2 osoitti, että gravitaatiokaarevuus G_{\mu\nu} on renderöintientropian S_{\text{render}} metrinen derivaatta. MERA-rakenne täsmentää nyt S_{\text{render}}:n mikroskooppisen alkuperän: se on minimileikkausentropia |\gamma_A| \log \chi, ja Einsteinin tensori G_{\mu\nu} on tämän leikkausentropian vaste bulkki-geometrian metrisiin häiriöihin, jotka koodietäisyys indusoi. Nämä kaksi liitettä ovat siis keskenään johdonmukaisia: T-2 antaa makroskooppiset kenttäyhtälöt; T-3 antaa sen entropiafunktionaalin mikroskooppisen tensoriverkkoalkuperän, jonka ne ekstremoivat.

§8. Päätösyhteenveto ja avoimet reunat

T-3:n tuotokset — osittain ratkaistu → ehdollisesti päivitetty (P-2:n myötä)

1. T-3a (MERA-isomorfismi). OPT:n L-kerroksinen pullonkaulakaskadi on rakenteellisesti homomorfinen MERA-verkolle, jonka kerrostekijä on s ja syvyys L. Liitteen P-2 (lauseet P-2.0 ja P-2c) myötä tämä päivittyy tensoriverkkoisomorfismiksi QECC-suojatussa aliavaruudessa paikallisen kohinan ehdolla. Huom.: isomorfismi koskee permutaatio-MERAa (disentanglerit kuuluvat ryhmän U(\mathbb{C}^\chi) permutaatioaliryhmään), ei yleistä MERAa, jossa disentanglerit ovat mielivaltaisia unitaarisia operaatioita. Tämä rajoitus ei vaikuta RT-rajaan (P-2d), mutta rajaa vastaavuuden MERA-verkkojen alaluokkaan.

2. T-3b (kausaalikartion vastaavuus). Informaatiokausaalikartio skaalautuu kertaluokkasymmetrian mukaisesti MERA:n kausaalikartiorakenteeseen passiivisen havaitsijan rajassa, vaikka syvyysprofiilit eroavat. Ennakoiva Haarajoukko vastaa renormalisoimatonta reunadataa. (P-2:n isometriaa koskeva tulos pätee passiivisen havaitsijan rajassa; Ennakoivan Haarajoukon määritelmän toiminnasta riippuvat termit a_{t:t+h-1} edellyttävät avoimien systeemien laajennusta, jota P-2 ei käsittele.)

3. T-3c (diskreetti kvantti-RT). Alkuperäinen DPI-pohjainen todistus rajoitti bulkkia mutta ei reunaentropiaa. P-2c:n isometrian avulla lause P-2d vahvistaa täyden reunarajan S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi MERA-tilan Schmidtin arvon avulla.

4. Emergentti bulkki-geometria. MERA-bulkin metriikka g_{ij}^{\text{bulk}} indusoituu kaskadin koodietäisyydestä. Aika-avaruus kaartuu siellä, missä koodietäisyys divergoi, mikä on yhdenmukaista T-2:n kanssa, jossa G_{\mu\nu} identifioidaan renderöintientropian metriseksi derivaataksi. (Jatkuvuusraja tarvitaan edelleen.)

5. Episteemisen tikapuun tila. Porras 2 (diskreetti kvantti-RT) on nyt todistettu P-2d:n kautta. Porras 3 (täysi kvantti-RT bulkkikorjauksella) edellyttää jatkuvuusrajaa, jota ei ole vielä johdettu OPT:n primitiiveistä.

Tämän päätöksen mahdollistamat avoimet reunat

• P-2 (Bornin sääntö / Hilbert-avaruus) saa nyt täsmällisen sisääntulokohtansa: sidosulottuvuus \chi on upotettava kvanttiseen Hilbert-avaruuden ulottuvuuteen. Kun ADH-virheenkorjaus pakottaa loogisen kubittirakenteen, klassinen sidos \chi = 2^{B_0/N} päivittyy kvanttiseksi sidokseksi von Neumannin entropian kanssa, ja T-3c:n diskreetistä RT:stä tulee täysi kvantti-RT bulkkikorjauksella S_{\text{bulk}}.

• P-3 (epäsymmetrinen holografia): MERA-bulkin rekonstruktio ja Fanon epäyhtälö saavat nyt yhteisen formaalin kodin. Fanon epäyhtälö (esipainos §3.10) rajoittaa havaitsijan kykyä rekonstruoida substraatti renderöinnin sisältä käsin — juuri tämä on MERA-kuvauksen irreversiibelisyys (reuna \to bulkki on koodekki; käänteinen kuvaus bulkki \to reuna on mahdoton minimaalisen leikkauksen syvyyden \tau^* jälkeen).

• T-5 (vakioiden palautus): sidosulottuvuus \chi = 2^{B_0/N} ja karkeistuskerroin s asettavat uusia rajoitteita dimensiottomille vakioille. Erityisesti ehtojen s = 2 ja L = \log_s(B_0/B_L) on oltava yhteensopivia T-2:n Planck-skaalan identifikaation l_{\text{codec}} = l_P kanssa, mikä rajoittaa suhdetta B_0/B_L.

• §8.3 esipainoksen kohta 3 (MERA/kausaalijoukko): MERA:n Ennakoivan Haarajoukon reunakerrosten formaali kuvaus kausaalijoukkokehykseen, jotta havaitun aika-avaruuden metriset ominaisuudet voidaan johtaa puhtaasti koodekin sekvensoinnista. §7:n koodietäisyysmetriikka g_{ij}^{\text{bulk}} on lähtökohta.

Tätä liitettä ylläpidetään osana OPT-projektin repositoriota yhdessä theoretical_roadmap.pdf:n kanssa. Viitteet: Vidal (2008) [43], Pastawski et al. (2015) [44], Almheiri-Dong-Harlow (2015) [42], Tishby et al. (1999) [28], Ryu-Takayanagi (2006).