Exact Evaluation of Lattice-Regularized Scalar Field Vacuum Amplitude via Site Permutations

Riassunto Tecnico: Valutazione Esatta dell'Ampiezza del Vuoto di un Campo Scalare Regolarizzato su Reticolo tramite Permutazioni di Sito

Problema
Il documento affronta il calcolo dell'ampiezza del vuoto (funzione di partizione) per una singola teoria di campo scalare definita su un reticolo euclideo di dimensione arbitraria $D$ con un potenziale arbitrario $U(\phi)$ che non coinvolge derivate spaziali. Gli approcci standard ai integrali di cammino nella Teoria Quantistica dei Campi (QFT) si basano pesantemente sulla teoria delle perturbazioni, espandendosi in potenze di una costante di accoppiamento. Questo metodo incontra divergenze ultraviolette e infrarosse, rendendo necessaria la regolarizzazione e la rinormalizzazione. Inoltre, la teoria delle perturbazioni è intrinsecamente limitata ai regimi di accoppiamento debole. Mentre i regimi di accoppiamento forte sono spesso studiati tramite dualità (ad esempio, AdS/CFT, Seiberg duality), queste riducono il problema a piccole deviazioni da teorie note. L'autore propone un metodo non perturbativo per valutare l'ampiezza del vuoto per teorie scalari con potenziali arbitrari (escludendo le derivate spaziali) che non si basa su espansioni perturbative o dualità.

Metodologia
L'approccio proposto utilizza una regolarizzazione su reticolo in cui l'azione è separata in un termine cinetico $S_K[\phi]$ e un termine di potenziale $S_P[\phi]$. La metodologia centrale prevede i seguenti passaggi logici:

1. Simmetrizzazione del Termine Cinetico:
   Il termine di potenziale $S_P[\phi] = \exp(-\sum U(\phi_i))$ è naturalmente simmetrico sotto permutazioni dei siti del reticolo perché è un prodotto di integrali di sito indipendenti. Il termine cinetico $S_K[\phi]$, tuttavia, non è completamente simmetrico. L'autore propone di simmetrizzare l'esponenziale cinetico su tutte le permutazioni $P$ dei $N$ siti del reticolo:
   $$S^{sym}_K[\phi] = \frac{1}{N!} \sum_P S_K[\phi_P]$$
   dove $\phi_P$ denota la configurazione del campo permutata da $P$.

2. Identità della Funzione $\delta$ Simmetrizzata:
   Per separare i campi negli esponenziali cinetico e di potenziale mantenendo la simmetrizzazione, l'autore introduce una nuova identità per una funzione $\delta$ simmetrizzata. Questa identità esprime il prodotto simmetrizzato di funzioni $\delta$ come un integrale su variabili ausiliarie che coinvolgono un insieme completo di funzioni ortonormali $\{f_n\}$ (specificamente funzioni di Hermite nella derivazione finale) e una struttura algebrica che coinvolge i numeri primi. L'identità è data da:
   $$\frac{1}{\nu!} \sum_P \prod_{i=1}^\nu \delta(\xi_{P(i)} - \eta_i) = \int Dz \frac{1}{\nu!} e^{-\sum z_r} \int_{(R)} dx \left( \prod_{i=1}^\nu \sum_{m=0}^\infty f_m(\xi_i) z_m \tilde{b}_m(x) \right) \left( \prod_{j=1}^\nu \sum_{n=0}^\infty f_n(\eta_j) a_n(x) \right)$$
   Qui, $a_n(x)$ e $\tilde{b}_n(x)$ sono costruiti usando numeri primi $p_n$ e pesi $w_n$, e l'integrale $\int_{(R)} dx$ è un integrale bidimensionale specifico su $x$ e una variabile ausiliaria $t$.

3. Analogia con la Decomposizione di Waring:
   Il fattore cinetico simmetrizzato è trattato come una decomposizione di Waring a dimensione infinita. L'autore postula che il termine cinetico simmetrizzato può essere decomposto in una somma di prodotti di autofunzioni:
   $$S^{sym}_K[\phi] = \sum_\alpha \lambda_\alpha F_\alpha(\phi_1) \dots F_\alpha(\phi_N)$$
   Ciò trasforma l'integrale di cammino in una somma (o integrale) su autovalori $\lambda_\alpha$ elevati alla potenza del numero di siti $N$, moltiplicati per gli integrali del potenziale contro le autofunzioni. Tuttavia, l'autore nota esplicitamente che, sebbene il risultato finale assuma la forma di questa decomposizione, l'espansione esplicita dell'esponenziale cinetico simmetrizzato nelle sue autofunzioni non è stata trovata.

4. Risoluzione dell'Equazione Integrale:
   Invece di calcolare direttamente la decomposizione, l'autore tratta il problema come un'equazione integrale. Confrontando l'integrale di cammino generale con il risultato noto per una teoria di campo libero (con un parametro di massa specifico), viene costruito un kernel inverso $Q$. Questo kernel permette di estrarre il "fattore cinetico" $K$ dai risultati della teoria libera nota. La soluzione coinvolge una struttura di serie di Dirichlet derivante dalla costruzione con numeri primi nell'identità algebrica.

Contributi Chiave e Risultati
Il documento deriva un'espressione esatta e non perturbativa per l'ampiezza del vuoto $I_U(A)$ su un reticolo con $N$ siti. Il risultato finale (Eq. 2.45) assume la forma:

$$I_U(A) = \sqrt{\frac{N}{2\pi}} \mu^N I_{free}(A; \mu_k + \mu) \int_{(R)} dx \, T_N(ix) \left[ \sum_{n=0}^\infty w_n p_n^{ix} \int d\phi \, e^{-U(-\mu_k)(\phi)} \psi_n(\sqrt{\mu}\phi) \right]^N$$

Dove:

• $I_{free}$ è l'ampiezza del vuoto di una teoria di campo libero, assunta come nota.
• $\mu$ è un parametro di scala di massa relativo al potenziale.
• $T_N(x)$ è una funzione definita tramite un integrale che coinvolge funzioni di Hermite $\psi_n$ e un prodotto infinito su numeri primi (relativo a una struttura di funzione zeta di Riemann generalizzata).
• Il termine tra parentesi quadre rappresenta gli "integrali propri" $I_n(x)$, che sono i coefficienti dell'espansione del termine di potenziale nella base delle funzioni di Hermite.

La derivazione dimostra che l'integrale di cammino può essere espresso in una forma analoga a una somma su "autovalori" (rappresentati dall'integrale su $x$ e dalla funzione $T_N$) della potenza $N$-esima di integrali di sito singolo che coinvolgono il potenziale e le autofunzioni cinetiche, anche se l'espansione esplicita in autofunzioni del termine cinetico non è stata derivata.

Significato e Rivendicazioni
L'autore afferma che questo approccio offre un nuovo metodo non perturbativo per calcolare le ampiezze del vuoto per teorie di campi scalari con potenziali arbitrari (escludendo le derivate spaziali) su un reticolo.

• Indipendenza dalla Teoria delle Perturbazioni: Il metodo non si basa sull'espansione in costanti di accoppiamento o sullo studio dei punti fissi del Gruppo di Rinormalizzazione.
• Generalità: Si applica a un reticolo $D$-dimensionale con condizioni al contorno periodiche e qualsiasi potenziale $U(\phi)$ che non contenga derivate spaziali.
• Esattezza: Il risultato è presentato come una valutazione esatta (all'interno del quadro di regolarizzazione su reticolo), riducendo l'integrale di cammino molti-corpo a una forma che coinvolge integrali di sito singolo e un'ampiezza di teoria libera nota.

Limitazioni e Ambito
Il documento nota esplicitamente i seguenti vincoli e rivendicazioni modeste:

• Solo Campi Scalari: La derivazione dettagliata è per un singolo campo scalare. Sebbene l'autore suggerisca che la generalizzazione a più campi scalari sia possibile (a condizione che il potenziale manchi di derivate), il metodo non è stato applicato a campi di spin o di gauge. La presenza di termini derivativi nei Lagrangia di interazione per teorie come QED o teorie di gauge non-Abeliane presenta complicazioni tecniche non affrontate.
• Funzioni di Correlazione: Il documento si concentra esclusivamente sull'ampiezza del vuoto (funzione di partizione). Il calcolo delle funzioni di correlazione con inserzioni di campo è riconosciuto come una direzione futura che richiede una simile simmetrizzazione del termine cinetico e delle inserzioni.
• Convergenza: La serie che definisce le autofunzioni $F_x(\phi)$ è notata come non convergente, ma la serie risultante per gli integrali $I_n(x)$ è convergente grazie al rapido decadimento dei coefficienti di espansione di Hermite.
• Dipendenza dal Reticolo: Il risultato dipende dai dettagli specifici del reticolo solo attraverso la nota ampiezza di campo libero $I_{free}$.

L'autore conclude che questo framework fornisce un punto di partenza per derivare i flussi del Gruppo di Rinormalizzazione Wilsoniano e offre una nuova prospettiva sulla struttura degli integrali di cammino attraverso la lente delle permutazioni di sito e delle identità della teoria dei numeri.