[논문 리뷰] Random walks on random coset spaces with applications to Furstenberg entropy

Lewis Bowen|arXiv (Cornell University)|2010. 08. 29.

Topological and Geometric Data Analysis참고 문헌 25인용 수 7

한 줄 요약

이 논문은 비아벨 자유군에 대해 푸르스텐베르크 엔트로피 실현 문제를 해결하며, 임의의 코셋 공간 위에서의 랜덤 워크를 통해 연속적인 가역성, $\mu$-정적 작용의 가속도를 구성한다. 자유군의 순위 $r \geq 2$와 대칭 생성 측도 $\mu$에 대해, $[0, h_{\text{max}}(\mu)]$ 내의 모든 값이 어떤 가역성 $\mu$-정적 작용의 푸르스텐베르크 엔트로피로 실현됨을 증명하여 가능한 엔트로피 값의 전체 구간을 확립한다.

ABSTRACT

We determine the range of Furstenberg entropy for stationary ergodic actions of nonabelian free groups by an explicit construction involving random walks on random coset spaces.

연구 동기 및 목표

• 비아벨 자유군의 가역성 $\mu$-정적 작용에 대해 가능한 푸르스텐베르크 엔트로피 값의 전체 범위를 결정하는 것.
• 포아송 경계와 측도 보존 시스템 이외의 명시적 예제를 구성하는 것.
• 비가역군에 대해 가능한 엔트로피 값 집합이 구간을 포함하는지 여부라는 열린 문제를 해결하는 것.
• 자유군에 대해 엔트로피 스펙트럼이 연속적이며 전체 구간 $[0, h_{\text{max}}(\mu)]$를 메우는 것으로 증명하는 것.

제안 방법

• 순위 $r \geq 2$인 자유군 $G$에 대해, $G$의 부분군 $K \subset G$에 대한 코셋 공간 $K \backslash G$ 위에서의 랜덤 워크를 구성한다.
• 이 랜덤 워크의 포아송 경계를 사용하여 $\bigcup_{i=1}^n B_{K_i}$ 위의 $\mu$-정적 작용을 정의한다. 여기서 $\{K_1, \dots, K_n\}$은 부분군의 쌍대류이다.
• 커버링 공간 구조를 활용하여 코셋 공간의 경계 역학을 유니버설 커버(카일리 그래프) 위의 작용과 연결한다.
• 불변 랜덤 부분군(IID)과 그에 관련된 포아송 경계를 사용하여 정적 작용의 공간을 매개변수화한다.
• 연속성 기준과 유한 지지 가역성 측도의 조밀성을 활용하여 엔트로피 값이 $[0, h_{\text{max}}(\mu)]$ 내에서 조밀하게 퍼져 있음을 보인다.
• 경계 위의 가역성 $G$-불변 보렐 확률 측도 집합이 파울렌 심플렉스임을 이용하여 경로로 연결되어 있음을 보장하고 엔트로피 보간을 가능하게 한다.

실험 결과

연구 질문

• RQ1 비아벨 자유군에 대해 $[0, h_{\text{max}}(\mu)]$ 내의 모든 값이 어떤 가역성 $\mu$-정적 작용의 푸르스텐베르크 엔트로피로 실현될 수 있는가?
• RQ2 임의의 코셋 공간 위에서의 랜덤 워크가 전체 엔트로피 구간 내에서 엔트로피 값의 조밀 집합을 생성하는가?
• RQ3 이러한 랜덤 워크의 포아송 경계 위의 가역성 정적 측도 공간은 경로로 연결되어 있는가?
• RQ4 자유군의 정적 작용에 대해 가능한 $\mu$-엔트로피의 구조는 어떠한가?

주요 결과

• 임의의 자유군 $G = \langle s_1, \dots, s_r \rangle$의 순위 $r \geq 2$와 대칭 생성 측도 $\mu$에 대해, 푸르스텐베르크 엔트로피 $h_\mu(X,\eta)$는 어떤 가역성 $\mu$-정적 작용에 대해서든 $[0, h_{\text{max}}(\mu)]$ 내의 모든 값을 실현한다.
• 코셋 공간 $K_i \backslash G$의 포아송 경계의 유한 합집합 위에서의 작용으로 유도되는 $\mu$-엔트로피 집합은 $[0, h_{\text{max}}(\mu)]$ 내에서 조밀하다.
• 유니버설 커버의 포아송 경계 위의 가역성 $G$-불변 보렐 확률 측도 집합은 파울렌 심플렉스이며, $\ell^2$와 위상동형이다.
• 구성의 $n$-번째 단계에서의 정적 측도 $\eta_n$의 엔트로피는 $\lim_{n \to \infty} h_\mu(\eta_n) = 0$를 만족하여 엔트로피 스펙트럼 전반에 걸친 연속성을 보장한다.
• 구성은 부분군의 유한 쌍대류 위에서의 작용을 통해 모든 엔트로피 값을 실현하며, 이러한 쌍대류 위의 균일 측도의 엔트로피는 부분군의 구조에 대해 연속적이다.