Abstract
We show that the geometric lifting of the RSK correspondence introduced by A.N. Kirillov (Physics and Combinatorics. Proc. Nagoya 2000 2nd Internat Workshop, pp. 82–150, 2001) is volume preserving with respect to a natural product measure on its domain, and that the integrand in Givental’s integral formula for \(\mathit{GL}(n,{\mathbb{R}})\)-Whittaker functions arises naturally in this context. Apart from providing further evidence that Whittaker functions are the natural analogue of Schur polynomials in this setting, our results also provide a new ‘combinatorial’ framework for the study of random polymers. When the input matrix consists of random inverse gamma distributed weights, the probability distribution of a polymer partition function constructed from these weights can be written down explicitly in terms of Whittaker functions. Next we restrict the geometric RSK mapping to symmetric matrices and show that the volume preserving property continues to hold. We determine the probability law of the polymer partition function with inverse gamma weights that are constrained to be symmetric about the main diagonal, with an additional factor on the main diagonal. The third combinatorial mapping studied is a variant of the geometric RSK mapping for triangular arrays, which is again showed to be volume preserving. This leads to a formula for the probability distribution of a polymer model whose paths are constrained to stay below the diagonal. We also show that the analogues of the Cauchy-Littlewood identity in the setting of this paper are equivalent to a collection of Whittaker integral identities conjectured by Bump (Number Theory, Trace Formulas, and Discrete Groups, pp. 49–109, 1989) and Bump and Friedberg (Festschrift in Honor of Piatetski-Shapiro, Part II, pp. 47–65, 1990) and proved by Stade (Am. J. Math. 123:121–161, 2001; Israel J. Math. 127:201–219, 2002). Our approach leads to new ‘combinatorial’ proofs and generalizations of these identities, with some restrictions on the parameters.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Robinson-Schensted-Knuth (RSK) correspondence is a combinatorial mapping which plays an important role in the theory of Young tableaux, symmetric functions and representation theory [23, 45]. It is deeply connected with Schur functions and provides a combinatorial framework for understanding the Cauchy-Littlewood identity and Schur measures on integer partitions. It is also the basic structure which lies behind the solvability of a particular family of combinatorial models in probability and statistical physics including longest increasing subsequence problems, directed last passage percolation in 1+1 dimensions and the totally asymmetric simple exclusion process, see for example [1, 3, 33, 40].
The RSK map is defined on matrices with non-negative integer coefficients and can be described by expressions in the max-plus semi-ring. This was extended to matrices with real entries by Berenstein and Kirillov [10]. Replacing these expressions by their analogues in the usual algebra, A.N. Kirillov [35] introduced a geometric lifting of the Berenstein-Kirillov correspondence which he called the ‘tropical RSK correspondence’, in honor of M.-P. Schützenberger (1920–1996). However, for many readers nowadays the word ‘tropical’ indicates just the opposite, so to avoid confusion we will refer to Kirillov’s construction as the geometric RSK (gRSK) correspondence, as in the theory of geometric crystals [8, 9], which is closely related.
The geometric RSK correspondence is a birational mapping from \(({\mathbb{R}}_{>0})^{n\times m}\) onto itself. It was introduced by Kirillov [35] for square matrices (n=m) and generalized to the rectangular setting by Noumi and Yamada [37]. In the paper [19] it was shown that there is a fundamental connection between the gRSK correspondence and \(\mathit{GL}(n,{\mathbb{R}})\)-Whittaker functions, analogous to the well-known connection between the RSK correspondence and Schur functions. In particular, it is explained there that the analogue of the Cauchy-Littlewood identity in the setting of gRSK can be seen as a generalization of a Whittaker integral identity which was originally conjectured by Bump [15] and later proved by Stade [43]. The connection to Whittaker functions gives rise to a natural family of measures (Whittaker measures) which play a similar role in this setting to Schur measures on integer partitions. It also has applications to random polymers. In the paper [19], an explicit integral formula is obtained for the Laplace transform of the law of the partition function associated with a random directed polymer model on the two-dimensional lattice with log-gamma weights introduced in [42]. For related recent developments, see [11, 12, 38].
In the present work, we first provide further insight into the results of [19] by showing:
-
(a)
the gRSK mapping is volume preserving with respect to the product measure ∏ ij dx ij /x ij on \(({\mathbb{R}}_{>0})^{n\times m}\), and
-
(b)
the integrand in Givental’s integral formula for \(\mathit{GL}(n,{\mathbb{R}})\)-Whittaker functions [26, 32] arises naturally through the application of the gRSK map (see Theorem 3.2 below).
The volume preserving property can be seen as a consequence of a new description of the gRSK map as a composition of local moves which we introduce in this paper. This description is a re-formulation of the geometric row-insertion algorithm introduced by Noumi and Yamada in [37]. Combining (a) and (b) gives a direct ‘combinatorial’ proof of Stade’s identity (with some restrictions on the parameters) analogous to the bijective proof of the Cauchy-Littlewood identity via the classical RSK correspondence (see, for example, Fulton [23, §4.3]).
The second aim of this paper is to initiate a program of understanding the gRSK mapping in the presence of symmetry constraints in much the same spirit as the work of Baik and Rains [2, 4, 5] on longest increasing subsequence and last passage percolation problems. Here we consider one particular symmetry, namely the restriction of gRSK to symmetric matrices. We show that the volume preserving property continues to hold in this setting and deduce the analogue of the Whittaker measure. The corresponding Whittaker integral identity (Corollary 5.5) involves only a single Whittaker function, and turns out to be equivalent to a formula for a certain Mellin transform of the \(\mathit{GL}(n,{\mathbb{R}})\)-Whittaker function which was conjectured by Bump and Friedberg [16] and proved by Stade [44], again with some restrictions on the parameters. We also consider a degeneration of this model in which the diagonal entries of the input matrix vanish and the gRSK map rescales to a new version of gRSK defined on triangles. This model has a surprising and non-trivial connection to the symmetric case (see remarks at the end of Sect. 6 below).
One particular motivation for our study of the gRSK mapping is the analysis of directed polymer models. The basic directed polymer in a random environment is a model from statistical physics introduced by Huse and Henley [29] that couples a random path with an environment of random weights. Given random positive weights {w i,j } indexed by the two-dimensional lattice, each directed lattice path π from (1,1) to (n,m) is given the quenched probability
where the normalization, also called partition function, is
and Π nm is the set of such paths. A great deal of work in probability and statistical physics has been devoted to understanding the large-scale behavior of the random path π and the partition function Z nm , but the subject is far from complete. The reader is referred to [17, 18, 20] for reviews. The connection with gRSK is that the partition function appears as an entry in the output matrix (equation (3.9) below).
As an application of our gRSK results we determine the law of the partition function of a family of random polymer models with inverse gamma weights that are constrained to be symmetric about the main diagonal. (The model with inverse gamma weights is also called the log-gamma polymer because conventionally the weights are written as exponentials to create a Gibbs-like measure.) We also consider a degeneration of this model in which the polymer paths are constrained to stay below the diagonal. This can be seen as a discrete version of the continuum random polymer above a hard wall, which appeared recently in the physics literature [28]. Formally, our results yield integral formulae for the Laplace transforms of these laws which we anticipate will be made rigorous in future work and then used as a starting point for further asymptotic development. Similar integral formulae obtained in [19] for the polymer model without symmetry were used in [12] to prove Tracy-Widom GUE asymptotics for the law of the partition function. The polymer models we consider also give rise to a positive temperature version of the interpolating ensembles of Baik and Rains [2, 4]. In the KPZ scaling limit they should correspond to the KPZ equation on the half-line with mixed boundary conditions at zero and narrow wedge initial condition.
The outline of the paper is as follows.
-
In the next section we give some background on Whittaker functions, introduce a generalization of these functions and explain how these functions can be regarded as generating functions for patterns. This interpretation can be seen as a generalization of Givental’s integral formula [24, 26, 32] and is analogous to the combinatorial interpretation of Schur functions as generating functions for semistandard Young tableaux.
-
In Sect. 3 we give a new description of the gRSK map as a composition of local moves (based on Noumi and Yamada’s dynamical description of gRSK) and use this to establish several basic results. In particular, we show that the gRSK mapping is volume-preserving with respect to a natural product measure on \(({\mathbb{R}}_{>0})^{n\times m}\) and establish a fundamental identity (Theorem 3.2) which provides an elementary explanation of the appearance of Whittaker functions in this setting. This gives further insight into earlier results from [19] and yields a new proof and generalization of two of Stade’s Whittaker integral identities (Theorems 7.1 and 7.3).
-
In Sect. 4 we explain the relationship between the local-moves description of gRSK and the geometric row-insertion algorithm of Noumi and Yamada [37].
-
In Sect. 5 we consider the restriction of gRSK to symmetric matrices. We show that the volume preserving property continues to hold in this setting and deduce several consequences, including a new proof (with some restriction on the parameters) of the Whittaker integral identity (Theorem 7.5) involving a single Whittaker function due to Stade [44].
-
In Sect. 6 we introduce gRSK for triangular arrays. Again we prove a fundamental identity and the volume preserving property, and deduce the probability distribution of the shape vector of the output array under inverse gamma distributed initial weights. The polymer version of the problem describes paths restricted to lie below a hard wall.
-
In Sect. 7 we explain how the results of this paper relate to some of the Whittaker integral identities which have appeared previously in the automorphic forms literature.
-
In Sect. 8 we explain how the Berenstein-Kirillov extension of the RSK correspondence can be recovered by taking a limit (tropicalization). In statistical physics terminology this is a zero-temperature limit that takes polymer partition functions to last-passage percolation values. By analogy with Sect. 3, we give a description of the Berenstein-Kirillov mapping in terms of local moves which shows that this map is also volume preserving. Under exponentially distributed weights the probability distribution of the shape vector of the resulting pair of Gelfand-Tsetlin patterns is given by a non-central Laguerre ensemble. This connection to random matrix theory has had important applications to last passage percolation models [4, 13, 21, 22, 33].
2 Whittaker functions and patterns
For \(\lambda\in {\mathbb{C}}\), \(x,y\in({\mathbb{R}}_{>0})^{n}\), define
For \(\lambda\in {\mathbb{C}}\), \(x\in({\mathbb{R}}_{>0})^{n}\) and \(y\in({\mathbb{R}}_{>0})^{n-1}\), define
We regard these as integral operators: for suitable test functions,
These operators were introduced in the papers [24, 25]. We remark that, in those papers, they are referred to as Baxter Q-type operators by analogy with similar operators that were originally introduced by Baxter (see, for example, [6, 7]) as a tool for solving the eight-vertex model.
Define \(\varPsi^{n}_{\lambda}(x)\) for \(\lambda\in {\mathbb{C}}^{n}\), \(x\in({\mathbb{R}}_{>0})^{n}\) recursively as follows. For n=1, \(\lambda\in {\mathbb{C}}\) and \(x\in {\mathbb{R}}_{>0}\) we set \(\varPsi^{1}_{\lambda}(x)=x^{-\lambda}\). For n≥2 and \(\lambda=(\lambda_{1},\dotsc,\lambda_{n})\in {\mathbb{C}}^{n}\),
We note here, for later reference, some identities which follow easily from the definitions. For a>0 we have
If \(\alpha_{i}'=\alpha_{i}+c\) for some \(c\in {\mathbb{C}}\) then, writing x=(x 1,…,x n ),
Finally, if we set \(x_{i}'=1/x_{n-i+1}\), then
The functions \(\varPsi^{n}_{\lambda}\) are \(\mathit{GL}(n,{\mathbb{R}})\)-Whittaker functions [24, 25] (see also [26, 32]). These functions were first introduced by Jacquet [31]. They play an important role in the theory of automorphic forms [14–16, 27, 30, 43, 44] and the quantum Toda lattice [24–26, 32, 34, 36, 41]. In the latter literature they arise as eigenfunctions of the open quantum Toda chain with n particles with Hamiltonian given by
If we define \(\psi^{n}_{\lambda}(x)=\varPsi^{n}_{-\lambda}(z)\), where x i =logz i for i=1,…,n, then
See, for example, [24] for more details.
In the automorphic forms literature the standard ‘normalization’ is slightly different. In particular, in the notation of the paper [30], we have the relation, for n≥2:
where a k =λ k −(1/n)∑ i λ i for k=1,…,n and \(\pi y_{j} =\sqrt{x_{n-j+1}/x_{n-j}}\), for j=1,…,n−1. This is easily verified by comparing the recursion (2.1) with a similar recursion obtained by Ishii and Stade [30] for the functions W n,a (y), and using the elementary relation (2.3). Indeed, first note that, by (2.3), we only need to check this for λ=a, that is, when ∑ i λ i =0. In the case n=2 we have, writing a=(a,−a) and y 1=y,
where \(\pi y=\sqrt{x_{2}/x_{1}}\) and K ν is the Macdonald function
For n≥3, in [30] it is shown that
where
Making the change of variables
for j=1,…,n−1, and using (2.5) above, we see that this is equivalent to the recursion
which agrees with (2.1) above.
We will also consider the following generalization of the functions \(\varPsi^{n}_{\lambda}\). For \(\lambda\in {\mathbb{C}}^{n}\), \(x\in({\mathbb{R}}_{>0})^{n}\) and \(s\in {\mathbb{C}}\), define
for \(\lambda\in {\mathbb{C}}^{n+k}\), k≥1, and ℜs>0, define
It is straightforward to see that \(\varPsi^{n}_{\lambda;s}(x)\) is well-defined, as an absolutely convergent integral, for each \(x\in {\mathbb{R}}^{n}\). The functions \(\varPsi^{n}_{\lambda;s}\) can be regarded as generating functions for ‘patterns’, as we shall now explain.
Let \(x\in({\mathbb{R}}_{>0})^{n}\). We define a pattern P with shape \(\operatorname{sh}P=x\) and height h≥n to be an array of positive real numbers
with bottom row z h⋅=x. The range of indices is
If h=n then P is a triangle in the sense of Kirillov [35]. Fix a pattern P as above. Set ρ 0=1 and, for 1≤i≤h, \(\rho_{i}=\prod_{j=1}^{i\wedge n} z_{ij}\) and τ i =ρ i /ρ i−1. We shall refer to τ as the type of P and write τ=type P. For \(\alpha\in {\mathbb{C}}^{h}\) define
For \(s\in {\mathbb{C}}\), define
with the convention that z ij =0 if (i,j)∉L(n,h). Denote by Π h(x) the set of patterns with shape x and height h. Then, for \(\lambda\in {\mathbb{C}}^{h}\) and ℜs>0 (this condition is only required if h>n)
where
This formula is just a re-writing of the above definition (2.7) of \(\varPsi^{n}_{\lambda;s}\).
We remark that, although it is not obvious from the above definition, the function \(\varPsi^{n}_{\lambda}\) is invariant under permutations of the indices λ 1,…,λ n [25, 34]. In fact, the same is true of the function \(\varPsi^{n}_{\lambda;s}\), where \(\lambda\in {\mathbb{C}}^{n+k}\), k≥1 and ℜs>0. That is, \(\varPsi^{n}_{\lambda;s}\) is invariant under permutations of the indices λ 1,…,λ n+k . This follows from the definition (2.7), using the relation
where R s denotes multiplication by the function \(e^{-s/x_{n}}\), and the invariance of \(\varPsi^{n}_{\lambda_{1},\ldots,\lambda_{n}}\) under permutations of λ 1,…,λ n . The relation (2.12) is a straightforward extension of the commutativity property \(Q^{n}_{a}Q^{n}_{b}=Q^{n}_{b}Q^{n}_{a}\) obtained in [25, Theorem 2.3].
There is a Plancherel theorem for the Whittaker functions [34, 41, 46], which states that the integral transform
defines an isometry from \(L_{2}(({\mathbb{R}}_{>0})^{n}, \prod_{i=1}^{n} dx_{i}/x_{i})\) onto \(L^{sym}_{2}(\iota {\mathbb{R}}^{n},s_{n}(\lambda)d\lambda)\), where \(L_{2}^{sym}\) is the space of L 2 functions which are symmetric in their variables, \(\iota=\sqrt{-1}\) and
is the Sklyanin measure.
3 Geometric RSK correspondence
The geometric RSK (gRSK) correspondence is a bijective mapping
It is also birational in the sense that both T and its inverse are rational maps. It was introduced by Kirillov [35] as a geometric lifting of the Berenstein-Kirillov extension of the RSK correspondence and further studied by Noumi and Yamada [37]. We will define it here via a sequence of ‘local moves’ on matrix elements. This is essentially a reformulation of the row-insertion procedure introduced in [37], as will be explained in Sect. 4 below.
For each 2≤i≤n and 2≤j≤m define a mapping l ij which takes as input a matrix \(X=(x_{ij})\in({\mathbb{R}}_{>0})^{n\times m}\) and replaces the submatrix
of X by its image under the map
and leaves the other elements unchanged. For 2≤i≤n and 2≤j≤m, define l i1 to be the mapping that replaces the element x i1 by x i−1,1 x i1 and l 1j to be the mapping that replaces the element x 1j by x 1,j−1 x 1j . For convenience define l 11 to be the identity map. For 1≤i≤n and 1≤j≤m, set
and, for 1≤i≤n,
The mapping T is defined by
For example, suppose n=m=2. Then
and so
Here is an illustration:
Note that each l ij is birational. For example, the inverse of the map (3.1) is given by
The birational property of T can thus be seen directly from the above definition.
Each matrix \(X\in({\mathbb{R}}_{>0})^{n\times m}\) can be identified with a pair of patterns (P,Q) with respective heights m and n, and common shape
where p=n∧m, as illustrated in the following example:
In the following, we will simply write X=(P,Q) to indicate that X is identified with the pair (P,Q).
The mappings R i defined above can also be written as
where
Here we are just using the obvious fact that l ij ∘l i′j′=l i′j′∘l ij whenever |i−i′|+|j−j′|>2. This representation is closely related to the Bender-Knuth transformations, as we shall now explain. For each 1≤i≤n and 1≤j≤m, denote by b ij the map on \(({\mathbb{R}}_{>0})^{n\times m}\) which takes a matrix X=(x qr ) and replaces the entry x ij by
leaving the other entries unchanged, with the conventions that x 0j =x i0=0, x n+1,j =x i,m+1=∞ for 1<i<n and 1<j<m, but \(x_{10}+x_{01}=x_{n+1,m}^{-1}+x_{n,m+1}^{-1}=1\). Denote by r j the map which replaces the entry x nj by x n,j+1/x nj if j<m and 1/x nm if j=m, leaving the other entries unchanged. For j≤m, define
It is straightforward from the definitions to see that \(\rho ^{n}_{j}=h_{j}\circ r_{j}\). Now, observe that if X=(P,Q), then for each j<m, h j (X)=(t j (P),Q) where t j is defined by this relation. It is easy to see that the mappings b ij , h j and t j are all involutions.
In the case n=m, the mappings t 1,…,t n−1 are the analogues of the Bender-Knuth transformations in this setting, as discussed in [35]. In this case, if we define, for i<n,
then, as explained in [35], the involutions s i =q i ∘t 1∘q i , i<n, satisfy the braid relations (s i s i+1)3=Id, and hence define an action of S n on the set of triangles of height n. The mapping q n−1 is the analogue of Schützenberger’s involution in this setting.
An immediate consequence of the above re-formulation of gRSK is the following volume preserving property. Denote the input matrix by \(W=(w_{ij})\in({\mathbb{R}}_{>0})^{n\times m}\) and the output matrix by \(T=T(W)=(t_{ij})\in({\mathbb{R}}_{>0})^{n\times m}\).
Theorem 3.1
The gRSK mapping in logarithmic variables
has Jacobian ±1.
Proof
It is easy to see that the Jacobians of the mappings l ij in logarithmic variables are all ±1. This follows from the fact that the mappings
each have Jacobian ±1. The result follows from the definition (3.3) of T. □
We remark that, by a similar argument it can be seen that the involutions q i , i<n, on the set of triangles of height n, all have Jacobian ±1 in logarithmic variables.
We recall here some basic properties of the gRSK map T, which are either obvious from the definitions or proved in the papers [36, 37]. Suppose \(W\in({\mathbb{R}}_{>0})^{n\times m}\) and T=T(W)=(P,Q). If we define row and column products R i =∏ j w ij and C j =∏ i w ij , then type Q=R and type P=C. Note that this implies, for \(\lambda\in {\mathbb{C}}^{m}\) and \(\nu\in {\mathbb{C}}^{n}\),
Also, the following symmetries hold:
-
T(W t)=T(W)t;
-
T(W)=(P,Q)⇔T(W t)=(Q,P);
-
W is symmetric ⇔ T is symmetric ⇔P=Q;
-
W is symmetric across the anti-diagonal ⇔Q=q n−1(P).
The connection to directed polymers is via the following formula for t nm :
where Z n,m is the partition function that appeared in (1.1). Recall that Π n,m is the set of directed nearest-neighbor lattice paths in \({\mathbb{Z}}^{2}\) from (1,1) to (n,m), that is, the set of paths π={π(1),π(2),…,π(n+m−1)} such that π(1)=(1,1), π(n+m−1)=(n,m) and π(k+1)−π(k)∈{(1,0),(0,1)} for 1≤k<n+m−1. We shall refer to the variable t nm as the polymer partition function. In this context it is natural to refer to the w ij as weights and W as the weight matrix. In fact, the remaining entries of T=(P,Q) can also be expressed in terms of similar partition functions, as follows. For 1≤k≤m and 1≤r≤n∧k,
where \(\varPi^{(r)}_{n,k}\) denotes the set of r-tuples of non-intersecting directed nearest-neighbor lattice paths π 1,…,π r starting at positions (1,1),(1,2),…,(1,r) and ending at positions (n,k−r+1),…,(n,k−1),(n,k). (See Fig. 1. When we use the path representation we draw the weight matrix in Cartesian coordinates.) This determines the entries of P. The entries of Q are given by similar formulae using T(W t)=(Q,P). We note here the following identity, which follows from the above lattice path representation for T: setting p=n∧m, we have
To see this if n≤m, take the ratio of (3.10) for \(\varPi ^{(n-1)}_{n,n}\) and \(\varPi^{(n)}_{n,n}\). In the opposite case apply the same to W t.
Now, for \(X\in({\mathbb{R}}_{>0})^{n\times m}\) and \(s\in {\mathbb{C}}\), define
where the summation is over 1≤i≤n, 1≤j≤m with the conventions x ij =0 for i=0 or j=0. Note that, if X=(P,Q), then
where \({\mathcal{F}}_{s}\) is defined by (2.10). An important property of the maps b ij defined by (3.5) above is that they preserve the quantity \({\mathcal{E}}_{0}(X)\), that is, \({\mathcal{E}}_{0}\circ b_{ij}={\mathcal{E}}_{0}\). To see this, recall that the map b ij takes a matrix X=(x qr ) and replaces the entry x ij by
leaving the other entries unchanged, with the conventions that x 0j =x i0=0, x n+1,j =x i,m+1=∞ for 1<i<n and 1<j<m, and \(x_{10}+x_{01}=x_{n+1,m}^{-1}+x_{n,m+1}^{-1}=1\). It is readily verified that
with the conventions that \(x_{0j}=x_{i0}=x'_{0j}=x'_{i0}=0\) and \(x_{n+1,j}=x_{i,m+1}=x'_{n+1,j}=x'_{i,m+1}=\infty\) for each i and j. This implies \({\mathcal{E}}_{0}(b_{ij}(X))={\mathcal{E}}_{0}(X)\). We remark that, in particular, this implies \({\mathcal{E}}_{0}\circ h_{j}={\mathcal{E}}_{0}\), \({\mathcal{F}}_{0}\circ t_{j}={\mathcal{F}}_{0}\) for all j<m and, in the case m=n, \({\mathcal{F}}_{0}\circ q_{n-1}={\mathcal{F}}_{0}\), where q n−1 is the geometric analogue of Schützenberger’s involution defined by (3.7).
The cornerstone of the present paper is the following identity which, combined with Theorem 3.1, explains the appearance of \(\mathit{GL}(n,{\mathbb{R}})\)-Whittaker functions in the context of geometric RSK.
Theorem 3.2
Let \(W\in({\mathbb{R}}_{>0})^{n\times m}\), T=T(W) and \(s\in {\mathbb{C}}\). Then
where p=n∧m and ∑′ denotes the sum over 1≤i≤n, 1≤j≤m such that j≠p−i+1.
Proof
From the identity (3.11), we can assume without loss of generality that s=1. We will prove the theorem by induction on n and m. The statement is immediate in the case n=m=1. Write \(R_{i}=R_{i}^{n,m}\), T=T n,m and \({\mathcal{E}}_{s}^{n,m}\) for the mappings defined above. Recall that T m,n(W t)=[T n,m(W)]t, for any values of m and n. It therefore suffices to show that the proposition holds for T n,m, assuming that n≥m and that the proposition holds for T n−1,m.
Write W n−1,m =(w ij , 1≤i≤n−1, 1≤j≤m), S=T n−1,m(W n−1,m ) and T=T n,m(W). Then
and we are required to show that
Now,
where
Set
and, for k=1,…,m,
For \(X\in({\mathbb{R}}_{>0})^{n\times m}\) and 0≤k≤m, define
where X=(x ij ) and the first summation is over pairs of indices (i,j) such that either 1≤i<n and 1≤j≤m or i=n and 1≤j≤k, with the conventions x ij =0 for i=0 or j=0. Note that
We will show that
for each k=1,…,m. Note that this implies
for each k=1,…,m, and the statement of the theorem follows.
Let \(X=(x_{ij})\in({\mathbb{R}}_{>0})^{n\times m}\) and write
Note that \(x'_{ij}=x_{ij}\) for all (i,j) except (n−q+1,k−q+1), 1≤q≤k. Applying b nk ∘r k gives the relation
The next three relations follow from the invariance of \({\mathcal{E}}_{0}\) under the b ij mappings as discussed earlier, see (3.13). If (i,j)=(n−q+1,k−q+1) for some 1<q<k, then
If k<n, then
If k=n (this can only occur if m=n), then
It follows that \({\mathcal{E}}^{n,m;k}(X')={\mathcal{E}}^{n,m;k-1}(X)\), as required. □
Let s>0 and consider the measure on input matrices (w ij ) defined by
where \(\hat{\theta}_{i}+\theta_{j}>0\) for each i and j. Note that
Suppose \(W\in({\mathbb{R}}_{>0})^{n\times m}\) and T=T(W)=(P,Q). Define a mapping \(\sigma: ({\mathbb{R}}_{>0})^{n\times m} \to({\mathbb{R}}_{>0})^{p}\) by
where p=n∧m. The next two corollaries are essentially a re-formulation of two of the main results in [19].
Corollary 3.3
The push-forward of the measure \(\nu_{\hat{\theta},\theta;s}\) under the geometric RSK map T is given by
Proof
This follows immediately from Theorems 3.1, 3.2 and the relation (3.8). □
Corollary 3.4
The push-forward of \(\nu_{\hat{\theta},\theta;s}\) under σ is given by
Proof
This follows from Corollary 3.3 and the integral formula (2.11) for \(\varPsi^{p}_{\lambda;s}\). □
We also obtain from Theorems 3.1 and 3.2 the following integral identity. This is the analogue of the Cauchy-Littlewood identity in this setting.
Corollary 3.5
Suppose s>0, \(\lambda\in {\mathbb{C}}^{m}\) and \(\nu\in {\mathbb{C}}^{n}\), where n≥m and ℜ(λ i +ν j )>0 for all i and j. Then
Proof
From the definitions (2.11), (3.12), the identity (3.8), Theorems 3.1 and 3.2, and Fubini’s theorem,
as required. □
When m=n−1 this is equivalent to an integral identity which was conjectured by Bump [15] and proved by Stade [44, Theorem 3.4], see Theorem 7.4 below. We note that in this case, the identity is proved in [44] without assuming the condition ℜ(λ i +ν j )>0 for all i and j. In this case, the integral is associated with Archimedean L-factors of automorphic L-functions on \(\mathit{GL}(n-1,{\mathbb{R}})\times \mathit{GL}(n,{\mathbb{R}})\).
When n=m, (3.16) becomes:
Corollary 3.6
Suppose s>0 and \(\lambda,\nu\in {\mathbb{C}}^{n}\), where ℜ(λ i +ν j )>0 for all i and j. Then
Using (2.4), this is equivalent to the following integral identity for \(\mathit{GL}(n,{\mathbb{R}})\)-Whittaker functions, due to Stade [43], see Theorem 7.2 below.
Corollary 3.7
Stade
Suppose r>0 and \(\lambda,\nu\in {\mathbb{C}}^{n}\), where ℜ(λ i +ν j )>0 for all i and j. Then
Again, we note that this identity is proved in [43] without assuming the condition ℜ(λ i +ν j )>0 for all i and j. In this case, the integral is associated, via the Rankin-Selberg method, with Archimedean L-factors of automorphic L-functions on \(\mathit{GL}(n,{\mathbb{R}})\times \mathit{GL}(n,{\mathbb{R}})\).
Corollary 3.8
Suppose s>0 and \(\nu\in {\mathbb{C}}^{n}\) with ℜν i >0 for each i. Then, for each m≤n, the function \(\varPsi^{m}_{\nu;s}\) is in \(L_{2}(({\mathbb{R}}_{>0})^{m}, \prod_{i=1}^{m} dx_{i}/x_{i})\), and the function \(e^{-s x_{1}} \varPsi^{n}_{-\nu}(x)\) is in \(L_{2}(({\mathbb{R}}_{>0})^{n}, \prod_{i=1}^{n} dx_{i}/x_{i})\).
Proof
The first claim follows from Corollary 3.5 and the Plancherel theorem, as follows. We first note that, under the above hypotheses,
This is easily verified using Stirling’s approximation
Now, suppose \(f\in L_{2}(({\mathbb{R}}_{>0})^{m}, \prod_{i=1}^{m} dx_{i}/x_{i})\) such that \(\hat{f}\) is continuous and compactly supported on \(\iota {\mathbb{R}}^{m}\). By the Plancherel theorem, such functions are dense in \(L_{2}(({\mathbb{R}}_{>0})^{m}, \prod_{i=1}^{m} dx_{i}/x_{i})\) and, moreover, satisfy
almost everywhere. Indeed, for any \(g\in L_{2}(({\mathbb{R}}_{>0})^{m}, \prod_{i=1}^{m} dx_{i}/x_{i})\) which is continuous and compactly supported we have, by Fubini’s theorem,
This implies (3.17). Now, by Corollary 3.5,
It follows that, for \(f\in L_{2}(({\mathbb{R}}_{>0})^{m}, \prod_{i=1}^{m} dx_{i}/x_{i})\) such that \(\hat{f}\) is continuous and compactly supported on \(\iota {\mathbb{R}}^{m}\), the integral
is absolutely convergent, and so, by Fubini’s theorem,
Hence, using the Cauchy-Schwarz inequality,
This proves the first claim. The second claim follows from the first, letting m=n and using (2.4). □
Consider the probability measure on input matrices W defined by
where
The following result was obtained in [19].
Corollary 3.9
Suppose \(\hat{\theta}_{i}+\theta_{j}>0\) for each i and j, and (w.l.o.g.) that n≥m, θ i <0 for each i and \(\hat{\theta}_{j}>0\) for each j. Then, the Laplace transform of the law \(\tilde{\nu}_{\hat{\theta},\theta;s}\circ t_{nm}^{-1}\) of the polymer partition function t nm under \(\tilde{\nu}_{\hat{\theta},\theta;s}\) is given by
Proof
By Corollary 3.4,
By Corollary 3.8, the functions \(e^{-rx_{1}} \varPsi^{m}_{\theta}(x)\) and \(\varPsi^{m}_{\hat{\theta};s}(x)\) are in the space \(L_{2}(({\mathbb{R}}_{>0})^{m}, \prod_{i=1}^{m} dx_{i}/x_{i})\). The result follows, by Corollaries 3.6, 3.7 and the Plancherel theorem. □
4 Equivalence of old and new description of geometric RSK
We explain here the equivalence of the Noumi-Yamada row insertion construction [37] and the definition of geometric RSK given in Sect. 3. The input weight matrix (w ij ) is n×m, where m is fixed and n represents time. After n time steps the Noumi-Yamada process gives two patterns P={z kℓ } and \(Q=\{z'_{ij}\}\). P has height m, Q has height n, and their common shape vector \(z_{m\centerdot}=z'_{n\centerdot}\) is of length p=m∧n. The rows of Q indexed by s=1,…,n from top to bottom are the successive shape vectors (bottom rows) z m⬝(s)=(z m,ℓ (s))1≤ℓ≤m∧s of the temporal evolution {z(s):1≤s≤n} of the P pattern. Thus as in classic RSK the Q pattern serves as a recording pattern.
The Noumi-Yamada process begins with an empty pattern at time n=0. Then the following step is repeated for n=1,2,3,….
Noumi-Yamada construction for time step n−1→n.
Let z=z(n−1) denote the P pattern obtained after n−1 steps. Insertion of row w n⬝ of weights into z transforms z into \(\check{z}=z(n)\) as follows.
-
(i)
If n≥m+1 (in other words, the triangle was filled by time n−1), then
$$ \begin{aligned} &a_{k,1}=w_{n,k} & \textrm{for } 1\le k\leq m,\quad \ \ \, \\ &a_{k+1,\ell+1}=a_{k+1,\ell} \frac{z_{k+1,\ell} \check{z}_{k,\ell }}{\check{z}_{k+1,\ell} z_{k,\ell}} &\textrm{for } 1\le\ell \leq k<m, \\ & \check{z}_{k,\ell}= a_{k,\ell}(z_{k,\ell}+\check{z}_{k-1,\ell })&\textrm{for } 1\le\ell<k\leq m, \\ & \check{z}_{k,k}= a_{k,k}z_{k,k} &\textrm{for } 1 \le k\leq m.\quad \ \ \ \end{aligned} $$(4.1) -
(ii)
If n≤m, then the equations above define \(\check{z}_{k,\ell}\) for 1≤ℓ≤k∧(n−1). Set
$$ \check{z}_{k,n}=a_{n,n}\dotsm a_{k,n} \quad\text{for $k=n,\dotsc,m$,} $$(4.2)while \(\check{z}_{k,\ell}\) for ℓ≥n+1 remain undefined.
Proposition 4.1
Let (w ij ) be an n×m weight matrix and T=T(W) defined by (3.3). Then the output T is equivalent to the patterns (P,Q) obtained from n steps of the Noumi-Yamada evolution, through these equations:
Note in particular the common shape vector
Here is an illustration for n×m=3×6.
Proof of Proposition 4.1
We keep m fixed and do induction on n. In the case n=1, the m-vector \(\check{z}_{\centerdot 1}\) described by (4.2) is the same as that obtained by applying \(R_{1}=\pi^{m}_{1}=l_{1m}\circ\dotsm\circ l_{11} \) to the top row w 1⬝ of the weight matrix.
Suppose the statement is true for T n−1,m. Add the nth weight row w n⬝ to T n−1,m and call the resulting n×m matrix . Then \(T^{n,m}=R_{n}(\widetilde{T}^{n,m})\). From the definition of R n we see that on row i∈{1,…,n−1} it alters only elements \(\tilde{t}_{ij}\) for j−i≤m−n. Consequently after the application of R n , the induction assumption implies that (4.4) remains in force for 1≤s≤n−1. It only remains to check that (4.3) holds after the application of R n .
Again we do induction, starting from the bottom row of T n,m and moving up row by row. This corresponds to executing \(R_{n}= \pi^{(m-n)\vee0+1}_{(n-m)\vee0+1}\circ\dotsm\circ\pi ^{m-1}_{n-1}\circ\pi^{m}_{n}\) step by step.
Before applying \(\pi^{m}_{n}\), the two bottom rows of \(\widetilde{T}^{n,m}\) are
where we used the first row of (4.1). Apply \(\pi^{m}_{n}=l_{nm}\circ l_{n,m-1}\circ\dotsm\circ l_{n1}\). Only the bottom two rows are impacted. Use the notation from (4.1).
Now the bottom row of T n,m is in place. Note that the transformations above left in place \(z_{m1}=z'_{n1}\) as they should, for this entry is in accordance with (4.4).
Next, an application of \(\pi^{m-1}_{n-1}=l_{n-1,m-1}\circ l_{n-1,m-2}\circ\dotsm\circ l_{n-1,1}\) transforms rows n−2 and n−1 in this manner:
The bottom two rows of T n,m are in place. These steps continue until we arrive at T n,m. □
5 Symmetric input matrix
As it is needed in the following, we will write \(R_{i}^{n,m}\) and T=T n,m for the mappings defined in (3.2)–(3.3), and note the following recursive structure. Let \(W=(w_{ij})\in({\mathbb{R}}_{>0})^{n\times m}\) and write W k,m =(w ij , 1≤i≤k, 1≤j≤m). Recall that
Now, for each i≤n, the mapping \(R^{n,m}_{i}\) acts only on the first i rows of W and leaves the remaining rows of W unchanged. In fact, for each i≤k≤n, we have
where \(W_{k,m}^{c}=(w_{ij},\ k+1\le i\le n,\ 1\le j\le m)\). This property is immediate from the definitions. This gives the basic recursion
Recall that
In particular, if n=m and W is symmetric, then T n,n(W) is also symmetric.
Lemma 5.1
Suppose that n=m and W is symmetric.
(a) The following recursion holds:
Moreover, if we denote by (s ij ) the elements of the (n−1)×n matrix
and by (t ij ) the elements of T n,n(W), then
(b) For n≥1 we have this identity:
Proof
Part (a). Using (5.1), (5.2) and the fact the W is symmetric,
This proves the first claim. So we have
where \(S\in({\mathbb{R}}_{>0})^{(n-1)\times n}\). To prove the second claim, first note that the mapping \(R^{n,n}_{n}\) leaves the elements of its input matrix which are strictly above the diagonal unchanged. Thus, t ij =s ij for 1≤i<j≤n. Using this, the symmetry of T, and recalling how the row insertion procedure works (see Sect. 4), we see that
and so on; for 2≤i≤n−1 we have t ii =s i,i+1 s i−1,i /s ii and then finally,
as required.
Part (b). The second equality in (5.6) is a consequence of (4.3). The first equality is proved by induction on n. Cases n=2 and n=3 are checked by hand.
Suppose (5.6) is true for n−1. Observe first from the definition of the mappings that \(R^{n,n-1}_{n}\) operating on does not alter the diagonal \(\{ t^{n-1}_{ii}\}_{1\le i\le n-1}\) of T n−1,n−1. Consequently (5.4) implies that \(s_{ii}=t^{n-1}_{ii}\) for 1≤i≤n−1.
Suppose n is even. Then the middle fraction of (5.6) develops as follows, through equations (5.5), \(s_{ii}=t^{n-1}_{ii}\) and by induction:
The case of odd n develops similarly except that now the product in the numerator finishes with s 12/2s 11 and consequently the factors of 2 cancel each other. □
Theorem 5.2
Suppose that n=m and W is symmetric. Then T=T(W)=(t ij ) is also symmetric, and the Jacobian of the map
is ±1.
Proof
We prove this by induction on n. When n=2, we have t 11=w 12/2, t 12=w 11 w 12, t 22=2w 11 w 12 w 22 and the result is immediate. Now, by the previous lemma,
Denoting by (s ij ) the elements of the matrix
we have, by the previous lemma,
This expresses the n(n+1)/2 variables t ij , 1≤i≤j≤n as a function, which we shall denote by F, of the n(n+1)/2 variables s ij ,1≤i<j≤n and s 11,…,s n−1,n−1,w nn .
Denote by \(t^{n-1}_{ij}\) the elements of the symmetric matrix T n−1,n−1(W n−1,n−1). By the induction hypothesis, the map
has Jacobian ±1. The mapping \(R^{n,n-1}_{n}\) on the whole of \(({\mathbb{R}}_{>0})^{n\times(n-1)}\) is a composition of l ij -maps and hence has Jacobian ±1 in logarithmic variables; since it leaves matrix elements above the diagonal unchanged, its restriction to the space of matrix elements on and below the diagonal also has Jacobian ±1 in logarithmic variables. It follows that the mapping
has Jacobian ±1. It therefore remains only to show that the Jacobian sub matrix of the map F (in logarithmic variables) which corresponds to the variables (logs 11,…,logs n−1,n−1,logw nn ) and (logt 11,…,logt nn ) has determinant ±1. From (5.7), this sub matrix is given by
which completes the proof. □
Consider the measure on symmetric input matrices with positive entries defined by
where \(\alpha\in {\mathbb{R}}^{n}\) and \(\zeta \in {\mathbb{R}}\) satisfy α i +ζ>0 for each i and α i +α j >0 for i≠j. Note that
In this setting we have R=C and so, using (3.8) and Lemma 5.1(b),
Thus, by Theorems 3.2 and 5.2, we obtain the following result.
Corollary 5.3
The push-forward of ν α,ζ under σ is given by
where
If \(\lambda\in {\mathbb{C}}^{n}\) and \(\gamma\in {\mathbb{C}}\) satisfy ℜ(λ i +γ)>0 for each i, and ℜ(λ i +λ j )>0 for i≠j, then
Now, using (2.2) we can strengthen this to:
Corollary 5.4
Suppose \(\lambda\in {\mathbb{C}}^{n}\) and \(\gamma\in {\mathbb{C}}\) satisfy ℜ(λ i +γ)>0 for each i, and ℜ(λ i +λ j )>0 for i≠j. Then, for s>0,
where
By (2.4) this is equivalent to the following identity which is equivalent to an integral identity conjectured by Bump and Friedberg [16] and proved by Stade [44, Theorem 3.3], see Theorem 7.5 below. We note that in [44] the corresponding statement is proved without any restrictions on the parameters. This integral is associated with an Archimedean L-factor of an exterior square automorphic L-function on \(\mathit{GL}(n,{\mathbb{R}})\).
Corollary 5.5
(Stade)
Suppose \(\lambda\in {\mathbb{C}}^{n}\) and \(\gamma \in {\mathbb{C}}\) satisfy ℜ(λ i +γ)>0 for each i, and ℜ(λ i +λ j )>0 for i≠j. Then, for s>0,
where \(x'_{i}=1/x_{n-i+1}\).
Note that f(x′)=f(x) if n is even and f(x′)=1/f(x) if n is odd.
Now, consider the probability measure on symmetric matrices with positive entries defined by
where
From Corollary 5.3, we obtain:
Corollary 5.6
The Laplace transform of the law of the polymer partition function t nn under \(\tilde{\nu}_{\alpha,\zeta }\) is given for r>0 by
Remark
(A formal computation)
In the following, we formally rewrite the above formula as a multiple contour integral which we expect to be valid, at least in some suitably regularized sense. Let ϵ>0 and set \(\alpha_{i}'=\alpha_{i}+\epsilon\). It follows from Corollary 3.6 (or 3.8) that the function \(e^{-\frac{1}{2x_{n}}} \varPsi^{n}_{\alpha'}(x)\) is in \(L_{2}(({\mathbb{R}}_{>0})^{n},\prod_{i=1}^{n} dx_{i}/x_{i})\). Moreover, by Corollary 3.6, for \(\lambda\in\iota {\mathbb{R}}^{n}\),
Thus, by the Plancherel theorem, for any \(g\in L_{2}(({\mathbb{R}}_{>0})^{n},\prod_{i=1}^{n} dx_{i}/x_{i})\) we can write
Suppose n is even. By Corollary 5.5, if r>0 and ℜλ i >0 for each i,
By (2.3) it follows that, for ϵ>0 and \(\lambda\in \iota {\mathbb{R}}^{n}\),
Formally, combining (5.11), (5.13) and (5.12) yields the following integral formula for the Laplace transform of the law of the polymer partition function t nn under the probability measure \(\tilde{\nu}_{\alpha,\zeta }\):
or, equivalently,
where the integration is along vertical lines with ℜλ i >0 for each i. If n is odd, we similarly formally obtain, this time using Theorem 7.4 instead of Corollary 5.5 because in this case f(x′)ζ=f(x)−ζ and ζ>0,
where the integration is along vertical lines with ℜλ i >0 for each i. It seems reasonable to expect the integral formulas (5.15) and (5.16) to be valid, at least in some suitably regularized sense.
6 Geometric RSK for triangular arrays and paths below a hard wall
In this section we introduce a birational, geometric RSK type mapping \(T^{\Delta }_{n}\) that maps triangular arrays X n =(x ij ,1≤j<i≤n) to triangular arrays T=(t ij ,1≤j<i≤n), both with positive real entries. The motivation comes from the symmetric polymer of Sect. 5, with a (de)pinning parameter ζ that tends to infinity. This will become clear later on in Proposition 6.4 (see also the remarks at the end of the section). Notions like the type and the shape can be defined also for this mapping. We prove that it satisfies a version of the fundamental identity (Theorem 3.2) and preserves volume in logarithmic variables. Moreover, we can relate the shape to partition functions of nonintersecting paths below a “hard wall”, that is, paths restricted to {(i,j):j<i}.
For n=2 the mapping is defined by
For n≥3 we define inductively
with X n−1=(x ij ,1≤j<i≤n−1) and
where
and \(\rho^{n}_{j}\) is defined in (3.4). To complete the definition of \(T^{\Delta }_{n}\) we define the mappings \(b^{\Delta , n}_{j,j-1}\) and \(r^{\Delta }_{n,n-1}\) on a triangular array X n =(x ij ,1≤j<i≤n). This is done as follows. The mapping \(r^{\Delta }_{n,n-1}\) replaces x n,n−1 by 1/x n,n−1. Observing the conventions x i0=x n+1,n−1=1, make these definitions:
-
For \(k=0,1,2,\dotsc,\lfloor{\frac{n}{2}}\rfloor -1\), \(b^{\Delta , n}_{n-2k,n-2k-1}\) replaces x n−2k,n−2ki−1 with
$$\begin{aligned} x'_{n-2k,n-2k-1} =&\frac{x_{n-2k+1,n-2k-1} x_{n-2k,n-2k-2}}{x_{n-2k,n-2k-1}}. \end{aligned}$$(6.5) -
For \(k=1,2,\dotsc,\lfloor{\frac{n-1}{2}}\rfloor\), \(b^{\Delta , n}_{n-2k+1,n-2k}\) is the identity mapping.
We present explicitly the cases n=3,4 to clarify the definitions. For n=3,
For n=4,
For a triangular array X=(x ij , 1≤j<i≤n) define
with the convention that x i0=x ii =0 for i=1,…,n. Here is the analogue of Theorem 3.2 for triangular arrays.
Theorem 6.1
Let W n =(w ij , 1≤j<i≤n ) with \(w_{ij}\in\mathbb {R}_{>0}\). Then the output array \(T_{n}=T^{\Delta }_{n}(W)\) satisfies
Proof
We will show that
To this end, let \(T^{0}=T^{\Delta }_{n-1}(W_{n-1})\) and \(T^{k}=\rho^{\Delta ,n}_{k}\circ\cdots\circ\rho^{\Delta ,n}_{1}(T^{\Delta }_{n-1}(W_{n-1}))\) for k=1,2,…,n−1. For a triangular array X define
where summation \(\sum_{ij}^{(k)}\) is over all indices (i,j) such that 1≤j<i≤n, but (i,j)≠(n,k+1),…,(n,n−1). The boundary conventions x i0=x ii =0 are still in force. We will show that
and this will conclude the proof. Notice that for k=1,2,…,n−2 this fact is already included in the proof of Theorem 3.2, since \(\rho^{\Delta ,n}_{i}=\rho^{n}_{i}\) for i≤n−2. To check the case k=n−1, let X=T n−2 and \(X'=\rho^{\Delta ,n}_{n-1}(X)=T^{n-1}\). Since \(\rho^{\Delta ,n}_{n-1}\) alters only the elements x i,i−1,i=2,…,n, and leaves the rest unchanged,
where in the summation \(\tilde{\sum}\) we set appearances of terms x i,i−1,i=2,…,n, equal to zero. Consider the three parts of line (6.7).
First
because either n is odd and \(x'_{21}=x_{21}\), or n is even and \(x'_{21}=x_{31}/x_{21}\). The middle terms satisfy
either by virtue of (6.5) if i=n−2k, or because \(x'_{i,i-1}=x_{i,i-1}\) when i=n−2k+1. Finally,
by (6.5) and the definition of \(r^{\Delta }_{n,n-1}\). Making these substitutions on line (6.7) converts \({\mathcal{E}}^{\Delta ,n,n-1}(X')\) into \({\mathcal{E}}^{\Delta ,n,n-2}(X)\) and completes the proof. □
The following theorem states the volume preserving property of the map \(T^{\Delta }_{n}\). It follows from the volume preservation of the individual steps in (6.4).
Theorem 6.2
Let W=(w ij ,1≤j<i≤n)∈(R >0)n(n−1)/2 as above, and consider the mapping \(W\mapsto T^{\Delta }_{n}(W)= (t_{ij}, 1\leq j < i\leq n)\). In logarithmic variables
has Jacobian equal to ±1.
Consider a triangular array W=(w ij ,1≤j<i≤n) and the output pattern \(P^{\Delta }=T^{\Delta }_{n}(W)=(t_{ij}, 1\leq j<i \leq n)\). The shape of the pattern P Δ is defined as
Our next goal is to relate the shape to ratios of partition functions. Let \(\varPi^{(r)}_{n}\) be the collection of r-tuples of non-intersecting nearest-neighbor lattice paths π 1,…,π r that start at positions (2,1),(3,2),…,(r+1,r), end at positions (n,n−1),(n−1,n−2),…,(n−r+1,n−r), and stay strictly below the diagonal in the matrix picture, i.e. never leave the set {(i,j):1≤j<i≤n}. See Fig. 2. Naturally 1≤r≤n/2. Denote the partition sums by
The definition includes the case of a path consisting of a single point, which happens when n is even and r=n/2.
The next theorem states that the odd coordinates of the shape vector \(\operatorname{sh} P^{\Delta }\) are given by ratios of partition functions.
Theorem 6.3
Consider a triangular array \(W=(w_{ij}, 1\leq j<i\leq n)\in({\mathbb{R}}_{>0})^{n(n-1)/2}\), the output pattern \(P^{\Delta }=T^{\Delta }_{n}(W)=(t_{ij}, 1\leq j<i\leq n)\) and the partition functions z r ,r=1,2,…,⌊n/2⌋ as defined in (6.8). Then
The proof of this theorem will be presented after Proposition 6.4 below. Define an operator \(\varLambda^{\varepsilon }_{n}\) acting on n×n matrices W by
and \(w_{11}\mapsto\frac{1}{2}w_{11}\), if n is even, while w 11↦εw 11, if n is odd.
Let \(W_{n}^{\Delta }=(w_{ij}^{\Delta ,n},\,\, 1\leq j< i\leq n)\) be a given triangular array. Let \(W_{n}^{\varepsilon}\) be the symmetric n×n matrix with \(w_{ii}^{\varepsilon }=\varepsilon \) for 1≤i≤n and \(w_{ij}^{\varepsilon }=w_{ij}^{\Delta ,n}\) for 1≤j<i≤n. Finally, denote by \(T^{\diamond }_{n}(W_{n}^{\Delta })=(w^{\diamond ,n}_{ij},\,\,\, 1\leq i,j\leq n)\) a symmetric n×n output matrix whose lower triangular part (t ij , 1≤j<i≤n) agrees with the output array \(T^{\Delta }_{n}(W^{\Delta }_{n})\), while the diagonal elements (t ii ) i=1,…,n are determined by
Proposition 6.4
Let T n,n be the geometric RSK mapping on n×n matrices with positive entries, defined in (3.3), and \(W^{\varepsilon }_{n},\,\varLambda ^{\varepsilon }_{n},\, T^{\diamond }_{n},\,W^{\Delta }_{n}\) as above. Then, as ε↘0,
where \(S_{n}^{\varepsilon }\) is an n×n matrix of lower order terms, specifically
Proof
From (5.3) we have this recursion:
Symmetry of \(W^{\varepsilon }_{n}\) makes \(T^{n,n}(W^{\varepsilon }_{n})\) also symmetric. Since \(\rho^{n}_{n}\) alters only diagonal elements, the matrix must be symmetric just before the last application of \(\rho^{n}_{n}\). The mappings \(\rho^{n}_{n-1}\circ\dotsm\circ\rho^{n}_{1}\) alter only entries strictly below the diagonal. Consequently we can skip the steps \(\rho^{n}_{n-1}\circ\dotsm\circ\rho^{n}_{1}\) if we simply take the upper triangular part of the matrix just before and extend it to a symmetric matrix. We insert one extra transposition and then keep the lower triangular instead of the upper triangular part. In other words, let
and define the symmetric matrix \(\tilde{W}=\{\tilde{w}_{ij},\, 1\leq i,j\leq n\}\) by \(\tilde{w}_{ij}=w'_{ij}\) for 1≤j≤i∧(n−1) and \(\tilde{w}_{nn} =\varepsilon \). Then \(T^{n,n}(W^{\varepsilon }_{n}) =\rho ^{n}_{n}(\tilde{W})\). In particular, the part of \(T^{n,n}(W^{\varepsilon }_{n})\) strictly below the diagonal is already present in W′.
We prove (6.10) by induction on n. Case n=2 begins with \(W_{2}^{\Delta }=(w_{21})\), from which
Assume that
Abbreviate \(T^{\varepsilon }=(t^{\varepsilon }_{ij},\,1\leq i,j\leq n-1)=T^{n-1,n-1}(W^{\varepsilon }_{n-1})\) so that the induction assumption reads:
We now perform the mapping
inductively. Assume that we have applied the transformations
and this has resulted in output entries
where \(w^{\diamond ,n}_{ij}\) denotes the entries of the matrix \(T^{\diamond }_{n}(W^{\Delta }_{n})\) (recall that the lower triangular part of \(T^{\diamond }_{n}(W^{\Delta }_{n})\) is identical to \(T^{\Delta }_{n}(W^{\Delta }_{n})\)). This is readily checked when k−1=1. We will show that this is also true after the transformation \(\rho^{n}_{k}\). To this end, using the relations (3.6) and (3.5), we have that
and this verifies the proposition for the above entries. The next step is to confirm that \(w'_{n-j,n-j-1}=\varepsilon w^{\diamond ,n}_{n-j,n-j-1}+o(\varepsilon )\) for j=0,…,n−2. To this end, assume that we have performed the transformations \(\rho^{n}_{n-2}\circ\cdots\circ\rho^{n}_{1}\) and then we operate with \(\rho^{n}_{n-1}\). First for j=0,
For j>0
To develop this further we distinguish between odd and even j. For even j,
where the last step came from (6.5). In the odd case
The second last equality follows from the fact that \(T^{\diamond }_{n-1}(W_{n-1}^{\Delta })\) satisfies (6.9) with n replaced by n−1. The last equality comes from the definition of \(b^{\triangle,n}_{n-j,n-j-1}\) as the identity mapping (see the bullet below (6.5)). In the case (n−j,n−j−1)=(2,1) we need to distinguish between the case n is even or odd. In the even case we have
where the second to last equality follows from (6.9), since (n−1) is odd and therefore \(w^{\diamond ,{n-1}}_{11} =1\). The case that n is odd follows similarly.
To complete the construction of \(T^{n,n}(W^{\varepsilon }_{n})\), extend W′ to the symmetric matrix \(\tilde{W}\) as explained above and define \(W'' =\rho^{n}_{n}(\tilde{W})\). By computations similar to the ones above and by symmetry, the diagonal elements \((w''_{ii})_{i=1,\dotsc,n}\) satisfy \(w''_{n-2k,n-2k}=2\varepsilon ^{2} w^{\diamond ,n}_{n-2k,n-2k-1}\) and \(w''_{n-2k-1,n-2k-1}=\frac{1}{2}w^{\diamond ,n}_{n-2k,n-2k-1}\) for k=0,1,…. The proof is then complete. □
Proof of Theorem 6.3
Consider a symmetric, n×n, matrix, \(W^{\varepsilon }_{n}\), with diagonal weights, w ii =ε, i=1,2,…,n. Let v r denote the partition sum introduced in (3.10) with k=m=n:
The key observation is the following. For 1≤k≤⌊n/2⌋,
and
where z 0=1, z r is defined by (6.8), and the unspecific notation V(ℓ) represents any sum of products of weights where each term contains at least ℓ diagonal weights w ii .
To see the origin of (6.14)–(6.15), consider first v 1, the sum of products ∏(i,j)∈π w ij over all paths π from (1,1) to (n,n). Those products that contain only weights w 11 w nn from the diagonal correspond to paths that stay either strictly above or strictly below the diagonal, except at points (1,1) and (n,n). By the symmetry of the weights this gives two copies of z 1. Similarly for v 2, pairs (π 1,π 2) that intersect the diagonal only at {(1,1),(n,n)} correspond to pairs such that π 2 connects (1,2) to (n−1,n) above the diagonal and π 1 connects (2,1) to (n,n−1) below the diagonal. Weights of paths are multiplied, and so symmetry gives \(z_{1}^{2}\). The higher cases work the same way.
For the symmetric weight matrix the shape vector x=(x 1,…,x n ) is given by
Here we recalled that the shape vector is the bottom row z n⋅ of the P pattern, see (2.8), and combined (3.10) with (4.3).
Since w ii =ε, (6.14)–(6.16) combine to give the following asymptotics for k=1,2,…,⌊n/2⌋ as ε↘0:
The proof can be now completed by comparing to (6.10) and using (6.9). □
For a triangular array \(X=(x_{ij},\,1\leq j< i\leq n)\in(\mathbb {R}_{>0})^{n(n-1)/2}\) we define its type, \(\tau=(\tau^{n}_{j})_{0\le j\le n-1}=\text{type} \,X\), as the vector with entries
where
Proposition 6.5
Let W n =(w ij , 1≤j<i≤n) with \(w_{ij}\in\mathbb {R}_{>0}\). We have
Proof
Let us first notice that if X=(x ij , 1≤j<i≤n) is a triangular array and \(X'=\rho^{\Delta ,n}_{j}(X)\), then
To check this we notice that \(\rho^{\Delta ,n}_{j}=\rho^{n}_{j}=h_{j}\circ r_{j}\), where h j and r j are defined in (3.6) via the Bender-Knuth transformations. Let us recall that
with the same convention as in (3.5). Multiplying the various relations (6.19) for (i,j)=(n,j),…,(n−j+1,1) leads to (6.18). Iterating this leads to
Denoting by \(w'_{ij}\) the elements of \(T^{\Delta }_{j+1}(W_{j+1})\), by \(w^{\dagger}_{ij}\) the elements of \(T^{\Delta }_{j}(W_{j})\) and using the transformations in (6.5) we obtain that
Using Theorem 6.3 we have that
The definition below (6.5) implies that
for ℓ=0,…,⌊(j−1)/2⌋−1 and using again Theorem 6.3 we obtain
Combining the last three relations gives
and this completes the proof. □
By combining Theorems 6.1 and 6.2 and Proposition 6.5 we identify the probability distribution of the shape vector of the triangular array under inverse gamma weights. The mapping that gives the shape vector is \(\sigma^{\Delta }: ({\mathbb{R}}_{>0})^{n(n-1)/2} \to({\mathbb{R}}_{>0})^{n-1}\) defined by
Consider the probability measure
on the space of triangular arrays \((w_{ij},\,1\leq j < i\leq n)\in({\mathbb{R}}_{>0})^{n(n-1)/2}\), where α=(α 1,…,α n ), α i +α j >0 and the normalization is
Corollary 6.6
For the λ α -distributed triangular array of weights, the distribution of the shape vector is given by
where α′=(α 1,…,α n−1).
Proof
Let \(T=(t_{ij},\,\,1\leq j< i \leq n)=T^{\Delta }_{n}(W)\). We convert the density (6.22) into t ij variables. By Proposition 6.5,
From the proof of Proposition 6.5 (after relation (6.20)),
Combine these with Theorem 6.1 to obtain
By the volume preserving property of the W↦T map (Theorem 6.2),
The result then follows by integrating over the variables (t ij ,1≤j<i−1,1≤i≤n) and the definition of the Whittaker function. □
As a further corollary we record the distribution of the vector (z 1,z 2/z 1,…,z ⌊n/2⌋/z ⌊n/2⌋−1) of ratios of partition functions z r defined by (6.8). The result comes by combining Corollary 6.6 with Theorem 6.3.
Corollary 6.7
Let the array of weights (w ij , 1≤j<i≤n) have distribution λ α of (6.22), and as before α=(α 1,…,α n )=(α′,α n ). Then the distribution of the vector (z 1,z 2/z 1,…,z ⌊n/2⌋/z ⌊n/2⌋−1), with the partition functions z r defined in (6.8), is given as follows in terms of the integral of a bounded Borel function φ:
The results above are related to those of symmetric weight matrices in several ways.
(i) Replace n with n−1 in Corollary 5.3 and consider a symmetric (n−1)×(n−1) weight matrix with distribution (5.10), and set ζ=α n . Let σ 1=t n−1,n−1 be the polymer partition function of the symmetric matrix, or equivalently, the front element of its shape vector. Then a comparison of (6.23) and (5.9) reveals that the distribution of the partition function z 1 is identical to the distribution of 2t n−1,n−1.
(ii) Corollary 6.6 can be obtained as the ζ→∞ limit of Corollary 5.3. Using the recursive structure (2.1) of Whittaker functions, namely \(\varPsi^{n}_{\alpha}= Q^{n,n-1}_{\alpha_{n}}\varPsi^{n-1}_{\alpha'}\), one can show that
where “⇒” denotes weak convergence of probability measures. Under the measure \(\tilde{\nu}_{\alpha,\zeta }\) the diagonal element w ii of the symmetric input matrix has probability distribution
and hence its reciprocal \(w_{ii}^{-1}\) is twice a gamma variable with parameter α i +ζ. Consequently ζw ii →1/2 almost everywhere as ζ→∞. Thus w ii decays as (1/2)ζ −1. This corresponds to the appearance, in our proof, of triangular arrays with diagonal elements ε→0.
(iii) From a physical point of view, the limit ζ→∞, or equivalently ε→0, introduces a depinning effect on the polymer, which is responsible for the appearance of the hard wall phenomenon.
7 Whittaker integral identities
In this section, we recall three integral identities for Whittaker functions which were proved in the papers [43, 44], and explain how they are equivalent to (and in fact generalized by) those which have appeared naturally in the context of the present paper (Corollaries 3.5, 3.7 and 5.5). We first note that the functions W n,a (y) introduced in Sect. 2 are denoted by W n,2a (y) in the papers [43, 44]. The following identity was conjectured by Bump [15] and proved by Stade [43, Theorem 1.1].
Theorem 7.1
(Stade)
For \(s\in {\mathbb{C}}\), \(a,b\in {\mathbb{C}}^{n}\) with ∑ i a i =∑ i b i =0,
This integral is associated, via the Rankin-Selberg method, with Archimedean L-factors of automorphic L-functions on \(\mathit{GL}(n,{\mathbb{R}})\times \mathit{GL}(n,{\mathbb{R}})\). Using (2.5), it is straightforward to see that this is equivalent to:
Theorem 7.2
(Stade)
Suppose r>0 and \(\lambda,\nu\in {\mathbb{C}}^{n}\). Then
Indeed, if we let
and s=(1/n)∑ i (λ i +ν i ) then, using (2.5) and (2.3), (7.1) becomes
where \(\pi y_{j} =\sqrt{x_{n-j+1}/x_{n-j}} \) for j=1,…,n−1. It is important to note here that we are regarding \(\varPsi^{n}_{-\nu}(x) \varPsi^{n}_{-\lambda}(x) x_{1}^{-ns}\) as a function of y 1,…,y n−1. Now, writing
we can absorb this into the integral, changing variables from y 1,…,y n−1,x 1 to x 1,…,x n , to obtain
The identity (7.2) follows, using (2.2).
The second identity is a formula for the Mellin transform
for \(s\in {\mathbb{C}}\), n≥3 and \(a\in {\mathbb{C}}^{n}\), \(b\in {\mathbb{C}}^{n-1}\) with ∑ i a i =∑ j b j =0. This integral is associated with Archimedean L-factors of automorphic L-functions on \(\mathit{GL}(n-1,{\mathbb{R}})\times \mathit{GL}(n,{\mathbb{R}})\). The following identity was conjectured by Bump [15] and proved by Stade [44, Theorem 3.4].
Theorem 7.3
(Stade)
Now, for \(\lambda\in {\mathbb{C}}^{n}\) and r>0,
Using this, and the relations (2.5) and (2.4), it is straightforward to see that Theorem 7.3 is equivalent to:
Theorem 7.4
(Stade)
Let r>0, \(\lambda\in {\mathbb{C}}^{n-1}\) and \(\nu\in {\mathbb{C}}^{n}\). Then
The third identity is a formula for the Mellin transform
for particular values of s=(s 1,…,s n−1) lying on a two-dimensional subspace of \({\mathbb{C}}^{n-1}\). This integral is associated with an Archimedean L-factor of an exterior square automorphic L-function on \(\mathit{GL}(n,{\mathbb{R}})\). The following identity was conjectured by Bump and Friedberg [16] and proved by Stade [44, Theorem 3.3].
Theorem 7.5
Stade
Let \(s_{1},s_{2}\in {\mathbb{C}}\) and \(a\in {\mathbb{C}}^{n}\) with ∑ i a i =0. Suppose that, for 2<j≤n−1, s j =ϵ(j)s 1+(j−ϵ(j))s 2/2, where ϵ(j)=1 if j is odd and 0 otherwise. Set s n =ϵ(n)s 1+(n−ϵ(n))s 2/2. Then for s=(s 1,…,s n−1),
In terms of the \(\varPsi^{n}_{\lambda}\), this is equivalent to the following identity, which is straightforward to verify using (2.5) and (2.2) as above.
Theorem 7.6
(Stade)
Suppose r>0, \(\lambda\in {\mathbb{C}}^{n}\) and \(\gamma\in {\mathbb{C}}\). Then
where \(x'_{i}=1/x_{n-i+1}\), \(f(x)=\prod_{i} x_{i}^{(-1)^{i}}\) and
Note that f(x′)=f(x) if n is even and f(x′)=1/f(x) if n is odd.
8 Tropicalization, last passage percolation and random matrices
The geometric RSK correspondence is a geometric lifting of the (Berenstein-Kirillov extension of the) RSK correspondence. Going the other way, let \(x^{\epsilon}_{ij}=e^{y_{ij}/\epsilon}\) where \(Y=(y_{ij})\in {\mathbb{R}}^{n\times m}\) and ϵ>0. Let \(X^{\epsilon}=(x^{\epsilon}_{ij})\) and \(T^{\epsilon}=(t^{\epsilon}_{ij})=T(X^{\epsilon})\). Then the mapping \(U:{\mathbb{R}}^{n\times m}\to {\mathbb{R}}^{n\times m}\) defined by U(Y)=(u ij ) where \(u_{ij}=\lim_{\epsilon\to0} \epsilon\log t^{\epsilon}_{ij}\) is the extension of the RSK mapping to matrices with real entries introduced by Berenstein and Kirillov [10]. We identify the output U(Y) with a pair of patterns as before, but now the entries are allowed to take real values. In this context, we define a real pattern of height h and shape \(x\in {\mathbb{R}}^{n}\) as an array of real numbers
with bottom row r h⋅=x. The range of indices is
Fix a real pattern R as above. Set s 0=1 and, for 1≤i≤h, \(s_{i}=\sum_{j=1}^{i\wedge n} r_{ij}\) and c i =s i −s i−1. We shall refer to c as the type of R and write c=type(R). Denote by Σ h(x) the set of real patterns with shape x and height h. We say that a real pattern R is a (generalized) Gelfand-Tsetlin pattern if r nn ≥0 and it satisfies the interlacing property r i+1,j+1≤r ij ≤r i+1,j for all (i,j)∈L(n,h) with i<h, with the conventions r i+1,n+1=0 for i=n,…,h−1. Denote the set of generalized Gelfand-Tsetlin patterns with height h and shape \(x\in {\mathbb{R}}_{+}^{n}\) by GT h(x). This is a Euclidean polytope of dimension d=n(n−1)/2+(h−n+1)n. Denote the corresponding Euclidean measure by dR. The analogue of the Whittaker functions in this setting are the functions J λ (x) defined, for \(\lambda\in {\mathbb{C}}^{h}\) and \(x\in {\mathbb{R}}_{+}^{n}\) by
Note that, from (2.11), we have
If h=n then \(J_{\lambda}(x)=\det(e^{-\lambda_{i} x_{j}})/\Delta(\lambda )\) where Δ(λ)=∏ i>j (λ i −λ j ) (see, for example, [39]).
The analogue of Theorem 3.2 in this setting is the following. This result can be inferred directly from results of [10] (see Property 8 after the statement of Theorem 1.1) or seen as a consequence of Theorem 3.2. We identify the output U(Y) with a pair of real patterns (R,S) of respective heights m and n, and common shape (u nm ,…,u n−p+1.n−p+1), where p=n∧m.
Corollary 8.1
The output U(Y)=(R,S) is a pair of generalized Gelfand-Tsetlin patterns if, and only if, all of the entries of Y are non-negative.
We note that the corresponding statement for matrices with integer entries follows as a particular case. If Y has non-negative integer entries then the pair of generalized Gelfand-Tsetlin patterns obtained can be interpreted in the usual way as the pair of semistandard tableaux obtained via the RSK correspondence.
The Berenstein-Kirillov [10] definition of U in terms of lattice paths is given as follows. For 1≤k≤m and 1≤r≤n∧k,
where \(\varPi^{(r)}_{n,k}\) denotes the set of r-tuples of non-intersecting directed nearest-neighbor lattice paths π 1,…,π r starting at positions (1,1),(1,2),…,(1,r) and ending at positions (n,k−r+1),…,(n,k−1),(n,k) (see Fig. 1). This determines the entries of R. The entries of S are given by similar formulae using U(Y t)=(S,R). In particular,
where \(\varPi^{(1)}_{n,m}\) is the set of directed nearest-neighbor lattice paths in \({\mathbb{Z}}^{2}\) from (1,1) to (n,m). This formula provides a connection to last passage directed percolation which we will discuss shortly. The formula (8.1) is the analogue of Greene’s theorem in this setting (see, for example, [23, §3.1]).
The local move description of Sect. 3 carries over to the tropical setting, as follows. For convenience and clarity we adopt the same notation as in the geometric setting. For each 2≤i≤n and 2≤j≤m define a mapping l ij which takes as input a matrix \(Y=(y_{ij})\in {\mathbb{R}}^{n\times m}\) and replaces the submatrix
of Y by its image under the map
and leaves the other elements unchanged. For 2≤i≤n and 2≤j≤m, define l i1 to be the mapping that replaces the element y i1 by y i−1,1+y i1 and l 1j to be the mapping that replaces the element y 1j by y 1,j−1+y 1j . As before we define l 11 to be the identity map. For 1≤i≤n and 1≤j≤m, set
and, for 1≤i≤n,
Then the Berenstein-Kirillov map is given by
Now observe that each l ij is invertible. Indeed, the inverse of the map (8.3) is given by
and the boundary moves l 1j , l i1 are clearly invertible. It follows that the map U is invertible. Moreover, U preserves the Lebesgue measure on \({\mathbb{R}}^{n\times m}\). The Jacobians of the l ij are clearly almost everywhere equal to ±1. Combining this with Corollary 8.1 we conclude that the restriction of U to \({\mathbb{R}}_{+}^{n\times m}\) is volume preserving with respect to the Euclidean measure, injective and its image is given by the Euclidean set of pairs of generalized Gelfand-Tsetlin patterns with respective heights m and n, having the same shape in
Finally, we recall the following straightforward fact. If we define row and column sums r i =∑ j y ij and c j =∑ i y ij , then type(S)=r and type(R)=c. Note that this implies, for \(\lambda\in {\mathbb{C}}^{m}\) and \(\nu\in {\mathbb{C}}^{n}\),
The analogue of the Cauchy-Littlewood identity in this setting (cf. Corollary 3.5) is thus given as follows.
Proposition 8.2
Suppose \(\lambda\in {\mathbb{C}}^{m}\) and \(\nu\in {\mathbb{C}}^{n}\), where n≥m and ℜ(λ i +ν j )>0 for all i and j. Then
This basic structure has been exploited in the papers [4, 13, 21, 22, 33] to study last passage percolation models with exponential weights, as we shall now explain. We note that the development in those papers is via a discrete approximation and as such differs from the present framework, but the main ideas are the same. Let \(a\in {\mathbb{R}}^{n}\) and \(b\in {\mathbb{R}}^{m}\) such that a i +b j >0 for all i and j. Consider the measure on input matrices \((y_{ij})\in {\mathbb{R}}_{+}^{n\times m}\) defined by
From the above, it follows that the push-forward of ν a,b under the map U is given by
Now, the variable u nm defined by (8.2) has the interpretation as a last passage time in the percolation model on the lattice with weights given by the y ij . Choosing these weights at random so that they are independent and exponentially distributed with respective parameters a i +b j corresponds to choosing the input matrix (y ij ) according to the probability measure
From the above, under this probability measure, the law of the random variable u nm is the same, assuming n≥m, as the first marginal of the probability measure on C (m) defined by
In other words, for bounded continuous f,
The probability measures μ a,b are non-central Laguerre (or complex Wishart) ensembles and the integrals (8.7) are the corresponding Selberg-type integrals [4, 13, 21, 22, 33].
Similarly, in the symmetric case, one arrives at the interpolating ensembles of Baik and Rains [2, 4]. These are probability measures on \({\mathbb{R}}_{+}^{n}\) defined for \(\alpha\in {\mathbb{R}}_{+}^{n}\) and \(\zeta\in {\mathbb{R}}_{+}\) by
We note that, in the notation of Sect. 5, as ϵ→0,
where “⇒” denotes weak convergence of probability measures. In this setting (see [4]) if the input matrix \((y_{ij})\in {\mathbb{R}}_{+}^{n\times n}\) is symmetric and chosen according to the probability measure
then the last passage time u nn is distributed as the first marginal of μ α;ζ .
References
Aldous, D., Diaconis, P.: Longest increasing subsequences: from patience sorting to the Baik-Deift-Johansson theorem. Bull. Am. Math. Soc. 36, 413–432 (1999)
Baik, J.: Painlevé expressions for LOE, LSE, and interpolating ensembles. Int. Math. Res. Not. 33, 1739–1789 (2002)
Baik, J., Deift, P.A., Johansson, K.: On the distribution of the length of the longest increasing subsequence of random permutations. J. Am. Math. Soc. 12, 1119–1178 (1999)
Baik, J., Rains, E.: Algebraic aspects of increasing subsequences. Duke Math. J. 109, 1–65 (2001)
Baik, J., Rains, E.M.: Symmetrized random permutations. Math. Sci. Res. Inst. Publ. 40, 1–19 (2001)
Baxter, R.: Partition function of the eight-vertex lattice model. Ann. Phys. 70, 193–228 (1972)
Baxter, R.: Exactly Solved Models in Statistical Mechanics. Academic Press, London (1982)
Berenstein, A., Kazhdan, D.: Geometric and unipotent crystals. In: Geom. Funct. Anal., Special Volume—GAFA2000, Part I, pp. 188–236 (2000)
Berenstein, A., Kazhdan, D.: Lecture Notes on Geometric Crystals and Their Combinatorial Analogues. In: Combinatorial Aspect of Integrable Systems. MSJ Memoirs, vol. 17. Math. Soc. Jpn., Tokyo (2007)
Berenstein, A., Kirillov, A.N.: The Robinson-Schensted-Knuth bijection, quantum matrices and piece-wise linear combinatorics. In: Proceedings of 13th International Conference on Formal Power Series and Algebraic Combinatorics. Arizona State University, May 20–26 (2001)
Borodin, A., Corwin, I.: Macdonald processes. Probab. Theor. Rel. Fields (2013). doi:10.1007/s00440-013-0482-3
Borodin, A., Corwin, I., Remenik, D.: Log-Gamma polymer free energy fluctuations via a Fredholm determinant identity. Commun. Math. Phys. (2013). doi:10.1007/s00220-013-1750-x
Borodin, A., Péché, S.: Airy kernel with two sets of parameters in directed percolation and random matrix theory. J. Stat. Phys. 132, 275–290 (2008)
Bump, D.: Automorphic Forms on GL(\(3{,}{{\mathbb{R}}}\)). Lecture Notes in Mathematics, vol. 1083. Springer, Berlin (1984)
Bump, D.: The Rankin Selberg method: a survey. In: Aubert, K.E., Bombieri, E., Goldfeld, D. (eds.) Number Theory, Trace Formulas, and Discrete Groups, pp. 49–109. Academic Press, New York (1989)
Bump, D., Friedberg, S.: The exterior square automorphic L-functions on GL(n). In: Festschrift in Honor of Piatetski-Shapiro, Part II, pp. 47–65. Weizmann, Jerusalem (1990)
Comets, F., Shiga, T., Yoshida, N.: Probabilistic analysis of directed polymers in a random environment: a review. Stochastic analysis on large scale interacting systems. Adv. Stud. Pure Math. 39, 115–142 (2004)
Corwin, I.: The Kardar-Parisi-Zhang equation and universality class. Random Matrices: Theory Appl. 1, 76 (2012)
Corwin, I., O’Connell, N., Seppäläinen, T., Zygouras, N.: Tropical combinatorics and Whittaker functions. Duke Math. J., to appear
den Hollander, F.: Random Polymers. Lectures from the 37th Probability Summer School Held in Saint-Flour, 2007. Lecture Notes in Mathematics, vol. 1974. Springer, Berlin (2009)
Dieker, E., Warren, J.: On the largest-eigenvalue process for generalized Wishart random matrices. ALEA Lat. Am. J. Probab. Math. Stat. 6, 369–376 (2009)
Forrester, P., Rains, E.: Interpretations of some parameter dependent generalizations of classical matrix ensembles. Probab. Theory Relat. Fields 131, 1–61 (2005)
Fulton, W.: Young Tableaux. London Mathematical Society Student Texts, vol. 35. Cambridge University Press, Cambridge (1997)
Gerasimov, A., Kharchev, S., Lebedev, D., Oblezin, S.: On a Gauss-Givental representation of quantum Toda chain wave equation. Int. Math. Res. Not., 1–23 (2006)
Gerasimov, A., Lebedev, D., Oblezin, S.: Baxter operator and Archimedean Hecke algebra. Commun. Math. Phys. 284, 867–896 (2008)
Givental, A.: Stationary phase integrals, quantum Toda lattices, flag manifolds and the mirror conjecture. In: Topics in Singularity Theory. AMS Transl. Ser. 2, vol. 180, pp. 103–115. AMS, Providence (1997)
Goldfeld, D.: Automorphic Forms and L-Functions for the Group \(\mathit{GL}(n,{\mathbb{R}})\). Cambridge University Press, Cambridge (2006)
Gueudre, T., Le Doussal, P.: Directed polymer near a hard wall and KPZ equation in the half-space. Europhys. Lett. 100, 26006 (2012)
Huse, D.A., Henley, C.L.: Pinning and roughening of domain wall in Ising systems due to random impurities. Phys. Rev. Lett. 54, 270–2711 (1985)
Ishii, T., Stade, E.: New formulas for Whittaker functions on \(GL(n,{\mathbb{R}})\). J. Funct. Anal. 244, 289–314 (2007)
Jacquet, H.: Fonctions de Whittaker associées aux groupes de Chevalley. Bull. Soc. Math. Fr. 95, 243–309 (1967)
Joe, D., Kim, B.: Equivariant mirrors and the Virasoro conjecture for flag manifolds. Int. Math. Res. Not. 15, 859–882 (2003)
Johansson, K.: Shape fluctuations and random matrices. Commun. Math. Phys. 209, 437–476 (2000)
Kharchev, S., Lebedev, D.: Integral representations for the eigenfunctions of quantum open and periodic Toda chains from the QISM formalism. J. Phys. A 34, 2247–2258 (2001)
Kirillov, A.N.: Introduction to tropical combinatorics. In: Kirillov, A.N., Liskova, N. (eds.) Physics and Combinatorics. Proc. Nagoya 2000 2nd Internat. Workshop, pp. 82–150. World Scientific, Singapore (2001)
Kostant, B.: Quantisation and representation theory. In: Representation Theory of Lie Groups, Proc. SRC/LMS Research Symposium, Oxford 1977. LMS Lecture Notes, vol. 34, pp. 287–316. Cambridge University Press, Cambridge (1977)
Noumi, M., Yamada, Y.: Tropical Robinson-Schensted-Knuth correspondence and birational Weyl group actions. Adv. Stud. Pure Math. 40, 371–442 (2004)
O’Connell, N.: Directed polymers and the quantum Toda lattice. Ann. Probab. 40, 437–458 (2012)
O’Connell, N.: Whittaker functions and related stochastic processes. arXiv:1201.4849. To appear in proceedings of Fall 2010 MSRI semester Random matrices, interacting particle systems and integrable systems
Okounkov, A.: Infinite wedge and random partitions. Sel. Math. Sov. 7, 57–81 (2001)
Semenov-Tian-Shansky, M.: Quantisation of open Toda lattices. In: Arnol’d, V.I., Novikov, S.P. (eds.) Dynamical Systems VII: Integrable Systems, Nonholonomic Dynamical Systems. Encyclopaedia of Mathematical Sciences, vol. 16. Springer, Berlin (1994)
Seppäläinen, T.: Scaling for a one-dimensional directed polymer with boundary conditions. Ann. Probab. 40, 19–73 (2012)
Stade, E.: Archimedean L-factors on GL(n)×GL(n) and generalized Barnes integrals. Isr. J. Math. 127, 201–219 (2002)
Stade, E.: Mellin transforms of \(\mathit{GL}(n,{\mathbb{R}})\) Whittaker functions. Am. J. Math. 123, 121–161 (2001)
Stanley, R.: Enumerative Combinatorics, vol. 2. Cambridge University Press, Cambridge (2001)
Wallach, N.: Real Reductive Groups II. Academic Press, San Diego (1992)
Acknowledgements
Many thanks to Jinho Baik, Ivan Corwin, Anatol Kirillov, Eric Rains and Eric Stade for helpful discussions. We are also grateful to an anonymous referee for several helpful remarks and suggestions. NO’C is partially supported by EPSRC grant EP/I014829/1. TS is partially supported by National Science Foundation grants DMS-1003651 and DMS-1306777 and by the Wisconsin Alumni Research Foundation. NZ is supported by a Marie Curie International Reintegration Grant within the 7th European Community Framework Programme, IRG-246809.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
O’Connell, N., Seppäläinen, T. & Zygouras, N. Geometric RSK correspondence, Whittaker functions and symmetrized random polymers. Invent. math. 197, 361–416 (2014). https://doi.org/10.1007/s00222-013-0485-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-013-0485-9