Topological expansion and boundary conditions

In this article, we compute the topological expansion of all possible mixed-traces in a hermitian two matrix model. In other words we give a recipe to compute the number of discrete surfaces of given genus, carrying an Ising model, and with all possible given boundary conditions. The method is recursive, and amounts to recursively cutting surfaces along interfaces. The result is best represented in a diagrammatic way, and is thus rather simple to use.Comment: latex, 25 pages. few misprints correcte

Loop equations for the semiclassical 2-matrix model with hard edges

The 2-matrix models can be defined in a setting more general than polynomial potentials, namely, the semiclassical matrix model. In this case, the potentials are such that their derivatives are rational functions, and the integration paths for eigenvalues are arbitrary homology classes of paths for which the integral is convergent. This choice includes in particular the case where the integration path has fixed endpoints, called hard edges. The hard edges induce boundary contributions in the loop equations. The purpose of this article is to give the loop equations in that semicassical setting.Comment: Latex, 20 page

Enumeration of maps with self avoiding loops and the O(n) model on random lattices of all topologies

We compute the generating functions of a O(n) model (loop gas model) on a random lattice of any topology. On the disc and the cylinder, they were already known, and here we compute all the other topologies. We find that the generating functions (and the correlation functions of the lattice) obey the topological recursion, as usual in matrix models, i.e they are given by the symplectic invariants of their spectral curve.Comment: pdflatex, 89 pages, 12 labelled figures (15 figures at all), minor correction

Large deviations of the maximal eigenvalue of random matrices

We present detailed computations of the 'at least finite' terms (three dominant orders) of the free energy in a one-cut matrix model with a hard edge a, in beta-ensembles, with any polynomial potential. beta is a positive number, so not restricted to the standard values beta = 1 (hermitian matrices), beta = 1/2 (symmetric matrices), beta = 2 (quaternionic self-dual matrices). This model allows to study the statistic of the maximum eigenvalue of random matrices. We compute the large deviation function to the left of the expected maximum. We specialize our results to the gaussian beta-ensembles and check them numerically. Our method is based on general results and procedures already developed in the literature to solve the Pastur equations (also called "loop equations"). It allows to compute the left tail of the analog of Tracy-Widom laws for any beta, including the constant term.Comment: 62 pages, 4 figures, pdflatex ; v2 bibliography corrected ; v3 typos corrected and preprint added ; v4 few more numbers adde

Mixed correlation function and spectral curve for the 2-matrix model

We compute the mixed correlation function in a way which involves only the orthogonal polynomials with degrees close to $n$, (in some sense like the Christoffel Darboux theorem for non-mixed correlation functions). We also derive new representations for the differential systems satisfied by the biorthogonal polynomials, and we find new formulae for the spectral curve. In particular we prove the conjecture of M. Bertola, claiming that the spectral curve is the same curve which appears in the loop equations.Comment: latex, 1 figure, 55 page

A Matrix model for plane partitions

We construct a matrix model equivalent (exactly, not asymptotically), to the random plane partition model, with almost arbitrary boundary conditions. Equivalently, it is also a random matrix model for a TASEP-like process with arbitrary boundary conditions. Using the known solution of matrix models, this method allows to find the large size asymptotic expansion of plane partitions, to ALL orders. It also allows to describe several universal regimes.Comment: Latex, 41 figures. Misprints and corrections. Changing the term TASEP to self avoiding particle porces

Loop models on random maps via nested loops: case of domain symmetry breaking and application to the Potts model

We use the nested loop approach to investigate loop models on random planar maps where the domains delimited by the loops are given two alternating colors, which can be assigned different local weights, hence allowing for an explicit Z_2 domain symmetry breaking. Each loop receives a non local weight n, as well as a local bending energy which controls loop turns. By a standard cluster construction that we review, the Q = n^2 Potts model on general random maps is mapped to a particular instance of this problem with domain-non-symmetric weights. We derive in full generality a set of coupled functional relations for a pair of generating series which encode the enumeration of loop configurations on maps with a boundary of a given color, and solve it by extending well-known complex analytic techniques. In the case where loops are fully-packed, we analyze in details the phase diagram of the model and derive exact equations for the position of its non-generic critical points. In particular, we underline that the critical Potts model on general random maps is not self-dual whenever Q \neq 1. In a model with domain-symmetric weights, we also show the possibility of a spontaneous domain symmetry breaking driven by the bending energy.Comment: 44 pages, 13 figure

Exact 2-point function in Hermitian matrix model

J. Harer and D. Zagier have found a strikingly simple generating function for exact (all-genera) 1-point correlators in the Gaussian Hermitian matrix model. In this paper we generalize their result to 2-point correlators, using Toda integrability of the model. Remarkably, this exact 2-point correlation function turns out to be an elementary function - arctangent. Relation to the standard 2-point resolvents is pointed out. Some attempts of generalization to 3-point and higher functions are described.Comment: 31 pages, 1 figur

ABJM theory as a Fermi gas

The partition function on the three-sphere of many supersymmetric Chern-Simons-matter theories reduces, by localization, to a matrix model. We develop a new method to study these models in the M-theory limit, but at all orders in the 1/N expansion. The method is based on reformulating the matrix model as the partition function of an ideal Fermi gas with a non-trivial, one-particle quantum Hamiltonian. This new approach leads to a completely elementary derivation of the N^{3/2} behavior for ABJM theory and N=3 quiver Chern-Simons-matter theories. In addition, the full series of 1/N corrections to the original matrix integral can be simply determined by a next-to-leading calculation in the WKB or semiclassical expansion of the quantum gas, and we show that, for several quiver Chern-Simons-matter theories, it is given by an Airy function. This generalizes a recent result of Fuji, Hirano and Moriyama for ABJM theory. It turns out that the semiclassical expansion of the Fermi gas corresponds to a strong coupling expansion in type IIA theory, and it is dual to the genus expansion. This allows us to calculate explicitly non-perturbative effects due to D2-brane instantons in the AdS background.Comment: 52 pages, 11 figures. v3: references, corrections and clarifications added, plus a footnote on the relation to the recent work by Hanada et a