[논문 리뷰] There are no deviations for the ergodic averages of the Giulietti-Liverani horocycle flows on the two-torus

Viviane Baladi|arXiv (Cornell University)|2019. 07. 08.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 5

한 줄 요약

이 논문은 Cr Anosov 미분형사(여기서 r ≥ r₁이며 충분히 크다)에 의해 정의되는 두 토러스 위의 Giulietti-Liverani 수평선 흐름에 대해, 에르고딕 평균이 선형 성장 또는 유계 성장 외의 중간 정도의 거듭제곱 법칙 성장(예: 비선형 편차)을 보이지 않음을 증명한다. 증명은 Artin-Mazur 제타 함수의 위상적 불변성과 비균일 분포 위에서의 전이 연산자 스펙트럼 분석에 기반하며, 전이 연산자의 모든 고유진동수(resonances)가 열린 단위원 안에 있음을 보여, 편차 모드가 존재하지 않음을 입증한다. 그 결과로, 최대 엔트로피 측도의 상관관계는 e⁻ʰᵗᵒڤ(F)보다 엄밀히 더 빠르게 감쇠한다.

ABSTRACT

We show that the ergodic averages for the horocycle flow on the two-torus associated by Giulietti and Liverani to an Anosov diffeomorphism either grow linearly or are bounded, in other words there are no deviations. For this, we use topological invariance of the Artin-Mazur zeta function to exclude resonances outside of the open unit disc. Transfer operators acting on suitable spaces of anisotropic distributions and their Ruelle determinants are the key tools in the proof. As a bonus, we show that for any smooth Anosov diffeomorphism F on the two-torus, the correlations for the measure of maximal entropy and smooth observables decay with a rate strictly smaller than exp(-h_top(F)). We compare our results with related work of Forni.

연구 동기 및 목표

• 이 논문은 두 토러스 위의 Giulietti-Liverani 수평선 흐름에 대해, 수렴 속도에서 비선형 편차(예: 거듭제곱 법칙 성장)가 나타나는지 여부를 해결하고자 한다.
• 흐름과 관련된 전이 연산자의 스펙트럼 구조, 특히 고유진동수들이 단위원과의 상대적 위치를 조사한다.
• 충분히 큰 r에 대해 전이 연산자의 모든 고유진동수가 열린 단위원 내부에 엄밀히 존재함을 증명하는 것이 목표이다. 이는 편차 모드의 제거를 의미한다.
• 보조 목표로는 C∞ 관측량에 대해 최대 엔트로피 측도의 상관관계가 e⁻ʰᵗᵒڤ(F)보다 엄밀히 더 빠르게 감쇠함을 증명하는 것이다.
• 편차 고유진동수의 부재가 동역학적 의미를 갖는 바, 특히 코homological 방정식과 궤도의 등분포성과의 관계를 명확히 하고자 한다.

제안 방법

• 증명은 위상 동형에 대해 Artin-Mazur 제타 함수의 위상적 불변성을 활용하여 스펙트럼 데이터의 위치를 제약한다.
• 비균일 Banach 공간 위의 분포에 대해 전이 연산자를 구성하며, 스펙트럼 분석은 본질적 및 최대 스펙트럼 반경에 집중된다.
• Ruelle의 동역학적 행렬식을 사용하여 전이 연산자의 스펙트럼을 제타 함수와 연결함으로써, 해석적 계속과 영점의 국소화를 가능하게 한다.
• 증명은 동적 제타 함수를 확장된 동역학과 관련된 동역학적 행렬식으로 분해함으로써 진행되며, 전이 연산자의 스펙트럼 반경 및 본질적 스펙트럼 반경에 관한 기존 결과를 활용한다.
• 반경 >1인 원판 내에서의 행렬식의 해석적 성질을 이용하여, 닫힌 단위원 위에 있는 영점이 존재하지 않음을 입증하며, 단 하나의 단순 영점만 z = e⁻ʰᵗᵒڤ(F)에 존재함을 보여, 단위원 위 또는 외부에 고유진동수가 존재하지 않음을 증명한다.
• ˜ρBT < 1과 ˜ρBT ≥1의 두 경우를 모두 다루기 위해, 해석적 정의역과 스펙트럼에 관한 주장의 영역을 적절히 조정한다.

실험 결과

연구 질문

• RQ1 r가 충분히 클 때, 두 토러스 위의 Giulietti-Liverani 수평선 흐름의 에르고딕 평균은 비선형 편차(예: 거듭제곱 법칙 성장)를 보이나?
• RQ2 r가 충분히 클 경우, 흐름과 관련된 전이 연산자의 모든 고유진동수가 열린 단위원 내부에 엄밀히 존재하는가?
• RQ3 편차 고유진동수의 부재는 최대 엔트로피 측도의 상관관계가 e⁻ʰᵗᵒڤ(F)보다 엄밀히 더 빠르게 감쇠함을 의미하는가?
• RQ4 제타 함수의 불변성과 동역학적 행렬식의 인수분해를 통해 전이 연산자의 스펙트럼 성질을 제어할 수 있는가?
• RQ5 편차 고유진동수의 부재는 동역학적 결과를 어떻게 초래하는가? 특히 코homological 방정식과 궤도의 등분포성과의 관계에서 어떤 의미를 갖는가?

주요 결과

• r ≥ r₁(여기서 F의 팽창/수축 비율에 따라 달라짐)일 때, 전이 연산자 eL의 모든 고유진동수는 열린 단위원 내부에 엄밀히 존재하므로, 편차 고유진동수(resonances)는 존재하지 않는다.
• 그 결과로, 에르고딕 평균 Hx,T(f)는 오차가 C′(T^θ′_min∥f∥Cr + sup|f|)로 유계인 상태에서 T·µs(f)로 수렴하며, θ′_min < 0 이므로 거듭제곱 법칙 편차는 발생하지 않는다.
• 최대 엔트로피 측도와 C∞ 관측량 사이의 상관관계는 e⁻ʰᵗᵒڤ(F)보다 엄밀히 더 작은 속도로 감쇠하며, 이는 이전의 상한보다 엄밀한 개선이다.
• 증명은 닫힌 단위원 내에서 동역학적 제타 함수의 유일한 가능한 영점이 z = e⁻ʰᵗᵒڤ(F)에 존재하는 단순 영점임을 입증하며, 단위원 위 또는 외부에 고유진동수가 존재하지 않음을 확인한다.
• 결과는 두 토러스 위의 임의의 C∞ Anosov 미분형사에 대해 성립하며, 이러한 모든 시스템에 대해 감쇠 속도는 일관되게 유지된다.
• 이 방법은 전이 연산자의 스펙트럼 데이터가 위상 동형에 대해 불변임을 확인하며, 제타 함수의 해석적 구조가 편차 부재를 완전히 결정함을 입증한다.