Korrastatud patch’i teooria

Algne ülesanne P-2: Hilberti ruum kvantvigade paranduse kaudu Probleem: Gleasoni teoreemi tsiteerimine Borni reegli tuletusena on osaliselt ringargument, sest see eeldab Hilberti ruumi geomeetriat, tuletamata, miks prediktiivne ruum just sellise kuju võtab. Väljund: Analüütiline tuletus, mis näitab, et Hilberti ruumi loogilise kubiti struktuur tekib loomulikult sellest, et koodek toimib veaparanduskoodina.

Sulgemisstaatus: TINGIMUSLIK VASTAVUS. See lisa kaardistab silla klassikalisest infoteooriast kvantmehaanikani. See ei tuleta kvantvälju algupäraselt Korrastatud patch’i teooria (OPT) primitiividest, vaid kehtestab range tingimusliku struktuurse vastavuse: kaardistab täpselt, milliseid füüsikalisi omadusi peab OPT koodek rahuldama, et kvantmehaanika saaks sellest esile kerkida. Me eraldame selle ülemineku eksplitsiitseteks sillapostulaatideks. Nendel tingimustel tõusevad T-3-s kaardistatud struktuursed homoloogiad rangeteks operaatoralgebralisteks isomeetriateks, mis jõustavad diskreetsed Ryu-Takayanagi piirid (P-2d) ja isoleerivad Borni reegli (P-2e). Nende postulaatide orgaaniline tuletamine OPT raamistiku füüsikast jääb teooria keskseks lahendamata probleemiks.

§1. Algebraline väljakutse

Lisa T-3 püstitas struktuurse homomorfismi klassikalise OPT informatsioonilise pudelikaela algoritmi ja kvantse MERA tensorvõrkude vahel. Kuid puhtalt klassikaline stohhastiline maatriks ei suuda isoleerida kvantamplituudi olekuid ega teostada unitaarseid operatsioone.

Piiri ületamine klassikaliste mahtuvuspiirangute ja kvantalgebra vahel nõuab probleemi funktsionaalset kaardistamist. Me eraldame tingimused, mis on vajalikud osalise isomeetria jõustamiseks. Selle asemel et väita mikrofüüsikalise kvanttuletuse võimalikkust klassikalistest elementidest, jälgime täpseid tingimuslikke postulaate, mille korral piir kujutub algebralise kvantväljateooria (AQFT) faktoriks ja genereerib veaparandatud topoloogilisi isomeetriaid.

§2. P-2.0: Arvutusliku baasi sisestus

Enne väljateoreetiliste postulaatide rakendamist tuleb diskreetne OPT klassikaline tähestik \mathcal{Z} matemaatiliselt vastendada kvantarvutuslikule baasile.

Sillapostulaat 0 (arvutuslik baas): Diskreetsed klassikalised olekud z \in \mathcal{Z} vastenduvad injektiivselt ortonormaalsele arvutuslikule baasile \{|z\rangle\}, mis sirutub üle siht-Hilberti ruumi \mathbb{C}^\chi.

Teoreem P-2.0: Eeldades Sillapostulaati 0, tõstuvad klassikalised disentangler’i permutatsioonimaatriksid U_\tau \in S_{|\mathcal{Z}|} sõltumatult täpseteks unitaarseteks operaatoriteks, mis toimivad U(\mathbb{C}^\chi) permutatsioonialamrühmal.

See tingimus tagab diskreetse tähestikulise struktuuri, mis on vajalik jälgede formaalseks hindamiseks järgnevates lõpliku mõõtmega sammudes.

§3. P-2a: Bisognano–Wichmanni klassifikatsioon

Et käsitleda koodeki piiri funktsionaalselt algebralise kvandihorisondina, peavad Bisognano–Wichmanni klassifikatsiooniteoreemi rakendamise õigustamiseks olema täidetud ranged piirangud.

Sillapostulaat 1 (CCR): Markovi teki muutujad pideva piirijuhtumi korral rahuldavad kanoonilisi kommutatsioonirelatsioone: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Nõutav selleks, et käsitleda piiri operaatorväärtusliku kvantväljana).

Sillapostulaat 2 (Rindleri horisondi analoogia): Piirihorisondil on globaalne Lorentzi sümmeetria ning see toimib vaakumolekus kvantväljal, olles matemaatiliselt analoogne kiireneva Rindleri kiiluga.

Sillapostulaat 3 (Haag-Kastleri piirid ja split-omadus): Jada piirav algebra allub AQFT Haag-Kastleri võrgu aksioomidele: lokaalsus, kovariantsus ja spektraalenergia voo positiivsuse omadused. Lisaks rahuldab võrk AQFT split-omadust, kehtestades lokaalsed I tüübi faktorid, mis võimaldavad piirangut lõpliku mõõtmega alamruumidele.

Teoreem P-2a (tingimuslik III_1 tüübi faktor): Eeldades Sillapostulaate 1, 2 ja 3, rakendub Bisognano–Wichmanni teoreem (1975) tingimuslikult. Tekitatud modulaarne voog vastab geomeetrilisele Lorentzi boost’ile. Connes’i klassifikatsioon tagab, et horisonti struktureeriv väli toimib täpselt III_1 tüübi von Neumanni faktorina.

§4. P-2b: Mürakindlus ja ADH-kaardistus

Globaalselt määratletud tüüp III_1 von Neumanni faktor ei võimalda standardseid lõplikumõõtmelisi jäljeklassi tihedusmaatrikseid. Almheiri, Dongi ja Harlow’ (ADH) poolt kehtestatud bulk-boundary duaalsuse hindamiseks peame algebra piirama.

Sillapostulaat 4 (Knill-Laflamme’i tingimused): Klassikaline koodekijada moodustab olemuslikult pideva Quantum Error-Correcting Code’i (QECC), mis rahuldab täpseid Knill-Laflamme’i piire.

Teoreem P-2b (tingimuslik ADH-holograafia): Eeldades BP 4 ja BP 3 poolt antud eksplitsiitset split-property regularisatsiooni, piirub algebra tingimuslikult lokaalselt lõplikumõõtmelisse loogilise koodi alamruumi \mathcal{C}^{(\tau)}. Selles piiratud alamruumis filtreeritakse väline piirimüra läbi Knill-Laflamme’i kaardistuste, taastades piiril lokaalsed bulk-operaatorid kooskõlas ADH teoreemiga.

§5. P-2c: Piiratud Stinespringi jälje algebra

Andmete pakkimise matemaatiline lahendamine nõuab klassikalise jämedustamise sammu W_\tau samastamist osalise isomeetria MERA adjungeeritud kujutise w_\tau^\dagger toimega.

Stinespringi dilatatsiooniteoreemi järgi tähendab täielikult positiivne jälge säilitav (CPTP) kujutis, et eksisteerib üldine isomeetriline dilatatsiooni-/taastestruktuur V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. See üldine eksistentsiteoreem ei samasta OPT klassikalist maatriksit W_\tau algupäraselt isomeetriaga endaga. See samastus tuleb sillata.

Sillapostulaat 5 (Unitaar-kovariantne müra): keskkonnamüra üle kujutatud kanali avaldub rangelt unitaar-kovariantse kujutisena: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

Sillapostulaat 6 (Isomeetria samastus): klassikaline jämedustamise maatriks W_\tau tõlgendub identselt kui CPTP-jälje arvutus üle keskkonna täpse MERA isomeetria adjungi w_\tau^\dagger korral.

Teoreem P-2c (Tingimuslik piiratud isomeetria): Eeldades BP 4, BP 5 ja BP 6, kujutub klassikaline jämedustamise algoritm edukalt osalise lineaarse isomeetria adjungina. Tõestuse lähenemine: Täpne QECC piiratud koodialamruumis (BP 4) annab üldise taastatavuse. Selle asemel et väita, nagu dilatatsioon sunniks automaatselt peale sisekorrutise ekvivalentsuse, sillab BP 6 selle lünga eksplitsiitselt, postuleerides, et klassikaline maatriks tõlgendub identselt kvantdilatatsiooni jäljekomponendina. Seega toimib klassikaline kujutis lõplikumõõtmelisel koodialamruumil operatsionaalselt siht-MERA isomeetria adjungina.

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

Klassikaline OPT-raamistik piirab pidevate kanalite mahtuvusi seosega \chi_\text{classical} = 2^{B_0/N}. Et toimida kehtiva täpse Hilberti ruumi dimensioonina, mitte pideva efektiivse skaalana, seab sihtkujutus sõnaselgelt täisarvulise mahtuvuse tingimuse 2^{B_0/N} \in \mathbb{Z}^+.

Teoreem P-2d (tingimuslik Ryu-Takayanagi piir): Eeldusel, et P-2c on edukalt realiseeritud nii, et operatsioonid on piiratud täpsete lineaarsete isomeetriatega, määrab klassikalise mahtuvuse dimensioon (\chi_\text{classical}) formaalselt kvant-Schmidti astme (\chi_\text{quantum}) üle võrgu sidemete. See ekvivalents tekitab rangelt diskreetse Ryu-Takayanagi entroopiapiiri.

Tõestuse lähenemine: Kui klassikaline maatriks on tingimuslikult samastatud tõelise osalise isomeetriaga (P-2c), siis kujutatud kanali dimensioon piirab virtuaalseid geomeetrilisi sidemeid, mis ühendavad MERA sõlmi. Kvantolekus struktureerib maksimaalse bipartiitse põimumise üle mis tahes topoloogilise piiri sõnaselgelt minimaalne lõige \gamma_A, kusjuures lokaalne Hilberti ruumi dimensioon igas lõikes on määratud sideme Schmidti astmega. Kuna pudelikaela mahtuvus dikteerib selle astme (\chi_\text{classical} = \chi_\text{quantum}), on geomeetriline põimumine formaalselt rangelt piiratud üle minimaalsete lõigete: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Topoloogiline koherentsus ja Gleasoni jäljed

Borndi reegli tuletamine nõuab liikumist kaugemale statistilistest diagonaalsetest tõenäosustest ning mittediagonaalsete kaadrite \rho_{zz'} isoleerimist.

Sillapostulaat 7 (Kocheni-Speckeri mittekontekstuaalsus): Prediktiivse väljundharuga seotud tõenäosusomistus on sõltumatu teistest vastastikku koosmõõdetavatest ortogonaalsetest trajektooridest.

Teoreem P-2e (tingimuslik Borndi reegli formuleering): Eeldades BP 7 ning et OPT algoritmide poolt omistatud projektiivsed tõenäosused moodustavad täielikud matemaatilised kaadrifunktsioonid, tuletab Gleasoni teoreem tingimuslikult Borndi reegli.

Tõestuse lähenemine: Lõpliku diskreetse baasruumi skaleerimisel kehtestatud minimaalsed dimensioonipiirangud rahuldavad loomupäraselt tingimuse \dim(H) \ge 3. Eeldades, et tõenäosuslikud prediktiivsed struktuurid vastavad lõpetatud kaadrifunktsiooni \mu(P) matemaatilistele nõuetele, mille summa on 1, väidab Gleasoni teoreem (1957), et ruumi kujutamiseks leidub ainult üks kehtiv tõenäosusmõõt: \mu(P) = \text{tr}(\rho_t\, P) See tulemus genereerib üksnes Borndi reegli jälje, valideerides tingimuslikult tõenäosusliku kvantmaatriksi kujutuse ülemineku.

See lisa hoitakse OPT projekti repositooriumi osana koos failiga theoretical_roadmap.pdf. Viited: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).