[論文レビュー] Large deviations for the zero set of an analytic function with diffusing coefficients

J. Hough|ArXiv.org|Oct 11, 2005

Geometry and complex manifolds参考文献 4被引用数 5

ひとこと要約

本稿は、拡散係数を伴う時刻に依存する平面的ガウス解析関数の零点集合における大偏差を分析する。係数は複素数型オーナイユム過程でモデル化される。ホール確率（時間Tの間、半径Rの円板内に零点がない確率）は、exp(−Te^{cR²})の形で減少し、ポアソン過程や格子型過程と顕著に異なり、それらはexp(−cTR⁴)以下で減少する。

ABSTRACT

The "hole probability" that the zero set of the time dependent planar Gaussian analytic function f(z,t) = sum_(n=0)^infty a_n(t) z^n/sqrt(n!), where a_n(t) are i.i.d. complex valued Ornstein-Uhlenbeck processes, does not intersect a disk of radius R for all 0

研究の動機と目的

• 時刻に依存する平面的ガウス解析関数の零点集合における大偏差確率を研究すること。係数は複素数型オーナイユム過程に従って変化する。
• 本プロセスの時間的ホール確率（時間Tの間、円板内に零点がない）を、ポアソン過程や摂動付き格子モデルなどの代表的な時刻に依存する点過程と比較すること。
• 時間に依存する設定におけるホール確率および過密確率の減少率を定量することにより、長期的挙動における根本的な差異を明らかにすること。
• ホール確率の対数減少率に対する鋭い指数的バインドを確立し、R²に超指数的依存があることを示すこと。

提案手法

• 時刻に依存する解析関数を f_C(z,t) = Σ a_n(t) z^n / √n! とモデル化する。ここで a_n(t) は独立同分布の複素数型オーナイユム過程である。
• |f_C(·,t)| がその零点集合から再構成可能であるという事実を用い、零点過程が時刻一様マルコフ過程であることを示す。
• 大偏差技法を用いて、|z| ≤ R に零点が存在しない時間 t ∈ [0,T] 全体にわたる確率 H_f_C(T,R) を分析する。
• ブラウン運動および幾何的ランダムウォークのカップリングと比較することで、P(H_f_C(T,R)) の指数的減少率の上界および下界を確立する。
• i.i.d. の幾何的ランダム変数との確率的支配およびカップリングを用いて、領域からの脱出までの時間をバインドする。
• 複素ブラウン運動を用いたスケーリングおよび近似を用い、収縮するアニュラリ領域内に留まる確率のバインドを導出する。

実験結果

リサーチクエスチョン

• RQ1 時刻に依存する係数が拡散するガウス解析関数の零点集合におけるホール確率は、時間Tと半径Rに関してどのように減少するか？
• RQ2 この減少率は、同じ時刻に依存する時間発展を示すポアソン過程や摂動付き格子モデルと比較してどう異なるか？
• RQ3 本プロセスにおいて、過密確率 P(C_f_C(T,R,N)) — すなわち、時間 t ∈ [0,T] 全体にわたって半径Rの円板内に少なくともN個の零点が存在する確率 — の漸近的挙動はいかなるものか？
• RQ4 零点集合の大偏差挙動は、固定時刻における統計が類似している他の代表的点過程と区別できるか？

主な発見

• ホール確率 P(H_f_C(T,R)) の上界では exp(−Te^{(1/3−o(1))R²})、下界では exp(−Te^{(1/2+o(1))R²}) の減少を示し、R²に超指数的依存があることが明らかになった。
• ポアソン過程では、ホール事象の正規化された対数確率は0に収束する：lim_{T→∞} (1/T) log P(H_pp(T,R)) = 0。
• 摂動付き格子および三角格子クラスターモデルでは、ホール確率は exp(−c₁TR⁴) から exp(−c₂TR⁴) の間で減少し、Rに多項式的依存がある。
• 過密確率 P(C_f_C(T,R,N)) の上界では exp(−Te^{(1/6−o(1))N log N})、下界では exp(−Te^{(1/2+o(1))N log N}) の減少を示し、N log N に超指数的依存があることが示された。
• f_C のホール確率の減少率は、ポアソン過程（exp(−cR²)）および格子型モデル（exp(−cTR⁴)）とは根本的に異なり、独自の長期的挙動を示している。
• 解析により、固定時刻における統計が古典的モデルと類似しているにもかかわらず、f_C の零点集合はより強い反発性とより制限された力学的挙動を示すことが明らかになった。