[논문 리뷰] The entropy of alpha-continued fractions: analytical results

Giulio Tiozzo|arXiv (Cornell University)|2009. 12. 13.

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

한 줄 요약

이 논문은 유계 변동 함수 위에서 전이 연산자의 스펙트럼 분석을 사용하여 Nakada의 $\alpha$-연분수 변환 $ T_\alpha $의 메트릭 엔트로피 $ h(T_\alpha) $의 헬더 연속성을 확립한다. 또한, $ \log|T_\alpha'| $를 포함한 약간의 성장률을 보이는 유계가 아닌 관측량에 대해 중심극한정리가 성립함을 증명하여, 빈도수 평균이 엔트로피로 수렴하는 정규분포를 확인한다.

ABSTRACT

We study the ergodic theory of a one-parameter family of interval maps T_alpha arising from generalized continued fraction algorithms. First of all, we prove the dependence of the metric entropy of T_alpha to be Hoelder-continuous in the parameter alpha. Moreover, we prove a central limit theorem for possibly unbounded observables whose bounded variation grows moderately. This class of functions is large enough to cover the case of Birkhoff averages converging to the entropy.

연구 동기 및 목표

• 매개수 $ \alpha \in (0,1] $에 대한 메트릭 엔트로피 $ h(T_\alpha) $의 헬더 연속성을 확립하여, 그 정(regularity)에 관한 오랜 동안의 추측을 해결한다.
• 유계가 아닌 관측량을 다룰 수 있는 새로운 범주 공간 $ B_{K,\delta} $에 대해 중심극한정리를 확장하여, 영역 근처에서 총변동이 느리게 증가하는 함수를 포함한다.
• Birkhoff 평균의 점근적 분산이 $ \alpha $ 에 대해 연속임을 증명하여, 매개수에 대한 매끄러운 의존성에 대한 수치적 관측을 지지한다.
• 전이 연산자 $ T_\alpha $에 대해 균일한 Lasota-Yorke 부등식의 새로운 올바른 증명을 제시하여 이전 연구에서의 결함을 수정한다.
• 비록 $ BV $-노름에서 연속적이지 않지만, $ L^1 $-노름에서 불변 밀도 $ \rho_\alpha $가 헬더 연속임을 보인다.

제안 방법

• 유계 변동 함수 공간에서 전이 연산자의 스펙트럼 이론을 적용하고, 균일한 Lasota-Yorke 부등식을 사용하여 본질적 스펙트럼 반경을 유계화한다.
• 구간 분할의 구조와 도함수의 유계성에 기반하여, 매개수 $ \alpha $ 와 $ \alpha' $ 에 대한 맵 $ T_\alpha $ 와 $ T_{\alpha'} $ 사이의 거리의 헬더 연속성을 확립한다.
• 변형에 대한 스펙트럼 분해의 안정성 결과를 적용하여, $ L^1 $-노름에서 불변 밀도 $ \rho_\alpha $ 의 헬더 연속성을 유도한다.
• 총변동의 약간의 성장률을 보이는 함수의 공간인 범주 공간 $ B_{K,\delta} $ 를 도입하여, $ \log|T_\alpha'| $ 와 같은 유계가 아닌 관측량을 다룰 수 있도록 한다.
• 기존 기법 [1] 을 확장하여 $ B_{K,\delta} $ 에 속한 관측량에 대해 중심극한정리를 증명하고, 양의 분산 $ \sigma^2 > 0 $ 을 가진 정규분포로 수렴함을 보인다.
• 함수해석적 프레임워크와 불변 측도의 정(regularity)를 이용하여 Birkhoff 합의 분산 $ \sigma^2_{\alpha,f} $ 가 $ \alpha $ 에 대해 연속임을 분석하고 증명한다.

실험 결과

연구 질문

• RQ1 Nakada의 $\alpha$-연분수의 메트릭 엔트로피 $ h(T_\alpha) $ 는 매개수 $ \alpha \in (0,1] $ 에 대해 헬더 연속적인가?
• RQ2 엔트로피 계산에 핵심적인 역할을 하는 $ \log|T_\alpha'| $ 와 같은 유계가 아닌 관측량에 대해 중심극한정리를 확립할 수 있는가?
• RQ3 비단조화적이며 자기유사한 성질을 지닌 엔트로피 함수의 구조에도 불구하고, $ C^1 $ 관측량의 Birkhoff 평균의 점근적 분산은 $ \alpha $ 에 대해 연속적인가?
• RQ4 $ \alpha \to 0 $ 이면서 새로운 지점이 나타나는 상황에서도 전이 연산자 $ T_\alpha $ 에 대해 균일한 Lasota-Yorke 부등식을 증명할 수 있는가?
• RQ5 비록 $ BV $-노름에서 연속적이지 않지만, $ \alpha $ 가 변할 때 불변 밀도 $ \rho_\alpha $ 의 정(regularity)은 $ L^1 $-노름에서 어떻게 행동하는가?

주요 결과

• 메트릭 엔트로피 $ h(T_\alpha) $ 는 임의의 지수 $ 0 < s < \frac{1}{2} $ 에 대해 헬더 연속이며, 그 정(regularity)에 대한 추측을 해결한다.
• 비록 $ BV $-노름에서 연속적이지 않지만, 불변 밀도 $ \rho_\alpha $ 는 $ L^1 $-노름에서 헬더 연속이다.
• 모든 비상수 실수 값 함수가 속한 범주 공간 $ B_{K,\delta} $ 에 대해 중심극한정리가 성립하며, 이는 $ \log|T_\alpha'| $ 와 같은 유계가 아닌 관측량을 포함하고 있으며, 양의 점근적 분산 $ \sigma^2 > 0 $ 을 가진다.
• $ \log|T_\alpha'| $ 의 Birkhoff 평균은 정규분포로 수렴하며 중심이 $ h(T_\alpha) $ 에 위치한다. 이는 [10] 에서의 수치적 증거를 확인한다.
• $ C^1 $ 관측량에 대한 Birkhoff 합의 점근적 분산 $ \sigma^2_{\alpha,f} $ 는 $ \alpha $ 에 대해 연속이며, 매개수에 대한 매끄러운 의존성에 대한 수치적 관측을 지지한다.
• 모든 $ \alpha \in (0,1] $ 에 대해, $ \alpha \to 0 $ 에서도 유효한 균일하고 수정된 Lasota-Yorke 부등식의 증명이 확립된다.