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

Sintesi Tecnica: Proprietà di positività degli osservabili nella teoria di Yang–Mills super-simmetrica planare massima

Enunciato del Problema
Sebbene le proprietà di positività derivate dall'unitarietà e dalla località (come la rappresentazione di Källén–Lehmann) siano ben consolidate per gli osservabili come funzioni delle variabili cinematiche, la struttura analitica degli osservabili come funzioni della costante di accoppiamento rimane scarsamente compresa nella teoria quantistica dei campi. In meccanica quantistica, specificamente per l'energia dello stato fondamentale dell'oscillatore anarmonico, è noto che l'energia ammette una relazione di dispersione con un unico sottrazione e una misura spettrale positiva, una proprietà nota come proprietà di Stieltjes. Questo articolo investiga se analoghe proprietà di Stieltjes si applichino per gli osservabili esatti nella teoria di $\mathcal{N}=4$ super Yang–Mills (sYM) planare in funzione della costante di accoppiamento di 't Hooft $\lambda$.

Metodologia
Gli autori impiegano una combinazione di prove analitiche e test numerici basati sulla teoria delle funzioni di Stieltjes e dei problemi dei momenti.

1. Approccio Analitico: Per gli osservabili che ammettono espressioni in forma chiusa (ad esempio, la dimensione anomala dell'ottagono, il loop di Wilson circolare), gli autori utilizzano i teoremi di fattorizzazione di Weierstrass per esprimere gli osservabili come prodotti infiniti. Questi vengono poi convertiti in rappresentazioni integrali per identificare esplicitamente la misura spettrale e verificare la sua positività.
2. Approccio Numerico/Algebrico: Per gli osservabili privi di forme chiuse (ad esempio, la dimensione anomala del cuspide), gli autori testano le condizioni necessarie e sufficienti affinché una serie sia di tipo Stieltjes. Queste condizioni sono espresse come vincoli sulle matrici di Hankel costruite con i coefficienti perturbativi $a_n$. Nello specifico, verificano la semidefinitezza positiva delle matrici di Hankel $H_N^0, H_N^1$ e combinazioni correlate fino ad alti ordini di loop (fino a 100 loop).
3. Applicazioni: L'articolo esplora due applicazioni primarie della proprietà di Stieltjes:
   • Limiti di Padé: Utilizzando la proprietà per cui gli approssimanti di Padé delle funzioni di Stieltjes forniscono limiti rigorosi a due sensi sulla funzione esatta.
   • Bootstrap dei Momenti: Utilizzando i vincoli di Hankel per porre limiti ai coefficienti perturbativi di ordine superiore dati un insieme finito di coefficienti di ordine inferiore.
4. Recupero del Regime di Accoppiamento Forte: Gli autori utilizzano le rappresentazioni di Mellin–Barnes per relazionare l'espansione perturbativa debole all'espansione di accoppiamento forte, analizzando la struttura dei poli della trasformata di Mellin della densità spettrale.

Risultati Chiave
Lo studio stabilisce che la proprietà di Stieltjes è valida per una vasta classe di osservabili esatti nella teoria di $\mathcal{N}=4$ sYM planare:

• Dimostrato Analiticamente: La proprietà è dimostrata per la dimensione anomala dell'ottagono ($\Gamma_{\text{oct}}$), il logaritmo del loop di Wilson circolare ($\log W$), la funzione di Bremsstrahlung ($B$) e le dimensioni anomale nel limite BMN. Per questi casi, vengono derivate esplicite rappresentazioni dispersive con misure spettrali positive.
• Verificato Numericamente: Viene fornita una forte evidenza numerica per la dimensione anomala del cuspide ($\Gamma_{\text{cusp}}$), la dimensione anomala del cuspide inclinato e la dimensione anomala dell'esagono. I vincoli di Hankel sono soddisfatti fino a 100 loop per i casi del cuspide ed dell'esagono.
• Controesempi: Si dimostra che la proprietà di Stieltjes non è valida per la dimensione anomala completa di Konishi (violando i vincoli al 7° loop) e per la funzione di correlazione dell'ottagono a punti cinematici generici.
• Completezza di Monotonia: Per gli osservabili che falliscono il test di Stieltjes (come la funzione di correlazione dell'ottagono a punti generici), gli autori dimostrano che la proprietà più debole di completezza di monotonia in $1/\lambda$ continua a valere. Ciò è stabilito tramite argomenti di integrale di cammino e tecniche di sommabilità di Borel.

Significatività e Applicazioni
L'articolo sostiene che la proprietà di Stieltjes offre due potenti conseguenze pratiche per lo studio della teoria di $\mathcal{N}=4$ sYM planare:

1. Limiti Non-Perturbativi: Essa permette la conversione dei dati perturbativi in limiti rigorosi e non-perturbativi sugli osservabili. Per la dimensione anomala del cuspide, gli approssimanti di Padé costruiti dai coefficienti perturbativi sono mostrati come limiti stretti per il risultato esatto.
2. Bootstrap dei Coefficienti Perturbativi: I vincoli di positività permettono il "bootstrap" di coefficienti di ordine superiore sconosciuti. Gli autori dimostrano che conoscere i primi $N$ coefficienti della dimensione anomala del cuspide restringe il $(N+1)$-esimo coefficiente entro una finestra stretta; per 100 loop, i primi 99 coefficienti determinano il centesimo con 56 cifre significative.
3. Recupero delle Espansioni di Accoppiamento Forte: L'articolo delinea un metodo per recuperare l'espansione di accoppiamento forte (incluse le correzioni non-perturbative) dalla rappresentazione dispersiva tramite tecniche di Mellin–Barnes. Suggerisce inoltre che gli approssimanti di Padé multi-punto possano essere utilizzati per l'estensione analitica dei coefficienti perturbativi per stimare il comportamento di accoppiamento forte, sebbene questo metodo presenti limitazioni fondamentali riguardanti la divergenza asintotica.

Conclusione
Gli autori concludono che, sebbene la proprietà di Stieltjes non sia universale (fallendo per Konishi e per la cinematica generica dell'ottagono), essa è una caratteristica robusta di molti osservabili esatti nella teoria di $\mathcal{N}=4$ sYM planare. Questa scoperta estende l'utilità degli argomenti di positività dalle variabili cinematiche alla costante di accoppiamento, fornendo nuovi strumenti per porre limiti e ricostruire la fisica non-perturbativa dai dati perturbativi. L'articolo nota che la ragione strutturale sottostante a questa analiticità e positività nell'accoppiamento rimane una questione aperta.