[論文レビュー] Random Morse functions and spectral geometry

Liviu I. Nicolaescu|arXiv (Cornell University)|Sep 4, 2012

Geometry and complex manifolds参考文献 22被引用数 14

ひとこと要約

本稿では、リーマン多様体上に定義されたランダムモース関数を、ラプラシアンの固有関数のガウス重み付き重ね合わせとして構成し、重みはシュワーツ関数と小さなパラメータ ε で制御される。ε → 0 のとき、臨界値の期待分布は、(m+1)×(m+1) のランダム対称行列に対するウィグナー半円則に結びつく普遍的測度に収束する。一方、計量 g 及びその曲率は、ε が小さいときのランダム関数のヘッセ行列統計から回復可能である。

ABSTRACT

We study random Morse functions on a Riemann manifold $(M^m,g)$ defined as a random Gaussian weighted superpositions of eigenfunctions of the Laplacian of the metric $g$. The randomness is determined by a fixed Schwartz function $w$ and a small parameter $\varepsilon>0$. We first prove that as $\varepsilon o 0$ the expected distribution of critical values of this random function approaches a universal measure on $\mathbb{R}$, independent of $g$, that can be explicitly described in terms the expected distribution of eigenvalues of the Gaussian Wigner ensemble of random $(m+1) imes (m+1)$ symmetric matrices. In contrast, we prove that the metric $g$ and its curvature are determined by the statistics of the Hessians of the random function for small $\varepsilon$.

研究の動機と目的

• コンパクトなリーマン多様体上に定義されたランダムモース関数の臨界値の統計的分布を分析すること。
• 基礎となる多様体の幾何構造、特に計量と曲率が、これらのランダム関数のヘッセ行列の統計にどのように反映されるかを調査すること。
• スムージングパラメータ ε が 0 に近づく際の臨界値分布の極限分布の普遍性を確立すること。
• ランダムモース関数の漸近的挙動と、特にガウス・ウィグナー集合に属するランダム行列理論を結びつけること。
• 計量 g が、ε → 0 の極限においてランダム関数のヘッセ行列統計から再構成可能であることを示すこと。

提案手法

• シュワーツ関数 w と小さなパラメータ ε で定まる重みにより、ラプラシアン Δg の正規直交固有関数の重ね合わせとしてランダムモース関数を構成する。
• Kac-Rice 公式とスペクトル推定を用いて、臨界点および臨界値の分布を分析する。
• Weyl の漸近公式と Borel-Cantelli の補題を適用し、ランダム関数のほとんど確実な滑らかさと可積分性を保証する。
• ウィグナー半円則を用いて、ε → 0 の極限における臨界値の極限分布を記述する。
• Kac-Price 公式とガウス行列の期待値を用いて、ランダム対称行列（GOE）の期待絶対行列式と臨界値統計を関連付ける。
• Weyl 統合公式とガウス測度の性質を活用し、期待ヘッセ行列行列式の明示的表現を導出し、計量に依存する関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 ε → 0 のとき、固有関数の重ね合わせから構成されたランダムモース関数の臨界値の極限分布は何か？
• RQ2 リーマン多様体の幾何構造（特に計量と曲率）は、ランダムモース関数のヘッセ行列の統計にどのように影響を与えるか？
• RQ3 ε → 0 の極限において、ランダム関数のヘッセ行列の統計的性質から計量 g を再構成可能か？
• RQ4 臨界値分布の極限分布は、さまざまなリーマン多様体にわたって普遍的か、その程度は何か？
• RQ5 先行研究における特徴関数（例：ボックス関数）と比較して、重み関数 w がシュワーツ関数である場合、結果にどのような違いが生じるか？

主な発見

• ε → 0 のとき、ランダムモース関数の臨界値の期待分布は、次元 m のみに依存する ℝ 上の普遍的測度に収束し、(m+1)×(m+1) のガウスランダム対称行列に対するウィグナー半円則で記述される。
• 極限臨界値分布はリーマン計量 g に依存しないことから、ランダムモース関数の漸近的統計における普遍性が示された。
• 計量 g 及びその曲率は、ε → 0 の極限におけるランダム関数のヘッセ行列統計によって一意に決定可能であり、幾何的情報がヘッセ行列の揺らぎに埋め込まれていることが示された。
• ガウス正規直交集合（GOE）に属するランダム (m+1)×(m+1) 対称行列の期待絶対行列式は、次の式により臨界値密度と明示的に関連づけられる：E[|det(A - cI)|] = 2^{3/2}(2v)^{(m+1)/2}Γ((m+3)/2)e^{c²/(4v)}ρ_{m+1,v}(c)。
• 臨界値分布のウィグナー半円則への収束は、スケーリングされた1点相関関数 ρ_{n,vn^{-1}}(x) の弱収束によって確立され、[−2√v, 2√v] 上の半円密度に収束する。
• 十分に小さい ε に対して、ランダム関数 u^ε はほとんど確実にモース関数であるため、臨界点集合は有限かつ離散的であり、臨界値解析に測度論的道具を用いることが正当化される。