Ordered Patch Theory

Eredeti P-2 feladat: Hilbert-tér kvantumhiba-korrekción keresztül Probléma: A Born-szabály levezetésének Gleason-tételre való hivatkozása részben körkörös, mivel előfeltételezi a Hilbert-tér geometriáját anélkül, hogy levezetné, miért éppen ezt a formát ölti a prediktív tér. Elvárt eredmény: Olyan analitikus levezetés, amely megmutatja, hogy a Hilbert-tér logikai qubit-struktúrája természetes módon a kodek hibajavító kódként való működéséből emelkedik ki.

Lezárási státusz: FELTÉTELES MEGFELELTETÉS. Ez a függelék a klasszikus információelmélet és a kvantummechanika közötti hidat térképezi fel. Nem vezeti le közvetlenül a kvantumtereket A rendezett patch elmélete (OPT) primitívumaiból, hanem egy szigorú feltételes strukturális megfeleltetést állapít meg: pontosan feltérképezi, milyen fizikai tulajdonságoknak kell megfelelnie az OPT kodekjének ahhoz, hogy a kvantummechanika abból kibontakozhasson. Az átmenetet explicit Híd-posztulátumokba különítjük el. E feltételek mellett a T-3-ban feltérképezett strukturális homológiák szigorú operátoralgebrai izometriákká erősödnek, kikényszerítve a diszkrét Ryu–Takayanagi-határokat (P-2d), és elkülönítve a Born-szabályt (P-2e). E posztulátumok organikus levezetése az OPT keretfizikájából továbbra is az elmélet központi nyitott problémája.

§1. Az algebrai kihívás

A T-3. függelék strukturális homomorfizmust tételezett a klasszikus OPT információszűk keresztmetszet algoritmusa és a kvantumos MERA tenzorhálózatok között. Egy tisztán klasszikus sztochasztikus mátrix azonban nem képes kvantum-amplitúdóállapotokat izolálni vagy unitér műveleteket végrehajtani.

A klasszikus kapacitáskorlátok és a kvantumalgebra közötti határ áthidalása megköveteli, hogy a problémát funkcionális leképezésként fogalmazzuk meg. Elkülönítjük azokat a feltételeket, amelyek egy parciális izometria kikényszerítéséhez szükségesek. Ahelyett, hogy klasszikus elemekből kiinduló mikrofizikai kvantumlevezetést állítanánk, pontosan azokat a feltételes posztulátumokat követjük végig, amelyek mellett a határ egy algebrai kvantumtérelméleti (AQFT) faktorra képeződik le, és hibajavított topológiai izometriákat generál.

§2. P-2.0: A számítási bázis beágyazása

A térelméleti posztulátumok alkalmazása előtt a diszkrét OPT klasszikus ábécét, \mathcal{Z}-t matematikailag le kell képezni egy kvantumos számítási bázisba.

0. hídként szolgáló posztulátum (számítási bázis): A diszkrét klasszikus állapotok, z \in \mathcal{Z}, injektíven leképeződnek egy ortonormált számítási bázisra, \{|z\rangle\}-re, amely egy cél-Hilbert-teret, \mathbb{C}^\chi-t feszít ki.

P-2.0 tétel: A 0. hídként szolgáló posztulátum mellett a klasszikus disentangler permutációs mátrixok, U_\tau \in S_{|\mathcal{Z}|}, egymástól függetlenül pontos unitér operátorokká emelhetők át, amelyek az U(\mathbb{C}^\chi) permutációs részcsoportján hatnak.

Ez a feltétel biztosítja azt a diszkrét ábécészerkezetet, amely a nyomok formális kiértékeléséhez szükséges a későbbi véges dimenziós lépésekben.

§3. P-2a: A Bisognano–Wichmann-osztályozás

Ahhoz, hogy a kodek határát funkcionálisan algebrai kvantumhorizontként kezelhessük, szigorú feltételeknek kell teljesülniük a Bisognano–Wichmann-osztályozási tétel alkalmazhatóságához.

1. hídelv (CCR): A Markov-takaró változói a folytonos határesetben kielégítik a kanonikus kommutációs relációkat: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Ez szükséges ahhoz, hogy a határt operátorértékű kvantummezőként kezelhessük).

2. hídelv (Rindler-horizont analógia): A határhorizont globális Lorentz-szimmetriával rendelkezik, és a vákuumállapotban lévő kvantummezőn hat; matematikailag ez egy gyorsuló Rindler-ék analógiája.

3. hídelv (Haag–Kastler-határok és split tulajdonság): A sorozatot határoló algebra eleget tesz az AQFT Haag–Kastler-háló axiómáinak: lokalitás, kovariancia és pozitív spektrális energiaáramlási tulajdonságok. Továbbá a háló kielégíti az AQFT split tulajdonságot, létrehozva lokális I-es típusú faktorokat, amelyek lehetővé teszik a véges dimenziós alterekre való korlátozást.

P-2a tétel (Feltételes III_1 típusú faktor): Az 1., 2. és 3. hídelv fennállása esetén a Bisognano–Wichmann-tétel (1975) feltételesen alkalmazható. Az általa generált moduláris áramlás egy geometriai Lorentz-boostnak felel meg. A Connes-féle osztályozás garantálja, hogy a horizontot strukturáló mező pontosan egy III_1 típusú von Neumann-faktorként működik.

§4. P-2b: Zajállóság és ADH-leképezés

Egy globálisan definiált III_1 típusú von Neumann-faktor nem enged meg standard, véges dimenziós, trace-osztályú sűrűségmátrixokat. Az Almheiri, Dong és Harlow (ADH) által megalapozott bulk–boundary dualitás értékeléséhez korlátoznunk kell az algebrát.

4. hídtétel (Knill–Laflamme-feltételek): A klasszikus kodekszekvencia inherens módon egy folytonos Quantum Error-Correcting Code-ot (QECC) alkot, amely kielégíti az egzakt Knill–Laflamme-korlátokat.

P-2b tétel (Feltételes ADH-holográfia): A 4. hídtétel, valamint a 3. hídtétel által biztosított explicit split-property regularizáció mellett az algebra feltételesen a lokálisan véges dimenziós logikai kódrészterére, \mathcal{C}^{(\tau)}-ra korlátozható. E korlátozott résztéren belül a külső határzaj a Knill–Laflamme-leképezéseken keresztül szűrődik, és így a határon helyi bulk-operátorok állnak helyre az ADH-tétellel összhangban.

§5. P-2c: Korlátozott Stinespring-nyomalgebra

Az adattömörítés matematikai feloldása megköveteli, hogy a klasszikus durvítási lépést, W_\tau-t, azonosítsuk a parciális izometria MERA-adjungált leképezésének, w_\tau^\dagger-nek a hatásával.

Stinespring dilatációs tétele szerint egy teljesen pozitív, nyommegőrző (CPTP) leképezés implikálja, hogy létezik egy általános izometrikus dilatációs/visszaállítási struktúra, V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. Ez az általános létezési tétel önmagában nem azonosítja az OPT klasszikus W_\tau mátrixát magával az izometriával. Ezt az azonosítást külön híddal kell megteremteni.

5. hídfeltevés (uniter kovariáns zaj): A leképezett csatornán fellépő környezeti zaj szigorúan uniter kovariáns leképezésként értékelődik: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

6. hídfeltevés (izometria-azonosítás): A klasszikus durvítási mátrix, W_\tau, azonos módon fordítható le a pontos MERA-izometria adjungáltja, w_\tau^\dagger környezetre vett CPTP nyomképzésére.

P-2c tétel (feltételes korlátozott izometria): BP 4, BP 5 és BP 6 fennállása mellett a klasszikus durvítási algoritmus sikeresen leképezhető egy parciális lineáris izometria adjungáltjaként. Bizonyítási megközelítés: A korlátozott kódrészterén végzett egzakt QECC (BP 4) általános visszaállíthatóságot biztosít. Ahelyett, hogy azt állítanánk, a dilatáció automatikusan kikényszeríti a belsőszorzat-egyenértékűséget, BP 6 kifejezetten áthidalja ezt a rést azzal a posztulátummal, hogy a klasszikus mátrix azonos módon fordítható le a kvantumdilatáció nyomkomponenseként. Következésképpen a véges dimenziójú kódrészteren a klasszikus leképezés műveletileg a cél-MERA-izometria adjungáltjaként működik.

§6. P-2d: Ryu-Takayanagi és Schmidt-rang

A klasszikus OPT-keretrendszer a folytonos csatornakapacitásokat a \chi_\text{classical} = 2^{B_0/N} korláton keresztül határolja be. Ahhoz, hogy ez érvényes egzakt Hilbert-térdimenzióként működjön, ne pedig folytonos effektív skálaként, a célleképezés kifejezetten előírja az egész kapacitási megszorítást: 2^{B_0/N} \in \mathbb{Z}^+.

P-2d tétel (Feltételes Ryu-Takayanagi-korlát): Feltéve, hogy a P-2c sikeresen megvalósul, és a műveleteket egzakt lineáris izometriákra korlátozza, a klasszikus kapacitásdimenzió (\chi_\text{classical}) formálisan meghatározza a kvantumos Schmidt-rangot (\chi_\text{quantum}) a hálózati kötések mentén. Ez az ekvivalencia szigorúan létrehozza a diszkrét Ryu-Takayanagi-entrópiakorlátot.

Bizonyítási vázlat: Ha a klasszikus mátrix feltételesen valódi parciális izometriaként azonosítható (P-2c), akkor a leképezett csatorna dimenziója korlátozza a MERA-csomópontokat összekötő virtuális geometriai kötéseket. A kvantumállapotban bármely topológiai határon átnyúló maximális bipartit összefonódást a minimális vágás, \gamma_A, explicit módon strukturálja, miközben az egyes vágásoknál a lokális Hilbert-tér dimenzióját a kötés Schmidt-rangja határozza meg. Mivel a szűk keresztmetszet kapacitása szabja meg ezt a rangot (\chi_\text{classical} = \chi_\text{quantum}), a geometriai összefonódás formálisan szigorúan a minimális vágások mentén korlátozott: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Topológiai koherencia és Gleason-nyomok

A Born-szabály levezetéséhez túl kell lépni a statisztikai diagonális valószínűségeken, és el kell különíteni az off-diagonális kereteket, \rho_{zz'}.

Hídposztulátum 7 (Kochen–Specker-féle nem-kontextualitás): A prediktív kimeneti ághoz rendelt valószínűségi hozzárendelés független más, kölcsönösen együttmérhető ortogonális útvonalaktól.

P-2e tétel (a Born-szabály feltételes formulációja): Adott a BP 7, és feltételezve, hogy az OPT algoritmusai által hozzárendelt projektív valószínűségek teljes matematikai keretfüggvényeket alkotnak, Gleason tétele feltételesen levezeti a Born-szabályt.

Bizonyítási megközelítés: A véges diszkrét bázistér skálázásával megállapított minimális dimenzionális korlátok eleve kielégítik a \dim(H) \ge 3 feltételt. Feltételezve, hogy a valószínűségi prediktív struktúrák kielégítik egy teljes keretfüggvény \mu(P) matematikai követelményeit, amelynek összege 1, Gleason tétele (1957) kimondja, hogy a térre való leképezésnek csak egyetlen érvényes valószínűségi mértéke van: \mu(P) = \text{tr}(\rho_t\, P) Ez az eredmény kizárólag a Born-szabály nyomát generálja, és feltételesen igazolja a valószínűségi kvantummátrix-leképezési átmenetet.

Ez a függelék az OPT projekt repozitóriumának részeként kerül karbantartásra a theoretical_roadmap.pdf mellett. Hivatkozások: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).