arXiv++ Combinatorics

We explain the relation between certain random tiling models and interacting particle systems belonging to the anisotropic KPZ (Kardar-Parisi-Zhang) universality class in 2+1-dimensions. The link between these two \emph{a priori} disjoint sets of models is a consequence of the presence of shuffling algorithms that generate random tilings under consideration. To see the precise connection, we represent both a random tiling and the corresponding particle system through a set of non-intersecting lines, whose dynamics is induced by the shuffling algorithm or the particle dynamics. The resulting class of measures on line ensembles also fits into the framework of the Schur processes.

This paper is about a family of symmetric rational functions that form a one-parameter generalization of the classical Hall-Littlewood polynomials. We introduce two sets of (skew and non-skew) functions that are akin to P and Q Hall-Littlewood polynomials. We establish (a) a combinatorial formula that represents our functions as partition functions for certain path ensembles in the square grid; (b) symmetrization formulas for non-skew functions; (c) identities of Cauchy and Pieri type; (d) explicit formulas for principal specializations; (e) two types of orthogonality relations for non-skew functions. Our construction is closely related to the half-infinite volume, finite magnon sector limit of the higher spin six-vertex (or XXZ) model, with both sets of functions representing higher spin six-vertex partition functions and/or transfer-matrices for certain domains.

These are lecture notes for a mini-course given at the Cornell Probability Summer School in July 2013. Topics include lozenge tilings of polygons and their representation theoretic interpretation, the (q,t)-deformation of those leading to the Macdonald processes, nearest neighbor dynamics on Macdonald processes, their limit to semi-discrete Brownian polymers, and large time asymptotic analysis of polymer's partition function.

We present a framework for computing averages of various observables of Macdonald processes. This leads to new contour--integral formulas for averages of a large class of multilevel observables, as well as Fredholm determinants for averages of two different single level observables.

Macdonald processes are certain probability measures on two-dimensional arrays of interlacing particles introduced by Borodin and Corwin (arXiv:1111.4408 [math.PR]). They are defined in terms of nonnegative specializations of the Macdonald symmetric functions and depend on two parameters (q,t), where 0<= q, t < 1. Our main result is a classification of continuous time, nearest neighbor Markov dynamics on the space of interlacing arrays that act nicely on Macdonald processes. The classification unites known examples of such dynamics and also yields many new ones. When t = 0, one dynamics leads to a new integrable interacting particle system on the one-dimensional lattice, which is a q-deformation of the PushTASEP (= long-range TASEP). When q = t, the Macdonald processes become the Schur processes of Okounkov and Reshetikhin (arXiv:math/0107056 [math.CO]). In this degeneration, we discover new Robinson--Schensted-type correspondences between words and pairs of Young tableaux that govern some of our dynamics.

These are lecture notes for a mini-course given at the St. Petersburg School in Probability and Statistical Physics in June 2012. Topics include integrable models of random growth, determinantal point processes, Schur processes and Markov dynamics on them, Macdonald processes and their application to asymptotics of directed polymers in random media.

Macdonald processes are probability measures on sequences of partitions defined in terms of nonnegative specializations of the Macdonald symmetric functions and two Macdonald parameters q,t in [0,1). We prove several results about these processes, which include the following. (1) We explicitly evaluate expectations of a rich family of observables for these processes. (2) In the case t=0, we find a Fredholm determinant formula for a q-Laplace transform of the distribution of the last part of the Macdonald-random partition. (3) We introduce Markov dynamics that preserve the class of Macdonald processes and lead to new "integrable" 2d and 1d interacting particle systems. (4) In a large time limit transition, and as q goes to 1, the particles of these systems crystallize on a lattice, and fluctuations around the lattice converge to O'Connell's Whittaker process that describe semi-discrete Brownian directed polymers. (5) This yields a Fredholm determinant for the Laplace transform of the polymer partition function, and taking its asymptotics we prove KPZ universality for the polymer (free energy fluctuation exponent 1/3 and Tracy-Widom GUE limit law). (6) Under intermediate disorder scaling, we recover the Laplace transform of the solution of the KPZ equation with narrow wedge initial data. (7) We provide contour integral formulas for a wide array of polymer moments. (8) This results in a new ansatz for solving quantum many body systems such as the delta Bose gas.

The classification results for the extreme characters of two basic "big" groups, the infinite symmetric group S(infinity) and the infinite-dimensional unitary group U(infinity), are remarkably similar. It does not seem to be possible to explain this phenomenon using a suitable extension of the Schur-Weyl duality to infinite dimension. We suggest an explanation of a different nature that does not have analogs in the classical representation theory. We start from the combinatorial/probabilistic approach to characters of "big" groups initiated by Vershik and Kerov. In this approach, the space of extreme characters is viewed as a boundary of a certain infinite graph. In the cases of S(infinity) and U(infinity), those are the Young graph and the Gelfand-Tsetlin graph, respectively. We introduce a new related object that we call the Young bouquet. It is a poset with continuous grading whose boundary we define and compute. We show that this boundary is a cone over the boundary of the Young graph, and at the same time it is also a degeneration of the boundary of the Gelfand-Tsetlin graph. The Young bouquet has an application to constructing infinite-dimensional Markov processes with determinantal correlation functions.

The Gelfand-Tsetlin graph is an infinite graded graph that encodes branching of irreducible characters of the unitary groups. The boundary of the Gelfand-Tsetlin graph has at least three incarnations --- as a discrete potential theory boundary, as the set of finite indecomposable characters of the infinite-dimensional unitary group, and as the set of doubly infinite totally positive sequences. An old deep result due to Albert Edrei and Dan Voiculescu provides an explicit description of the boundary; it can be realized as a region in an infinite-dimensional coordinate space. The paper contains a novel approach to the Edrei-Voiculescu theorem. It is based on a new explicit formula for the number of semi-standard Young tableaux of a given skew shape (or of Gelfand-Tsetlin schemes of trapezoidal shape). The formula is obtained via the theory of symmetric functions, and new Schur-like symmetric functions play a key role in the derivation.

We construct discrete time Markov chains that preserve the class of Schur processes on partitions and signatures. One application is a simple exact sampling algorithm for q^{volume}-distributed skew plane partitions with an arbitrary back wall. Another application is a construction of Markov chains on infinite Gelfand-Tsetlin schemes that represent deterministic flows on the space of extreme characters of the infinite-dimensional unitary group.

We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types of results. First, we construct explicit Markov chains that preserve these distributions. In particular, this leads to a relatively simple exact sampling algorithm. Second, we consider a limit when all dimensions of the box grow and plane partitions become large, and prove that the local correlations converge to those of ergodic translation invariant Gibbs measures. For fixed proportions of the box, the slopes of the limiting Gibbs measures (that can also be viewed as slopes of tangent planes to the hypothetical limit shape) are encoded by a single quadratic polynomial.

Adding a column of numbers produces "carries" along the way. We show that random digits produce a pattern of carries with a neat probabilistic description: the carries form a one-dependent determinantal point process. This makes it easy to answer natural questions: How many carries are typical? Where are they located? We show that many further examples, from combinatorics, algebra and group theory, have essentially the same neat formulae, and that any one-dependent point process on the integers is determinantal. The examples give a gentle introduction to the emerging fields of one-dependent and determinantal point processes.

We introduce discrete time Markov chains that preserve uniform measures on boxed plane partitions. Elementary Markov steps change the size of the box from (a x b x c) to ((a-1) x (b+1) x c) or ((a+1) x (b-1) x c). Algorithmic realization of each step involves O((a+b)c) operations. One application is an efficient perfect random sampling algorithm for uniformly distributed boxed plane partitions. Trajectories of our Markov chains can be viewed as random point configurations in the three-dimensional lattice. We compute the bulk limits of the correlation functions of the resulting random point process on suitable two-dimensional sections. The limiting correlation functions define a two-dimensional determinantal point processes with certain Gibbs properties.

We study a two-dimensional family of probability measures on infinite Gelfand-Tsetlin schemes induced by a distinguished family of extreme characters of the infinite-dimensional unitary group. These measures are unitary group analogs of the well-known Plancherel measures for symmetric groups. We show that any measure from our family defines a determinantal point process, and we prove that in appropriate scaling limits, such processes converge to two different extensions of the discrete sine process as well as to the extended Airy and Pearcey processes.

Periodic Schur process is a generalization of the Schur process introduced in math.CO/0107056. We compute its correlation functions and their bulk scaling limits, and discuss several applications including asymptotic analysis of uniform measures on cylindric partitions, time-dependent extensions of the discrete sine kernel, and bulk limit behavior of certain measures on partitions introduced in hep-th/0306238 in connection with supersymmetric gauge theories.

We prove a conjecture of H.Widom stated in [W] (math/0108008) about the reality of eigenvalues of certain infinite matrices arising in asymptotic analysis of large Toeplitz determinants. As a byproduct we obtain a new proof of A.Okounkov's formula for the (determinantal) correlation functions of the Schur measures on partitions.

We study certain probability measures on partitions of n=1,2,..., originated in representation theory, and demonstrate their connections with random matrix theory and multivariate hypergeometric functions. Our measures depend on three parameters including an analog of the beta parameter in random matrix models. Under an appropriate limit transition as n goes to infinity, our measures converge to certain limit measures, which are of the same nature as one-dimensional log-gas with arbitrary beta>0. The first main result says that averages of products of ``characteristic polynomials'' with respect to the limit measures are given by the multivariate hypergeometric functions of type (2,0). The second main result is a computation of the limit correlation functions for the even values of beta.

Our interest is in the cumulative probabilities Pr(L(t) \le l) for the maximum length of increasing subsequences in Poissonized ensembles of random permutations, random fixed point free involutions and reversed random fixed point free involutions. It is shown that these probabilities are equal to the hard edge gap probability for matrix ensembles with unitary, orthogonal and symplectic symmetry respectively. The gap probabilities can be written as a sum over correlations for certain determinantal point processes. From these expressions a proof can be given that the limiting form of Pr(L(t) \le l) in the three cases is equal to the soft edge gap probability for matrix ensembles with unitary, orthogonal and symplectic symmetry respectively, thereby reclaiming theorems due to Baik-Deift-Johansson and Baik-Rains.

We prove that Fredholm determinants of the form det(1-K_s), where K_s is the restriction of either the discrete Bessel kernel or the discrete {}_2F_1 kernel to {s,s+1,...}, can be expressed through solutions of discrete Painleve II and V equations, respectively. These Fredholm determinants can also be viewed as distribution functions of the first part of the random partitions distributed according to a poissonized Plancherel measure and a z-measure, or as normalized Toeplitz determinants with symbols exp(η(u+1/u)) and (1+u)^z(1+ξ/u)^{z'}. The proofs are based on a general formalism involving discrete integrable operators and discrete Riemann-Hilbert problem. A continuous version of the formalism has been worked out in math-ph/0111007.

We show how the Riemann-Hilbert problem can be used to compute correlation kernels for determinantal point processes arising in different models of asymptotic combinatorics and representation theory. The Whittaker kernel and the discrete Bessel kernel are computed as examples.