Additional constraints for the tensor bootstrap

Resumen Técnico: Restricciones Adicionales para el Bootstrap de Tensores

Planteamiento del Problema
Aunque los modelos tensoriales han sido estudiados extensamente en el límite de $N$ grande, donde los observables satisfacen la "universalidad Gaussiana" (factorizándose según el teorema de Wick mediante la dominancia melónica), el comportamiento de estos modelos en un $N$ finito sigue estando poco comprendido. En el régimen de $N$ finito, las contribuciones subdominantes no están suprimidas, la descripción melónica se rompe y las soluciones exactas a las ecuaciones de Schwinger-Dyson son generalmente desconocidas. Los métodos numéricos existentes tienen dificultades en el régimen de acoplamiento fuerte, lo que requiere herramientas analíticas no perturbativas para restringir directamente los observables tensoriales en un $N$ finito. Aunque el "bootstrap de matrices" ha restringido con éxito los modelos de matrices utilizando restricciones de positividad, la extensión de estas técnicas a integrales tensoriales unitarias arbitrarias ha sido un desarrollo reciente.

Metodología
Los autores extienden el programa del bootstrap de tensores introduciendo dos nuevas clases de restricciones de positividad derivadas del requisito de que la medida de probabilidad sea positiva. Estas restricciones se construyen como matrices de Gram que deben ser semidefinidas positivas ($M \succeq 0$).

1. Burbujas Abiertas (Open Bubbles): Los autores definen las "burbujas abiertas" como objetos de tipo tensor obtenidos al eliminar un único vértice (blanco o negro) de una burbuja invariante. Se construye una matriz de Gram tomando los valores de expectación de los productos internos de estas burbujas abiertas.
2. Matrices de Color (Color Matrices): Los autores definen las "matrices de color" como cantidades de tipo matriz obtenidas al cortar un único borde (contracción de color) de una burbuja invariante. Se construye una matriz de Gram a partir de los valores de expectación de estas matrices, las cuales transforman como matrices $U(N)$ para el color específico del borde cortado.

Estas restricciones de positividad se combinan con las ecuaciones de Schwinger-Dyson (condiciones de consistencia derivadas de la invarianza de la función de partición bajo transformaciones infinitesimales del campo). Los autores emplean un enfoque de programación semidefinida (usando el algoritmo SDPA) para:

• Generar matrices de Gram a partir de invariantes de burbuja hasta un nivel de truncamiento específico $n$ (número de pares de vértices).
• Generar ecuaciones de Schwinger-Dyson que involucran burbujas abiertas hasta un número de vértices correspondiente.
• Resolver parcialmente las ecuaciones de Schwinger-Dyson para expresar los valores de expectación de burbujas de orden superior en términos de los de orden inferior.
• Sustituir estas relaciones en las matrices de Gram.
• Optimizar el valor de expectación de un observable de burbuja objetivo $\langle B \rangle$ maximizando y minimizando dicho valor sujeto a la restricción de que todas las matrices de Gram permanezcan semidefinidas positivas.

Contribuciones Clave

• Nuevas Restricciones de Positividad: El artículo introduce y formaliza el uso de "burbujas abiertas" y "matrices de color" para generar condiciones adicionales de semidefinición positiva para modelos tensoriales, distintas de los enfoques previos basados en matrices.
• Límites de $N$ Finito: Los autores demuestran que estas restricciones producen límites agudos (sharp bounds) superiores e inferiores en las integrales tensoriales unitarias para un $N$ finito, específicamente para tensores de rango 3 con interacciones cuarticas.
• Sonda Cuantitativa de la Universalidad: El método proporciona un marco cuantitativo para medir las desviaciones de la universalidad Gaussiana como una función de $N$ y la fuerza de acoplamiento.

Resultados
Los autores aplicaron su método a dos modelos de tensores de rango 3 específicos:

1. Interacción de Tres Almohadas (Three-Pillow Interaction): Un modelo con un potencial invariante bajo la permutación de tres interacciones cuarticas de tipo "almohada" (pillow).
   • El método produjo límites agudos sobre los valores de expectación del melón elemental y de las tres almohadas cuarticas para varios constantes de acoplamiento $g$ en $N=1, 5$ y $50$.
   • A medida que $N$ aumenta, los límites de $N$ finito convergen a la solución exacta de $N$ grande derivada de la universalidad Gaussiana.
   • Los límites sobre la relación entre el valor de expectación de la almohada y el melón elemental se sitúan por encima de la curva de universalidad Gaussiana de $N$ grande en $N$ finito, convergiendo hacia ella cuando $N \to \infty$.
2. Interacción de Una Almohada (One-Pillow Interaction): Un modelo donde el potencial rompe explícitamente la simetría de permutación entre las tres posibles almohadas cuarticas, dejando solo la segunda y la tercera almohadas simétricas.
   • En $N$ finito, los límites del bootstrap reflejan correctamente la ruptura de simetría: los valores de expectación de las dos almohadas simétricas son idénticos, mientras que la tercera (presente en el potencial) desvía.
   • La diferencia entre los valores de expectación de las almohadas simétricas es cero, mientras que la diferencia que involucra a la almohada asimétrica es no nula.
   • Esto confirma que el bootstrap puede detectar la reaparición de simetrías de permutación específicas en $N$ finito que son desvanecidas por la universalidad de $N$ grande.

Significado y Reivindicaciones
El artículo afirma que el bootstrap de tensores, utilizando estas nuevas restricciones de positividad, es una poderosa herramienta no perturbativa para estudiar modelos tensoriales en $N$ finito. Los autores enfatizan que no asumieron propiedades de factorización de $N$ grande; más bien, el límite de $N$ grande (y la universalidad Gaussiana) emerge naturalmente de las restricciones de $N$ finito a medida que $N$ se vuelve suficientemente grande (por ejemplo, $N=50$ en sus ejemplos).

El trabajo destaca que el bootstrap puede sondear la ruptura de la universalidad Gaussiana y la estructura específica de las simetrías de $N$ finito. Sin embargo, los autores son modestos respecto a la escalabilidad de su enfoque. Observan que el tamaño de las matrices de Gram y el número de ecuaciones de Schwinger-Dyson crecen de forma combinatoria con el rango del tensor y el nivel de truncamiento. Aunque las restricciones de nivel 3 fueron suficientes para los modelos de rango 3, extender esto a tensores de mayor rango o interacciones de mayor orden requiere significativamente más recursos computacionales, y encontrar conjuntos mínimos de restricciones sigue siendo un desafío crítico para trabajos futuros. El estudio se restringió a interacciones y observables melónicos, dejando la aplicación a observables no melónicos como una dirección abierta.