[論文レビュー] Metric and Mixing Sufficient Conditions for Concentration of Measure

Leonid Kontorovich|ArXiv.org|Oct 13, 2006

Advanced Topology and Set Theory参考文献 22被引用数 6

ひとこと要約

本稿は、確率的過程の$η$-混合と$Ψ$-優勢距離の2つの主要な概念を導入することで、測度確率空間における測度集中の十分条件を確立する。$η$-混合かつ距離が$Ψ$-優勢である確率測度の列が存在する場合、その族は正規Lévy族を形成し、指数的測度集中を保証する。この結果は、積測度およびマコフ測度に関する先行研究を、より広範な依存過程のクラスへ一般化する。

ABSTRACT

We derive sufficient conditions for a family $(X^n,ρ_n,P_n)$ of metric probability spaces to have the measure concentration property. Specifically, if the sequence $\{P_n\}$ of probability measures satisfies a strong mixing condition (which we call $η$-mixing) and the sequence of metrics $\{ρ_n\}$ is what we call $Ψ$-dominated, we show that $(X^n,ρ_n,P_n)$ is a normal Levy family. We establish these properties for some metric probability spaces, including the possibly novel $X=[0,1]$, $ρ_n=\ell_1$ case.

研究の動機と目的

• 高次元空間における測度集中現象を保証する一般的な距離および混合条件を同定すること。
• 積測度およびマコフ測度を超えて、より一般的な確率的過程へ既存の集中不等式を拡張すること。
• 指数的集中を保証する強力な混合条件（$η$-混合）および距離条件（$Ψ$-優勢）を形式化すること。
• これらの条件が、$\mathcal{S} = [0,1]$ および $L^1$ ノルムといった新規なケースにどのように適用可能かを示すこと。
• マルティングル、情報理論的およびエントロピーに基づく手法による測度集中の先行結果を統合・一般化すること。

提案手法

• マコフ連鎖のDoeblin係数を一般化する強力な依存性減衰条件として$\eta$-混合条​​件を導入する。
• $\Psi$-優勢距離を定義し、高次元空間におけるリプシッツ定数の成長を制御する。
• マルティングル技法およびカップリング論法を用いて、リプシッツ関数の裾確率を評価する。
• Lusinの定理およびリプシッツ関数による近似を用い、$L^1$-有界汎関数とリプシッツ空間の双対を関連付ける。
• 特定の距離条件の下で$\|\cdot\|_\Phi$と$\|\cdot\|_{L^1}$のノルム同値性を確立し、$\Psi$-優勢条件の強さを示す。
• $\eta$-混合および$\Psi$-優勢の下で、測度確率空間が正規Lévy族を形成することを証明し、指数的集中を示唆する。

実験結果

リサーチクエスチョン

• RQ1 一般の測度確率空間において、測度集中が成立するための距離および確率的過程に関する条件は何か？
• RQ2 積測度およびハール測度を超えて、マコフ連鎖以外の非積測度や非ハール測度に対しても測度集中現象が保証可能か？
• RQ3 強力な混合条件（$\eta$-混合）および距離の正則性（$\Psi$-優勢）が同時に作用することで、指数的尾部減衰がどのように保証されるか？
• RQ4 $[0,1]^n$ 上の$L^1$距離は、適切な混合および距離条件のもとで集中に適応可能か？
• RQ5 無限次元設定において、リプシッツ空間の双対と$L^1$-有界汎関数の関係は何か？

主な発見

• $\boldsymbol{\mathrm{P}}_n$ が$\eta$-混合かつ$\rho_n$ が$\Psi$-優勢である場合、族$({\cal S}^n, \rho_n, \boldsymbol{\mathrm{P}}_n)$ は正規Lévy族を形成する。
• 上記の条件下で、$K>0$ が$f$に依存しない形の集中不等式$\boldsymbol{\mathrm{P}}\{ |f - \mathbb{E}f| > t \} \leq 2\exp(-Kt^2)$ が確立される。
• $\mathcal{S} = [0,1]$ かつ$\rho_n = \|\cdot\|_1$ の場合、条件を満たし、$L^1$距離における新規な集中の例が得られる。
• $\|\cdot\|_\Phi$（リプシッツセミノルムの双対）は、連続的または可算的距離空間で距離が小さい場合には、$\|\cdot\|_{L^1}$ よりも厳密に弱いノルムであることが示され、$\Psi$-優勢条件の頑健性が裏付けられる。
• $\eta$-混合条件はDoeblin係数を一般化し、マコフ連鎖を超える弱く収縮する過程に対しても適用可能である。
• 証明は、$L^1$関数をリプシッツ関数で近似し、$\Phi$と$\Psi$-優勢距離の双対性を用いて汎関数ノルムを評価することに依拠する。