[論文レビュー] Convergence of the Poincare Constant

Oliver Johnson|Jun 21, 2002

Mathematical Dynamics and Fractals参考文献 9被引用数 3

ひとこと要約

本稿は、中心極限定理におけるPoincaré定数が1に近づく最良の収束速度を確立し、正規化された和 $ U_n $ に対して $ R_{U_n} - 1 \leq C/n $ が成り立つことを示している。ここで $ C $ は初期のフィッシャー情報量とPoincaré定数にのみ依存する。さらに、小さな正規ノイズで摂動された離散確率変数は有限のPoincaré定数を持ち、これにより相対エントロピーにおけるCLTの明示的収束速度が得られる。

ABSTRACT

The Poincare constant R(Y) of a random variable Y relates the L2 norm of a function g and its derivative g'. Since R(Y) - Var(Y) is positive, with equality if and only if Y is normal, it can be seen as a distance from the normal distribution. In this paper we establish a best possible rate of convergence of this distance in the Central Limit Theorem. Furthermore, we show that R(Y) is finite for discrete mixtures of normals, allowing us to add rates to the proof of the Central Limit Theorem in the sense of relative entropy.

研究の動機と目的

• 古典的中心極限定理におけるPoincaré定数が1に近づく最良の収束速度を特定すること。
• 小さな独立した正規ノイズで摂動された離散確率変数が有限のPoincaré定数を持つことを示し、定量的収束結果を得ること。
• Poincaré定数を道具として用いて、CLTにおける相対エントロピーの明示的収束速度を提供すること。
• $ R_{U_n} - 1 $ の減少に対する鋭い境界を確立し、それが $ O(1/n) $ であることを示し、定数を除いてこれが最良であることを証明すること。

提案手法

• Poincaré定数 $ R_Y $ をスペクトルギャップの尺度として用い、適切な関数 $ g $ に対して $ \mathrm{Var}(g(Y)) / \mathbb{E}[g'(Y)^2] $ の上界として定義する。
• Poincaré定数の下位加法性を適用：独立な $ X,Y $ に対して $ R_{X+Y} \leq R_X + R_Y $ であり、これを $ 2^k $-部分列に沿った減少を制御するために用いる。
• スコア駆動ラプラシアン作用素 $ D_Y g = \rho_Y g' + g'' $ の固有関数によるPoincaré定数の変分的特徴づけを用い、フィッシャー情報量と関連付ける。
• 摂動論法を用いる：任意の離散確率変数 $ X $ に対して、$ Y_\tau = X + Z_\tau $（$ Z_\tau \sim N(0,\tau) $）は、$ \tau \left(1 + \left(\frac{\sigma^2}{\tau \min_s p_s}\right) \exp\left(\frac{\sigma^2}{\tau \min_s p_s}\right)\right) $ で有界な有限のPoincaré定数を持つ。
• 補題3.2を適用し、テスト関数の微分の分散を用いて $ R_{U_n} - 1 $ の乖離を評価する。局所的最大化の議論を用いる。
• $ 2^k $-部分列における再帰的不等式を用いて $ u_{2^r} \leq 4 / 2^r $ を導出し、その後、下位加法性を用いて全列に拡張し、$ R_{U_n} - 1 = O(1/n) $ を示す。

実験結果

リサーチクエスチョン

• RQ1 古典的中心極限定理において、$ n \to \infty $ のとき、Poincaré定数 $ R_{U_n} $ が1に近づく最良の収束速度は何か？
• RQ2 離散確率変数のPoincaré定数は有限になり得るか？ もし可能であれば、小さなガウスノイズとの畳み込み後の値に対する鋭い上限は何か？
• RQ3 Poincaré定数の有限性は、CLTにおける相対エントロピーの収束速度を明示的に示すことを可能にするか？
• RQ4 $ R_{U_n} - 1 $ の $ O(1/n) $ の減少率は鋭いものか？ また、下位加法性と再帰的不等式を用いてこれを証明できるか？

主な発見

• 正規化された和 $ U_n = (X_1 + \cdots + X_n)/\sqrt{n\sigma^2} $ のPoincaré定数 $ R_{U_n} $ は、$ R_{U_n} - 1 \leq C/n $ を満たす。ここで $ C $ は初期のフィッシャー情報量 $ I $ とPoincaré定数 $ R $ のみに依存し、定数を除いて最良の収束速度であることが示された。
• 有限なサポートと分散 $ \sigma^2 $ を持つ任意の離散確率変数 $ X $ に対して、$ Y_\tau = X + Z_\tau $（$ Z_\tau \sim N(0,\tau) $）は、$ \tau \left(1 + \left(\frac{\sigma^2}{\tau \min_s p_s}\right) \exp\left(\frac{\sigma^2}{\tau \min_s p_s}\right)\right) $ で有界な有限のPoincaré定数を持つ。
• $ R_{U_n} $ が1に近づく収束は鋭く、$ R_{U_n} - 1 $ が $ O(1/n) $ より速く減少することは不可能である。これは $ g(x) = x^2 - 1 $ と4次モーメントを用いた反例によって示された。
• $ Y = X + Z_\tau $ に対して $ R_Y $ が有限であることから、正規分布との相対エントロピー距離が制御された速度で減少することが保証され、$ L^1 $ および指数関数的関数の期待値における強い収束結果が得られる。
• $ 2^k $-部分列における再帰的不等式 $ (R_{S_{k+1}} - 1)^2 \leq C(R_{S_{k+1}} - R_{S_k}) $ を用い、ギャップを下位加法性で埋めることで、$ R_{U_n} - 1 = O(1/n) $ が導かれる。
• この結果により、任意の連続関数 $ w $ で $ |w(t)| \leq \exp(c|t|) $（$ c < 1/(12\sqrt{R}) $）を満たすものに対して、$ \mathbb{E}[w(U_n)] \to \mathbb{E}[w(Z)] $ が成り立ち、指数モーメントの制御のもとでの分布収束が示された。