Abstract
We consider two directed polymer models in the Kardar–Parisi–Zhang (KPZ) universality class: the O’Connell–Yor semi-discrete directed polymer with boundary sources and the continuum directed random polymer with (m, n)-spiked boundary perturbations. The free energy of the continuum polymer is the Hopf–Cole solution of the KPZ equation with the corresponding (m, n)-spiked initial condition. This new initial condition is constructed using two semi-discrete polymer models with independent bulk randomness and coupled boundary sources. We prove that the limiting fluctuations of the free energies rescaled by the 1 / 3rd power of time in both polymer models converge to the Borodin–Péché-type deformations of the GUE Tracy–Widom distribution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Kardar–Parisi–Zhang (KPZ) equation was introduced for the description of physical surface growth phenomena in [14]. The equation gives the stochastic evolution of the height function \(\mathcal {F}(T,X)\) where \(T \in \mathbb {R}_{+}\) is the time and \(X\in \mathbb {R}\) is the space variable. It reads as
where \(\xi \) denotes space-time Gaussian white noise with \(\mathbb {E}\left[ \xi (T,X)\xi (S,Y) \right] = \delta (T-S)\delta (X-Y)\). By the presence of the nonlinear term, the equation is not rigorously well-posed and serious work is required to make sense of the solution directly [12]. A natural way to give a solution to the equation formally is via the stochastic heat equation (SHE) with multiplicative noise
The latter equation is well-posed, and \(\mathcal {F}(T,X)=\ln {\mathcal {Z}}(T,X)\) with initial condition \(\mathcal {F}(0,X)=\ln \mathcal {Z}(0,X)\) defines a formal solution to (1.1) which is the Hopf–Cole solution of the KPZ equation. See [8] for a review on the KPZ equation and its universality class which is the family of models with the same scaling and asymptotic behaviour as the solution of the KPZ equation.
The Hopf–Cole solution of the KPZ equation can be understood as the partition function of a directed polymer model by the Feynman–Kac representation
where the expectation \(\mathbb {E}\) is taken over the law of a Brownian motion B which is running backwards from time T and position X and where \(: \exp :\) is the Wick exponential. The representation (1.3) defines the partition function of the continuum directed random polymer (CDRP) as it is the total weight of Brownian paths where the weight is proportional to the exponential function of the integral of the disorder along the path. The logarithm of the partition function \(\mathcal {F}(T,X)=\ln \mathcal {Z}(T,X)\) is called the free energy of the CDRP.
The present paper describes limiting fluctuations in two directed polymer models. Directed polymers are well-studied objects in the KPZ universality class of models in the recent mathematics and physics literature. The reason for the special interest is that certain models possess exact solvable properties, i.e. explicit formulas can be derived for some of their important observables. The first directed polymer model with exact solvability is the O’Connell–Yor semi-discrete polymer [17, 19]. Exactly, solvable polymers on the square lattice are the log-gamma polymer [9, 20, 21], the strict-weak polymer [10, 18], the beta polymer [3] and the inverse beta polymer [22]. Methods to obtain exact solvability include explicit stationary measure, Bethe Ansatz integrability and the (geometric) Robinson–Schensted–Knuth (RSK) correspondence.
In [5], the O’Connell–Yor model was considered with boundary perturbations. The large time limit of the free energy was proved to be the Baik–Ben Arous–Péché (BBP) distribution [2] which is the perturbed version of the GUE Tracy–Widom distribution. A similar limit distribution was obtained for the CDRP with m-spiked boundary perturbation in [5].
The results of the present paper generalize those of [5] in the following sense. We investigate the large scale behaviour of the free energy of two directed polymer models. The first model is the O’Connell–Yor semi-discrete random polymer with log-gamma boundary sources [6] which is the mixture of the O’Connell–Yor semi-discrete polymer with boundary perturbations considered in [5] and the log-gamma discrete directed polymer. Explicit Fredholm determinant expressions are available in [6] for the Laplace transform of the partition function of the polymer mixture model. Based on these formulas, we obtain the single time version of the Borodin–Péché distribution as the limit distribution of the free energy. The Borodin–Péché distribution which is a generalization of the BBP distribution was first described in its multi-time version in last passage percolation with defective rows and columns and in a single time version in a random matrix model in [7].
A closely related model is the stationary O’Connell–Yor polymer model which was considered in [13] as the limit of the O’Connell–Yor semi-discrete polymer model with log-gamma boundary sources. It was proved in [13] that the large time limit of the stationary model is the Baik–Rains distribution and the solution of the stationary KPZ equation was obtained as the scaling limit of the stationary O’Connell–Yor polymer.
The second model considered in the present paper is the CDRP which can be obtained as the limit of the O’Connell–Yor semi-discrete polymer under the intermediate disorder scaling [11, 16]. Extending the investigations of the CDRP with m-spiked boundary perturbation in [5], we introduce the (m, n)-spiked boundary perturbation. The m-spiked boundary perturbation is nonzero for the positive values of the space variable, and the (m, n)-spiked boundary perturbation can be seen as its two-sided version with the appropriate coupling of the two sides. We prove Borodin–Péché limit distribution for the free energy of the CDRP with (m, n)-spiked boundary perturbation based on explicit Fredholm determinant formulas from [6].
The rest of the paper is organized as follows. We introduce the O’Connell–Yor semi-discrete directed random polymer with log-gamma boundary sources and the CDRP with (m, n)-spiked boundary perturbation in Sect. 2. Our main results, Theorem 2.3 and Theorem 2.5 are also stated in this section. We prove Theorem 2.3 in Sect. 3 and Theorem 2.5 in Sect. 4.
2 Models and Main Results
We present the two models considered in this paper: the O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources and the continuum directed random polymer (CDRP) with (m, n)-spiked boundary perturbation. These models were defined in [6], but the (m, n)-spiked boundary perturbation is new. We consider a slightly different scaling of the boundary perturbations as in [6] yielding our main results which are stated in this section.
2.1 O’Connell–Yor Semi-discrete Directed Polymer with Log-Gamma Boundary Sources
The O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources is the mixture of the semi-discrete polymer model introduced by O’Connell and Yor [19] and the discrete one by Seppäläinen [20]. By log-gamma distribution with parameter \(\theta >0\), we mean the distribution of the random variable \(-\ln X\) where X has gamma distribution with parameter \(\theta \), i.e. when X has density \(x^{\theta -1}e^{-x}/\Gamma (\theta )\) for \(x>0\).
Fix \(N\ge 1\) and \(n\ge 0\). Let \(a=(a_1,\ldots ,a_N)\in \mathbb {R}^N\) and \(\alpha = (\alpha _1,\ldots ,\alpha _n)\in \mathbb {R}_+^n\) be such that \(\alpha _k-a_l>0\) for all \(1\le l\le N\) and \(1\le k\le n\). In the polymer model that we introduce, the horizontal axis is discrete on the left of 0 and continuous on the right of 0 while the vertical axis is discrete. For all \(1\le k\le n\) and \(1\le l\le N\), let \(\omega _{-k,l}\) be independent log-gamma random variables with parameter \(\alpha _k-a_l\). For all \(1\le l\le N\), let \(B_l\) be independent Brownian motions with drift \(a_l\) which are also independent of the log-gamma variables. The \(\omega _{-k,l}\) can be thought of as sitting at the lattice points \((-k,l)\), while \(B_l\) can be thought of as sitting along the horizontal ray from (0, l) as shown on Fig. 1.
Admissible paths consist of discrete and semi-discrete parts. A discrete upright path \(\phi ^d:(i_1,j_1)\nearrow (i_{\ell },j_{\ell })\) is an ordered set of points \(((i_1,j_1),(i_2,j_2),\ldots , (i_{\ell },j_{\ell }))\) with each \((i_k,j_k)\in \mathbb {Z}^2\) and each increment \((i_k,j_k) -(i_{k-1},j_{k-1})\) either (1, 0) or (0, 1). A semi-discrete upright path \(\phi ^{sd}:(0,l)\nearrow (\tau ,N)\) is a union of horizontal line segments \(((0,l)\rightarrow (s_l,l))\cup ((s_l,l+1)\rightarrow (s_{l+1},l+1))\cup \cdots \cup ((s_{N-1},N)\rightarrow (\tau ,N))\) where \(0\le s_l<s_{l+1}<\cdots <s_{N-1}\le \tau \). It is convenient to think of \(\phi ^{sd}\) as a surjective non-decreasing function from \([0,\tau ]\) onto \(\{l,\dots , N\}\). Our upright paths \(\phi \) in the mixture model are composed of discrete portions \(\phi ^d\) adjoined to semi-discrete portions \(\phi ^{sd}\) in such a way that for some \(1\le l\le N\), \(\phi ^d:(-n,1)\nearrow (-1,l)\) and \(\phi ^{sd}:(0,l)\nearrow (\tau ,N)\).
To an upright path described above, we associate an energy
which aggregates the randomness along the path, and hence, itself is random depending on \(\omega _{i,j}\) and \(B_1,\dots ,B_N\). The polymer measure on a path \(\phi \) is proportional to its Boltzmann weight given by \(e^{E(\phi )}\). The normalizing constant or polymer partition function for the O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources is the integral of the Boltzmann weight over the background measure on the path space \(\phi \), i.e.
where \(\mathrm d\phi ^{sd}\) represents the Lebesgue measure on the simplex \(0\le s_k<s_{k+1}<\dots <s_{N-1}\le \tau \) with which \(\phi ^{sd}\) is identified. The free energy of the O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources is given by
The distribution of the partition function \(\mathbf {Z}^{a,\alpha }(\tau ,N)\) of the O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources is characterized in [6] as follows.
Theorem 2.1
[6, Theorem 2.1] Fix \(N\ge 9\), \(n\ge 0\) and \(\tau > 0\). Let \(a=(a_1,\ldots ,a_N)\in \mathbb {R}^N\) and \(\alpha = (\alpha _1,\ldots ,\alpha _n)\in \mathbb {R}_+^n\) be such that \(\alpha _k-a_l>0\) for all \(1\le l\le N\) and \(1\le k\le n\). For \(1\le k\le n\) and \(1\le l\le N\) let \(\omega _{-k,l}\) be independent log-gamma random variables with parameter \(\alpha _k-a_l\) and for all \(1\le l\le N\) let \(B_l\) be independent Brownian motions with drift \(a_l\). Then, for all \(u\in {\mathbb {C}}\) with positive real part
where the operator \(\mathrm {K}_{u}\) is defined in terms of its integral kernel
The contours \(\mathcal {C}_{a;\alpha ;\varphi }\) and \(\mathcal {D}_{v}\) are given in Definition 2.2 below where \(\varphi \in (0,\pi /4)\) is arbitrary.
Definition 2.2
Let \(a=(a_1,\ldots ,a_N)\in \mathbb {R}^N\) and \(\alpha = (\alpha _1,\ldots ,\alpha _n)\in \mathbb {R}_+^n\) be such that \(\alpha _k-a_l>0\) for all \(1\le l\le N\) and \(1\le k\le n\). Set \(\mu =\tfrac{1}{2}\max (a)+\tfrac{1}{2}\min (\alpha )\) and \(\eta = \tfrac{1}{4}\max (a)+\tfrac{3}{4}\min (\alpha )\). Then, for all \(\varphi \in (0,\pi /4)\), we define the contour \(\mathcal {C}_{a;\alpha ;\varphi }=\{\mu +e^{\mathrm{i}(\pi +\varphi )}y\}_{y\in \mathbb {R}_{+}}\cup \{\mu +e^{\mathrm{i}(\pi -\varphi )}y\}_{y\in \mathbb {R}_{+}}\). The contour is oriented so as to have increasing imaginary part. For every \(v\in \mathcal {C}_{a;\alpha ;\varphi }\), we choose \(R=-{\text {Re}}(v)+\eta \), \(d>0\), and define a contour \(\mathcal {D}_{v}\) as follows. \(\mathcal {D}_{v}\) goes by straight lines from \(R-\mathrm{i}\infty \), to \(R-\mathrm{i}d\), to \(1/2-\mathrm{i}d\), to \(1/2+\mathrm{i}d\), to \(R+\mathrm{i}d\), to \(R+\mathrm{i}\infty \). The parameter d is taken small enough so that \(v+\mathcal {D}_{v}\) does not intersect \(\mathcal {C}_{a;\alpha ;\varphi }\). See Fig. 2 for an illustration.
Our contribution on the O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources is that we prove a Borodin–Péché scaling limit of its free energy. To define the limiting distribution, fix two integers m and n. Let \(b=(b_1,\ldots ,b_m)\in \mathbb {R}^m\) and \(\beta =(\beta _1,\ldots ,\beta _n)\in \mathbb {R}^n\) be two sets of parameters and assume that
which is a natural constraint, since otherwise the corresponding polymer models are not well defined, see Theorems 2.3 and 2.5 for the parameter scaling.
The Borodin–Péché distribution with parameters b and \(\beta \) [7] is defined as
with the kernel
where the integration contours \(\gamma \) and \(\Gamma \) are given as follows. Let \(c>0\) be arbitrary. Then, \(\gamma \) is \(-c+\mathrm{i}\mathbb {R}\) modified in a neighbourhood of the real axis so that it crosses the axis between \(\max _{1\le l\le m}b_l\) and \(\min _{1\le k\le n}\beta _k\). The contour \(\Gamma \) is \(c+\mathrm{i}\mathbb {R}\) modified in a neighbourhood of the real axis so that it crosses the real axis between \(\max _{1\le l\le m}b_l\) and \(\min _{1\le k\le n}\beta _k\), and it does not intersect \(\gamma \). We mention that for \(n=0\), the Borodin–Péché distribution reduces to the BBP distribution and for \(n=m=0\) to the GUE Tracy–Widom distribution.
To state our main theorem on the scaling limit of the O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources, we will use the following parametrization. Let \(\Psi (z) = \frac{d}{dz}\ln \Gamma (z)\) be the digamma function. For a given \(\theta \in \mathbb {R}_{+}\), define
We may alternatively parameterize \(\theta \in \mathbb {R}_{+}\) in terms of \(\kappa \in \mathbb {R}_{+}\) as
Theorem 2.3
Consider the O’Connell–Yor semi-discrete directed random polymer with log-gamma boundary sources of the following parameters. Let \(a = (a_1, a_2, \dots ,a_m, 0, \dots 0)\in \mathbb {R}^N\) with \(m \le N\) and \(\alpha = (\alpha _1,\alpha _2,\dots ,\alpha _n)\in \mathbb {R}^n\) where \(a_1,a_2,\dots a_m\) may depend on N and \(\alpha _k > \max _{1\le l \le m}a_l\) for \(1\le k \le n\). Let \(\kappa >0\) be arbitrary. Assume furthermore that there are real parameters \(b=(b_1,\dots , b_m)\) and \(\beta = (\beta _1, \dots \beta _n)\) satisfying (2.6) such that for any \(1\le l\le m\) and \(1\le k\le n\),
Then,
holds where \(\mathbf {F}^{a,\alpha }\) is the free energy of the O’Connell–Yor semi-discrete directed random polymer given in (2.3) and \(F_{\mathrm {BP},b,\beta }\) is the Borodin–Péché distribution function defined in (2.7).
2.2 Continuum Directed Random Polymer (CDRP) with (m, n)-Spiked Boundary Perturbation
The partition function \(\mathcal {Z}(T,X)\) of the continuum directed random polymer with boundary perturbation \(\mathcal {Z}_0(X)\) is given by the solution to the stochastic heat equation with multiplicative noise (1.2) with initial condition \(\mathcal {Z}_0(X)\). The initial data \(\mathcal {Z}_0(X)\) may be random, but it is assumed to be independent of the space-time white noise.
By the Feynman–Kac representation (1.3), \(\mathcal {Z}(T,X)\) is indeed a partition function of a directed polymer model, since Brownian paths are reweighted in a way that the weight of a path is proportional to the Wick exponential of the randomness integrated along the path. The normalizing constant which is the partition function \(\mathcal {Z}(T,X)\) is the integral of weights over the space of all possible paths. Note that \(\mathcal {Z}(T,X)\) itself is random as the randomness of the space-time white noise remains in the formula (1.3).
By the work of Mueller [15], as long as \(\mathcal {Z}_0(X)\) is almost surely positive, \(\mathcal {Z}(T,X)\) is positive for all \(T > 0\) and \(X\in \mathbb {R}\) almost surely. Hence, we can take its logarithm and define the free energy for the continuum directed random polymer with boundary perturbation \(\ln \mathcal {Z}_0(X)\) by \(\mathcal {F}(T,X)=\ln (\mathcal {Z}(T,X))\) to be the Hopf–Cole solution of the KPZ equation (1.1) with initial condition \(\mathcal {F}_0(X)=\ln \mathcal {Z}_0(X)\).
Let us now introduce the CDRP with (m, n)-spiked boundary perturbation, and let us construct the corresponding (m, n)-spiked initial condition for the stochastic heat equation. For fixed integers m and n, let \(b=(b_1,\ldots ,b_m)\in \mathbb {R}^m\) and \(\beta =(\beta _1,\ldots ,\beta _n)\in \mathbb {R}^n\) be such that (2.6) holds. Let \(B_1,B_2,\dots ,B_m\) be independent Brownian motions with drifts \(b_1,b_2,\dots ,b_m\), and let \(\widetilde{B}_1,{\widetilde{B}}_2,\dots ,{\widetilde{B}}_n\) be independent Brownian motions with drifts \(\beta _1,\beta _2,\dots ,\beta _n\). Furthermore, let \(\omega _{-k,l}\) be independent log-gamma random variables with parameter \(\beta _k-b_l\) for \(1\le l\le m\) and \(1\le k\le n\). Assume that the two families of Brownian motions and the log-gamma random variables are independent of each other. For \(X\ge 0\), let the semi-discrete partition function \(\mathbf {Z}^{b,\beta }(X,m)\) be constructed as in (2.2) using the Brownian motions \(B_1,B_2,\dots ,B_m\) and the log-gamma random variables.
Similarly, we construct another semi-discrete partition function which is coupled to the previous one. Let the possible paths \({\widetilde{\phi }}\) be composed of a discrete upright part \({\widetilde{\phi }}^d:(-n,1)\nearrow (k-n-1,m)\) and of a semi-discrete part \({\widetilde{\phi }}^{sd}\). For \({\widetilde{X}}\ge 0\), let the semi-discrete part \({\widetilde{\phi }}^{sd}:(k-n-1,m)\nearrow (-1,{\widetilde{X}})\) be a union of vertical line segments \(((k-n-1,m)\rightarrow (k-n-1,s_k))\cup ((k-n,s_k)\rightarrow (k-n,s_{k+1}))\cup \dots \cup ((-1,s_{n-1})\rightarrow (-1,\widetilde{X}))\) where \(m\le s_k<s_{k+1}<\dots <s_{n-1}\le {\widetilde{X}}\). The energy of such a path is instead of (2.1) defined by
Then, a partition function analogously to (2.2) is given by
The Brownian motions \({\widetilde{B}}_k\) can be thought of as sitting on the vertical rays starting at \((k-n-1,m)\) for \(1\le k\le n\) which makes the definitions (2.13)–(2.14) natural.
For \(b\in \mathbb {R}^m\) and \(\beta \in \mathbb {R}^n\), let
define the (m, n)-spiked boundary perturbation for the CDRP, see Fig. 3. Let \(\mathcal {Z}^{b,\beta }(T,X)\) denote the partition function of the CDRP with (m, n)-spiked boundary perturbation which is the solution of the stochastic heat equation (1.2) with initial condition given by (2.15). Let \(\mathcal {F}^{b,\beta }(T,X) = \ln (\mathcal {Z}^{b,\beta }(T,X))\) denote the free energy of the CDRP with (m, n)-spiked boundary perturbation. Note that for \(n=0\), the boundary perturbation (2.15) reduces to the m-spiked boundary perturbation considered in [5].
According to the next theorem, the CDRP with (m, n)-spiked boundary perturbations is the limit of the O’Connell–Yor semi-discrete directed polymer with log-gamma boundary sources under the intermediate disorder scaling. The theorem in this form was not published yet, and it was first announced in [11] for the O’Connell–Yor semi-discrete directed polymer with boundary perturbations and used, e.g. in [5, 6]. Theorem 2.4 for perturbed boundaries below is a straightforward consequence of the ones used in [5, 6]. Intermediate disorder scaling results were, however, proved more recently for the unperturbed multi-layer semi-discrete directed polymer in [16] using the same ideas as in [11].
Theorem 2.4
Fix \(T>0\), \(X\in \mathbb {R}\) and real vectors \(b=(b_1,\dots ,b_m)\in \mathbb {R}^m\) and \(\beta =(\beta _1,\dots \beta _n)\in \mathbb {R}^n\) which satisfy (2.6). Set \(\sigma =(2/T)^{1/3}\) and \(\kappa =\sqrt{T/N}+X/N\) which yield by (2.10) that \(\tau =\kappa N=\sqrt{TN}+X\). Let the drifts be given by \(a=(a_1,\dots ,a_m,0,\dots ,0)\in \mathbb {R}^N\) where \(a_l=\sqrt{N/T}+1/2+b_l\) for \(1\le l\le m\) and the boundary parameters by \(\alpha _k=\sqrt{N/T}+1/2+\beta _k\) for \(1\le k\le n\). Consider the O’Connell–Yor semi-discrete directed random polymer partition function \(\mathbf {Z}^{a,\alpha }(\tau ,N)\) defined in (2.2) with parameters a and \(\alpha \). With the scaling factor
one has the convergence in distribution
as N goes to infinity where \(\mathcal {Z}^{b,\beta }(T,X)\) is the CDRP with (m, n)-spiked boundary perturbation given in (2.15).
The main contribution of this work gives the large time limit of the CDRP free energy with (m, n)-spiked boundary perturbation.
Theorem 2.5
Let \(b = (b_1,\dots ,b_m)\in \mathbb {R}^m\) and \(\beta =(\beta _1,\dots \beta _n)\in \mathbb {R}^n\) be such that \(b_l<\beta _k\) for all \(1\le l \le m\) and \(1\le k \le n\). Let \(\sigma = (2/T)^{1/3}\) be scaled with the time parameter and let \(Y\in \mathbb {R}\) and \(r\in \mathbb {R}\) be arbitrary. Then, for the free energy of the CDRP with (m, n)-spiked boundary perturbation of parameters \(\sigma b\) and \(\sigma \beta \) at rescaled position \(X=2^{1/3}YT^{2/3}\),
holds where \(F_{\mathrm {BP},b+Y,\beta +Y}\) is the Borodin–Péché distribution function given by (2.7) with parameter vectors shifted coordinatewise.
3 Scaling Limit for the O’Connell–Yor Semi-discrete Polymer
We prove Theorem 2.3 in this section which is a modification of the proof of Theorem 1.3 in [5]. We mention that in Theorem 1.3 in [5] which is the \(n=0\) case of Theorem 2.3, the factor \(c_\kappa \) is missing in the scaling of parameters (2.11). To keep our discussion self-contained, we recall the main steps of the proof and extend it to the present setup.
Let us scale
and set \(\tau = \kappa N\). After the change of variables \({\tilde{z}} = s+v\) in (2.5) and by using Euler’s reflection formula \(1/(\Gamma (-s)\Gamma (1+s)) = -\pi / \sin (\pi s)\),
where \(G(z)=\ln \Gamma (z)-\kappa z^2/2+f_{\kappa }z\). The integration contour \(\mathcal {C}_{{{\tilde{z}}}}\) in (3.2) was defined in [5] in the absence of boundary parameters to be
where \(B_{v+q}\) denotes a small circle around \(v+q\) and clockwise oriented. \(r\in \mathbb {N}_0\) is chosen such that \({\text {Re}}(v)+r\le \theta _\kappa +\mathcal {O}(N^{-1/3})\) and we set \({{\tilde{\varepsilon }}} = p(v)c_\kappa ^{-1}N^{-1/3}\) with \(p(v)\in \{1,3\}\). This choice of r and p(v) is needed to keep a uniformly positive distance from the poles coming from the sine in the denominator in (3.2), see Sect. 5.1 in [5] for the precise definition. It is also argued in [5] that kernel \(K_u\) has enough decay along the contour in (3.3) which corresponds to the \(\varphi =\pi /4\) case for the \(\mathcal {C}_{a;\alpha ;\varphi }\) contour in Theorem 2.1.
In the present setup when there are boundary parameters \(a_l\) and \(\alpha _k\) scaled according to (2.11), the contour \(\mathcal {C}_{{{\tilde{z}}}}\) is defined to be the contour (3.3) with a local modification in an \(N^{-1/3}\) neighbourhood of \(\theta _\kappa \) in a way that it crosses the real axis between the \(a_l\) and the \(\alpha _k\) singularities. By the Cauchy theorem, the contour \(v+\mathcal {D}_{v}\) for \({{\tilde{z}}}\) seen on the left of Fig. 2 can be replaced by \(\mathcal {C}_{\tilde{z}}\) without changing the kernel \(\mathrm {K}_{u}\) in (3.2).
The function G has a double critical point at \(\theta _\kappa \), i.e. \(G(v) \simeq G(\theta _\kappa ) - \frac{(c_\kappa )^3}{3}(v-\theta _\kappa )^3\). This suggests the rescaling around \(\theta _\kappa \) by \(N^{1/3}\), that is the change of variables
Then, the rescaled kernel is defined as
Let the new contour \(\mathcal {C}_{w}\) be the local perturbation of \(\left\{ -|y|+\mathrm{i}y, y\in \mathbb {R}\right\} \) in a constant neighbourhood of 0 in a way that it crosses the real axis between the \(b_l\) and \(\beta _k\) singularities as shown in Fig. 4, also compare with Fig. 2. Further, let \(\mathcal {C}_{z}\) be the local modification of \(1+\mathrm{i}\mathbb {R}\) in a neighbourhood of 0 so that it does not intersect \(\mathcal {C}_{w}\), and it crosses the real axis between the two families of singularities. Then, one can replace \(\mathcal {C}_{a;\alpha ;\varphi }\) by \(\mathcal {C}_{w}\) and the integration path \(\Phi ^{-1}(\mathcal {C}_{{{\tilde{z}}}})\) in (3.5) by \(\mathcal {C}_{z}\) so that one has the equality of Fredholm determinants \(\det \left( \mathbb {1}+\mathrm {K}_{u}\right) _{L^2(\mathcal {C}_{a;\alpha ;\varphi })} = \det \left( \mathbb {1}+\mathrm {K}_{N}\right) _{L^2(\mathcal {C}_{w})}\) by the Cauchy theorem.
Based on the next two propositions and by using Lemma 3.3, Theorem 2.3 on the scaling limit for the O’Connell–Yor semi-discrete polymer can be verified.
Proposition 3.1
Let \(\mathrm {K}_{N}(w,w')\) be given in (3.5). Uniformly for \(w,w'\) in a bounded set of \(\mathcal {C}_{w}\),
where
Proposition 3.2
For any \(w,w'\in \mathcal {C}_{w}\) there exists a constant \(C\in (0,\infty )\) such that
uniformly for all N large enough.
Lemma 3.3
[4, Lemma 4.1.38] Consider a sequence of functions \(\left( \Theta _n \right) _{n\ge 1}\) mapping \(\mathbb {R}\rightarrow \left[ 0,1 \right] \) with the following properties: \(x\mapsto \Theta _n(x)\) is strictly decreasing, \(\lim _{x\rightarrow -\infty } \Theta _n(x) = 1\), \(\lim _{x\rightarrow \infty } \Theta _n(x) = 0\) for all n and \(\Theta _n(x)\rightarrow \mathbb {1}_{x\le 0}\) as \(n\rightarrow \infty \) uniformly on \(\mathbb {R}\setminus \left[ -\delta ,\delta \right] \) for all \(\delta >0\). Consider a sequence of random variables \(X_n\) and a continuous probability distribution function p(r) such that \(\mathbb {E}\left[ \Theta _n(X_n - r)\right] \rightarrow p(r)\) as \(n\rightarrow \infty \) for each \(r\in \mathbb {R}\). Then, \(X_n\) converges in distribution to the distribution given by p(r).
Proof of Theorem 2.3
By Hadamard’s bound and by dominated convergence, Propositions 3.1 and 3.2 together imply that
as \(N\rightarrow \infty \) where the first equality above follows from the same reformulation of Fredholm determinants as in Lemma 8.7 of [5].
Let us define a sequence of functions \(\Theta _N(x) = \exp (-\exp (c_{\kappa }N^{1/3}x))\). Now by (3.1),
as \(N\rightarrow \infty \) where we used the definition of \(\Theta _N\), Theorem 2.1 and (3.9). To conclude the proof, one uses Lemma 3.3 with \(p(r) = F_{\mathrm {BP},b,\beta }(r)\).
We introduce the extra gamma factors
for \(1\le l\le m\) and \(1\le k\le n\). To extend the proofs of Propositions 5.1 and 5.2 of [5] to those of Propositions 3.1 and 3.2, the following lemma about the bounds on the extra factors is the key.
Lemma 3.4
Once the contours \(\mathcal {C}_{w}\) and \(\mathcal {C}_{z}\) are fixed, there is a constant C such that
as long as \(w\in \mathcal {C}_{w}\) and \(z\in \mathcal {C}_{z}\).
Furthermore, let N be large enough to make the \(N^{-1/3}\) difference of \(\mathcal {C}_{{{\tilde{z}}}}\) and the contour in (3.3) small. Then, the small circles in \(\mathcal {C}_{{{\tilde{z}}}}\) and in (3.3) can only be present, i.e. \(r>0\) can only happen for a \(v\in \mathcal {C}_{a;\alpha ;\varphi }\) if \(|v|>\varepsilon \) for some fixed \(\varepsilon >0\). In this case, there is a C such that for any \(v\in \mathcal {C}_{a;\alpha ;\varphi }\) and \(q=1,\dots ,r\),
Proof
After substituting (3.4) and the scaling (2.11) into the definition (3.11), one can write
First, we show that for the numerator,
holds if \(z\in \mathcal {C}_{z}\). To this end, we use the asymptotics
from equation 6.1.45 of [1]. If \(z\in \mathcal {C}_{z}\) and \(|z|>\delta N^{1/3}\) for some fixed \(\delta >0\), then the real part of the argument of the gamma function in (3.15) goes to 0 as \(N\rightarrow \infty \); hence, it is bounded. Consequently, (3.16) yields an exponential decay of \(|\Gamma \left( (\beta _k-z+o(1))c_\kappa ^{-1}N^{-1/3}\right) |\) in |z| which we bound by a constant. By the asymptotics \(\Gamma (Z)\sim 1/Z\) around \(Z=0\), one gets that the left-hand side of (3.15) can be upper bounded by \(CN^{1/3}/|z|\) as long as \(|z|<\delta N^{1/3}\). This proves (3.15).
Next, we prove for the denominator that
for \(w\in \mathcal {C}_{w}\) with a constant c small enough. Equation 6.1.37 in [1] reads as
For \(w\in \mathcal {C}_{w}\) and \(|w|>\delta N^{1/3}\), one can write \(w=-tN^{1/3}\pm \mathrm{i}tN^{1/3}\) for some \(t>\delta /\sqrt{2}\). Hence, the left-hand side of (3.17) grows as \(Ce^{-t}t^t\) as \(t\rightarrow \infty \) which we can lower bound by a small constant as \(t>\delta /\sqrt{2}\). If \(|w|<\delta N^{1/3}\), by the asymptotics \(\Gamma (Z)\sim 1/Z\) around \(Z=0\) again, the left-hand side of (3.17) is lower bounded by \(cN^{1/3}/|w|\). This shows (3.17). Putting (3.15) and (3.17) together yields (3.12) with a large enough C.
The uniform lower bound on |v| follows from the choice of the contours. On the one hand, r is chosen such that \({\text {Re}}(v)+r\le \theta _\kappa +\mathcal {O}(N^{-1/3})\). On the other hand, \(v\in \mathcal {C}_{a;\alpha ;\varphi }\) satisfies \(v=\theta _\kappa +\mathcal {O}(N^{-1/3})+e^{\mathrm{i}(\pi \pm \varphi )}y\) for some \(y\in \mathbb {R}_+\). These two properties imply the lower bound if the small circles are present.
To show (3.13) if the circles are present, observe that the ratio which we want to bound in absolute value simplifies as
This is bounded by an absolute constant since \(|v|>\varepsilon \) also means that \(|{\text {Im}}(v)|\) is uniformly positive. \(\square \)
Proof of Proposition 3.1
Knowing the asymptotics \(\Gamma (z) \simeq 1/z\) near zero from [1], one can conclude from (3.14) that under the scaling (2.11), \(Q(w,z,\alpha _k)\rightarrow (w-\beta _k)/(z-\beta _k)\) holds as \(N\rightarrow \infty \) for \(k=1,\dots ,n\). Similarly, \(P(w,z,a_l)\rightarrow (z-b_l)/(w-b_l)\) for \(l=1,\dots ,m\). As in the proof of Proposition 5.1 in [5], the Taylor expansion of the remaining factors in the integrand of \(\mathrm {K}_{N}\) in (3.5) yields that the integrand converges to the integrand of \(\widetilde{\mathrm {K}_{}}_{\mathrm {BP},b,\beta }\) in (3.7).
One can apply dominated convergence as it is done in the proof of Proposition 5.1 in [5]. It was proved in [5] based on Lemma 5.4 that the integration contour of \(\mathrm {K}_{N}\) in z is steep descent for the function \(-{\text {Re}}(G(\Phi (z)))\) with derivative going to \(-\infty \) linearly in \(|{\text {Im}}({{\tilde{z}}})|=N^{-1/3}|{\text {Im}}(z)|\). Since the Q factors are bounded in (3.12), the decay of \(e^{-NG(\Phi (z))}\) ensures that the integral which defines the kernel \(K_N\) in (3.5) is still convergent in the presence of the Q factors. Hence, the steps of the proof of Proposition 5.1 in [5] can be followed. In particular, the integral which defines \(\mathrm {K}_{N}\) restricted to the set \(|{\text {Im}}(z)|>\delta N^{1/3}\) is \(\mathcal {O}(e^{-c(\delta )N})\). On the other hand, on \(|{\text {Im}}(z)|<\delta N^{1/3}\), one can replace the integrand of \(\mathrm {K}_{N}\) by the integrand of \(\widetilde{\mathrm {K}_{}}_{\mathrm {BP},b,\beta }\) with an overall error of order \(\mathcal {O}(N^{-1/3})\). This verifies the convergence of the kernels (3.6). \(\square \)
Proof of Proposition 3.2
The exponential bounds obtained in the proof of Proposition 5.2 in [5] are not affected by the presence of extra polynomial factors which upper bound Q in (3.12)–(3.13). Hence (3.8) follows. \(\square \)
4 Large Time Limit of the CDRP with (m, n)-Spiked Boundary Perturbations
In this section, we prove Theorem 2.5 about the large time limit of the free energy \(\mathcal {Z}^{b,\beta }\) of the CDRP with (m, n)-spiked boundary perturbations. We start by giving a Fredholm determinant formula for its Laplace transform in Proposition 4.1 based on Theorem 2.1. Let \(b=(b_1,\dots ,b_m)\) and \(\beta =(\beta _1,\dots ,\beta _n)\) be such that (2.6) holds. Define the kernel
where
and the integration contour for w is from \(-\frac{1}{4\sigma }-\mathrm{i}\infty \) to \(-\frac{1}{4\sigma }+\mathrm{i}\infty \) and crosses the real axis between \(\max _{1\le l\le m}b_l/\sigma \) and \(\min _{1\le k\le n}\beta _k/\sigma \). The other contour for z goes from \(\frac{1}{4\sigma }-\mathrm{i}\infty \) to \(\frac{1}{4\sigma }+\mathrm{i}\infty \), it also crosses the real axis between \(\max _{1\le l\le m}b_l/\sigma \) and \(\min _{1\le k\le n}\beta _k/\sigma \), and it does not intersect the contour for w.
Proposition 4.1
Fix S with positive real part, \(T>0\), b and \(\beta \) real vectors with (2.6). Set \(\sigma \) as in (4.2). Then,
where \(\mathcal {Z}^{b,\beta }\) is the partition function of the CDRP with (m, n)-spiked boundary perturbations and \(\mathrm {K}_{b,\beta }^{(\sigma )}\) is defined in (4.1).
Proof
Let Theorem 2.1 be used with
where C(N, m, T, X) is given by (2.16). Then, on the left-hand side of (2.4) with \(\tau =\sqrt{TN}+X\), Theorem 2.4 on the intermediate disorder scaling yields the convergence in distribution
as \(N\rightarrow \infty \). By definition (2.2), the partition function \(\mathbf {Z}^{a,\alpha }\) is positive; hence, (4.5) implies the convergence of the Laplace transforms
as \(N\rightarrow \infty \) where \(\tau =\sqrt{TN}+X\) and u is defined in (4.4).
On the other hand, the same scaling of parameters is used on the right-hand side of (2.4). Then, Theorem 6.3 of [6] is used to conclude the convergence of Fredholm determinants
under the following scaling of the parameters. As in Theorem 2.4, one sets \(\tau =\sqrt{TN}+X\), \(\kappa =\tau /N\) and \(\theta _\kappa \) is given by (2.10). This means that \(\theta _\kappa =\sqrt{N/T}-X/T+1/2+\mathcal {O}(N^{-1/2})\). One sets u given by (4.4) and \(\sigma \) given by (4.2). For the boundary parameters \(a_l\) and \(\alpha _k\), instead of the scaling given in Theorem 2.4, one sets \(a_l=\theta _\kappa +b_l\) and \(\alpha _k=\theta _\kappa +\beta _k\) according to Sect. 6 of [6]. This difference results in the shift by X / T in the rescaled boundary parameters \(b_l\) and \(\beta _k\) which completes the proof. \(\square \)
The following proposition is the key for the proof of Theorem 2.5.
Proposition 4.2
We have
as \(\sigma \rightarrow 0\) where \(\mathrm {K}_{b,\beta }^{(\sigma )}\) and \(\mathrm {K}_{BP,b,\beta }\) are given in (4.1) and (2.8).
Proof of Theorem 2.5
Let \(S = e^{-r/\sigma }\) and define the functions \(\Theta _T(x) = \exp (-e^{x/ \sigma })\) where \(\sigma =(2/T)^{1/3}\). Observe that one can write
By taking expectation above
as \(T\rightarrow \infty \) where we used Proposition 4.1 in the second equation above. To conclude the convergence in (4.10), Proposition 4.2 was used with boundary parameters \(\sigma b+X/T=\sigma (b+Y)\) and \(\sigma \beta +X/T=\sigma (\beta +Y)\) where \(X=2^{1/3}YT^{2/3}\).
The functions \(\Theta _T\) satisfy the properties of Lemma 3.3; hence, by (4.10) the lemma is applicable for the random variables \(\sigma (\mathcal {F}^{\sigma b,\sigma \beta }(T,X)+X^2/(2T)+T/24)\) and with the distribution function \(F_{\mathrm {BP},b+Y,\beta +Y}(r)\) defined by (2.7). By observing that \(\sigma X^2/(2T)=Y^2\) and by substituting r by \(r+Y^2\), one arrives to (2.18). \(\square \)
We are left with proving Proposition 4.2. We use the following decay bound from [6] adapted to the present setting.
Lemma 4.3
[6, Lemma B.4] Fix \(b_1\le b_2 \le \dots \le b_m < \beta _1 \le \beta _2 \dots \le \beta _n\) so that \(\beta _i - b_j < 1\) for any \(1\le i \le n\) and \(1\le j \le m\). Then, there is a finite constant C such that for any \(x,y\in \mathbb {R}_{+}\)
Proof of Proposition 4.2
By setting \(S=e^{-r/\sigma }\), the kernel on the left-hand side of (4.8) reads as
Then, the first factor in the double integral in (4.12) converges to \(e^{-r(z-w)}/(z-w)\) as \(\sigma \rightarrow 0\). For the product of the gamma ratios,
as \(\sigma \rightarrow 0\). Hence, the integrand in (4.12) converges to that of \(\mathrm {K}_{\mathrm {BP},b,\beta }(x+r,y+r)\) given in (2.8) as \(\sigma \rightarrow 0\). Since along the contours for w and z, the factors \(e^{z^3/3-w^3/3}\) in (4.12) have fast enough decay, we conclude that
To show that the convergence of the kernels (4.14) implies the convergence of Fredholm determinants (4.8), one uses dominated convergence. Lemma 4.3 applied to \(\mathrm {K}_{\sigma b,\sigma \beta }^{(\sigma )}\) provides a uniform upper bound in \(\sigma \). Using this upper bound, the nth term in the Fredholm determinant expansion of the left-hand side of (4.8) is bounded by
where we also used the Hadamard bound in the first inequality above. Since the right-hand side of (4.15) is summable, dominated convergence implies (4.8). \(\square \)
References
Abramowitz, M., Stegun, I.A.: Pocketbook of Mathematical Functions. Verlag Harri Deutsch, Frankfurt a. M. (1984)
Baik, J., Ben Arous, G., Péché, S.: Phase transition of the largest eigenvalue for non-null complex sample covariance matrices. Ann. Probab. 33, 1643–1697 (2006)
Barraquand, G., Corwin, I.: Random-walk in Beta-distributed random environment. Probab. Theory Relat. Fields 167(3), 1057–1116 (2017)
Borodin, A., Corwin, I.: Macdonald processes. Probab. Theory Relat. Fields 158, 225–400 (2014)
Borodin, A., Corwin, I., Ferrari, P.L.: Free energy fluctuations for directed polymers in random media in \(1+1\) dimension. Commun. Pure Appl. Math. 67, 1129–1214 (2014)
Borodin, A., Corwin, I., Ferrari, P.L., Vető, B.: Height fluctuations for the stationary KPZ equation. Math. Phys. Anal. Geom. 18(1), 20 (2015)
Borodin, A., Péché, S.: Airy kernel with two sets of parameters in directed percolation and random matrix theory. J. Stat. Phys. 132(2), 275–290 (2008)
Corwin, I.: The Kardar–Parisi–Zhang equation and universality class. Random Matices Theory Appl. 1, 1130001 (2012)
Corwin, I., O’Connell, N., Seppäläinen, T., Zygouras, N.: Tropical combinatorics and Whittaker functions. Duke Math. J. 163, 513–563 (2014)
Corwin, I., Seppäläinen, T., Shen, H.: The strict-weak lattice polymer. J. Stat. Phys. 160, 1027–1053 (2015)
Flores, G. Moreno, Quastel, J., Remenik, D.: In preparation, (2012)
Hairer, M.: Solving the KPZ equation. Ann. Math. 178, 559–664 (2013)
Imamura, T., Sasamoto, T.: Free energy distribution of the stationary O’connell–Yor directed random polymer model. J. Phys. A 50(28), 285203 (2017)
Kardar, M., Parisi, G., Zhang, Y.Z.: Dynamic scaling of growing interfaces. Phys. Rev. Lett. 56, 889–892 (1986)
Mueller, C.: On the support of solutions to the heat equation with noise. Stoch. Stoch. Rep. 37, 225–246 (1991)
Nica, M.: Intermediate disorder limits for multi-layer semi-discrete directed polymers. arXiv:1609.00298 (2016)
O’Connell, N.: Directed polymers and the quantum Toda lattice. Ann. Probab. 40, 437–458 (2012)
O’Connell, N., Ortmann, J.: Tracy-Widom asymptotics for a random polymer model with gamma-distributed weights. Electron. J. Probab. 20, 18 (2015)
O’Connell, N., Yor, M.: Brownian analogues of Burke’s theorem. Stoch. Proc. Appl. 96, 285–304 (2001)
Seppäläinen, T.: Scaling for a one-dimensional directed polymer with boundary conditions. Ann. Probab. 40, 19–73 (2012)
Thiery, T., Le Doussal, P.: Log-gamma directed polymer with fixed endpoints via the replica Bethe Ansatz. J. Stat. Mech. Theory Exp. 2014(10), P10018 (2014)
Thiery, T., Le Doussal, P.: On integrable directed polymer models on the square lattice. J. Phys. A 48(46), 465001 (2015)
Acknowledgements
Open access funding provided by Budapest University of Technology and Economics (BME). We thank Patrik Ferrari and Benedek Valkó for stimulating discussions related to this project. The work of both authors was supported by the NKFI (National Research, Development and Innovation Office) Grant FK123962. The work of B. Vető was supported by the NKFI Grant PD123994, by the Bolyai Research Scholarship of the Hungarian Academy of Sciences and by the ÚNKP–18–4 New National Excellence Program of the Ministry of Human Capacities.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Talyigás, Z., Vető, B. Borodin–Péché Fluctuations of the Free Energy in Directed Random Polymer Models. J Theor Probab 33, 1426–1444 (2020). https://doi.org/10.1007/s10959-019-00919-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-019-00919-8