Airy process explained

The Airy processes are a family of stationary stochastic processes that appear as limit processes in the theory of random growth models and random matrix theory. They are conjectured to be universal limits describing the long time, large scale spatial fluctuations of the models in the (1+1)-dimensional KPZ universality class (Kardar–Parisi–Zhang equation) for many initial conditions (see also KPZ fixed point).

The original process Airy₂ was introduced in 2002 by the mathematicians Michael Prähofer and Herbert Spohn.^[1] They proved that the height function of a model from the (1+1)-dimensional KPZ universality class - the PNG droplet - converges under suitable scaling and initial condition to the Airy₂ process and that it is a stationary process with almost surely continuous sample paths.

The Airy process is named after the Airy function. The process can be defined through its finite-dimensional distribution with a Fredholm determinant and the so-called extended Airy kernel. It turns out that the one-point marginal distribution of the Airy₂ process is the Tracy-Widom distribution of the GUE.

There are several Airy processes. The Airy₁ process was introduced by Tomohiro Sasomoto^[2] and the one-point marginal distribution of the Airy₁ is a scalar multiply of the Tracy-Widom distribution of the GOE.^[3] Another Airy process is the Airy_stat process.^[4]

Airy₂ proces

Let

t _{1<t} _{2<...} <t _{n} be in \R .

The Airy₂ process

A _{2(t)} has the following finite-dimensional distributionP(A _{2(t} _{1} )<\xi _{1,...,A} _{2(t} _{n} )<\xi ^{1 / 2} _{n) = \det( 1- f} K ^{\operatorname{ext} }_f^)_wheref(t _{j,\xi):=1} ^{\{(\xi _{j,infty)\}} }(\xi)and K ^{\operatorname{ext} }_(t_i,x;t_j,y) is the extended Airy kernelK ^{\operatorname{ext} }_(t_i,x;t_j,y):=\begin& \text\;t_i\geq t_j,\\&\text\;t_i< t_j.\end

Explanations

• If

t _{i=t} _{j} the extended Airy kernel reduces to the Airy kernel and henceP(A _{2(t)\leq} \xi) = F _{2} (\xi),

where

F _{2} (\xi) is the Tracy-Widom distribution of the GUE.f ^{1/2} K ^{\operatorname{ext} }_f^ is a trace class operator on L ^{2 (\{t} _{1 , ... ,t} _{n\} x} \R) with counting measure on \{t _{1,...,t} _{n\}} and Lebesgue measure on \R , the kernel is f ^{1/2} K ^{\operatorname{ext} }_(t_i,x;t_j,y)f^.^[5]

Literature

• Michael. Prähofer. Herbert. Spohn . Scale Invariance of the PNG Droplet and the Airy Process . Journal of Statistical Physics. Springer . 108 . 2002 . math/0105240.
• Kurt. Johansson . Discrete Polynuclear Growth and Determinantal Processes . Commun. Math. Phys. . 242 . 2003 . 290 . math/0206208. Springer . 10.1007/s00220-003-0945-y.
• Craig. Tracy. Harold. Widom. A System of Differential Equations for the Airy Process.. Electron. Commun. Probab.. 8. 93–98. 2003. 10.1214/ECP.v8-1074. math/0302033.

Notes and References

1. Michael. Prähofer. Herbert. Spohn . Scale Invariance of the PNG Droplet and the Airy Process . Journal of Statistical Physics. Springer . 108 . 2002 . math/0105240.
2. 10.1088/0305-4470/38/33/l01. 2005. IOP Publishing. 38. 33. L549-L556. Tomohiro. Sasamoto. Spatial correlations of the 1D KPZ surface on a flat substrate. Journal of Physics A: Mathematical and General. cond-mat/0504417.
3. Riddhipratim. Basu. Patrick L.. Ferarri. On the Exponent Governing the Correlation Decay of the Airy1 Process . Commun. Math. Phys.. Springer . 2022 . 10.1007/s00220-022-04544-1. 2206.08571.
4. 10.1002/cpa.20316. 2010. Wiley. Jinho. Baik. Patrik L.. Ferrari. Sandrine. Péché . Limit process of stationary TASEP near the characteristic line. Communications on Pure and Applied Mathematics. 63. 8. 1017–1070. 2027.42/75781. free.
5. Kurt. Johansson . Discrete Polynuclear Growth and Determinantal Processes . Commun. Math. Phys. . 242 . 2003 . 290 . math/0206208. Springer . 10.1007/s00220-003-0945-y.