[논문 리뷰] Bernoulli actions and infinite entropy

David Kerr, Hanfeng Li|arXiv (Cornell University)|2010. 05. 27.

Computability, Logic, AI Algorithms참고 문헌 4인용 수 3

한 줄 요약

이 논문은 가산 소픽 군에 대해, 기저 엔트로피가 무한대인 베르누이 작용이 모든 소픽 근사 수열에 대해 무한대의 소픽 측도 엔트로피를 가진다는 것을 증명한다. 동역학과 엔트로피 하한의 위상적 표현을 통해 저자들은 이러한 베르누이 작용의 엔트로피가 근사 수열과 무관하게 기저 엔트로피와 일치함을 증명하며, 보웬이 제기한 질문을 해결하고, 비가역적 및 비오르스타인 소픽 군에 대한 고전적 엔트로피 이론을 확장한다.

ABSTRACT

We show that, for countable sofic groups, a Bernoulli action with infinite entropy base has infinite entropy with respect to every sofic approximation sequence. This builds on the work of Lewis Bowen in the case of finite entropy base and completes the computation of measure entropy for Bernoulli actions over countable sofic groups. One consequence is that such a Bernoulli action fails to have a generating countable partition with finite entropy if the base has infinite entropy, which in the amenable case is well known and in the case that the acting group contains the free group on two generators was established by Bowen using a different argument.

연구 동기 및 목표

• 기저 엔트로피가 무한대인 베르누이 작용에서 소픽 측도 엔트로피의 행동에 관해 루이스 보웬이 제기한 질문을 해결하기 위해.
• 가역적 군과 F₂를 포함하는 군을 넘어서 모든 가산 소픽 군으로의 베르누이 작용의 엔트로피 분류를 확장하기 위해.
• 기저 엔트로피가 유한하지 않은 이러한 작용이 유한 엔트로피를 가진 생성 가능한 측도적 분할을 갖지 못함을 보여주어, 기존의 가역적 및 F₂를 포함하는 경우의 결과를 일반화하기 위해.
• 기저 엔트로피가 항상 동일한 방식으로 작용함을 보여주어, 모든 가산 소픽 군에 대해 베르누이 작용의 소픽 측도 엔트로피를 완전히 계산하기 위해.

제안 방법

• 연속적인 작용과 컴 pact 메트라이잭블 공간 위의 유니탈 ∗-호모모르피즘을 이용해 동역학을 위상적 프레임워크로 표현하기 위해 C∗(d)에.
• C(X) 내의 유한 분할 단위를 사용하여 호모모르피즘에 대한 의사거리 측도를 정의함으로써, 측도 이론적 엔트로피를 위상적 엔트로피 기법으로 근사화하기 위해.
• 스티링거의 근사법과 엔트로피 하한을 사용하여 L∞(X,μ)에서 C^d로의 약간의 G-준동형성과 약간의 측도 보존성을 갖는 사상의 수를 추정하기 위해.
• 이러한 호모모르피즘의 공간에서 ε-분리된 집합의 지수 성장률에 대한 하한을, 조합적 엔트로피 추정과 함수 ξ(t) = -t log t의 균일 연속성에 기반하여 설정하기 위해.
• 소픽 근사 구조와 측도 집중 현상을 활용하여, 보웬의 유한 엔트로피 하한 증명 기법의 변형을 무한 엔트로피 영역에 적용하기 위해.
• 하한과 기존의 유한 엔트로피 케이스를 조합하여, 기저 엔트로피가 무한대일 경우 모든 근사 수열에 대해 무한대의 소픽 측도 엔트로피가 성립함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 기저 엔트로피가 무한대인 가산 소픽 군 위의 베르누이 작용이 모든 소픽 근사 수열에 대해 무한대의 소픽 측도 엔트로피를 가지는가?
• RQ2 기저 엔트로피가 항상 동일한 방식으로 작용함을 보여주어, 모든 가용한 근사 수열에 관계없이 기저 엔트로피로 계산될 수 있는가?
• RQ3 기저 엔트로피가 무한대일 경우, 생성 가능한 유한 엔트로피 분할이 존재하지 않는다는 사실이, 가역적 또는 F₂를 포함하는 군 외의 모든 가산 소픽 군에 대해서도 성립하는가?
• RQ4 기저 엔트로피가 무한대일 경우, 기저 엔트로피만으로도 가산 소픽 군 위의 베르누이 작용의 동형류가 유일하게 결정되는가?

주요 결과

• 모든 가산 소픽 군 G와 소픽 근사 수열 Σ에 대해, 기저 (X,μ)를 가진 베르누이 작용의 소픽 측도 엔트로피는 H(μ), 즉 기저 엔트로피와 동일하며, H(μ)가 유한한지 무한한지에 관계없이 성립한다.
• H(μ) = +∞일 경우, 모든 소픽 근사 수열 Σ에 대해 소픽 측도 엔트로피 hΣ,μ^G(X^G, G) 또한 +∞이다.
• H(μ) = +∞일 경우, X^G의 생성 가능한 측도적 분할 Q 중에서 H_μ^G(Q) < ∞인 것이 존재하지 않으며, 이는 기존의 가역적 및 F₂를 포함하는 경우의 결과를 일반화한다.
• 이 결과는 가산 소픽 군 위의 베르누이 작용의 엔트로피 분류를 완성하며, 동형인 베르누이 작용은 반드시 동일한 기저 엔트로피를 가져야 한다는 것을 보여준다.
• 증명 과정에서 무한 엔트로피가 스틸링거의 공식과 측도 집중에 기반한 위상적 및 조합적 엔트로피 추정을 통해 모든 소픽 근사에 대해 유지됨을 입증한다.
• 이 작업은 Weiss의 질문을 해결하며, 보웬의 이전 결과를 비가역적, 토르션 군이면서 F₂를 포함하지 않는 모든 가산 소픽 군으로 확장한다.