[논문 리뷰] Krieger's finite generator theorem for actions of countable groups II

Brandon Seward|arXiv (Cornell University)|2015. 01. 14.

Mathematical Dynamics and Fractals인용 수 5

한 줄 요약

이 논문은 가산군 작용에 대한 Rokhlin 엔트로피 이론을 확장하여, 유한 Rokhlin 엔트로피를 가진 자유적이고 에르고딕인 작용이 거의 베르누이 생성 분할을 갖는다는 것을 증명한다. 모든 가산군이 양의 Rokhlin 엔트로피를 가진 자유적이고 에르고딕인 작용을 갖는다는 가정 하에, 베르누이 이동의 Rokhlin 엔트로피가 그 기저의 샤논 엔트로피와 같으며, 고츠달의 surjunctivity 추측과 캄프스키의 직접 유한성 추측을 확인한다.

ABSTRACT

We continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving actions of countable groups introduced in the previous paper. We prove that every free ergodic action with finite Rokhlin entropy admits generating partitions which are almost Bernoulli, strengthening the theorem of Abért--Weiss that all free actions weakly contain Bernoulli shifts. We then use this result to study the Rokhlin entropy of Bernoulli shifts. Under the assumption that every countable group admits a free ergodic action of positive Rokhlin entropy, we prove that: (i) the Rokhlin entropy of a Bernoulli shift is equal to the Shannon entropy of its base; (ii) Bernoulli shifts have completely positive Rokhlin entropy; and (iii) Gottschalk's surjunctivity conjecture and Kaplansky's direct finiteness conjecture are true.

연구 동기 및 목표

• 가산군 작용에 대해 Rokhlin 엔트로피를 활용한 Krieger의 유한 생성자 정리의 확장.
• 베르누이 이동의 Rokhlin 엔트로피와 그 샤논 엔트로피 간의 관계 조사.
• 기저 엔트로피에 기반한 베르누이 이동의 동형 조건 설정.
• 모든 가산군이 양의 Rokhlin 엔트로피를 가진 자유적이고 에르고딕인 작용을 갖는다는 가정 하에, 고츠달의 surjunctivity 추측과 캄프스키의 직접 유한성 추측을 증명.
• Abért–Weiss 결과에서 베르누이 이동의 약한 포함 관계를 강화하여, 유한 Rokhlin 엔트로피 작용에서 거의 베르누이 생성 분할이 존재함을 보임.

제안 방법

• 모든 생성 분할에 대한 샤논 엔트로피의 하한으로 정의된 Rokhlin 엔트로피 불변량을 사용.
• 제1부에서 유도된 유한 생성자 정리를 적용하여 특정 확률 분포를 갖는 생성 분할을 구성.
• Rokhlin 거리 $d^{ ext{Rok}}_{ u}$를 통한 거리 수렴을 활용하여 분할 근사 제어.
• 유한 분할에서 Rokhlin 거리와 표준 $L^1$ 거리 $d_{ u}$ 사이의 균일 등가성 사용.
• 근사 보조정리를 적용하여 유한 군 집합에서의 분할을 군 이동의 군집화로 확장.
• 양의 Rokhlin 엔트로피를 가진 자유적이고 에르고딕인 작용의 존재에 의존하여, 베르누이 이동에 대한 구조적 결과 유도.

실험 결과

연구 질문

• RQ1 모든 유한 Rokhlin 엔트로피를 가진 자유적이고 에르고딕인 작용은 거의 베르누이인 생성 분할을 갖는가?
• RQ2 베르누이 이동의 Rokhlin 엔트로피는 그 기저 공간의 샤논 엔트로피와 같은가?
• RQ3 모든 가산군이 양의 Rokhlin 엔트로피를 가진 자유적이고 에르고딕인 작용을 갖는다는 가정이, 베르누이 이동이 기저 엔트로피에 의해 분류됨을 의미하는가?
• RQ4 모든 가산군에 대해 고츠달의 surjunctivity 추측과 캄프스키의 직접 유한성 추측이 Rokhlin 엔트로피의 양성으로 유도될 수 있는가?
• RQ5 임의의 가산군에 대한 베르누이 이동에서 Rokhlin 엔트로피는 동형에 대해 불변인가?

주요 결과

• 유한 Rokhlin 엔트로피를 가진 모든 자유적이고 에르고딕인 작용은 거의 베르누이인 생성 분할을 갖는다. 이는 Abért–Weiss의 약한 포함 결과를 강화한다.
• 모든 가산군이 양의 Rokhlin 엔트로피를 가진 자유적이고 에르고딕인 작용을 갖는다는 가정 하에, 베르누이 이동의 Rokhlin 엔트로피는 그 기저 공간의 샤논 엔트로피와 같다.
• 동일한 가정 하에, 베르누이 이동의 Rokhlin 엔트로피는 완전히 양의 값을 가지며, 이는 모든 비자명인 인과 요소가 양의 엔트로피를 갖는다는 의미이다.
• 이 가정은 고츠달의 surjunctivity 추측이 모든 가산군에 대해 성립함을 의미한다.
• 이 가정은 캄프스키의 직접 유한성 추측이 모든 가산군에 대해 성립함을 의미한다.
• 유한 분할에서 Rokhlin 거리 $d^{ ext{Rok}}_{ u}$는 표준 $L^1$ 거리 $d_{ u}$와 균일 등가이며, 이는 근사 기법을 가능하게 한다.