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

Resumo Técnico: Remoção de Modos de Ostrogradsky em Teorias Escalar-Tensoriais de Ordem Superior Multifield

Enunciado do Problema
As teorias escalar-tensoriais são extensões naturais da Relatividade Geral utilizadas na cosmologia e em teorias de campo efetivas. Um desafio central na construção de tais teorias, particularmente aquelas com derivadas de ordem superior, é evitar a instabilidade de Ostrogradsky, que tipicamente introduz graus de liberdade do tipo fantasma (ghosts). Embora equações de campo de segunda ordem (como na teoria de Horndeski) sejam suficientes para evitar essa instabilidade, elas não são necessárias; a degenerescência na estrutura cinética também pode remover modos indesejados.

O problema torna-se significativamente mais complexo em cenários de múltiplos campos ($N \ge 2$). Diferente do caso de campo único, onde a degenerescência é caracterizada por uma única condição escalar, as teorias de múltiplos campos envolvem matrizes no espaço de campos. As direções nulas da matriz cinética podem envolver várias combinações de velocidades escalares e métricas, levando a estruturas de restrição qualitativamente diferentes. As classificações existentes frequentemente baseiam-se em equações de segunda ordem, mas este artigo aborda o caso mais geral de teorias escalar-tensoriais quadráticas de ordem superior sem impor equações de segunda ordem como um princípio definidor. O objetivo é determinar as condições necessárias e suficientes sob as quais tais teorias propagam exatamente $2 + N$ graus de liberdade (dois modos tensoriais e um modo escalar por campo) sem fantasmas de Ostrogradsky.

Metodologia
Os autores empregam uma análise hamiltoniana dentro do formalismo de Arnowitt-Deser-Misner (ADM) para rastrear explicitamente a estrutura de restrição da teoria.

1. Ação e Formulação Auxiliar: O estudo começa com uma ação covariante geral para $N$ campos escalares $\phi^i$ contendo termos quadráticos nas segundas derivadas covariantes $\nabla_\mu \nabla_\nu \phi^i$. Para isolar a estrutura cinética e lidar com ordens superiores, um campo de covariante auxiliar $A_{i\mu}$ é introduzido para cada escalar, imposto por um multiplicador de Lagrange. Isso reformula a teoria em uma ação de primeira ordem onde as velocidades são manifestas.
2. Decomposição ADM: A ação é decomposta em componentes espaciais e temporais. As variáveis de velocidade relevantes são identificadas como a derivada normal do campo auxiliar ($V^*_i$) e a curvatura extrínseca ($K_{ab}$). O setor cinético é descrito por uma matriz Hessiana $H_{AB}$ atuando no espaço dessas velocidades.
3. Classificação de Ramos: A análise classifica a degenerescência primária com base na invertibilidade dos blocos diagonais da Hessiana: o bloco escalar ($G_{ij}$) e o bloco métrico ($K_{abcd}$). Os autores focam no Ramo II, onde o bloco cinético métrico é invertível ($\det K \neq 0$). Esta escolha garante que o setor métrico permaneça sob controle, permitindo que a degenerescência surja apenas do misto entre velocidades escalares e métricas.
4. Análise de Restrições:
   • Restrições Primárias: A condição para a degenerescência primária é derivada do desaparecimento do complemento de Schur da Hessiana, levando a uma matriz de degenerescência escalar efetiva $S_{ij}$. Para a remoção completa de $N$ modos de Ostrogradsky, a condição $S_{ij} = 0$ é imposta, gerando $N$ restrições primárias ($\Psi_i$).
   • Restrições Secundárias: A evolução temporal dessas restrições primárias é analisada. Crucialmente, para $N \ge 2$, a preservação das restrições primárias gera condições de consistência adicionais. Os autores computam o colchete primário-primário suavizado $\{\Psi[f], \Psi[g]\}$, que se separa em coeficientes de suavização de derivada ($D_{ija}$) e coeficientes não-derivativos ($M_{ij}, N_{ij}$).
   • Condição de Posto (Rank): Finalmente, o posto do colchete entre as restrições primárias e secundárias é examinado para garantir que o algoritmo de restrição feche e fixe os multiplicadores de Lagrange sem gerar novas restrições.

Contribuições Principais e Resultados

• Condição Matricial para Degenerescência Primária: No ramo de métrica invertível, a condição de degenerescência primária é formulada como o desaparecimento da matriz escalar efetiva $S_{ij} = G_{ij} - B_{iab}(K^{-1})^{abcd}B_{jcd}$. Os autores derivam expressões explícitas para $S_{ij}$ em termos das funções de coeficiente da ação usando um tensor auxiliar $W_{iab}$.
• Novas Condições de Consistência de Múltiplos Campos: O artigo identifica uma diferença qualitativa entre teorias de campo único e de múltiplos campos. No limite de campo único, a degenerescência primária é frequentemente suficiente para garantir a consistência. No entanto, para $N \ge 2$, a preservação das restrições primárias gera condições antissimétricas no espaço de campos ($M_{ij} = 0$ e $N_{ij} = 0$) que não possuem análogo no caso de campo único. Estas condições são necessárias para evitar que as restrições primárias fixem seus próprios multiplicadores em vez de gerar restrições secundárias.
• Condições Suficientes para Teorias Saudáveis: Os autores estabelecem um conjunto de condições suficientes para que uma teoria seja livre de modos de Ostrogradsky:
  1. Degenerescência primária completa: $S_{ij} = 0$.
  2. Consistência primária-primária: $D_{ija} = 0$, $M_{ij} = 0$ e $N_{ij} = 0$ (forte ou fracamente).
  3. Condição de posto: O colchete entre as restrições primárias e secundárias deve ter posto máximo ($N$).
     Quando estas se mantêm, a teoria propaga $2 + N$ graus de liberdade.
• Subclasses Explícitas:
  • Limite de Campo Único: A análise confirma que as condições de múltiplos campos reduzem-se corretamente aos resultados conhecidos de campo único, onde as condições antissimétricas desaparecem trivialmente.
  • Tipo Horndeski de Múltiplos Campos: Para uma subclasse quadrática específica que se assemelha à teoria de Horndeski de múltiplos campos, a degenerescência primária é automática, mas condições de fechamento não triviais sobre as funções de coeficiente (especificamente $N_{ij}=0$) permanecem.
  • Subclasse Degenerada Construtiva: Os autores constroem uma subclasse de múltiplos campos genuína com mistura cinética escalar-métrica não nula ($W_{iab} \neq 0$) que satisfaz todas as condições fortes, demonstrando que as restrições derivadas definem uma classe não vazia de teorias além de simples extensões de modelos de campo único.

Significância e Alegações
O artigo afirma fornecer um rigoroso arcabouço hamiltoniano para identificar teorias escalar-tensoriais de ordem superior de múltiplos campos que sejam saudáveis. Sua principal significância reside em demonstrar que a degenerescência primária é necessária, mas não suficiente para teorias de múltiplos campos; a preservação das restrições introduz novas condições de consistência intrinsecamente de múltiplos campos (os coeficientes antissimétricos) que devem ser satisfeitas para remover os modos de Ostrogradsky.

Os autores enquadram modestamente seus resultados como condições suficientes, em vez de uma classificação completa de todas as teorias saudáveis. Eles restringem explicitamente sua análise ao ramo de métrica invertível, observando que ramos com setores métricos singulares requerem tratamento separado. Além disso, o exemplo construtivo fornecido é formulado ao nível dos blocos de coeficientes ADM; os autores reconhecem que reconstruir uma ação covariante que realize esses blocos específicos é um problema separado. O trabalho serve como um passo fundamental para a construção de teorias de múltiplos campos saudáveis que vão além de generalizações diretas de modelos de campo único, oferecendo um conjunto claro de restrições algébricas e diferenciais sobre as funções de coeficiente da teoria.