Hausdorff dimension of double base expansions and binary shifts with a hole

1. 연구 문제 및 배경 (Problem Statement)

이 논문은 두 개의 서로 다른 실수 기수 $q_0, q_1 > 1$을 사용하여 실수를 표현하는 이중 기수 전개 (Double Base Expansion) 시스템에서, **유일한 전개 (Univoque Expansion)**를 갖는 수들의 집합인 **유일성 집합 (Univoque Set, $U_{q_0, q_1}$)**의 하우스도르프 차원 (Hausdorff dimension) 을 연구합니다.

• 정의: 수열 $i_1 i_2 \cdots \in \{0, 1\}^\infty$가 $x$의 $(q_0, q_1)$-전개일 때, $x = \sum_{k=1}^\infty \frac{i_k}{q_{i_1} \cdots q_{i_k}}$로 정의됩니다.
• 유일성 집합: $U_{q_0, q_1} = \{ x \in J_{q_0, q_1} : \# \pi^{-1}_{q_0, q_1}(x) = 1 \}$로, 오직 하나의 이진 수열로만 표현 가능한 수들의 집합입니다.
• 동역학적 맥락: 이 문제는 **구멍이 있는 동역학적 시스템 (Open Dynamical Systems)**의 생존자 집합 (Survivor Set) 과 밀접하게 관련되어 있습니다. 특히, $q_0=q_1=q$인 단일 기수 경우 (q-expansion) 에서는 Erdős, Komornik, Kong, Li, Allaart 등에 의해 활발히 연구되어 왔으나, 두 기수가 다른 경우 ($q_0 \neq q_1$) 에 대한 체계적인 연구는 부족했습니다.
• 목표: 임의의 $q_0, q_1 > 1$에 대해 $U_{q_0, q_1}$의 하우스도르프 차원에 대한 명시적 공식을 유도하고, 이 값이 기수 $(q_0, q_1)$에 대해 연속적인지 증명하는 것입니다.

2. 방법론 (Methodology)

저자들은 기하학적 접근보다는 **기호 동역학 (Symbolic Dynamics)**과 **위상 엔트로피 (Topological Entropy)**를 주요 도구로 활용했습니다.

1. 기호 공간의 변환: 유일성 집합 $U_{q_0, q_1}$은 기호 공간 $\{0, 1\}^\infty$ 위의 특정 부분 시프트 (Subshift) $\Omega_{a, b}$와 거의 동일합니다. 여기서 $a$와 $b$는 각각 $1/q_1$의 준-탐욕적 (quasi-greedy) 전개와 $1/(q_0(q_1-1))$의 준-게으른 (quasi-lazy) 전개로 정의된 경계 수열입니다.
   • $\Omega_{a, b} = \{ i_1 i_2 \cdots : i_n i_{n+1} \cdots \notin ]a, b[ \text{ for all } n \ge 1 \}$
2. 엔트로피와 차원의 관계: 하우스도르프 차원을 구하기 위해 먼저 부분 시프트 $\Omega_{a, b}$의 위상 엔트로피 $h(\Omega_{a, b})$를 분석했습니다.
3. 방정식 유도:
   • 엔트로피 $h(\Omega_{a, b}) = \log \beta$는 방정식 $\pi_{\beta, \beta}(a) = \pi_{\beta, \beta}(b)$의 해 $\beta$와 관련이 있습니다.
   • 하우스도르프 차원 $s = \dim_H U_{q_0, q_1}$는 방정식 $\pi_{q_0^s, q_1^s}(a) = \pi_{q_0^s, q_1^s}(b)$의 최대 해 $s$로 결정됩니다.
4. 연속성 증명:
   • 수열 쌍 $(a, b)$가 변할 때 엔트로피와 차원의 연속성을 증명하기 위해 치환 (Substitution) 이론과 점근적 근사 기법을 사용했습니다.
   • 특히, $W = \{(a, b) : a, b \in \Omega_{a, b}\}$인 경우와 그렇지 않은 경우를 나누어 분석하고, 치환을 통해 임의의 수열 쌍을 근사하여 연속성을 보였습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 하우스도르프 차원에 대한 명시적 공식 (Theorem 1.1)

임의의 $q_0, q_1 > 1$에 대해 $U_{q_0, q_1}$의 차원 $s$를 다음과 같이 분류하여 제시했습니다:

1. 영차원 영역: $q_1 \le K(q_0)$ (일반화된 Komornik-Loreti 상수) 인 경우, $s = 0$.
2. 0 과 1 사이의 차원: $K(q_0) < q_1 < \frac{q_0}{q_0-1}$인 경우, $s$는 다음 방정식의 최대 근입니다:
   $$\pi_{q_0^s, q_1^s}(\ell(a_{q_0, q_1}, b_{q_0, q_1})) = \pi_{q_0^s, q_1^s}(r(a_{q_0, q_1}, b_{q_0, q_1}))$$
   여기서 $\ell, r$은 $\Omega_{a, b}$ 내의 극한 원소들입니다.
3. 단위 차원: $q_1 = \frac{q_0}{q_0-1}$인 경우, $s = 1$.
4. 대칭적 영역: $q_1 > \frac{q_0}{q_0-1}$인 경우, $s$는 $q_0^{-s} + q_1^{-s} = 1$을 만족하는 값입니다.

B. 연속성 증명 (Theorem 1.4 & 1.5)

• 기수 함수의 연속성: $(q_0, q_1) \mapsto \dim_H U_{q_0, q_1}$ 함수가 $(1, \infty) \times (1, \infty)$에서 연속임을 증명했습니다. 이는 기존 단일 기수 ($q_0=q_1$) 경우의 연속성 결과를 일반화한 것입니다.
• 기호 공간의 연속성: 수열 쌍 $(a, b)$에 대한 차원 함수 $d_{q_0, q_1}(a, b)$의 연속성을 증명하여, 동역학적 시스템의 매개변수 변화에 따른 차원의 안정성을 보였습니다.

C. 치환 불변성 및 일반화 (Theorem 1.6)

• 특정 조건 하에서 치환 (substitution) 을 적용한 수열에 대한 차원이 원래 수열의 차원과 동일함을 보였습니다. 이는 다양한 동역학적 시스템 (Lorenz map, doubling map with a hole 등) 에 동일한 기호적 배경이 적용될 수 있음을 의미합니다.

4. 의의 및 중요성 (Significance)

1. 이중 기수 시스템의 체계적 이해: 단일 기수 ($q$-expansion) 에 대한 기존 연구 결과를 두 기수 ($q_0, q_1$) 시스템으로 확장하여, 비정수 기수 표현 이론의 지평을 넓혔습니다.
2. 명시적 공식의 제공: 차원을 계산하기 위한 수치적 근사뿐만 아니라, 방정식 형태의 명시적 공식을 제공함으로써 이론적 분석과 수치 계산을 용이하게 했습니다.
3. 연속성의 확립: 기수 매개변수의 작은 변화가 하우스도르프 차원에 급격한 변화를 일으키지 않음을 증명하여, 이 시스템의 구조적 안정성을 입증했습니다.
4. 다학제적 적용 가능성: 연구 결과가 프랙탈 기하학, 에르고드 이론, 기호 동역학, 수론뿐만 아니라 구멍이 있는 동역학적 시스템 (Open Dynamical Systems) (예: 로렌츠 맵, 더블링 맵) 에도 직접적으로 적용될 수 있음을 보여주었습니다.

5. 결론

이 논문은 이중 기수 전개 시스템에서 유일성 집합의 프랙탈 차원을 정량화하는 데 있어 결정적인 진전을 이루었습니다. 저자들은 기호 동역학의 도구를 정교하게 활용하여 차원에 대한 명시적 공식을 도출하고, 매개변수 공간 전체에서의 연속성을 엄밀하게 증명함으로써, 비정수 기수 표현 이론과 관련 동역학 시스템 연구에 중요한 기초를 마련했습니다.