On the maximal run-length function in the Lüroth expansion

이 논문은 Lüroth 전개에서 첫 $n$개의 자릿수 중 최장 연속 길이의 비율이 하한 $\alpha$와 상한 $\beta$를 갖는 예외 집합의 하우스도르프 차원을 모든 $0 \le \alpha \le \beta \le 1$에 대해 규명합니다.

핵심

이 논문은 수학의 한 분야인 '동역학계 (Dynamical Systems)'와 '프랙탈 기하학'을 다루고 있지만, 우리가 일상에서 쉽게 이해할 수 있는 **'숫자 놀이'**와 **'줄기 (Run-length)'**의 개념으로 비유하여 설명해 드리겠습니다.

1. 이야기의 주인공: "뤼로트 (Lüroth) 확장"이라는 숫자 열쇠

우리가 실수 (소수) 를 표현할 때 보통 10 진법 (0.123...) 을 쓰지만, 수학자들은 소수를 표현하는 다른 방법도 많이 고안해 냈습니다. 이 논문에서 다루는 **'뤼로트 확장 (Lüroth expansion)'**은 소수를 표현하는 아주 특별한 방식입니다.

• 비유: 소수를 표현하는 것을 **'비밀 번호'**를 만드는 과정이라고 생각해보세요.
  • 일반적인 10 진법은 0~9 까지의 숫자를 순서대로 나열하는 방식입니다.
  • 뤼로트 방식은 조금 더 복잡합니다. 소수 $x$를 보고, "이 숫자가 2 의 배수인가, 3 의 배수인가?"를 계속 확인하며 2, 3, 4, 5... 같은 정수들의 열을 만들어냅니다.
  • 예를 들어, 어떤 소수의 비밀 번호가 [2, 2, 2, 5, 5, 3, 3, 3, 3, ...] 라고 합시다.

2. 핵심 질문: "같은 숫자가 몇 번이나 연속해서 나올까?"

이 논문은 이 비밀 번호 열에서 **"같은 숫자가 연속해서 나타나는 가장 긴 구간 (Maximal Run-length)"**에 집중합니다.

• 상황: [2, 2, 2, 5, 5, 3, 3, 3, 3, 3, 3, ...]
  • 여기서 2가 3 번, 5가 2 번, 3이 6 번 연속 나왔습니다.
  • 이 중 가장 긴 연속 구간은 3이 6 번 나온 것이므로, **최대 연속 길이 (Run-length)**는 6 입니다.

수학자들은 보통 이 길이가 얼마나 빨리 커지는지 궁금해합니다.

• 기존 발견 (태양과 쉬의 연구): 대부분의 소수에서 이 연속 길이는 로그 (log) 함수처럼 아주 천천히 자랍니다. 즉, 숫자가 100 자리, 1000 자리로 늘어나도 연속된 같은 숫자의 개수는 그렇게 급격히 늘지 않습니다.

3. 이 논문의 새로운 발견: "예외적인 소수들"

그런데, 만약 이 연속 길이가 로그처럼 천천히 자라지 않고, 숫자의 총 자리수 (n) 에 비례해서 선형적으로 (직선처럼) 빠르게 자라난다면?

• 비유: 100 자리 숫자에서 같은 숫자가 50 번이나, 80 번이나, 심지어 90 번이나 연속해서 나오는 '기이한' 소수들이 존재할까요?
• 이 논문은 바로 이런 기이한 소수들의 집합을 찾아내고, 그 집합이 얼마나 '복잡한지 (크기)'를 측정합니다.

4. 측정 도구: "하우스도르프 차원 (Hausdorff Dimension)"

수학자들은 집합의 크기를 말할 때 보통 '길이', '넓이', '부피'를 쓰지만, 프랙탈 같은 복잡한 집합은 이걸로 설명하기 어렵습니다. 그래서 **'하우스도르프 차원'**이라는 개념을 씁니다.

• 비유:
  • 차원 1: 선 (길이가 있음)
  • 차원 2: 면 (넓이가 있음)
  • 차원 0.5: 선과 면 사이의 어중간한 상태 (매우 구불구불하고 복잡한 구조)
  • 이 논문의 목표는 "연속 길이가 특정 비율 ($\alpha, \beta$) 로 자라는 소수들의 집합"이 어떤 차원을 가지는지 계산하는 것입니다.

5. 논문의 결론: "어떤 비율이 가능한가?"

저자 유딩딩 (Dingding Yu) 은 두 가지 비율 $\alpha$ (최소 연속 비율) 과 $\beta$ (최대 연속 비율) 를 설정하고, 이 조건을 만족하는 소수들의 집합 크기를 계산했습니다.

• 결과 1: 너무 무리한 요구는 불가능 (차원 0)

  • 만약 "연속 길이가 전체의 50% 이상이어야 한다" ($\alpha > \beta/(1+\beta)$) 고 요구하면, 그런 소수는 거의 존재하지 않습니다. (유한하거나 매우 드뭄).
  • 비유: "100 번 중 90 번 이상 같은 숫자가 이어져야 한다"고 하면, 그건 거의 불가능한 일입니다.

• 결과 2: 합리적인 요구는 복잡한 구조를 만듦 (차원 1 또는 그 이하)

  • 만약 조건이 합리적이라면 ($\alpha$가 작고 $\beta$가 적당히 크다면), 그런 소수들은 무한히 많고 매우 복잡한 구조를 가집니다.
  • 논문의 핵심 공식은 이 복잡한 구조의 '차원'을 정확히 계산해냅니다.
  • 비유: "100 번 중 10~30 번 정도 같은 숫자가 이어지는 소수"는 아주 많고, 그 모양은 구불구불한 프랙탈처럼 복잡합니다.

6. 요약: 이 논문이 왜 중요한가?

이 논문은 **"숫자 열에서 같은 숫자가 연속해서 나타나는 현상"**이라는 단순한 놀이를 통해, 어떤 규칙을 가진 소수들이 얼마나 많이 존재하는지를 정밀하게 규명했습니다.

• 일상적인 비유:
  • 동전 던지기에서 '앞면'이 10 번 연속 나올 확률은 매우 낮지만, 아주 긴 시간 동안 던지면 언젠가 나올 수 있습니다.
  • 하지만 이 논문은 "앞면이 100 번 중 50 번 이상 연속해서 나오는 동전 던지기"를 상상하고, **"그런 동전 던지기를 하는 사람이 얼마나 많은가?"**를 수학적으로 증명했습니다.
  • 결론은: "너무 극단적인 조건이면 그런 사람은 거의 없지만, 조건을 조금만 완화하면 그런 사람들은 무수히 많고, 그들 사이의 관계는 매우 복잡한 기하학적 구조를 이룬다"는 것입니다.

이 연구는 수학적 호기심을 충족시킬 뿐만 아니라, 무작위성과 규칙성이 공존하는 자연 현상을 이해하는 데 중요한 통찰을 제공합니다.

기술 요약

논문 요약: 뤼로트 전개에서의 최대 연속 길이 함수와 다중 프랙탈 분석

1. 연구 문제 (Problem)

이 논문은 $(0, 1]$ 구간의 실수 $x$에 대한 뤼로트 전개 (Lüroth expansion) 에서 최대 연속 길이 함수 (maximal run-length function) $\ell_n(x)$ 의 점근적 거동을 연구합니다.

• 뤼로트 전개: $x = \frac{1}{d_1} + \frac{1}{d_1(d_1-1)d_2} + \cdots$ 형태로 표현되며, 여기서 $d_n \ge 2$는 정수입니다.
• 최대 연속 길이 함수 $\ell_n(x)$: $x$의 첫 $n$개의 자리수 (digits) $d_1, \dots, d_n$ 중 가장 긴 동일한 숫자의 연속 블록의 길이를 의미합니다.
• 기존 연구: Sun 과 Xu [12] 는 $\ell_n(x)$ 가 거의 모든 $x$에 대해 $\log_2 n$의 비율로 증가한다는 대수의 법칙을 증명했습니다. 또한, $\ell_n(x)$ 가 로그 함수보다 느리게 또는 빠르게 증가하는 예외 집합의 하우스도르프 차원 (Hausdorff dimension) 이 1 임을 보였습니다.
• 본 연구의 초점: 기존 연구가 로그 스케일 ($\log n$) 에 집중했다면, 본 논문은 $\ell_n(x)$ 가 선형 스케일 ($n$) 에 비례하여 증가하는 경우, 즉 $\ell_n(x)/n$의 극한값이 0 과 1 사이인 예외 집합의 미세한 다중 프랙탈 (multifractal) 성질을 규명하는 것입니다.

2. 주요 결과 (Key Results)

저자는 $0 \le \alpha \le \beta \le 1$에 대해 정의된 집합$E(\alpha, \beta)$의 하우스도르프 차원을 정확히 계산했습니다.
$$E(\alpha, \beta) = \left\{ x \in (0, 1] : \liminf_{n \to \infty} \frac{\ell_n(x)}{n} = \alpha, \quad \limsup_{n \to \infty} \frac{\ell_n(x)}{n} = \beta \right\}$$

주요 정리 (Theorem 1.2):
집합 $E(\alpha, \beta)$의 하우스도르프 차원 $\dim_H E(\alpha, \beta)$는 다음과 같습니다.

1. $\beta = 0$인 경우: $\dim_H E(0, 0) = 1$. (대부분의 수에서 $\ell_n(x)$는 로그 스케일이므로 선형 비율 0 을 가짐).
2. $\beta = 1$인 경우: $\dim_H E(\alpha, 1) = 0$. (선형 비율이 1 이 되는 집합은 매우 희소함).
3. $0 < \beta < 1$인 경우:
   • $\alpha > \frac{\beta}{1+\beta}$인 경우: $\dim_H E(\alpha, \beta) = 0$. (이 조건을 만족하는 집합은 가산집합이거나 매우 작음).
   • $0 \le \alpha < \frac{\beta}{1+\beta} < \beta < 1$인 경우:
     $$\dim_H E(\alpha, \beta) = s\left( \frac{\beta^2(1-\alpha)}{(1-\beta)[\beta - \alpha(1+\beta)]} \right)$$
     여기서 $s(u)$는 다음 방정식의 해인 $s$입니다:
     $$\sum_{t=2}^{\infty} \left( \frac{1}{2^u t(t-1)} \right)^s = 1$$
   • 기타 경우: 차원은 0 입니다.

3. 방법론 (Methodology)

논문은 하우스도르프 차원의 상한 (Upper Bound) 과 하한 (Lower Bound) 을 각각 증명하여 정확한 값을 도출했습니다.

A. 상한 증명 (Upper Bound)

• 집합 분할: 매개변수 $(\alpha, \beta)$의 범위에 따라 경우를 나누어 분석했습니다.
• 덮개 구성 (Covering): $\ell_n(x)$가 특정 비율로 큰 구간을 갖는 점들의 집합을 시린더 (cylinder, 뤼로트 전개의 부분 구간) 들로 덮었습니다.
• 측도 추정: 시린더의 길이와 개수를 추정하여 $s$-차원 하우스도르프 측도를 계산했습니다. 특히, Lemma 2.8 을 사용하여 무한급수의 수렴성을 보임으로써 차원 상한을 유도했습니다.
• 핵심 논리: $\alpha > \frac{\beta}{1+\beta}$인 경우, 연속 길이가 너무 길어지려면 뤼로트 전개가 주기적이거나 매우 제한된 구조를 가져야 하므로 집합이 가산집합이 되어 차원이 0 이 됨을 보였습니다.

B. 하한 증명 (Lower Bound)

• 부분 집합 구성: 목표 차원을 갖는 $E(\alpha, \beta)$의 부분 집합 $G(M)$을 명시적으로 구성했습니다.
  • 특정 구간 $[n_k, n_k+m_k]$에서는 자리수를 고정된 값 (예: 2) 으로 설정하여 긴 연속 블록을 만들고, 나머지 구간에서는 자리수를 제한된 범위 $[2, M]$ 내에서 자유롭게 선택하도록 설계했습니다.
  • $n_k$와 $m_k$의 점근적 비율을 조절하여 $\liminf$와 $\limsup$이 각각 $\alpha$와 $\beta$가 되도록 했습니다.
• 측도 이론 (Mass Distribution Principle):
  • 구성된 집합 $G(M)$ 위에 확률 측도 $\mu$를 정의했습니다.
  • 이 측도가 기본 구간 (fundamental interval) 의 길이와 $s_M(u)$의 거듭제곱에 비례하도록 설계하여, Mass Distribution Principle (Lemma 2.6) 을 적용할 수 있도록 했습니다.
  • Hölder 연속성: 자리수를 제거하는 사상 (mapping) $f$가 Hölder 연속임을 보임으로써, 원래 집합과 사상된 집합의 차원 관계를 연결했습니다.
  • 간격 (Gap) 분석: 기본 구간 사이의 간격을 추정하여 (Proposition 4.4), 측도가 집합의 구조를 잘 반영하도록 보장했습니다.
• 극한 과정: 구성된 집합의 차원이 $s_M(\zeta)$ 이상임을 보이고, $M \to \infty$일 때 $s_M(\zeta) \to s(\zeta)$가 됨을 이용하여 하한을 증명했습니다.

4. 기여도 및 의의 (Significance)

1. 뤼로트 전개에서의 선형 성장 규명: 기존에 주로 연구되던 로그 스케일 ($\log n$) 에서의 연속 길이 행동을 넘어, 선형 스케일 ($n$) 에서의 극한 행동을 가진 집합의 프랙탈 차원을 최초로 정량화했습니다.
2. 정밀한 차원 공식 도출: $\alpha$와 $\beta$의 관계에 따라 차원이 0 이 되거나 특정 함수 $s(u)$로 결정되는 정확한 임계값 (threshold) $\alpha = \frac{\beta}{1+\beta}$를 발견했습니다. 이는 뤼로트 전개에서 연속 길이가 얼마나 길어질 수 있는지에 대한 구조적 한계를 보여줍니다.
3. 다중 프랙탈 분석의 확장: 이 결과는 이진 전개 (dyadic expansion), $\beta$-전개, 연분수 전개 등 다른 수론적 전개에서의 유사한 문제 (Erdős-Rényi 법칙 등) 를 뤼로트 전개로 확장한 중요한 사례입니다.
4. 수학적 기법의 적용: Moran 공식, Mass Distribution Principle, 그리고 정밀한 점근적 분석을 결합하여 복잡한 예외 집합의 차원을 계산하는 체계적인 방법론을 제시했습니다.

5. 결론

이 논문은 뤼로트 전개에서 최대 연속 길이가 선형적으로 증가하는 점들의 집합이 얼마나 "크거나" (차원이 1 에 가까움) "작은지" (차원이 0) 를 $\alpha$와 $\beta$의 값에 따라 정밀하게 분류했습니다. 특히 $\alpha$와 $\beta$가 특정 관계를 가질 때 차원이 0 이 되는 현상은 뤼로트 전개의 확률적 독립성과 자리수 분포의 제약을 잘 보여주는 결과입니다.