KPZ fixed point

All models in the KPZ class have in common, that they have a fluctuating height function or some analogue function, that can be thought of as a function, that models the growth of the model by time. The KPZ equation itself is also a member of this class and the canonical model of modelling random interface growth. The strong KPZ universality conjecture conjectures that all models in the KPZ universality class converge under a specific scaling of the height function to the KPZ fixed point and only depend on the initial condition.

Matetski-Quastel-Remenik constructed the KPZ fixed point for the ${\displaystyle (1+1)}$-dimensional KPZ universality class (i.e. one space and one time dimension) on the polish space of upper semicontinous functions (UC) with the topology of local UC convergence. They did this by studying a particular model of the KPZ universality class the TASEP („Totally Asymmetric Simple Exclusion Process“) with general initial conditions and the random walk of its associated height function. They achieved this by rewriting the biorthogonal function of the correlation kernel, that appears in the Fredholm determinant formula for the multi-point distribution of the particles in the Weyl chamber. Then they showed convergence to the fixed point.^[1]

Let ${\displaystyle h(t,{\vec {x}})}$ denote a height function of some probabilistic model with ${\displaystyle (t,{\vec {x}})\in \mathbb {R} \times \mathbb {R} ^{d}}$ denoting space-time. So far only the case for ${\displaystyle d=1}$, also noted as ${\displaystyle (1+1)}$, was deeply studied, therefore we fix this dimension for the rest of the article. In the KPZ universality class exist two equilibrium points or fixed points, the trivial Edwards-Wilkinson (EW) fixed point and the non-trivial KPZ fixed point. The KPZ equation connects them together.

The KPZ fixed point is rather defined as a height function ${\displaystyle {\mathfrak {h}}(t,{\vec {x}})}$ and not as a particular model with a height function.

The KPZ fixed point ${\displaystyle ({\mathfrak {h}}(t,x))_{t\geq 0,x\in \mathbb {R} }}$ is a Markov process, such that the n-point distribution for ${\displaystyle x_{1}<x_{2}<\cdots <x_{n}\in \mathbb {R} }$ and ${\displaystyle t>0}$ can be represented as

${\displaystyle \mathbb {P} _{{\mathfrak {h}}(0,\cdot )}({\mathfrak {h}}(t,x_{1})\leq a_{1},{\mathfrak {h}}(t,x_{2})\leq a_{2},\dots ,{\mathfrak {h}}(t,x_{n})\leq a_{n})=\det(I-K)_{L^{2}(\{x_{1},x_{2},\dots ,x_{n}\}\times \mathbb {R} )}}$

where ${\displaystyle a_{1},\dots ,a_{n}\in \mathbb {R} }$ and ${\displaystyle K}$ is a trace class operator called the extended Brownian scattering operator and the subscript means that the process in ${\displaystyle {\mathfrak {h}}(0,\cdot )}$ starts.^[1]

The KPZ conjecture conjectures that the height function ${\displaystyle h(t,{\vec {x}})}$ of all models in the KPZ universality at time ${\displaystyle t}$ fluctuate around the mean with an order of ${\displaystyle t^{1/3}}$ and the spacial correlation of the fluctuation is of order ${\displaystyle t^{2/3}}$. This motivates the so-called 1:2:3 scaling which is the characteristic scaling for the KPZ fixed point. The EW fixed point has also a scaling the 1:2:4 scaling. The fixed points are invariant under their associated scaling.

The 1:2:3 scaling of a height function is for ${\displaystyle \varepsilon >0}$

${\displaystyle \varepsilon ^{1/2}h(\varepsilon ^{-3/2}t,\varepsilon ^{-1}x)-C_{\varepsilon }t,}$

where 1:3 and 2:3 stand for the proportions of the exponents and ${\displaystyle C_{\varepsilon }}$ is just a constant.^[2]

The strong conjecture says, that all models in the KPZ universality class converge under 1:2:3 scaling of the height function if their initial conditions also converge, i.e.

${\displaystyle \lim \limits _{\varepsilon \to 0}\varepsilon ^{1/2}(h(c_{1}\varepsilon ^{-3/2}t,c_{2}\varepsilon ^{-1}x)-c_{3}\varepsilon ^{-3/2}t)\;{\stackrel {(d)}{=}}\;{\mathfrak {h}}(t,x)}$

with initial condition

${\displaystyle {\mathfrak {h}}(0,x):=\lim \limits _{\varepsilon \to 0}\varepsilon ^{1/2}h(0,c_{2}\varepsilon ^{-1}x),}$

where ${\displaystyle c_{1},c_{2},c_{3}}$ are constants depending on the model.^[3]

If we remove the growth term in the KPZ equation, we get

${\displaystyle \partial _{t}h(t,x)=\nu \partial _{x}^{2}h+\sigma \xi ,}$

which converges under the 1:2:4 scaling

${\displaystyle \lim \limits _{\varepsilon \to 0}\varepsilon ^{1/2}(h(c_{1}\varepsilon ^{-2}t,c_{2}\varepsilon ^{-1}x)-c_{3}\varepsilon ^{-3/2}t)\;{\stackrel {(d)}{=}}\;{\mathfrak {h}}(t,x)}$

to the EW fixed point. The weak conjecture says now, that the KPZ equation is the only Heteroclinic orbit between the KPZ and EW fixed point.

If one fixes the time dimension and looks at the limit

${\displaystyle \lim \limits _{t\to \infty }t^{-1/3}(h(c_{1}t,c_{2}t^{2/3}x)-c_{3}t){\stackrel {(d)}{=}}\;{\mathcal {A}}(x),}$

then one gets the Airy process ${\displaystyle ({\mathcal {A}}(x))_{x\in \mathbb {R} }}$ which also occurs in the theory of random matrices.^[4]