Teorie uspořádaného patche

Původní úkol P-2: Hilbertův prostor prostřednictvím kvantové korekce chyb Problém: Odkazovat na Gleasonovu větu jako na odvození Bornova pravidla je částečně kruhové, protože předpokládá geometrii Hilbertova prostoru, aniž by odvodilo, proč prediktivní prostor nabývá právě této formy. Výstup: Analytické odvození ukazující, že logická struktura qubitu v Hilbertově prostoru přirozeně emerguje z kodeku fungujícího jako kód pro korekci chyb.

Stav uzavření: PODMÍNĚNÁ KORESPONDENCE. Tento dodatek mapuje most od klasické teorie informace ke kvantové mechanice. Sám o sobě neodvozuje kvantová pole z primitiv Teorie uspořádaného patche (OPT), nýbrž stanovuje přísnou podmíněnou strukturální korespondenci: přesně mapuje, jaké fyzikální vlastnosti musí splňovat kodek OPT, aby z něj mohla emergovat kvantová mechanika. Tento přechod izolujeme do explicitních Přemosťujících postulátů. Za těchto podmínek se strukturální homologie zmapované v T-3 povyšují na rigorózní operátorově algebraické izometrie, které vynucují diskrétní limity Ryu-Takayanagiho (P-2d) a izolují Bornovo pravidlo (P-2e). Organické odvození těchto postulátů z fyziky rámce OPT zůstává ústředním otevřeným problémem teorie.

§1. Algebraická výzva

Dodatek T-3 postuloval strukturální homomorfismus mezi klasickým algoritmem OPT Information Bottleneck a kvantovými tenzorovými sítěmi MERA. Čistě klasická stochastická matice však nemůže izolovat stavy kvantových amplitud ani provádět unitární operace.

Přemostění hranice mezi klasickými mezemi kapacity a kvantovou algebrou vyžaduje funkční zmapování problému. Izolujeme podmínky nutné k vynucení parciální izometrie. Namísto tvrzení, že mikrofyzikální kvantové odvození vychází z klasických prvků, sledujeme přesné podmíněné postuláty, za nichž se hranice zobrazuje na faktor algebraické kvantové teorie pole (AQFT) a generuje topologické izometrie s korekcí chyb.

§2. P-2.0: Vnoření výpočetní báze

Před aplikací postulátů teorie pole musí být diskrétní klasická abeceda OPT \mathcal{Z} matematicky zobrazena do kvantové výpočetní báze.

Přemosťující postulát 0 (Výpočetní báze): Diskrétní klasické stavy z \in \mathcal{Z} se injektivně zobrazují na ortonormální výpočetní bázi \{|z\rangle\}, která rozpíná cílový Hilbertův prostor \mathbb{C}^\chi.

Věta P-2.0: Za předpokladu Přemosťujícího postulátu 0 se klasické permutační matice disentangleru U_\tau \in S_{|\mathcal{Z}|} nezávisle pozvedají na přesné unitární operátory působící na permutační podgrupě U(\mathbb{C}^\chi).

Tato podmínka zajišťuje strukturu diskrétní abecedy potřebnou k formálnímu vyhodnocování stop v následujících konečně-dimenzionálních krocích.

§3. P-2a: Bisognano-Wichmannova klasifikace

Aby bylo možné hranici kodeku funkčně chápat jako algebraický kvantový horizont, musejí být splněny přísné limity, které opravňují použití klasifikační věty Bisognano-Wichmann.

Přemosťující postulát 1 (CCR): Proměnné Markovovy deky na spojitém hraničním limitu splňují kanonické komutační relace: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Nutné k tomu, aby bylo možné s hranicí zacházet jako s kvantovým polem s operátorovými hodnotami).

Přemosťující postulát 2 (analogie s Rindlerovým horizontem): Hraniční horizont vykazuje globální Lorentzovu symetrii a působí na kvantové pole ve vakuovém stavu, matematicky analogicky k urychlované Rindlerově klínové oblasti.

Přemosťující postulát 3 (Haag-Kastlerovy limity a vlastnost split): Omezující algebra posloupnosti splňuje axiomy sítě Haag-Kastler v AQFT: lokalitu, kovarianci a vlastnosti kladného spektrálního toku energie. Síť dále splňuje v AQFT vlastnost split, čímž ustavuje lokální faktory typu I, které umožňují omezení na konečněrozměrné podprostory.

Věta P-2a (podmíněný faktor typu III_1): Za předpokladu Přemosťujících postulátů 1, 2 a 3 se podmíněně uplatní Bisognano-Wichmannova věta (1975). Generovaný modulární tok se zobrazuje na geometrický Lorentzův boost. Connesova klasifikace zaručuje, že pole strukturující horizont působí přesně jako von Neumannův faktor typu III_1.

§4. P-2b: Odolnost vůči šumu a mapování ADH

Globálně definovaný von Neumannův faktor typu III_1 nepřipouští standardní konečně-dimenzionální maticové hustoty třídy trace. Abychom mohli vyhodnotit dualitu bulk–boundary ustavenou Almheirim, Dongem a Harlowem (ADH), musíme algebru omezit.

Přemosťující postulát 4 (podmínky Knill-Laflamme): Sekvence klasického kodeku inherentně tvoří spojitý Quantum Error-Correcting Code (QECC), který splňuje přesné meze Knill-Laflamme.

Věta P-2b (podmíněná holografie ADH): Za předpokladu BP 4 a explicitní regularizace vlastností split-property poskytnuté BP 3 se algebra podmíněně omezuje na lokálně konečně-dimenzionální logický kódový podprostor \mathcal{C}^{(\tau)}. V rámci tohoto omezeného podprostoru je externí hraniční šum filtrován prostřednictvím mapování Knill-Laflamme, čímž se na hranici obnovují lokální bulkové operátory v souladu s větou ADH.

§5. P-2c: Omezená Stinespringova algebra stopy

Matematické vyřešení komprese dat vyžaduje ztotožnit klasický krok hrubozrnnění W_\tau s působením adjungovaného zobrazení parciální izometrie MERA w_\tau^\dagger.

Podle Stinespringovy věty o dilataci zobrazení Completely Positive Trace-Preserving (CPTP) implikuje, že existuje obecná izometrická dilatační/rekonstrukční struktura V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. Tato obecná existenční věta sama o sobě neidentifikuje klasickou matici OPT W_\tau jako izometrii samu. Toto ztotožnění musí být přemostěno.

Přemosťující postulát 5 (Unitárně kovariantní šum): Šum prostředí nad mapovaným kanálem se vyhodnocuje jako striktně unitárně kovariantní zobrazení: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

Přemosťující postulát 6 (Identifikace izometrie): Klasická matice hrubozrnnění W_\tau se identicky překládá jako CPTP stopa počítaná přes prostředí exaktního adjunktu izometrie MERA w_\tau^\dagger.

Věta P-2c (Podmíněná omezená izometrie): Za předpokladu BP 4, BP 5 a BP 6 se algoritmus klasického hrubozrnnění úspěšně mapuje jako adjunkt parciální lineární izometrie. Postup důkazu: Exaktní QEC na omezeném kódovém podprostoru (BP 4) poskytuje obecnou rekonstruovatelnost. Namísto tvrzení, že dilatace automaticky vynucuje ekvivalenci vnitřního součinu, BP 6 tuto mezeru explicitně přemosťuje postulátem, že klasická matice se identicky překládá jako stopová komponenta kvantové dilatace. Proto na konečně dimenzionálním kódovém podprostoru klasické zobrazení operačně působí jako adjunkt cílové izometrie MERA.

§6. P-2d: Ryu-Takayanagi a Schmidtova hodnost

Klasický rámec OPT omezuje kapacity spojitých kanálů mapováním hranic \chi_\text{classical} = 2^{B_0/N}. Aby toto cílové mapování fungovalo jako platná přesná dimenze Hilbertova prostoru, a nikoli jako spojité efektivní měřítko, explicitně zavádí celočíselné omezení kapacity 2^{B_0/N} \in \mathbb{Z}^+.

Věta P-2d (Podmíněná mez Ryu-Takayanagiho): Za předpokladu úspěšné realizace P-2c, která omezuje operace na přesné lineární izometrie, klasická dimenze kapacity (\chi_\text{classical}) formálně ustavuje kvantovou Schmidtovu hodnost (\chi_\text{quantum}) napříč vazbami sítě. Tato ekvivalence striktně generuje diskrétní entropickou mez Ryu-Takayanagiho.

Postup důkazu: Je-li klasická matice podmíněně identifikována jako skutečná parciální izometrie (P-2c), dimenze mapovaného kanálu omezuje virtuální geometrické vazby propojující uzly MERA. V kvantovém stavu je maximální bipartitní provázání napříč libovolnou topologickou hranicí explicitně strukturováno minimálním řezem \gamma_A, přičemž lokální dimenze Hilbertova prostoru v každém řezu je dána Schmidtovou hodností dané vazby. Protože kapacita úzkého hrdla tuto hodnost určuje (\chi_\text{classical} = \chi_\text{quantum}), geometrické provázání je formálně striktně omezeno přes minimální řezy: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Topologická koherence a Gleasonovy stopy

Odvození Bornova pravidla vyžaduje překročit rámec statistických diagonálních pravděpodobností a izolovat nediagonální rámce \rho_{zz'}.

Přemosťující postulát 7 (Kochen-Speckerova nekontextualita): Přiřazení pravděpodobnosti spojené s větví prediktivního výstupu je nezávislé na jiných vzájemně společně měřitelných ortogonálních drahách.

Věta P-2e (Podmíněná formulace Bornova pravidla): Za předpokladu BP 7, a pokud projektivní pravděpodobnosti přiřazené algoritmy OPT tvoří úplné matematické rámcové funkce, Gleasonova věta podmíněně odvozuje Bornovo pravidlo.

Postup důkazu: Minimální dimenzionální omezení stanovená škálováním konečného diskrétního bázového prostoru přirozeně splňují \dim(H) \ge 3. Za předpokladu, že pravděpodobnostní prediktivní struktury splňují matematické požadavky úplné rámcové funkce \mu(P), která se sčítá do 1, Gleasonova věta (1957) říká, že existuje pouze jediná platná pravděpodobnostní míra zobrazení prostoru: \mu(P) = \text{tr}(\rho_t\, P) Tento výsledek generuje výhradně stopu Bornova pravidla, a tím podmíněně potvrzuje pravděpodobnostní přechodové mapování kvantové matice.

Tato příloha je spravována jako součást projektového repozitáře OPT spolu s theoretical_roadmap.pdf. Reference: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).