극한 없이 엔트로피 계산하기

초록

이 논문은 국소적으로 유한한 이산군의 엔도몰피즘과 완전히 분리된 콤팩트 군의 연속 엔도몰피즘에 대해, 극한을 취하지 않고도 알제브라적 엔트로피와 위상 엔트로피를 직접 계산할 수 있는 여러 공식들을 제시한다. 이를 통해 기존의 복잡한 극한 과정 없이도 엔트로피 값을 구할 수 있으며, 특히 아벨 군 경우 알제브라적 엔트로피와 위상 엔트로피 사이의 연결 고리를 새로운 증명으로 제공한다. 또한 위상 자동사상에 대한 유한 깊이와 위상 엔트로피 사이의 관계도 새롭게 조명한다.

상세 분석

본 연구는 두 가지 주요 설정을 다룬다. 첫 번째는 국소적으로 유한한(discrete) 그룹 G의 엔도몰피즘 φ: G→G에 대한 알제브라적 엔트로피 hₐ(φ)이다. 기존 정의에서는 φⁿ(H)와 같은 하위군들의 크기 변화를 n→∞에 대해 극한을 취해 계산했으나, 저자들은 φ가 유한 지수(즉, φⁿ(G) 가 유한 인덱스를 갖는 경우)일 때, 특정 유한 부분군 H₀를 선택하면 hₐ(φ)=log|H₀/φ(H₀)|와 같이 극한 없이 표현할 수 있음을 보였다. 여기서 핵심은 “φ‑불변”인 유한 지수 하위군들의 존재와, 그들 사이의 사상에 의해 발생하는 정규화된 지수의 일관성이다.

두 번째는 완전히 분리된(compact, totally disconnected) 군 K와 연속 엔도몰피즘 ψ: K→K에 대한 위상 엔트로피 hₜ(ψ)이다. 전통적으로 위상 엔트로피는 개방 커버의 복잡도 성장률을 n→∞에 걸쳐 측정한다. 저자들은 K의 기본 열린 정규 하위군들의 체계(예: 사전 정의된 베이스 B)를 이용해, ψⁿ(U)와 같은 이미지들의 지수적 성장률을 직접 계산하는 공식 hₜ(ψ)=sup_{U∈B} log|U/ψ⁻¹(U)|를 도출한다. 이때 “극한 자유”는 ψ가 열린 사상이며, ψ⁻¹(U) 가 다시 B에 속함을 이용해 가능해진다.

특히 아벨 군 경우, Pontryagin 이중성에 의해 알제브라적 엔트로피와 위상 엔트로피가 서로 전이되는 “다이아몬드 정리”(Bridge Theorem)가 성립한다. 기존 증명은 복잡한 측정 이론과 극한 과정을 필요로 했지만, 본 논문은 위의 두 극한‑무료 공식들을 결합함으로써, hₐ(φ)=hₜ(φ̂) (φ̂는 듀얼 자동사상) 를 직접적으로 보여준다.

마지막으로, 위상 자동사상 ψ가 유한 깊이(finite depth)를 가질 때, 즉 ψⁿ(K) 가 일정 단계 이후 고정되는 경우, hₜ(ψ)와 그 깊이 d 사이에 정확한 관계 hₜ(ψ)=log |K/ψ^{d}(K)|가 성립함을 증명한다. 이는 위상 역학에서 깊이 개념이 엔트로피와 얼마나 밀접하게 연결되는지를 명확히 보여준다. 전체적으로, 논문은 극한을 피하면서도 엔트로피를 정확히 계산할 수 있는 새로운 도구들을 제공하고, 기존 이론과의 일관성을 유지함으로써 엔트로피 이론의 계산적 접근성을 크게 향상시킨다.