We continue with the asymptotic analysis of
, where
is arbitrary but fixed and
is the number of permutations in the symmetric group
with no decreasing subsequence of length
.
At the end of Lecture 6, we computed the asymptotics of a diagram
fluctuating around the canonical self-complentary diagram
(relative to the twice-larger rectangle
, whose dimension we expect to asymptotically coincide with
) on a square root scale. Recall that
Theorem 1: For any , we have
where is
and is
At the end of Lecture 5, we indicated that the action is an important special function which merits further discussion; we will have that discussion now.
What Theorem 1 reveals is the remarkable fact, as , the dimension of a Young diagram with
fluctuates on a square root scale, and the fluctuations themselves behave like a 2D Coulomb gas of
identical point charges on a wire at inverse temperature
and confined by a harmonic potential. Let us unpack this statement.
First, the Weyl chamber
is the configuration space of hard particles on a wire, labeled from right to left. If
is the potential energy of this system of particles when it is in a given configuration, then the formalism of statistical mechanics says that the density which determines the probability to observe the system in a given configuration is
where is the inverse temperature and
is the partition function which ensures that this is the density of a probability measure. The partition function corresponding to this particular is a famous integral called Mehta’s integral, and it can be computed exactly using the Selberg integral formula.
What kind of a system has energy functional as in Theorem 1? According to Coulomb’s law, the repulsive force
between two identical point charges in
is inversely proportional to the distance between them raised to the power
. So in our usual
world,
has an inverse square law, but in an
world the repulsion is proportional to the reciprocal of the distance. Since energy is the integral of force, this accounts for the logarithmic terms in
— they represent the electrostatic repulsion between
identical two dimensional point charges confined to a wire. Left to their own devices, these charges would drift infinitely far away from each other on the unbounded wire
. The quadratic part of
has the meaning of a harmonic potential which attracts each point charge even as they repel one another, leading to the existence of a non-trivial ground state, the minimizer of
.
What configuration minimizes ? This classical problem in electrostatics was solved by Stieltjes, and the answer is: the roots of the
th Hermite polynomial, aka the matching polynomial of the complete graph on
vertices. Thus fluctuations of Young diagrams have something to do with the roots of Hermite polynomials. On the other hand, the Hermite polynomials themselves are orthogonal polynomials with respect to the Gaussian density, so fluctuations of Young diagrams should somehow be linked to Gaussian objects of some kind. In fact, the right objects are Gaussian random matrices.
Consider the real vector space of symmetric matrices. This is a Euclidean space when equipped with the standard scalar product
, i.e. the scalar product with respect to which the elementary matrices
form an orthonormal basis. In particular, one can define the standard Gaussian measure on this Euclidean space by stipulating its density,
. A random matrix with this distribution will have Gaussian random variables as its entries, and these variables are independent up to the symmetry constraint, as you can see by canonically identifying such a random matrix with a
dimensional random vector and taking its Laplace transform. However, the eigenvalues of
of a
Gaussian random symmetric matrix are neither Gaussian nor independent: the distribution of the random vector
in
has density proportional to
where is just as in Theorem 1. This is essentially due to a classical result of Hermann Weyl which says that the Euclidean volume of the set of
symmetric matrices with given eigenvalues
is proportional to the Vandermonde determinant in these eigenvalues,
In particular, the volume of the set of symmetric matrices with two or more equal eigenvalues is zero, as it should be, since one can see from the spectral theorem that this is not a full-dimensional subset of the space of symmetric matrices.
Theorem 1 is thus saying that Young diagram fluctuations behave like the eigenvalues of the traceless random matrix
. This surprising coincidence of Young diagram formulas and random matrix formulas is just the tip of a huge iceberg linking the two subjects, the culmination of which is the Baik-Deift-Johansson Theorem linking the fluctuations of the length of the longest increasing subsequence in a large random permutation with the eigenvalues of random matrices.
Concerning random matrices, the Coulomb gas with Boltzmann weight can be interpreted as the spectrum of a
random matrix for all values of the inverse temperature
. For
, the relationship is as above: one takes Gaussian complex selfadjoint matrices with entries to get the
case, and Gaussian quaternion selfadjoint matrices to get the
case. For the other values of
, the random matrix realization of the 2D Coulomb gas confined to a wire is more subtle, and was found by our colleague Ioana Dumitriu together Alan Edelman.
The above was pretty sketchy but also hopefully somewhat interesting. This being a topics course, you may want to take the time to run down some of the details (you can always ask me for further explanation, or pointers to the literature).
In our next lecture, we will complete the derivation of the first-order asymptotics of . For now, you might want to ask yourself: how is this related to the symmetry
of the energy of the Coulomb gas, and why is this symmetry physically obvious? In the next lecture, I will also tell you a bit about the Stanley-Wilf Conjecture (now a theorem of Marcus and Tardos), which is related to the growth of an even more general factorial function which counts the number of permutations in
which avoid a fixed permutation
.