[논문 리뷰] Asymptotic pairs, stable sets and chaos in positive entropy systems

Wen Huang, Leiye Xu외 1명|arXiv (Cornell University)|2014. 09. 01.

Mathematical Dynamics and Fractals참고 문헌 34인용 수 3

한 줄 요약

이 논문은 가산, 이산, 무한, 왼쪽 순서 가능 아벨 군 $G$ 에 대한 양의 엔트로피 $G$-시스템에서, 점 渐近 쌍과 혼돈 행동의 존재는 안정 집합과 깊이 연결되어 있음을 규명한다. 국소 분석과 불변 측도를 사용하여, $\mu$-거의 모든 $x$ 에 대해 $S$-안정 집합 $W_S(x,G)$ 가 가 countably many Cantor 집합의 합집합인 비가산 $(S^{-1},\delta)$-Li-Yorke 집합을 포함하며, 이는 안정 집합을 통해 양의 엔트로피와 풍부한 혼돈적 구조를 연결함을 증명한다.

ABSTRACT

We consider positive entropy $G$-systems for certain countable, discrete, infinite left-orderable amenable groups $G$. By undertaking local analysis, the existence of asymptotic pairs and chaotic sets will be studied in connecting with the stable sets. Examples are given for the case of integer lattice groups, the Heisenberg group, and the groups of integral unipotent upper triangular matrices.

연구 동기 및 목표

• 가산, 이산, 무한, 왼쪽 순서 가능 아벨 군 $G$ 에 대한 $G$-시스템에서 양의 위상 엔트로피, 점 渐近 쌍, 혼돈 집합 간의 상호작용을 조사하는 것.
• 양의 엔트로피가 비대각선 점 渐近 쌍과 혼돈 행동의 존재를 유도하는 조건을 규명하는 것.
• 대수적 과거와 안정 집합 분석을 사용하여 기존 $\mathbb{Z}$-시스템 결과를 더 넓은 아벨 군의 범주로 확장하는 것.
• 안정 집합의 구조를 특성화하여, 양의 엔트로피 시스템에서 비가산 혼돈 부분집합을 포함함을 보여주는 것.

제안 방법

• Følner 수열을 사용하여, 대수적 과거 $\Phi$ 에 대해 부분군 $S\subset G$ 에 대해 점 渐近 쌍과 안정 집합 $W_S(x,G)$ 를 정의한다.
• 약한 수렴을 분석하기 위해, 측도의 곱 $\lambda_n = \mu \times_{\mathcal{F}_n} \mu$ 를 $\Phi$ 에 대해 $g_n \nearrow \infty$ 인 수열에 따라 분석하고, 에르고딕 이론과 마틴게일 수렴을 적용한다.
• 불변 측도 $\mu = \int \mu_x d\mu(x)$ 를 $G$-불변 부분 $\sigma$-대거 $\mathcal{F}$ 에 대해 분해하여 안정 집합의 점별 성질을 연구한다.
• 마틴게일 정리를 적용하여 $\lambda_n \to \lambda = \mu \times_{P_\mu(G)} \mu$ 를 증명하고, 측도의 약한 수렴을 확립한다.
• 측도 $\lambda$ 의 불변성과 에르고딕성을 이용하여 $\lambda(U_{i,g}) = \lambda(V_{i,g}) = 1$ 를 증명함으로써, 핵심 집합 위에 전체 측도를 가짐을 보인다.
• 측도 이론적 결과와 위상적 추론을 융합하여, $\mu_x$-거의 모든 $x$ 가 $W_S(x,G)$ 내에 $G_\delta$-稠밀한, 완전하고 비가산인 부분집합을 가지며, 이 부분집합이 $(S^{-1},\delta)$-혼돈적임을 보여준다.

실험 결과

연구 질문

• RQ1 왼쪽 순서 가능 아벨 군 $G$ 에 대한 $G$-시스템에서 양의 위상 엔트로피는 어떤 부분군 $S$ 에 대해 비대각선 $S$-점 渐近 쌍의 존재를 유도하는가?
• RQ2 특히 $(S,\delta)$-Li-Yorke 쌍으로서의 혼돈 행동이 양의 엔트로피 시스템의 안정 집합 내에서 보장될 수 있는가?
• RQ3 위상 엔트로피 $h_{\text{top}}(G,X) > 0$ 인 경우, 안정 집합 $W_S(x,G)$ 의 위상적 및 측도 이론적 구조는 어떠한가?
• RQ4 군 $G$ 의 대수적 과거 $\Phi$ 는 점 渐近 쌍과 혼돈 집합의 존재에 어떤 영향을 미치는가?

주요 결과

• $\mu$-거의 모든 $x \in X$ 에 대해, $S$-안정 집합 $W_S(x,G)$ 는 가 countably many Cantor 집합의 합집합인 비가산 $(S^{-1},\delta)$-Li-Yorke 집합을 포함한다.
• 조건부 측도 $\mu_x$ 의 지지집합은 완전 집합이며, $\mu$-거의 모든 $x$ 에 대해 $W_S(x,G)$ 에 포함되며, 이는 안정 집합 내에서 비가산 혼돈을 암시한다.
• $\lambda = \mu \times_{P_\mu(G)} \mu$ 는 $G$-불변이며 에르고딕이며, $\lambda(\Delta_X) = 0$ 이므로 $\mu$-거의 모든 $x$ 에 대해 $\mu_x$ 는 비원자 측도이다.
• $\mu$-거의 모든 $x$ 에 대해, $W \cap \text{supp}(\mu_x) \times \text{supp}(\mu_x)$ 는 $\text{supp}(\mu_x) \times \text{supp}(\mu_x)$ 의 밀도 있는 $G_\delta$ 부분집합이며, 풍부한 위상적 구조를 나타낸다.
• $\mu$-거의 모든 $x$ 에 대해, 안정 집합 $W_S(x,G)$ 는 비가산 $(S^{-1},\delta)$-혼돈 부분집합을 포함하며, 이는 양의 엔트로피와 혼돈 역학을 연결한다.
• 이 결과는 기존의 $\mathbb{Z}$-시스템 결과를 $\mathbb{Z}^d$, 히젠베르크 군, 상삼각선 유니포텐트 행렬 등 광범위한 아벨 군의 범주로 일반화한다.