Visualizza wikitesto di Gravità quantistica a loop

La '''gravità quantistica a loop''' ('''LQG''', dal termine inglese ''Loop Quantum Gravity''), conosciuta anche coi termini di '''gravità a loop''', '''geometria quantistica''' e '''relatività generale canonica quantistica''', è una [[Fisica teorica|teoria fisica]] di [[gravità quantistica]], ovvero una teoria [[Quanto|quantistica]] dello [[spazio-tempo]] che cerca di unificare la [[meccanica quantistica]] e la [[relatività generale]].

== Incompatibilità tra meccanica quantistica e relatività generale ==
{{vedi anche|Gravità quantistica}}

La [[teoria quantistica dei campi]] applicata in uno spazio-tempo curvo (non [[Spazio-tempo di Minkowski|minkowskiano]]) ha dimostrato che alcuni dei suoi assunti fondamentali non possono essere conservati. In particolare il vuoto, quando esiste, appare dipendere dalla traiettoria dell'osservatore attraverso lo spazio-tempo ([[effetto Unruh]]).

Vi sono state in passato due reazioni all'apparente contraddizione tra la teoria dei quanti e l'indipendenza dal background della relatività generale. La prima è che l'interpretazione geometrica della relatività generale non è fondamentale ma "risultante"', la seconda è che l'indipendenza dal background è fondamentale e la meccanica quantistica necessita di essere generalizzata per definire dove non vi è un tempo stabilito a priori. La LQG va nella seconda direzione, è cioè un tentativo di formulare una teoria quantistica indipendente dal background.

In sintesi, nelle teorie della [[relatività ristretta]] e della [[Relatività generale|gravitazione]] la geometria di riferimento è continua: ragionando in una sola dimensione (anziché in 3), dati due punti distinti A e B sicuramente esiste un punto A' intermedio tra A e B, un punto A<nowiki>''</nowiki> intermedio tra A e A', un punto intermedio A<nowiki>''' tra A e A''</nowiki> e così via all'infinito. Nella LQG, invece, la geometria di riferimento è quantizzata: facendo la stessa operazione di suddivisione tra A e B, tra A e A' e tra A e A<nowiki>''</nowiki> si arriverà alla situazione di avere due punti A e A^ tra i quali non è presente nessun altro punto. Tornando alle tre dimensioni spaziali, ciò significa che partendo da un volume e suddividendolo in volumetti sempre più piccoli, c'è un valore minimo di volume non ulteriormente divisibile<ref>{{Cita web |url=http://www.einstein-online.info/elementary/quantum/loops |titolo=Loop quantum gravity — Einstein Online<!-- Titolo generato automaticamente --> |accesso=16 ottobre 2013 |urlarchivio=https://web.archive.org/web/20131007220320/http://www.einstein-online.info/elementary/quantum/loops |dataarchivio=7 ottobre 2013 |urlmorto=sì }}</ref>.

== Storia ==

Nel 1986 il fisico [[india]]no [[Abhay Ashtekar]] ha riformulato le equazioni di campo della relatività generale di [[Albert Einstein|Einstein]] usando ciò che oggi è conosciuto col nome di [[variabili di Ashtekar]], una variante particolare della teoria di Einstein-Cartan con una connessione complessa. Nella formulazione di Ashtekar i campi fondamentali sono una regola per il trasporto parallelo (tecnicamente, una connessione) ed una struttura di coordinate (dette un ''vierbein'') ad ogni punto. 

Dal momento che la formulazione di Ashtekar era indipendente dal background, è stato possibile utilizzare i loop di Wilson come base per la quantizzazione non perturbativa della gravità. L'invarianza del [[diffeomorfismo]] esplicito (spaziale) dello [[Vuoto (fisica)|stato di vuoto]] gioca un ruolo essenziale nella regolarizzazione degli stati del loop di Wilson.

Intorno al 1990 [[Carlo Rovelli]] e [[Lee Smolin]] hanno ottenuto una base esplicita degli stati della geometria quantistica che è stata denominata [[rete di spin]]. In questo contesto le reti di spin si sono presentate come una generalizzazione dei loop di Wilson necessarie per trattare i loop che si intersecano reciprocamente. Dal punto di vista matematico le reti di spin sono correlate alla teoria del gruppo di rappresentazione e possono essere usate per costruire invarianti di nodi come il polinomiale di Jones.

Divenendo strettamente correlata alla teoria quantistica topologica dei campi e alla teoria della rappresentazione di gruppo, la LQG è per la maggior parte costruita a un livello rigoroso di fisica matematica.

== Princìpi fondamentali ==
La gravità quantistica a loop fa parte di una famiglia di teorie chiamata ''gravità canonica quantistica'' ed è stata sviluppata in parallelo con la [[quantizzazione a loop]], una struttura rigorosa della quantizzazione non perturbativa della [[teoria di gauge]] a [[diffeomorfismo]] invariante. In parole più semplici è una teoria quantistica della gravità nella quale lo spazio reale in cui accadono i fenomeni fisici, o [[Evento (fisica)|eventi]], è [[Quantizzazione|quantizzato]] (vedi anche più avanti al secondo paragrafo). Secondo questa teoria l'universo è costituito da anelli (in inglese ''loop'') delle dimensioni infinitesime di 10<sup>−35</sup> metri, ossia dieci miliardesimi di miliardesimi di miliardesimi di nanometri. Questi anelli possono contenere una certa quantità di energia che non può mai diventare infinita come in una singolarità gravitazionale, esclusa dalla teoria.

Essa conserva gli aspetti fondamentali della relatività generale, come ad esempio l'invarianza per trasformazioni di coordinate, e allo stesso tempo utilizza la quantizzazione dello spazio e del tempo alla [[scala di Planck]], caratteristica della meccanica quantistica; in questo senso combina le due teorie, tuttavia non è una ipotetica [[teoria del tutto]] poiché non dà una descrizione unificata di tutte le [[forze fondamentali]], ma descrive unicamente le proprietà quantistiche dello spaziotempo, e quindi della gravità.
 
I critici della LQG fanno spesso riferimento al fatto che non predice l'esistenza di ulteriori dimensioni dello spazio tempo, né la [[supersimmetria]]. La risposta dei suoi autori è che allo stato attuale, nonostante ripetute ricerche sperimentali, non vi è alcuna evidenza di altre dimensioni né di particelle supersimmetriche, che devono essere considerate solo ipotesi speculative.
 
I maggiori successi della gravità quantistica a loop sono:
# è una quantizzazione non perturbativa della geometria a 3 dimensioni, con operatori quantizzati di area e di volume;
# include il calcolo dell'[[Entropia (termodinamica)|entropia]] dei [[buchi neri]];
# è basata su un formalismo matematico rigoroso.

La teoria ammette anche una formulazione covariante, chiamata [[schiuma di spin]] (spinfoam).

== I costituenti della LQG ==
=== Quantizzazione a loop ===

Il cuore della gravità quantistica a loop è rappresentato da una struttura per la quantizzazione non perturbativa delle teorie di gauge a diffeomorfismo invariante che può essere chiamata quantizzazione a loop. Originalmente sviluppata per quantizzare il vuoto della relatività generale in 3+1 dimensioni, il formalismo matematico aiuta la dimensionalità arbitraria dello spazio-tempo, i [[Fermione|fermioni]] (Baez e Krasnov), un [[gruppo di gauge]] arbitrario (o anche un gruppo quantistico) e la [[supersimmetria]] (Smolin) e porta alla quantizzazione della [[cinematica]] delle corrispondenti teorie di gauge a diffeomorfismo invariante. Rimane ancora molto lavoro da svolgere riguardo alla dinamica, al limite classico ed al principio di corrispondenza, necessari per effettuare esperimenti.

La quantizzazione a loop risulta dall'applicazione della quantizzazione C*-algebrica di un'algebra non canonica delle osservabili di gauge invarianti classiche. ''Non canonica'' significa che le osservabili di base quantizzate non sono coordinate generalizzate né i loro momenti coniugati. Invece vengono usati l'algebra generata dalle osservabili di reti di spin (costruiti da olonomi) e flussi di campi di forza.

Le tecniche di quantizzazione a loop sono particolarmente utili nel trattare le teorie topologiche quantistiche di campo dove esse danno corpo a modelli ''state-sum/spin-foam'' come il modello Turaev-Viro della relatività generale a 2+1 dimensioni. Una delle più conosciute teorie è la cosiddetta teoria BF in 3+1 dimensioni perché la relatività generale classica può essere formulata come una teoria BF con costrizione, e si spera che una quantizzazione significativa della gravità possa derivare dalla teoria perturbativa dei modelli BF a schiuma di spin.

=== Invarianza di Lorentz ===

La LQG è una quantizzazione della classica teoria [[lagrangiana]] di campo che è equivalente alla nota teoria di Einstein-Cartan nel punto in cui permette che le equazioni di moto descrivano la relatività generale con torsione. Si può quindi dire che la LQG rispetta l'[[invarianza di Lorentz]] a livello ''locale''. L'invarianza di Lorentz ''generale'' è rotta nella LQG così come nella relatività generale. Si può ottenere una [[costante cosmologica]] positiva nella LQG sostituendo il gruppo di Lorentz con il corrispettivo gruppo quantistico.

=== Invarianza per diffeomorfismi e indipendenza dal background ===

La '''covarianza generale''' (conosciuta anche col termine di invarianza per [[diffeomorfismo|diffeomorfismi]]) è l'invarianza delle leggi fisiche (ad esempio le equazioni della relatività generale) sotto trasformazioni di coordinate arbitrarie. Questa simmetria è una delle caratteristiche della relatività generale. La LQG conserva questa simmetria richiedendo che gli stati fisici siano invarianti sotto i generatori dei diffeomorfismi. L'interpretazione di queste condizioni è ben conosciuta nei riguardi dei diffeomorfismi spaziali puri; comunque la comprensione dei diffeomorfismi che coinvolgono il tempo (la ''costrizione hamiltoniana'') è più debole perché è in relazione con la dinamica e con il cosiddetto [[problema del tempo]] della relatività generale ed inoltre la struttura di calcolo generalmente accettata per descrivere questa costrizione è ancora da trovare.

In termini semplicistici e trascurando per un attimo l'[[Invarianza di gauge|invarianza per trasformazioni di gauge]], l'indipendenza dal background è una proprietà che esprime la corrispondenza biunivoca tra la distribuzione spaziotemporale delle sorgenti del campo gravitazionale e il campo che esse generano: dato uno dei due si ottiene automaticamente l'altro. Usando termini più corretti: la [[Tensore metrico|metrica]] e il [[Tensore energia momento|tensore energia-impulso]] sono legati dalle [[Equazioni di campo di Einstein|Equazioni di Campo]], senza che sia necessaria nessuna ipotesi particolare né sulla forma della metrica né su quella di <math>T_{\mu\nu}</math>.&nbsp;

Se l'invarianza di Lorentz sia rotta o no al limite alle basse energie della LQG, la teoria è formalmente indipendente dal background. Le equazioni della LQG non sono incluse oppure presuppongono spazio e tempo (eccetto per la sua topologia che non può essere modificata), ma si ritiene con una certa ragionevolezza che aumentino lo spazio ed il tempo a distanze maggiori comparate alla lunghezza di Planck. Non è stato ancora dimostrato che la descrizione che la LQG dà dello spazio-tempo al livello di [[scala di Planck]] possieda un limite del continuum come descritto dalla relatività generale con eventuali correzioni quantistiche.

== Problemi aperti ==

Nessuna teoria della gravità quantistica ([[teoria delle stringhe|stringhe]], loops o altre) produce  predizioni univoche che possano essere sottoposte a verifiche sperimentali. Una speranza in tal senso è venuta dalla possibilità di osservazioni astrofisiche di violazione dell'[[invarianza di Lorentz]], ma è noto da tempo che la gravità quantistica a loop non porta necessariamente alla violazione dell'invarianza di Lorentz (vedi per esempio Rovelli e Speziale 2003<ref>[[Carlo Rovelli]], Simone Speziale, [https://arxiv.org/abs/gr-qc/0205108 ''Reconcile Planck-scale discreteness and the Lorentz-Fitzgerald contraction''], ''[[Physical Review]]'' D 67, 064019 (2003) {{DOI|10.1103/PhysRevD.67.064019}}</ref>) e quindi osservazioni di questo tipo, come per esempio quelle del [[Fermi Gamma-ray Space Telescope]], non possono essere considerate argomenti a favore o a sfavore della teoria.

== Critiche dei fautori della Teoria delle stringhe ==
La LQG è criticata dai fautori della [[teoria delle stringhe]] per molti motivi.

La critica più forte si rivolge al fatto che non esiste ancora una teoria efficace della LQG e quindi non è possibile verificare se essa riproduca veramente la relatività generale a basse energie. Dunque, non è nemmeno chiaro se riesca a riprodurre tutti i fenomeni già descritti dalla teoria di Einstein. Recentemente, tuttavia, è stato possibile derivare dalla teoria la fenomenologia delle [[onde gravitazionali]]<ref>{{collegamento interrotto|[https://arxiv.org/abs/gr-qc/09054082]}}</ref> e la cosmologia standard<ref>{{collegamento interrotto|[https://arxiv.org/abs/gr-qc/10033483]}}</ref>. Le indicazioni secondo cui il limite classico della teoria sarebbe la relatività generale sono dunque forti.

È stato anche osservato che il metodo di quantizzazione è tale che i modi veramente quantizzati portano a una teoria topologica e dunque lontana dalla realtà, ma si tratta di un equivoco. La teoria può essere costruita modificando modelli topologici, ma non è una teoria topologica.

La LQG risolve i problemi di divergenza ultravioletta delle [[gravità semiclassica|teorie semiclassiche]] standard. Non ci sono termini divergenti all'ultravioletto negli operatori di volume e nel vincolo Hamiltoniano. Tuttavia, nella teoria esistono divergenze infrarosse, e non è ancora chiaro come trattarle.

Una critica alla teoria, comune tra i fautori della teoria della stringhe, è che la versione della teoria della gravità quantistica a loop basata sulle schiume di spin può violare l'unitarietà. È vero che la teoria viola l'unitarietà, nel senso che non esiste nella teoria un gruppo a un parametro di trasformazioni unitarie che dà l'evoluzione temporale, né una matrice S unitaria. L'assenza di queste strutture stupisce e lascia sconcertato chi viene dal mondo delle stringhe, perché abituato a pensare alla fisica in termini di spazio tempo piatto. Ma l'assenza di queste strutture è implicata dalla relatività generale, nella quale, in generale, non esiste uno spazio piatto asintotico o una simmetria per traslazione nel tempo. L'unitarietà, nel senso di coerenza dell'interpretazione probabilistica della teoria, è ovviamente rispettata dalla gravità quantistica a loop.

== Note ==
<references/>

== Bibliografia ==

; Libri divulgativi
* [[Carlo Rovelli]], ''La realtà non è come ci appare'', Raffaello Cortina Editore, 2014
* [[Martin Bojowald]], ''Prima del Big Bang: Storia completa dell'universo'', Giunti 2011
* Lee Smolin, ''L'Universo senza stringhe. Fortuna di una teoria e turbamenti della scienza'', [[Giulio Einaudi Editore|Einaudi]], 2007
* [[Lee Smolin]], ''Three Roads to Quantum Gravity''
; Libri introduttivi universitari
* [[Carlo Rovelli]] e Francesca Vidotto, ''Covariant Loop Quantum Gravity'', Cambridge university Press, 2014; [http://www.cpt.univ-mrs.fr/~rovelli/IntroductionLQG.pdf draft scaricabile]
* Rodolfo Gambini and Jorge Pullin, ''A First Course in Loop Quantum Gravity'', Oxford University Press, 2011
* [[Carlo Rovelli]], ''Quantum Gravity'', Cambridge University Press (2004); [http://www.cpt.univ-mrs.fr/~rovelli/book.pdf bozza online]
* Rodolfo Gambini and Jorge Pullin, ''Loops, Knots, Gauge Theories and Quantum Gravity'', Cambridge University Press (1996)
* [[John C. Baez]] and Javier Perez de Muniain, ''Gauge Fields, Knots and Quantum Gravity'', World Scientific (1994)
* Abhay Ashtekar, ''Lectures on Non-Perturbative Canonical Gravity'', World Scientific (1991)
; Lavori introduttivi ed espositivi più semplici:
* [[Lee Smolin]], "Atoms in Space and Time," [[Scientific American]], gennaio 2004
* [[Abhay Ashtekar]], ''Gravity and the quantum'', e-print scaricabile [https://arxiv.org/abs/gr-qc/0410054 qui]
* [[Carlo Rovelli]], ''[https://arxiv.org/abs/hep-th/0310077 A Dialog on Quantum Gravity]'', e-print scaricabile
; Ulteriori approfondimenti:
* Carlo Rovelli, ''[http://www.livingreviews.org/lrr-1998-1 Loop Quantum Gravity]'', articolo on line, versione del 15 agosto 2001.
;Voci di enciclopedia
* Thomas Thiemann, ''[https://arxiv.org/abs/gr-qc/0110034 Introduction to modern canonical quantum general relativity]'', e-print scaricabile 
* Thomas Thiemann, ''[https://arxiv.org/abs/gr-qc/0210094 Lectures on loop quantum gravity]'', e-print scaricabile 
; Conferenze:
* [[John C. Baez]] (a cura di), ''Knots and Quantum Gravity''
; Scritti su ricerche fondamentali:
* Abhay Ashtekar, ''New variables for classical and quantum gravity'', Phys. Rev. Lett., '''57''', 2244-2247, 1986
* Abhay Ashtekar, ''New Hamiltonian formulation of general relativity'', Phys. Rev. '''D36''', 1587-1602, 1987
* [[Roger Penrose]], ''Angular momentum: an approach to combinatorial space-time'' in ''Quantum Theory and Beyond'', ed. Ted Bastin, Cambridge University Press, 1971
* Alejandro Perez, ''[https://arxiv.org/abs/gr-qc/0301113 Spin Foam Models for Quantum Gravity]'', 14 febbraio 2003
* [[Carlo Rovelli]] e [[Lee Smolin]], ''Loop space representation of quantum general relativity'', Nuclear Physics '''B331''' (1990) 80-152
* Carlo Rovelli e Lee Smolin, ''{{Collegamento interrotto|1=[http://xxx.lanl.gov/abs/gr-qc/9411005 Discreteness of area and volume in quantum gravity] |date=luglio 2019 |bot=InternetArchiveBot }}'', Nucl. Phys., '''B442''' (1995) 593-622, e-print scaricabile.
* [[Carlo Rovelli]], [http://www.treccani.it/enciclopedia/gravita-quantistica_%28XXI-Secolo%29/ Gravità quantistica], ''Enciclopedia del XXI Secolo'' (2010), [[Istituto dell'Enciclopedia italiana Treccani]]
* Claudio Censori, [http://www.treccani.it/enciclopedia/gravita-quantistica_%28Lessico-del-XXI-Secolo%29/ Gravità quantistica], ''Lessico del XXI Secolo'' (2012), [[Istituto dell'Enciclopedia italiana Treccani]]
* {{SEP|quantum-gravity|Quantum Gravity|Steven Weinstein e Dean Rickles}}
* {{SEP|qm-relational|Relational Quantum Mechanics|Federico Laudisa e [[Carlo Rovelli]]}}

== Collegamenti esterni ==
* {{en}} Quantum Gravity, Physics, and Philosophy: http://www.qgravity.org/
* {{en}} Resources for LQG and spin foams: http://jdc.math.uwo.ca/spin-foams/
* {{en}} [[Gamma ray large area space telescope]]: http://glast.gsfc.nasa.gov/
* {{cita web|http://focus.aps.org/story/v14/st13|Derivare le dimensioni|lingua=en}}

{{Portale|quantistica|relatività}}

[[Categoria:Gravità quantistica a loop| ]]