We study the phase transition in the honeycomb dimer model (equivalently, monotone non-intersecting lattice path model). At the critical point the system has a strong long-range dependence; in particular, periodic boundary conditions give rise to a ``resonance'' phenomenon, where the partition function and other properties of the system depend sensitively on the shape of the domain.
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 mode…
We consider pairs of 3-dimensional Brownian paths, started at the origin and conditioned to have no intersections after time zero. We show that there exists a unique measure on pairs of paths that is invariant under this conditioning, while improving the previously known rate of convergence to stationarity.
We compute the bulk limit of the correlation functions for the uniform measure on lozenge tilings of a hexagon. The limiting determinantal process is a translation invariant extension of the discrete sine process, which also describes the ergodic Gibbs measure of an appropriate slope.
The purpose of this article is to develop a theory behind the occurrence of "path-integral" kernels in the study of extended determinantal point processes and non-intersecting line ensembles. Our first result shows how determinants involving such kernels arise naturally in studying ratios of partition functions and expectations of multiplicative functionals for ensembles of non-intersecting paths on weighted graphs. Our second result shows how Fredholm determinants with extended kernels (as arise in the study of extended determinantal point processes such as the Airy_2 process) are equal to Fr…
A system of non-intersecting squared Bessel processes is considered which all start from one point and they all return to another point. Under the scaling of the starting and ending points when the macroscopic boundary of the paths touches the hard edge, a limiting critical process is described in the neighbourhood of the touching point which we call the hard edge tacnode process. We derive its correlation kernel in an explicit new form which involves Airy type functions and operators that act on the direct sum of $L^2(\mathbb R_+)$ and a finite dimensional space. As the starting points of the…
We consider a model of $n$ non-intersecting squared Bessel processes with one starting point $a>0$ at time t=0 and one ending point $b>0$ at time $t=T$. After proper scaling, the paths fill out a region in the $tx$-plane. Depending on the value of the product $ab$ the region may come to the hard edge at 0, or not. We formulate a vector equilibrium problem for this model, which is defined for three measures, with upper constraints on the first and third measures and an external field on the second measure. It is shown that the limiting mean distribution of the paths at time $t$ is given by the …
We consider finite collections of $N$ non-intersecting Brownian paths on the line and on the half-line with both absorbing and reflecting boundary conditions (corresponding to Brownian excursions and reflected Brownian motions) and compute in each case the joint distribution of the maximal height of the top path and the location at which this maximum is attained. The resulting formulas are analogous to the ones obtained in [MFQR13] for the joint distribution of $\mathcal{M}={\rm max}_{x\in\mathbb{R}}\{\mathcal{A}_2(x)-x^2\}$ and $\mathcal{T}={\rm argmax}_{x\in\mathbb{R}}\{\mathcal{A}_2(x)-x^2\…
We study a model of $n$ non-intersecting squared Bessel processes in the confluent case: all paths start at time $t = 0$ at the same positive value $x = a$, remain positive, and are conditioned to end at time $t = T$ at $x = 0$. In the limit $n \to \infty$, after appropriate rescaling, the paths fill out a region in the $tx$-plane that we describe explicitly. In particular, the paths initially stay away from the hard edge at $x = 0$, but at a certain critical time $t^*$ the smallest paths hit the hard edge and from then on are stuck to it. For $t \neq t^*$ we obtain the usual scaling limits fr…
The squared Bessel process is a 1-dimensional diffusion process related to the squared norm of a higher dimensional Brownian motion. We study a model of $n$ non-intersecting squared Bessel paths, with all paths starting at the same point $a>0$ at time $t=0$ and ending at the same point $b>0$ at time $t=1$. Our interest lies in the critical regime $ab=1/4$, for which the paths are tangent to the hard edge at the origin at a critical time $t^*\in (0,1)$. The critical behavior of the paths for $n\to\infty$ is studied in a scaling limit with time $t=t^*+O(n^{-1/3})$ and temperature $T=1+O(n^{-2/3}…
We consider the double scaling limit for a model of $n$ non-intersecting squared Bessel processes in the confluent case: all paths start at time $t=0$ at the same positive value $x=a$, remain positive, and are conditioned to end at time $t=1$ at $x=0$. After appropriate rescaling, the paths fill a region in the $tx$--plane as $n\to \infty$ that intersects the hard edge at $x=0$ at a critical time $t=t^{*}$. In a previous paper (arXiv:0712.1333), the scaling limits for the positions of the paths at time $t\neq t^{*}$ were shown to be the usual scaling limits from random matrix theory. Here, we …
We give a bijective proof of the Aztec diamond theorem, stating that there are $2^{n(n+1)/2}$ domino tilings of the Aztec diamond of order $n$. The proof in fact establishes a similar result for non-intersecting families of $n+1$ Schröder paths, with horizontal, diagonal or vertical steps, linking the grid points of two adjacent sides of an $n\times n$ square grid; these families are well known to be in bijection with tilings of the Aztec diamond. Our bijection is produced by an invertible "combing" algorithm, operating on families of paths without non-intersection condition, but instead with …
We consider n non-intersecting Brownian motion paths with p prescribed starting positions at time t=0 and q prescribed ending positions at time t=1. The positions of the paths at any intermediate time are a determinantal point process, which in the case p=1 is equivalent to the eigenvalue distribution of a random matrix from the Gaussian unitary ensemble with external source. For general p and q, we show that if a temperature parameter is sufficiently small, then the distribution of the Brownian paths is characterized in the large n limit by a vector equilibrium problem with an interaction mat…
We study a model of $n$ one-dimensional non-intersecting Brownian motions with two prescribed starting points at time $t=0$ and two prescribed ending points at time $t=1$ in a critical regime where the paths fill two tangent ellipses in the time-space plane as $n \to \infty$. The limiting mean density for the positions of the Brownian paths at the time of tangency consists of two touching semicircles, possibly of different sizes. We show that in an appropriate double scaling limit, there is a new familiy of limiting determinantal point processes with integrable correlation kernels that are exp…
We study the partition functions associated with non-intersecting polymers in a random environment. By considering paths in series and in parallel, the partition functions carry natural notions of subadditivity, allowing the effective study of their asymptotics. For a certain choice of random environment, the geometric RSK correspondence provides an explicit representation of the partition functions in terms of a stochastic interface. Formally this leads to a variational description of the macroscopic behaviour of the interface and hence the free energy of the associated non-intersecting polym…
We present a generalization of multiple orthogonal polynomials of type I and type II, which we call multiple orthogonal polynomials of mixed type. Some basic properties are formulated, and a Riemann-Hilbert problem for the multiple orthogonal polynomials of mixed type is given. We derive a Christoffel-Darboux formula for these polynomials using the solution of the Riemann-Hilbert problem. The main motivation for studying these polynomials comes from a model of non-intersecting one-dimensional Brownian motions with a given number of starting points and endpoints. The correlation kernel for the …
We show that the squared maximal height of the top path among $N$ non-intersecting Brownian bridges starting and ending at the origin is distributed as the top eigenvalue of a random matrix drawn from the Laguerre Orthogonal Ensemble. This result can be thought of as a discrete version of K. Johansson's result that the supremum of the Airy$_2$ process minus a parabola has the Tracy-Widom GOE distribution, and as such it provides an explanation for how this distribution arises in models belonging to the KPZ universality class with flat initial data. The result can be recast in terms of the prob…
Consider a system of $N$ non-intersecting Brownian bridges in $[0,1]$, and let $\mathcal M_N(p)$ be the maximal height attained by the top path in the interval $[0,p]$, $p\in[0,1]$. It is known that, under a suitable rescaling, the distribution of $\mathcal M_N(p)$ converges, as $N\to\infty$, to a one-parameter family of distributions interpolating between the Tracy-Widom distributions for the Gaussian Orthogonal and Unitary Ensembles (corresponding, respectively, to $p\to1$ and $p\to0$). It is also known that, for fixed $N$, $\mathcal M_N(1)$ is distributed as the top eigenvalue of a random m…
We study $n$ non-intersecting Brownian motions corresponding to initial configurations which have a vanishing density in the large $n$ limit at an interior point of the support. It is understood that the point of vanishing can propagate up to a critical time, and we investigate the nature of the microscopic space-time correlations near the critical point and critical time. We show that they are described either by the Pearcey process or by the Airy line ensemble, depending on whether a simple integral related to the initial configuration vanishes or not. Since the Airy line ensemble typically …
We consider n one-dimensional Brownian motions, such that n/2 Brownian motions start at time t=0 in the starting point a and end at time t=1 in the endpoint b and the other n/2 Brownian motions start at time t=0 at the point -a and end at time t=1 in the point -b, conditioned that the n Brownian paths do not intersect in the whole time interval (0,1). The correlation functions of the positions of the non-intersecting Brownian motions have a determinantal form with a kernel that is expressed in terms of multiple Hermite polynomials of mixed type. We analyze this kernel in the large n limit for …
The Robinson-Schensted (RS) correspondence and its variants naturally give rise to integrable dynamics of non-intersecting particle systems. In previous work, the author exhibited a RS correspondence for geometric crystals by constructing a Littelmann path model, in general Lie type. Since this representation-theoretic map takes as input a continuous path on a Euclidian space, the natural starting measure is the Wiener measure. In this paper, we characterize the measures induced by Brownian motion through the RS map. On the one hand, the highest weight in the output is a remarkable Markov proc…
This paper is a step in the direction of understanding the behavior of non-intersecting Brownian motions on the real line, when the number of particles becomes large. Consider 2k non-intersecting Brownian motions, all starting at the origin, such that the k left paths end up at -a and the k right paths end up at +a at time t=1. The Karlin-McGregor formula enables one to express the transition probability in terms of a matrix model, consisting of Gaussian Hermitian random matrices in a chain with external source. It is shown that the log of the probability for this model satisfies a fourth orde…
We establish an exact mapping between (i) the equilibrium (imaginary time) dynamics of non-interacting fermions trapped in a harmonic potential at temperature $T=1/β$ and (ii) non-intersecting Ornstein-Uhlenbeck (OU) particles constrained to return to their initial positions after time $β$. Exploiting the determinantal structure of the process we compute the universal correlation functions both in the bulk and at the edge of the trapped Fermi gas. The latter corresponds to the top path of the non-intersecting OU particles, and leads us to introduce and study the time-periodic Airy$_2$ process,…
Additive white noise may significantly increase the response of bistable systems to a periodic driving signal. We consider two classes of double-well potentials, symmetric and asymmetric, modulated periodically in time with period $1/\eps$, where $\eps$ is a moderately (not exponentially) small parameter. We show that the response of the system changes drastically when the noise intensity $σ$ crosses a threshold value. Below the threshold, paths are concentrated near one potential well, and have an exponentially small probability to jump to the other well. Above the threshold, transitions betw…