Papers
Topics
Authors
Recent
Search
2000 character limit reached

Discrete Whittaker Processes

Updated 18 January 2026
  • Discrete Whittaker processes are Markov processes on non-negative integer arrays with interlacing constraints, serving as the combinatorial counterpart to SL(r+1) Whittaker functions and the quantum Toda lattice.
  • They evolve via subtractive local Poisson dynamics and recursive Whittaker functions, enabling exact integrability through Doob transforms and intertwinings with lower-dimensional projections.
  • Characteristic for their unique entrance laws from infinity and hierarchical Gibbs–Markov structures, these processes connect deeply with growth models, directed polymers, and quantum integrable systems.

A discrete Whittaker process is a Markov process on non-negative integer arrays (typically triangular or skew-shaped) subject to specific interlacing constraints that arise as a discrete, combinatorial counterpart to SL(r+1,R)SL(r+1, \mathbb{R}) Whittaker functions and the quantum Toda lattice. In its canonical form, the process is characterized by subtractive, local Poisson-type dynamics on array entries, exact integrability via recursive Whittaker functions, rich Markov projections (notably to boundary data), and exact correspondences with growth models, directed polymers, quantum integrable systems, and special functions. The discrete Whittaker process exhibits remarkable algebraic and probabilistic structure, including intertwining relations, Doob transforms, entrance laws from infinity, and connection to Brownian functionals and Bose–gas-type particle models (O'Connell, 2022).

1. State Space, Array Dynamics, and Interlacing Conditions

The state space of the discrete Whittaker process consists of non-negative integer arrays π=(πi,j)\pi = (\pi_{i,j}) indexed by 1i,j1 \leq i, j with i+jr+1i + j \leq r+1, with r1r \geq 1 being the rank parameter. Each array must satisfy local constraints,

πi,jmax{πi,j1,πi1,jβij},\pi_{i,j} \geq \max\Big\{ \pi_{i,j-1}, \pi_{i-1,j} - \beta_{ij} \Big\},

where βij\beta_{ij} is a linear function of the index sequence α=(α1,,αr)\alpha = (\alpha_1, \dots, \alpha_r). The prototypical shape is the staircase Young diagram δr+1=(r,,1)\delta_{r+1} = (r, \dots, 1), for which arrays are precisely reverse plane partitions when α0\alpha \equiv 0.

Boundary conditions are encoded by top-row values: for nNrn \in \mathbb{N}^r, the set Πnr\Pi^r_n denotes arrays with πi,ri+1=ni\pi_{i, r-i+1} = n_i for i=1,,ri=1, \dots, r. More generally, the framework extends from the staircase to arbitrary Young diagrams λ\lambda and subdiagrams μλ\mu \subset \lambda^\circ subject to buffer constraints, encompassing both strictly triangular and skew shapes (O'Connell, 2022).

2. Markov Generator, Fundamental Whittaker Coefficients, and Intertwining

The generator GrG^r of array-valued dynamics is a discrete non-symmetric Toda-type operator. At site (i,j)(i, j), the "down-jump" rate is given by

bij(π)=(πijπi,j1)(πijπi1,j+βij),b_{ij}(\pi) = (\pi_{ij} - \pi_{i,j-1})\cdot(\pi_{ij} - \pi_{i-1,j} + \beta_{ij}),

and the array evolves as a pure death process with generator

Gr=1i+jr+1bij(π)Dπij.G^r = \sum_{1 \leq i + j \leq r+1} b_{ij}(\pi) D_{\pi_{ij}}.

Here, Dπijf(π)=f(πeij)f(π)D_{\pi_{ij}} f(\pi) = f(\pi - e_{ij}) - f(\pi), the backward-difference at (i,j)(i, j).

The process is constructed to ensure integrability via special coefficients ar(n)a_r(n), recursively defined: a1(n)=1n!(n+α1)!,a_1(n) = \frac{1}{n! (n+\alpha_1)!}, and for r2r \geq 2,

ar(n)=0kiniqr(n,k)ar1(k),a_r(n) = \sum_{0 \leq k_i \leq n_i} q_r(n, k)a_{r-1}(k),

qr(n,k)=i=1r1(niki)!(niki1+αir)!,q_r(n, k) = \prod_{i=1}^r \frac{1}{(n_i - k_i)! (n_i - k_{i-1} + \alpha_{i r})!},

with k0=kr:=0k_0 = k_r := 0.

The coefficients ar(n)a_r(n) solve the difference quantum Toda eigenrelation

hrar(n)=0,h^r a_r(n) = 0,

hr=i=1rLnii=1rni2+i=1r1nini+1i=1rαini,h^r = \sum_{i=1}^r L_{n_i} - \sum_{i=1}^r n_i^2 + \sum_{i=1}^{r-1} n_i n_{i+1} - \sum_{i=1}^r \alpha_i n_i,

where Lkf(k)=f(k1)L_k f(k) = f(k-1).

By performing a Doob hh-transform using ar(n)a_r(n), one obtains a boundary Markov generator

Lr=ar(n)1hrar(n)=i=1r[ar(nei)/ar(n)]Dni,L^r = a_r(n)^{-1} \circ h^r \circ a_r(n) = \sum_{i=1}^r [a_r(n-e_i) / a_r(n)] D_{n_i},

with strong intertwining between the array and boundary projections via a Gibbs-type kernel Knr(π)=wr(π)/ar(n)K^r_n(\pi) = w_r(\pi) / a_r(n) in terms of inverse-factorial weights wrw_r (O'Connell, 2022).

3. Entrance Law from Infinity and Uniqueness

A key structural result is the existence and uniqueness of the "entrance law from ++\infty" for the discrete Whittaker process. By allowing πij=+\pi_{ij} = +\infty and considering monotone couplings, the dynamics converge, in the large-boundary limit, to a unique process invariant under time evolution. This translates in the boundary to the LrL^r-Doob-transformed process started from n(0)+n(0) \equiv +\infty, and the conditional law at time t>0t > 0 is again given by the Whittaker–Gibbs measure Kn(t)rK^r_{n(t)} at the evolving boundary (O'Connell, 2022).

Discrete Whittaker processes are tightly linked to quantum integrable systems, combinatorial growth processes, and stochastic models:

  • Quantum Toda duality: The generator hrh^r is the discrete spectral dual of the quantum Toda Hamiltonian. This duality gives rise to explicit representations of transition probabilities via imaginary Brownian functionals. Specifically, for pt(n,m)p_t(n, m) the transition kernel, one has

pt(n,m)=ar(m)ar(n)1(nm)!E[Y(t)nZ(t)nm],p_t(n, m) = \frac{a_r(m)}{a_r(n)} \frac{1}{(n - m)!} \mathbb{E}\big[Y(t)^{-n} Z(t)^{n-m}\big],

with Yk(t)=exp{i(BkBk+1)(t)}Y_k(t) = \exp\{ i (B_k - B_{k+1})(t) \} for independent real Brownian motions BkB_k, and Zk(t)=0tYk(s)dsZ_k(t) = \int_0^t Y_k(s) ds (O'Connell, 2022).

  • Imaginary-disordered semi-discrete polymer: Moment functionals of polymer partition sums involving Ur(t)=0<s1<<sr<tY1(s1)Yr(sr)ds1dsrU^r(t) = \int_{0 < s_1 < \cdots < s_r < t} Y_1(s_1) \cdots Y_r(s_r) ds_1 \cdots ds_r are naturally dual to the Markov chain on ordered boundary coordinates.
  • Corner growth and discrete δ\delta-Bose gas: Embedded within a larger lattice, the process in the vertical coordinate yields a continuous-time box addition growth process, while the evolution of a fixed row is equivalent (after Doob transform) to a discrete repulsive δ\delta-Bose gas.

These connections motivate generalizations to other root systems (e.g., BrB_r, BC2BC_2, G2G_2), as well as extensions to more general array shapes with prescribed boundary or buffer conditions (O'Connell, 2022).

5. Markov Projections, Extensions, and Hierarchical Structure

The multilevel, multishape nature of the discrete Whittaker process is encoded by intertwinings between array, boundary, and lower-dimensional projections. The central algebraic identity,

hrqr=qrhr1,h^r \circ q_r = q_r \circ h^{r-1},

establishes hierarchical Gibbs–Markov compatibility and allows for Markov projections to subarrays and skew shapes, as well as natural extensions to other root systems with adjusted combinatorics and transition structures (e.g., shifted staircases for type BrB_r) (O'Connell, 2022).

The process is also robust under transitions to generalized shapes (λ,μ)(\lambda, \mu), with explicit combinatorial constructions for the projected generators and their Doob transforms, as well as for initial (entrance) laws.

6. Summary of Structural Results and Key Properties

  • The discrete Whittaker process on arrays is governed by a local subtractive dynamic induced by the generator GrG^r.
  • The induced boundary evolution is Markovian, with generator LrL^r and conditional distribution given by the Whittaker–Gibbs measure.
  • The key intertwining structure hrqr=qrhr1h^r \circ q_r = q_r \circ h^{r-1} implies a consistent multilevel Markov–Gibbs architecture.
  • The Whittaker coefficients ar(n)a_r(n) are both solutions to the discrete Toda difference equation and organized as moments of exponential functionals of Brownian motion, as well as acting as normalization constants for entrance laws.
  • Uniqueness of the entrance law from infinity is established via monotone coupling and large deviation analysis for the Gibbs–Whittaker measure KnrK^r_n as nn \to \infty.
  • Specializations to continuous-time geometric RSK with imaginary Brownian input and semi-discrete polymers with imaginary disorder appear as continuum limits of the process (O'Connell, 2022).

References

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Discrete Whittaker Processes.