Airy process

Last updated August 05, 2024

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}<\dots <t_{n}$ be in $\mathbb {R}$ .

The Airy₂ process $A_{2}(t)$ has the following finite-dimensional distribution

P(A_{2}(t_{1})<\xi _{1},\dots ,A_{2}(t_{n})<\xi _{n})=\det(1-f^{1/2}K_{\operatorname {Ai} }^{\operatorname {ext} }f^{1/2})_{L^{2}(\{t_{1},\dots ,t_{n}\}\times \mathbb {R} )}

where

f(t_{j},\xi ):=1_{\{(\xi _{j},\infty )\}}(\xi )

and $K_{\operatorname {Ai} }^{\operatorname {ext} }(t_{i},x;t_{j},y)$ is the extended Airy kernel

K_{\operatorname {Ai} }^{\operatorname {ext} }(t_{i},x;t_{j},y):={\begin{cases}{\displaystyle \int _{0}^{\infty }e^{-z(t_{i}-t_{j})}\operatorname {Ai} (x+z)\operatorname {Ai} (y+z)\mathrm {d} z}&{\text{if }}\;t_{i}\geq t_{j},\\{\displaystyle -\int _{-\infty }^{0}e^{-z(t_{i}-t_{j})}\operatorname {Ai} (x+z)\operatorname {Ai} (y+z)\mathrm {d} z}&{\text{if }}\;t_{i}<t_{j}.\end{cases}}

Explanations

If $t_{i}=t_{j}$ the extended Airy kernel reduces to the Airy kernel and hence

P(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 {Ai} }^{\operatorname {ext} }f^{1/2}$ is a trace class operator on $L^{2}(\{t_{1},\dots ,t_{n}\}\times \mathbb {R} )$ with counting measure on $\{t_{1},\dots ,t_{n}\}$ and Lebesgue measure on $\mathbb {R}$ , the kernel is $f^{1/2}K_{\operatorname {Ai} }^{\operatorname {ext} }(t_{i},x;t_{j},y)f^{1/2}$ .^[5]

Literature

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

Related Research Articles

In mathematical analysis, the Dirac delta function, also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one. Since there is no function having this property, modelling the delta "function" rigorously involves the use of limits or, as is common in mathematics, measure theory and the theory of distributions.

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In probability theory and statistics, a Gaussian process is a stochastic process, such that every finite collection of those random variables has a multivariate normal distribution. The distribution of a Gaussian process is the joint distribution of all those random variables, and as such, it is a distribution over functions with a continuous domain, e.g. time or space.

In the physical sciences, the Airy function (or Airy function of the first kind) $Ai(x)$ is a special function named after the British astronomer George Biddell Airy (1801–1892). The function $Ai(x)$ and the related function $Bi(x)$ , are linearly independent solutions to the differential equation $known as the Airy equation or the Stokes equation .$

In mathematics, integral equations are equations in which an unknown function appears under an integral sign. In mathematical notation, integral equations may thus be expressed as being of the form: $where is an integral operator acting on u. Hence, integral equations may be viewed as the analog to differential equations where instead of the equation involving derivatives, the equation contains integrals. A direct comparison can be seen with the mathematical form of the general integral equation above with the general form of a differential equation which may be expressed as follows: where may be viewed as a differential operator of order i . Due to this close connection between differential and integral equations, one can often convert between the two. For example, one method of solving a boundary value problem is by converting the differential equation with its boundary conditions into an integral equation and solving the integral equation. In addition, because one can convert between the two, differential equations in physics such as Maxwell's equations often have an analog integral and differential form. See also, for example, Green's function and Fredholm theory.$

In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic structures. The cohomology of groups, Lie algebras, and associative algebras can all be defined in terms of Ext. The name comes from the fact that the first Ext group Ext¹ classifies extensions of one module by another.

In probability theory and statistics, the generalized extreme value (GEV) distribution is a family of continuous probability distributions developed within extreme value theory to combine the Gumbel, Fréchet and Weibull families also known as type I, II and III extreme value distributions. By the extreme value theorem the GEV distribution is the only possible limit distribution of properly normalized maxima of a sequence of independent and identically distributed random variables. Note that a limit distribution needs to exist, which requires regularity conditions on the tail of the distribution. Despite this, the GEV distribution is often used as an approximation to model the maxima of long (finite) sequences of random variables.

In probability theory and mathematical physics, a random matrix is a matrix-valued random variable—that is, a matrix in which some or all of its entries are sampled randomly from a probability distribution. Random matrix theory (RMT) is the study of properties of random matrices, often as they become large. RMT provides techniques like mean-field theory, diagrammatic methods, the cavity method, or the replica method to compute quantities like traces, spectral densities, or scalar products between eigenvectors. Many physical phenomena, such as the spectrum of nuclei of heavy atoms, the thermal conductivity of a lattice, or the emergence of quantum chaos, can be modeled mathematically as problems concerning large, random matrices.

In mathematics, the Fredholm determinant is a complex-valued function which generalizes the determinant of a finite dimensional linear operator. It is defined for bounded operators on a Hilbert space which differ from the identity operator by a trace-class operator. The function is named after the mathematician Erik Ivar Fredholm.

In mathematics, in the field of homological algebra, the Grothendieck spectral sequence, introduced by Alexander Grothendieck in his Tôhoku paper, is a spectral sequence that computes the derived functors of the composition of two functors $, from knowledge of the derived functors of and . Many spectral sequences in algebraic geometry are instances of the Grothendieck spectral sequence, for example the Leray spectral sequence.$

In mathematics, a Lie bialgebra is the Lie-theoretic case of a bialgebra: it is a set with a Lie algebra and a Lie coalgebra structure which are compatible.

<span class="mw-page-title-main">Generalized Pareto distribution</span> Family of probability distributions often used to model tails or extreme values

In statistics, the generalized Pareto distribution (GPD) is a family of continuous probability distributions. It is often used to model the tails of another distribution. It is specified by three parameters: location $, scale, and shape . Sometimes it is specified by only scale and shape and sometimes only by its shape parameter. Some references give the shape parameter as .$

In polynomial interpolation of two variables, the Padua points are the first known example of a unisolvent point set with minimal growth of their Lebesgue constant, proven to be $. Their name is due to the University of Padua, where they were originally discovered.$

In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation, Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

In mathematics, particularly differential topology, the double tangent bundle or the second tangent bundle refers to the tangent bundle (TTM,π_TTM,TM) of the total space TM of the tangent bundle (TM,π_TM,M) of a smooth manifold M . A note on notation: in this article, we denote projection maps by their domains, e.g., π_TTM : TTM → TM. Some authors index these maps by their ranges instead, so for them, that map would be written π_TM.

The Tracy–Widom distribution is a probability distribution from random matrix theory introduced by Craig Tracy and Harold Widom. It is the distribution of the normalized largest eigenvalue of a random Hermitian matrix. The distribution is defined as a Fredholm determinant.

<span class="mw-page-title-main">Dirichlet kernel</span> Concept in mathematical analysis

In mathematical analysis, the Dirichlet kernel, named after the German mathematician Peter Gustav Lejeune Dirichlet, is the collection of periodic functions defined as

For certain applications in linear algebra, it is useful to know properties of the probability distribution of the largest eigenvalue of a finite sum of random matrices. Suppose $is a finite sequence of random matrices. Analogous to the well-known Chernoff bound for sums of scalars, a bound on the following is sought for a given parameter t :$

In applied mathematical analysis, shearlets are a multiscale framework which allows efficient encoding of anisotropic features in multivariate problem classes. Originally, shearlets were introduced in 2006 for the analysis and sparse approximation of functions $. They are a natural extension of wavelets, to accommodate the fact that multivariate functions are typically governed by anisotropic features such as edges in images, since wavelets, as isotropic objects, are not capable of capturing such phenomena.$

In algebra, the Yoneda product is the pairing between Ext groups of modules:

References

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

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Prähofer, Michael; Spohn, Herbert (2002). "Scale Invariance of the PNG Droplet and the Airy Process". Journal of Statistical Physics. 108. Springer. arXiv: math/0105240 .

[2] Sasamoto, Tomohiro (2005). "Spatial correlations of the 1D KPZ surface on a flat substrate". Journal of Physics A: Mathematical and General. 38 (33). IOP Publishing: L549–L556. arXiv: cond-mat/0504417 . doi:10.1088/0305-4470/38/33/l01.

[3] Basu, Riddhipratim; Ferarri, Patrick L. (2022). "On the Exponent Governing the Correlation Decay of the Airy1 Process". Commun. Math. Phys. Springer. arXiv: 2206.08571 . doi:10.1007/s00220-022-04544-1.

[4] Baik, Jinho; Ferrari, Patrik L.; Péché, Sandrine (2010). "Limit process of stationary TASEP near the characteristic line". Communications on Pure and Applied Mathematics. 63 (8). Wiley: 1017–1070. doi:10.1002/cpa.20316. hdl: 2027.42/75781 .

[5] Johansson, Kurt (2003). "Discrete Polynuclear Growth and Determinantal Processes". Commun. Math. Phys. 242. Springer: 290. arXiv: math/0206208 . doi:10.1007/s00220-003-0945-y.

[1]

[2]

[3]

[4]

[5]