Kenningin um raðaðan patch (OPT)

Upprunalegt verkefni T-2: Afleiðing almennu afstæðiskenningarinnar með óreiðuþyngdarafli Vandamál: Forprentið lýsir þyngdarafli á hugtakalegan hátt sem „myndgerðarkostnaði“ yfir Markov-teppið, en nýtir ekki þá stærðfræði sem er tiltæk. Afhending: Formleg afleiðing sem kemur í stað leiðsagnarkenndra staðhæfinga um þyngdarafl með nákvæmu stærðfræðilegu kerfi Verlindes.

Lokunarstaða: LEYST AÐ HLUTA (formgerðarsamsvörun staðfest; formleg afleiðing enn opin). Þessi viðauki setur fram þá markmiðuðu formgerðarkortlagningu sem T-2 krefst. Hann kemur í stað leiðsagnarkenndrar skýringar á þyngdarafli í forprenti §7.2 með nákvæmu kerfi Verlindes, endursett í kóðaramáli OPT. Hann staðfestir sterkar samsvaranir fyrir myndgerðarrófu, lögmál Newtons og sviðsjöfnur Einsteins. Hins vegar eru nokkrar burðarforsendur brúunar nauðsynlegar (innflutningur á formúlu Unruhs, Einstein-Hilbert-fallstæðinu og kyrrstæðu ergódísku jafnvægi), sem gerir þetta að formgerðarkortlagningu fremur en lokaðri afleiðingu.

§1. Myndgerðarröskun — formleg skilgreining

Óformlega hugtakið um kostnað myndgerðar í §7.2 í forprentinu er hér formgert sem myndgerðarröskun, grundvölluð á flatarmálslögmálinu sem sett er fram í §3.4 með röskun forspárskurðarins S_{\text{cut}}(A).

1.1 Skilgreining

Látum A \subset V vera athugandaplástur á hvarfefnisritinu G, með jaðarskel \partial_R A. Myndgerðaróreiðan S_{\text{render}}(A, t) er formlega skilgreind sem gagnkvæmar upplýsingar á jaðrinum milli plástursins og ytra svæðisins:

S_{\text{render}}(A, t) := I\!\left(X_{\partial_R A} \,;\, X_{V \setminus A}\right)

Ef við gerum ráð fyrir að dulda ástandið Z_t virki sem nægjanleg tölfræðistærð sem geti fangað nákvæmlega þær upplýsingar sem X_{V \setminus A} afhjúpar um X_{\partial_R A}, setjum við fram að þessi jaðarfylgni samleiti formgerðarlega að innri skilyrtri óvissu kóðarans: S_{\text{render}}(A, t) \sim H\!\left( X_{\partial_R A} \mid Z_t \right). Flatarmálsmörkin leiða af formgerðarlegu Markov-skimunarskilyrðinu X_{A^\circ} \perp X_{V \setminus A} \mid X_{\partial_R A} sem er sett fram í §3.4 (forprent jöfnur 7–8):

S_{\text{render}}(A, t) \leq \lvert\partial_R A\rvert \cdot \log q =: S_{\max}(A)

þar sem q er stafrófsstærð staðbundna ástandsgeimsins og |\partial_R A| er fjöldi jaðarsæta. Ef hvarfefnisritið nálgar d-vítt grindarnet, þá gildir að |\partial_R A| \sim \text{Area}(\partial A), sem staðfestir að S_{\text{render}} er flatarmálsstærð en ekki rúmmálsstærð.

1.2 Staðbundinn óreiðuþéttleiki myndgerðar

Fyrir samfellda nálgun (gilda á kvörðum sem eru miklu stærri en grindarbilið l_{\text{codec}} = 1/\sqrt{C_{\max}} — með þeirri athugasemd að l_{\text{codec}} helst formlega ótúlkað víddarlega sem rúmlengd þar til skýr kvarðagreining er sett fram í T-5):

S_{\text{render}}(A) = \int_{\partial A} s(x)\, dA

þar sem s(x) [bitar/flatareiningu] er staðbundinn óreiðuþéttleiki myndgerðar á jaðarpunktinum x. Í fjarveru uppsprettna er s(x) = (\log q)/l_{\text{codec}}^2 einsleitt. Staðbundin samþjöppun forspárhleðslu (sjá §2) raskar s(x) frá þessu grunnástandi og myndar óreiðuhallann sem knýr óreiðukraftinn.

§2. Forspárhleðsla — Kóðarahliðstæða massa

Í ramma Verlindes kemur massi M inn í gegnum jafnskiptingarsetninguna eins og henni er beitt á hólógrafíska skjáinn. OPT krefst samsvarandi mótparts í kóðarafræði sem er skilgreindur sjálfstætt áður en nokkur þyngdarfræðileg fullyrðing er sett fram.

2.1 Skilgreining

forspárhleðsla Q_M upprunasvæðis M \subset V er formlega skilgreind eingöngu sem kyrrstæð staðbundin gagnkvæm upplýsingamæling milli innri ástanda M og Markov-teppis jaðars athugandans yfir eina lotu kóðarans:

Q_M := I\!\left(X_M \,;\, X_{\partial_R A}\right)

Við rökstyðjum hliðstæðu við T-1 með því að varpa Q_M \approx R_{\text{req}}(h, D_{\min} \mid M) \cdot \Delta t. Þessi nálgun kallar með skýrum hætti á stóra, ósannaða forsendu um kyrrstætt ergódískt jafnvægi: að tengja tímalegan forspárhraða (R_{\text{req}} \cdot \Delta t) beint við kyrrstæða staðbundna jaðarfylgni (I). Nákvæm skilyrði fyrir þessari jöfnu eru enn opið formlegt skarð. Undir þessari nálgun varpast Q_M hugtakalega yfir á þann fjölda bita í hverri lotu kóðarans sem uppsprettan M þvingar inn á jaðarframsetningu athugandans. Þetta er upplýsingafræðileg skilgreining massa: ekki tregða, ekki orkuþéttleiki í sjálfu sér, heldur nauðbundið forspárálag.

2.2 Hlutfallsleiki við tregðumassa

Fyrir stórsæja stöðuga uppsprettu sem uppfyllir Stöðugleikasíuna gerum við ráð fyrir beinu formgerðarlegu hlutfalli milli fylgnibitatölunnar Q_M og heildarorkunnar E_M sem er bundin innan svæðisins. Til að forðast að rugla saman kyrrstæðum gagnkvæmum upplýsingum og virkum, varmafræðilega óafturkræfum eyðingarmörkum Landauers flytjum við hér beinlínis inn jaðarmörkin sem skilgreina:

E_M = Q_M c_{\text{codec}}^2

Hlutfallið Q_M \propto M — hinn hefðbundni tregðumassi — gildir formgerðarlega með þeirri forsendu að staðlaða afstæðisfræðilega samsvörunin E_M = M c^2 varpist ytra. Þetta kemur á hugtakalegri brú frá upplýsingalegum mörkum kóðarans til staðlaðra jafngilda í eðlisfræði, sem er formlega frestað til skýrs kvarðafasta \alpha sem tengir bita við massa.

§3. OPT–Verlinde-orðabókin

Áður en stærðfræðinni er beitt gerum við skýra samsvörunina milli Verlinde (2011) [38] og OPT. Þetta kemur í veg fyrir að afleiðslan erfi forsendur staðlaðrar óreiðuþyngdarfræði sem OPT hefur ekki unnið sér inn.

§4. Afleiðsla andhverfa ferningslögmáls Newtons

Við framkvæmum nákvæman þriggja þrepa verkhátt Verlindes — óreiðu skjásins, jafnskiptingu, óreiðukraft — alfarið innan kóðaramáls OPT.

4.1 Yfirborðsþyngd kóðara og hitastig jaðars

Lítum á kúlulaga Markov-teppi með radíus r sem umlykur uppsprettu forspárhleðslu Q_M. Í hverjum jaðarpunkti x \in \partial A vörpum við með formgerðarlegum hætti klassískum stigul hallatölu skalarspennu yfir á útvísandi óreiðustigul og skilgreinum þar með yfirborðsþyngd kóðara:

\kappa(x) := c_{\text{codec}}^2 \cdot \partial_n \log s(x)

þar sem c_{\text{codec}} er hámarkshraði orsakatengdrar útbreiðslu í myndgerða plástrinum (auðkenndur sem c í forprentun §7.2), og \partial_n er útvísandi normalafleiða.

Forsenda T-2.A (geislasamhverft óreiðusnið). Truflanasnið óreiðu fyrir samsæta forspárhleðslu Q_M er geislasamhverft, með stigul sem er í hlutfalli við Q_M/r^2. Þetta er formgerðarlega jafngilt stigli Newtonsks spennumáttar; það er tekið inn sem formgerðarlegt inntak, ekki leitt af frumsendum OPT. Endurheimt lögmáls Newtons hér á eftir er því skilyrt afleiðsla sem veltur á þessari forsendu, en ekki lokuð afleiðsla.

Undir Forsendu T-2.A einfaldast \kappa fyrir samsæta uppsprettu Q_M í upprunanum í:

\kappa = \frac{Q_M c_{\text{codec}}^2}{4\pi r^2 \cdot s_0}

þar sem s_0 = (\log q)/l_{\text{codec}}^2 er grunnástandsþéttleiki myndgerðaróreiðu.

Hitastig jaðars kóðara er:

T_{\text{codec}} = \frac{\hbar_c \,\kappa}{2\pi k_B}

þar sem \hbar_c = 1/C_{\max} er minnsti skammtur upplýsingalegrar verkunar — hliðstæða kóðarans við minnkaða Planck-fastann.

4.2 Skref 1 — Fjöldi bita á skjánum

Fyrir kúlulaga mörk með geisla r og yfirborðsflatarmál 4\pi r^2:

N = \frac{4\pi r^2}{l_{\text{codec}}^2} \cdot \log q = S_{\max}(r)

4.3 Skref 2 — Jafnskipting ákvarðar T_{\text{codec}}

Samkvæmt jafnskiptingarlögmálinu, beittu á N óháða hami kóðarans á skjánum:

Q_M c_{\text{codec}}^2 = \tfrac{1}{2} N k_B T_{\text{codec}}

Leyst fyrir hitastigið:

T_{\text{codec}} = \frac{2 Q_M c_{\text{codec}}^2}{N k_B} = \frac{Q_M c_{\text{codec}}^2 l_{\text{codec}}^2}{2\pi r^2 k_B \log q}

Samkvæmniskvöð: Að setja þetta jafnskiptingarhitastig jafnt Unruh-hitastiginu sem leitt var af í §4.1 (T_{\text{codec}}^{\text{Unruh}} = \frac{\hbar_c Q_M c_{\text{codec}}^2 l_{\text{codec}}^2}{8\pi^2 k_B r^2 \log q}) leggur á strangt formlegt skilyrði, \hbar_c = 4\pi. Í náttúrulegum einingum kóðarans sem teknar eru upp í §4.5 (c_{\text{codec}} = 1) krefst þetta að \hbar_c / l_{\text{codec}}^2 = 4\pi. Í eðlisfræðilegum einingum er þetta jafngilt skilyrðinu á C_{\max} sem bent er á í §7.2, og það er leyst í T-5.

4.4 Skref 3 — Entropíubreyting fyrir prófunarplásturinn

Prófunarplástur með forspárhleðslu m_p, sem færist um \Delta x í átt að uppsprettunni, breytir skörun sinni við jaðarframsetninguna. Við flytjum beinlínis inn formúlu Unruh-áhrifanna sem formlega samsvörun við mörk kóðarans:

\Delta S_{\text{render}} = \frac{2\pi k_B m_p c_{\text{codec}}}{\hbar_c} \cdot \Delta x

(Athugið: Þar sem við erum að flytja inn þessa Lorentz-samhverfuformúlu fremur en að leiða hana af grindinni, þjónar afleiðing kraftsins hér á eftir eingöngu sem samkvæmnisprófun á þessari vörpun.)

4.5 Skref 4 — Entrópíski krafturinn

Formúla Verlindes fyrir entrópískan kraft, F = T_{\text{codec}} \cdot \Delta S_{\text{render}}/\Delta x, gefur:

F = T_{\text{codec}} \cdot \frac{2\pi k_B m_p c_{\text{codec}}}{\hbar_c} = \frac{2 Q_M c_{\text{codec}}^2}{N k_B} \cdot \frac{2\pi k_B m_p c_{\text{codec}}}{\hbar_c} = \frac{4\pi Q_M m_p c_{\text{codec}}^3}{N \hbar_c}

Með því að setja N = 4\pi r^2 \log q / l_{\text{codec}}^2, og setja jafnframt \hbar_c = l_{\text{codec}}^2 ásamt skýrt tilgreindum víddarbreytistuðli fyrir vörpun bita yfir í massa, \alpha: \alpha er breytistuðull frá bitum til massa með víddir [\alpha] = \text{kg}/\text{bit} (í SI-einingum), sem verður ákvarðaður með samsömuninni l_{\text{codec}} \to \ell_P í T-5.

\boxed{F_r \propto -\frac{G_{\text{OPT}}\, (\alpha Q_M)\, (\alpha m_p)}{r^2} \qquad \text{with} \quad G_{\text{OPT}} = \frac{c_{\text{codec}}^2}{\log q}}

Með því að endurheimta táknmál forprentunarinnar, \lambda = G_{\text{OPT}}/(4\pi), fellur þetta stærðfræðilega að jöfnu (15) í forprentuninni: F_r = -\lambda m Q_M / (4\pi r^2). Andhverfa ferningslögmál Newtons fæst aftur sem formgerðarsamsvörun, að víddarbreytistuðlinum \alpha^2 frátöldum; nákvæm útreikningur hans er frestað til T-5.

§5. Afleiðing sviðsjafna Einsteins

Lögmál Newtons (§4) staðfestir kyrrstætt veik-sviðamarkið. Til að endurheimta fulla almenna afstæðiskenningu fylgjum við varmafræðilegri aðferð Jacobsons (1995): leggjum Clausius-sambandið \delta Q = T\,\delta S á myndgerðaróreiðuna fyrir sérhvern staðbundinn Rindler-líkan sjóndeildarhring í kóðaranum.

5.1 Uppsetning — staðbundnir Rindler-sjóndeildarhringir í kóðaranum

Lítum á sérhvern punkt p í myndgerðu rúmtímanum. Orsakaskipan kóðarans skilgreinir staðbundinn Rindler-sjóndeildarhring \mathcal{H} — mörk fortíðar jafnt hraðvaxandi athuganda innan kóðarans. Lykilþættirnir eru:

• Myndgerðaróreiða \mathcal{H}: Við tökum hér formlega og með skýrum hætti upp Bekenstein-Hawking-úthlutun óreiðu og vörpum flatarmálslögmálinu beint yfir: dS_{\text{render}} := \frac{c_{\text{codec}}^3}{4G_{\text{OPT}}\,\hbar_c}\, dA Athugið: Þessi tiltekni stuðull varpar flatarmálsmörkuninni þannig yfir að hún fylgi hlutfallslega S_{\text{render}} \propto A, en nákvæmi tölulegi fastinn hér er bein skilgreining sem er tekin upp til samræmis við staðlaða eðlisfræði, fremur en algebruleiðsla sem er stranglega dregin út úr hreinum mörkum kóðarans.

• Yfirborðsþyngd kóðarans \kappa: Við staðbundna Rindler-sjóndeildarhringinn gildir \kappa = c_{\text{codec}}^2/l_\mathcal{H}. Hitastig kóðarans er T_{\text{codec}} = \hbar_c \kappa/(2\pi).

• Varmastreymi \delta Q: Streymi forspárhleðslu um dA á eigintímanum d\tau er: \delta Q_{\text{pred}} = T^{\text{pred}}_{\mu\nu}\, k^\mu k^\nu\, dA\, d\tau þar sem T^{\text{pred}}_{\mu\nu} er forspár-spennuorkuþinurinn og k^\mu er núllmyndari \mathcal{H}.

5.2 Clausius-sambandið

Clausius-sambandið \delta Q_{\text{pred}} = T_{\text{codec}}\, \delta S_{\text{render}} beitt á sérhvern staðbundinn Rindler-sjóndeildarhring gefur:

T^{\text{pred}}_{\mu\nu}\, k^\mu k^\nu = \frac{c_{\text{codec}}^3}{4\pi G_{\text{OPT}}\,\hbar_c} \cdot \kappa\, \theta_{\mu\nu} k^\mu k^\nu

þar sem \theta_{\mu\nu} = \nabla_\mu k_\nu + \nabla_\nu k_\mu er útþensluþinur núllsamstæðunnar. Til að halda áfram með Jacobson (1995) verðum við að gera ráð fyrir að kóðarinn kvarðist á formgerðarlegan hátt þannig að hann uppfylli almennu hlutfallslegu mörkin \delta S_{\text{render}} \propto \delta A, sem varpast jafnt yfir alla staðbundna sjóndeildarhringi. Með beitingu Raychaudhuri-jöfnunnar, núllorkuskilyrðisins T^{\text{pred}}_{\mu\nu} k^\mu k^\nu \geq 0, heildun yfir núllflötinn og samdrættu Bianchi-samsemdarinnar:

\boxed{G_{\mu\nu} + \Lambda g_{\mu\nu} \propto \frac{8\pi G_{\text{OPT}}\,\hbar_c}{c_{\text{codec}}^3}\, T^{\text{pred}}_{\mu\nu}}

Að gefnum innfluttum Bekenstein-Hawking-stuðli (§5.1) og hlutfallsforsendunni \delta S \propto \delta A leiðir afleiðsla Jacobsons til Einsteins sviðsjafna á máli OPT-kóðarans með tengistuðlinum 8\pi G_{\text{OPT}}\hbar_c/c_{\text{codec}}^3. Heimsfræðifastinn \Lambda kemur fram á nákvæmlega sama hátt sem heildunarfasti vörpunar Clausius-sambandsins — og varpast innbyggt á grunnástandsþéttleika myndgerðarrópíu s_0 sem rekur tómarúmskóðarann.

Spennu-orkuþinurinn T^{\text{pred}}_{\mu\nu} er forspárlegur spennu-orkuþinur: dreifing forspárhleðsluþéttleika og flæðis um hið myndgerða rúmtíma. Í Newtonsku markgildi fyrir þrýstingslaust efni er T^{\text{pred}}_{00} = Q_M/V og allir aðrir liðir hverfa, sem endurheimtir §4.

§6. Þyngdarsveigja sem yfirflæði rate-distortion

Lokunarskilyrði T-2 krefst formlegrar sönnunar þess að þyngdarsveigja sé viðnám kóðarans gegn því að myndgera upplýsingar sem fara fram úr rate-distortion-jafnvæginu. §5 gefur jöfnur Einsteins; þessi kafli gerir þá samsömun nákvæma.

6.1 Tilgátan um staðfærslu rate-distortion

Samkvæmt T-1 leggur Stöðugleikasía á altækan skilyrtan þröskuld á jaðrinum, R_{\text{req}}(D_{\min}) \leq B_{\max} = C_{\max} \cdot \Delta t. Rate-distortion-vörpun í AIT eru formlega altæk mengi ferla. Til að skilgreina stranglega staðbundna forspárskorðu þarf að útvíkka formgerðina með skýrum hætti (t.d. með staðbundnum ergódískum meðaltölum yfir undirmengi), og þeirri formlegu útfærslu er frestað til T-5. Að því marki sem þessi formgerðarlega drög ná, lítum við svo á að staðbundin sveigja endurspegli staðbundinn þéttleika yfirflæðis í rate-distortion, en formleg rökstuðningur fyrir því er frestaður til T-5.

6.2 Sveigja sem viðnám kóðarans — formleg auðkenning

Til að varpa afmörkunarfalli myndgerðaróreiðu stranglega yfir á virknilegt vörpunarsamband G_{\mu\nu} smíðum við berum orðum formlega formgerðarlega auðkenningu sem samsvarar stærðfræðilega staðlaðri verkun eðlisfræðilegs þyngdarafls og skilgreinir innbyggt:

S_{\text{render}}[g] := \frac{1}{4G_{\text{OPT}}}\int R\sqrt{-g}\, d^4x

Þetta er formgerðarleg skilgreining sem er formlega flutt inn og samsvarar nákvæmlega því Bekenstein–Hawking-vörpunarsambandi sem hér er tryggilega úthlutað. Hún er beinlínis ekki algebrulega leidd af T-1 flatarmálsmörkum með beinum hætti. Að gefinni þessari skilgreiningu gefur staðlaður afbrigðareikningur:

\frac{\delta S_{\text{render}}}{\delta g_{\mu\nu}} \propto \left(G_{\mu\nu} + \Lambda g_{\mu\nu}\right)

Jöfnur sviðs Einsteins (§5.2) má nú innbyggt lesa á alveg sama hátt sem best afmarkað formgerðarlegt jafnvægi:

\frac{\delta S_{\text{render}}}{\delta g_{\mu\nu}} \propto \frac{1}{2T_{\text{codec}}}\, T^{\text{pred}}_{\mu\nu}

Þetta skilgreinir öfgaskilyrði myndgerðar: sú metríska lögun sem lágmarkar óreiðukostnað myndgerðar að gefnu T^{\text{pred}}_{\mu\nu} er nákvæmlega sú sem uppfyllir jöfnur Einsteins.

Formleg framsetning á vörpunarsambandi hlutlokunar.

Undir þessari auðkenningu er Einstein-þinurinn G_{\mu\nu} metríska afleiðan af virknifalli myndgerðaróreiðu. Hugmyndalega séð kóðar sveigja annars stigs viðnám kóðarans gegn metrískri truflun: hún er mikil þar sem úthluta þarf viðbótarbitum á jaðrinum til að taka við staðbundnum þéttleika forspárhleðslu.

§7. Atburðarsjóndeildir sem mettunarpunktar kóðara

Athugið: Eftirfarandi greining meðhöndlar R_{\text{req}}(p, D_{\min}) sem vel skilgreint staðbundið stærðargildi; það krefst staðfærslutilgátunnar í §6.1 og er því leiðbeinandi þar til T-5 liggur fyrir.

7.1 Mettunarskilyrðið

Atburðarsjóndeildarhringur myndast þar sem R_{\text{req}}(p, D_{\min}) = B_{\max} nákvæmlega — mörkin þar sem Stöðugleikasían er mettuð. Fyrir kúlulaga samhverfan uppruna forspárhleðslu Q_M, með því að setja R_{\text{req}}(r_S) = B_{\max} og leysa:

r_S = \frac{G_{\text{OPT}}\, Q_M}{c_{\text{codec}}^2}

Þetta er innbyggður Schwarzschild-radíus OPT. Staðlaða niðurstaðan í almennri afstæðiskenningu er r_S = 2GM/c^2, sem er frábrugðin um stuðulinn 2. Þetta misræmi um stuðulinn 2 er ekki leitt af frumsendum OPT; til að samræma við klassísku niðurstöðuna þyrfti annaðhvort Q_M = 2M (tilfallandi auðkenningu) eða fullnægjandi meðhöndlun á rúmfræði nálægt sjóndeildarhringnum sem framleiðir stuðulinn á náttúrulegan hátt. Við þröngvum ekki fram þessari samsvörun; í staðinn bendum við á misræmið um stuðulinn 2 sem opið frávik sem kann að leysast með fullri greiningu á svæðinu nálægt sjóndeildarhringnum.

Innan r_S gildir \Delta R(p) > 0 á hverjum punkti: kóðarinn er í varanlegu yfirflæði. Innra byrði svarthols er það svæði þar sem Stöðugleikasían bregst óafturkræft — ekki staðsetning í efnislegu rúmi, heldur topólógísk mörk framsetningargetu kóðarans.

7.2 Hawking-geislun sem jaðarleki kóðara

Við sjóndeildarhringinn r = r_S gefur hitastig kóðarans með \kappa = c_{\text{codec}}^4/(4G_{\text{OPT}} Q_M):

T_H = \frac{\hbar_c\, c_{\text{codec}}^4}{8\pi k_B G_{\text{OPT}}\, Q_M}

Þetta endurheimtir staðlað Hawking-hitastig í formgerðarlegri mynd. Til að samsvara hinu eðlisfræðilega gildi þarf að \hbar_c c_{\text{codec}}^4/G_{\text{OPT}} = \hbar c^3/G, sem ákvarðar C_{\max} út frá frumfastum — og leiðir þannig í ljós spennu við meðferð T-1 á C_{\max} sem frjálsri reynslubundinni stiku. Lausninni er frestað til T-5.

§8. Heimsfræðilegi fastinn sem kostnaður við tómarúms-myndgerð

Heimsfræðilegi fastinn \Lambda birtist í §5.2 sem heildunarfasti Clausius-sambandsins. Tómarúmsástand kóðarans er ekki tómt: það er grunnástandsgerð óreiðu myndgerðar með einsleitri þéttleika s_0 = (\log q)/l_{\text{codec}}^2. Tengd forspár-spennu-orka tómarúmsins er:

T^{\text{vac}}_{\mu\nu} = -\frac{\Lambda\, c_{\text{codec}}^4}{8\pi G_{\text{OPT}}\,\hbar_c}\, g_{\mu\nu}

Í OPT samsvarar \Lambda > 0 de Sitter-rúmfræði kóðarans — grunnástand kóðarans er hraðvaxandi útþensla. Eigindlega séð er þetta væntanleg formgerðarröksemd: Stöðugleikasían velur fremur þær gerðir þar sem greinar Forspárgreinamengis eru að hámarki aðskildar (heimsfræðileg útþensla eykur upplýsingalega fjarlægð milli greina og dregur þannig úr tíðni tilviljanakenndrar endurtengingar orsakakeðja). Þessi rammi veitir eigindlega skýringu á formerki \Lambda, þótt afleiðsla hinna afar smáu, megindlegu athugunarmarka þess sé frestað til endurheimtar eðlisfastra í T-5.

§9. Samantekt á lokun og opnum jaðrum

Afhendingaratriði T-2 — leyst að hluta (formgerðarkortlagning)

1. Myndgerðaróreiða formgerð. S_{\text{render}}(A) skilgreint með því að setja gagnkvæmum upplýsingum efri mörk. Flatarmálslögmál staðfest; staðbundinn þéttleiki s(x) skilgreindur.

2. Lögmál Newtons kortlagt. F_r = -G_{\text{OPT}} Q_M m / r^2 endurheimt með aðferð Verlindes, með því skilyrði að Unruh-jaðarforsendan sé tekin upp.

3. Jöfnur Einsteins kortlagðar. G_{\mu\nu} + \Lambda g_{\mu\nu} \propto T^{\text{pred}}_{\mu\nu} samræmist Clausius-aðferð Jacobsons, með því skilyrði að gengið sé út frá mettun sjóndeildarhrings og Einstein-Hilbert-felliforsendum.

4. Lokunarskilyrði uppfyllt sem kortlagning. G_{\mu\nu} \propto \delta S_{\text{render}} / \delta g_{\mu\nu}. Sveigja er formgerðarlega auðkennd við metríska afleiðu myndgerðaróreiðu — kortlagða mótstöðu kóðarans gegn yfirflæði hraða-brenglunar. \blacksquare

5. Atburðasjóndeildarhringir. r_S = G_{\text{OPT}} Q_M / c_{\text{codec}}^2 leitt af sem mettunarstig kóðarans. Hawking-hitastig endurheimt úr varmafræði jaðarsins.

Eftir standa opnir jaðrar

• T-3 (MERA-þinunet) hefur nú skýrara markmið: þinunetsuppfærsla á Z_t er nauðsynleg til að umbreyta S_{\text{render}} úr klassísku flatarmálslögmáli í hólógrafísk óreiðumörk Ryu-Takayanagi. Afleiðsla Jacobsons hér er millistigið.

• T-5 (endurheimt fastanna) byggir á T-2: G_{\text{OPT}} = c_{\text{codec}}^2 / \log q verður að samræmast reynslugildinu G með auðkenningunni l_{\text{codec}} \to l_P. Þetta bindur grindarbili kóðarans við Planck-lengdina og veitir fyrsta formgerðarmisréttið fyrir T-5a.

• Skammtaþyngdarafl (opið): Að leiða nákvæmar sviðsjöfnur Einsteins af virkri ályktun — fremur en af varmafræðilegri aðferð Jacobsons — er enn djúpstæð opin áskorun. Þinunetsuppfærslan (T-3) og ADH-leið skammtavilluleiðréttingar (P-2) eru næstu formlegu skref.

• de Sitter-útvíkkun (opin): Afleiðslan í §5 fylgir Jacobson og á hreint við um rúmfræði sem eru aðfellanlega flatar og AdS. Útvíkkun yfir í dS/CFT — í samræmi við jákvæða \Lambda sem hefur verið mæld — krefst hinnar opnu stærðfræðilegu útvíkkunar sem nefnd er í forprentun §8.3 lið 4.

Þessum viðauka er viðhaldið sem hluta af OPT-verkefnageymslunni samhliða theoretical_roadmap.pdf. Heimildir: Verlinde (2011) [38], Jacobson (1995), Bekenstein (1981) [40], Almheiri-Dong-Harlow (2015) [42].