Il cuore della gravità quantistica aad loopanelli è rappresentato da una struttura per la quantizzazione non perturbativa delle teorie di gauge a diffeomorfismo invariante che può essere chiamata quantizzazione aad loopanelli. 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 aad loopanelli 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 aad loopanelli 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.
