arXiv++ Combinatorics

The large size limit of matrix integrals with quartic potential may be used to count alternating links and tangles. The removal of redundancies amounts to renormalizations of the potential. This extends into two directions: higher genus and the counting of "virtual" links and tangles; and the counting of "coloured" alternating links and tangles. We discuss the asymptotic behavior of the number of tangles as the number of crossings goes to infinity.

The sums of components of the ground states of the O(1) loop model on a cylinder or of the XXZ quantum spin chain at Delta=-1/2 (of size L) are expressed in terms of combinatorial numbers. The methods include the introduction of spectral parameters and the use of integrability, a mapping from size L to L+1, and knot-theoretic skein relations.

We present determinant formulae for the number of tilings of various domains in relation with Alternating Sign Matrix and Fully Packed Loop enumeration.

The problem of counting the number of Fully Packed Loop (FPL) configurations with four sets of a,b,c,d nested arches is addressed. It is shown that it may be expressed as the problem of enumeration of tilings of a domain of the triangular lattice with a conic singularity. After reexpression in terms of non-intersecting lines, the Lindström-Gessel-Viennot theorem leads to a formula as a sum of determinants. This is made quite explicit when min(a,b,c,d)=1 or 2. We also find a compact determinant formula which generates the numbers of configurations with b=d.

It has recently been observed empirically that the number of FPL configurations with 3 sets of a, b and c nested arches equals the number of plane partitions in a box of size a x b x c. In this note, this result is proved by constructing explicitly the bijection between these FPL and plane partitions.

Virtual links are generalizations of classical links that can be represented by links embedded in a ``thickened'' surface $Σ\times I$, product of a Riemann surface of genus $h$ with an interval. In this paper, we show that virtual alternating links and tangles are naturally associated with the $1/N^2$ expansion of an integral over $N\times N$ complex matrices. We suggest that it is sufficient to count the equivalence classes of these diagrams modulo ordinary (planar) flypes. To test this hypothesis, we use an algorithm coding the corresponding Feynman diagrams by means of permutations that generates virtual diagrams up to 6 crossings and computes various invariants. Under this hypothesis, we use known results on matrix integrals to get the generating functions of virtual alternating tangles of genus 1 to 5 up to order 10 (i.e.\ 10 real crossings). The asymptotic behavior for $n$ large of the numbers of links and tangles of genus $h$ and with $n$ crossings is also computed for $h=1,2,3$ and conjectured for general $h$.

The integral over the U(N) unitary group $I=\int DU \exp\Tr A U B U^\dagger$ is reexamined. Various approaches and extensions are first reviewed. The second half of the paper deals with more recent developments: relation with integrable Toda lattice hierarchy, diagrammatic expansion and combinatorics, and on what they teach us on the large $N$ limit of $\log I$.

The connection between matrix integrals and links is used to define matrix models which count alternating tangles in which each closed loop is weighted with a factor n, i.e. may be regarded as decorated with n possible colors. For n=2, the corresponding matrix integral is that recently solved in the study of the random lattice six-vertex model. The generating function of alternating 2-color tangles is provided in terms of elliptic functions, expanded to 16-th order (16 crossings) and its asymptotic behavior is given.

Using matrix model techniques for the counting of planar Feynman diagrams, recent results of Sundberg and Thistlethwaite on the counting of alternating tangles and links are reproduced.