[論文レビュー] Extreme value statistics for the roots of a complex Kac polynomial

Yacine Barhoumi-Andréani|arXiv (Cornell University)|Jun 22, 2017

Geometry and complex manifolds被引用数 1

ひとこと要約

本稿は、独立同分布の複素ガウス係数をもつ複素Kac多項式の根の最大絶対値の極値統計を調査する。確率行列理論の道具を用いて、最大根絶対値が1未満の値yより小さい確率の精密な大偏差確率を導出し、その確率がyn(n+1)/nn+1に、特徴的多項式のモーメントと関連する多重積分を含む級数を乗じた形で減少することを示している。

ABSTRACT

We investigate the fluctuations and large deviations of the root of largest modulus in a model of random polynomial with independent complex Gaussian coefficients (Kac polynomials). The fluctuations were recently computed by R. Butez (arxiv 1704.02761) and involve a Fredholm determinant. The precise large deviations show a particular function defined by a series of mutiple integrals in the same vein.

研究の動機と目的

• 複素Kac多項式の最大根絶対値の大偏差挙動を理解すること、特にすべての根が1未満の半径の円板内にある確率を求める。
• 最大根絶対値分布の左裾の精密な漸近的表現を確立すること。
• 大偏差率が切り捨てられたハール分布をもつユニタリ行列（CUE）の特徴的多項式のモーメントとどのように関連するかを明らかにすること。
• Butezの最大根絶対値の極限分布に関するフラクチュエーション結果の別証明を提供すること。
• ランダム多項式の根の統計と、特に円型ユニタリアンサンブル（CUE）を含むランダム行列理論との関係を探索すること。

提案手法

• ハーミングレーの公式とガウス多項式の相関関数を用いて、根の同時密度関数を導出する。
• すべての根が円板D(y)内にある確率（ギャップ確率）を計算するための包含除外公式を適用し、級数展開を得る。
• 単位円板上での直交多項式とバーデルマンデターミナントを用いて、特徴的多項式の積の期待値を表現する。
• 直交多項式（Qk(z) = √(k+1) zk）を用いたバーデルマンデターミナントのカーネル表現により、同時密度関数を計算する。
• 単位円板上のバーゲルンカーネルにおける再現核構造 Rn(u,v) = ∑_{k=0}^{n-1} (k+1)(u v̄)^k = gn(|u|²) を用いる。
• 繰り返しの積分公式（例：(20)式）を適用し、D^n 上での |∆(z,u)|² の積分を計算し、カーネル gn+k(ui uj) の行列式を得る。

実験結果

リサーチクエスチョン

• RQ1 複素Kac多項式の最大根絶対値が1未満の値yより小さいという、精密な大偏差確率は何か？
• RQ2 最大根絶対値の大偏差は、切り捨てられたハール分布をもつユニタリ行列の特徴的多項式のモーメントとどのように関連するか？
• RQ3 Butezの最大根絶対値の極限分布に関するフラクチュエーション結果は、別の手法で再導出可能か？
• RQ4 n → ∞ のとき、y < 1 に対して P(max_k |Zk| ≤ y) のギャップ確率の漸近的挙動は何か？
• RQ5 根のプロセスの構造は、確定的点過程およびランダム解析関数とどのように関連するか？

主な発見

• 1未満の半径yに対する円板D(y)内にすべての根が存在する確率は、漸近的に yn(n+1)/nn+1 × (F(y) + O(1/n)) に比例する。ここでF(y)は収束する多重積分の級数である。
• F(y)は単位円周上の積分を含む級数として表現される：F(y) = ∑_{k≥0} (−1)^{k(k+1)/2} / (k! (k+1)!) × ∫_{U^k} ∏_{i,j=1}^k 1/(1 − y² u_i u_j) × ∏_{ℓ=1}^k (du_ℓ / 2iπ u_ℓ)。
• 大偏差挙動は、切り捨てられたCUE(n)行列の特徴的多項式のモーメントと関連しており、カーネル gn(z) = ∑_{k=0}^{n-1} (k+1) z^k を通じて漸近的スケーリングが捉えられる。
• 導出により、最大根絶対値が1に集中しないこと、およびその左裾が指数的でない（部分指数的）に減少することが確認され、1/|Z_n,n|^n が確率的に max_k U_k^{-1/2}/k に収束するという既知のフラクチュエーション結果と整合的である。
• 本手法により、対数スケールにおけるギャップ確率の厳密な漸近展開が得られ、誤差項はO(1/n)である。
• カーネル Rn(u,v) = gn(u v̄) が、切り捨てられたユニタリ行列固有値の同時密度関数に自然に現れることから、円型ユニタリアンサンブルとの関係が確立される。