[論文レビュー] Estimates for Norms of Random Polynomials

Pavel G. Grigoriev|ArXiv.org|Oct 22, 2002

Mathematical functions and polynomials参考文献 6被引用数 4

ひとこと要約

本稿は、一般の関数系および独立な確率的係数を備えた確率的多項式の積分一様ノルムについて、鋭い推定を確立する。KashinとTzafririの手法を一般化することで、誤差制御を伴う多次元中心極限定理を用いて、期待積分一様ノルムの下界および上界を導出する。ノルムは $\left(\sum |a_i|^2 \log P\right)^{1/2}$ のスケーリングを示し、$P = \min(m, R) + 1$、$R$ は係数のスパarsityを測る。結果は、$p < 1/2$ のパrameterを有する $\ell^2$-to-$L^2$ 有界性条件を満たす関数系に対して、古典的結果を拡張する。主たる貢献は、関数系および係数分布に関する広範な条件下で、積分一様ノルムの正確なオーダー推定を提供することにある。

ABSTRACT

This paper contains some estimates for the {\it integral-uniform} norm and the uniform norm of a wide class of random polynomials. The family of integral-uniform norms introduced by Kasin and Tzafriri is a natural generalization of the maximum norm taken over a net. We prove some properties of the integral-uniform norms. The given application of the established estimates demonstrates that the integral-uniform norms may be useful whenever one is interested in the properties of a function distribution. Key words: integral-uniform norm; random polynomials with respect to a general function system; trigonometric polynomials with random coefficients.

研究の動機と目的

• 確率的三角関数多項式の均等ノルムに関する古典的推定を、より広範な積分一様ノルムのクラスへ拡張すること。
• 任意の関数系および独立な係数を有する確率的多項式の期待積分一様ノルムの下界および上界を確立すること。
• KashinとTzafririの先行結果を一般化し、関数系の $\ell^2$-to-$L^2$ 有界性条件をパrameter $p < 1/2$ に緩和すること。
• 幾何的補題および符号関数系への応用を通じて、積分一様ノルムが関数分布の性質を調べるうえで有効であることを示すこと。
• 極値例の構成と漸近的挙動の検証により、導出された推定のオーダーの鋭さを証明すること。

提案手法

• 本質的essentially上界の一般化として、積分一様ノルム $\|f\|_{m,\infty} = \int_X \cdots \int_X \max\{|f(x_1)|, \dots, |f(x_m)|\} \, d\mu(x_1) \cdots d\mu(x_m)$ を定義する。
• 誤差の精密な制御を伴う多次元中心極限定理を用いて、確率的多項式 $\sum a_i \xi_i(\omega) f_i(x)$ の分布を推定する。
• 三角不等式およびモーメント推定を用いて、関数系の $L^1$ および $L^3$ ノルムを制御し、一様有界性を保証する。
• 恒等式 $\|f\|_{m,\infty} = \int_0^\infty \left(1 - (1 - \lambda_f(t))^m\right) dt$ を用いて、境界を導出する。ここで $\lambda_f(t) = \mu\{\tau : |f(\tau)| > t\}$ である。
• 幾何的補題を導入し、$B_d^\infty \cup (n^{1/2+\beta} B_d^1)$ の凸包が半径 $n^{1/4 + \beta/2}$ の球を含むことを示し、これが鋭さの証明の根拠となる。
• この補題を用いて、$\ell^2$-to-$L^2$ 界のパrameter $p < 1/2$ が最適であり、導出された推定はオーダーにおいて改善できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の関数系および独立な係数を有する確率的多項式の期待積分一様ノルムの鋭い推定は何か？
• RQ2 積分一様ノルムは本質的上界をどのように一般化するのか。関数分布を調べるうえで、どのような文脈で有用なのか？
• RQ3 Rademacher 三角関数多項式に関する古典的推定は、より広範な関数系およびノルムのクラスへ拡張可能か？
• RQ4 $\ell^2$-to-$L^2$ 有界性条件（パrameter $p < 1/2$）の下で、期待積分一様ノルムの正確なオーダーは何か？
• RQ5 導出された積分一様ノルムの境界はオーダーにおいて鋭いか。極値構成によりこれを示せるか？

主な発見

• 確率的多項式 $\sum a_i \xi_i f_i$ の期待積分一様ノルムは、$\mathbb{E}\|\sum a_i \xi_i f_i\|_{m,\infty} \geq C'_3 \left(\sum |a_i|^2 \log P\right)^{1/2}$ を満たす。ここで $P = \min(m, R) + 1$、$R = \left(\sum |a_i|^2\right)^2 / \sum |a_i|^4$ である。
• 上界として、$\mathbb{P}\left(\|\sum a_i \xi_i f_i\|_{m,\infty} \leq C'_1 \left(\sum |a_i|^2 \log P\right)^{1/2}\right) \leq C'_2 P^{-q'}$ が成り立ち、パrameter $p < 1/2$ の一般化された $\ell^2$-to-$L^2$ 条件の下で、ある $q' > 0$ に対して成り立つ。
• 推定はオーダーにおいて鋭い：$R \asymp n$ のとき、ノルムは $\left(\sum |a_i|^2 \log n\right)^{1/2}$ のスケーリングを示し、古典的Rademacher三角関数多項式のケースと一致する。
• 幾何的補題により、$B_d^\infty \cup (n^{1/2+\beta} B_d^1)$ の凸包が半径 $n^{1/4 + \beta/2}$ の球を含むことが示され、$\ell^2$-to-$L^2$ 界のパrameter $p = 1/4 + \beta/2$ が最適であることが証明される。
• $\|f_i\|_1 = 1$、$\|f_i\|_3 \leq M$ を満たす任意の関数系に対して、符号 $\theta_i = \pm 1$ の選択が存在し、すべての $k = 1, \dots, \log n$ に対して $\sup_{\mu(e) = 2^{-k}} 2^k \int_e \left|\sum \theta_i f_i\right| d\mu \geq c_0 \sqrt{n k}$ を満たす。ここで $c_0 > 0$ は絶対定数である。
• $\|\sum a_i f_i\|_2 \leq C(M) n^{(7+2\delta)/16} \left(\sum |a_i|^2\right)^{1/2}$ の境界は、$\|\sum \theta_i f_i\|_1 \leq n^{1/2 + \delta}$ がすべての符号列に対して成り立つとき、オーダーにおいて最適であり、導出された推定の鋭さを確認する。