Bogoliubov Transformation and Schrodinger Representation on Curved Space

Technische Samenvatting: Bogoliubov-transformatie en Schrödinger-representatie op gekromde ruimten

Probleemstelling
In de kwantumveldentheorie (QFT) op gekromde ruimtetijd wordt conventioneel aanvaard dat de dynamica, beschreven door de Schrödinger-vergelijking die toestanden tussen Cauchy-oppervlakken evolueert, unitair moet zijn. Echter, eerdere studies hebben aangetoond dat deze verwachting faalt wanneer men probeert de dynamica te beschrijven op een vaste Hilbertruimte, met name wanneer de gekozen Cauchy-oppervlakken niet worden behouden door een tijdachtige Killing-vectorveld. Dit probleem persisteert zelfs in de Minkowski-ruimte voor willekeurige Cauchy-snijvlakken. De kern van de moeilijkheid ligt in het feit dat verschillende keuzes van de complexe structuur $J$ op de faseruimte (die de vacuümtoestand en de Hilbertruimte definiëren) over het algemeen niet unitair equivalent zijn. Specifiek vereist de voorwaarde voor unitaire equivalentie tussen twee Hilbertruimten $H_{J_1}$ en $H_{J_2}$ dat het verschil $J_1 - J_2$ voldoet aan de Hilbert-Schmidt-voorwaarde, een voorwaarde die in de context van gekromde ruimtetijd vaak wordt geschonden.

Agullo en Ashtekar (Ref. [18]) hebben dit eerder geadresseerd door voor te stellen dat Schrödinger-dynamica niet plaatsvindt op een vaste Hilbertruimte, maar op een "Hilbert-bundel" waarbij de vezel (de Hilbertruimte) met de tijd verandert. Zij postuleerden een "gegeneraliseerde unitariteitsvoorwaarde" (Eq. 2 in het artikel) die een unitaire evolutie-operator $U$ toestaat, zelfs wanneer de initiële en finale Hilbertruimten niet kinematisch equivalent zijn, mits de evolutie de dynamische verandering van de complexe structuur respecteert.

Methodologie
Dit artikel beoogt expliciet de evolutie-operator $U$ te construeren die voldoet aan de gegeneraliseerde unitariteitsvoorwaarde door de Schrödinger-vergelijking direct af te leiden, in plaats van deze af te leiden uit het klassieke beeld zoals gedaan in Ref. [18]. De auteurs hanteren het volgende methodologische kader:

1. Klassieke setup: De auteurs beschouwen een lineair reëel Klein-Gordon-veld op een globaal hyperbolische ruimtetijd. Zij construeren de canonieke faseruimte $\Gamma$ en demonstreren dat de symplectische structuur translatie-invariant is.
2. Geometrische kwantisatie: Volgens het formalisme van de geometrische kwantisatie (Refs. [22, 23]) kwantiseren de auteurs de canonieke faseruimte. Zij introduceren een complexe structuur $J$ die compatibel is met de symplectische vorm om de Hilbertruimte $H_J$ van holomorfe golffuncties te definiëren.
3. Bogoliubov-transformatie en verbinding: Een cruciale technische stap is het behandelen van de tijdsafhankelijke evolutie van de complexe structuur. De auteurs maken gebruik van een connectieterm $A$ (Eq. 32) die afgeleid is van de verandering in complexe structuur $\delta J$ langs de Hamiltoniaanse stroom. Deze verbinding implementeert de Bogoliubov-transformatie die vereist is om toestanden te mappen tussen Hilbertruimten die gedefinieerd worden door verschillende complexe structuren.
4. Hamiltoniaan-constructie: De auteurs construeren een Hamiltoniaan-operator $\hat{H}$ (Eq. 54) die zowel de pre-kwantumoperator $Pr(H)$ als een specifieke connectieterm bevat die betrekking heeft op de verandering in complexe structuur. Deze Hamiltoniaan is ontworpen om de holomorfie van de golffuncties tijdens de tijdevolutie te bewaren.
5. Schrödinger-vergelijking: De tijdsafhankelijke evolutie van de toestand wordt beheerst door de Schrödinger-vergelijking $i\partial_t \psi = \hat{H}\psi$ (Eq. 50). De eindige tijds-evolutie-operator $U(t_f, t_i)$ wordt gedefinieerd als de tijd-geordende exponent van deze Hamiltoniaan.

Belangrijkste bijdragen en resultaten

• Expliciete constructie van de evolutie-operator: Het artikel leidt de expliciete vorm van de operator $U(t_f, t_i)$ af die toestanden tussen willekeurige Cauchy-oppervlakken propageert. Deze operator mapt de Hilbertruimte $H_{J(t_i)}$ naar de Hilbertruimte $H_{J(t_f)}$, waarbij de complexe structuur $J$ natuurlijk met de tijd evolueert.
• Afleiding van de gegeneraliseerde unariteit: Door de werking van de geëvolueerde operator op de vacuümtoestand te analyseren, leiden de auteurs de gegeneraliseerde unariteitsvoorwaarde (Eq. 60) af die door Agullo en Ashtekar is voorgesteld. Zij tonen aan dat:
  $$\langle \Psi' | U(t_f, t_i)^{-1} \hat{\hat{\phi}}_i U(t_f, t_i) | \Psi \rangle = \langle \Psi' | E_i^j \hat{\phi}_j | \Psi \rangle$$
  waarbij $\hat{\hat{\phi}}$ gekwantiseerd is met betrekking tot de finale complexe structuur $J(t_f)$, en $\hat{\phi}$ gekwantiseerd is met betrekking tot de initiële structuur $J(t_i)$, en $E$ de klassieke tijds-evolutie-afbeelding is.
• Bewijs van unariteit via de Hilbert-Schmidt-voorwaarde: De auteurs bewijzen dat de evolutie-operator $U$ unitair is dan en slechts dan als de operator $[J(t_f) - E J(t_i) E^{-1}]$ voldoet aan de Hilbert-Schmidt-voorwaarde (Eq. 64).
  • Cruciaal is dat omdat de auteurs de tijdsafhankelijke evolutie van de complexe structuur definiëren als de natuurlijke stroom gegenereerd door de Hamiltoniaan ($J(t_f) = E J(t_i) E^{-1}$), het verschil-termijn wegvalt. Bijgevolg wordt aan de Hilbert-Schmidt-voorwaarde triviaal voldaan, en is de dynamica binnen dit kader altijd unitair.
• Onderscheid van kinematische unariteit: Het artikel verduidelijkt dat hoewel de dynamische evolutie unitair is, de kinematische identificatie tussen de initiële en finale Hilbertruimten (dat wil zeggen, het direct vergelijken van $J(t_i)$ en $J(t_f)$ zonder de evolutie-afbeelding $E$) over het algemeen niet unitair is. De connectieterm $A$ alleen is niet unitair in oneindige dimensies; het is de specifieke combinatie van de Hamiltoniaanse stroom en de verbinding die unariteit waarborgt.

Betekenis en claims
Het artikel claimt een constructieve afleiding te bieden van de Schrödinger-representatie voor QFT op gekromde ruimtetijd, ter aanvulling op het werk van Agullo en Ashtekar. Door de Bogoliubov-transformatie expliciet in de Schrödinger-vergelijking op te nemen via een connectieterm, demonstreren de auteurs dat kwantumdynamica geformuleerd kan worden als een unitair proces op een Hilbert-bundel.

De betekenis ligt in het oplossen van het "unariteitsraadsel" door aan te tonen dat het falen van unariteit in eerdere pogingen te wijten was aan het vasthouden aan een vaste Hilbertruimte. Door toe te staan dat de Hilbertruimte evolueert (specifiek door de complexe structuur natuurlijk te laten evolueren), tonen de auteurs aan dat er een unitaire Schrödinger-dynamica bestaat voor willekeurige Cauchy-oppervlakken. Het artikel merkt bescheiden op dat de analyse steunt op translatie-invariante complexe structuren en een eindige-dimensie notatie-limiet, waarbij het rigoureuze functioneel-analytische onderzoek naar de domeinen van oneindig-dimensionale operatoren aan toekomstig werk wordt overgelaten.