Formal matrix integrals and combinatorics of maps

This article is a short review on the relationship between convergent matrix integrals, formal matrix integrals, and combinatorics of maps. We briefly summarize results developed over the last 30 years, as well as more recent discoveries. We recall that formal matrix integrals are identical to combinatorial generating functions for maps, and that formal matrix integrals are in general very different from convergent matrix integrals. Finally, we give a list of the classical matrix models which have played an important role in physics in the past decades. Some of them are now well understood, some are still difficult challenges.Comment: few misprints corrected, biblio modifie

Large N asymptotics of orthogonal polynomials, from integrability to algebraic geometry

In this short lecture, we compute asymptotics of orthogonal polynomials, from a saddle point approximation. This is an example of a calculation which shows the link between integrability, algebraic geometry and random matrices.Comment: Proceedings Les Houches sumer school, Applications of Random Matrices in Physics, June 6-25 200

Recursion between Mumford volumes of moduli spaces

We propose a new proof, as well as a generalization of Mirzakhani's recursion for volumes of moduli spaces. We interpret those recursion relations in terms of expectation values in Kontsevich's integral, i.e. we relate them to a Ribbon graph decomposition of Riemann surfaces. We find a generalization of Mirzakhani's recursions to measures containing all higher Mumford's kappa classes, and not only kappa1 as in the Weil-Petersson case.Comment: Latex, 18 page

Large N expansion of the 2-matrix model, multicut case

We present a method, based on loop equations, to compute recursively, all the terms in the large $N$ topological expansion of the free energy for the 2-hermitian matrix model, in the case where the support of the density of eigenvalues is not connected. We illustrate the method by computing the free energy of a statistical physics model on a discretized torus.Comment: latex, 1 figur

Universal scaling limits of matrix models, and (p,q) Liouville gravity

We show that near a point where the equilibrium density of eigenvalues of a matrix model behaves like y ~ x^{p/q}, the correlation functions of a random matrix, are, to leading order in the appropriate scaling, given by determinants of the universal (p,q)-minimal models kernels. Those (p,q) kernels are written in terms of functions solutions of a linear equation of order q, with polynomial coefficients of degree at most p. For example, near a regular edge y ~ x^{1/2}, the (1,2) kernel is the Airy kernel and we recover the Airy law. Those kernels are associated to the (p,q) minimal model, i.e. the (p,q) reduction of the KP hierarchy solution of the string equation. Here we consider only the 1-matrix model, for which q=2.Comment: pdflatex, 44 pages, 2 figure

Reconstructing WKB from topological recursion

We prove that the topological recursion reconstructs the WKB expansion of a quantum curve for all spectral curves whose Newton polygons have no interior point (and that are smooth as affine curves). This includes nearly all previously known cases in the literature, and many more; in particular, it includes many quantum curves of order greater than two. We also explore the connection between the choice of ordering in the quantization of the spectral curve and the choice of integration divisor to reconstruct the WKB expansion.Comment: 68 pages, 9 figures. v2: published version (improved presentation

Computation of open Gromov-Witten invariants for toric Calabi-Yau 3-folds by topological recursion, a proof of the BKMP conjecture

The BKMP conjecture (2006-2008), proposed a new method to compute closed and open Gromov-Witten invariants for every toric Calabi-Yau 3-folds, through a topological recursion based on mirror symmetry. So far, this conjecture had been verified to low genus for several toric CY3folds, and proved to all genus only for C^3. In this article we prove the general case. Our proof is based on the fact that both sides of the conjecture can be naturally written in terms of combinatorial sums of weighted graphs: on the A-model side this is the localization formula, and on the B-model side the graphs encode the recursive algorithm of the topological recursion. One can slightly reorganize the set of graphs obtained in the B-side, so that it coincides with the one obtained by localization in the A-model.Then it suffices to compare the weights of vertices and edges of graphs on each side, which is done in 2 steps: the weights coincide in the large radius limit, due to the fact that the toric graph is the tropical limit of the mirror curve. Then the derivatives with respect to K\"ahler radius coincide due to special geometry property implied by the topological recursion.Comment: Pdf Latex, 66 pages+30 pages of appendix, about 30 figures. Revised version: improvement in the presentation of mirror ma

Geometry of Spectral Curves and All Order Dispersive Integrable System

We propose a definition for a Tau function and a spinor kernel (closely related to Baker-Akhiezer functions), where times parametrize slow (of order 1/N) deformations of an algebraic plane curve. This definition consists of a formal asymptotic series in powers of 1/N, where the coefficients involve theta functions whose phase is linear in N and therefore features generically fast oscillations when N is large. The large N limit of this construction coincides with the algebro-geometric solutions of the multi-KP equation, but where the underlying algebraic curve evolves according to Whitham equations. We check that our conjectural Tau function satisfies Hirota equations to the first two orders, and we conjecture that they hold to all orders. The Hirota equations are equivalent to a self-replication property for the spinor kernel. We analyze its consequences, namely the possibility of reconstructing order by order in 1/N an isomonodromic problem given by a Lax pair, and the relation between "correlators", the tau function and the spinor kernel. This construction is one more step towards a unified framework relating integrable hierarchies, topological recursion and enumerative geometry