[論文レビュー] The geometric Kannan-Lovasz-Simonovits lemma, dimension-free estimates for volumes of sublevel sets of polynomials, and distribution of zeroes of random analytic functions

Fëdor Nazarov, Mikhail Sodin+1 more|ArXiv.org|Aug 30, 2001

Point processes and geometric inequalities被引用数 12

ひとこと要約

本稿では、凸体内の多項式の部分レベル集合の体積に対する次元に依存しない鋭い推定を可能にする、次元フリーの幾何学的不等式、幾何学的 Kannan-Lovász-Simonovits (KLS) レムマを導入する。ニードル分解と対数凸体積関数を用いて、多項式の値の分布に対する指数的尾部境界を導出し、それらを応用して、確率的解析関数に対して、典型的な分布から著しく逸脱する零点分布を示す関数の割合が $ olimits ext{deviation size} olimits$ の指数関数的に減少することを示す。これは普遍的な集中現象を示している。

ABSTRACT

The goal of this paper is to attract attention of the reader to a dimension-free geometric inequality that can be proved using the classical needle decomposition. This inequality allows us to derive sharp dimension-free estimates for the distribution of values of polynomials in n-dimensional convex bodies. Such estimates, in their turn, lead to a surprising result about the distribution of zeroes of random analytic functions; informally speaking, we show that for simple families of analytic functions, there exists a "typical" distribution of zeroes such that the portion of the family occupied by the functions whose distribution of zeroes deviates from that typical one by some fixed amount, is about Const exp{-size of the deviation}. The paper is essentially self-contained. When choosing the style, we tried to make it an enjoyable reading for both a senior undergraduate student and an expert. As to the question "What is new in the paper?", we beleive that the answer to it is a function of two variables, the first being "what is written" and the second being "who is reading". Since we have no knowledge of the value of the second variable, we can only give the range of answers with the first variable fixed. For the targeted audience it will be the standard range [Nothing, Everything] (with both endpoints included).

研究の動機と目的

• 凸体内の直線に沿った相対的測度が大きな集合の体積を制御する次元に依存しない幾何学的不等式（具体的には幾何学的 KLS レムマ）を確立すること。
• この不等式を用いて、$ olimits\mathbb{R}^n olimits$ の凸部分集合上で多項式の値の分布に対する鋭い次元に依存しない推定を導出すること。
• これらの推定を用いて、確率的解析関数の零点の分布を分析し、普遍的な集中行動を明らかにすること。
• 確率的解析関数が典型的な分布から著しく逸脱する零点分布を持つ確率が、逸脱の大きさに応じて指数関数的に減少することを示すこと。

提案手法

• 幾何学的 KLS レムマはニードル分解を用いて証明され、凸体を貫る直線に沿った一様な不等式に問題を還元する。
• この手法は、凸集合の断面体積が直線に沿った位置に関して対数凸関数であることを保証するブロウン＝ミンコフスキーの定理に依存する。
• 証明は、対数凸関数を含む一変数不等式への還元に依存し、再配分と凸性の議論により指数関数との比較によって不等式が成立することを示す。
• 対数凸関数の減少再配分が不等式を保存または改善することを用い、一般の対数凸関数への結果の拡張を可能にする。
• 主な不等式は、関数が指数関数である場合に恒等的に成立することを確認し、比較によって証明を完了する。
• 多項式のレベル集合に幾何学的 KLS レムマを適用し、断面体積の対数凸性を用いることで、多項式の部分レベル集合への結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 凸体内の直線に沿った相対的密度が大きな集合の測度に対して、次元に依存しない幾何学的不等式を導出可能か？
• RQ2 凸体における多項式の部分レベル集合の体積に対する鋭い次元に依存しない推定は何か？
• RQ3 高次元の凸集合における多項式の値の分布はどのように集中するか？
• RQ4 確率的解析関数の典型的な零点分布は何か？ また、それからの逸脱はどのように振る舞うか？
• RQ5 典型的な分布から著しく逸脱する零点分布を持つ関数の測度は、逸脱の大きさに応じて指数関数的に減少するか？

主な発見

• 幾何学的 KLS レムマは、任意のコンパクトな凸集合 $\mathcal{F} \subset \mathbb{R}^n$ と閉集合 $\mathcal{E} \subset \mathcal{F}$ に対して、各点を通るすべての直線が $\mathcal{E}$ を直線分の少なくとも $\frac{\lambda-1}{\lambda}$ の割合で貫く点の集合の相対体積が、$\frac{\operatorname{Vol}(\mathcal{E}_{\lambda,\mathcal{F}})}{\operatorname{Vol}(\mathcal{F})} \leq \left[\frac{\operatorname{Vol}(\mathcal{E})}{\operatorname{Vol}(\mathcal{F})}\right]^\lambda$ を満たすことを確立する。
• この不等式は、次元 $n$ に依存しない鋭い推定を、凸体内の多項式の値の分布に対して与える。
• 単純な族に属する確率的解析関数に対して、典型的な分布から固定された量だけ逸脱する零点分布を持つ関数の割合は、$\operatorname{Const} \cdot \exp(-\text{size of deviation})$ で上から抑えられ、強い集中を示している。
• 証明手法は、ブロウン＝ミンコフスキーの定理の帰結である凸体の断面体積の対数凸性に依存し、対数凸関数上の一次元不等式への問題の還元に帰着される。
• 主な不等式は、指数関数への還元によって確認され、恒等式として成立する。再配分と比較の議論を用いて、一般の対数凸関数へと拡張される。
• この手法は多項式および解析関数に適用可能であり、次元に依存しない一様な集中結果をもたらす、統一的かつ自己完結的なアプローチを提供する。