[論文レビュー] Local behavior and hitting probabilities of the Airy1 process

Jeremy Quastel, Daniel Remenik|arXiv (Cornell University)|Jan 23, 2012

Random Matrices and Applications参考文献 22被引用数 7

ひとこと要約

本稿は、$ L^2(\mathbb{R}) $ カーネルを用いた新しいフレドホルム行列式の公式を、アイリーエー1過程の有限次元分布に関して確立した。これにより、局所的経路挙動の直接的解析が可能になった。この公式を用いて、著者らはアイリーエー1過程がほとんど確実に指数 $ \frac{1}{2} - \varepsilon $ のホルダー連続性を示し、局所的にブラウン運動と同様に揺らぎを示すことを証明した。これにより、その正則性とスケーリング挙動に関する長年の未解決問題が解決された。

ABSTRACT

We obtain a formula for the $n$-dimensional distributions of the Airy$_1$ process in terms of a Fredholm determinant on $L^2( r)$, as opposed to the standard formula which involves extended kernels, on $L^2(\{1,...,n\} imes r)$. The formula is analogous to an earlier formula of [PS02] for the Airy$_2$ process. Using this formula we are able to prove that the Airy$_1$ process is Hölder continuous with exponent $\frac12-$ and that it fluctuates locally like a Brownian motion. We also explain how the same methods can be used to obtain the analogous results for the Airy$_2$ process. As a consequence of these two results, we derive a formula for the continuum statistics of the Airy$_1$ process, analogous to that obtained in [CQR11] for the Airy$_2$ process.

研究の動機と目的

• 標準的な拡張カーネルを用いた $ L^2(\{1,\dots,n\} \times \mathbb{R}) $ 上のカーネルではなく、$ L^2(\mathbb{R}) $ カーネルを用いてアイリーエー1過程の有限次元分布の新しい簡略化された公式を導出すること。
• KPZ普遍性クラスにおける未解決問題である、アイリーエー1過程の経路的ホルダー連続性（指数 $ \frac{1}{2} - \varepsilon $）を確立すること。
• アイリーエー1過程が、局所的にブラウン運動と同一の分布を示す揺らぎを示すことを実証することにより、その局所的スケーリング挙動を確認すること。
• 同じ解析的枠組みをアイリーエー2過程へと拡張し、KPZ普遍性クラスに属する過程に対して一般に適用可能であることを示すこと。
• アイリーエー2過程の[ CQR11 ]で得られたものと類似した連続的公式を、アイリーエー1過程について導出することにより、変分的解析を可能にする。

提案手法

• 境界値問題に対する解作用素を用いて、$ L^2(\mathbb{R}) $ 上でアイリーエー1過程の $ n $ 次元分布の新しいフレドホルム行列式表現を導出する。
• フレドホルム行列式のトレース公式、特に $ \partial_h \det(I + A(h)) = \det(I + A(h)) \cdot \operatorname{tr}[(I + A(h))^{-1} \partial_h A(h)] $ を用いて、固定点における過程の条件付き確率を計算する。
• ブラウン運動スケーリング $ \mathbf{t} \mapsto \varepsilon\mathbf{t} $、$ \mathbf{y} \mapsto \sqrt{\varepsilon}\mathbf{y} $ を適用し、$ \varepsilon \to 0 $ における極限を分析することで、局所的ブラウン運動挙動を明らかにする。
• トレースクラス作用素の収束とドミネートドコンバージェンスを用いて、関連するトレース項がスケーリング下で 1 に収束することを示すことにより、スケーリングされた有限次元分布がブラウン運動の分布に収束することを証明する。
• 点における累積分布関数の導関数を通じて、アイリーエー1過程とGaussian orthogonal ensemble (GOE) のトレイシー・ワイドマン分布との関係を活用する。
• 作用素のトレースクラス性を保証するための共役化技術を用い、行列式およびトレース公式の有効性を確保する。

実験結果

リサーチクエスチョン

• RQ1 アイリーエー1過程の有限次元分布は、より複雑な拡張カーネル形式を避けて、$ L^2(\mathbb{R}) $ 上のフレドホルム行列式として表現可能だろうか？
• RQ2 アイリーエー1過程はほとんど確実に指数 $ \frac{1}{2} - \varepsilon $ のホルダー連続性を示すだろうか？ もしそうならば、この新しい公式から直接証明可能だろうか？
• RQ3 アイリーエー1過程は、小さなスケールでブラウン運動と統計的に区別できない局所的揺らぎを示すだろうか？
• RQ4 アイリーエー1過程に用いられた同じ解析的枠組みを、アイリーエー2過程へと拡張し、同様の結果を示すことができるだろうか？
• RQ5 アイリーエー2過程の[ CQR11 ]で得られたものと類似した連続的公式を、アイリーエー1過程について導出可能だろうか？ これにより、区間上の変分問題の直接的解析が可能になる。

主な発見

• アイリーエー1過程の有限次元分布は、標準的な拡張カーネル公式よりも単純で、より解析的に取り扱いやすい表現である $ L^2(\mathbb{R}) $ 上のフレドホルム行列式として表現された。
• アイリーエー1過程が、任意の $ \varepsilon > 0 $ に対してほとんど確実に指数 $ \frac{1}{2} - \varepsilon $ のホルダー連続性を示すことが証明され、KPZ普遍性クラスにおける長年の未解決問題が解決された。
• ブラウン運動スケーリング下での有限次元分布のスケーリング極限を用いて、過程が局所的にブラウン運動と同一の分布を示す揺らぎを示すことが示された。
• トレースクラス作用素の収束とドミネートドコンバージェンスを用いて、スケーリングされた有限次元分布がブラウン運動の分布に収束することが確立された。
• アイリーエー1過程に用いられた手法は、アイリーエー2過程へ直接拡張可能であり、同様の結果が得られた。
• アイリーエー2過程の[ CQR11 ]におけるものと類似した連続的公式が、アイリーエー1過程について導出された。これにより、区間上での変分問題の直接的解析が可能になった。