[논문 리뷰] The Entropy Conjecture for Diffeomorphisms away from Tangencies

Gang Liao, Marcelo Viana외 1명|arXiv (Cornell University)|2010. 12. 02.

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

한 줄 요약

이 논문은 동치가 아닌 동치의 고리에 대해 $C^1$ 미분구조가 쇼브의 엔트로피 추측을 만족함을 증명한다: 위상적 엔트로피는 호모클리닉 비틀림이 없는 경우, 호모로지에 유도된 사상의 스펙트럴 반경의 로그로 아래에서 유계이다. 핵심 메커니즘은 균일한 확산성을 갖는 엔트로피 확장성으로, 이는 엔트로피의 연속성과 주요 기호적 확장의 존재를 암시하며, 지속적인 비틀림을 보이는 시스템과 뚜렷한 대비를 이룬다.

ABSTRACT

We prove that every C1 diffeomorphism away from homoclinic tangencies is entropy expansive, with locally uniform expansivity constant. Consequently, such diffeomorphisms satisfy Shub's entropy conjecture: the entropy is bounded from below by the spectral radius in homology. Moreover, they admit principal symbolic extensions, and the topological entropy and metrical entropy vary continuously with the map. In contrast, generic diffeomorphisms with persistent tangencies are not entropy expansive and have no symbolic extensions.

연구 동기 및 목표

• 호모클리닉 비틀림의 폐포 외부의 $C^1$ 미분구조에 대해 쇼브의 엔트로피 추측을 수립하기 위해.
• 이러한 미분구조가 국소적으로 균일한 확산 상수를 갖는 엔트로피 확장성임을 보여주기 위해.
• 이러한 시스템에서 위상적 및 측도 엔트로피가 $C^1$ 위상에서 연속적으로 변함을 증명하기 위해.
• 지속적인 비틀림을 보이는 시스템과의 대비를 위해, 이러한 시스템은 엔트로피 확장성을 실패하고 기호적 확장을 갖지 못함을 보여주기 위해.
• 엔트로피 및 스펙트럴 불변량을 이용해 비틀림 외부의 역학을 완전한 위상적 기술로 기술하기 위해.

제안 방법

• 호모클리닉 비틀림이 없고 $C^1$ 정규성으로 인해 리아풀로프 지수를 제어함으로써 엔트로피 확장성을 증명한다.
• 주어진 주기 궤도에서 $L_1$-지배 분해와 균일한 초구형성을 사용하여 도함수의 성장을 제어한다.
• $L_1$ 미만의 주기를 갖는 주기점에 대해 리아풀로프 지수의 균일한 하한을 구성함으로써 균일한 수축/확장을 보장한다.
• 주기 집합의 상한 연속성과 도함수의 연속성을 이용하여, 근처의 $g \in \mathcal{U}_0$ 에서 $f$ 에서의 추정을 연장한다.
• 스펙트럴 반경 부등식 $\log \operatorname{sp}(f_*) \leq v(f)$ 를 적용하며, 여기서 $v(f)$ 는 체적 성장률이며, 엔트로피 확장성에 의해 엔트로피와 관련된다.
• $C^1$ 미분구조가 비틀림이 없는 경우, 균일한 제어를 가능하게 하는 지배 부분다중공간의 $C^1$-안정적 분해를 이용한다.

실험 결과

연구 질문

• RQ1 호모클리닉 비틀림에서 벗어난 $C^1$ 미분구조에 대해 쇼브의 엔트로피 추측이 성립하는가?
• RQ2 이러한 시스템에 대해 균일한 확산 상수를 갖는 엔트로피 확장성을 확립할 수 있는가?
• RQ3 이러한 미분구조는 주요 기호적 확장을 갖는가, 그리고 $C^1$ 변형에서 엔트로피가 연속적인가?
• RQ4 지속적인 비틀림을 보이는 시스템은 엔트로피 확장성과 기호적 확장 측면에서 어떻게 다를까?
• RQ5 엔트로피 추측은 $C^\infty$ 또는 아르키메데스 A 시스템을 초월하여 $C^1$ 설정에서 유효한가?

주요 결과

• 모든 $f \in \operatorname{Diff}(M) \setminus \overline{\operatorname{HT}}$ 에 대해 엔트로피 추측이 성립한다. 즉, $C^1$ 미분구조가 호모클리닉 비틀림에서 벗어난 경우이다.
• 모든 이러한 미분구조는 국소적으로 균일한 확산 상수를 갖는 엔트로피 확장성임을 보이며, 엔트로피 구조의 강건성을 보장한다.
• 이러한 시스템에서 위상적 및 측도 엔트로피는 $C^1$ 위상에서 맵에 대해 연속적으로 변한다.
• 지속적인 비틀림을 보이는 일반적인 미분구조는 엔트로피 확장성을 실패하고 기호적 확장을 갖지 못한다.
• 이 증명은 주기의 길이가 유계인 주기점에서 리아풀로프 지수의 균일한 제어와 $f$ 의 근처에서 도함수의 연속성에 의존한다.