Towers of Operators in CFTs and Convexity Bounds at Large Charge

Resumo Técnico: Torres de Operadores em CFTs e Limites de Convexidade em Grandes Cargas

Enunciado do Problema
Este artigo investiga as dimensões de escala de operadores em Teorias de Campo Conformes (CFTs) que carregam grandes cargas globais. Especificamente, foca em CFTs 3d com espaços de módulos onde uma simetria global contínua é espontaneamente quebrada. Nessas teorias, a dimensão de escala mínima $\Delta_{\min}(Q)$ em um setor de carga $Q$ segue uma expansão de grande carga:
$$\Delta_{\min}(Q) = \alpha_1 Q + \alpha_0 + O(1/Q)$$
Os autores visam determinar se os coeficientes $\alpha_1$ e $\alpha_0$ estão sujeitos a limites universais motivados pelo programa do swampland holográfico, particularmente a Conjectura da Gravidade Fraca (WGC). Embora a WGC sugira uma condição de "convexidade" para operadores carregados, as restrições precisas sobre o coeficiente subledo $\alpha_0$ e o coeficiente principal $\alpha_1$ em CFTs gerais (especialmente aquelas com menos de quatro supercargas) ainda não foram rigorosamente estabelecidas.

Metodologia
O artigo emprega duas abordagens metodológicas primárias:

1. EFT de Espaço de Módulos e Expansão de Grande Carga: Os autores utilizam a correspondência estado-operador para mapear o problema para uma geometria de cilindro ($\mathbb{R} \times S^2$). Eles expandem em torno de um ponto de sela helicoidal homogêneo, representando o estado de grande carga. O coeficiente principal $\alpha_1$ é derivado da energia clássica do sela, enquanto $\alpha_0$ surge da energia de Casimir de um loop das flutuações quadráticas em torno deste sela.
2. Computações Explícitas em Limites de Dupla Escala: Para testar limites gerais e computar valores específicos, os autores analisam diversas teorias 3d $\mathcal{N}=1$ usando:
   • A expansão-$\epsilon$ próximo a $d=4$ dimensões.
   • Limites de grande-$N_f$ e grande-$N$.
   • Modelos específicos incluem modelos $SO(N) \times SO(N)$, modelos Wess-Zumino $SO(3)$, $SQED$e$SU(2)$ SQCD.
3. Provas Variacionais: Para a prova geral de limites, os autores analisam o Hamiltoniano de flutuação quadrática da EFT. Eles utilizam princípios variacionais para comparar a energia do estado fundamental real contra um Hamiltoniano de referência para estabelecer o sinal da contribuição da energia de Casimir.

Contribuições Principais e Resultados

1. Computações de $\alpha_1$ e $\alpha_0$
Os autores fornecem as primeiras computações diretas do coeficiente subledo $\alpha_0$ em várias teorias 3d $\mathcal{N}=1$ (em vez de depender apenas da continuação da expansão-$\epsilon$).

• Modelo $SO(N) \times SO(N)$: No limite de grande-$N$, $\alpha_1 = \sqrt{(Q_x^2 + Q_y^2)/2}$ e $\alpha_0$ é expresso em termos de uma função de determinante regulada $\xi(x)$, que é encontrada como não-positiva.
• **Modelo $SO(3)$:**$\alpha_1 = 1 - \epsilon/2$e$\alpha_0 = -1/16$.
• $SQED$ (Grande $N_f$): O resultado de ordem principal resulta em $\alpha_0 = 0$, consistente com o limite da teoria livre onde a energia de Casimir desaparece.
• $SU(2)$ SQCD: Os autores computam as contribuições escalar e de férmion para $\alpha_0$ em termos de um coeficiente de Wilson $c$. Eles descobrem que, para o limite de grande-$N_f$ ($c \approx 1$), a contribuição de férmion desaparece, e a contribuição escalar é negativa ($\alpha_0 \approx -0.556$).

2. Prova do Limite de Convexidade Projetada ($\alpha_0 \leq 0$)
Motivado pela Conjectura de Convexidade de CFT (CCC), que exige $\Delta_{\min}(Q_1 + Q_2) \geq \Delta_{\min}(Q_1) + \Delta_{\min}(Q_2)$, a forma assintótica implica $\alpha_0 \leq 0$.

• Observável Projetado: Os autores definem uma dimensão mínima "projetada" $\Delta^{(n)}_{\min}(Q)$ onde apenas a carga ao longo de um gerador de Cartan específico $T_n$ é fixa, enquanto as cargas em direções ortogonais são minimizadas.
• Teorema Principal: Eles provam que, para este observável projetado, o coeficiente de um loop satisfaz $\alpha^{(n)}_0 \leq 0$.
  • A prova baseia-se em mostrar que, para o sela que minimiza a dimensão projetada, a matriz de massa $M$ das flutuações transversais é positiva semidefinida ($M \geq 0$).
  • Usando um argumento variacional, eles demonstram que, se $M \geq 0$, a contribuição escalar para a energia de Casimir é não-positiva. Combinado com as contribuições conhecidamente não-positivas de férmions e campos de calibre, isso estabelece o limite.
• Limitação: Os autores mostram explicitamente que esta prova não se estende ao problema do "raio de carga fixa" (onde o vetor de carga total é fixo). Eles constroem um contraexemplo de EFT de duas derivadas onde um raio de carga fixa resulta em $\alpha_0 > 0$, indicando que a afirmação de convexidade mais forte não pode ser provada usando apenas a EFT de espaço de módulos sem entrada adicional de UV.

3. Ausência de Limites Universais em $\alpha_1$
O artigo argumenta que não existe um limite universal para o coeficiente principal $\alpha_1$ (além do trivial $\alpha_1 \geq 0$).

• Sensibilidade à Normalização de Carga: O valor de $\alpha_1$ mostra-se altamente sensível à escolha da rede de carga e à normalização do gerador $U(1)$.
• Contraexemplos:
  • Gauging de um subgrupo finito $\mathbb{Z}_N \subset U(1)$ pode aumentar arbitrariamente $\alpha_1$ por um fator de $N$.
  • Escolher uma direção primitiva em uma rede de múltiplos $U(1)$ (por exemplo, $Q = aQ_x + bQ_y$ com $a, b$ grandes) pode diminuir arbitrariamente $\alpha_1$.
• Inclinação Normalizada: Os autores consideram uma inclinação normalizada $\hat{\alpha}_1 = \alpha_1 \sqrt{C_J/C_T}$ (envolvendo funções de dois pontos de corrente e tensor de energia) para mitigar problemas de normalização. Embora isso remova os efeitos de rede discretos, eles não encontram evidências de um limite superior universal para $\hat{\alpha}_1$ também, e notam que esta normalização obscurece a interpretação geométrica direta de separação de escala.

Significância
O artigo afirma fornecer um limite de CFT concreto e provável, motivado pelo programa do swampland holográfico. Especificamente, estabelece que a dimensão de escala projetada de torres de grande carga em CFTs 3d com espaços de módulos deve satisfazer $\alpha_0 \leq 0$. Este resultado é significativo porque é derivado diretamente usando ferramentas de CFT (EFT de grande carga e métodos variacionais), em vez de depender de suposições de dualidade holográfica.

No entanto, os autores são modestos quanto ao escopo deste resultado. Eles enfatizam que o limite se aplica ao observável projetado, não necessariamente a cada raio de carga fixa, e que a conjectura de convexidade de raio fixo mais forte permanece não provada e potencialmente falsa em EFTs gerais. Além disso, o artigo esclarece que a inclinação principal $\alpha_1$ não é um diagnóstico robusto para separação de escala no sentido do swampland devido à sua dependência de escolhas de rede de carga discretas. O trabalho, portanto, delineia os limites precisos do que pode ser provado sobre torres de grande carga usando os métodos atuais de EFT.