Aspects of Witten Diagrams for Holographic Defects

Resumo Técnico: Aspectos de Diagramas de Witten para Defeitos Holográficos

Enunciado do Problema
Este artigo aborda a decomposição de blocos conformais de diagramas de Witten no contexto de Teorias de Campo Conformes de Defeito (DCFTs). Especificamente, investiga CFTs de dimensão $d$ contendo um defeito conformal plano de dimensão $p$, que quebra a simetria conformal global $SO(d+1, 1)$ para $SO(p+1, 1) \times SO(d-p)$. O dual holográfico de tal sistema envolve uma brane $AdS_{p+1}$ de sonda incorporada em um bulk $AdS_{d+1}$. Embora a decomposição de blocos conformais de diagramas de Witten esteja bem estabelecida para CFTs sem defeitos e BCFTs (onde $p=d-1$), uma compreensão sistemática para defeitos de maior codimensão ($p < d-1$) permanece incompleta. Os autores visam preencher essa lacuna computando decomposições de blocos explícitas para vários diagramas de Witten de nível de árvore (tree-level) e de um loop que contribuem para funções de dois pontos de operadores escalares do bulk e funções de três pontos específicas.

Metodologia
A principal ferramenta técnica empregada é a representação de divisão (split representation) de propagadores de AdS, adaptada à configuração da brane de sonda. Este método utiliza a representação espectral de propagadores bulk-to-bulk, bulk-to-brane e brane-to-brane para expressar diagramas de Witten como integrais sobre ondas parciais conformais.

Principais etapas metodológicas incluem:

1. Decomposição de Canal Direto: Para diagramas de nível de árvore, os autores inserem a representação de divisão de propagadores para fatorizar os diagramas em produtos de funções de pontos menores (ex: correlações bulk-to-defect ou bulk-to-bulk). Ao integrar sobre a fronteira do espaço AdS relevante, eles obtêm representações integrais de ondas parciais, que são então convertidas em somas de blocos conformais ao deformar o contorno de integração espectral para capturar polos.
2. Decomposição de Canal Cruzado: Para expandir diagramas no canal cruzado (ex: um diagrama de troca no bulk expandido no canal do defeito), os autores utilizam as equações de movimento satisfeitas pelos propagadores de AdS. Eles aplicam os operadores diferenciais de Casimir relevantes (canal bulk ou canal do defeito) para relacionar diagramas de troca a diagramas de contato. Isso gera relações de recorrência para os coeficientes de expansão.
3. Computação de Coeficientes Semente (Seed Coefficients): Para resolver as relações de recorrência derivadas, os autores computam "coeficientes semente" (coeficientes dos operadores de twist líder) usando a representação de espaço de Mellin dos diagramas de Witten. Eles exploram a estrutura de polos das amplitudes de Mellin e as propriedades de ortogonalidade dos polinômios de Hahn contínuos para extrair esses coeficientes em forma fechada.
4. Derivação do Kernel de Cruzamento: O artigo utiliza a fórmula de inversão lorentziana para CFTs de defeito para derivar expressões em forma fechada para o kernel de cruzamento, que mapeia ondas parciais do canal do defeito para ondas parciais do canal do bulk.

Principais Contribuições e Resultados

• Funções de Dois Pontos de Nível de Árvore:

  • Diagramas de Contato: Os autores derivam a decomposição de bloco de canal de defeito explícita para diagramas de contato envolvendo dois escalares do bulk interagindo na brane. Eles fornecem expressões em forma fechada para os coeficientes OPE dos operadores de defeito trocados.
  • Troca de Escalar:
    • Canal do Defeito: A decomposição de bloco de uma troca de escalar de nível de árvore na brane é computada, fornecendo coeficientes explícitos para a troca do primário do defeito e seus descendentes.
    • Canal do Bulk: A decomposição de um diagrama de troca de escalar no bulk (com um vértice na brane) é derivada, fornecendo coeficientes para a troca do primário do bulk e operadores de double-twist.
  • Troca de Spin: A decomposição de canal do bulk para um diagrama de troca de spin-2 é computada, generalizando resultados anteriores para dimensões externas arbitrárias.

• Expansões de Canal Cruzado:

  • O artigo estabelece um método recursivo para computar coeficientes para expansões de canais cruzados (ex: troca no bulk no canal do defeito e vice-versa).
  • Coeficientes semente explícitos em forma fechada são derivados usando técnicas de espaço de Mellin. Esses coeficientes semente servem como entradas necessárias para resolver as relações de recorrência para todos os coeficientes de ordem superior.

• Correções de Loop:

  • Os autores analisam diagramas específicos de um loop, incluindo troca no bulk com uma função de um ponto corrigida por um loop e diagramas de caixa (box diagrams). Eles demonstram como estes podem ser decompostos em ondas parciais do canal do bulk, identificando os polos correspondentes à troca do operador do bulk e operadores de double-twist.

• Funções de Três Pontos:

  • Um diagrama de troca de nível de árvore para uma função de três pontos envolvendo um escalar do bulk e dois escalares localizados no defeito é decomposto em blocos de canal de defeito.

• Kernel de Cruzamento:

  • Expressões em forma fechada para o kernel de cruzamento de canal de defeito-para-bulk são derivadas para defeitos de dimensão zero em $d=2, 4$ e defeitos de superfície em $d=4, 6$. Este kernel codifica a decomposição de uma onda parcial do canal do defeito em ondas parciais do canal do bulk.

Significância e Alegações
O artigo posiciona seus resultados como um passo fundamental para estender a abordagem funcional analítica (bootstrap de Polyakov) para defeitos de codimensão geral. Os autores observam que, embora este framework tenha sido desenvolvido para BCFTs, ele ainda não foi detalhado para defeitos de maior codimensão. Ao fornecer expressões explícitas para a decomposição de blocos dos coeficientes de diagramas de Witten de nível de árvore, os autores alegam fornecer a "base completa de funcionais analíticos" necessária para restringir os dados da CFT via equações de cruzamento em DCFTs gerais.

Além disso, a derivação do kernel de cruzamento e das relações de recorrência para coeficientes de canais cruzados fornece a maquinaria técnica necessária para analisar a simetria de cruzamento de correlações de defeito além da ordem líder. O trabalho é apresentado como um estudo sistemático dentro de uma descrição de teoria de campo efetiva em AdS, sem se restringir a quaisquer DCFTs supersimétricas específicas, ofereando ferramentas gerais para o programa de bootstrap holográfico.