Teorien om den ordnede patchen (OPT)

Opprinnelig oppgave P-2: Hilbert-rom via Quantum Error Correction Problem: Å vise til Gleasons teorem som en utledning av Born-regelen er delvis sirkulært, ettersom det forutsetter Hilbert-rommets geometri uten å utlede hvorfor det prediktive rommet antar denne formen. Leveranse: Analytisk utledning som viser at den logiske qubit-strukturen i et Hilbert-rom naturlig fremkommer fra at kodeken fungerer som en feilrettende kode.

Lukkingsstatus: BETINGET KORRESPONDANSE. Dette appendikset kartlegger broen fra klassisk informasjonsteori til kvantemekanikk. Det utleder ikke kvantefelt direkte fra primitivene i Teorien om den ordnede patchen (OPT), men etablerer snarere en streng betinget strukturell korrespondanse: det kartlegger nøyaktig hvilke fysiske egenskaper OPT-kodeken må oppfylle for at kvantemekanikken skal kunne fremtre fra den. Vi isolerer overgangen i eksplisitte bropostulater. Under disse betingelsene oppgraderes de strukturelle homologiene som er kartlagt i T-3 til rigide operatoralgebraiske isometrier, som håndhever diskrete Ryu-Takayanagi-grenser (P-2d) og isolerer Born-regelen (P-2e). Å utlede disse postulatene organisk fra OPT-rammeverkets fysikk forblir teoriens sentrale åpne problem.

§1. Den algebraiske utfordringen

Appendiks T-3 postulerte en strukturell homomorfi mellom den klassiske OPT-informasjonsflaskehalsalgoritmen og kvantebaserte MERA-tensornettverk. En rent klassisk stokastisk matrise kan imidlertid ikke isolere kvanteamplitudetilstander eller utføre unitariske operasjoner.

Å bygge bro over grensen mellom klassiske kapasitetsgrenser og kvantealgebra krever at problemet kartlegges funksjonelt. Vi isolerer betingelsene som må være oppfylt for å tvinge fram en partiell isometri. I stedet for å hevde en mikrofysisk kvanteavledning fra klassiske elementer, sporer vi de presise betingede postulatene der grensen avbildes til en faktor i algebraisk kvantefeltteori (AQFT) og genererer feilkorregerte topologiske isometrier.

§2. P-2.0: Innleiring i beregningsbasis

Før feltteoretiske postulater anvendes, må det diskrete klassiske OPT-alfabetet \mathcal{Z} matematisk avbildes inn i en kvanteberegningsbasis.

Bro-postulat 0 (Beregningsbasis): De diskrete klassiske tilstandene z \in \mathcal{Z} avbildes injektivt til en ortonormal beregningsbasis \{|z\rangle\} som utspenner et mål-Hilbert-rom \mathbb{C}^\chi.

Teorem P-2.0: Gitt Bro-postulat 0 løftes de klassiske disentangler-permutasjonsmatrisene U_\tau \in S_{|\mathcal{Z}|} uavhengig til eksakte unitariske operatorer som virker på permutasjonsundergruppen av U(\mathbb{C}^\chi).

Denne betingelsen sikrer den diskrete alfabetstrukturen som kreves for formelt å evaluere spor i etterfølgende endelig-dimensjonale trinn.

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

For å behandle kodek-grensen funksjonelt som en algebraisk kvantehorisont, må strenge grenser være oppfylt for å legitimere Bisognano-Wichmann-klassifikasjonsteoremet.

Bropostulat 1 (CCR): Variablene i Markov-teppet ved den kontinuerlige grensegrensen oppfyller de kanoniske kommutasjonsrelasjonene: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Påkrevd for å behandle grensen som et operatorverdig kvantefelt).

Bropostulat 2 (Rindler-horisont-analogi): Grensehorisonten besitter global Lorentz-symmetri og virker på et kvantefelt i vakuumtilstanden, matematisk analogt med en akselererende Rindler-kile.

Bropostulat 3 (Haag-Kastler-grenser og split-egenskap): Den avgrensende algebraen til sekvensen følger AQFTs Haag-Kastler-nettaksiomer: lokalitet, kovarians og egenskaper for positiv spektral energiflyt. Videre oppfyller nettet AQFTs split-egenskap, som etablerer lokale type-I-faktorer som tillater restriksjon til endelig-dimensjonale underrom.

Teorem P-2a (Betinget Type III_1-faktor): Gitt Bropostulat 1, 2 og 3, gjelder Bisognano-Wichmann-teoremet (1975) betinget. Den genererte modulære flyten avbildes til et geometrisk Lorentz-boost. Connes-klassifikasjonen garanterer at feltet som strukturerer horisonten, virker presist som en Type III_1 von Neumann-faktor.

§4. P-2b: Støyrobusthet og ADH-kartlegging

En globalt definert Type III_1-von Neumann-faktor tillater ikke standard endelig-dimensjonale tetthetsmatriser i trace-klassen. For å evaluere bulk-grense-dualiteten etablert av Almheiri, Dong og Harlow (ADH), må vi begrense algebraen.

Bro-postulat 4 (Knill-Laflamme-betingelser): Den klassiske kodeksekvensen danner iboende en kontinuerlig Quantum Error-Correcting Code (QECC) som oppfyller eksakte Knill-Laflamme-grenser.

Teorem P-2b (Betinget ADH-holografi): Gitt BP 4 og den eksplisitte split-property-regulariseringen gitt av BP 3, begrenses algebraen betinget til det lokalt endelig-dimensjonale logiske kodeunderrommet \mathcal{C}^{(\tau)}. Innenfor dette begrensede underrommet filtreres den eksterne grensestøyen gjennom Knill-Laflamme-kartleggingene, slik at lokale bulk-operatorer på grensen gjenfinnes i samsvar med ADH-teoremet.

§5. P-2c: Begrenset Stinespring-sporalgebra

Å løse datakomprimering matematisk krever at man identifiserer det klassiske grovkorningssteget W_\tau med virkningen til den partielle isometrien MERA-adjungerte avbildningen w_\tau^\dagger.

Ved Stinesprings dilatasjonsteorem innebærer en fullstendig positiv, sporbevarende (CPTP) avbildning at det eksisterer en generell isometrisk dilatasjons-/gjenopprettingsstruktur V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. Dette generelle eksistensteoremet identifiserer ikke i seg selv den klassiske OPT-matrisen W_\tau som selve isometrien. Denne identifikasjonen må bygges bro til.

Bropostulat 5 (Unitært kovariant støy): Omgivelsesstøyen over den avbildede kanalen evalueres som en strengt unitært kovariant avbildning: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

Bropostulat 6 (Isometri-identifikasjon): Den klassiske grovkorningsmatrisen W_\tau oversettes identisk som CPTP-sporberegningen over omgivelsene til den eksakte MERA-isometriens adjungerte w_\tau^\dagger.

Teorem P-2c (Betinget begrenset isometri): Gitt BP 4, BP 5 og BP 6, avbilder den klassiske grovkorningsalgoritmen vellykket som adjungerten til en partiell lineær isometri. Bevistilnærming: Eksakt QEC på det begrensede kodeundersrommet (BP 4) gir generell gjenopprettbarhet. I stedet for å hevde at dilatasjonen automatisk håndhever indre-produkt-ekvivalens, bygger BP 6 eksplisitt bro over gapet ved å postulere at den klassiske matrisen oversettes identisk som sporkomponenten i kvantedilatasjonen. Derfor virker den klassiske avbildningen operasjonelt, over det endelig-dimensjonale kodeundersrommet, som adjungerten til mål-isometrien i MERA.

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

Det klassiske OPT-rammeverket begrenser kontinuerlige kanalkapasiteter ved å avbilde grensene \chi_\text{classical} = 2^{B_0/N}. For å fungere som en gyldig eksakt Hilbert-rom-dimensjon snarere enn som en kontinuerlig effektiv skala, pålegger målavbildningen eksplisitt heltallskravet for kapasitet 2^{B_0/N} \in \mathbb{Z}^+.

Teorem P-2d (Betinget Ryu-Takayanagi-grense): Gitt en vellykket realisering av P-2c som begrenser operasjonene til eksakte lineære isometrier, etablerer den klassiske kapasitetsdimensjonen (\chi_\text{classical}) formelt den kvantemekaniske Schmidt-rangen (\chi_\text{quantum}) på tvers av nettverksbindingene. Denne ekvivalensen genererer strengt den diskrete Ryu-Takayanagi-entropigrensen.

Bevistilnærming: Når den klassiske matrisen betinget identifiseres som en ekte partiell isometri (P-2c), begrenser dimensjonen til den avbildede kanalen de virtuelle geometriske bindingene som forbinder MERA-nodene. I kvantetilstanden er den maksimale bipartitte sammenfiltringen over enhver topologisk grense eksplisitt strukturert av det minimale snittet \gamma_A, der den lokale Hilbert-rom-dimensjonen ved hvert snitt fastsettes av bindingens Schmidt-rang. Siden flaskehalskapasiteten bestemmer denne rangen (\chi_\text{classical} = \chi_\text{quantum}), avgrenser den geometriske sammenfiltringen seg formelt strengt over de minimale snittene: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Topologisk koherens og Gleason-spor

Å generere Born-regelen krever at man går utover statistiske diagonale sannsynligheter og isolerer off-diagonale rammer \rho_{zz'}.

Bropostulat 7 (Kochen-Specker ikke-kontekstualitet): Sannsynlighetstildelingen knyttet til en prediktiv utgangsgren er uavhengig av andre gjensidig sam-målbare ortogonale baner.

Teorem P-2e (Betinget formulering av Born-regelen): Gitt BP 7, og under antakelse av at de projektive sannsynlighetene som OPT-algoritmene tilordner, danner fullstendige matematiske rammefunksjoner, utleder Gleasons teorem betinget Born-regelen.

Bevistilnærming: De minimale dimensjonsbegrensningene som etableres ved skalering av det endelige diskrete basisrommet, oppfyller naturlig \dim(H) \ge 3. Dersom de probabilistiske prediktive strukturene oppfyller de matematiske kravene til en fullført rammefunksjon \mu(P) som summerer til 1, sier Gleasons teorem (1957) at det bare finnes ett gyldig sannsynlighetsmål som avbilder rommet: \mu(P) = \text{tr}(\rho_t\, P) Dette resultatet genererer utelukkende Born-regelens spor og validerer betinget den probabilistiske kvantematriseavbildningen av overgangen.

Dette appendikset vedlikeholdes som del av OPT-prosjektets repository sammen med theoretical_roadmap.pdf. Referanser: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).