## Random matrix theory and the Coulomb gas

*Today I have the pleasure of presenting you a guest post by Ricardo, a good physicist friend of mine in Paris, who is working on random matrix theory. Enjoy!*

After writing a nice piece of hardcore physics to my science blog (in Portuguese, I am sorry), Alex asked me to come by and repay the favor. I am happy to write a few lines about the basis of my research in random matrices, and one of the first nice surprises we have while learning the subject.

In this post, I intent to present you some few neat tricks I learned while tinkering with Random Matrix Theory (RMT). It is a pretty vast subject, whose ramifications extend to nuclear physics, information theory, particle physics and, surely, mathematics as a whole. One of the main questions on this subject is: given a matrix whose entries are taken randomly from a known distribution, what would the distribution for its eigenvalues be?

The applications of such a question are countless. We might be interested in the energy levels of a random hamiltonian, the information transmitted through a random noisy channel, the transmission probability of an electron through an open quantum system; every eigenvalue problem, when the effects of the environment are taken into account, must answer this most fundamental question in RMT. To do so, first we restrict our analysis to symmetric (resp. hermitian) matrices. We have two reasons for it: firstly, most applications in physics involve this kind of matrix (hamiltonians, S-matrices), secondly, they are much easier to analyze, since they can always be diagonalized by a orthogonal (resp. unitary) matrix.

To enable a complete analysis, I must introduce an extra assumption: our matrix must have a probability density function (p.d.f) invariant with respect to orthogonal (resp. unitary) conjugation. This is not such a narrow class of matrices as one might think, we can construct this kind of matrix with nearly any infinitely divisible probability. Roughly, we want to be able to write:

where is a diagonal matrix.

However, we should not get too excited with this property, as to write right away. We are always talking about a probability **density** function, the computation of the actual probability requires an integral over a certain space, and the passage from the matrix to its eigenvalues requires a variable change, hence we must calculate the Jacobian of such a transformation.

Let us take the simplest and perhaps most useful example: the Gaussian real (resp. complex) symmetric (resp. hermitian) matrix whose entries are i.i.d. normal variables with zero mean and variance 1. We can verify that this matrix is invariant with respect to orthogonal conjugation (actually, we can prove that the Gaussian matrix is the **only** matrix invariant with respect to orthogonal conjugation and whose entries are independent). Hence, we expect the eigenvalue probability to be:

The value for will be discussed soon, is a normalization constant. I will not derive the Jacobian term and I will refer to [1] for the complete demonstration, not only of this expression, but also of the uniqueness theorem mentioned above. Even though the entries of our matrix are independent, the p.d.f. of its eigenvalues its highly coupled due to the Jacobian:

is one of three possible values: if our initial matrix is real, . If it is a complex matrix, . If is a quaternion matrix, . This is called **Dyson’s threefold way**.

Since we have the eigenvalues p.d.f., it should be easy to calculate all quantities involved in a eigenvalue problem. We could be interested in the probability of having an eigenvalue larger than a threshold [2], or the chance of not finding any eigenvalue at all inside an interval. The calculation necessary would be simply the -dimensional integral of the p.d.f. multiplied by a function, but, oh dear, what a probability function!

The Jacobian will make most variables changes futile, all attempts of uncoupling the equations are faced with the product . One standard approach would be to interpret the Jacobian as a Vandermonde determinant (up to a sign), rearrange rows to compose polynomials and adjust them as to create orthogonal functions, whose integral would preserve only the “diagonal” terms of our calculations. I will not explain this technique in detail, even though it is quite beautiful. I will travel another path.

Let us write the whole probability as an exponential. We already have the Gaussian term as an exponential, let us raise the Jacobian to the exponent in the most standard way, we write:

where . If we write , the analogy is complete, we can treat this probability density function as a system analyzed by the Boltzmann Canonical Ensemble! Hence, we import all our techniques and tools from statistical mechanics to solve this ugly, nasty piece of probability density function.

It is interesting to remark that this Hamiltonian has a natural physical interpretation. If you recall your electrodynamics course, you might find, deep in your memory, the derivation of the Coulomb potential for two point charges in 2D: if we say their position is and , we have . Our Hamiltonian is the description of a 2D gas under a quadratic potential, or, as we call it, **Dyson’s Coulomb gas**. We can actually infer the equilibrium position of these electrons, if we consider the quadratic potential and the mutual logarithmic repulsion:

It is no surprise that, for the large limit, the p.d.f. of the electrons, and hence that of the eigenvalues, is the Wigner Semicircle Law. To deduce it, the next natural steps are (I am not going to detail them any further): replace by its density: , write the Hamiltonian in terms of the density, replace the integral over the eigenvalues by a functional integral over the possible densities , use a saddle-point approximation to argue that only the “best” density will matter for our calculations, derive functionally the Hamiltonian and solve a Tricomi equation to obtain the optimal value for , the equilibrium position of the electrons. Surely, we suppose that is large for the saddle-point approximation, results for small require a different approach.

To wrap it up, we can avoid treating a highly coupled integral by sending the nasty coupled part to the exponent, interpret the system as a Canonical Ensemble, and treat it in the thermodynamical limit to find the density of eigenvalues. This beautiful treatment was popularized by Dyson and revisited many times in the last decade. RMT is a very active subject, for physicists and mathematicians, and I hope that, with these few lines, you have been able to see a little but of what I see on it, and to appreciate, for a change, a place where physics has come to help mathematics on a hard day of work.

[1] M. L. Mehta, *Random Matrices*, Third Edition, Elsevier, 2004.

[2] S. N. Majumdar, C. Nadal, A. Scardicchio, P. Vivo, *How many eigenvalues of a Gaussian random matrix are positive?*, Phys. Rev. E 83, 041105 (2011)

Reblogged this on nebusresearch and commented:

inordinatum’s guest blog post here discusses something which, I must confess, isn’t going to be accessible to most of my readers. But it’s interesting to me, since it addresses many topics that are either directly in or close to my mathematical research interests.

The random matrix theory discussed here is the study of what we can say about matrices when we aren’t told the numbers in the matrix, but are told the distribution of the numbers — how likely any cell within the matrix is to be within any particular range. From that start it might sound like almost nothing could be said; after all, couldn’t anything go? But in exactly the same way that we’re able to speak very precisely about random events in the context of probability and statistics — for example, that a (fair) coin flipped a million times will come up tails pretty near 500,000 times, and will not come up tails 600,000 times — we’re able to speak confidently about the properties of these random matrices.

In any event, please do not worry about understanding the whole post. I found it fascinating and that’s why I’ve reblogged it here.

Joseph NebusOctober 20, 2012 at 6:04 am