arXiv++ Combinatorics

The six-vertex model is an important toy-model in statistical mechanics for two-dimensional ice with a natural parameter $Δ$. When $Δ= 0$, the so-called free-fermion point, the model is in natural correspondence with domino tilings of the Aztec diamond. Although this model is integrable for all $Δ$, there has been very little progress in understanding its statistics in the scaling limit for other values. In this work, we focus on the six-vertex model with domain wall boundary conditions at $Δ= 1/2$, where it corresponds to alternating sign matrices (ASMs). We consider the level lines in a height function representation of ASMs. We show that the maximum of the topmost level line for a uniformly random ASMs has the GOE Tracy--Widom distribution after appropriate rescaling. A key ingredient in our proof is Zeilberger's proof of the ASM conjecture. As far as we know, this is the first edge fluctuation result away from the tangency points for the domain-wall six-vertex model when we are not in the free fermion case.

Random domino tilings of the Aztec diamond shape exhibit interesting features and some of the statistical properties seen in random matrix theory. As a statistical mechanical model it can be thought of as a dimer model or as a certain random surface. We consider the Aztec diamond with a two-periodic weighting which exhibits all three possible phases that occur in these types of models, often referred to as solid, liquid and gas. To analyze this model, we use entries of the inverse Kasteleyn matrix which give the probability of any configuration of dominoes. A formula for these entries, for this particular model, was derived by Chhita and Young (2014). In this paper, we find a major simplification of this formula expressing entries of the inverse Kasteleyn matrix by double contour integrals which makes it possible to investigate their asymptotics. In a part of the Aztec diamond, where the asymptotic analysis is simpler, we use this formula to show that the entries of the inverse Kasteleyn matrix converge to the known entries of the full-plane inverse Kasteleyn matrices for the different phases. We also study the detailed asymptotics of the inverse Kasteleyn matrix at both the "liquid-solid" and "liquid-gas" boundaries, and find the extended Airy kernel in the next order asymptotics. Finally we provide a potential candidate for a combinatorial description of the liquid-gas boundary.

We study random domino tilings of a Double Aztec diamond, a region consisting of two overlapping Aztec diamonds. The random tilings give rise to two discrete determinantal point processes called the K-and L-particle processes. The correlation kernel of the K-particles was derived in Adler, Johansson and van Moerbeke (2011), who used it to study the limit process of the K-particles with different weights for horizontal and vertical dominos. Let the size of both, the Double Aztec diamond and the overlap, tend to infinity such that the two arctic ellipses just touch; then they show that the fluctuations of the K-particles near the tangency point tend to the tacnode process. In this paper, we find the limiting point process of the L-particles in the overlap when the weights of the horizontal and vertical dominos are equal, or asymptotically equal, as the Double Aztec diamond grows, while keeping the overlap finite. In this case the two limiting arctic circles are tangent in the overlap and the behavior of the L-particles in the vicinity of the point of tangency can then be viewed as two colliding GUE-minor process, which we call the tacnode GUE minor process. As part of the derivation of the kernel for the L-particles we find the inverse Kasteleyn matrix for the dimer model version of Double Aztec diamond.

Discrete and continuous non-intersecting random processes have given rise to critical "infinite dimensional diffusions", like the Airy process, the Pearcey process and variations thereof. It has been known that domino tilings of very large Aztec diamonds lead macroscopically to a disordered region within an inscribed ellipse (arctic circle in the homogeneous case), and a regular brick-like region outside the ellipse. The fluctuations near the ellipse, appropriately magnified and away from the boundary of the Aztec diamond, form an Airy process, run with time tangential to the boundary. This paper investigates the domino tiling of two overlapping Aztec diamonds; this situation also leads to non-intersecting random walks and an induced point process; this process is shown to be determinantal. In the large size limit, when the overlap is such that the two arctic ellipses for the single Aztec diamonds merely touch, a new critical process will appear near the point of osculation (tacnode), which is run with a time in the direction of the common tangent to the ellipses: this is the "tacnode process". It is also shown here that this tacnode process is universal: it coincides with the one found in the context of two groups of non-intersecting random walks or also Brownian motions, meeting momentarily.

Consider $a$ particles performing simple, symmetric, non-intersecting random walks, starting at points $2(j-1)$, $1\le j\le a$ at time 0 and ending at $2(j-1)+c-b$ at time $b+c$. This can also be interpreted as a random rhombus tiling of an $abc$-hexagon, or as a random boxed planar partition confined to a rectangular box with side lengths $a$, $b$ and $c$. The positions of the particles at all times gives a determinantal point process with a correlation kernel given in terms of the associated Hahn polynomials. In a suitable scaling limit we obtain non-intersecting Brownian motions which can be related to Dysons's Hermitian Brownian motion via a suitable transformation.

We investigate certain measures induced by families of non-intersecting paths in domino tilings of the Aztec diamond, rhombus tilings of an abc-hexagon, a dimer model on a cylindrical brick lattice and a growth model. The measures obtained, e.g. the Krawtchouk and Hahn ensembles, have the same structure as the eigenvalue measures in random matrix theory like GUE, which can in fact be obtained from non-intersecting Brownian motions. The derivations of the measures are based on the Karlin-McGregor or Lindström-Gessel-Viennot method. We use the measure to show some asymptotic results for the models.

We consider discrete orthogonal polynomial ensembles which are discrete analogues of the orthogonal polynomial ensembles in random matrix theory. These ensembles occur in certain problems in combinatorial probability and can be thought of as probability measures on partitions. The Meixner ensemble is related to a two-dimensional directed growth model, and the Charlier ensemble is related to the lengths of weakly increasing subsequences in random words. The Krawtchouk ensemble occurs in connection with zig-zag paths in random domino tilings of the Aztec diamond, and also in a certain simplified directed first-passage percolation model. We use the Charlier ensemble to investigate the asymptotics of weakly increasing subsequences in random words and to prove a conjecture of Tracy and Widom. As a limit of the Meixner ensemble or the Charlier ensemble we obtain the Plancherel measure on partitions, and using this we prove a conjecture of Baik, Deift and Johansson that under the Plancherel measure, the distribution of the lengths of the first k rows in the partition, appropriately scaled, converges to the asymptotic joint distribution for the k largest eigenvalues of a random matrix from the Gaussian Unitary Ensemble. In this problem a certain discrete kernel, which we call the discrete Bessel kernel, plays an important role.

We study a certain random groeth model in two dimensions closely related to the one-dimensional totally asymmetric exclusion process. The results show that the shape fluctuations, appropriately scaled, converges in distribution to the Tracy-Widom largest eigenvalue distribution for the Gaussian Unitary Ensemble.

We investigate the probability distribution of the length of the second row of a Young diagram of size $N$ equipped with Plancherel measure. We obtain an expression for the generating function of the distribution in terms of a derivative of an associated Fredholm determinant, which can then be used to show that as $N\to\infty$ the distribution converges to the Tracy-Widom distribution [TW] for the second largest eigenvalue of a random GUE matrix. This paper is a sequel to [BDJ], where we showed that as $N\to\infty$ the distribution of the length of the first row of a Young diagram, or equivalently, the length of the longest increasing subsequence of a random permutation, converges to the Tracy-Widom distribution [TW] for the largest eigenvalue of a random GUE matrix.

The authors consider the length, $l_N$, of the length of the longest increasing subsequence of a random permutation of $N$ numbers. The main result in this paper is a proof that the distribution function for $l_N$, suitably centered and scaled, converges to the Tracy-Widom distribution [TW1] of the largest eigenvalue of a random GUE matrix. The authors also prove convergence of moments. The proof is based on the steepest decent method for Riemann-Hilbert problems, introduced by Deift and Zhou in 1993 [DZ1] in the context of integrable systems. The applicability of the Riemann-Hilbert technique depends, in turn, on the determinantal formula of Gessel [Ge] for the Poissonization of the distribution function of $l_N$.