[논문 리뷰] Soficity, amenability, and dynamical entropy

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

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

한 줄 요약

이 논문은 가군(countable discrete)인 아벨 군에 대해, 연산자 대수적 프레임워크를 통해 정의된 소픽 측도 엔트로피 및 위상 엔트로피 불변량이, 소픽 근사 수열의 선택과 무관하게 각각 고전적 대응 불변량(Kolmogorov-Sinai 엔트로피 및 Bowen 엔트로피)과 일치함을 입증한다. 증명은 소픽 버전의 Rokhlin 보조정리와 변분 원리에 기반하며, 이는 측도적 경우에서 Bowen의 이전 결과를 일반화하고 소픽 엔트로피의 새로운 공간적 공식화를 제공한다.

ABSTRACT

In a previous paper the authors developed an operator-algebraic approach to Lewis Bowen's sofic measure entropy that yields invariants for actions of countable sofic groups by homeomorphisms on a compact metrizable space and by measure-preserving transformations on a standard probability space. We show here that these measure and topological entropy invariants both coincide with their classical counterparts when the acting group is amenable.

연구 동기 및 목표

• 가군 군에 대해 소픽 측도 엔트로피가 임의의 소픽 근사 수열에 대해 고전적 Kolmogorov-Sinai 엔트로피와 일치함을 보이는 것.
• 가군 군일 때 연속적 작용이 컴 pact 메트라이잭블 공간에 작용하는 경우 소픽 위상 엔트로피가 고전적 위상 엔트로피와 일치함을 증명하는 것.
• 가군 설정에서 연산자 대수적 정의와 공간적 정의의 소픽 엔트로피가 동치임을 확립하는 것.
• 소픽 엔트로피에 대해 Bowen의 결과를 새로운 공간적 접근법을 사용하여 가군 군으로 일반화하는 것.
• 측도론적 복잡성에 의존하지 않는 위상 엔트로피 일치에 대한 직접적 증명을 제공하는 것.

제안 방법

• 콤팩트 메트라이잭블 공간 위에서 불변 Borel 측도를 갖는 동역학을 이용해 소픽 엔트로피의 공간적 공식화를 개발한다.
• Ornstein과 Weiss의 구성에 유사하게 유한 그래프와 소픽 근사에 대해 Rokhlin 보조정리의 소픽 근사판을 적용한다.
• 소픽 작용 하에서 유한 집합 내 측도 근사 제어를 위해 쿼어지타일링 및 분할 기법을 사용한다.
• 고전적 경우와 유사하게 소픽 위상 엔트로피와 측도 엔트로피를 연결하는 변분 원리를 활용한다.
• 소픽 근사에서 기저 점의 순열을 통해 $(\rho, \rho_\nu)$-분리된 집합을 구성하여 엔트로피의 하한을 구한다.
• Jewett-Krieger 정리와 고전적 변분 원리를 적용하여 에르고딕 케이스를 기존 결과로 환원한다.

실험 결과

연구 질문

• RQ1 가군 군에 대해 소픽 측도 엔트로피가 고전적 Kolmogorov-Sinai 엔트로피와 일치하는가?
• RQ2 작용하는 군이 가군일 때 소픽 위상 엔트로피가 고전적 위상 엔트로피와 일치하는가?
• RQ3 가군 군에 대해 연산자 대수적 정의의 소픽 엔트로피를 공간적 정의로 동치로 표현할 수 있는가?
• RQ4 가군 군에 대해 소픽 엔트로피는 소픽 근사 수열의 선택과 무관한가?
• RQ5 유한 근사 공간에서 쿼어지타일링 커버리지와 타일 중심 집합을 제어할 수 있는 소픽 Rokhlin 보조정리를 구성할 수 있는가?

주요 결과

• 가군 가산离산 군에 대해, 임의의 소픽 근사 수열에 대해 소픽 측도 엔트로피는 고전적 Kolmogorov-Sinai 엔트로피와 일치한다.
• 군이 가군일 때, 콤팩트 메트라이잭블 공간에 연속적으로 작용하는 경우 소픽 위상 엔트로피는 고전적 위상 엔트로피와 일치한다.
• 가군 케이스에서 소픽 엔트로피의 공간적 공식화는 저자들의 이전 연구 [9]에서 제시한 연산자 대수적 정의와 동치이다.
• 유한 근사 공간에서 특정 쿼어지타일링 커버리지와 타일 중심 집합을 제어할 수 있는 소픽 Rokhlin 보조정리가 구성된다.
• 일부 조건 하에서 소픽 측도 엔트로피의 하한이 무한대임을 보여, 체계가 적절히 구조화되지 않은 한 엔트로피가 위상으로 유계가 아님을 시사한다.
• 에르고딕성을 가정하지 않아도 결과가 성립하므로, 이는 이전 문헌의 결과 범위를 초월한다.