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

Sintesi Tecnica: Rimozione dei Modi di Ostrogradsky nelle Teorie Scalari-Tensoriali Multi-Campo ad Ordine Superiore

Enunciato del Problema
Le teorie scalari-tensoriali sono estensioni naturali della Relatività Generale utilizzate in cosmologia e nelle teorie di campo effettivi. Una sfida centrale nella costruzione di tali teorie, in particolare quelle con derivate di ordine superiore, è evitare l'instabilità di Ostrogradsky, che tipicamente introduce gradi di libertà di tipo "ghost". Sebbene le equazioni di campo del secondo ordine (come nella teoria di Horndeski) siano sufficienti per evitare questa instabilità, esse non sono necessarie; la degenerazione nella struttura cinetica può anche rimuovere i modi indesiderati.

Il problema diventa significativamente più complesso nei casi multi-campo ($N \ge 2$). A differenza del caso a singolo campo, dove la degenerazione è caratterizzata da una singola condizione scalare, le teorie multi-campo coinvolgono matrici nello spazio dei campi. Le direzioni nulle della matrice cinetica possono coinvolgere varie combinazioni di velocità scalari e metriche, portando a strutture di vincolo qualitativamente diverse. Le classificazioni esistenti spesso si basano su equazioni di campo del secondo ordine, ma questo articolo affronta il caso più generale delle teorie scalari-tensoriali quadratiche di ordine superiore senza imporre le equazioni del secondo ordine come principio definitorio. L'obiettivo è determinare le condizioni necessarie e sufficienti affinché tali teorie propaghino esattamente $2 + N$ gradi di libertà (due modi tensoriali e un modo scalare per ogni campo) senza ghost di Ostrogradsky.

Metodologia
Gli autori impiegano un'analisi hamiltoniana all'interno del formalismo di Arnowitt-Deser-Misner (ADM) per tracciare esplicitamente la struttura dei vincoli della teoria.

1. Azione e Formulazione Ausiliaria: Lo studio inizia con un'azione covariante generale per $N$ campi scalari $\phi^i$ contenente termini quadratici nelle derivate covarianti seconde $\nabla_\mu \nabla_\nu \phi^i$. Per isolare la struttura cinetica e gestire le derivate di ordine superiore, viene introdotto un campo ausiliario co-vettore $A_{i\mu}$ per ogni scalare, imposto da un moltiplicatore di Lagrange. Questo riformula la teoria in un'azione del primo ordine dove le velocità sono manifeste.
2. Decomposizione ADM: L'azione viene decomposta in componenti spaziali e temporali. Le variabili di velocità rilevanti sono identificate come la derivata normale del campo ausiliario ($V^*_i$) e la curvatura estrinseca ($K_{ab}$). Il settore cinetico è descritto da una matrice Hessiana $H_{AB}$ che agisce sullo spazio di queste velocità.
3. Classificazione dei Branch: L'analisi classifica la degenerazione primaria in base all'invertibilità dei blocchi diagonali dell'Hessiana: il blocco scalare ($G_{ij}$) e il blocco metrico ($K_{abcd}$). Gli autori si concentrano sul Branch II, dove il blocco cinetico metrico è invertibile ($\det K \neq 0$). Questa scelta assicura che il settore metrico rimanga sotto controllo, permettendo alla degenerazione di originarsi esclusivamente dal mixing tra le velocità scalari e metriche.
4. Analisi dei Vincoli:
   • Vincoli Primari: La condizione per la degenerazione primaria è derivata dall'annullamento del complemento di Schur dell'Hessiana, portando a una matrice di degenerazione scalare efficace $S_{ij}$. Per la completa rimozione di $N$ modi di Ostrogradsky, viene imposta la condizione $S_{ij} = 0$, generando $N$ vincoli primari ($\Psi_i$).
   • Vincoli Secondari: Viene analizzata l'evoluzione temporale di questi vincoli primari. Fondamentalmente, per $N \ge 2$, la preservazione dei vincoli primari genera ulteriori condizioni di coerenza. Gli autori calcolano il bracket primario-primario smetato $\{\Psi[f], \Psi[g]\}$, che si separa in coefficienti di smetamento con derivata ($D_{ija}$) e coefficienti senza derivata ($M_{ij}, N_{ij}$).
   • Condizione di Rango: Infine, viene esaminato il rango del bracket tra i vincoli primari e secondari per garantire che l'algoritmo dei vincoli si chiuda e fissi i moltiplicatori di Lagrange senza generare ulteriori vincoli.

Contributi Chiave e Risultati

• Condizione Matriciale per la Degenerazione Primaria: Nel branch con metrica invertibile, la condizione di degenerazione primaria è formulata come l'annullamento della matrice scalare efficace $S_{ij} = G_{ij} - B_{iab}(K^{-1})^{abcd}B_{jcd}$. Gli autori derivano espressioni esplicite per $S_{ij}$ in termini delle funzioni coefficienti dell'azione utilizzando un tensore ausiliario $W_{iab}$.
• Nuove Condizioni di Coerenza Multi-Campo: Il paper identifica una differenza qualitativa tra teorie a singolo campo e multi-campo. Nel limite a singolo campo, la degenerazione primaria è spesso sufficiente per garantire la coerenza. Tuttavia, per $N \ge 2$, la preservazione dei vincoli primari genera condizioni antisimmetriche nello spazio dei campi ($M_{ij} = 0$ e $N_{ij} = 0$) che non hanno analoghi nel caso a singolo campo. Queste condizioni sono necessarie per evitare che i vincoli primari fissino i propri moltiplicatori invece di generare vincoli secondari.
• Condizioni Sufficienti per Teorie Sane: Gli autori stabiliscono un insieme di condizioni sufficienti affinché una teoria sia priva di modi di Ostrogradsky:
  1. Completa degenerazione primaria: $S_{ij} = 0$.
  2. Coerenza primario-primaria: $D_{ija} = 0$, $M_{ij} = 0$, e $N_{ij} = 0$ (fortemente o debolmente).
  3. Condizione di rango: Il bracket tra i vincoli primari e secondari deve avere rango massimo ($N$).
     Quando queste sono soddisfatte, la teoria propaga $2 + N$ gradi di libertà.
• Sottoclassi Esplicite:
  • Limite a Singolo Campo: L'analisi conferma che le condizioni multi-campo si riducono correttamente ai risultati noti del singolo campo, dove le condizioni antisimmetriche scompaiono trivialmente.
  • Tipo Horndeski Multi-Campo: Per una specifica sottoclasse quadratica che ricorda la teoria di Horndeski multi-campo, la degenerazione primaria è automatica, ma rimangono condizioni di chiusura non banali sulle funzioni coefficienti (specificamente $N_{ij}=0$).
  • Sottoclasse Degenerata Costruttiva: Gli autori costruiscono una sottoclasse genuinamente multi-campo con un non-zero mixing cinetico scalare-metrico ($W_{iab} \neq 0$) che soddisfa tutte le condizioni forti, dimostrando che i vincoli derivati definiscono una classe di teorie non vuota che va oltre i semplici modelli di estensione del singolo campo.

Significato e Rivendicazioni
Il paper rivendica di fornire un rigoroso framework hamiltoniano per identificare teorie scalari-tensoriali di ordine superiore multi-campo sane. Il suo significato primario risiede nel dimostrare che la degenerazione primaria è necessaria ma non sufficiente per le teorie multi-campo; la preservazione dei vincoli introduce nuove condizioni di coerenza intrinsecamente multi-campo (i coefficienti antisimmetrici) che devono essere soddisfatte per rimuovere i modi di Ostrogradsky.

Gli autori presentano i loro risultati con modestia, definendoli come condizioni sufficienti piuttosto che una classificazione completa di tutte le teorie sane. Essi restringono esplicitamente la loro analisi al branch con metrica invertibile, notando che i branch con settori metrici singolari richiedono un trattamento separato. Inoltre, l'esempio costruttivo fornito è formulato al livello dei blocchi coefficienti ADM; gli autori riconoscono che ricostruire un'azione covariante che realizzi questi specifici blocchi è un problema separato. Il lavoro serve come passo fondamentale per costruire teorie multi-campo sane che vadano oltre le dirette generalizzazioni dei modelli a singolo campo, offrendo un insieme chiaro di vincoli algebrici e differenziali sui coefficienti della teoria.