[논문 리뷰] Entropy, topological transitivity, and dimensional properties of unique $q$-expansions

Rafael Alcaraz Barrera, Simon Baker외 1명|arXiv (Cornell University)|2016. 09. 07.

Mathematical Dynamics and Fractals참고 문헌 26인용 수 8

한 줄 요약

이 논문은 기저 $ q \in (1, M+1] $ 에서의 유일한 $ q $-전개 집합에 대한 위상 엔트로피 함수 $ H(q) = h(\mathbf{U}_q) $ 를 특성화하며, 이 함수가 명시적인 평탄부를 지닌 데일리의 계단 함수임을 증명한다. 또한, 국소적으로 일정하지 않은 $ H(q) $ 가 존재하는 분기 집합 $ \mathscr{E} $ 는 풀 하우스도르프 차원을 가진 칸토어 집합임을 보이며, 모든 $ q \in (1, M+1] $ 에서 비상수 차원과 하우스도르프 차원이 일치함을 확인한다. 이는 오랫동안 남아있던 차원 등가 문제를 해결한다.

ABSTRACT

Let $M$ be a positive integer and $q \in(1,M+1].$ We consider expansions of real numbers in base $q$ over the alphabet $\{0,\ldots, M\}$. In particular, we study the set $\mathcal{U}_{q}$ of real numbers with a unique $q$-expansion, and the set $\mathbf{U}_q$ of corresponding sequences. It was shown in (Komornik et al, 2017 Adv. Math.) that the function $H$, which associates to each $q\in(1, M+1]$ the topological entropy of $\mathcal{U}_q$, is a Devil's staircase. In this paper we explicitly determine the plateaus of $H$, and characterize the bifurcation set $\mathcal E$ of $q$'s where the function $H$ is not locally constant. Moreover, we show that $\mathcal E$ is a Cantor set of full Hausdorff dimension. We also investigate the topological transitivity of a naturally occurring subshift $(\mathbf{V}_q, σ),$ which has a close connection with open dynamical systems. Finally, we prove that the Hausdorff dimension and box dimension of $\mathcal{U}_q$ coincide for all $q\in(1,M+1]$.

연구 동기 및 목표

• 이전에 데일리의 계단 함수로 알려진 위상 엔트로피 함수 $ H(q) = h(\mathbf{U}_q) $ 의 평탄부를 특성화하기 위해.
• 엔트로피 함수 $ H(q) $ 가 국소적으로 일정하지 않은 분기 집합 $ \mathscr{E} $ 를 식별하고 분석하며, 이 집합이 풀 하우스도르프 차원을 가진 칸토어 집합임을 증명하기 위해.
• 서브시프트 $ (\mathbf{V}_q, \sigma) $ 의 위상적 전이성에 대해 연구하며, 이는 열린 동역학계와 유일 전개의 구조와 관련이 있음.
• 모든 $ q \in (1, M+1] $ 에서 유일 집합 $ \mathcal{U}_q $ 의 비상수 차원과 하우스도르프 차원이 동일함을 증명함으로써 핵심적인 차원 문제를 해결하기 위해.

제안 방법

• 저자들은 기호 동역학과 사전순 부등식을 사용하여, 1의 사전순으로 가장 큰 전개 $ \alpha(q) $ 와 그 반사값을 통해 유일한 $ q $-전개 집합 $ \mathbf{U}_q $ 를 특성화한다.
• 불가약 및 $ * $-불가약 구간을 연구함으로써 엔트로피 함수 $ H(q) $ 를 분석하며, 이는 매개변수 공간의 분해와 $ H(q) $ 가 일정한 평탄부의 식별을 가능하게 한다.
• 분기 집합 $ \mathscr{E} $ 는 $ q $-전개의 구조와 엔트로피가 양이 되는 임계값 $ q_c $, 즉 코모르니크-로레티 상수를 통해 분석된다.
• 서브시프트 $ (\mathbf{V}_q, \sigma) $ 의 위상적 전이성은 두 영역에서 증명된다: $ q \in [q_G, q_T] $ 와 $ q \in (q_T, M+1] $, 이는 이동 불변성과 구간의 구조를 활용한다.
• 차원의 등가성에 대해, 저자들은 $ \mathcal{U}_q $ 의 커버를 $ \mathcal{W}_q $ 의 스케일링된 복제본을 사용하여 구성한다. 여기서 $ \mathcal{W}_q $ 는 $ \mathcal{U}_q $ 내에서 첫 번째 비영원 자릿수가 하나뿐인 원소들의 집합이다.
• 폭이 $ \delta_n = \frac{M}{q^n(q-1)} $ 인 간격 커버를 사용하여 비상수 차원을 경계하며, $ \#B_n(\mathbf{W}_q) $ 의 성장률을 엔트로피와 연결함으로써 $ \overline{\dim}_B(\mathcal{U}_q) = \frac{h(\mathbf{W}_q)}{\log q} $ 를 증명한다. 이 값은 $ \dim_H(\mathcal{U}_q) $ 와 동일하다.

실험 결과

연구 질문

• RQ1 엔트로피 함수 $ H(q) = h(\mathbf{U}_q) $ 의 명시적 평탄부는 무엇이며, 어떤 구간에서 일정한가?
• RQ2 엔트로피 함수 $ H(q) $ 가 국소적으로 일정하지 않은 분기 집합 $ \mathscr{E} $ 의 구조는 무엇이며, 그 위상적 및 분수적 성질은 무엇인가?
• RQ3 서브시프트 $ (\mathbf{V}_q, \sigma) $ 의 위상적 전이성은 $ q \in (1, M+1] $ 전역에서 균일한가? 이는 열린 동역학계와 어떻게 관련이 있는가?
• RQ4 모든 $ q \in (1, M+1] $ 에서 유일 집합 $ \mathcal{U}_q $ 의 비상수 차원과 하우스도르프 차원이 일치하는가? 만약 그렇다면 그 이유는 무엇인가?

주요 결과

• 엔트로피 함수 $ H(q) $ 는 명시적인 평탄부를 지닌 데일리의 계단 함수이며, 이 평탄부는 매개변수 공간 내의 불가약 및 $ * $-불가약 구간을 통해 특성화된다.
• 엔트로피 함수 $ H(q) $ 가 국소적으로 일정하지 않은 분기 집합 $ \mathscr{E} $ 는 풀 하우스도르프 차원을 가진 칸토어 집합이며, 이는 그 분수적 복잡성을 확인한다.
• 모든 $ q \in (1, M+1] $ 에서 서브시프트 $ (\mathbf{V}_q, \sigma) $ 는 위상적으로 전이성이 있으며, 두 개의 서로 다른 매개변수 영역에서 증명된다.
• 모든 $ q \in (1, M+1] $ 에서 $ \mathcal{U}_q $ 의 비상수 차원과 하우스도르프 차원은 동일하며, 공통된 값은 $ \frac{h(\mathbf{U}_q)}{\log q} $ 로 주어진다.
• 차원의 등가성 증명은 $ \mathcal{U}_q $ 의 간격 커버를 $ \mathcal{W}_q $ 의 스케일링된 복제본을 사용하여 구성하고, $ \#B_n(\mathbf{W}_q) $ 의 성장률을 엔트로피를 통해 경계함으로써 이루어진다.
• 저자들은 $ \overline{\dim}_B(\mathcal{U}_q) = \overline{\dim}_B(\mathcal{W}_q) $ 를 확립하며, $ \dim_H(\mathcal{U}_q) = \frac{h(\mathbf{W}_q)}{\log q} $ 이므로 차원의 등가성이 도출된다.