Does QFT make sense in non-integer dimensions?

Sintesi Tecnica: "La QFT ha senso in dimensioni non intere?"

Enunciato del Problema
Il saggio affronta il problema di lunga data della continuazione analitica delle Teorie di Campo Quantistiche (QFT) da dimensioni spaziotemporali intere $d \in \mathbb{N}$ a dimensioni frazionarie o complesse $d \in \mathbb{C}$. Sebbene la regolarizzazione dimensionale (dim-reg) tratti con successo le teorie vettoriali in un intorno infinitesimo di una dimensione intera $d$, gli autori sostengono che una continuazione rigorosa e non perturbativa verso un insieme aperto finito nel piano complesso (che contenga più interi distinti) sia ostacolata. Il problema centrale è che le comuni teorie, come la QCD e la QED, esibiscono "eccezioni di basso rango" dove gli osservabili subiscono cambiamenti qualitativi e discreti a specifiche dimensioni intere. Queste discontinuità impediscono l'esistenza di una singola funzione analitica uniforme che descriva la teoria attraverso tutti i valori di $d$.

Metodologia
Gli autori affrontano il problema separando la cinematica (teoria delle rappresentazioni del gruppo di Lorentz) dalla dinamica.

1. Analisi Cinematica: Utilizzano le categorie di Deligne $\overline{\text{Rep}}(O(d))$ per definire rappresentazioni stabili a frazioni di $d$. Dimostrano che, mentre i "veri tensori" (sequenze stabili di rappresentazioni) ammettono una continuazione analitica unica, i "pseudo-tensori" e le rappresentazioni che coinvolgono spinori (pinori) non la ammettono. Nello specifico, la traccia delle matrici gamma $\text{tr}[\gamma_{\mu_1 \dots \mu_n}]$ svanisce per un generico $d$ grande, ma diventa non nulla in presenza di specifiche eccezioni di basso rango (ad esempio, $\text{tr}[\gamma_{\mu\nu\rho}] \neq 0$ solo per $d=3$).
2. Calcolo Perturbativo: Per illustrare queste ostruzioni, gli autori eseguono calcoli espliciti nel limite large-$N_f$ della QCD vettoriale priva di massa (e della QED). Calcolano le dimensioni di scala ($\Delta$) di operatori come il fermione $\psi$ e il bilineare scalare $\bar{\psi}\psi$ al primo ordine in $1/N_f$.
3. Analisi della Struttura a Rami: Analizzano le funzioni di correlazione e le dimensioni di scala confrontando i risultati "onesti" calcolati direttamente a dimensioni intere $d$ (utilizzando tracce rigorose di matrici gamma) contro i risultati "analitici" derivati assumendo il limite stabile (ponendo a zero le tracce dispari).

Contributi Chiave e Risultati

• Ostruzione alla Analiticità Uniforme: Il saggio stabilisce che, per operatori generici, in particolare gli scalari con parità opposta come $\bar{\psi}\psi$, la dimensione di scala $\Delta(d)$ non è una singola funzione analitica di $d$. Invece, la teoria esibisce "eccezioni di basso rango" dove operatori di spin diverso diventano isomorfi (ad esempio, un tensore antisimmetrico di rango 3 diventa uno scalare a $d=3$). Ciò porta a incroci di livelli (level crossing) e mescolamento di operatori che sono discontinui rispetto a $d$.
• La Struttura a Rami: Gli autori propongono che la continuazione analitica dei dati della QFT non risieda sul piano complesso $\mathbb{C}$, ma piuttosto su un rivestimento infinito di esso.
  • Per l'operatore $\bar{\psi}\psi$, esiste una famiglia infinita di rami analitici $\hat{\Delta}(\mathcal{O}_i)$, dove $\mathcal{O}_i$ sono operatori che diventano isomorfi a $\bar{\psi}\psi$ a specifiche dimensioni intere (ad esempio, $\bar{\psi}\gamma_{\mu\nu\rho}\psi$ a $d=3$, $\bar{\psi}\gamma_{\mu\nu\rho\sigma\tau}\psi$ a $d=5$).
  • Ogni ramo $\hat{\Delta}$ è analitico in $d$ e corrisponde alla corretta dimensione di scala fisica solo nel vicinato della sua specifica dimensione intera $d$. Nessun singolo ramo è corretto per tutti i valori di $d$.
  • Questa struttura deriva dal fatto che il "limite stabile" (ignorando le eccezioni di basso rango) produce una funzione analitica che fallisce per piccoli valori di $d$, mentre il calcolo "onesto" produce una funzione discontinua.
• Calcoli Espliciti in QCD/QED:
  • Linee di Wilson: Si dimostra che il valore di aspettazione dei loop di Wilson ammette una continuazione analitica ben definita, poiché dipende da strutture tensoriali stabili.
  • Dimensione di Scala del Fermione: La dimensione di scala di $\psi$ è trovata essere analitica in $d$ (al primo ordine), poiché non soffre degli stessi problemi di mescolamento di basso rango tipici dei bilineari composti.
  • Bilineare Scalare $\bar{\psi}\psi$: Il calcolo di $\Delta(\bar{\psi}\psi)$ rivela un termine proporzionale a $\text{tr}[\gamma_{\mu\nu\rho}]\text{tr}[\gamma^{\mu\nu\rho}]$. Questo termine svanisce per ogni $d \neq 3$ nel limite stabile, ma è non nullo a $d=3$. Di conseguenza, la continua analitica ingenua fornisce la risposta errata a $d=3$. Il valore corretto viene recuperato solo passando al ramo corrispondente all'operatore $\bar{\psi}\gamma_{\mu\nu\rho}\psi$, che è il partner isomorfo a $d=3$.
• Modello Gross–Neveu–Yukawa: Gli autori estendono queste scoperte al modello QED-Gross–Neveu–Yukawa, mostrando che l'aggiunta di interazioni scalari non rimuove la struttura a rami; le ostruzioni di basso rango persistono.

Significato e Rivendicazioni
Il saggio sostiene che l'intuizione delle QFT come una famiglia fluida connessa da parametri continui $d$ e $N$ è fondamentalmente errata a causa di questi effetti discreti e non perturbativi in $1/d$.

• Sulla Regolarizzazione Dimensionale: Gli autori suggeriscono che la standard prescrizione di 't Hooft-Veltman (che effettivamente pone a zero le tracce dispari) è valida solo in un intorno infinitesimale di una specifica dimensione intera $d$ (ad esempio, $d=4$). Essa fallisce nel fornire una continuazione analitica globale che riproduca correttamente i risultati ad altre dimensioni intere (ad esempio, $d=3$).
• Sulla Unicità: Essi sostengono che una continuazione analitica unica è possibile solo se si impone un "comportamento ben formato" per $d \to \infty$. Tuttavia, poiché l'espansione in $1/N_f$ decade a dimensioni $d$ sufficientemente grandi per una $N_f$ fissata, la unicità della continuazione non può essere stabilita perturbativamente.
• Sulle Teorie Chirali: Il saggio nota che le teorie chirali (che coinvolgono $\gamma_*$) affrontano ostruzioni ancora più severe, con discontinuità attese a dimensioni intere pari a causa delle tracce che coinvolgono $\gamma_*$.
• Conclusione: Il saggio conclude che, sebbene esista una continuazione significativa, essa richiede di navigare in una struttura a rami dove è necessario scegliere il corretto ramo analitico adattato alla specifica dimensione intera di interesse. Non esiste una singola formula che sia sia analitica in $d$ che corretta per tutti i valori di $d \in \mathbb{N}$. Ciò mette in discussione la fattibilità dell'uso della continuazione analitica come strumento per interpolare tra diverse dualità di tipo Seiberg (ad esempio, tra $d=3$ e $d=4$) senza incontrare queste discontinuità strutturali.