[論文レビュー] Universality for zeros of random analytic functions

Zakhar Kabluchko, Dmitry Zaporozhets|arXiv (Cornell University)|May 24, 2012

Geometry and complex manifolds参考文献 29被引用数 18

ひとこと要約

本稿は、独立同分布の係数をもつ確率的解析関数の零点分布における普遍性を確立し、定数係数 $ f_{k,n} $ に対して広範な条件下で、零点の経験的測度が係数の分布に依存しない決定的极限測度に弱収束することを示している。極限は、$ f_{k,n} $ の漸近的挙動から導かれる母関数のLegendre–Fenchel変換によって特徴づけられ、円周則の一般化であり、ランダム行列を超えた普遍性の拡張を実現している。

ABSTRACT

Let $ξ_0,ξ_1,...$ be independent identically distributed (i.i.d.) random variables such that $\E \log (1+|ξ_0|)

研究の動機と目的

• 独立同分布の係数をもつ広範なクラスの確率的解析関数について、零点分布におけるグローバルな普遍性を確立すること。
• 零点の経験的測度の極限が係数分布に依存しない（普遍性）ことを特徴づけること。
• 係数 $ f_{k,n} $ の漸近的減衰の関数から導かれる母関数のLegendre–Fenchel変換を用いて、極限測度を導出すること。
• 既知の結果（円周則、Kac多項式の零点分布など）を統合・一般化すること。

提案手法

• 独立同分布の係数 $ \xi_k $ と定数係数 $ f_{k,n} $ をもつ確率的解析関数 $ \mathbf{G}_n(z) = \sum_{k=0}^\infty \xi_k f_{k,n} z^k $ を定義する。
• $ -\frac{1}{n}\log f_{[tn],n} \to u(t) $ が $ n \to \infty $ で成り立ち、$ u(t) $ が凸関数であると仮定する。
• 関数 $ I(s) = \int_{-\infty}^s \mu(\mathbb{D}_{e^r}) \, dr $ のLegendre–Fenchel変換を用いて、極限測度 $ \mu $ を特徴づける。
• 正規化された零点数え上げ測度 $ \nu_n = \frac{1}{n} \mu_{\mathbf{G}_n} $ が、$ \xi_k $ の分布に依存しない弱収束を示す。
• 対数ポテンシャルおよび平衡測度の理論を用いて、極限測度が外部場を伴う対数ポテンシャルの平衡測度であることを検証する。
• 多項式の項の漸近的解析と、Kac、Weyl、Kostlanなどの既知のアンサンブルとの比較により収束を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般の確率的解析関数 $ \mathbf{G}_n(z) = \sum \xi_k f_{k,n} z^k $ の零点の経験的分布は、$ \xi_k $ の分布に依存しない決定的極限に収束するか？
• RQ2 係数 $ f_{k,n} $ の漸近的挙動に基づいて、零点分布の極限測度をどのように正確に特徴づけられるか？
• RQ3 Kacアンサンブルを超えて、WeylやKostlan多項式などの他のアンサンブルに対しても、零点分布の普遍性を拡張できるか？
• RQ4 極限測度は、係数の減衰から導かれる関数のLegendre–Fenchel変換とどのように関係するか？
• RQ5 極限測度は、係数の漸近的挙動によって定義される外部場を伴う対数ポテンシャルの平衡測度か？

主な発見

• 弱収束が、わずかなモーメント条件および係数の減衰条件のもとで成り立つ。$ n \to \infty $ のとき、正規化された零点数え上げ測度 $ \nu_n = \frac{1}{n} \mu_{\mathbf{G}_n} $ は決定的極限に弱収束する。
• 極限測度は普遍的である：$ \mathbb{E} \log(1 + |\xi_0|) < \infty $ を満たす限り、$ \xi_k $ の分布に依存しない。
• 極限測度は、$ f_{k,n} $ の漸近的挙動から導かれる関数 $ I $ を用いて定義される外部場 $ I(\log |z|) $ をもつ対数ポテンシャルの平衡測度として特徴づけられる。
• 極限測度は、漸近的減衰率 $ -\frac{1}{n}\log f_{[tn],n} \to u(t) $ を用いて定義される関数 $ u(t) $ のLegendre–Fenchel変換として生じる。
• 結果は円周則を一般化する：Weyl多項式（$ f_{k,n} = 1/\sqrt{k!} $）の場合、零点分布は単位円板上の一様測度に収束する。
• Kac多項式（$ f_{k,n} = 1 $）の場合、零点分布は単位円上の一様測度に収束し、既知の結果と整合する。