일부 콤팩트 다양체에서 연속 자기사상의 위상 엔트로피 하한 추정

초록

본 논문은 기본군이 무한 차수가 없고 가상적으로 닐포텐트인 콤팩트 K(π,1) 다양체에 대한 연속 자기사상의 위상 엔트로피에 관한 엔트로피 추측을 입증한다. 특히 적외-닐맨폴드(infra‑nilmanifold) 위의 모든 연속 사상에 대해 동일한 결과가 성립한다. 우리는 사상에 연관된 정수 행렬(‘선형화 행렬’)의 스펙트럼 반경의 로그가 위상 엔트로피의 하한이 됨을 보이며, 이를 통해 마흘러 측정(Mahler measure)의 알려진 추정치를 이용해 엔트로피의 절대적 하한을 도출한다.

상세 요약

위상 엔트로피는 동역학계의 복잡성을 정량화하는 핵심 개념으로, 특히 연속 사상의 경우 그 하한을 구하는 것이 어려운 문제이다. ‘엔트로피 추측(Entropy Conjecture)’은 사상의 선형 근사(linearization)와 관련된 대수적 데이터가 위상 엔트로피를 지배한다는 직관에 기반한다. 구체적으로, 사상 f: M→M에 대해 기본군 π₁(M)의 자동화(automorphism) φ_f를 고려하고, φ_f를 정수 행렬 A_f로 표현한다. 이때 A_f의 스펙트럼 반경 ρ(A_f)의 로그, 즉 log ρ(A_f)가 f의 위상 엔트로피 h_top(f)보다 작지 않다는 것이 추측의 핵심이다.

저자들은 이전 논문 “Entropy conjecture for continuous maps of nilmanifolds”에서 닐맨폴드(nilmanifold)와 그 변형인 infra‑nilmanifold에 대해 이 추측을 증명한 바 있다. 현재 연구에서는 그 결과를 보다 일반적인 K(π,1) 다양체로 확대한다. K(π,1) 다양체는 기본군 π만이 비자명한 동차군이며, 그 위상 구조가 기본군에 의해 완전히 결정되는 특성을 가진다. 여기서 π가 ‘torsion‑free and virtually nilpotent’라는 조건은 두 가지 의미를 내포한다. 첫째, π에 유한 차수의 원소가 없으므로 기본군의 자동화가 정수 행렬로 깔끔히 표현될 수 있다. 둘째, π가 가상적으로 닐포텐트라는 것은 어떤 유한 인덱스 부분군이 닐포텐트라는 뜻으로, 이는 닐맨폴드와 infra‑nilmanifold이 갖는 대수적 구조와 동일시될 수 있다.

핵심 정리는 다음과 같다. 임의의 연속 자기사상 f가 주어지면, 그에 대응하는 선형화 행렬 L_f∈GL_n(ℤ)를 정의할 수 있다. 이 행렬은 기본군의 자동화가 유도하는 동형사상의 정수 표현이며, 그 스펙트럼 반경 ρ(L_f)는 f가 만든 ‘선형적 성장’의 양을 측정한다. 저자들은 위상 엔트로피 h_top(f)≥log ρ(L_f)임을 증명한다. 이 부등식은 기존에 알려진 ‘볼츠만-가우스-라플라스’ 형태의 하한보다 강력하며, 특히 ρ(L_f)=1인 경우에도 비자명한 하한을 제공한다는 점에서 의미가 크다.

또한, 선형화 행렬의 특성다항식 P_f(t)∈ℤ