Removing Ostrogradsky modes in multi-field higher-order scalar-tensor theories

Technische Samenvatting: Verwijderen van Ostrogradsky-modi in Multi-veld Hogere-orde Scalaire-tensor Theorieën

Probleemstelling
Scalaire-tensor theorieën zijn natuurlijke uitbreidingen van de Algemene Relativiteitstheorie, gebruikt in de kosmologie en effectieve veldentheorieën. Een centrale uitdaging bij het construeren van dergelijke theorieën, met name die met hogere-orde afgeleiden, is het vermijden van de Ostrogradsky-instabiliteit, die doorgaans ghost-achtige vrijheidsgraden introduceert. Hoewel tweede-orde veldvergelijkingen (zoals in de Horndeski-theorie) voldoende zijn om deze instabiliteit te vermijden, zijn ze niet noodzakelijk; degeneratie in de kinetische structuur kan ook ongewenste modi verwijderen.

Het probleem wordt aanzienlijk complexer in multi-veld scenario's ($N \ge 2$). In tegenstelling tot het single-field geval, waar degeneratie wordt gekenmerkt door een enkele scalaire conditie, omvatten multi-veld theorieën matrices in de veldruimte. De nulrichtingen van de kinetische matrix kunnen verschillende combinaties van scalaire en metrische snelheden impliceren, wat leidt tot kwalitatief verschillende restrictiestructuren. Bestaande classificaties vertrouwen vaak op tweede-orde veldvergelijkingen, maar dit artikel behandelt het algemenere geval van kwadratische hogere-orde scalaire-tensor theorieën zonder tweede-orde vergelijkingen als een definiërend principe op te leggen. Het doel is om de noodzakelijke en voldoende voorwaarden te bepalen waaronder dergelijke theorieën exact $2 + N$ vrijheidsgraden voortplanten (twee tensor-modi en één scalaire modus per veld) zonder Ostrogradsky-ghosts.

Methodologie
De auteurs maken gebruik van een Hamiltoniaanse analyse binnen de Arnowitt-Deser-Misner (ADM) formalisme om de restrictiestructuur van de theorie expliciet te volgen.

1. Actie en Hulp-formulering: De studie begint met een algemene covariante actie voor $N$ scalaire velden $\phi^i$ die termen bevat die kwadratisch zijn in de tweede covariante afgeleiden $\nabla_\mu \nabla_\nu \phi^i$. Om de kinetische structuur te isoleren en hogere afgeleiden te behandelen, wordt voor elk scalar een hulp-co-vectorveld $A_{i\mu}$ geïntroduceerd, afgedwongen door een Lagrange-multiplier. Dit herformuleert de theorie naar een eerste-orde actie waarin snelheden manifest zijn.
2. ADM Decompositie: De actie wordt gedecomposeerd in spatiale en temporele componenten. De relevante snelheidsvariabelen worden geïdentificeerd als de normale afgeleide van het hulpveld ($V^*_i$) en de extrinsieke kromming ($K_{ab}$). De kinetische sector wordt beschreven door een Hessiaan-matrix $H_{AB}$ die werkt op de ruimte van deze snelheden.
3. Tak-classificatie (Branch Classification): De analyse classificeert primaire degeneratie op basis van de inversibiliteit van de diagonale blokken van de Hessiaan: het scalaire blok ($G_{ij}$) en het metrische blok ($K_{abcd}$). De auteurs richten zich op Tak II, waarbij het metrische kinetische blok inversibel is ($\det K \neq 0$). Deze keuze zorgt ervoor dat de metrische sector onder controle blijft, waardoor degeneratie uitsluitend kan ontstaan uit de menging tussen scalaire en metrische snelheden.
4. Restrictieanalyse (Constraint Analysis):
   • Primaire Restricties: De conditie voor primaire degeneratie wordt afgeleid als het verdwijnen van de Schur-complement van de Hessiaan, wat leidt tot een effectieve scalaire degeneratiematrix $S_{ij}$. Voor de volledige verwijdering van $N$ Ostrogradsky-modi wordt de conditie $S_{ij} = 0$ opgelegd, wat $N$ primaire restricties ($\Psi_i$) genereert.
   • Secundaire Restricties: De tijdsevolutie van deze primaire restricties wordt geanalyseerd. Cruciaal is dat voor $N \ge 2$ het behoud van primaire restricties aanvullende consistentievoorwaarden genereert. De auteurs berekenen de gesmeerde primaire-primaire bracket $\{\Psi[f], \Psi[g]\}$, die uiteenvalt in afgeleide-smearing coëfficiënten ($D_{ija}$) en niet-afgeleide coëfficiënten ($M_{ij}, N_{ij}$).
   • Rang-conditie: Ten slotte wordt de rang van de bracket tussen primaire en secundaire restricties onderzocht om te waarborgen dat het restrictie-algoritme sluit en de Lagrange-multipliers vastlegt zonder verdere restricties te genereren.

Belangrijkste Bijdragen en Resultaten

• Matrixconditie voor Primaire Degeneratie: In de metrische-inversibele tak wordt de primaire degeneratieconditie geformuleerd als het verdwijnen van de effectieve scalaire matrix $S_{ij} = G_{ij} - B_{iab}(K^{-1})^{abcd}B_{jcd}$. De auteurs leiden expliciete expressies voor $S_{ij}$ af in termen van de coëfficiëntfuncties van de actie met behulp van een hulp-tensor $W_{iab}$.
• Nieuwe Multi-veld Consistentievoorwaarden: Het artikel identificeert een kwalitatief verschil tussen single-field en multi-field theorieën. In het single-field limiet is primaire degeneratie vaak voldoende om consistentie te garanderen. Echter, voor $N \ge 2$ genereert het behoud van de primaire restricties antisymmetrische condities in de veldruimte ($M_{ij} = 0$ en $N_{ij} = 0$) die geen analogon hebben in het single-field geval. Deze condities zijn noodzakelijk om te voorkomen dat de primaire restricties hun eigen multipliers vastleggen in plaats van secundaire restricties te genereren.
• Voldoende Voorwaarden voor Gezonde Theorieën: De auteurs stellen een reeks voldoende voorwaarden vast voor een theorie die vrij is van Ostrogradsky-modi:
  1. Volledige primaire degeneratie: $S_{ij} = 0$.
  2. Primaire-primaire consistentie: $D_{ija} = 0$, $M_{ij} = 0$, en $N_{ij} = 0$ (sterk of zwak).
  3. Rang-conditie: De bracket tussen de primaire en secundaire restricties moet een maximale rang hebben ($N$).
     Wanneer deze gelden, propageert de theorie $2 + N$ vrijheidsgraden.
• Expliciete Subklassen:
  • Single-Field Limiet: De analyse bevestigt dat de multi-veld condities correct reduceren naar de bekende single-field resultaten, waarbij de antisymmetrische condities triviaal verdwijnen.
  • Multi-Field Horndeski-Type: Voor een specifieke kwadratische subclass die lijkt op de multi-field Horndeski-theorie, is primaire degeneratie automatisch, maar blijven niet-triviale sluitingscondities op de coëfficiëntfuncties (specifiek $N_{ij}=0$) bestaan.
  • Constructieve Degenerate Subclass: De auteurs construeren een genuïne multi-field subclass met een niet-nul scalaire-metrische kinetische menging ($W_{iab} \neq 0$) die aan alle sterke condities voldoet, waarmee zij aantonen dat de afgeleide restricties een niet-lege klasse van theorieën definiëren die verder gaat dan eenvoudige uitbreidingen van single-field modellen.

Betekenis en Claims
Het artikel claimt een rigoureus Hamiltoniaans kader te bieden voor het identificeren van gezonde multi-field hogere-orde scalaire-tensor theorieën. De primaire betekenis ligt in het aantonen dat primaire degeneratie noodzakelijk maar niet voldoende is voor multi-veld theorieën; het behoud van restricties introduceert nieuwe, intrinsiek multi-veld consistentievoorwaarden (de antisymmetrische coëfficiënten) die moeten worden voldaan om Ostrogradsky-modi te verwijderen.

De auteurs kaderen hun resultaten bescheiden als voldoende voorwaarden in plaats van een volledige classificatie van alle gezonde theorieën. Zij beperken hun analyse expliciet tot de metrische-inversibele tak, waarbij zij opmerken dat takken met singuliere metrische sectoren aparte behandeling vereisen. Voorts is de verstrekte constructieve constructie geformuleerd op het niveau van de ADM coëfficiëntblokken; de auteurs erkennen dat het reconstrueren van een covariante actie die deze specifieke blokken realiseert, een apart probleem is. Het werk dient als een fundamentele stap voor het bouwen van gezonde multi-veld theorieën die verder gaan dan directe generalisaties van single-field modellen, door een helder pakket aan algebraïsche en differentiële restricties op de coëfficiëntfuncties van de theorie te bieden.