The main point of this topics course (if there was one) is that there is a surprising and useful relationship between the asymptotics of integrals (a la Laplace) and the combinatorics of topological maps (Feynman diagrams). There are a few levels of sophistication to this relationship, which may be thought of as corresponding to zero-dimensional scalar, vector, and matrix-valued quantum field theories. We will try to summarize this relationship now from a high-level perspective, meaning that the details might be not quite right, but the basic idea is more or less sound.
Formally, for the scalar theory the connection is something like
where the sum is over maps in which every vertex has degree at least the numbers and are the number of edges and vertices of respectively, and the “amplitude” is the product of the coefficients from the perturbation of the Gaussian density on the integral side according to the vertex degree sequence of
Now, we have that
where is the circuit rank of and This means that we can organize the asymptotic expansion of the integral as a generating function for maps sorted by their circuit rank:
This is nice, and it allows us to compute graphically the coefficients in the asymptotic expansions of various integrals, for example the integral which figures in Stirling’s formula. Physicists call it the “loop expansion.” Importantly, it is actually true in the analytic (as opposed to just formal) sense, meaning that if you truncate the (divergent) expansion at order then the error is because of the Laplace method, which shows that the integral in question really is concentrated in a neighborhood of the minimizer of the integrand. If you take logs, meaning that you are only interested in the order of magnitude of the integral you started with, then the loop expansion only involves connected graphs, which reduces the complexity quite a bit. An unfortunate aspect of the loop expansion is that it misses out on the fact that the relevant diagrams are not just combinatorial objects — graphs — but actually graphs embedded in surfaces. This expansion does not see the surface, meaning that it does not encode its topology.
We saw in Lecture 17 that it is indeed possible to get topological information by changing the space over which we integrate from to its noncommutative counterpart the Euclidean space of Hermitian matrices. Formally, the expansion from the scalar case is modified to
where is the number of faces of the topological map Using the Euler formula,
we can reorganize the formal expansion of the above matrix integral into not a loop expansion, but a genus expansion,
where now the inner sum is over maps with vertices of degree at least three of a fixed topological genus. This is even nicer than the loop expansion, because it sees the topology of maps (genus) as opposed to just their combinatorics (circuit rank), but it is much harder to prove that it is correct analytically, meaning that stopping the (divergent) expansion after terms leaves an error. The basic problem is that the Laplace principle doesn’t work: the principle relies on the fact that the contribution to an integral over with integrand of the the form is dominated by a small neighborhood of the maximum of but if we swap out for then a box in this -dimensional Euclidean space has volume so that contributions to the integral from Lebesgue measure are on the same scale as contributions from the integrand itself.
This is not at all an easy problem to deal with, but I can at least give you an idea of how analysts have gotten past this obstruction. The starting point is a classical result due to Hermann Weyl the subset of consisting of Hermitian matrices with a given list of eigenvalues,
has Euclidean volume
where is a constant depending only on Now, each such isospectral set is, by the Spectral Theorem, an orbit of the unitary group acting on by conjugation, i.e. a set of the form
Incidentally, the orbits are symplectic manifolds, but we don’t need to pay attention to this here. The point that is relevant for us is the Weyl integration formula, which is just the change of variables formula resulting from Weyl’s volume computation: if is a function on which is invariant under the conjugation action of then
where the integration is with respect to Lebesgue measure on the Weyl chamber i.e. the convex set
and is, by abuse of notation, the value of the original function on any Hermitian matrix with eigenvalues In particular, a matrix integral of the Laplace form
can be rewritten via the Weyl integration formula as
and the remaining integral over eigenvalues can yet again be rewritten in the more compelling form
There are a few things to say here. First and foremost, the point of all of this is that we have reduced from integrating over the huge space of dimension to integrating over the -dimensional set which is a massive reduction in degrees of freedom, and in particular contributions from the Lebesgue measure are now order Second, the integrand is of order so it seems like the Laplace principle may yet be correct in this context: the main contributions to the integrand come from a small neighborhood of the minimizer of the function
Third, we have actually met this action before, back when we looked at the asymptotic enumeration of permutations with restricted decreasing subsequence length: it represents the potential energy of a system of identical point charges on a wire with logarithmic repulsion (which is indeed the electrostatic repulsion in two dimensions), but confined by the potential well which was last time we met it, but now can be anything. As the distribution of these charges will crystallize around the configuration which minimizes the action which in particular means that the empirical distribution of these point charges — i.e. the probability measure on which places mass at each particle — will converge as to a continuous probability measure on called the “equilibrium measure” corresponding to More precisely, in the language of calculus of variations, we have
It is a theorem that for nice enough the equilibrium measure always exists and is unique. This is the Laplace principle for matrix integrals. Although it is technically very involved, a fine analysis of the convergence to equilibrium measure shows that under reasonable hypotheses the formal genus expansion above is indeed correct, analytically, as an asymptotic expansion. This means that the Feynman diagrams for matrix integrals really are maps on surfaces. It is interesting that this connection is in fact more typically used to say something about maps, not about integrals: there are independent methods for computing the coefficients in the asymptotic expansion of Hermitian matrix integrals based on orthogonal polynomials, and once these coefficients are found in some independent fashion one has also determined the generating function for maps of a given genus. For example, taking the potential and calculating the corresponding equilibrium measure, one can obtain an explicit formula for the number of ways to glue a sphere from a given number of squares. A good entry point into all of this is here.