Additional constraints for the tensor bootstrap

Resumo Técnico: Restrições Adicionais para o Bootstrap de Tensores

Definição do Problema
Embora os modelos tensoriais tenham sido extensivamente estudados no limite $N \to \infty$, onde os observáveis satisfazem a "universalidade Gaussiana" (fatorando de acordo com o teorema de Wick via dominância melônica), o comportamento desses modelos em $N$ finito permanece pouco compreendido. No regime de $N$ finito, as contribuições subletais não são suprimidas, a descrição melônica entra em colapso e soluções exatas para as equações de Schwinger-Dyson são, em geral, desconhecidas. Métodos numéricos existentes têm dificuldade no regime de acoplamento forte, necessitando de ferramentas analíticas não perturbativas para restringir diretamente os observáveis tensoriais em $N$ finito. O "bootstrap de matrizes" teve sucesso ao restringir modelos de matrizes usando restrições de positividade; estender essas técnicas para integrais tensoriais unitárias arbitrárias tem sido um desenvolvimento recente.

Metodologia
Os autores estendem o programa de bootstrap de tensores introduzindo duas novas classes de restrições de positividade derivadas da exigência de que a medida de probabilidade seja positiva. Essas restrições são construídas como matrizes de Gram que devem ser semidefinidas positivas ($M \succeq 0$).

1. Bolhas Abertas (Open Bubbles): Os autores definem "bolhas abertas" como objetos do tipo tensor obtidos pela remoção de um único vértice (branco ou preto) de uma invariante de bolha. Uma matriz de Gram é construída tomando os valores de expectativa dos produtos internos dessas bolhas abertas.
2. Matrizes de Cor (Color Matrices): Os autores definem "matrizes de cor" como quantidades do tipo matriz obtidas pelo corte de uma única aresta (contração de cor) de uma invariante de bolha. Uma matriz de Gram é construída a partir dos valores de expectativa dessas matrizes, que se transformam como matrizes $U(N)$ para a cor específica da aresta cortada.

Essas restrições de positividade são combinadas com as equações de Schwinger-Dyson (condições de consistência derivadas da invariância da função de partição sob transformações infinitesimais do campo). Os autores empregam uma abordagem de programação semidefinida (usando o algoritmo SDPA) para:

• Gerar matrizes de Gram a partir de invariantes de bolha até um nível de truncamento específico $n$ (número de pares de vértices).
• Gerar equações de Schwinger-Dyson envolvendo bolhas abertas até uma contagem de vértices correspondente.
• Resolver parcialmente as equações de Schwinger-Dyson para expressar expectativas de bolhas de ordem superior em termos de bolhas de ordem inferior.
• Substituir essas relações nas matrizes de Gram.
• Otimizar o valor de expectativa do observável de bolha alvo $\langle B \rangle$ ao maximizar e minimizar esse valor sujeito à restrição de que todas as matrizes de Gram permaneçam semidefinidas positivas.

Principais Contribuições

• Novas Restrições de Positividade: O artigo introduz e formaliza o uso de "bolhas abertas" e "matrizes de cor" para gerar condições adicionais de semidefinida positiva para modelos tensoriais, distintas das abordagens anteriores baseadas em matrizes.
• Limites de $N$ Finito: Os autores demonstram que essas restrições produzem limites agudos (upper e lower bounds) para integrais tensoriais unitárias em $N$ finito, especificamente para tensores de rank-3 com interações quarticas.
• Sonda Quantitativa de Universalidade: O método fornece um arcabouço quantitativo para medir desvios da universalidade Gaussiana como uma função de $N$ e da força de acoplamento.

Resultos
Os autores aplicaram seu método a dois modelos de tensores de rank-3 específicos:

1. Interação de Três Travesseiros (Three-Pillow Interaction): Um modelo com um potencial invariante sob a permutação de três interações quarticas de "travesseiro".
   • O método produziu limites agudos nos valores de expectativa do melão elementar e dos três travesseiros quarticos para vários constantes de acoplamento $g$ em $N=1, 5$ e $50$.
   • À medida que $N$ aumenta, os limites de $N$ finito convergem para a solução exata de grande $N$ derivada da universalidade Gaussiana.
   • Os limites na relação entre a expectativa do travesseiro e o melão elementar situam-se acima da curva de universalidade Gaussiana de grande $N$ em $N$ finito, convergindo para ela quando $N \to \infty$.
2. Interação de Um Travesseiro (One-Pillow Interaction): Um modelo onde o potencial quebra explicitamente a simetria de permutação entre os três possíveis travesseiros quarticos, deixando apenas o segundo e o terceiro travesseiros simétricos.
   • Em $N$ finito, os limites do bootstrap refletem corretamente a quebra de simetria: os valores de expectativa dos dois travesseiros simétricos são idênticos, enquanto o terceiro (presente no potencial) desvia-se.
   • A diferença entre os valores de expectativa dos traveseros simétricos é zero, enquanto a diferença envolvendo o travesseiro assimétrico é não-zero.
   • Isso confirma que o bootstrap pode detectar a reemergência de simetrias de permutação específicas em $N$ finito que são apagadas pela universalidade de grande $N$.

Significância e Alegações
O artigo afirma que o bootstrap de tensores, utilizando estas novas restrições de positividade, é uma poderosa ferramenta não perturbativa para o estudo de modelos tensoriais em $N$ finito. Os autores enfatizam que não assumiram propriedades de fatoração de grande $N$; em vez disso, o limite de grande $N$ (e a universalidade Gaussiana) emerge naturalmente das restrições de $N$ finito conforme $N$ torna-se suficientemente grande (por exemplo, $N=50$ em seus exemplos).

O trabalho destaca que o bootstrap pode sondar a quebra da universalidade Gaussiana e a estrutura específica das simetrias de $N$ finito. No entanto, os autores são modestos quanto à escalabilidade de sua abordagem. Eles observam que o tamanho das matrizes de Gram e o número de equações de Schwinger-Dyson crescem combinatoriamente com o rank do tensor e o nível de truncamento. Embora restrições de nível-3 tenham sido suficientes para modelos de rank-3, estender isso para tensores de rank superior ou interações de ordem superior requer significativamente mais recursos computacionais, e encontrar conjuntos mínimos de restrições continua sendo um desafio crítico para trabalhos futuros. O estudo foi restrito a interações e observáveis melônicos, deixando a aplicação a observáveis não-melônicos como uma direção aberta.