[논문 리뷰] Entropy for expansive algebraic actions of residually finite groups

Lewis Bowen|ArXiv.org|2009. 09. 25.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 6

한 줄 요약

이 논문은 잔여적으로 유한한 군의 전개적 주어진 대수적 작용에 대한 소픽 엔트로피를 위한 공식을 수립하며, 엔트로피가 군 링 원소 f에 대한 퓌글레데-카디슨 행렬식의 로그와 같다는 것을 증명한다. 이 결과는 소픽 엔트로피와 점점이 안정적인 성질을 이용하여 이전의 아메니타블 군에 대한 결과를 비아메니타블 잔여적으로 유한한 군으로 확장한다.

ABSTRACT

We prove a formula for the sofic entropy of expansive principal algebraic actions of residually finite groups, extending recent work of Deninger and Schmidt.

연구 동기 및 목표

• 잔여적으로 유한한 군의 전개적 주어진 대수적 작용에 대한 소픽 엔트로피를 계산하는 것.
• 아메니타블 군에서의 엔트로피 공식을 소픽 엔트로피를 이용하여 비아메니타블 잔여적으로 유한한 군으로 확장하는 것.
• 대수적 역학의 맥락에서 소픽 엔트로피와 퓌글레데-카디슨 행렬식 사이의 연결 고리를 설정하는 것.
• 위상 엔트로피 도구에 의존하지 않고 [DS07]의 주요 결과에 대한 대체 증명을 제공하는 것.
• 군이 비아메니타블일 경우 이러한 작용이 강력 측도적 혼합성(ergodicity)을 띠는지 보여주는 것.

제안 방법

• 항등원으로 수렴하는 유한지수 정규부분군의 수열 {Γi}를 이용하여 소픽 엔트로피를 정의한다.
• 유한 집합 A로의 측도적 사상 φ: X → A를 정의하여, 이미지 측도 간의 l¹-거리에 기반한 엔트로피율을 정의한다.
• 생성 관측자와 주기점에서의 불변 측도의 약한* 수렴 개념을 적용한다.
• Γi의 고정점 집합 위에서의 Haar 측도의 균일 분포를 이용하여 엔트로피를 아래로부터 추정한다.
• 주기점 위의 균일 측도의 이미지가 약한* 수렴으로 Haar 측도로 수렴한다는 사실을 이용한다.
• 주기점의 성장률이 소픽 엔트로피를 아래로부터 유계함을 보여주는 핵심 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 잔여적으로 유한한 군의 전개적 주어진 대수적 작용에 대한 소픽 엔트로피는 무엇인가?
• RQ2 비아메니타블 경우에서 소픽 엔트로피는 퓌글레데-카디슨 행렬식과 어떻게 관련이 있는가?
• RQ3 아메니타블 군에 대한 엔트로피 공식은 비아메니타블 잔여적으로 유한한 군으로 확장될 수 있는가?
• RQ4 주기점은 대수적 작용에 대한 소픽 엔트로피 추정에서 어떤 역할을 하는가?
• RQ5 군이 비아메니타블일 경우 작용은 강력 측도적 혼합성인가?

주요 결과

• f ∈ ℤΓ에 대해 관련된 전개적 대수적 작용 Xf의 소픽 엔트로피는 log det(f)와 같으며, 여기서 det(f)는 퓌글레데-카디슨 행렬식이다.
• 이 결과는 잔여적으로 유한한 군 Γ와 lim Γi = {e}를 만족하는 임의의 유한지수 정규부분군 수열 {Γi}에 대해 성립한다.
• 엔트로피 공식은 아메니타블 군으로까지 확장되며, 이는 [DS07]의 주요 결과에 대한 대체 증명을 제공한다.
• Γ가 비아메니타블일 경우 Γ ≀ (Xf, μf) 작용은 비아메니타블 성질에 의해 존재하지 않는 비자명한 점점이 안정적인 수열이 없음을 통해 강력 측도적 혼합성을 띤다.
• Γi 순서의 주기점의 수의 성장률은 소픽 엔트로피에 대한 하한을 제공한다.
• 주기점 Fix(Γi, Xf) 위의 균일 측도의 약한* 극한은 Xf 위의 Haar 측도 μf로 수렴한다.