The loop equations for noncommutative geometries on quivers

TL;DR

This paper introduces loop equations for noncommutative geometries on quivers, generalizing lattice gauge theory constraints to arbitrary graphs, and demonstrates their consistency with known models like Gross-Witten-Wadia.

Contribution

It formulates algebraic loop equations for noncommutative geometries on quivers, extending Makeenko-Migdal equations beyond lattices, and integrates positivity conditions to solve specific models.

Findings

Loop equations generalize lattice gauge constraints to arbitrary graphs.

The bootstrap approach confirms solutions of the Gross-Witten-Wadia model.

Partition function reduces to a known integral confirming the loop equations' validity.

Abstract

We define a path integral over Dirac operators that averages over noncommutative geometries on a fixed graph, as the title reveals, using quiver representations. We prove algebraic relations that are satisfied by the expectation value of the respective observables, computed in terms of integrals over unitary groups, with weights defined by the spectral action. These equations generalise the Makeenko-Migdal equations -- the constraints of lattice gauge theory -- from lattices to arbitrary graphs. As a perspective, our loop equations are combined with positivity conditions (on a matrix parametrised by composition of Wilson loops). On a simple quiver this combination known as `bootstrap' is fully worked out. The respective partition function boils down to an integral known as Gross-Witten-Wadia model; their solution confirms the solution bootstrapped by our loop equations.