[論文レビュー] Large deviations for the empirical measure of random polynomials: revisit of the Zeitouni-Zelditch theorem

Raphaël Butez|arXiv (Cornell University)|Sep 30, 2015

Geometry and complex manifolds参考文献 17被引用数 8

ひとこと要約

この論文は、独立同一分布のガウス係数をもつ確率的多項式の経験測度に関する大偏差原理を再考し、ゼイトゥーニとゼルドイチの元々の結果を複素ガウス係数から実ガウス係数へ拡張する。複素平面を球面にコンパクト化するために逆ステレオグラフィック射影を用い、球面上の押し出し測度に対する大偏差原理を確立し、それを再び複素平面へ持ち上げることで、ベルンシュタイン＝マークフ条件および台の非痩せ性の下で、カック多項式および楕円型多項式に対して大偏差原理が成り立つことを証明する。

ABSTRACT

This article revisits the work by Ofer Zeitouni and Steve Zelditch on large deviations for the empirical measures of random orthogonal polynomials with i.i.d. Gaussian complex coefficients, and extends this result to real Gaussian coefficients. This article does not require any knowledge in geometry. For clarity, we focus on two classical cases: Kac polynomials and elliptic polynomials.

研究の動機と目的

• 確率的直交多項式の経験測度に関する大偏差原理を、複素ガウス係数から実ガウス係数へ拡張すること。
• コンパクト化技術を用いた、初等的かつ自己完結的な大偏差原理の証明を提供すること。
• 元々のゼイトゥーニ＝ゼルドイチの研究と同一の仮定の下で、カック多項式および楕円型多項式に対する大偏差原理を確立すること。
• 新しい枠組み下でも、レート関数が適切に定義され、連続的であることを保証し、上界および下界の有効性を確保すること。

提案手法

• 複素平面を2次元球面に写像する逆ステレオグラフィック射影を適用し、問題を球面上の大偏差原理に変換する。
• 大偏差理論における包含および縮約原理を用い、球面上の結果を複素平面へと再び持ち上げる。
• 測度のベルンシュタイン＝マークフ性質と台に対するポテンシャル論的仮定を用いて、大偏差上界を確立する。
• 球面上のレート関数の連続性を、非痩せ性条件の下で活用して下界を証明する。
• 異なる次数にわたる正規化定数を一様に制御し、正規化された経験測度に対する大偏差原理が成り立つように保証する。
• 球面表現におけるヤコビアンおよび測度構造の調整により、元々のゼイトゥーニ＝ゼルドイチの証明を実の場合に適応する。

実験結果

リサーチクエスチョン

• RQ1 複素ガウス係数をもつ確率的直交多項式の経験測度に関する大偏差原理は、実ガウス係数の場合に拡張可能か？
• RQ2 逆ステレオグラフィック射影技術を用いることで、幾何的複雑性を回避しつつ、確率的多項式の経験測度に関する大偏差原理を証明できるか？
• RQ3 押し出し写像および逆写像を通じて、球面上のレート関数と複素平面でのレート関数の関係は何か？
• RQ4 球面上のレート関数が、どのような条件下で連続的かつ適切に定義されるか？
• RQ5 正規化定数の一様制御は、球面から複素平面への大偏差原理の持ち上げに必要かつ十分か？

主な発見

• 大偏差原理は、実ガウス係数をもつ確率的多項式の経験測度に対しても成り立つ。これは、ゼイトゥーニとゼルドイチによる元々の結果の拡張である。
• 押し出し測度の台がすべての点で非痩せであるという仮定の下で、球面上のレート関数 $ I_{O, ext{S}^2} $ は連続的である。
• 大偏差原理は、逆ステレオグラフィック写像への縮約原理を適用することで確立され、これにより複素平面におけるレート関数は $ I_O $ となる。
• 正規化定数 $ Z_{n,k} $ は、$ n $ が大きい極限において一様に制御される。これは、完全な大偏差原理を証明するために不可欠である。
• 球面コンパクト化を用いた証明手法は、ベルンシュタイン＝マークフ条件および同一の仮定の下で、カック多項式および楕円型多項式の両方へ一様に適用可能である。
• レート関数 $ J_{O, ext{S}^2} $ は、球面上の対数ポテンシャルと重み関数の上界の上限として定義され、適切な変分的構造を保証する。