Sutvarkyto patch teorija

Pradinė užduotis P-2: Hilberto erdvė per kvantinę klaidų korekciją Problema: Gleasono teoremos citavimas kaip Borno taisyklės išvedimo yra iš dalies cirkuliarus, nes jis numano Hilberto erdvės geometriją, nepaaiškindamas, kodėl predikcinė erdvė įgauna būtent tokią formą. Rezultatas: Analitinis išvedimas, rodantis, kad Hilberto erdvės loginio kubito struktūra natūraliai iškyla iš to, jog kodekas veikia kaip klaidas koreguojantis kodas.

Užbaigtumo statusas: SĄLYGINĖ ATITIKTIS. Šis priedas nusako tiltą nuo klasikinės informacijos teorijos prie kvantinės mechanikos. Jis savaime neišveda kvantinių laukų iš Sutvarkyto patch teorijos (OPT) primityvų, bet veikiau nustato griežtą sąlyginę struktūrinę atitiktį: tiksliai apibrėžia, kokias fizikines savybes turi tenkinti OPT kodekas, kad iš jo iškiltų kvantinė mechanika. Šį perėjimą išskaidome į aiškius Tilto postulatus. Esant šioms sąlygoms, T-3 susietos struktūrinės homologijos pakeliamos iki griežtų operatorinių algebrinių izometrijų, kurios įtvirtina diskrečias Ryu–Takayanagi ribas (P-2d) ir išskiria Borno taisyklę (P-2e). Šių postulatų organiškas išvedimas iš OPT karkaso fizikos išlieka pagrindine atvira teorijos problema.

§1. Algebrinis iššūkis

T-3 priede buvo iškelta struktūrinio homomorfizmo tarp klasikinio OPT informacijos butelio kaklelio algoritmo ir kvantinių MERA tenzorių tinklų tezė. Tačiau grynai klasikinė stochastinė matrica negali izoliuoti kvantinių amplitudžių būsenų ar atlikti unitarinių operacijų.

Norint peržengti ribą tarp klasikinių talpos apribojimų ir kvantinės algebros, būtina problemą atvaizduoti funkciniu požiūriu. Išskiriame sąlygas, būtinas dalinei izometrijai užtikrinti. Užuot teigę, kad kvantinė mikrofizika išvedama iš klasikinių elementų, atsekame tikslius sąlyginius postulatus, kuriems esant riba atvaizduojama į algebrinės kvantinio lauko teorijos (AQFT) faktorių ir generuoja klaidų korekcija apsaugotas topologines izometrijas.

§2. P-2.0: Kompiutacinio pagrindo įterpimas

Prieš taikant laukų teorijos postulatus, diskretus klasikinis OPT alfabetas \mathcal{Z} turi būti matematiškai atvaizduotas į kvantinį kompiutacinį pagrindą.

Jungiamasis postulatas 0 (Kompiutacinis pagrindas): Diskrečios klasikinės būsenos z \in \mathcal{Z} injektyviai atvaizduojamos į ortonormuotą kompiutacinį pagrindą \{|z\rangle\}, išskleidžiantį tikslinę Hilberto erdvę \mathbb{C}^\chi.

Teorema P-2.0: Esant Jungiamajam postulatui 0, klasikinės išpainiotojo permutacijų matricos U_\tau \in S_{|\mathcal{Z}|} nepriklausomai pakeliamos į tikslius unitarinius operatorius, veikiančius permutacijų pogrupyje iš U(\mathbb{C}^\chi).

Ši sąlyga užtikrina diskrečiojo alfabeto struktūrą, reikalingą tam, kad vėlesniuose baigtinio matmens žingsniuose būtų galima formaliai skaičiuoti pėdsakus.

§3. P-2a: Bisognano–Wichmanno klasifikacija

Kad kodeko ribą būtų galima funkciškai traktuoti kaip algebrinį kvantinį horizontą, turi būti tenkinamos griežtos ribinės sąlygos, suteikiančios pagrindą taikyti Bisognano–Wichmanno klasifikacijos teoremą.

Jungiamasis postulatas 1 (CCR): Markovo antklodės kintamieji ties tolydžiąja ribos riba tenkina kanoninius komutacijos sąryšius: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Būtina, kad ribą būtų galima traktuoti kaip operatorinėmis reikšmėmis apibrėžtą kvantinį lauką).

Jungiamasis postulatas 2 (Rindlerio horizonto analogija): Ribos horizontas pasižymi globalia Lorentzo simetrija ir veikia kvantinį lauką vakuuminėje būsenoje, matematiškai analogiškai greitėjančiam Rindlerio pleištui.

Jungiamasis postulatas 3 (Haago–Kastlerio ribos ir split savybė): Sekos aprėpianti algebra tenkina AQFT Haago–Kastlerio tinklo aksiomas: lokalumą, kovariantiškumą ir teigiamo spektrinio energijos srauto savybes. Be to, tinklas tenkina AQFT split savybę, nustatančią lokalius I tipo faktorius, kurie leidžia apribojimą į baigtimačius poerdvius.

Teorema P-2a (Sąlyginis III_1 tipo faktorius): Esant 1, 2 ir 3 jungiamiesiems postulatams, Bisognano–Wichmanno teorema (1975) taikoma sąlygiškai. Sugeneruotas modulinis srautas atitinka geometrinį Lorentzo boostą. Conneso klasifikacija garantuoja, kad horizontą struktūruojantis laukas veikia tiksliai kaip III_1 tipo von Neumanno faktorius.

§4. P-2b: Atsparumas triukšmui ir ADH atvaizdavimas

Globaliai apibrėžtas III_1 tipo von Neumanno faktorius neleidžia taikyti standartinių baigtinio matmens pėdsako klasės tankio matricų. Norėdami įvertinti Almheiri, Dongo ir Harlowo (ADH) nustatytą tūrio-ribos dualumą, turime apriboti algebrą.

Jungiamasis postulatas 4 (Knill-Laflamme sąlygos): Klasikinė kodeko seka savaime sudaro tolydinį kvantinį klaidų taisymo kodą (QECC), tenkinantį tikslias Knill-Laflamme ribas.

Teorema P-2b (Sąlyginė ADH holografija): Esant JP 4 ir aiškiai skėlimo savybės regularizacijai, kurią pateikia JP 3, algebra sąlygiškai apribojama iki lokaliai baigtinio matmens loginės kodo poerdvės \mathcal{C}^{(\tau)}. Šioje apribotoje poerdvėje išorinės ribos triukšmas filtruojamas per Knill-Laflamme atvaizdavimus, atkuriant lokalius tūrio operatorius riboje taip, kad jie atitiktų ADH teoremą.

§5. P-2c: Apribota Stinespringo pėdsako algebra

Norint matematiškai išspręsti duomenų glaudinimą, reikia klasikinį grubinimo žingsnį W_\tau sutapatinti su dalinės izometrijos MERA adjungotojo atvaizdžio w_\tau^\dagger veikimu.

Pagal Stinespringo išplėtimo teoremą, Visiškai Teigiamas Pėdsaką Išsaugantis (CPTP) atvaizdis implikuoja, kad egzistuoja bendra izometrinė išplėtimo / atkūrimo struktūra V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. Ši bendro egzistavimo teorema savaime neidentifikuoja OPT klasikinės matricos W_\tau kaip pačios izometrijos. Šį tapatinimą būtina sujungti papildomu tiltu.

Tilto postulatas 5 (unitariškai kovariantinis triukšmas): aplinkos triukšmas atvaizduotame kanale įvertinamas kaip griežtai unitariškai kovariantinis atvaizdis: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

Tilto postulatas 6 (izometrijos identifikacija): klasikinė grubinimo matrica W_\tau tapačiai persiverčia į CPTP pėdsako skaičiavimą per aplinką tikslaus MERA izometrijos adjungotojo w_\tau^\dagger atžvilgiu.

Teorema P-2c (sąlyginė apribota izometrija): esant BP 4, BP 5 ir BP 6, klasikinis grubinimo algoritmas sėkmingai atvaizduojamas kaip dalinės tiesinės izometrijos adjunguotasis. Įrodymo prieiga: tikslus QECC apribotoje kodo poerdvėje (BP 4) suteikia bendrą atkuriamumą. Užuot teigus, kad išplėtimas automatiškai užtikrina vidinės sandaugos ekvivalentiškumą, BP 6 aiškiai sujungia šią spragą, postuluodamas, kad klasikinė matrica tapačiai persiverčia į kvantinio išplėtimo pėdsako komponentą. Todėl baigtinio matmens kodo poerdvėje klasikinis atvaizdis operaciškai veikia kaip tikslinės MERA izometrijos adjunguotasis.

§6. P-2d: Ryu-Takayanagi ir Schmidto rangas

Klasikinė OPT sistema apriboja tolydžių kanalų talpas, atvaizduodama ribas \chi_\text{classical} = 2^{B_0/N}. Kad tai veiktų kaip galiojantis tikslus Hilberto erdvės matmuo, o ne kaip tolydi efektyvioji skalė, tikslinis atvaizdavimas aiškiai įveda sveikosios talpos apribojimą 2^{B_0/N} \in \mathbb{Z}^+.

Teorema P-2d (Sąlyginė Ryu-Takayanagi riba): Darant prielaidą, kad P-2c sėkmingai realizuota ir operacijos apribotos tiksliomis tiesinėmis izometrijomis, klasikinės talpos matmuo (\chi_\text{classical}) formaliai nustato kvantinį Schmidto rangą (\chi_\text{quantum}) tinklo jungtyse. Ši ekvivalencija griežtai generuoja diskrečiąją Ryu-Takayanagi entropijos ribą.

Įrodymo prieiga: Kai klasikinė matrica sąlygiškai identifikuojama kaip tikra dalinė izometrija (P-2c), atvaizduoto kanalo matmuo apriboja virtualias geometrines jungtis, jungiančias MERA mazgus. Kvantinėje būsenoje maksimalus bipartitinis susietumas per bet kurią topologinę ribą yra aiškiai struktūruojamas minimaliuoju pjūviu \gamma_A, o lokalus Hilberto erdvės matmuo kiekviename pjūvyje nustatomas jungties Schmidto rangu. Kadangi siauriausios vietos talpa lemia šį rangą (\chi_\text{classical} = \chi_\text{quantum}), geometrinis susietumas formaliai yra griežtai apribotas per minimaliuosius pjūvius: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Topologinė koherencija ir Gleasono pėdsakai

Norint išvesti Borno taisyklę, reikia peržengti statistinių įstrižainių tikimybių ribas ir išskirti neįstrižaininius rėmus \rho_{zz'}.

Jungiamasis postulatas 7 (Kocheno–Speckerio nekontekstualumas): Tikimybės priskyrimas, susietas su predikcinės išvesties šaka, nepriklauso nuo kitų tarpusavyje bendrai išmatuojamų ortogonalių kelių.

Teorema P-2e (Sąlyginė Borno taisyklės formuluotė): Esant BP 7 ir darant prielaidą, kad OPT algoritmų priskiriamos projekcinės tikimybės sudaro pilnas matematines rėmo funkcijas, Gleasono teorema sąlygiškai išveda Borno taisyklę.

Įrodymo prieiga: Minimalūs matmenų apribojimai, nustatyti masteliuojant baigtinę diskrečią bazės erdvę, savaime tenkina sąlygą \dim(H) \ge 3. Darant prielaidą, kad tikimybinės predikcinės struktūros tenkina matematinius užbaigtos rėmo funkcijos \mu(P), kurios suma lygi 1, reikalavimus, Gleasono teorema (1957) teigia, kad egzistuoja tik vienas galiojantis tikimybės matas, atvaizduojantis erdvę: \mu(P) = \text{tr}(\rho_t\, P) Šis rezultatas generuoja išskirtinai Borno taisyklės pėdsaką, taip sąlygiškai patvirtindamas tikimybinės kvantinės matricos atvaizdavimo perėjimą.

Šis priedas palaikomas kaip OPT projekto saugyklos dalis greta theoretical_roadmap.pdf. Nuorodos: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).