arXiv++ Combinatorics

Last passage percolation (LPP) in an $n\times n$ lower triangular domain has nice connections with various generalizations of Schur measures. LPP along an anti-diagonal, from $(1,n)$ to $(n,1)$, gives a distribution of a highest column of a random composition with respect to a Demazure measure (a non-symmetric analog of a Schur measure). LPP along a main diagonal, from $(1,1)$ to $(n,n)$, is distributed as a marginal of a Pfaffian Schur process. In the first case we show that the asymptotics for the constant specialization is governed by the GOE Tracy-Widom distribution, in the second case - by the GSE Tracy-Widom distribution. In the latter case we were also able to study the truncated lower triangular case, obtaining an interesting generalization of the GSE Tracy-Widom distribution.

We define a measure on tuples of partitions, called the symplectic Schur process, that should be regarded as the right analogue of the Schur process of Okounkov-Reshetikhin for the Cartan type C. The weights of our measure include factors that are universal symplectic characters, as well as a novel family of "Down-Up Schur functions" that we define and for which we prove new identities of Cauchy-Littlewood-type. Our main structural result is that the point process corresponding to the symplectic Schur process is determinantal and we find an explicit correlation kernel. We also present dynamics that preserve the family of symplectic Schur processes and explore an alternative sampling scheme, based on the Berele insertion algorithm, in a special case. Finally, we study the asymptotics of the Berele insertion process and find explicit formulas for the limit shape and fluctuations near the bulk and the edge. One of the limit regimes leads to a new kernel that resembles the symmetric Pearcey kernel.

We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process. Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support. Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.

We study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (arXiv:math/9907127 [math.RT]). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are \emph{not} determinantal point processes. This question is related to the principal minor assignment problem in algebraic geometry, and we employ a determinantal test first obtained by Nanson in 1897 for the $4\times4$ problem. We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size $n\ge4$ which appear new for $n\ge 5$. By placing the Grothendieck measures into a new framework of tilted biorthogonal ensembles generalizing a rich class of determinantal processes introduced by Borodin (arXiv:math/9804027 [math.CA]), we identify Grothendieck random partitions as a cross-section of a Schur process, a determinantal process in two dimensions. This identification expresses the correlation functions of Grothendieck measures through sums of Fredholm determinants, which are not immediately suitable for asymptotic analysis. A more direct approach allows us to obtain a limit shape result for the Grothendieck random partitions. The limit shape curve is not particularly explicit as it arises as a cross-section of the limit shape surface for the Schur process. The gradient of this surface is expressed through the argument of a complex root of a cubic equation.

Rail-yard graphs are a general class of graphs introduced in \cite{bbccr} on which the random dimer coverings form Schur processes. We study asymptotic limits of random dimer coverings on rail yard graphs with free boundary conditions on both the left boundary and the right boundary (double-sided free boundary) when the mesh sizes of the graphs go to 0. Each dimer covering corresponds to a sequence of interlacing partitions starting with an arbitrary partition and ending in an arbitrary partition. Under the assumption that the probability of each dimer covering is proportional to the product of weights of present edges, we obtain the moment formula for the height function which includes an infinite product. By passing down to the scaling limit, we compute the limit shape (law of large numbers) of the rescaled height functions and prove the convergence of unrescaled height fluctuations to a diffeomorphic image of the restriction of the 0-boundary Gaussian free field (central limit theorem) on the upper half plane to a subset. Applications include the limit shape and height fluctuations for free boundary steep tilings as proposed in \cite{BCC17}. The technique to obtain these results is to analyze a class of Macdonald processes with dual specializations, subject to further complexities arising from the infinite product in the moment formula. We also obtain a new algorithm to sample double-sided free boundary dimer coverings on rail-yard graphs, which fulfills an open problem in \cite{bbbccv14}.

We study fluctuations of the current at the boundary for the half space asymmetric simple exclusion process (ASEP) and the height function of the half space six vertex model at the boundary at large times. We establish a phase transition depending on the asymptotic density of particles at the boundary, with GSE and GOE limits as well as the Baik--Rains crossover distribution near the critical point. This was previously known for half space last passage percolation, and recently established for the half space log-gamma polymer and KPZ equation in the groundbreaking work of Imamura, Mucciconi, and Sasamoto. The proof uses the underlying algebraic structure of these models in a crucial way to obtain exact formulas. In particular, we show a relationship between the half space six vertex model and a half space Hall--Littlewood measure with two boundary parameters, which is then matched to a free boundary Schur process via a new identity of symmetric functions. Fredholm Pfaffian formulas are established for the half space ASEP and six vertex model, indicating a hidden free fermionic structure.

Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_λ,G_λ$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures $λ=(λ_1\ge \ldots\ge λ_N)\in \mathbb{Z}^N$ encoding boundary conditions. These symmetric functions generalize Schur symmetric polynomials, as well as some of their variations, such as factorial and supersymmetric Schur polynomials. Cauchy type summation identities for $F_λ,G_λ$ and their skew counterparts follow from the Yang-Baxter equation. Using algebraic Bethe Ansatz, we obtain a double alternant type formula for $F_λ$ and a Sergeev-Pragacz type formula for $G_λ$. In the spirit of the theory of Schur processes, we define probability measures on sequences of signatures with probability weights proportional to products of our symmetric functions. We show that these measures can be viewed as determinantal point processes, and we express their correlation kernels in a double contour integral form. We present two proofs: The first is a direct computation of Eynard-Mehta type, and the second uses non-standard, inhomogeneous versions of fermionic operators in a Fock space coming from the algebraic Bethe Ansatz for the six vertex model. We also interpret our determinantal processes as random domino tilings of a half-strip with inhomogeneous domino weights. In the bulk, we show that the lattice asymptotic behavior of such domino tilings is described by a new determinantal point process on $\mathbb{Z}^{2}$, which can be viewed as an doubly-inhomogeneous generalization of the extended discrete sine process.

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, the fluctuations are given by the same Gaussian free field with an additional discrete Gaussian shift component. Fluctuations of the latter type have been previously conjectured for dimer models on planar domains with holes.

We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula.

We propose periodic Macdonald processes as a $(q,t)$-deformation of periodic Schur processes and a periodic analogue of Macdonald processes. It is known that, in the theory of stochastic processes related to a family of symmetric functions, the Cauchy-like identity gives an explicit expression of a partition function. We compute the partition functions of periodic Macdonald processes relying on the free field realization of the Macdonald theory. We also study several families of observables for periodic Macdonald processes and give formulas of their moments. The technical tool is the free field realization of operators that are diagonalized by the Macdonald symmetric functions, where the operators admit expressions by means of vertex operators. We show that, when we adopt Plancherel specializations, the corresponding periodic Macdonald process is related to a Young diagram-valued periodic continuous process. It is known that, for periodic Schur processes, determinantal formulas are only available when we extend them to take into account the charge. We also consider this kind of shift-mixed periodic Macdonald processes and discuss their Schur-limit.

This habilitation thesis summarizes the research that I have carried out from 2005 to 2019. It is organized in four chapters. The first three deal with random planar maps. Chapter 1 is about their metric properties: from a general map-mobile bijection, we compute the three-point function of quadrangulations, before discussing the connection with continued fractions. Chapter 2 presents the slice decomposition, a unified bijective approach that applies notably to irreducible maps. Chapter 3 concerns the $O(n)$ loop model on planar maps: by a combinatorial decomposition, we obtain the phase diagram before studying loop nesting statistics. Chapter 4 deals with random partitions and Schur processes, from steep domino tilings to fermionic systems.

We consider the PushTASEP (pushing totally asymmetric simple exclusion process, also sometimes called long-range TASEP) with the step initial configuration evolving in an inhomogeneous space. That is, the rate of each particle's jump depends on the location of this particle. We match the distribution of the height function of this PushTASEP with Schur processes. Using this matching and determinantal structure of Schur processes, we obtain limit shape and fluctuation results which are typical for stochastic particle systems in the Kardar-Parisi-Zhang universality class. PushTASEP is a close relative of the usual TASEP. In inhomogeneous space the former is integrable, while the integrability of the latter is not known.

We obtain a new relation between the distributions $μ_t$ at different times $t\ge 0$ of the continuous-time TASEP (Totally Asymmetric Simple Exclusion Process) started from the step initial configuration. Namely, we present a continuous-time Markov process with local interactions and particle-dependent rates which maps the TASEP distributions $μ_t$ backwards in time. Under the backwards process, particles jump to the left, and the dynamics can be viewed as a version of the discrete-space Hammersley process. Combined with the forward TASEP evolution, this leads to a stationary Markov dynamics preserving $μ_t$ which in turn brings new identities for expectations with respect to $μ_t$. The construction of the backwards dynamics is based on Markov maps interchanging parameters of Schur processes, and is motivated by bijectivizations of the Yang-Baxter equation. We also present a number of corollaries, extensions, and open questions arising from our constructions.

We revisit the periodic Schur process introduced by Borodin in 2007. Our contribution is threefold. First, we provide a new simpler derivation of its correlation functions via the free fermion formalism. In particular, we shall see that the process becomes determinantal by passing to the grand canonical ensemble, which gives a physical explanation to Borodin's "shift-mixing" trick. Second, we consider the edge scaling limit in the simplest nontrivial case, corresponding to a deformation of the poissonized Plancherel measure on partitions. We show that the edge behavior is described, in a certain crossover regime different from that for the bulk, by the universal finite-temperature Airy kernel, which was previously encountered by Johansson and Le Doussal et al. in other models, and whose extreme value statistics interpolates between the Tracy-Widom GUE and the Gumbel distributions. We also define and prove convergence for a stationary extension of our model. Finally, we compute the correlation functions for a variant of the periodic Schur process involving strict partitions, Schur's P and Q functions, and neutral fermions.

We consider a random process with discrete time formed by singular values of products of truncations of Haar distributed unitary matrices. We show that this process can be understood as a scaling limit of the Schur process, which gives determinantal formulas for (dynamical) correlation functions and a contour integral representation for the correlation kernel. The relation with the Schur processes implies that the continuous limit of marginals for q-distributed plane partitions coincides with the joint law of singular values for products of truncations of Haar-distributed random unitary matrices. We provide structural reasons for this coincidence that may also extend to other classes of random matrices.

Employing bijectivisation of summation identities, we introduce local stochastic moves based on the Yang-Baxter equation for $U_q(\widehat{\mathfrak{sl}_2})$. Combining these moves leads to a new object which we call the spin Hall-Littlewood Yang-Baxter field - a probability distribution on two-dimensional arrays of particle configurations on the discrete line. We identify joint distributions along down-right paths in the Yang-Baxter field with spin Hall-Littlewood processes, a generalization of Schur processes. We consider various degenerations of the Yang-Baxter field leading to new dynamic versions of the stochastic six vertex model and of the Asymmetric Simple Exclusion Process.

Plane partitions have been widely studied in Mathematics since MacMahon. See, for example, the works by Andrews, Macdonald, Stanley, Sagan and Krattenthaler. The Schur process approach, introduced by Okounkov and Reshetikhin, and further developed by Borodin, Corwin, Corteel, Savelief and Vuletić, has been proved to be a powerful tool in the study of various kinds of plane partitions. The exact enumerations of ordinary plane partitions, shifted plane partitions and cylindric partitions could be derived from two summation formulas for Schur processes, namely, the open summation formula and the cylindric summation formula. In this paper, we establish a new summation formula for Schur processes, called the complete summation formula. As an application, we obtain the generating function and the asymptotic formula for the number of doubled shifted plane partitions, which can be viewed as plane partitions `shifted at the two sides'. We prove that the order of the asymptotic formula depends only on the diagonal width of the doubled shifted plane partition, not on the profile (the skew zone) itself. By using the same methods, the generating function and the asymptotic formula for the number of symmetric cylindric partitions are also derived.

We study the correlation functions of the Pfaffian Schur process. Borodin and Rains [J. Stat. Phys. 121 (2005), 291-317] introduced the Pfaffian Schur process and derived its correlation functions using a Pfaffian analogue of the Eynard-Mehta theorem. We present here an alternative derivation of the correlation functions using Macdonald difference operators.

We investigate the free boundary Schur process, a variant of the Schur process introduced by Okounkov and Reshetikhin, where we allow the first and the last partitions to be arbitrary (instead of empty in the original setting). The pfaffian Schur process, previously studied by several authors, is recovered when just one of the boundary partitions is left free. We compute the correlation functions of the process in all generality via the free fermion formalism, which we extend with the thorough treatment of "free boundary states". For the case of one free boundary, our approach yields a new proof that the process is pfaffian. For the case of two free boundaries, we find that the process is not pfaffian, but a closely related process is. We also study three different applications of the Schur process with one free boundary: fluctuations of symmetrized last passage percolation models, limit shapes and processes for symmetric plane partitions, and for plane overpartitions.

We consider the asymmetric simple exclusion process (ASEP) on the positive integers with an open boundary condition. We show that, when starting devoid of particles and for a certain boundary condition, the height function at the origin fluctuates asymptotically (in large time $τ$) according to the Tracy-Widom GOE distribution on the $τ^{1/3}$ scale. This is the first example of KPZ asymptotics for a half-space system outside the class of free-fermionic/determinantal/Pfaffian models. Our main tool in this analysis is a new class of probability measures on Young diagrams that we call half-space Macdonald processes, as well as two surprising relations. The first relates a special (Hall-Littlewood) case of these measures to the half-space stochastic six-vertex model (which further limits to ASEP) using a Yang-Baxter graphical argument. The second relates certain averages under these measures to their half-space (or Pfaffian) Schur process analogs via a refined Littlewood identity.