Visualizza wikitesto di Esistenza di Yang-Mills e del gap di massa

In [[fisica matematica]], il '''problema sull'esistenza di Yang-Mills e del gap di massa''' è un [[problema aperto]] e uno dei sette [[problemi per il millennio]] definiti dall'[[Istituto matematico Clay]], che ha offerto un premio di {{M|1000000|u=$}} per la sua soluzione.

Il problema è formulato come segue:<ref name="official">[[Arthur Jaffe]] e [[Edward Witten]] "[http://www.claymath.org/sites/default/files/yangmills.pdf Quantum Yang-Mills theory.] {{Webarchive|url=https://web.archive.org/web/20150330003812/http://www.claymath.org/sites/default/files/yangmills.pdf|date=30 marzo 2015}}" Descrizione ufficiale del problema.</ref>
{{Citazione|'''Esistenza di Yang–Mills e del gap di massa.''' Dimostrare che per ogni gruppo di gauge semplice compatto G, esiste su <math>\mathbb{R}^4</math> una teoria quantistica di Yang–Mills non banale e che ha un gap di massa Δ > 0. L'esistenza comprende il soddisfare proprietà assiomatiche almeno tanto stringenti quanto quelle citate in {{Cita|Streater e Wightman 1964}}, {{Cita|Osterwalder e Schrader 1973}} e {{Cita|Osterwalder e Schrader 1975}}.|3='''Yang–Mills Existence and Mass Gap.''' Prove that for any compact simple gauge group G, a non-trivial quantum Yang–Mills theory exists on <math>\mathbb{R}^4</math> and has a mass gap Δ > 0. Existence includes establishing axiomatic properties at least as strong as those cited in Streater and Wightman 1964, Osterwalder and Schrader 1973 and Osterwalder and Schrader 1975.|lingua=en}}

In questo enunciato, una [[teoria di Yang-Mills]] è una [[teoria quantistica dei campi]] non abeliana simile a quella soggiacente al [[modello standard]] della [[fisica delle particelle]]; <math>\mathbb{R}^4</math> è il [[Spazio euclideo|4-spazio euclideo]]; il [[gap di massa]] Δ è la massa della particella più leggera prevista dalla teoria.

Quindi, per risolvere il problema bisogna dimostrare che:

* la [[teoria di Yang-Mills]] esiste e soddisfa il rigore richiesto dalla [[fisica matematica]] contemporanea, in particolare dalla [[teoria quantistica dei campi costruttiva]];<ref>{{Cita|Streater e Wightman 1964}}.</ref><ref>{{Cita|Osterwalder e Schrader 1973}} e {{Cita|Osterwalder e Schrader 1975}}</ref>
* la massa della particella meno massiva prevista dalla teoria è strettamente positiva.

Per esempio, nel caso di G=SU(3), cioè l'interazione nucleare forte, per vincere il premio bisogna dimostrare che le [[glueball]] hanno un limite inferiore alla massa, e quindi non possono essere arbitrariamente leggere.

Il problema generale di determinare la presenza di un gap spettrale in un sistema si crede sia [[indecidibile]].<ref>''Michael Wolf, Toby Cubitt, David Perez Garcia'' Unsolvable problem // In the world of science&nbsp;— 2018, №&nbsp;12.&nbsp;— p. 46&nbsp;— 59</ref><ref>{{Cita news|lingua=en|autore=Davide Castelvecchi|url=https://www.nature.com/news/paradox-at-the-heart-of-mathematics-makes-physics-problem-unanswerable-1.18983|titolo=Paradox at the heart of mathematics makes physics problem unanswerable|pubblicazione=Nature}}</ref>

== Contesto ==
{{Citazione|[...] non si ha ancora un esempio matematicamente completo di una [[Teoria di gauge|teoria quantistica di gauge]] nello [[spaziotempo]] quadridimensionale, e nemmeno una definizione precisa di una teoria quantistica di gauge in quattro dimensioni. Questo cambierà nel XXI secolo? Ci speriamo!|Dalla descrizione del problema dell'Istituto Clay scritta da [[Arthur Jaffe]] e [[Edward Witten]].|[...] one does not yet have a mathematically complete example of a quantum gauge theory in four-dimensional space-time, nor even a precise definition of quantum gauge theory in four dimensions. Will this change in the 21st century? We hope so!|lingua=en}}

Il problema richiede la costruzione di una teoria dei campi che soddisfa gli [[assiomi di Wightman]] e che mostri l'esistenza di un [[gap di massa]].

=== Gli assiomi di Wightman ===
Gli [[assiomi di Wightman]] devono essere soddisfatti da una teoria di campo per essere rigorosa dal punto di vista matematico. Sono quattro:

; Assioma W0 (assunzioni della meccanica quantistica relativistica)

La [[meccanica quantistica]] è stata descritta da [[John von Neumann|von Neumann]]; in particolare, gli [[Stato quantico|stati puri]] sono dati da raggi (sottospazi uno-dimensionali) di un certo [[spazio di Hilbert]] complesso [[Spazio separabile|separabile]].

Gli assiomi di Wightman richiedono che il [[gruppo di Poincaré]] agisca in modo [[Rappresentazione unitaria|unitario]] sullo spazio di Hilbert. In altre parole, hanno operatori dipendenti dalla posizione, detti '''''campi quantistici''''', che formano rappresentazioni covarianti del gruppo di Poincaré.

Il gruppo delle traslazioni spazio-temporali è [[Commutatività|commutativo]], e quindi gli operatori possono essere simultaneamente diagonalizzati. I generatori di questi gruppi danno quattro [[Operatore autoaggiunto|operatori autoaggiunti]] <math>P_0,P_j</math>, ''j'' = 1, 2, 3, che trasformano sotto il gruppo omogeneo come un [[quadrivettore]], il [[quadrimpulso]].

La seconda parte dell'assioma zero di Wightman è che la rappresentazione ''U''(''a'', ''A'') soddisfa la condizione spettrale, che lo spettro simultaneo dell'energia-impulso è contenuto nel cono in avanti:

: <math>P_0\geq 0,\dots,P_0^2 - P_jP_j\geq 0.</math>

La terza parte è che c'è un unico stato, rappresentato da un raggio nello spazio di Hilbert, che è invariante sotto l'azione del gruppo di Poincaré. Viene chiamato ''vuoto.''

; Assioma W1 (assunzioni sul dominio e sulla continuità del campo)

Per ogni funzione di prova ''f'', esiste un insieme di operatori <math>A_1(f),\ldots ,A_n(f)</math> che, insieme ai loro aggiunti, sono definiti in un sottoinsieme denso dello spazio di Hilbert, contenente il vuoto. I campi ''A'' sono [[Distribuzione (matematica)|distribuzioni temperate]] a valori operatoriali. Lo spazio degli stati di Hilbert è generato dai polinomi su campi agenti sul vuoto (condizione di ciclicità).

; W2 (legge di trasformazione del campo)

I campi sono covarianti sotto l'azione del [[gruppo di Poincaré]], e trasformano secondo una qualche rappresentazione S del [[gruppo di Lorentz]], o SL(2,'''C''') se lo spin non è intero:

: <math>U(a,L)^{\dagger}A(x)U(a,L)=S(L)A(L^{-1}(x-a)).</math>

; W3 (commutatività locale o causalità microscopica)

Se i supporti di due campi hanno una separazione [[Spaziotempo|di tipo spazio]], allora i campi o commutano o anticommutano.

La ciclicità di un vuoto, e l'unicità di un vuoto sono talvolta considerate separatamente. Inoltre, c'è la proprietà della completezza asintotica—secondo la quale lo spazio degli stati di Hilbert è generato dagli spazi asintotici <math>H^{in}</math> e <math>H^{out}</math>, che appaiono nella [[matrice S]]. L'altra importante proprietà della teoria dei campi è il [[gap di massa]] che non è richiesto dagli assiomi: lo spettro dell'energia-momento ha un gap tra zero e un qualche numero positivo.

=== Gap di massa ===
In [[teoria quantistica dei campi]], il [[gap di massa]] è la differenza di energia tra il [[livello energetico]] più basso (il vuoto) e il primo livello energetico più alto. L'energia del vuoto è zero per definizione, e assumendo che tutti i livelli energetici possano essere pensati come particelle in onde piane, il gap di massa è la massa della particella più leggera.

Dato un campo reale <math>\phi(x)</math>, si può dire che la teoria ha un gap di massa se la [[Funzione di correlazione|funzione a due punti]] ha la proprietà

: <math>\langle\phi(0,t)\phi(0,0)\rangle\sim \sum_nA_n\exp\left(-\Delta_nt\right)</math>

dove <math>\Delta_0>0</math> è il minimo valore di energia nello spettro dell'hamiltoniana e quindi il gap di massa. Questa quantità, facile da generalizzare ad altri campi, è tipicamente misurata nei calcoli su reticolo. Fu dimostrato in questo modo il fatto che la [[teoria di Yang-Mills]] sviluppa un gap di massa su reticolo.<ref name="teper2">{{Cita pubblicazione|autore=Lucini|nome=Biagio|autore2=Teper|autore3=Wenger|nome2=Michael|nome3=Urs|anno=2004|titolo=Glueballs and k-strings in SU(N) gauge theories : calculations with improved operators|rivista=Journal of High Energy Physics|volume=0406|numero=6|p=012|doi=10.1088/1126-6708/2004/06/012|bibcode=2004JHEP...06..012L|arxiv=hep-lat/0404008}}.</ref><ref name="morningstar2">{{Cita pubblicazione|autore=Chen|nome=Y.|autore2=Alexandru|autore3=Dong|nome2=A.|nome3=S. J.|anno=2006|titolo=Glueball Spectrum and Matrix Elements on Anisotropic Lattices|rivista=Physical Review D|volume=73|numero=1|p=014516|doi=10.1103/PhysRevD.73.014516|bibcode=2006PhRvD..73a4516C|arxiv=hep-lat/0510074}}.</ref>

== Importanza della teoria di Yang-Mills ==
Le [[Teoria quantistica dei campi|teorie quantistiche dei campi]] in 4 dimensioni non banali (interagenti) più note sono teorie di campo efficaci con una scala di [[Cutoff (fisica)|cutoff]]. Siccome la [[Funzione beta (teoria quantistica dei campi)|funzione beta]] è positiva per la maggior parte dei modelli, pare che la maggior parte di tali modelli abbiano un [[polo di Landau]] perché non è affatto chiaro se hanno punti fissi UV o meno. Questo significa che se una tale [[Teoria quantistica dei campi|QFT]] è ben definita a tutte le scale, come deve essere per soddisfare gli assiomi della teoria quantistica dei campi assiomatica, dovrebbe essere banale (cioè una teoria di campo libero, non interagente).

La teoria quantistica di Yang-Mills con un [[Teoria di gauge|gruppo di gauge]] non abeliano e senza quark è un'eccezione, perché questa teoria è caratterizzata dalla [[libertà asintotica]], e ciò significa che ha un punto fisso UV banale. Pertanto è la più semplice QFT costruttiva non banale in 4 dimensioni. (La [[Cromodinamica quantistica|QCD]] è una teoria più complicata perché coinvolge i [[Quark (particella)|quark]]).

=== Confinamento dei quark ===
Al livello di rigore della [[fisica teorica]], è chiaramente stabilito che la teoria di Yang-Mills per un [[gruppo di Lie]] non abeliano esibisce una proprietà conosciuta come [[Confinamento dei quark|confinamento]]; tuttavia il rigore della [[fisica matematica]] ha requisiti più stringenti. Una conseguenza di questa proprietà è che sopra la [[Confinamento dei quark|scala del confinamento]], le cariche di colore sono connesse da [[Confinamento dei quark|tubi di flusso cromodinamici]] e ciò porta a un potenziale lineare tra le cariche. Pertanto la [[carica di colore]] libera e i [[Gluone|gluoni]] non possono esistere. In assenza di confinamento, ci si aspetterebbe di vedere gluoni privi di massa, ma siccome sono confinati, si vedrebbero solo stati legati di gluoni a colore neutro, chiamati [[glueball]]. Se le glueball esistono, sono massive, e per questo ci si aspetta l'esistenza di un gap di massa.

== Note ==
<references/>

== Bibliografia ==

* {{Cita libro|autore=R. Streater|autore2=A. Wightman|titolo=PCT, Spin and Statistics and all That|url=https://archive.org/details/pctspinstatistic0000stre|anno=1964|editore=W. A. Benjamin|cid=Streater e Wightman 1964}}
* {{Cita pubblicazione|autore=K. Osterwalder|autore2=R. Schrader|anno=1973|titolo=Axioms for Euclidean Green's functions|url=https://archive.org/details/sim_communications-in-mathematical-physics_1973_31_2/page/83|rivista=[[Communications in Mathematical Physics]]|volume=31|numero=2|pp=83-112|doi=10.1007/BF01645738|bibcode=1973CMaPh..31...83O|cid=Osterwalder e Schrader 1973}}
* {{Cita pubblicazione|autore=K. Osterwalder|autore2=R. Schrader|anno=1975|titolo=Axioms for Euclidean Green's functions II|url=https://link.springer.com/article/10.1007%2FBF01608978|rivista=[[Communications in Mathematical Physics]]|volume=42|numero=3|pp=281-305|doi=10.1007/BF01608978|bibcode=1975CMaPh..42..281O|cid=Osterwalder e Schrader 1975}}
* {{Cita libro|autore=Bogoliubov|nome=N.|autore2=Logunov|nome2=A.|autore3=Oksak|titolo=General Principles of Quantum Field Theory|anno=1990|editore=Kluver}}
* {{Cita libro|autore=Strocchi|nome=F.|titolo=Selected Topics of the General Properties of Quantum Field Theory FF|anno=1994|editore=World Scientific}}
* {{Cita pubblicazione|autore=Dynin|nome=A.|anno=2014|titolo=Quantum Yang-Mills-Weyl dynamics in the Schroedinger paradigm|rivista=[[Russian Journal of Mathematical Physics]]|volume=21|numero=2|pp=169-188|doi=10.1134/S1061920814020046|bibcode=2014RJMP...21..169D}}
* {{Cita pubblicazione|autore=Dynin|nome=A.|anno=2014|titolo=On the Yang-Mills Mass Gap problem|rivista=[[Russian Journal of Mathematical Physics]]|volume=21|numero=3|pp=326-328|doi=10.1134/S1061920814030042|bibcode=2014RJMP...21..326D}}
* {{Cita libro|autore=Bushhorn|nome=G.|autore2=Wess|nome2=J.|titolo=Heisenberg Centennial Symposium "Developments in Modern Physics"|anno=2004|editore=Springer}}
* {{Cita pubblicazione|autore=Yablon|nome=Jay R.|anno=2020|titolo=QCD Theory of the Hadrons and Filling the Yang–Mills Mass Gap|rivista=[[Symmetry]]|volume=12|numero=11|p=1887|doi=10.3390/sym12111887}}

== Collegamenti esterni ==

* [http://www.claymath.org/millennium-problems/yang%E2%80%93mills-and-mass-gap The Millennium Prize Problems: Yang–Mills and Mass Gap] {{Webarchive|url=https://web.archive.org/web/20180530060012/http://www.claymath.org/millennium-problems/yang%E2%80%93mills-and-mass-gap |date=30 maggio 2018 }}
{{Problemi per il millennio}}
{{Portale|fisica|matematica}}
[[Categoria:Problemi per il millennio]]
[[Categoria:Problemi matematici aperti]]
[[Categoria:Cromodinamica quantistica]]