Prescribed realisation of longest runs in continued fractions

기술적 요약: 연분수의 최장 런(Longest Runs)에 대한 규정된 실현

문제 정의
본 논문은 단위 구간 $[0, 1)$ 내 무리수의 연분수 전개에서 나타나는 최장 런(longest runs)의 점근적 거동을 조사한다. 최장 런에 대해서는 전통적으로 두 가지 구별되는 관점이 연구되어 왔다:

1. 고정된 심볼의 최장 런 ($L_n(x, \lambda)$): 처음 $n$개의 항 내에서 특정 부분 양의 값(partial quotient) $\lambda$가 연속적으로 나타나는 최대 길이.
2. 전체 최장 런 ($R_n(x)$): 처음 $n$개의 항 내에서 어떠한 부분 양의 값이라도 연속적으로 나타나는 최대 길이.

기존 문헌(예: Song–Zhou, Wang–Wu)은 거의 모든 $x$에 대해 이러한 양들이 특정한 로그 성장 법칙을 따른다는 것을 확립했다. 또한, 이러한 성장률이 일반적인 법칙에서 벗어나거나 규정된 성장 척도를 따르는 전 허스도르프 차원(full Hausdorff dimension)의 예외 집합들도 존재한다. 그러나 다음과 같은 두 가지 규정 사이의 상호작용을 이해하는 데에는 공백이 남아 있었다:

• 고정된 심볼의 성장을 규정하는 것이, 해당 심볼 $\lambda$가 전체 최대 런 길이를 담당하는 심볼임을 보장하지 않는다.
• 반대로, 전체 최대 런의 성장을 규정하는 것이 어떤 심볼이 이를 달성하는지를 명시하지 않는다.

중심적인 문제는, 하나의 규정된 심볼 $\lambda$가 최장 런의 성장을 규정된 대로 나타낼 뿐만 아니라, 모든 단계에서 다른 모든 심볼보다 런 길이에 있어 유일하게 우세하도록 하는 전 허스도르프 차원의 집합을 구성할 수 있는지 여부이다.

방법론
저자는 특정한 조합론적 및 동역학적 성질을 가진 칸토어 유형의 집합(Cantor-type set)을 생성하는 구성적 접근 방식을 사용한다.

1. 가적 함수(Admissible Functions): 성장률은 비감소하고 유계가 없으며 $\lim_{n \to \infty} \frac{f(n+f(n))}{f(n)} = 1$을 만족하는 함수 $f: \mathbb{N} \to \mathbb{N}$로 정의되는 "가적" 함수 $f$에 의해 제어된다. 이 클래스는 로그 척수에 국한되었던 기존 결과들을 일반화한다.
2. 칸토어 집합 구성: 부분 양의 값들의 블록을 반복적으로 정의함으로써 집합 $\mathcal{K}_{\lambda, f, M, B}$를 구성한다.
   • 구성 과정은 전개를 단계 $k$로 분할한다.
   • 각 단계에서 "자유로운(free)" 숫자들이 유지되고 세분화된다.
   • 결정적으로, 대상 심볼 $\lambda$의 "규정된" 블록(길이 $s_k \approx f(t_k)$)이 삽입된다.
   • 자유로운 구간과 규정된 블록 사이의 경계에서 $\lambda$나 다른 심볼의 의도치 않은 긴 런이 형성되는 것을 방지하기 위해 "구분자(separator)" 숫자($\sigma_1 = \lambda+1, \sigma_2 = \lambda+2$)가 삽입된다.
3. 차원 추정:
   • 구성된 집합의 허스도르프 차원은 연분수에 적응된 질량 분포 원리(mass distribution principle)를 사용하여 추정된다.
   • 핵심적인 기술적 단계는 수렴의 분모와 실린더 집합(cylinder set)의 크기를 결정하는 코넌턴트 함수(continuant function) $K(\omega)$를 분석하는 것이다.
   • 저자는 구분자와 규정된 블록의 삽입이 코넌턴트를 통제된 방식으로 왜곡한다는 왜곡 정리(Distortion Lemmas, Lemma 7 및 8)를 확립한다. 구체적으로, 확장된 단어의 코넌턴트와 기저 단어의 코넌턴트 비율은 유계이며, 이를 통해 구성된 집합의 차원을 더 단순한 집합 $\mathcal{F}_B$(유계 부분 양을 가진 수들의 집합)의 차원과 연관 지을 수 있다.
   • $B \to \infty$ 및 $\alpha \to 1$로 극한을 취함으로써, 차원이 1에 접근함을 보인다.

주요 기여 및 결과

정리 1 (주요 결과):
임의의 규정된 심볼 $\lambda \in \mathbb{N}$와 임의의 가적 성장 함수 $f$에 대하여, 다음을 만족하는 집합
$$E_{\lambda, f} = \left\{ x \in [0, 1) \setminus \mathbb{Q} : \lim_{n \to \infty} \frac{L_n(x, \lambda)}{f(n)} = 1 \text{ 이고 } \forall n, \forall \mu \neq \lambda, L_n(x, \lambda) > L_n(x, \mu) \right\}$$
의 허스도르프 차원은 1이다.

이 결과는 특정 심볼의 최장 런 성장을 규정함과 동시에, 해당 심볼이 전체 최장 런의 유일한 극대화자(maximizer)가 되도록 보장한다.

따름정리:

1. 정교화된 고정 심볼 결과: 고정된 심볼 $\lambda$의 최장 런이 정확히 $f(n)$으로 성장하는 수들의 집합은 차원이 1이다. 이는 로그 척수가 아닌 임의의 가적 함수 $f$를 허용함으로써 Song–Zhou의 결과를 일반화한다.
2. 정교화된 전체 결과: 전체 최장 런이 정확히 $f(n)$으로 성장하는 수들의 집합은 차원이 1이다. 이는 규정된 심볼이 극대화될 수 있음을 추가함으로써 Wang–Wu의 결과를 회복한다.
3. 규정된 우위(Prescribed Dominance): 특정 심볼 $\lambda$가 런 길이에 있어 다른 모든 심볼을 엄격히 압도하는(결국에는, 그리고 실제로 구성된 집합에서는 모든 $n$에 대해) 수들의 집합은 차원이 1이다. 이는 기존 문헌에서 입증되지 않았던 새로운 현상이다.

의의
본 논문은 기존의 예외 집합 정리들에 대한 "진정한 동시 정교화(genuine simultaneous refinement)"를 제공한다고 주장한다. 전체 최장 런을 결정하는 심볼을 허스도르프 차원의 손실 없이 미리 고정할 수 있음을 보여줌으로써, 본 연구는 고정 심볼 이론과 전체 최장 런 이론 사이의 간극을 메운다. 이는 "극대화 심볼"이 전체 문제에서 완전히 규정 가능하다는 것을 보여준다. 본 결과는 극단적인 런 길이의 거동이 (가적 함수의 범위 내에서) 임의로 규정될 수 있는 동시에, 특정 심볼에 국한되면서도 타 심볼에 대해 지배적일 수 있음을 증명함으로써 연분수의 비전형적 행동에 대한 이해를 강화한다.