Loop Equations Characterize Random Matrix Statistics

We prove that the universal local point processes of random matrix theory are characterized by their loop equation hierarchies. More precisely, for every rational $β>0$, the $\mathrm{Sine}_β$ point process is the unique solution of the bulk loop equation hierarchy, and the $\mathrm{Airy}_β$ point pr