In this paper we study height fluctuations of random lozenge tilings of polygonal domains on the triangular lattice through nonintersecting Bernoulli random walks. For a large class of polygons which have exactly one horizontal upper boundary edge, we show that these random height functions converge to a Gaussian Free Field as predicted by Kenyon and Okounkov [28]. A key ingredient of our proof is a dynamical version of the discrete loop equations as introduced by Borodin, Guionnet and Gorin [5], which might be of independent interest.
Consider the probability that an arbitrary chosen lozenge tiling of the hexagon with side lengths a, b, c, a, b, c contains the horizontal lozenge with lowest vertex (x,y) as if it described the distribution of mass in the plane. We compute the horizontal and the vertical moments of inertia with respect to this distribution. This solves a problem by Propp [1, Problem 7].
We study lozenge tilings of a domain with partially free boundary. In particular, we consider a trapezoidal domain (half hexagon), s.t. the horizontal lozenges on the long side can intersect it anywhere to protrude halfway across. We show that the positions of the horizontal lozenges near the opposite flat vertical boundary have the same joint distribution as the eigenvalues from a Gaussian Unitary Ensemble (the GUE-corners/minors process). We also prove the existence of a limit shape of the height function, which is also a vertically symmetric plane partition. Both behaviors are shown to coin…
We show that bounded changes to the boundary of a lozenge tilings do not affect the local behaviour inside the domain. As a consequence we prove the existence of a local limit in all domains with planar boundary. The proof does not rely on any exact solvability of the model beyond its links with uniform spanning trees.
This paper establishes a universality result for scaling limits of uniformly random lozenge tilings of large domains. We prove that whenever a boundary of the domain has three adjacent straight segments inclined under 120 degrees to each other, the asymptotics of tilings near the middle segment is described by the GUE--corners process of random matrix theory. An important step in our argument is to show that fluctuations of the height function of random tilings on essentially arbitrary simply-connected domains of diameter $N$ have smaller magnitude than $N^{1/2}$.
We give a new proof of the fact that, near a turning point of the frozen boundary, the vertical tiles in a uniformly random lozenge tiling of a large sawtooth domain are distributed like the eigenvalues of a GUE random matrix. Our argument uses none of the standard tools of integrable probability. In their place, it uses a combinatorial interpretation of the Harish-Chandra/Itzykson-Zuber integral as a generating function for desymmetrized Hurwitz numbers.
We study large-scale height fluctuations of random stepped surfaces corresponding to uniformly random lozenge tilings of polygons on the triangular lattice. For a class of polygons (which allows arbitrarily large number of sides), we show that these fluctuations are asymptotically governed by a Gaussian free (massless) field. This complements the similar result obtained in Kenyon [Comm. Math. Phys. 281 (2008) 675-709] about tilings of regions without frozen facets of the limit shape. In our asymptotic analysis we use the explicit double contour integral formula for the determinantal correlatio…
We study asymptotics of $q$-distributed random lozenge tilings of sawtooth domains (equivalently, of random interlacing integer arrays with fixed top row). Under the distribution we consider each tiling is weighted proportionally to $q^{\mathsf{vol}}$, where $\mathsf{vol}$ is the volume under the corresponding 3D stepped surface. We prove the following Interlacing Central Limit Theorem: as $q\rightarrow1$, the domain gets large, and the fixed top row approximates a given nonrandom profile, the vertical lozenges are distributed as the eigenvalues of a GUE random matrix and of its successive pri…
We prove that the asymptotic of the bulk local statistics in models of random lozenge tilings is universal in the vicinity of straight boundaries of the tiled domains. The result applies to uniformly random lozenge tilings of large polygonal domains on triangular lattice and to the probability measures describing the decomposition in Gelfand-Tsetlin bases of tensor products of representations of unitary groups. In a weaker form our theorem also applies to random domino tilings.
We study the Glauber dynamics on the set of tilings of a finite domain of the plane with lozenges of side 1/L. Under the invariant measure of the process (the uniform measure over all tilings), it is well known that the random height function associated to the tiling converges in probability, in the scaling limit $L\to\infty$, to a non-trivial macroscopic shape minimizing a certain surface tension functional. According to the boundary conditions the macroscopic shape can be either analytic or contain "frozen regions" (Arctic Circle phenomenon). It is widely conjectured, on the basis of theoret…
We use the periodic Schur process, introduced in arXiv:math/0601019v1, to study the random height function of lozenge tilings (equivalently, dimers) on an infinite cylinder distributed under two variants of the $q^{\operatorname{vol}}$ measure. Under the first variant, corresponding to random cylindric partitions, the height function converges to a deterministic limit shape and fluctuations around it are given by the Gaussian free field in the conformal structure predicted by the Kenyon-Okounkov conjecture. Under the second variant, corresponding to an unrestricted dimer model on the cylinder,…
A Gelfand-Tsetlin scheme of depth N is a triangular array with m integers at level m, m=1,...,N, subject to certain interlacing constraints. We study the ensemble of uniformly random Gelfand-Tsetlin schemes with arbitrary fixed N-th row. We obtain an explicit double contour integral expression for the determinantal correlation kernel of this ensemble (and also of its q-deformation). This provides new tools for asymptotic analysis of uniformly random lozenge tilings of polygons on the triangular lattice; or, equivalently, of random stepped surfaces. We work with a class of polygons which allows…
We present a detailed study of a four parameter family of elliptic weights on tilings of a hexagon introduced by Borodin, Gorin and Rains, generalizing some of their results. In the process, we connect the combinatorics of the model with the theory of elliptic special functions. Using canonical coordinates for the hexagon we show how the $n$-point distribution function and transitional probabilities connect to the theory of $BC_n$-symmetric multivariate elliptic special functions and of elliptic difference operators introduced by Rains. In particular, the difference operators intrinsically cap…
It has been well known for a long time that the height function of random lozenge tilings of large domains follow a law of large number and possible limits called dimer limit shapes are well understood. For the next order, it is expected that fluctuations behave like version of a Gaussian Free field, at least away from some special "frozen" regions. However despite being one of the main questions in the domain for 20 years, only special cases have been obtained. In this paper we show that for any specified limit shape with no frozen region, one can construct a sequence of domains whose height …
We show how to combine Fourier analysis with coupling arguments to bound the mixing times of a variety of Markov chains. The mixing time is the number of steps a Markov chain takes to approach its equilibrium distribution. One application is to a class of Markov chains introduced by Luby, Randall, and Sinclair to generate random tilings of regions by lozenges. For an L X L region we bound the mixing time by O(L^4 log L), which improves on the previous bound of O(L^7), and we show the new bound to be essentially tight. In another application we resolve a few questions raised by Diaconis and Sal…
We study a reversible continuous-time Markov dynamics on lozenge tilings of the plane, introduced by Luby et al. Single updates consist in concatenations of $n$ elementary lozenge rotations at adjacent vertices. The dynamics can also be seen as a reversible stochastic interface evolution. When the update rate is chosen proportional to $1/n$, the dynamics is known to enjoy especially nice features: a certain Hamming distance between configurations contracts with time on average and the relaxation time of the Markov chain is diffusive, growing like the square of the diameter of the system. Here,…
We study a reversible continuous-time Markov dynamics of a discrete $(2+1)$-dimensional interface. This can be alternatively viewed as a dynamics of lozenge tilings of the $L\times L$ torus, or as a conservative dynamics for a two-dimensional system of interlaced particles. The particle interlacement constraints imply that the equilibrium measures are far from being product Bernoulli: particle correlations decay like the inverse distance squared and interface height fluctuations behave on large scales like a massless Gaussian field. We consider a particular choice of the transition rates, orig…
We analyze a random lozenge tiling model of a large regular hexagon, whose underlying weight structure is periodic of period $2$ in both the horizontal and vertical directions. This is a determinantal point process whose correlation kernel is expressed in terms of non-Hermitian matrix valued orthogonal polynomials. This model belongs to a class of models for which the existing techniques for studying asymptotics cannot be applied. The novel part of our method consists of establishing a connection between matrix valued and scalar valued orthogonal polynomials. This allows to simplify the double…
In this paper, we establish a quenched invariance principle for the random walk on a certain class of infinite, aperiodic, oriented random planar graphs called "T-graphs" [Kenyon-Sheffield04]. These graphs appear, together with the corresponding random walk, in a work [Kenyon07] about the lozenge tiling model, where they are used to compute correlations between lozenges inside large finite domains. The random walk in question is balanced, i.e. it is automatically a martingale. Our main ideas are inspired by the proof of a quenched central limit theorem in stationary ergodic environment on $\ma…
At a typical cusp point of the disordered region in a random tiling model we expect to see a determinantal process called the Pearcey process in the appropriate scaling limit. However, in certain situations another limiting point process appears that we call the Cusp-Airy process, which is a kind of two sided extension of the Airy kernel point process. We will study this problem in a class of random lozenge tiling models coming from interlacing particle systems. The situation was briefly studied previously by Okounkov and Reshetikhin under the name cuspidal turning point.
A combination of direct and inverse Fourier transforms on the unitary group $U(N)$ identifies normalized characters with probability measures on $N$-tuples of integers. We develop the $N\to\infty$ version of this correspondence by matching the asymptotics of partial derivatives at the identity of logarithm of characters with Law of Large Numbers and Central Limit Theorem for global behavior of corresponding random $N$-tuples. As one application we study fluctuations of the height function of random domino and lozenge tilings of a rich class of domains. In this direction we prove the Kenyon-Oko…
Consider an infinite random matrix $H=(h_{ij})_{0<i,j}$ picked from the Gaussian Unitary Ensemble (GUE). Denote its main minors by $H_i=(h_{rs})_{1\leq r,s\leq i}$ and let the $j$:th largest eigenvalue of $H_i$ be $μ^i_j$. We show that the configuration of all these eigenvalues $(i,μ_j^i)$ form a determinantal point process on $\mathbb{N}\times\mathbb{R}$. Furthermore we show that this process can be obtained as the scaling limit in random tilings of the Aztec diamond close to the boundary. We also discuss the corresponding limit for random lozenge tilings of a hexagon.
Random tilings of very large domains will typically lead to a solid, a liquid, and a gas phase. In the two-phase case, the solid-liquid boundary (arctic curve) is smooth, possibly with singularities. At the point of tangency of the arctic curve with the domain-boundary, the tiles of a certain shape form for large-size domains a singly interlacing set, fluctuating according to the eigenvalues of the principal minors of a GUE-matrix (Gaussian unitary ensemble). Introducing non-convexities in large domains may lead to the appearance of several interacting liquid regions: they can merely touch, le…
We develop a new toolbox for the analysis of the global behavior of stochastic discrete particle systems. We introduce and study the notion of the Schur generating function of a random discrete configuration. Our main result provides a Central Limit Theorem (CLT) for such a configuration given certain conditions on the Schur generating function. As applications of this approach, we prove CLT's for several probabilistic models coming from asymptotic representation theory and statistical physics, including random lozenge and domino tilings, non-intersecting random walks, decompositions of tensor…
Random tilings of geometrical shapes with dominos or lozenges have been a rich source of universal statistical distributions. This paper deals with domino tilings of checker board rectangular shapes such that the top two and bottom two adjacent squares have the same orientation and the two most left and two most right ones as well. It forces these so-called "skew-Aztec rectangles" to have cuts on either side. For large sizes of the domain and upon an appropriate scaling of the location of the cuts, one finds split tacnodes between liquid regions with two distinct adjacent frozen phases descend…
We study the global fluctuations for a class of determinantal point processes coming from large systems of non-colliding processes and non-intersecting paths. Our main assumption is that the point processes are constructed by biorthogonal families that satisfy finite term recurrence relations. The central observation of the paper is that the fluctuations of multi-time or multi-layer linear statistics can be efficiently expressed in terms of the associated recurrence matrices. As a consequence, we prove that different models which share the same asymptotic behavior of the recurrence matrices, a…
We consider a process of noncolliding $q$-exchangeable random walks on $\mathbb{Z}$ making steps $0$ (straight) and $-1$ (down). A single random walk is called $q$-exchangeable if under an elementary transposition of the neighboring steps (down, straight) $\to$ (straight, down) the probability of the trajectory is multiplied by a parameter $q\in(0,1)$. Our process of $m$ noncolliding $q$-exchangeable random walks is obtained from the independent $q$-exchangeable walks via the Doob's $h$-transform for a certain nonnegative eigenfunction $h$ with the eigenvalue less than $1$. The system of $m$ w…
We consider the $N$-particle noncolliding Bernoulli random walk --- a discrete time Markov process in $\mathbb{Z}^{N}$ obtained from a collection of $N$ independent simple random walks with steps $\in\{0,1\}$ by conditioning that they never collide. We study the asymptotic behavior of local statistics of this process started from an arbitrary initial configuration on short times $T\ll N$ as $N\to+\infty$. We show that if the particle density of the initial configuration is bounded away from $0$ and $1$ down to scales $\mathsf{D}\ll T$ in a neighborhood of size $\mathsf{Q}\gg T$ of some locatio…
