Järjestetyn patchin teoria

Alkuperäinen tehtävä P-2: Hilbert-avaruus kvanttivirheenkorjauksen kautta Ongelma: Gleasonin teoreemaan vetoaminen Bornin säännön johtamisena on osittain kehämäistä, koska se olettaa Hilbert-avaruuden geometrian ilman, että johdetaan, miksi prediktiivinen avaruus saa juuri tämän muodon. Tuotos: Analyyttinen johtaminen, joka osoittaa, että Hilbert-avaruuden looginen kubittirakenne nousee luonnollisesti esiin siitä, että koodekki toimii virheenkorjauskoodina.

Sulkeutumisen tila: EHDOLLINEN VASTAAVUUS. Tämä liite hahmottaa sillan klassisesta informaatioteoriasta kvanttimekaniikkaan. Se ei sellaisenaan johda kvanttikenttiä Järjestetyn patchin teoriasta (OPT) peräisin olevista primitiiveistä, vaan pikemminkin asettaa tiukan ehdollisen rakenteellisen vastaavuuden: se kartoittaa täsmällisesti, mitkä fysikaaliset ominaisuudet OPT:n koodekin on täytettävä, jotta kvanttimekaniikka voi nousta siitä esiin. Eristämme tämän siirtymän eksplisiittisiksi siltapostulaateiksi. Näissä ehdoissa T-3:ssa kartoitetut rakenteelliset homologi at kohoavat rigoristisiksi operaattorialgebrallisiksi isometrioiksi, jotka pakottavat diskreetit Ryu–Takayanagi-rajat (P-2d) ja eristävät Bornin säännön (P-2e). Näiden postulaattien orgaaninen johtaminen OPT-kehyksen fysiikasta on edelleen teorian keskeinen avoin ongelma.

§1. Algebrallinen haaste

Liite T-3 esitti rakenteellisen homomorfismin klassisen OPT:n informaatiopullonkaula-algoritmin ja kvanttisen MERA-tensoriverkon välillä. Puhdas klassinen stokastinen matriisi ei kuitenkaan voi eristää kvanttiamplituditiloja eikä suorittaa unitaarisia operaatioita.

Klassisten kapasiteettirajojen ja kvanttialgebran välisen rajan ylittäminen edellyttää ongelman funktionaalista kuvaamista. Eristämme ne ehdot, joita osittaisen isometrian pakottaminen vaatii. Sen sijaan, että väittäisimme klassisista elementeistä johdettua mikrofysikaalista kvanttiderivaatiota, jäljitämme täsmälliset ehdolliset postulaatit, joiden vallitessa raja kuvautuu algebrallisen kvanttikenttäteorian (AQFT) tekijään ja tuottaa virheenkorjattuja topologisia isometrioita.

§2. P-2.0: Laskennallisen kannan upotus

Ennen kenttäteoreettisten postulaattien soveltamista diskreetti OPT:n klassinen aakkosto \mathcal{Z} on kuvattava matemaattisesti kvanttilaskennalliseen kantaan.

Siltapostulaatti 0 (Laskennallinen kanta): Diskreetit klassiset tilat z \in \mathcal{Z} kuvautuvat injektiivisesti ortonormaaliin laskennalliseen kantaan \{|z\rangle\}, joka virittää kohde-Hilbert-avaruuden \mathbb{C}^\chi.

Teoreema P-2.0: Siltapostulaatin 0 vallitessa klassiset disentangler-permutaatiomatriisit U_\tau \in S_{|\mathcal{Z}|} voidaan kukin erikseen nostaa eksakteiksi unitaarisiksi operaattoreiksi, jotka vaikuttavat U(\mathbb{C}^\chi):n permutaatioaliryhmässä.

Tämä ehto turvaa diskreetin aakkosrakenteen, jota tarvitaan jäljitysten formaaliin evaluointiin myöhemmissä äärellisulotteisissa vaiheissa.

§3. P-2a: Bisognano-Wichmann-luokitus

Jotta koodekin rajaa voidaan käsitellä funktionaalisesti algebrallisena kvanttihorisonttina, Bisognano-Wichmannin luokituslauseen soveltamisen oikeuttamiseksi on täytyttävä tiukat rajat.

Siltapostulaatti 1 (CCR): Markov-peitteen muuttujat jatkuvan rajalimitin kohdalla toteuttavat kanoniset kommutaatiosuhteet: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Tämä vaaditaan, jotta rajaa voidaan käsitellä operaattoriarvoisena kvanttikenttänä).

Siltapostulaatti 2 (Rindler-horisonttianalogia): Rajahorisontilla on globaali Lorentz-symmetria, ja se vaikuttaa tyhjiötilassa olevaan kvanttikenttään matemaattisesti kiihtyvää Rindler-kiilaa vastaavalla tavalla.

Siltapostulaatti 3 (Haag-Kastler-rajat ja split-ominaisuus): Jonon rajaava algebra noudattaa AQFT:n Haag-Kastler-verkon aksioomia: lokaalisuutta, kovarianssia ja spektrienergian virtauksen positiivisuutta. Lisäksi verkko toteuttaa AQFT:n split-ominaisuuden, mikä määrittää paikalliset tyypin I tekijät, jotka mahdollistavat rajoittamisen äärellisulotteisiin aliavaruuksiin.

Lause P-2a (Ehdollinen tyyppi III_1 -tekijä): Kun Siltapostulaatit 1, 2 ja 3 oletetaan, Bisognano-Wichmannin lause (1975) pätee ehdollisesti. Sen generoima modulaarinen virtaus kuvautuu geometriseksi Lorentz-boostiksi. Connesin luokitus takaa, että horisontin jäsentävä kenttä toimii täsmällisesti tyypin III_1 von Neumann -tekijänä.

§4. P-2b: Kohinansietokyky & ADH-kartoitus

Globaalisti määritelty tyyppi III_1 von Neumannin tekijä ei salli tavanomaisia äärellisulotteisia trace-class-tiheysmatriiseja. Almheirin, Dongin ja Harlow’n (ADH) osoittaman bulkki–reuna-dualiteetin arvioimiseksi meidän on rajoitettava algebraa.

Siltapostulaatti 4 (Knill–Laflammen ehdot): Klassinen koodekkisekvenssi muodostaa luontaisesti jatkuvan Quantum Error-Correcting Code (QECC) -rakenteen, joka täyttää tarkat Knill–Laflamme-rajat.

Lause P-2b (Ehdollinen ADH-holografia): Oletettaessa BP 4 ja BP 3:n tarjoama eksplisiittinen split-property-regularisointi algebra rajoittuu ehdollisesti lokaalisti äärellisulotteiseen loogiseen koodialiavaruuteen \mathcal{C}^{(\tau)}. Tässä rajoitetussa aliavaruudessa ulkoinen reunakohina suodattuu Knill–Laflamme-kartoitusten kautta, jolloin reunalla palautuvat lokaalit bulkkioperaattorit ADH-lauseen mukaisesti.

§5. P-2c: Rajoitettu Stinespringin jälkialgebra

Datan pakkauksen matemaattinen ratkaiseminen edellyttää klassisen karkeistusaskeleen W_\tau identifioimista osittaisisometrian MERA-adjunktikuvauksen w_\tau^\dagger vaikutuksen kanssa.

Stinespringin dilataatiolauseen mukaan täysin positiivinen jäljen säilyttävä (CPTP) kuvaus implikoi, että on olemassa yleinen isometrinen dilataatio-/palautusrakenne V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. Tämä yleinen olemassaololause ei sellaisenaan identifioi OPT:n klassista matriisia W_\tau itse isometriaksi. Tämä identifikaatio on silloitettava.

Siltapostulaatti 5 (Unitaarisesti kovariantti kohina): Ympäristökohina kuvatun kanavan yli arvioituu aidosti unitaarisesti kovarianttina kuvauksena: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

Siltapostulaatti 6 (Isometrian identifikaatio): Klassinen karkeistusmatriisi W_\tau kääntyy identtisesti CPTP-jälkilaskennaksi ympäristön yli tarkan MERA-isometrian adjunktista w_\tau^\dagger.

Lause P-2c (Ehdollinen rajoitettu isometria): Annetuilla BP 4, BP 5 ja BP 6 klassinen karkeistusalgoritmi kuvautuu onnistuneesti osittaisen lineaarisen isometrian adjunktina. Todistuksen lähestymistapa: Tarkka QEC rajoitetussa koodialiavaruudessa (BP 4) antaa yleisen palautettavuuden. Sen sijaan, että väitettäisiin dilataation automaattisesti pakottavan sisätulon ekvivalenssin, BP 6 silloittaa aukon eksplisiittisesti postuloimalla, että klassinen matriisi kääntyy identtisesti kvanttidilataation jälkikomponentiksi. Siksi äärellisulotteisessa koodialiavaruudessa klassinen kuvaus toimii operationaalisesti kohde-MERA-isometrian adjunktina.

§6. P-2d: Ryu-Takayanagi ja Schmidtin aste

Klassinen OPT-kehys rajoittaa jatkuvia kanavakapasiteetteja kuvaamalla rajat muodossa \chi_\text{classical} = 2^{B_0/N}. Jotta tämä toimisi kelvollisena täsmällisenä Hilbertin avaruuden dimensiona eikä jatkuvana efektiivisenä mittakaavana, kohdekuvaus asettaa eksplisiittisesti kokonaislukukapasiteetin ehdon 2^{B_0/N} \in \mathbb{Z}^+.

Lause P-2d (Ehdollinen Ryu-Takayanagi-raja): Oletettaessa P-2c:n onnistunut toteutuminen, joka rajoittaa operaatiot täsmällisiin lineaarisiin isometrioihin, klassinen kapasiteettidimensio (\chi_\text{classical}) määrittää muodollisesti kvanttisen Schmidtin asteen (\chi_\text{quantum}) verkon sidosten yli. Tämä ekvivalenssi tuottaa tiukasti diskreetin Ryu-Takayanagi-entropiarajan.

Todistuksen lähestymistapa: Kun klassinen matriisi ehdollisesti identifioidaan aidoksi osittaisisometriaksi (P-2c), kuvatun kanavan dimensio rajoittaa MERA-solmuja yhdistäviä virtuaalisia geometrisia sidoksia. Kvanttitilassa maksimaalinen bipartittinen lomittuminen minkä tahansa topologisen rajan yli jäsentyy eksplisiittisesti minimileikkauksen \gamma_A kautta, ja paikallinen Hilbertin avaruuden dimensio kussakin leikkauksessa määräytyy sidoksen Schmidtin asteen perusteella. Koska pullonkaulakapasiteetti määrää tämän asteen (\chi_\text{classical} = \chi_\text{quantum}), geometrinen lomittuminen saa muodollisesti tiukan ylärajan minimileikkausten yli: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Topologinen koherenssi ja Gleasonin jäljet

Bornin säännön johtaminen edellyttää siirtymistä tilastollisista diagonaalitodennäköisyyksistä pidemmälle ja off-diagonaalisten kehysten \rho_{zz'} eristämistä.

Siltapostulaatti 7 (Kochen–Speckerin ei-kontekstuaalisuus): Prediktiiviseen ulostulohaaraan liittyvä todennäköisyysjako on riippumaton muista keskenään yhteismitattavista ortogonaalisista poluista.

Lause P-2e (Bornin säännön ehdollinen muotoilu): Annetulla BP 7:llä, ja olettaen että OPT-algoritmien määrittämät projektiiviset todennäköisyydet muodostavat täydellisiä matemaattisia kehysfunktioita, Gleasonin lause johtaa ehdollisesti Bornin säännön.

Todistuksen lähestymistapa: Äärellisen diskreetin kantatilan skaalaamisesta johdetut vähimmäisulotteisuusrajoitteet täyttävät luonnostaan ehdon \dim(H) \ge 3. Olettaen, että todennäköisyyksien prediktiiviset rakenteet täyttävät valmiin kehysfunktion \mu(P) matemaattiset vaatimukset siten, että summa on 1, Gleasonin lause (1957) toteaa, että avaruudelle on olemassa vain yksi kelvollinen todennäköisyysmitta: \mu(P) = \text{tr}(\rho_t\, P) Tämä tulos tuottaa yksinomaan Bornin säännön jäljen ja vahvistaa siten todennäköisyydellisen kvanttimatriisikuvauksen siirtymän ehdollisesti.

Tätä liitettä ylläpidetään osana OPT-projektin repositoriota theoretical_roadmap.pdf:n rinnalla. Viitteet: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).