Prescribed distinct-digit growth in countable alphabets

1. 연구 문제 (Problem Statement)

이 논문은 가산 알파벳 (countable alphabet, 예: 자연수 $\mathbb{N}$) 을 갖는 전분지 아핀 반복함수계 (affine full-branch iterated function systems, IFS) 에서 생성된 숫자 전개 (digit expansions) 에 초점을 맞추고 있습니다.

• 핵심 변수: 시간 $n$까지 등장한 서로 다른 숫자의 개수 (Distinct-digit count), $D_n$을 정의합니다.
  • $D_n(\mathbf{x}) = \# \{d_1(\mathbf{x}), d_2(\mathbf{x}), \dots, d_n(\mathbf{x})\}$
• 연구 목표: $D_n$이 특정 성장률 (growth rate) 을 따르는 점들의 집합 (exceptional sets) 의 하우스도르프 차원 (Hausdorff dimension) 을 규명하는 것입니다.
  • 특히, $D_n$이 양의 선형 비율 (positive linear rate) 로 성장하거나, 지정된 아선형 비율 (prescribed sublinear rate) 로 성장하는 경우의 차원을 계산합니다.
• 배경:
  • 확률론: 무한한 상자에 공을 던지는 occupancy scheme 과 동치.
  • 동역학계: Lüroth 전개 (Lüroth expansion) 나 연분수 (continued fractions) 와 같은 수론적 전개에서 관찰되는 통계량.
  • 기존 연구 (Wu-Xie, 2021): 연분수에서 $D_n$의 성장률에 따른 차원의 이분법 (phase transition) 을 발견했으나, 이는 독립적이지 않은 과정 (Gauss 측도 하에서) 에 국한되었습니다. 본 논문은 독립 동일 분포 (i.i.d.) 를 가정하는 더 일반적인 아핀 IFS 모델에서 이 현상을 확장하고 일반화합니다.

2. 방법론 (Methodology)

논문은 정규 변동 (regularly varying) 꼬리 분포를 가진 확률 가중치 $(p_k)$를 가정합니다. 즉, $p_k \sim k^{-\rho} L(k)$ ($L$은 느리게 변하는 함수, $\rho \ge 1$은 꼬리 지수) 형태를 따릅니다.

주요 증명 기법은 다음과 같습니다:

1. 확률론적 입력 (Probabilistic Input):

   • 아핀 전분지 맵 하에서 Lebesgue 측도는 i.i.d. 과정과 일치하므로, 고전적인 무한 상자 채우기 (infinite-urn occupancy) 이론의 점근적 결과를 활용합니다.
   • 전형적인 경우 (almost everywhere) 에서는 $D_n \sim n^{1/\rho}$로 성장함이 알려져 있습니다.

2. 하한 증명 (Lower Bound) - 질량 분포 원리 (Mass Distribution Principle):

   • 블록 연결 구성 (Block Concatenation Construction): 특정 성장률을 만족하는 하위 집합을 구성하기 위해, 길이가 증가하는 블록 (dyadic blocks) 을 설계합니다.
   • 각 블록 내에서 새로운 숫자가 등장하는 시점을 제어하여, 전체적으로 목표하는 성장률 ($D_n/n \to \theta$ 또는 $D_n/f(n) \to 1$) 을 달성하는 집합 $F$를 만듭니다.
   • 이 집합 위에 확률 측도를 정의하고, 원통 (cylinder) 의 지름과 측도 사이의 관계를 분석하여 하우스도르프 차원의 하한을 유도합니다.

3. 상한 증명 (Upper Bound) - Hausdorff-Cantelli 및 Tilting:

   • Hausdorff-Cantelli 보조정리: 특정 성장률을 초과하는 집합을 덮는 원통들의 합을 추정합니다.
   • 측도 변경 (Change-of-measure / Tilting): 정규 변동 꼬리를 가진 확률 분포를 사용하여, 드문 사건 (large deviation) 의 확률을 추정합니다.
   • 이항 분포의 상한과 Potter bound (느리게 변하는 함수의 성질) 를 결합하여, 원통 합이 수렴하는 임계 차원 값을 찾습니다.

3. 주요 결과 (Key Results)

논문은 두 가지 주요 정리를 통해 급격한 위상 전이 (sharp phase transition) 를 증명합니다.

정리 1: 양의 선형 성장률 (Positive Linear Growth)

• 조건: $D_n/n \to \theta$ ($0 < \theta \le 1$) 인 집합 $E_\theta$.
• 결과: $\dim_H(E_\theta) = \frac{1}{\rho}$.
• 의미:
  • $D_n$이 $n$에 비례하여 양의 비율로 성장하도록 강제하면, 하우스도르프 차원은 전체 차원 (1) 에서 $\frac{1}{\rho}$로 급격히 떨어집니다.
  • 이 값은 성장률 $\theta$의 구체적인 값과 무관하며, 오직 꼬리 지수 (tail index) $\rho$ 에 의해서만 결정되는 보편적 값입니다.
  • Lüroth 전개 ($\rho=2$) 의 경우 차원은 $1/2$이 되어, 연분수 (Wu-Xie) 의 결과와 일치함을 보입니다.

정리 2: 아선형 성장률 (Sublinear Growth)

• 조건: $D_n/f(n) \to 1$인 집합 $E_f$. 여기서 $f(n)$은 무한히 증가하며 $f(n)\log f(n)/n \to 0$을 만족하는 "허용 가능한 (admissible)" 함수입니다.
• 결과: $\dim_H(E_f) = 1$.
• 의미:
  • $D_n$이 $n$보다 느리게 성장하는 (아선형) 거의 모든 지정된 성장률에 대해, 해당 집합은 전체 하우스도르프 차원 (full dimension) 을 가집니다.
  • 이는 선형 성장률에서의 차원 붕괴 현상과 대조적입니다.

코롤러리 1 (Corollary 1):

• $D_n/n^\beta \to c$ ($0 < \beta < 1$) 인 경우나 $D_n/n \to 0$인 경우에도 차원은 1 입니다.

4. 핵심 기여 및 의의 (Contributions & Significance)

1. 위상 전이의 일반화 및 정밀화:

   • Wu-Xie 의 연분수 연구 결과를 독립 동일 분포 (i.i.d.) 를 갖는 더 넓은 범위의 아핀 IFS 모델로 확장했습니다.
   • 연분수 (비독립적) 와 Lüroth/IFS (독립적) 시스템 모두에서 선형 성장률에 대한 차원의 붕괴와 아선형 성장률에 대한 전 차원 유지라는 급격한 위상 전이 (sharp phase transition) 가 보편적으로 발생함을 증명했습니다.

2. 구조적 매개변수의 규명:

   • 선형 성장률 하에서 차원이 붕괴되는 값이 시스템의 구체적인 구조가 아닌, 확률 가중치의 꼬리 지수 (tail index $\rho$) 에 의해 결정됨을 밝혔습니다. 이는 확률론적 성질이 기하학적 성질 (차원) 을 어떻게 지배하는지를 보여줍니다.

3. 수학적 기법의 통합:

   • 동역학계 (IFS), 확률론 (occupancy scheme, large deviations), 해석학 (정규 변동, Hausdorff 차원 이론) 을 통합하여 가산 알파벳 시스템의 정밀한 차원 법칙을 도출했습니다.

4. 응용 가능성:

   • Lüroth 전개, 일반화된 연분수, 그리고 다양한 수론적 전개 시스템에서 "서로 다른 숫자의 다양성 (diversity)"이 비정상적으로 빠르게 또는 느리게 증가하는 점들의 기하학적 크기를 예측하는 데 기초를 제공합니다.

5. 결론

이 논문은 가산 알파벳을 갖는 동역학계에서 서로 다른 숫자의 개수 ($D_n$) 의 성장률과 하우스도르프 차원 사이의 관계를 규명했습니다. 주요 발견은 선형 성장률이 부과될 때 차원이 꼬리 지수 $\rho$에 의해 결정된 값 ($1/\rho$) 으로 붕괴하는 반면, 아선형 성장률의 경우 차원이 1 로 유지된다는 이분법적 현상입니다. 이는 확률론적 꼬리 성질이 동역학적 집합의 기하학적 구조를 결정하는 핵심 요소임을 보여주는 중요한 결과입니다.