[논문 리뷰] Entropy and escape of mass for $SL(3,Z)\SL(3,R)$

Manfred Einsiedler, Shirali Kadyrov|arXiv (Cornell University)|2009. 12. 02.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 8

한 줄 요약

이 논문은 $\mathrm{SL}(3,\mathbb{Z})\backslash\mathrm{SL}(3,\mathbb{R})$ 공간에서의 대각 흐름에 대해 측度론적 엔트로피와 질량 이탈 사이의 정량적 관계를 확립한다. $\mathrm{T}$-불변 확률 측도에 대해 엔트로피 $h_\mu(\mathrm{T})$ 는 $3 - \mu(X_{\geq M}) + \varphi(M)$ 이하로 bound되며, 여기서 $\varphi(M) \to 0$ 이다 $M \to \infty$ 일 때. 이는 약한* 수렴에서 남는 질량에 대해 날카운 하한을 이끌어내며, $h_{\mu_i}(\mathrm{T}) \geq c$ 인 수열에 대해 $\mu(X) \geq c - 2$ 를 만족한다. $c \in (2,3)$ 일 때 등호가 달성 가능한 것으로 보여진다.

ABSTRACT

We study the relation between measure theoretic entropy and escape of mass for the case of a singular diagonal flow on the moduli space of three-dimensional unimodular lattices.

연구 동기 및 목표

• 비콤팩트 동차 공간에서 측도론적 엔트로피와 질량 이탈 간의 상호작용을 이해하기 위해, 특히 $\mathrm{SL}(3,\mathbb{Z})\backslash\mathrm{SL}(3,\mathbb{R})$ 에서의 대각 흐름을 대상으로 한다.
• 이전의 $\mathrm{SL}(2,\mathbb{R})$ 경우에서의 엔트로피와 질량 이탈 결과를 더 높은 질량의 $\mathrm{SL}(3,\mathbb{R})$ 설정으로 확장한다.
• 최소 벡터와 평면의 코볼륨을 기반으로 한 높이 함수를 사용하여, $X_{\geq M}$ 이라고 하는 높이가 최소 $M$ 이상인 격자 집합의 측도에 대해 엔트로피의 날카운 상한을 확립한다.
• 엔트로피가 $c$ 이상으로 유계인 $\mathrm{T}$-불변 확률 측도 수열에 대해, 임의의 약한* 수렴한 측도는 최소 $c - 2$ 의 질량을 유지해야 하며, 이 한계가 날카로운지 입증한다.

제안 방법

• 저자들은 $\mathrm{SL}(3,\mathbb{Z})\backslash\mathrm{SL}(3,\mathbb{R})$ 에서 최소 길이의 최단 벡터와 격자 평면의 최소 코볼륨의 역수로 정의된 높이 함수 $\operatorname{ht}(x)$ 를 정의한다.
• Mahlér의 컴actsim 기준을 사용하여 모든 $M > 0$ 에 대해 $X_{\leq M} = \{x \in X : \operatorname{ht}(x) \leq M\}$ 이 컴팩트임을 보이고, 임의의 컴팩트 부분집합이 어떤 $X_{\leq M}$ 안에 포함됨을 보인다.
• 주요 기법은 대각 변환 $\mathrm{T}(x) = x\alpha$ 의 역학을 분석하고, 여기서 $\alpha = \operatorname{diag}(e^{1/2}, e^{1/2}, e^{-1})$ 이며, $\mathrm{T}$ 의 반복에 따른 질량 이탈을 연구하는 것이다.
• 불안정 방향 $U^+$ 에서 차원 $d > \frac{4}{3}$ 인 측도 $\nu$ 를 사용하여 시간 평균을 적용하고, $\mu_N = \frac{1}{N} \sum_{n=0}^{N-1} \mathrm{T}^n_* \nu$ 를 정의하며, $\mathrm{T}^n$ 에서 $X_{\geq M}$ 에서의 측도 성장률을 추정한다.
• 증명은 레이마 6.2의 핵심 추정에 기반하며, $\mathrm{T}^n$ 에서 $X_{\geq M}$ 으로 이탈하는 집합의 측도를 bound하고, $\varphi(M) = O(\frac{\log \log M}{\log M})$ 의 감쇠를 사용하여 오차 항을 제어한다.
• 저자들은 [7] 에서의 하우스도르프 차원 결과를 응용하여 $\frac{4}{3}$ 보다 큰 차원을 가진 측도를 구성하고, 너무 많은 질량이 이탈하면 모순이 발생하므로, 한계 측도의 질량에 대한 하한을 입증한다.

실험 결과

연구 질문

• RQ1 측도론적 엔트로피 $h_\mu(\mathrm{T})$ 의 날카운 상한은 $X_{\geq M}$ 의 측도에 대해 어떻게 표현될 수 있는가? 여기서 $X_{\geq M}$ 은 높이가 최소 $M$ 이상인 격자로 구성된다.
• RQ2 엔트로피가 $c$ 이상으로 유계된 $\mathrm{T}$-불변 확률 측도 수열의 경우, 약한* 수렴에서 이탈하는 질량의 양을 엔트로피가 제어할 수 있는가?
• RQ3 약한* 수렴한 수열에서 $h_{\mu_i}(\mathrm{T}) \geq c$ 를 만족하는 경우 $\mu(X) \geq c - 2$ 는 날카로운가? 만약 그렇다면, 이러한 수열을 명시적으로 구성할 수 있는가?
• RQ4 불안정 방향 $U^+$ 에서의 측도 차원은 대각 흐름 $\mathrm{T}$ 에서의 질량 이탈에 어떤 영향을 미치는가?
• RQ5 높이 함수 $\operatorname{ht}(x)$ 는 격자의 기하학적 성질과 컴팩트 집합에서의 이탈을 정량화하는 데 어떤 역할을 하는가?

주요 결과

• 이 논문은 모든 $\mathrm{T}$-불변 확률 측도 $\mu$ 에 대해 $h_\mu(\mathrm{T}) \leq 3 - \mu(X_{\geq M}) + \varphi(M)$ 를 확립한다. 여기서 $\varphi(M) = O(\frac{\log \log M}{\log M})$ 이고 $\varphi(M) \to 0$ 이다 $M \to \infty$ 일 때. $\mathrm{T}$ 는 $\alpha = \operatorname{diag}(e^{1/2}, e^{1/2}, e^{-1})$ 로 정의된 대각 흐름이다.
• 임의의 $\mathrm{T}$-불변 확률 측도 수열 $\{\mu_i\}$ 에 대해 $h_{\mu_i}(\mathrm{T}) \geq c$ 를 만족하면, 임의의 약한* 수렴한 측도 $\mu$ 는 $\mu(X) \geq c - 2$ 를 만족한다. 이 한계는 날카롭다: 임의의 $c \in (2,3)$ 에 대해 $h_{\mu_i}(\mathrm{T}) \to c$ 이고 $\mu(X) = c - 2$ 를 만족하는 수열이 존재한다.
• 하우르 측도에 대해 $\mathrm{T}$ 의 최대 엔트로피는 3이며, 이는 달성 가능하고 엔트로피 부등식의 상한으로 기능한다.
• 불안정 방향 $U^+$ 에서 차원 $d > \frac{4}{3}$ 인 측도를 고려할 때, 저자들은 시간 평균 측도 $\mu_N$ 이 수렴하는 측도 $\mu$ 는 $\mu(X) \geq \frac{3d - 4}{2}$ 를 만족함을 보였다. $d > \frac{4}{3}$ 일 때 이는 $\mu(X) \geq \frac{3}{2}(d - \frac{4}{3})$ 로 향상된다.
• 증명은 하우스도르프 측도의 행동에 기반한 모순 증명을 사용한다: 만약 한계 측도가 $\frac{3d - 4}{2}$ 보다 적은 질량을 가졌다면, 차원 조건과 $\mathrm{T}^n$ 에서의 이탈률 감쇠와 모순된다.
• 저자들은 $U^+$ 에서 고차원 측도가 항상 전체 질량 수렴을 이끌지 못한다는 반례를 구성한다. 대신 이탈은 엔트로피와 차원의 상호보완적 관계에 의해 제어되며, $\mu(X) \geq \frac{3d - 4}{2}$ 는 최적의 한계임을 보여준다.