Reply to "Comment on "Chiral symmetry restoration, the eigenvalue density of the Dirac operator, and the axial U(1) anomaly at finite temperature""

Questo articolo confuta il commento di Matteo Giordano dimostrando che i controesempi proposti violano l'assunto fondamentale della QCD sull'analiticità nella massa quadratica dei quark ad alte temperature e identificando un errore tecnico nella critica, difendendo così la validità degli argomenti originali degli autori riguardanti il ripristino della simmetria chirale e l'anomalia assiale U(1).

L'essenziale

Immagina un dibattito ad alta tensione tra due gruppi di fisici che cercano di capire come si comporta l'universo quando diventa estremamente caldo. Un gruppo (gli autori di questo articolo, guidati da Sinya Aoki e Hidenori Fukaya) ha avanzato una specifica rivendicazione su come le particelle interagiscono a queste temperature. L'altro gruppo (rappresentato da Matteo Giordano) ha scritto un "commento" cercando di dimostrare che avevano torto offrendo alcuni controesempi.

Questo articolo è la replica degli autori. Il loro messaggio principale è semplice: "Gli esempi che hai usato per cercare di smentirci non funzionano perché violano le regole fondamentali del gioco."

Ecco una scomposizione del loro argomento usando analogie quotidiane:

1. La regola della "Levigatezza" (Il disaccordo centrale)

La teoria originale degli autori si basa su una regola che chiamano $m^2$-analiticità.

• L'analogia: Immagina di preparare una torta. La "massa del quark" ($m$) è come la quantità di zucchero che aggiungi. Gli autori sostengono che se ti trovi nella "fase calda" (come una torta completamente cotta), il gusto della torta cambia gradualmente mentre modifichi lo zucchero. Se tracci il gusto rispetto alla quantità di zucchero, ottieni una curva continua e piacevole, senza salti improvvisi o angoli acuti.
• La mossa del critico: Giordano ha cercato di dimostrare che questa regola non è vera inventando alcune "torte" matematiche strane dove il gusto subisce salti improvvisi o si comporta in modo strano quando si cambia lo zucchero.
• La confutazione: Gli autori sottolineano che le strane torte di Giordano sono illecite. Nel mondo reale della fisica ad alta temperatura (QCD), la natura non permette quei salti improvvisi. Gli esempi di Giordano funzionano solo se si violano le leggi fondamentali dell'universo. Poiché i suoi esempi sono "irrealistici", non possono essere usati per confutare una teoria sul vero universo.

2. La probabilità "Ben Definita"

Gli autori discutono anche di uno strumento matematico che utilizzano chiamato $P(m, A)$, che funge da mappa di probabilità per il comportamento delle particelle.

• La mossa del critico: Giordano ha sostenuto che questa mappa potrebbe essere "mal definita" o interrotta in certi scenari, suggerendo una formula specifica per essa che appariva disordinata.
• La confutazione: Gli autori spiegano che se si costruisce questa mappa utilizzando un metodo standard, passo dopo passo (come una simulazione al computer su una griglia), essa funziona perfettamente. Sostengono che la formula disordinata di Giordano è solo un altro di quegli esempi "illeciti" che violano la regola della levigatezza menzionata sopra. È come cercare di usare la mappa di una città che non esiste per dimostrare che le tue capacità di navigazione sono scarse.

3. L'errore della "Media"

Infine, gli autori hanno trovato un errore matematico specifico nella logica di Giordano.

• L'analogia: Immagina di avere un sacchetto di biglie.
  • L'errore: Giordano ha agito come se la "biglia media" nel sacchetto fosse l'unica biglia esistente. Ha assunto che se il peso medio è di 5 grammi, allora ogni singola biglia pesa esattamente 5 grammi.
  • La realtà: Nel mondo reale, hai biglie da 4g, 6g, 3g, ecc. La media è 5g, ma la varianza (la dispersione) è reale e importante.
• La confutazione: Giordano ha confuso il "valore medio" con la "distribuzione dei valori". Ha usato una formula che assume che non ci sia alcuna variazione (una funzione delta), il che è matematicamente errato per questo tipo di problema. A causa di questo errore fondamentale, le conclusioni che ne ha tratto sono invalide.

La Conclusione

Gli autori concludono dicendo che:

1. I controesempi usati da Giordano sono "unphysical" (violano le regole dell'universo).
2. Giordano ha commesso un errore tecnico confondendo una media con un valore specifico.
3. Pertanto, il tentativo di Giordano di confutare la teoria originale fallisce. La teoria originale resta in piedi.

In breve, gli autori stanno dicendo: "Hai cercato di abbattere la nostra casa lanciandoci contro delle pietre, ma stavi lanciando pietre fatte di vetro che si sono frantumate prima di colpire il muro. Inoltre, hai sbagliato il calcolo della traiettoria del tuo lancio. La nostra casa è ancora in piedi."

Sommario tecnico

Sintesi Tecnica: Risposta a "Comment on Chiral symmetry restoration, the eigenvalue density of the Dirac operator, and the axial U(1) anomaly at finite temperature"

Enunciato del Problema
Questo articolo costituisce una risposta formale a un commento di Matteo Giordano [1] riguardante il precedente lavoro degli autori [2] sulla restaurazione della simmetria chirale, la densità degli autovalori dell'operatore di Dirac e l'anomalia assiale $U(1)$ a temperatura finita. Il commento di Giordano proponeva controesempi volti a confutare gli argomenti presentati in [2]. La questione centrale affrontata è se i controesempi forniti da Giordano siano validi all'interno del quadro della Cromodinamica Quantistica (QCD) ad alte temperature, specificamente per quanto riguarda l'analiticità degli osservabili gluonici rispetto al quadrato della massa del quark ($m^2$).

Metodologia e Argomentazione
Gli autori impiegano un'analisi teorica basata sulle proprietà della funzione di partizione della QCD e degli osservabili gluonici nella fase chiralmente simmetrica. La loro metodologia prevede:

1. Rivalutazione dei Controesempi: Gli autori esaminano criticamente i modelli specifici (come un modello gaussiano) e le funzioni di densità degli stati $\rho_O(x, m)$ proposti nel commento di Giordano per determinare se soddisfino i presupposti fondamentali della QCD ad alta temperatura.
2. Analisi dell'Analiticità in $m^2$: Gli autori si basano sull'assunto che ogni osservabile gluonico nella fase chiralmente simmetrica sia una funzione analitica di $m^2$. Essi testano se i controesempi proposti preservino tale analiticità o se introducano comportamenti non analitici che implicherebbero divergenze nell'infrarosso o criticità inconsistenti con la fase simmetrica.
3. Esame della Ben Definizione: Gli autori affrontano le preoccupazioni di Giordano riguardo alla ben definizione della funzione $P(m, A)$ utilizzata nella loro derivazione. Utilizzano la regolarizzazione su reticolo (specificamente l'operatore di Dirac overlap su un reticolo finito) per dimostrare che $P(m, A)$ è ben definita e che il suo limite di volume infinito ($L \to \infty$) può essere preso mantenendo $m > 1/L$.
4. Identificazione di Errori Matematici: Gli autori eseguono un controllo matematico diretto sulla uguaglianza della densità degli stati proposta nel commento di Giordano, testando specificamente la relazione tra il valore di aspettazione di una funzione delta e la funzione delta del valore di aspettazione.

Contributi Chiave e Risultati
L'articolo presenta tre principali risultati tecnici:

• Violazione dell'Analiticità in $m^2$ nei Controesempi: Gli autori dimostrano che i controesempli proposti da Giordano [1] violano intrinsecamente il cruciale assunto che gli osservabili gluonici siano funzioni analitiche di $m^2$ ad alte temperature. Nello specifico, nell'esempio del modello gaussiano fornito da Giordano, i valori di aspettazione $\langle O(A)^\alpha \rangle$ per $\alpha$ non intero producono potenze non analitiche di $m^2$ nel limite $m \to 0$. Gli autori sostengono che tale non-analiticità implica divergenza nell'infrarosso o criticità, che non si osserva nella fase simmetrica della QCD. Notano che lo stesso Giordano riconosce che questi esempi rompono l'analiticità in $m^2$.
• Validazione di $P(m, A)$: Gli autori confutano l'affermazione che $P(m, A)$ sia mal definita. Definendo il valore di aspettazione tramite l'integrale di cammino con una funzione caratteristica per il supporto dell'operatore, dimostrano che $P(m, A)$ è un funzionale ben definito su un reticolo finito. Sostengono che l'esempio specifico "mal definito" di $P(m, A)$ suggerito da Giordano (che coinvolge una funzione gradino $\Theta(m^2 - |A|)$) fallisce anch'esso perché porta a contributi non analitici nelle derivate rispetto a $m^2$, contraddicendo l'assunto di analiticità in $m^2$ della QCD nella fase simmetrica.
• Correzione di un Errore Matematico: Gli autori identificano un errore fondamentale nella discussione di Giordano riguardante le quantità non locali. Giordano ha assunto l'uguaglianza $\langle \delta(x - O(A)) \rangle = \delta(x - \langle O(A) \rangle)$. Gli autori dimostrano che ciò è errato, poiché il valore di aspettazione di una funzione delta non è uguale alla funzione delta del valore di aspettazione. Utilizzando un semplice modello gaussiano per la densità di carica topologica, mostrano che assumere questa uguaglianza porta alla falsa conclusione che $\langle O_L(A)^2 \rangle = \langle O_L(A) \rangle^2$, mentre la relazione corretta coinvolge cumulanti indipendenti (ad esempio, $\langle O_L(A)^2 \rangle = 3\langle O_L(A) \rangle^2$).

Significato e Conclusione
Gli autori concludono che gli argomenti presentati nel commento di Giordano [1] non sono validi. Il significato di questa risposta risiede nella difesa degli argomenti originali in [2] riguardanti la restaurazione della simmetria chirale e l'anomalia assiale $U(1)$. Gli autori affermano che i controesempli destinati a confutare il loro lavoro falliscono perché non rispettano le proprietà analitiche di base della QCD ad alte temperature. Inoltre, gli errori tecnici identificati nel commento riguardo alla definizione di $P(m, A)$ e alle proprietà delle densità di stato minano le fondamenta della critica. Di conseguenza, gli autori sostengono che le loro conclusioni originali riguardanti la densità degli autovalori dell'operatore di Dirac e l'anomalia $U(1)$ rimangono robuste.