Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models

We study the chromatic polynomial P_G(q) for m× n square- and triangular-lattice strips of widths 2≤ m ≤ 8 with cyclic boundary conditions. This polynomial gives the zero-temperature limit of the partition function for the antiferromagnetic q-state Potts model defined on the lattice G. We show how to construct the transfer matrix in the Fortuin–Kasteleyn representation for such lattices and obtain the accumulation sets of chromatic zeros in the complex q-plane in the limit n→∞. We find that the different phases that appear in this model can be characterized by a topological parameter. We also compute the bulk and surface free energies and the central charge.     

Combinatorics of Dispersionless Integrable Systems and Universality in Random Matrix Theory

It is well-known that the partition function of the unitary ensembles of random matrices is given by a τ-function of the Toda lattice hierarchy and those of the orthogonal and symplectic ensembles are τ-functions of the Pfaff lattice hierarchy. In these cases the asymptotic expansions of the free energies given by the logarithm of the partition functions lead to the dispersionless (i.e. continuous) limits for the Toda and Pfaff lattice hierarchies. There is a universality between all three ensembles of random matrices, one consequence of which is that the leading orders of the free energy for large matrices agree. In this paper, this universality, in the case of Gaussian ensembles, is explicitly demonstrated by computing the leading orders of the free energies in the expansions. We also show that the free energy as the solution of the dispersionless Toda lattice hierarchy gives a solution of the dispersionless Pfaff lattice hierarchy, which implies that this universality holds in general for the leading orders of the unitary, orthogonal, and symplectic ensembles. We also find an explicit formula for the two point function F _nm which represents the number of connected ribbon graphs with two vertices of degrees n and m on a sphere. The derivation is based on the Faber polynomials defined on the spectral curve of the dispersionless Toda lattice hierarchy, and \frac1nmF_nm{\frac{1}{nm}F_{nm}} are the Grunsky coefficients of the Faber polynomials.     

Interlaced Particle Systems and Tilings of the Aztec Diamond

Motivated by the problem of domino tilings of the Aztec diamond, a weighted particle system is defined on N lines, with line j containing j particles. The particles are restricted to lattice points from 0 to N, and particles on successive lines are subject to an interlacing constraint. It is shown that this particle system is exactly solvable, to the extent that not only can the partition function be computed exactly, but so too can the marginal distributions. These results in turn are used to give new derivations within the particle picture of a number of known fundamental properties of the tiling problem, for example that the number of distinct configurations is 2 ^N(N+1)/2, and that there is a limit to the GUE minor process, which we show at the level of the joint PDFs. It is shown too that the study of tilings of the half Aztec diamond—not known from earlier literature—also leads to an interlaced particle system, now with successive lines 2n−1 and 2n (n=1,…,N/2−1) having n particles. Its exact solution allows for an analysis of the half Aztec diamond tilings analogous to that given for the Aztec diamond tilings.     

Algebras in higher-dimensional statistical mechanics - the exceptional partition (mean field) algebras

We determine the structure of the partition algebraP _n(Q) (a generalized Temperley-Lieb algebra) for specific values ofQ , focusing on the quotient which gives rise to the partition function ofn siteQ-state Potts models (in the continuousQ formulation) in arbitrarily high lattice dimensions (the mean field case). The algebra is nonsemisimple iffQ is a nonnegative integer less than 2n-1. We determine the dimension of the key irreducible representation in every specialization.Work supported by the Packard Foundation.     

Separation of Variables for the Ruijsenaars System

We construct a separation of variables for the classical n-particle Ruijsenaars system (the relativistic analog of the elliptic Calogero-Moser system). The separated coordinates appear as the poles of the properly normalised eigenvector (Baker-Akhiezer function) of the corresponding Lax matrix. Two different normalisations of the BA functions are analysed. The canonicity of the separated variables is verified with the use of the r-matrix technique. The explicit expressions for the generating function of the separating canonical transform are given in the simplest cases n=2 and n=3. Taking the nonrelativistic limit we also construct a separation of variables for the elliptic Calogero-Moser system. Received: 10 January 1997 / Accepted: 1 April 1997     

The O(n) Loop Model on the 3–12 Lattice

The partition function of the O(n) loop model on the honeycomb lattice is mapped to that of the O(n) loop model on the 3–12 lattice. Both models share the same operator content and thus critical exponents. The critical points are related via a simple transformation of variables. When n = 0 this gives the recently found exact value = 1.711041... for the connective constant of self-avoiding walks on the 3–12 lattice. The exact critical points are recovered for the Ising model on the 3–12 lattice and the dual asanoha lattice at n = 1.     

Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models. III. Triangular-Lattice Chromatic Polynomial

We study the chromatic polynomial P _G (q) for m×n triangular-lattice strips of widths m12_P,9_F (with periodic or free transverse boundary conditions, respectively) and arbitrary lengths n (with free longitudinal boundary conditions). The chromatic polynomial gives the zero-temperature limit of the partition function for the q-state Potts antiferromagnet. We compute the transfer matrix for such strips in the Fortuin–Kasteleyn representation and obtain the corresponding accumulation sets of chromatic zeros in the complex q-plane in the limit n. We recompute the limiting curve obtained by Baxter in the thermodynamic limit m,n and find new interesting features with possible physical consequences. Finally, we analyze the isolated limiting points and their relation with the Beraha numbers.     

Genus Two Partition and Correlation Functions for Fermionic Vertex Operator Superalgebras I

We define the partition and n-point correlation functions for a vertex operator superalgebra on a genus two Riemann surface formed by sewing two tori together. For the free fermion vertex operator superalgebra we obtain a closed formula for the genus two continuous orbifold partition function in terms of an infinite dimensional determinant with entries arising from torus Szegő kernels. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties. Using the bosonized formalism, a new genus two Jacobi product identity is described for the Riemann theta series. We compute and discuss the modular properties of the generating function for all n-point functions in terms of a genus two Szegő kernel determinant. We also show that the Virasoro vector one point function satisfies a genus two Ward identity.     

SU(1, 1) Random Polynomials

We study statistical properties of zeros of random polynomials and random analytic functions associated with the pseudoeuclidean group of symmetries SU(1, 1), by utilizing both analytical and numerical techniques. We first show that zeros of the SU(1, 1) random polynomial of degree N are concentrated in a narrow annulus of the order of N ^–1 around the unit circle on the complex plane, and we find an explicit formula for the scaled density of the zeros distribution along the radius in the limit N. Our results are supported through various numerical simulations. We then extend results of Hannay⁽¹⁾ and Bleher et al. ⁽²⁾ to derive different formulae for correlations between zeros of the SU(1, 1) random analytic functions, by applying the generalized Kac–Rice formula. We express the correlation functions in terms of some Gaussian integrals, which can be evaluated combinatorially as a finite sum over Feynman diagrams or as a supersymmetric integral. Due to the SU(1, 1) symmetry, the correlation functions depend only on the hyperbolic distances between the points on the unit disk, and we obtain an explicit formula for the two point correlation function. It displays quadratic repulsion at small distances and fast decay of correlations at infinity. In an appendix to the paper we evaluate correlations between the outer zeros |z _j |>1 of the SU(1, 1) random polynomial, and we prove that the inner and outer zeros are independent in the limit when the degree of the polynomial goes to infinity.     

Analyticity properties of the Ising model in the antiferromagnetic phase

The partition function of the Ising antiferromagnet is proved to have no zeroes in an annulus around the origin in the complexz-plane. The intersection of this annulus with the positive real axis belongs to the antiferromagnetic region. The free energy and the correlation functions are analytic in the annulus.On leave of absence from the University of Groningen, the Netherlands; supported by the Netherlands Organization for Pure Scientific Research (Z.W.O.).Supported by the National Swiss Foundation for Scientific Research.     

Elliptic Genera of Symmetric Products and Second Quantized Strings

In this note we prove an identity that equates the elliptic genus partition function of a supersymmetric sigma model on the N-fold symmetric product of a manifold M to the partition function of a second quantized string theory on the space . The generating function of these elliptic genera is shown to be (almost) an automorphic form for . In the context of D-brane dynamics, this result gives a precise computation of the free energy of a gas of D-strings inside a higher-dimensional brane. Received: Received: 16 August 1996 / Accepted: 3 October 1996     

Conformal two-boundary loop model on the annulus

We study the two-boundary extension of a loop model—corresponding to the dense phase of the O(n)$\mathrm{O}(n)$ model, or to the Q=n²$Q=n^2$ state Potts model—in the critical regime −2<n?2$-2<n?2$. This model is defined on an annulus of aspect ratio τ. Loops touching the left, right, or both rims of the annulus are distinguished by arbitrary (real) weights which moreover depend on whether they wrap the periodic direction. Any value of these weights corresponds to a conformally invariant boundary condition. We obtain the exact seven-parameter partition function in the continuum limit, as a function of τ, by a combination of algebraic and field theoretical arguments. As a specific application we derive some new crossing formulae for percolation clusters.     

The solution space of the unitary matrix model string equation and the Sato Grassmannian

The space of all solutions to the string equation of the symmetric unitary one-matrix model is determined. It is shown that the string equation is equivalent to simple conditions on pointsV ₁ andV ₂ in the big cell Gr⁽⁰⁾ of the Sato Grassmannian Gr. This is a consequence of a well-defined continuum limit in which the string equation has the simple form matrices of differential operators. These conditions onV ₁ andV ₂ yield a simple system of first order differential equations whose analysis determines the space of all solutions to the string equation. This geometric formulation leads directly to the Virasoro constraintsL _n (n0), whereL _n annihilate the two modified-KdV -functions whose product gives the partition function of the Unitary Matrix Model.     

Factorisations for partition functions of random Hermitian matrix models

The partition functionZ _N , for Hermitian-complex matrix models can be expressed as an explicit integral over ^N , whereN is a positive integer. Such an integral also occurs in connexion with random surfaces and models of two dimensional quantum gravity. We show thatZ _N can be expressed as the product of two partition functions, evaluated at translated arguments, for another model, giving an explicit connexion between the two models. We also give an alternative computation of the partition function for the ⁴-model. The approach is an algebraic one and holds for the functions regarded as formal power series in the appropriate ring.     

Free Bosonic Vertex Operator Algebras on Genus Two Riemann Surfaces I

We define the partition and n-point functions for a vertex operator algebra on a genus two Riemann surface formed by sewing two tori together. We obtain closed formulas for the genus two partition function for the Heisenberg free bosonic string and for any pair of simple Heisenberg modules. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties for the Heisenberg and lattice vertex operator algebras and a continuous orbifolding of the rank two fermion vertex operator super algebra. We compute the genus two Heisenberg vector n-point function and show that the Virasoro vector one point function satisfies a genus two Ward identity for these theories.     

Transition Probabilities and Dynamic Structure Function in the ASEP Conditioned on Strong Flux

We consider the asymmetric simple exclusion processes (ASEP) on a ring constrained to produce an atypically large flux, or an extreme activity. Using quantum free fermion techniques we find the time-dependent conditional transition probabilities and the exact dynamical structure function under such conditioned dynamics. In the thermodynamic limit we obtain the explicit scaling form. This gives a direct proof that the dynamical exponent in the extreme current regime is z=1 rather than the KPZ exponent z=3/2 which characterizes the ASEP in the regime of typical currents. Some of our results extend to the activity in the partially asymmetric simple exclusion process, including the symmetric case.     

The Ising Partition Function for 2D Grids with Periodic Boundary: Computation and Analysis

The Ising partition function for a graph counts the number of bipartitions of the vertices with given sizes, with a given size of the induced edge cut. Expressed as a 2-variable generating function it is easily translatable into the corresponding partition function studied in statistical physics. In the current paper a comparatively efficient transfer matrix method is described for computing the generating function for the n×n grid with periodic boundary. We have applied the method to up to the 15×15 grid, in total 225 vertices. We examine the phase transition that takes place when the edge cut reaches a certain critical size. From the physical partition function we extract quantities such as magnetisation and susceptibility and study their asymptotic behaviour at the critical temperature.     

Phase structure of U(N→∞) gauge theory on a two-dimensional lattice for a broad class of variant actions

It is pointed out that finding the partition function for U(N) gauge theory on a two-dimensional lattice in the limit N→∞ reduces, for a broad class of single-plaquette actions, to a well-known and solved mathematical problem. The case where in the single plaquette action the matrix U + U⁺ occuring in Wilson's formula is replaced by an arbitrary polynomial in this matrix, is discussed in detail and explicit results for the second-order polynomial are presented. A rich phase structure with second- and third-order phase transitions is found. The results are shown to have at the qualitative level a simple thermodynamical interpretation. They support the view that the phase structure of a lattice gauge theory is an artifact of the lattice action used rather than some reflection of the underlying group structure.     

Restriction Properties of Annulus SLE

For κ∈(0,4], a family of annulus SLE(κ;Λ) processes were introduced in (Zhan in arXiv:) to prove the reversibility of whole-plane SLE(κ). In this paper we prove that those annulus SLE(κ;Λ) processes satisfy a restriction property, which is similar to that for chordal SLE(κ). Using this property, we construct n≥2 curves crossing an annulus such that, when any n−1 curves are given, the last curve is a chordal SLE(κ) trace.     

ℤ n Baxter model: Symmetries and the Belavin parametrization

The _n Baxter model is an exactly solvable lattice model in the special case of the Belavin parametrization. For this parametrization we calculate the partition function,, in an antiferromagnetic region and the order parameter in a ferromagnetic region. We find that the order parameter is expressible in terms of a modular function of leveln which forn = 2 is the Onsager-Yang-Baxter result. In addition we determine the symmetry group of the finite lattice partition function for the general _n Baxter model.