Kenningin um raðaðan patch (OPT)

Upprunalegt verkefni P-2: Hilbert-rúm í gegnum skammtavilluleiðréttingu Vandamál: Að vísa til setningar Gleasons sem afleiðslu Born-reglunnar er að hluta til hringrök, þar sem það gerir ráð fyrir rúmfræði Hilbert-rúms án þess að leiða af hverju forspárrýmið tekur á sig það form. Afhending: Greinandi afleiðsla sem sýnir að rökgerðarskipan qubita í Hilbert-rúmi sprettur með náttúrulegum hætti fram úr því að kóðarinn starfar sem villuleiðréttingarkóði.

Lokunarstaða: SKILYRÐIÐ SAMSVÖRUN. Þessi viðauki kortleggur brúna frá klassískri upplýsingafræði til skammtafræði. Hann leiðir ekki með innbyggðum hætti skammtasvið af frumhugtökum Kenningarinnar um raðaðan plástur (OPT), heldur setur fremur fram stranga skilyrta formgerðarlega samsvörun: hann kortleggur nákvæmlega hvaða eðlisfræðilegu eiginleika OPT-kóðarinn verður að uppfylla svo skammtafræði geti sprottið fram úr honum. Við einangrum umbreytinguna í skýrar brúarfrumsetningar. Við þessar aðstæður uppfærast þær formgerðarlegu samsvaranir sem kortlagðar eru í T-3 í strangar ísómetríur í virkjareikningi, sem knýja fram stök Ryu-Takayanagi-mörk (P-2d) og einangra Born-regluna (P-2e). Að leiða þessar frumsetningar lífrænt af eðlisfræði OPT-rammans er enn hið meginopna vandamál kenningarinnar.

§1. Algebrulega áskorunin

Viðauki T-3 setti fram formgerðarlega einsmótun milli hins klassíska upplýsingaflöskuhálsreiknirits OPT og skammtalegra MERA-þinetaneta. Hins vegar getur hrein klassísk slembifylki hvorki einangrað skammtaleg amplitúðuástand né framkvæmt einingarvirkjanir.

Til að brúa mörkin milli klassískra takmarkana á burðargetu og skammtalegrar algebru þarf að varpa vandanum á virknilegt form. Við einangrum þau skilyrði sem nauðsynleg eru til að knýja fram hlutjafna fjarlægðarvörpun. Í stað þess að halda því fram að örfræðileg skammtaleiðsla spretti af klassískum einingum rekjum við hinar nákvæmu skilyrtu frumsendur sem gera mörkunum kleift að varpast yfir á þátt í algebrulegri skammtasviðakenningu (AQFT) og mynda villuleiðréttar topólógískar fjarlægðarvörpanir.

§2. P-2.0: Innfelling reiknigrunns

Áður en frumsendum sviðskenningar er beitt verður að varpa stakræna klassíska stafrófi OPT, \mathcal{Z}, stærðfræðilega inn í skammtareiknigrunn.

Brúarfrumsetning 0 (Reiknigrunnur): Stakrænu klassísku ástöndin z \in \mathcal{Z} varpast eintækt á ortónormalan reiknigrunn \{|z\rangle\} sem spannar mark-Hilbertrúmið \mathbb{C}^\chi.

Setning P-2.0: Að gefinni Brúarfrumsetningu 0 lyftast klassísku affléttara-umraðanafylkin U_\tau \in S_{|\mathcal{Z}|} hvert fyrir sig yfir í nákvæma einingarvirkja sem verka á umraðana-undirhóp U(\mathbb{C}^\chi).

Þetta skilyrði tryggir þá stakrænu stafrófsgerð sem þarf til að unnt sé að meta spor formlega í síðari skrefum með endanlegri vídd.

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

Til að meðhöndla mörk kóðarans á virkan hátt sem algebrulegan skammtasjóndeildarhring verða strangar forsendur að vera uppfylltar svo heimilt sé að beita flokkunarsetningu Bisognanos og Wichmanns.

Brúarfrumsetning 1 (CCR): Breytur Markov-teppisins við samfelld mörk uppfylla kanónísku víxlunartengslin: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Nauðsynlegt til að meðhöndla mörkin sem virkjagildan skammtasvið).

Brúarfrumsetning 2 (Líking við Rindler-sjóndeildarhring): Sjóndeildarhringur markanna býr yfir víðtækri Lorentz-samhverfu og verkar á skammtasvið í tómarúmsástandi, stærðfræðilega hliðstætt hröðuðum Rindler-fleyg.

Brúarfrumsetning 3 (Haag-Kastler-mörk og klofningseiginleiki): Mörkunaralgebra rununnar hlýðir Haag-Kastler-netfrumsetningum AQFT: staðbundni, samdreifni og eiginleikum jákvæðs litrófsorkuflæðis. Enn fremur uppfyllir netið klofningseiginleika AQFT, sem staðfestir staðbundna type-I þætti sem gera kleift að takmarka sig við endanleg víddarrúm.

Setning P-2a (Skilyrtur Type III_1-þáttur): Gefnum brúarfrumsetningum 1, 2 og 3 á Bisognano-Wichmann-setningin (1975) skilyrt við. Mótflæðið sem hún framkallar varpast yfir á rúmfræðilega Lorentz-boostun. Flokkun Connes tryggir að sviðið sem mótar sjóndeildarhringinn verki nákvæmlega sem Type III_1 von Neumann-þáttur.

§4. P-2b: Hávaðaþol og ADH-vörpun

Alþjóðlega skilgreindur von Neumann-stuðull af gerð III_1 leyfir ekki staðlaðar endanlegar þéttleikafylkjur af rekjaflokki. Til að meta tvíhyggju rúmmáls og jaðars sem Almheiri, Dong og Harlow (ADH) settu fram verðum við að takmarka algebruna.

Brúarfrumsetning 4 (Knill-Laflamme-skilyrði): Klassíska kóðararöðin myndar í eðli sínu samfelldan Quantum Error-Correcting Code (QECC) sem uppfyllir nákvæm Knill-Laflamme-mörk.

Setning P-2b (Skilyrt ADH-hólógrafía): Að gefinni BP 4 og þeirri skýru klofningseiginleika-regluleiðréttingu sem BP 3 veitir, takmarkast algebran með skilyrðum við staðbundið endanlega víðaða röklega kóðaundirrýmið \mathcal{C}^{(\tau)}. Innan þessa takmarkaða undirrýmis er ytri jaðarhávaði síaður í gegnum Knill-Laflamme-vörpunina, þannig að staðbundnir rúmmálsvirkjar á jaðrinum endurheimtast í samræmi við ADH-setninguna.

§5. P-2c: Takmörkuð Stinespring-sporalgebra

Að leysa gagnaþjöppun stærðfræðilega krefst þess að hið klassíska grófkornunarskref W_\tau sé auðkennt við virkni aðlægðarvörpunar hlutísómetríska MERA-kortsins w_\tau^\dagger.

Samkvæmt útvíkkunarsetningu Stinesprings felur Completely Positive Trace-Preserving (CPTP)-vörpun í sér að til er almenn ísómetrísk útvíkkunar-/endurheimtargerð V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. Þessi almenna tilvistarsetning auðkennir ekki sjálfkrafa hina klassísku OPT-fylkju W_\tau sem sjálfa ísómetrína. Það auðkenni þarf að brúa.

Brúarfrumsetning 5 (Einingarbreytilega samkvæmur hávaði): Umhverfishávaði yfir vörpuðu rásinni metst sem stranglega einingarbreytilega samkvæm vörpun: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

Brúarfrumsetning 6 (Auðkenning ísómetrínu): Hin klassíska grófkornunarfylkja W_\tau þýðist með fullu sem CPTP-sporreikningur yfir umhverfinu á aðlægð nákvæmrar MERA-ísómetrínu w_\tau^\dagger.

Setning P-2c (Skilyrt takmörkuð ísómetrína): Að gefnum BP 4, BP 5 og BP 6 tekst að varpa hinu klassíska grófkornunaralgrími sem aðlægð hlutlægrar línulegrar ísómetrínu. Sönnunaraðferð: Nákvæm QECC á takmarkaða kóðaundirrýminu (BP 4) veitir almenna endurheimtanleika. Í stað þess að halda því fram að útvíkkunin framfylgi sjálfkrafa jafngildi innfeldna brúar BP 6 bilið með skýrum hætti með því að setja fram þá frumsetningu að hin klassíska fylkja þýðist með fullu sem sporþáttur skammtaútvíkkunarinnar. Þess vegna verkar hin klassíska vörpun, yfir endanlega víðu kóðaundirrýminu, aðgerðalega sem aðlægð mark-MERA-ísómetrínunnar.

§6. P-2d: Ryu-Takayanagi og Schmidt-röð

Klassískt rammaverk Kenningarinnar um raðaðan plástur (OPT) takmarkar samfellda rásargetu með vörpuninni \chi_\text{classical} = 2^{B_0/N}. Til þess að hún geti gilt sem gild nákvæm vídd Hilbert-rýmis fremur en sem samfelld virk kvarði, setur markvörpunin skýrt heiltöluskilyrðið 2^{B_0/N} \in \mathbb{Z}^+.

Setning P-2d (Skilyrt Ryu-Takayanagi-mark): Að gefinni farsælli útfærslu P-2c, sem takmarkar aðgerðirnar við nákvæmar línulegar ísómetríur, staðfestir vídd klassísku getuformsins (\chi_\text{classical}) formlega skammtalegu Schmidt-röðina (\chi_\text{quantum}) yfir tengi netsins. Þetta jafngildi framkallar með ströngum hætti hið stakbundna Ryu-Takayanagi-mark fyrir óreiðu.

Sönnunaraðferð: Þegar klassíska fylkið er skilyrt auðkennt sem sönn hlutísómetría (P-2c), takmarkar vídd vörpuðu rásarinnar sýndarrúmfræðileg tengi sem tengja MERA-hnútana. Í skammtaástandinu er hámarks tvískiptingarflækja yfir hvaða topólógísku jaðri sem er skýrt mótuð af lágmarksskurðinum \gamma_A, þar sem staðbundin vídd Hilbert-rýmis við hvern skurð ræðst af Schmidt-röð tengisins. Þar sem flöskuhálsgetan ákvarðar þessa röð (\chi_\text{classical} = \chi_\text{quantum}), setur rúmfræðilega flækjan formleg og ströng mörk yfir lágmarksskurðina: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Topólógísk samfella og Gleason-spor

Til að leiða Born-regluna af þarf að fara út fyrir tölfræðilegar hornalínulíkur og einangra utanhornalínuramma \rho_{zz'}.

Brúarfrumsetning 7 (Ósamhengisháðni Kochen-Specker): Líkindathlutunin sem tengist grein forspárúttaks er óháð öðrum gagnkvæmt sammælanlegum hornréttum ferlum.

Setning P-2e (Skilyrt framsetning Born-reglunnar): Að gefinni BP 7, og að því gefnu að varplíkurnar sem OPT-reikniritin úthluta myndi fullkomin stærðfræðileg rammaföll, leiðir setning Gleasons Born-regluna af með skilyrtum hætti.

Sönnunaraðferð: Lágmarksvíðmörkin sem eru staðfest með kvörðun hins endanlega staka grunnrúms fullnægja innbyggt skilyrðinu \dim(H) \ge 3. Ef gert er ráð fyrir að líkindalegar forspárgerðir fullnægi stærðfræðilegum kröfum fullmótaðs rammafalls \mu(P) sem leggst saman í 1, segir setning Gleasons (1957) að aðeins einn gildur líkindamælikvarði varpi rúmið: \mu(P) = \text{tr}(\rho_t\, P) Þessi niðurstaða framleiðir eingöngu spor Born-reglunnar og staðfestir þar með með skilyrtum hætti líkindalega vörpun skammtamötrunar yfirfærslu.

Þessum viðauka er viðhaldið sem hluta af OPT-verkefnageymslunni samhliða theoretical_roadmap.pdf. Heimildir: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).