Hausdorff Dimension of Growth Rate Level Sets in $\theta$-expansions

논문 요약: θ-전개식에서의 성장률 레벨 집합의 하우스도르프 차원

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

• 연구 대상: 정수 continued fraction (regular continued fractions) 의 일반화인 θ-전개식 (θ-expansions) 에서 숫자 (digit) 의 성장률에 따른 레벨 집합의 하우스도르프 차원 (Hausdorff dimension) 을 연구합니다.
• 배경:
  • 고전적인 continued fraction 이론에서 Khinchine, Lévy, Diamond-Vaaler 등의 정리들은 숫자 열의 합이나 최대값에 대한 '거의 모든 (almost everywhere)' 수렴 행동을 설명합니다.
  • 특히, Zhang 과 L¨u (2016) 는 정수 continued fraction 에서 최대 숫자 ($L_n$) 와 나머지 숫자들의 합 ($S_n - L_n$) 의 비율이 특정 성장률 ($\alpha$) 을 가지는 집합이 전체 하우스도르프 차원 (full Hausdorff dimension, 즉 차원 1) 을 가진다는 것을 증명했습니다.
• 문제: 이러한 결과가 정수 continued fraction 에 국한되지 않고, 더 넓은 프레임워크인 θ-전개식에서도 성립하는지 여부와 그 증명 방법을 규명하는 것입니다.
  • θ-전개식은 $\theta \in (0, 1)$이 무리수이며 $\theta^2 = 1/m$ ($m$은 완전제곱수가 아닌 자연수) 인 경우에 정의되며, 숫자 $\ell_n(x) \ge m$을 가집니다.

2. 주요 결과 (Key Results)

• 주요 정리 (Theorem 1.1):
  임의의 $\alpha \ge 0$에 대해, 다음 레벨 집합 $E_\theta(\alpha)$는 하우스도르프 차원이 1입니다.
  $$E_\theta(\alpha) = \left\{ x \in [0, \theta] \setminus \mathbb{Q} : \lim_{n \to +\infty} \frac{L_{n,\theta}(x) \log n \log \log n}{S_{n,\theta}(x) - L_{n,\theta}(x)} = \alpha \right\}$$
  여기서 $S_{n,\theta}(x)$는 처음 $n$개 숫자의 합, $L_{n,\theta}(x)$는 최대값을 의미합니다.
• 의미:
  • 이는 Zhang 과 L¨u 의 정리를 정수 continued fraction 에서 θ-전개식으로 확장한 것입니다.
  • 극단적인 값 (extreme values) 으로 인해 숫자 합이 불안정해지더라도, 특정 성장률을 만족하는 숫자들의 집합은 위상적/차원적 관점에서 매우 '크다'는 것을 보여줍니다.

3. 방법론 (Methodology)

논문의 증명은 다음과 같은 세 가지 핵심 단계로 구성됩니다.

가. 희소 시퀀스 (Sparse Sequence) 의 도입

• 기존의 다항식적 시퀀스 대신, 초지수적 성장 (super-exponential growth) 을 보이는 새로운 희소 시퀀스를 도입하여 큰 숫자를 삽입합니다.
  • 시퀀스 정의: $n_k = \lfloor \exp(k^{3/4}) \rfloor$
• 선택 이유:
  1. $n_{k+1} - n_k = o(n_k)$를 만족하여, 삽입된 큰 숫자 사이의 일반 숫자들의 합이 전체 합에 비해 무시할 수 있게 만듭니다.
  2. $\log n_k \log \log n_k$의 성장이 충분히 느려서, 삽입된 숫자가 극한 비율을 지배하도록 합니다.

나. 구성된 부분 집합의 정의 (Construction of Subsets)

• $\alpha = 0$인 경우: 모든 숫자가 유계 (bounded) 인 집합 $X$를 사용하며, 이 집합은 Jarník-type 정리에 의해 차원이 1 임이 알려져 있습니다.
• $\alpha > 0$인 경우:
  • 유계 숫자를 가진 집합 $X_M$을 기반으로 합니다.
  • 희소 위치 $n_k$에 특정 규칙에 따라 큰 숫자를 의도적으로 삽입합니다.
  • 삽입 규칙: $\ell_{n_k}(x) \approx \frac{\alpha \sum_{i=1}^{n_k-1} \ell_i(x)}{\log n_k \log \log n_k}$
  • 이렇게 구성된 집합 $E_{M,\theta}(\alpha)$는 원래의 레벨 집합 $E_\theta(\alpha)$의 부분집합입니다.

다. 하우스도르프 차원 보존 (Dimension Preservation via Hölder Maps)

• 핵심 기법: 구성된 집합 $E_{M,\theta}(\alpha)$와 유계 숫자 집합 $X_M$ 사이의 Hölder-continuous map (Hölder 연속 사상) 을 구성합니다.
  • 사상 $f$: $E_{M,\theta}(\alpha)$의 숫자열에서 삽입된 큰 숫자 ($n_k$ 위치) 를 제거하여 $X_M$으로 보냅니다.
  • 사상 $\Phi$: $X_M$의 숫자열에 규칙에 따라 큰 숫자를 삽입하여 $E_{M,\theta}(\alpha)$로 보냅니다.
• 증명 전략:
  • 이 사상들이 $(1-\epsilon)$-Hölder 연속임을 증명합니다.
  • Hölder 연속 사상은 하우스도르프 차원을 보존하거나 (양방향일 경우), 차원을 감소시키지 않는 범위 내에서 제어할 수 있습니다.
  • $X_M$의 차원이 $M \to \infty$일 때 1 에 수렴하므로, $E_{M,\theta}(\alpha)$의 차원도 1 임이 유도됩니다.

4. 기술적 기여 및 혁신점 (Technical Contributions)

1. θ-전개식 프레임워크로의 확장: 정수 continued fraction 의 고유한 성질을 θ-전개식의 동역학적 시스템 (Generalized Gauss Map) 과 메트릭 성질 (Proposition 2.3) 에 맞게 재해석하고 적용했습니다.
2. 새로운 희소 시퀀스 설계: $n_k = \lfloor \exp(k^{3/4}) \rfloor$와 같은 초지수적 시퀀스를 사용하여, θ-전개식의 분모 ($Q_n$) 성장 속도와 삽입된 숫자의 영향을 정밀하게 제어했습니다. 이는 기존 연구에서 사용된 다항식 시퀀스보다 θ-전개식의 메트릭 성질에 더 적합합니다.
3. 정교한 차원 보존 증명: 삽입된 숫자로 인한 분모의 왜곡 (distortion) 을 정량화하고, 이를 Hölder 지수 계산에 반영하여 차원 보존을 엄밀하게 증명했습니다. 특히, 삽입된 숫자의 크기가 분모에 미치는 영향을 제어하는 Lemma 3.9 와 Lemma 3.10 이 핵심입니다.

5. 의의 및 결론 (Significance)

• 이론적 의의: 확률론적 극한 정리 (거의 모든 곳에서 성립하는 행동) 와 프랙탈 기하학 (예외적인 집합의 크기) 사이의 간극을 메우는 중요한 결과입니다. 극단적인 숫자 성장으로 인해 평균적인 행동이 붕괴되더라도, 그와 같은 성장률을 보이는 숫자들의 집합은 여전히 하우스도르프 차원 1 을 가진다는 것을 보여줍니다.
• 적용 가능성: 본 논문에서 개발된 구성 방법 (희소 시퀀스를 이용한 숫자 삽입 및 Hölder 사상) 은 θ-전개식 내의 다른 성장률 레벨 집합 (예: $L_n \log \log n / S_{n-1}$ 등) 에도 적용 가능하여, 수론적 예외 집합의 구조를 연구하는 강력한 도구가 됩니다.

요약하자면, 이 논문은 θ-전개식이라는 일반화된 continued fraction 체계에서, 숫자의 최대값과 합 사이의 특정 비율을 갖는 수들의 집합이 하우스도르프 차원 1 을 가진다는 것을 증명함으로써, 수론적 예외 집합의 풍부함과 복잡성을 규명했습니다.