Does QFT make sense in non-integer dimensions?

Resumo Técnico: "A QFT faz sentido em dimensões não inteiras?"

Enunciado do Problema
O artigo aborda o problema de longa data de realizar a continuação analítica de Teorias de Campo Quântico (QFT) de dimensões espaciais inteiras $d \in \mathbb{N}$ para dimensões fracionárias ou complexas $d \in \mathbb{C}$. Embora a regularização dimensional (dim-reg) trate com sucesso teorias do tipo vetorial em uma vizinhança infinitesimal de um inteiro $d$, os autores argumentam que uma continuação rigorosa e não perturbativa para um conjunto aberto finito no plano complexo (contendo múltiplos inteiros distintos) é obstruída. O problema central é que teorias comuns, como QCD e QED, exibem "exceções de baixo rank" onde observáveis sofrem mudanças qualitativas e discretas em dimensões inteiras específicas. Essas descontinuidades impedem a existência de uma única função analítica uniforme que descreva a teoria em todos os $d$.

Metodologia
Os autores abordam o problema desmembrando a cinemática (teoria de representação do grupo de Lorentz) da dinâmica.

1. Análise Cinemática: Eles utilizam categorias de Deligne $\overline{\text{Rep}}(O(d))$ para definir representações estáveis em $d$ fracionário. Eles demonstram que, embora "tensores verdadeiros" (sequências estáveis de representações) admitam uma continuação analítica única, "pseudo-tensores" e representações envolvendo spinors (pinores) não admitem. Especificamente, o traço de matrizes gama $\text{tr}[\gamma_{\mu_1 \dots \mu_n}]$ desaparece para um $d$ grande genérico, mas torna-se não nulo em exceções de baixo rank específicas (por exemplo, $\text{tr}[\gamma_{\mu\nu\rho}] \neq 0$ apenas em $d=3$).
2. Computação Perturbativa: Para ilustrar essas obstruções, os autores realizam cálculos explícitos no limite de grande $N_f$ de uma QCD sem massa do tipo vetorial (e QED). Eles computam as dimensões de escala ($\Delta$) de operadores como o férmion $\psi$ e o bilinear escalar $\bar{\psi}\psi$ até a ordem principal em $1/N_f$.
3. Análise da Estrutura de Ramos: Os autores analisam as funções de correlação e as dimensões de escala comparando os resultados "honestos" computados diretamente em dimensões inteiras $d$ (usando traços de matrizes gama rigorosos) contra os resultados "analíticos" derivados ao assumir o limite estável (definindo traços ímpares como zero).

Contribuições Principais e Resultados

• Obstrução à Analiticidade Uniforme: O artigo estabelece que, para operadores genéricos, particularmente escalares de paridade ímpar como $\bar{\psi}\psi$, a dimensão de escala $\Delta(d)$ não é uma única função analítica de $d$. Em vez disso, a teoria exibe "exceções de baixo rank" onde operadores de diferentes spins tornam-se isomórficos (por exemplo, um tensor antissimétrico de rank-3 torna-se um escalar em $d=3$). Isso leva ao cruzamento de níveis e mistura de operadores que são descontínuos como uma função de $d$.
• A Estrutura de Ramos: Os autores propõem que a continuação analítica dos dados da QFT não reside no plano complexo $\mathbb{C}$, mas sim em um recobrimento infinito deste.
  • Para o operador $\bar{\psi}\psi$, existe uma família infinita de ramos analíticos $\hat{\Delta}(\mathcal{O}_i)$, onde $\mathcal{O}_i$ são operadores que se tornam isomórficos a $\bar{\psi}\psi$ em dimensões inteiras específicas (por exemplo, $\bar{\psi}\gamma_{\mu\nu\rho}\psi$ em $d=3$, $\bar{\psi}\gamma_{\mu\nu\rho\sigma\tau}\psi$ em $d=5$).
  • Cada ramo $\hat{\Delta}$ é analítico em $d$ e coincide com a dimensão de escala física correta apenas na vizinhança de seu respectivo inteiro $d$. Nenhum ramo único é correto para todos os inteiros.
  • Esta estrutura surge porque o "limite estável" (ignorando exceções de baixo rank) produz uma função analítica que falha em pequenos $d$, enquanto o cálculo "honesto" produz uma função descontínua.
• Cálculos Explícitos em QCD/QED:
  • Linhas de Wilson: Mostra-se que o valor esperado de loops de Wilson admite uma continuação analítica bem definida, pois depende de estruturas tensoriais estáveis.
  • Dimensão de Escala do Férmion: A dimensão de escala de $\psi$ é encontrada como analítica em $d$ (na ordem principal), pois não sofre dos mesmos problemas de mistura de baixo rank que os escalares compostos.
  • Bilinear Escalar $\bar{\psi}\psi$: O cálculo de $\Delta(\bar{\psi}\psi)$ revela um termo proporcional a $\text{tr}[\gamma_{\mu\nu\rho}]\text{tr}[\gamma^{\mu\nu\rho}]$. Este termo desaparece para todo $d \neq 3$ no limite estável, mas é não nulo em $d=3$. Consequentemente, a continuação analítica ingênua fornece a resposta errada em $d=3$. O valor correto é recuperado apenas ao mudar para o ramo correspondente ao operador $\bar{\psi}\gamma_{\mu\nu\rho}\psi$, que é o parceiro isomórfico em $d=3$.
• Modelo Gross–Neveu–Yukawa: Os autores estendem esses achados ao modelo QED-Gross–Neveu–Yukawa, mostrando que a adição de interações escalares não remove a estrutura de ramos; as obstruções de baixo rank persistem.

Significância e Alegações
O artigo afirma que a intuição de que as QFTs são uma família suave conectada por parâmetros contínuos $d$ e $N$ é fundamentalmente falha devido a esses efeitos discretos e não perturbativos em $1/d$.

• Sobre a Regularização Dimensional: Os autores sugerem que a prescrição padrão de 't Hooft-Veltman (que efetivamente define traços ímpares como zero) é válida apenas em uma vizinhança infinitesimal de um inteiro $d$ específico (por exemplo, $d=4$). Ela falha em fornecer uma continuação analítica global que reproduza corretamente os resultados em outros inteiros (por exemplo, $d=3$).
• Sobre a Unicidade: Eles argumentam que uma continuação analítica única só é possível se forem impostos "comportamentos agradáveis" em $d \to \infty$. No entanto, como a expansão de grande $N_f$ quebra para $d$ suficientemente grande para um $N_f$ fixo, a unicidade da continuação não pode ser estabelecida perturbativamente.
• Sobre Teorias Quirais: O artigo observa que teorias quirais (envolvendo $\gamma_*$) enfrentam obstruções ainda mais severas, com descontinuidades esperadas em inteiros pares devido a traços envolvendo $\gamma_*$.
• Conclusão: O artigo conclui que, embora uma continuação significativa exista, ela requer navegar por uma estrutura ramificada onde se deve escolher o ramo analítico correto adaptado ao inteiro específico de interesse. Não existe uma única fórmula que seja tanto analítica em $d$ quanto correta para todos os $d \in \mathbb{N}$. Isso desafia a viabilidade de usar a continuação analítica como uma ferramenta para interpolar entre dualidades de dimensões inteiras distintas (por exemplo, entre dualidades do tipo Seiberg em $d=3$ e $d=4$) sem encontrar essas descontinuidades estruturais.