Positivity properties of observables in planar maximally supersymmetric Yang-Mills theory

Resumen Técnico: Propiedades de positividad de observables en la teoría de Yang–Mills supersimétrica plana

Planteamiento del problema
Si bien las propiedades de positividad derivadas de la unitariedad y la localidad (como la representación de Källén–Lehmann) están bien establecidas para los observables como funciones de variables cinemáticas, la estructura analítica de los observables como funciones de la constante de acoplamiento permanece poco comprendida en la teoría cuántica de campos. En mecánica cuántica, específicamente para la energía del estado fundamental del oscilador anharmónico, se sabe que la energía admite una relación de dispersión con una sola sustracción con una medida espectral positiva, una propiedad conocida como la propiedad de Stieltjes. Este artículo investiga si propiedades de Stieltjes análogas se cumplen para observables exactos en la teoría de Yang–Mills supersimétrica (sYM) $\mathcal{N}=4$ plana como funciones del acoplamiento 't Hooft $\lambda$.

Metodología
Los autores emplean una combinación de pruebas analíticas y pruebas numéricas basadas en la teoría de funciones de Stieltjes y problemas de momentos.

1. Enfoque analítico: Para los observables que admiten expresiones en forma cerrada (por ejemplo, la dimensión anómala del octágono, el bucle de Wilson circular), los autores utilizan teoremas de factorización de Weierstrass para expresar los observables como productos infinitos. Estos se convierten luego en representaciones integrales para identificar explícitamente la medida espectral y verificar su positividad.
2. Enfoque numérico/algebraico: Para los observables sin formas cerradas (por ejemplo, la dimensión anómala de la cúspide), los autores prueban las condiciones necesarias y suficientes para que una serie sea de tipo Stieltjes. Estas condiciones se expresan como restricciones sobre las matrices de Hankel construidas a partir de los coeficientes perturbativos $a_n$. Específicamente, verifican la semidefinitud positiva de las matrices de Hankel $H_N^0$, $H_N^1$ y combinaciones relacionadas hasta altos órdenes de bucle (hasta 100 bucles).
3. Aplicaciones: El artículo explora dos aplicaciones primarias de la propiedad de Stieltjes:
   • Límites de Padé: Utilizando la propiedad de que los aproximantes de Padé de las funciones de Stieltjes proporcionan límites rigurosos de dos lados para la función exacta.
   • Bootstrap de Momentos: Utilizando las restricciones de Hankel para acotar los coeficientes perturbativos de orden superior dados un conjunto finito de coeficientes de orden inferior.
4. Recuperación del acoplamiento fuerte: Los autores utilizan representaciones de Mellin–Barnes para relacionar la expansión perturbativa de acoplamiento débil con la expansión de acoplamiento fuerte, analizando la estructura de polos de la transformada de Mellin de la densidad espectral.

Resultos Clave
El estudio establece que la propiedad de Stieltjes se cumple para una amplia clase de observables exactos en la sYM $\mathcal{N}=4$ plana:

• Probado analíticamente: La propiedad se demuestra para la dimensión anómala del octágono ($\Gamma_{\text{oct}}$), el logaritmo del bucle de Wilson circular ($\log W$), la función de Bremsstrahlung ($B$) y las dimensiones anómalas en el límite BMN. Para estos, se derivan representaciones dispersivas explícitas con medidas espectrales positivas.
• Verificado numéricamente: Se proporciona una fuerte evidencia numérica para la dimensión anómala de la cúspide ($\Gamma_{\text{cusp}}$), la dimensión anómala de la cúspide inclinada y la dimensión anómala del hexágono. Las restricciones de Hankel se satisfacen hasta 100 bucles para los casos de la cúspide y el hexágono.
• Contraejemplos: Se muestra que la propiedad de Stieltjes no se cumple para la dimensión anómala completa de Konishi (violando las restricciones a 7 bucles) y para la función de correlación del octágono en puntos cinemáticos genéricos.
• Monotonía completa: Para los observables que fallan la prueba de Stieltjes (como la función de correlación del octágono en puntos genéricos), los autores demuestran que la propiedad más débil de monotonía completa en $1/\lambda$ aún se cumple. Esto se establece utilizando argumentos de la integral de camino y técnicas de sumación de Borel.

Significado y Aplicaciones
El artículo afirma que la propiedad de Stieltjes ofrece dos consecuencias prácticas poderosas para el estudio de la sYM $\mathcal{N}=4$ plana:

1. Límites no perturbativos: Permite la conversión de datos perturbativos en límites rigurosos y no perturbativos sobre los observables. Para la dimensión anómala de la cúspide, los aproximantes de Padé construidos a partir de los coeficientes perturbativos muestran que limitan estrictamente el resultado exacto.
2. Bootstrap de coeficientes perturbativos: Las restricciones de positividad permiten el "bootstrap" de los coeficientes de orden de bucle superior desconocidos. Los autores demuestran que conocer los primeros $N$ coeficientes de la dimensión anómala de la cúspide restringe el coeficiente $N+1$ a una ventana estrecha; para 100 bucles, los primeros 99 coeficientes determinan al centésimo con 56 dígitos significativos.
3. Recuperación de expansiones de acoplamiento fuerte: El artículo describe un método para recuperar la expansión de acoplamiento fuerte (incluyendo correcciones no perturbativas) a partir de la representación dispersiva mediante técnicas de Mellin–Barnes. Además, sugiere que los aproximantes de Padé de múltiples puntos pueden usarse para la continuación analítica de los coeficientes perturbativos para estimar el comportamiento de acoplamiento fuerte, aunque este método tiene limitaciones fundamentales respecto a la divergencia asintótica.

Conclusión
Los autores concluyen que, si bien la propiedad de Stieltjes no es universal (fallando para Konishi y para la cinemática genérica del octágono), es una característica robusta de muchos observables exactos en la sYM $\mathcal{N}=4$ plana. Este hallazgo extiende la utilidad de los argumentos de positividad desde las variables cinemáticas hacia la constante de acoplamiento, proporcionando nuevas herramientas para acotar y reconstruir la física no perturbativa a partir de datos perturbativos. El artículo señala que la razón estructural subyacente de esta analiticidad y positividad en el acoplamiento sigue siendo una cuestión abierta.