[논문 리뷰] Long hitting time, slow decay of correlations and arithmetical properties

Stefano Galatolo, Pietro Peterlongo|ArXiv.org|2008. 01. 20.

Mathematical Dynamics and Fractals참고 문헌 19인용 수 4

한 줄 요약

이 논문은 특정 리우빌 유형의 산술적 성질을 가진 토러스 이동을 구성하며, 이는 상호 연결된 수렴하는 분모를 특징으로 하여 히팅 타임에 대한 로그 법칙을 위반한다. 이 시스템들에 대해, log 히팅 타임을 -log r 로 나눈 liminf 가 무한대로 발산함을 보이며, 이는 다항식 이하의 혼합성과 일반적인 히팅 타임과 측도 사이의 거듭제곱 법칙 관계의 붕괴를 의미한다. 이는 3차원 토러스에서 혼합 시스템을 만들기 위해 재매개변수화한 후에도 여전히 성립한다.

ABSTRACT

Let $τ_r(x,x_0)$ be the time needed for a point $x$ to enter for the first time in a ball $B_r(x_0)$ centered in $x_0$, with small radius $r$. We construct a class of translations on the two torus having particular arithmetic properties (Liouville components with intertwined denominators of convergents) not satisfying a logarithm law, i.e. such that for generic $x,x_0$ \liminf_{r o 0} \frac{\log τ_r(x,x_0)}{-\log r} = \infty. By considering a suitable reparametrization of the flow generated by a suspension of this translation, using a previous construction by Fayad, we show the existence of a mixing system on three torus having the same properties. The speed of mixing of this example must be subpolynomial, because we also show that: in a system having polynomial decay of correlations the above ratio of logarithms (which is also called the lower hitting time indicator) is bounded (it is a function of the local dimension and the speed of correlation decay). More generally, this shows that reparametrizations of torus translations having a Liouville component cannot be polynomially mixing.

연구 동기 및 목표

• 히팅 타임에 대한 로그 법칙을 위반하는 특정 산술적 성질을 가진 2차원 토러스 이동의 클래스를 구성하는 것.
• 이러한 시스템들에 대해, log 히팅 타임을 -log r 로 나눈 liminf 가 무한대로 발산함을 보이며, 이는 매우 긴 대기 시간을 의미한다.
• 이러한 시스템의 재매개변수화가 3차원 토러스에서 혼합 시스템을 생성하며, 상호관계 수축 속도가 하위다항식 수준임을 보여주는 것.
• 상관관계 수축 속도와 상위 히팅 타임 지표 사이의 일반적인 연결 고리를 확립하여, 다항식 수축이 상위극한(logarithmic ratio)의 유계성을 암시함을 보이는 것.
• 리우빌 성분을 가진 토러스 이동의 재매개변수화된 시스템이 다항식 혼합이 될 수 없다는 것을 증명하는 것.

제안 방법

• 연속 분수 수렴 분모가 q′_n ≥ q^γ_n 와 q_{n+1} ≥ (q′_n)^γ 를 만족하는 리우빌 유형의 무리수를 사용하여 2차원 토러스에서 이동을 구성함. 여기서 γ > 1.
• 히팅 타임 τ_r(x,x₀) 와 최소 거리 d_n(x,x₀) 사이의 관계를 정의식 liminf_r (log τ_r / -log r) = 1 / limsup_n (-log d_n / log n) 를 통해 활용함.
• 제11조의 결과를 적용하여 히팅 타임 행동을 궤도 내 거리 수축 속도와 연결함으로써, 산술적 성질을 동역학적 행동으로 번역함.
• 페아드의 재매개변수화 기법을 사용하여 이동 흐름을 승격시켜 3차원 토러스에서 동일한 히팅 타임 성질을 가진 혼합 시스템을 구성함.
• 지역 차원과 상관관계 수축 속도에 따라 상위 히팅 타임 지표에 대한 일반적인 상한을 확립하며, 다항식 수축이 상위극한(logarithmic ratio)의 유계성을 암시함을 보임.
• 디오판틴 추측 이론과 보렐-칸텔리 이론의 결과를 활용하여, 특정 구간의 공집합 수열에서 수축 목표의 성립 실패를 분석함.

실험 결과

연구 질문

• RQ1 로컬 차원을 초월하는 log 히팅 타임을 -log r 로 나눈 liminf 를 갖는 토러스 이동이 존재할 수 있는가?
• RQ2 회전 벡터에 대한 어떤 산술 조건이 히팅 타임에 대한 로그 법칙 위반을 초래하는가?
• RQ3 하위다항식 수축 속도를 가진 시스템이 여전히 혼합적일 수 있는가?
• RQ4 상관관계 수축 속도가 상위 히팅 타임 지표를 어떻게 제약하는가?
• RQ5 리우빌 유형의 산술적 성질은 재매개변수화된 시스템에서 다항식 혼합을 어느 정도 차단하는가?

주요 결과

• 2차원 토러스에서의 이동에 대해, 회전 벡터 (α, α′) 가 수렴 분모 q′_n ≥ q^γ_n 와 q_{n+1} ≥ (q′_n)^γ 를 만족하는 어떤 γ > 1 에 대해 성립할 경우, liminf_{r→0} (log τ_r(x,x₀) / -log r) ≥ γ 이다.
• 이는 로그 법칙을 위반함을 의미하며, 로컬 차원 d = 2 를 초월하며, γ 가 임의로 클수록 무한대로 발산함을 의미한다.
• 페아드의 재매개변수화 구성에 의해, 동일한 히팅 타임 행동을 계승하는 3차원 토러스에서 혼합 시스템이 도출되며, 이는 하위다항식 수축 속도를 의미한다.
• 논문은 다항식 상관관계 수축을 가진 모든 시스템에서 (log τ_r / -log r) 의 상위극한이 지역 차원과 수축 속도의 함수로 유계임을 증명하며, 따라서 이러한 시스템은 여기서 관찰된 극단적인 히팅 타임 행동을 보일 수 없다.
• 리우빌 성분을 가진 토러스 이동의 재매개변수화된 시스템은 다항식 혼합이 될 수 없으며, 이러한 시스템은 반드시 하위다항식 수축 속도를 가져야 한다.
• 특정 수축 목표의 시퀀스에서 다이나믹스 보렐-칸텔리 보조정리의 실패가, 측도 합이 발산하더라도 관찰된 히팅 타임 행동과 일관됨을 보여줌.