The Positivity Geometry of Photon--Dark-Photon Effective Field Theories

Resumo Técnico: A Geometria de Positividade das Teorias de Campo Eficazes Fóton–Fóton Escuro

Problema
Extensões do Modelo Padrão (SM) com setores ocultos, particularmente aquelas envolvendo partículas leves e fracamente acopladas como os fótons escuros, são alvos centrais de buscas teóricas e experimentais atuais. Embora as Teorias de Campo Eficazes (EFTs) de baixa energia para fótons puros sejam bem compreendidas, a EFT que descreve a interação entre fótons de massa nula ($\gamma$) e fótons escuros de massa nula ($\gamma'$) permanece qualitativa e quantitativamente mais rica devido à presença de duas espécies de spin-1 sem massa. Essa complexidade leva a um maior número de canais de partículas e de helicidade, relações de cruzamento entre estados visíveis e escuros, e um espaço de coeficientes de Wilson que não se reduz ao familiar subespaço de dois parâmetros de Euler-Heisenberg. Antes deste trabalho, uma análise geral e detalhada da geometria de positividade para a EFT fóton–fóton escuro não havia sido explorada. O artigo aborda a necessidade de derivar limites de positividade independentes de modelo sobre os coeficientes de Wilson de dimensão oito desta teoria para restringir o espaço das teorias infravermelhas (IR) viáveis e mapeá-las para possíveis complementações ultravioletas (UV).

Metodologia
Os autores empregam uma abordagem sistemática combinando análise de amplitude de helicidade, relações de dispersão e geometria algébrica:

1. Enumeração de Amplitudes de Helicidade: Os autores aplicam sistematicamente equações de reversão de paridade, reversão de tempo e cruzamento ($s-t$, $s-u$, $t-u$) para processos de espalhamento $2\to2$ envolvendo fótons e fótons escuros. Eles identificam 19 amplitudes de helicidade independentes, um aumento significativo em relação às 3 amplitudes independentes encontradas no espalhamento de fótons puros.
2. Construção de Base de Operadores: Trabalhando em uma base de operadores canonicamente normalizada onde a mistura cinética é eliminada via redefinição de campo, eles constroem a base completa de operadores CP-par até a dimensão-8. Isso resulta em 12 coeficientes de Wilson independentes ($c_1$ através de $c_{12}$), comparado a apenas 2 na EFT de fóton puro.
3. Relações de Dispersão: Usando uma relação de dispersão de limite frontal modificada, os autores definem uma função analítica $M(s)$ no semiplano superior de $s$. Ao assumir o limite de Regge e negligenciar a troca de grávitons (via um limite de desacoplamento estrito), eles utilizam o teorema do óptico para estabelecer que a parte imaginária da amplitude de espalhamento é não-negativa.
4. Restrições de Positividade: Isso leva a uma condição de positividade elástica expressa como uma restrição de cone convexo sobre os coeficientes de Wilson. Os autores analisam essa condição em subespaços analyticamente tratáveis (especificamente $C^2 \otimes C^4$ e $C^2 \otimes C^2$) para derivar desigualdades lineares, quadráticas e não-lineares explícitas.
5. Interpretação Geométrica: As restrições resultantes são interpretadas como definindo uma "geometria espectaédrica". Os autores utilizam conceitos como matrizes de Gram, espectraedros (formas convexas definidas por desigualdades de matriz linear) e eliptótopos para visualizar as regiões permitidas no espaço dos coeficientes de Wilson.

Principais Contribuições e Resultados

• Enumeração Completa: O artigo fornece a primeira enumeração completa de canais de helicidade independentes (19) e a base completa de operadores CP-par (12 operadores de dimensão-8) para a EFT fóton–fóton escuro.
• Derivação de Limites: Os autores derivam limites de positividade elástica não-triviais, lineares e não-lineares. Estes incluem:
  • Limites de positividade simples: $c_1, c_2, c_3, c_4, c_7, c_8 \geq 0$.
  • Desigualdades quadráticas: ex., $4c_1c_7 \geq c_9^2$ e $4c_2c_8 \geq c_{10}^2$.
  • Restrições de ordem superior envolvendo somas e diferenças de coeficientes (ex., Eq. 15 e Eq. 19), que codificam um conjunto infinito de desigualdades lineares.
• Estrutura Geométrica: Os limites definem uma geometria espectaédrica. Especificamente, em certos subespaços, a região permitida forma um "eliptótopo" (um espectraedro definido por uma matriz de Gram semidefinida positiva). O artigo mapeia explicitamente os vértices e fronteiras desta geometria, mostrando que o locus do determinante zero corresponde à superfície cúbica de quatro nós de Cayley.
• Hierarquias de Amplitude: Os limites derivados implicam hierarquias para amplitudes de helicidade mista, mesmo no limite não-frontal ($t \neq 0$). Por exemplo, $|M_{++}^{++'}|^2 \lesssim M_{++}^{++} M_{++'}^{++'}$.
• Limites de Dois Lados: A análise produz limites de dois lados para várias amplitudes de baixa energia, circunscritos por funções de outras amplitudes de helicidade, fornecendo restrições mais rigorosas do que apenas limites de um lado.
• Mapeamento de Complementação UV: Os autores analisam como complementações UV específicas povoam esta geometria:
  • Portais de Mistura Cinética: Estes geralmente residem na superfície do eliptótopo IR (contribuições de posto-2). Limites específicos (ex., partículas milicargadas ou setores escuros desacoplados) residem nas arestas ou vértices da geometria.
  • Portais de Áxion-Escuro: Complementações em nível de árvore envolvendo um pseudosscalar massivo saturam limites específicos e residem nos vértices do eliptótopo.
  • Modelos Híbridos: Se tanto a mistura cinética quanto os portais de áxion existirem, ou se o setor UV for mais rico, as contribuições são genericamente de posto 3, posicionando a teoria dentro do eliptótopo, em vez de sua fronteira.

Significância
O artigo afirma fornecer a primeira análise completa de positividade para a EFT fóton–fóton escuro de massa nula em um cenário atualmente relevante. Os resultados constituem as restrições teóricas independentes de modelo mais fortes disponíveis para esta EFT. Ao estabelecer uma "geometria espectaédrica" para os coeficientes de Wilson, o trabalho conecta observáveis de baixa energia aos princípios fundamentais de causalidade e unitariedade. Além disso, oferece diagnósticos IR agudos para física UV de setor escuro viável, demonstrando como diferentes complementações UV (mistura cinética vs. portais de áxion) ocupam regiões distintas e identificáveis dentro da geometria de positividade. Este framework estende o programa "EFT-hedron" para setores de gauge mistos, organizando dados de EFT através de cascos convexos e levantamentos espectaédricos.