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

*** CONCEPT VERSIEG ***
Technische Samenvatting: Exacte Evaluatie van de Rooster-geregulariseerde Scalaire Veld Vacuümamplitude via Site-permutaties

Probleemstelling
Het artikel behandelt de berekening van de vacuümamplitude (partitiefunctie) voor een enkel scalair veldentheorie gedefinieerd op een Euclidisch rooster van een willekeurige dimensie $D$ met een willekeurig potentiaal $U(\phi)$ die geen ruimtelijke afgeleiden bevat. Standaard benaderingen voor padintegralen in Kwantumveldentheorie (QFT) vertrouwen zwaar op perturbatietheorie, waarbij wordt geëxpandeerd in machten van een koppelingsconstante. Deze methode stuit op ultraviolette en infrarode divergenties, wat regularisatie en renormalisatie noodzakelijk maakt. Bovendien is perturbatietheorie inherent beperkt tot zwakke koppelingsregimes. Sterke koppelingsregimes worden vaak bestudeerd via dualiteiten (bijv. AdS/CFT, Seiberg-dualiteit), maar deze reduceren het probleem terug naar kleine afwijkingen van bekende theorieën. De auteur stelt een niet-perturbatieve methode voor om de vacuümamplitude voor scalaire theorieën met willekeurige potentialen (uitgesloten van ruimtelijke afgeleiden) te evalueren, die niet steunt op perturbatieve expansies of dualiteiten.

Methodologie
De voorgestelde aanpak maakt gebruik van een rooster-regularisatie waarbij de actie wordt gescheiden in een kinetische term $S_K[\phi]$ en een potentiaalterm $S_P[\phi]$. De kern van de methodologie omvat de volgende logische stappen:

1. Symmetrisatie van de Kinetische Term:
   De potentiaalterm $S_P[\phi] = \exp(-\sum U(\phi_i))$ is van nature symmetrisch onder permutaties van roosterplaatsen (sites) omdat het een product is van onafhankelijke site-integralen. De kinetische term $S_K[\phi]$ is echter niet volledig symmetrisch. De auteur stelt voor om de kinetische exponent te symmetriseren over alle permutaties $P$ van de $N$ roosterplaatsen:
   $$S^{sym}_K[\phi] = \frac{1}{N!} \sum_P S_K[\phi_P]$$
   waarbij $\phi_P$ de gepermuteerde veldconfiguratie is door $P$.

2. Gesymmetriseerde $\delta$-functie Identiteit:
   Om de velden in de kinetische en potentiaalexponenten te scheiden terwijl de symmetrisatie behouden blijft, introduceert de auteur een nieuwe identiteit voor een gesymmetriseerde $\delta$-functie. Deze identiteit drukt de gesymmetriseerde product van $\delta$-functies uit als een integraal over hulpvariabelen met behulp van een volledige set orthonormale functies $\{f_n\}$ (specifiek Hermite-functies in de uiteindelijke afleiding) en een algebraïsche structuur betrokken bij priemgetallen. De identiteit is gegeven door:
   $$\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)$$
   Hierbij zijn $a_n(x)$ en $\tilde{b}_n(x)$ geconstrueerd met behulp van priemgetallen $p_n$ en gewichten $w_n$, en is de integraal $\int_{(R)} dx$ een specifieke tweedimensionale integraal over $x$ en een hulpvariabele $t$.

3. Waring-decompositie Analogie:
   De gesymmetriseerde kinetische factor wordt behandeld als een oneindig-dimensionale Waring-decompositie. De auteur stelt dat de gesymmetriseerde kinetische term kan worden gedecomposeerd in een som van producten van eigenfuncties:
   $$S^{sym}_K[\phi] = \sum_\alpha \lambda_\alpha F_\alpha(\phi_1) \dots F_\alpha(\phi_N)$$
   Dit transformeert de padintegraal naar een som (of integraal) over eigenwaarden $\lambda_\alpha$ tot de macht van het aantal sites $N$, vermenigvuldigd met integralen van de potentiaal tegen de eigenfuncties. De auteur merkt echter expliciet op dat hoewel het eindresultaat de vorm heeft van deze decompositie, de expliciete expansie van de gesymmetriseerde kinetische exponent in zijn eigenfuncties niet is gevonden.

4. Oplossen van de Integrale Vergelijking:
   In plaats van de decompositie direct te berekenen, behandelt de auteur het probleem als een integraalvergelijking. Door de algemene padintegraal te vergelijken met het bekende resultaat voor een vrij veldentheorie (met een specifieke massa-parameter), wordt een inverse kernel $Q$ geconstrueerd. Deze kernel maakt het mogelijk de "kinetische factor" $K$ te extraheren uit de bekende vrije theorie-resultaten. De oplossing omvat een Dirichlet-reeksstructuur die voortvloeit uit de priemgetalconstructie in de algebraïsche identiteit.

Belangrijkste Bijdragen en Resultaten
Het artikel leidt een exacte, niet-perturbatieve uitdrukking af voor de vacuümamplitude $I_U(A)$ op een rooster met $N$ sites. Het eindresultaat (Eq. 2.45) heeft de vorm:

$$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$$

Waarbij:

• $I_{free}$ de vacuümamplitude van een vrije veldentheorie is, die als bekend wordt beschouwd.
• $\mu$ een massaschaalparameter is gerelateerd aan de potentiaal.
• $T_N(x)$ een functie is die gedefinieerd is via een integraal met Hermite-functies $\psi_n$ en een oneindig product over priemgetallen (gerelateerd aan een gegeneraliseerde Riemann-zeta-functie structuur).
• De term tussen de vierkante haken de "eigenintegralen" $I_n(x)$ vertegenwoordigt, die de coëfficiënten zijn van de expansie van de potentiaalterm in de basis van Hermite-functies.

De afleiding demonstreert dat de padintegraal kan worden uitgedrukt in een vorm die analoog is aan een som over "eigenwaarden" (vertegenwoordigd door de integraal over $x$ en de functie $T_N$) van de $N$-de macht van single-site integralen met betrekking tot de potentiaal en de kinetische eigenfuncties, zelfs wanneer de expliciete eigenfunctie-expansie van de kinetische term niet is afgeleid.

Betekenis en Claims
De auteur claimt dat deze aanpak een nieuw, niet-perturbatief methode biedt voor het berekenen van vacuümamplitudes voor scalaire veldentheorieën met willekeurige potentialen (uitgesloten van ruimtelijke afgeleiden) op een rooster.

• Onafhankelijkheid van Perturbatietheorie: De methode rust niet op het expanderen in koppelingsconstanten of het bestuderen van vaste punten van de Renormalisatiegroep.
• Generaliseerbaarheid: Het is toepasbaar op een $D$-dimensionaal rooster met periodieke randvoorwaarden en elke potentiaal $U(\phi)$ die geen ruimtelijke afgeleiden bevat.
• Exactheid: Het resultaat wordt gepresenteerd als een exacte evaluatie (binnen het rooster-regularisatiekader), die de veel-deeltjes padintegraal reduceert tot een vorm die bestaat uit single-site integralen en een bekende vrije veld-amplitude.

Beperkingen en Reikwijdte
Het artikel merkt expliciet de volgende beperkingen en bescheiden claims op:

• Alleen Scalaire Velden: De gedetailleerde afleiding is voor een enkel scalair veld. Hoewel de auteur suggereert dat generalisatie naar meerdere scalaire velden mogelijk is (mits de potentiaal geen afgeleiden bevat), is de methode nog niet toegepast op spinor- of gauge-velden. De aanwezigheid van afgeleidetermen in interactie-Lagrangians voor theorieën zoals QED of niet-Abelse gauge-theorieën vormt technische complicaties die niet worden geadresseerd.
• Correlatiefuncties: Het papier richt zich uitsluitend op de vacuümamplitude (partitiefunctie). Het berekenen van correlatiefuncties met veldinjecties wordt erkend als een toekomstige richting die een vergelijkbare symmetrisatie van de kinetische term en injecties vereist.
• Convergentie: De reeks die de eigenfuncties $F_x(\phi)$ definieert, wordt als niet-convergent opgemerkt, maar de resulterende reeks voor de integralen $I_n(x)$ is convergent vanwege de snelle afname van de Hermite-expansiecoëfficiënten.
• Rooster-afhankelijkheid: Het resultaat hangt van de specifieke roosterdetails af, uitsluitend via de bekende vrije veld-amplitude $I_{free}$.

De auteur concludeert dat dit framework een startpunt biedt voor het afleiden van Wilsoniaanse Renormalisatiegroep-stromen en een nieuw perspectief biedt op de structuur van padintegralen door de lens van site-permutaties en getaltheoretische identiteiten.