[논문 리뷰] mm-Spaces and group actions

Vladimir Pestov|ArXiv.org|2001. 10. 26.

Topological and Geometric Data Analysis참고 문헌 22인용 수 12

한 줄 요약

이 논문은 확률측도를 지닌 거리측도공간인 mm-space를 소개하고, 군 작용이 측도의 집중 현상에 미치는 영향을 다루며, 레비 가족(Lévy families)이 변환군에서 자연스럽게 나타나며, 그들의 수렴성을 그로모프의 ${\underline{H}_1{\cal L}\iota}$ 거리에 의해 형식화할 수 있음을 보여준다. 이와 동시에, mm-space의 수열이 임의의 $\varepsilon > 0$에 대해 $\alpha_n(\varepsilon) \to 0$를 만족할 때 레비 가족이 되며, 이는 그 수열이 이 거리에 대해 자명한 공간으로 수렴함과 동치임을 증명한다.

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-space에서의 집중 개념을 형식화하는 것.
• 자명한 공간으로의 수렴을 특징짓는 거리—그로모프의 ${\underline{H}_1{\cal L}\iota}$—를 정의하여 레비 가족의 본질을 포착하는 것.
• 클래식한 군들(예: 구면, SO(n), 대칭군)과 적절한 거리와 측도를 갖춘 곱공간에서 레비 가족이 자연스럽게 나타나는 조건을 보여주는 것.
• 예를 들어, 군 위의 랜덤 워크의 비자명한 경계로의 집중을 유도하는 mm-space를 구성하는 것과 같은 열린 문제를 탐색하는 것.

제안 방법

• mm-space를 거리 $d$, Borel 확률측도 $\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-space의 수열을 레비 가족으로 정의하며, 이는 강한 집중 현상을 나타낸다.
• 등거리변환과 측도 보존 작용을 통해 레비 가족의 예를 구성한다. 예를 들어 $\mathbb{S}^n$, $\mathrm{SO}(n)$, $S_n$, $\{0,1\}^n$ 등.
• 그로모프의 ${\underline{H}_1{\cal L}\iota}$ 거리를 사용하여 mm-space 간의 거리를, $1$-립시츠 함수 공간의 하우스도르프 거리에 기반한 측도 수렴을 통해 정의한다.
• mm-space의 수열이 자명한 공간 $\{\ast\}$으로 ${\underline{H}_1{\cal L}\iota}$ 거리에 대해 수렴함과 동치로 레비 가족을 이루는 것을 증명한다.
• 비가소한 곱공간 $X^n$에 대해 가측 집합과 그에 대한 가측한 $\varepsilon$-근접집합을 고려하여 농도 행동을 유지하는 방식으로 프레임워크를 확장한다.

실험 결과

연구 질문

• RQ1 mm-space 위의 군 작용이 측도의 집중 현상에 어떻게 영향을 미치는가?
• RQ2 농도 함수와 그 수렴성에 기반해 레비 가족이 어떻게 특징지어지는가?
• RQ3 그로모프의 ${\underline{H}_1{\cal L}\iota}$ 거리가 자명한 공간으로의 수렴을 형식화하고, 레비 가족을 특징짓는 데 사용될 수 있는가?
• RQ4 정규화된 하우스도르프 거리와 곱측도를 갖춘 곱공간 $X^n$이 레비 가족이 되기 위한 조건은 무엇인가?
• RQ5 비자명한 공간으로의 집중을 어떻게 형식화할 수 있으며, 이와 관련하여 군 위의 랜덤 워크는 어떤 역할을 하는가?

주요 결과

• 정규화된 하우어 측도와 기하학적 거리(지오데식)를 갖춘 단위 구면 $\mathbb{S}^n$은 레비 가족을 이룬다. 이 경우 농도 함수는 $\alpha_n(\varepsilon) \leq C_1 \exp(-C_2 n \varepsilon^2)$를 만족한다.
• 정규화된 하우어 측도와 연산자 노름 거리(Operator norm)를 갖춘 특수직교군 $\mathrm{SO}(n)$ 역시 레비 가족을 이룬다. 이는 그로모프와 밀먼이 증명하였다.
• 정규화된 수세기 측도와 정규화된 하우스도르프 거리(정규화된 하밍 거리)를 갖춘 대칭군 $S_n$은 레비 가족을 이룬다. 이 결과는 모레이에에 의해 도출되었다.
• 정규화된 수세기 측도와 정규화된 하우스도르프 거리(하밍 거리)를 갖춘 하밍 큐브 $\{0,1\}^n$ 역시 레비 가족을 이룬다. 이 경우 가우시안 농도 경계가 성립한다.
• mm-space의 수열 $X_n$이 자명한 공간 $\{\ast\}$으로 그로모프의 ${\underline{H}_1{\cal L}\iota}$ 거리에 대해 수렴함과 동치로 레비 가족을 이룬다.
• 임의의 mm-space $X$ 위의 $1$-립시츠 함수 $f$에 대해, $|f - M_f| > \varepsilon$ 인 점들의 측도는 $2\alpha_X(\varepsilon)$ 이하로 bound된다. 이는 이러한 함수들이 거의 모든 확률에서 상수에 가까운 것을 보여준다.