On Time-Evolution in Quantum Gravity

Technische Samenvatting: Over Tijd-evolutie in Kwantumgravitatie

Probleemstelling
Het artikel behandelt een fundamentele uitdaging in de kwantumtheorie van gravitatie: de definitie van tijd-evolutie. In de canonieke kwantisatie van de Algemene Relativiteitstheorie (GR) verdwijnt de klassieke Hamiltoniaan (modulo randtermen) zodra aan de restrictievergelijkingen wordt voldaan. Deze "bevroren formalisme" suggereert dat fysieke toestanden niet in de tijd evolueren, wat een spanning creëert met de waargenomen tijdsafhankelijkheid van klassieke gravitationele achtergronden en de standaard pad-integraalformulering van verstrooiingsamplituden. Hoewel eerdere werken (bijv. [1, 2]) deze discrepantie hebben benadrukt, is een verenigd kader dat een goed gedefinieerd begrip van tijd als de Hamiltoniaanse stroom behoudt en tegelijkertijd de gauge-restricties van GR respecteert, tot nu toe onontkomen gebleven. Specifiek bestaat er een heersende "lore" dat de BRST-exactheid van de bulk-Hamiltoniaan de trivialisering van de tijd-evolutie impliceert, waardoor het herstel van klassieke dynamica en niet-triviale verstrooiingsamplituden problematisch wordt.

Methodologie
De auteurs werken binnen een BRST-invariante kwantisatie van GR, behandeld als een laag-energetische effectieve veldentheorie. Hun benadering berust op de gauge-gefixeerde BRST-Lagrangiaanse formulering (die de Einstein-Hilbert-, gauge-fixing- en Faddeev-Popov-ghost-termen omvat) in plaats van de Batalin-Fradkin-Vilkovisky (BFV) formulering voor niet-gauge-gefixeerde systemen.

Belangrijke methodologische stappen zijn:

1. Canonieke Kwantisatie: De auteurs identificeren canonieke variabelen voor de gauge-gefixeerde theorie, inclusief de ruimtelijke metriekcomponenten ($\gamma_{ij}$), de temporele metriekcomponenten geparametriseerd door $A_\mu$, en de bijbehorende ghost/anti-ghost velden ($c_\mu, \bar{c}_\mu$) en hulpvelden ($b_\mu$).
2. Operator Afleiding: Zij promoveren deze velden tot operatoren en stellen canonieke (anti-)commutatierelaties vast.
3. Hamiltoniaanse Reconstructie: De totale Hamiltoniaan wordt afgeleid door de Einstein-Hilbert-term te combineren met de ghost/gauge-fixing sector. Cruciaal is dat de auteurs de bewegingsvergelijkingen voor de hulpvelden gebruiken om de Hamiltoniaan in een beknopte vorm te herschrijven.
4. BRST-Analyse: Zij demonstreren dat de bulk-Hamiltoniaan kan worden uitgedrukt als de anticommutator van de BRST-lading ($\hat{Q}$) en de temporele component van de ghost-impuls ($\hat{\Pi}^c_0$).
5. Gevalsstudies: De implicaties van deze structuur worden geanalyseerd in twee scenario's:
   • No-Boundary (Compacte Ruimte): Waarbij de totale Hamiltoniaan puur de bulk-term is.
   • Asymptotisch Minkowski (Met Rand): Waarbij de totale Hamiltoniaan de noodzakelijke ADM-randterm bevat.

Kernbijdragen en Resultaten

• Expliciete BRST-exacte Identiteit: Het primaire resultaat is de afleiding van een expliciete operatoridentiteit voor de bulk-Hamiltoniaan:
  $$\hat{H}_{\text{bulk}} = M_{pl} \int d^3x \{ \hat{Q}, i\hat{\Pi}^c_0 \}$$
  Dit bevestigt dat de bulk-Hamiltoniaan BRST-exact is, een structureel kenmerk dat verwacht wordt voor systemen met first-class restricties, maar hier expliciet is afgeleid binnen het gauge-gefixeerde Lagrangiaanse kader.

• Tijd-evolutie als Herparametrisatie: De auteurs tonen aan dat de Hamiltoniaanse stroom fungeert als een tijd-herparametrisatie op de correlatiefuncties van fysieke vrijheidsgraden. Door de Jacobi-identiteit en de eigenschappen van de BRST-transformatie te gebruiken, bewijzen zij dat voor elke operator $\hat{O}$ die commuteert met $\hat{\Pi}^c_0$:
  $$\partial_t \hat{O} = i[\hat{H}, \hat{O}] = -i M_{pl} \int d^3z \{ [\hat{Q}, \hat{O}], i\hat{\Pi}^c_0(z) \}$$
  Dit demonstreert dat de tijd-evolutie van operatoren wordt gegenereerd door de BRST-variatie geprojecteerd op de tijdsrichting.

• Resolutie van de "Trivialiteits"-paradox: Het artikel weerlegt de claim dat BRST-exactheid een triviale tijd-evolutie impliceert.

  • Fysieke Toestanden: Hoewel de BRST-cohomologie (de ruimte van fysieke toestanden) door de bulk-Hamiltoniaan wordt geannuleerd (tot nul-norm toestanden), zijn de representanten van deze cohomologieklassen niet tijd-onafhankelijk.
  • Correlatiefuncties: De tijd-evolutie van correlatiefuncties voor gauge-variante operatoren (zoals de metriek of kromming) is niet-triviaal. Het "beeld" van de toestand onder tijd-evolutie (dat BRST-exact is) draagt niet-nul bij aan de verwachtingswaarden van deze operatoren, waardoor het verwachte semi-klassieke tijdsverloop wordt hersteld.

• Rol van Randtermen in Verstrooiing: In asymptotisch Minkowski-ruimtetijden bevat de totale Hamiltoniaan een randterm die overeenkomt met de ADM-energie ($\hat{E}_{ADM}$).

  • De matrixelementen van de tijd-evolutie-operator tussen fysieke toestanden worden beheerst door deze randterm.
  • Terwijl de bulk-Hamiltoniaan tijd-herparametrisatie genereert (wat triviaal is op de cohomologie), zorgt de randterm ervoor dat fysieke toestanden (specifiek die met een niet-nul energie) in de tijd evolueren.
  • Dit mechanisme maakt de definitie van asymptotische deeltestoestanden en een niet-triviale S-matrix mogelijk, wat het schijnbare conflict tussen BRST-exactheid en verstrooiingsamplituden oplost.

Betekenis en Claims
Het artikel beweert een consistente unificatie te bieden van de pad-integraalbeschrijving van gravitationele verstrooiing en de Hamiltoniaanse beschrijving van tijd-evolutie binnen één enkel BRST-invariant kader.

1. Verheldering van Tijd: Het stelt vast dat de "afwezigheid van tijd" in kwantumgravitatie een misinterpretatie is van de BRST-exacte bulk-Hamiltoniaan. Tijd-evolutie blijft behouden als een herparametrisatie van de fysieke vrijheidsgraden, consistent met de klassieke GR-dynamica.
2. Reconciliatie van Formalismen: Het werk overbrugt de kloof tussen de "over-geconstreinde" canonieke kwantisatie (waar fysieke toestanden statisch lijken) en de pad-integraalbenadering (die dynamische verstrooiing oplevert). Het toont aan dat de BRST-exactheid van de bulk-Hamiltoniaan compatibel is met de niet-triviale real-time evolutie van bulk-correlatoren.
3. S-Matrix Consistentie: De auteurs beargumenteren dat de S-matrix natuurlijk ontstaat. Hoewel strikt BRST-invariante asymptotische toestanden (infrared-gedressed) triviale bulk-bijdragen zouden hebben, maken standaard perturbatieve berekeningen (tree-level) gebruik van toestanden die niet volledig BRST-invariant zijn, waardoor de bulk-Hamiltoniaan kan bijdragen aan verstrooiingsamplituden. Het kader herstelt zo de gebruikelijke S-matrix en de klassieke vergelijkingen van GR door consistentie.
4. DeWitt's Puzzel: Het artikel suggereert een antwoord te bieden op de puzzel die DeWitt voorlegde betreffende de mismatch tussen canonieke en pad-integraal kwantisaties, door een klasse van BRST-invariante toestanden (analogen aan DeWitt's toestanden) te identificeren en aan te tonen hoe tijdsafhankelijkheid ontstaat voor fysieke observabelen ondanks het verdwijnen van de Hamiltoniaan op de cohomologie.

Samenvattend beweren de auteurs niet de niet-perturbatieve definitie van kwantumgravitatie te hebben opgelost, maar hebben zij een expliciete operatorrealisatie geleverd die aantoont dat de BRST-exacte natuur van de bulk-Hamiltoniaan de existentie van tijd-evolutie of verstrooiingsamplituden niet uitsluit, mits de bijdragen van de randen en het onderscheid tussen cohomologieklassen en hun representanten correct worden meegewogen.