[論文レビュー] mm-Spaces and group actions

Vladimir Pestov|ArXiv.org|Oct 26, 2001

Topological and Geometric Data Analysis参考文献 22被引用数 12

ひとこと要約

この論文は、確率測度を備えた距離測度空間（mm-空間）を導入し、群作用が測度の集中に与える影響を調べ、ラマヌジャン理論と関連付ける。Lévy族（測度の集中が鋭いmm-空間）が変換群において自然に生じることを確立し、Gromovの ${\underline{H}_1{\cal L}\iota}$ 距離を用いて集中を形式化し、mm-空間の列がこの距離で自明な空間に収束するときかつそのときに限りLévy族をなすことを証明する。

ABSTRACT

These are introductory notes on some aspects of concentration of measure in the presence of an acting group and its links to Ramsey theory.

研究の動機と目的

• 高次元空間における測度の集中、群作用、およびラマヌジャン的現象の相乗的関係を読みやすい紹介を提供すること。
• 等長変換および測度を保存する変換に関して不変な群作用を備えたmm-空間における集中の概念を形式化すること。
• 自明な空間への収束を特徴づけるメトリック—Gromovの ${\underline{H}_1{\cal L}\iota}$—を確立し、Lévy族の本質を捉えること。
• 古典的群（例：球面、SO(n)、置換群）および適切な距離と測度を備えた積空間においてLévy族が自然に生じることを示すこと。
• 例えば、群上のランダムウォークの非自明な境界に集中するmm-空間を構成するといった未解決問題を検討すること。

提案手法

• mm-空間を距離 $d$、ボレル確率測度 $\mu$ を備えた三つ組 $(X,d,\mu)$ として定義し、濃度関数 $\alpha_X(\varepsilon)$ を $1 - \inf\{\mu(A_\varepsilon) \mid \mu(A) \geq \frac{1}{2}\}$ として導入する。
• すべての $\varepsilon > 0$ に対して $n \to \infty$ のとき $\alpha_n(\varepsilon) \to 0$ となるmm-空間の列をLévy族とし、強い集中を示す。
• 等長変換および測度保存の群作用を用いて、$\mathbb{S}^n$、$\mathrm{SO}(n)$、$S_n$、$\{0,1\}^n$ などのLévy族の例を構成する。
• Gromovの ${\underline{H}_1{\cal L}\iota}$ 距離を用いて、$1$-リプシッツ関数の空間における測度収束によるハウスドルフ距離を用いてmm-空間間の距離を定義する。
• mm-空間の列が自明な空間 $\{\ast\}$ に ${\underline{H}_1{\cal L}\iota}$ に関して収束するときかつそのときに限りLévy族をなすことを証明する。
• 非原子的積空間 $X^n$ に対して、可測集合および可測な $\varepsilon$-近傍に制限することで、濃度の性質を保ちながらフレームワークを拡張する。

実験結果

リサーチクエスチョン

• RQ1 mm-空間における群作用が測度の集中現象にどのように影響するか。
• RQ2 濃度関数およびその収束に関して、Lévy族を特徴づける要因は何か。
• RQ3 Gromovの ${\underline{H}_1{\cal L}\iota}$ 距離を用いて自明な空間への収束を形式的に定義でき、それによってLévy族を特徴づけられるか。
• RQ4 正規化ハミング距離および積測度を備えた積空間 $X^n$ がLévy族をなすための条件は何か。
• RQ5 非自明な空間への集中をどのように形式化できるか。また、群上のランダムウォークはこの文脈でどのような役割を果たすか。

主な発見

• 正規化ハール測度および測地線距離を備えた単位球面 $\mathbb{S}^n$ はLévy族をなし、濃度関数は $\alpha_n(\varepsilon) \leq C_1 \exp(-C_2 n \varepsilon^2)$ を満たす。
• 正規化ハール測度および作用素ノルム距離を備えた特殊直交群 $\mathrm{SO}(n)$ はLévy族をなし、GromovとMilmanによって示された。
• 正規化数え上げ測度および正規化ハミング距離を備えた対称群 $S_n$ はLévy族をなし、Maureyによる結果。
• 正規化数え上げ測度および正規化ハミング距離を備えたハミング立方体 $\{0,1\}^n$ はLévy族をなし、ガウス型濃度境界を持つ。
• mm-空間の列 $X_n$ がLévy族をなすことは、Gromovの ${\underline{H}_1{\cal L}\iota}$ 距離に関して自明な空間 $\{\ast\}$ に収束することと同値である。
• mm-空間 $X$ 上の任意の $1$-リプシッツ関数 $f$ に対して、$|f - M_f| > \varepsilon$ となる集合の測度は $2\alpha_X(\varepsilon)$ で抑えられ、このことはこのような関数が高確率でほぼ定数であることを示している。