Measure theoretic properties of large products of consecutive partial quotients

기술적 요약: "연속적인 부분 양정수의 곱의 측도론적 성질"

문제 정의
본 논문은 정규 연분수 전개에서 연속적인 부분 양정수들의 곱의 거동에 의해 정의되는 무리수 집합의 측도론적 및 프랙탈 성질을 조사한다. 구체적으로, 비감소 함수 $\phi: \mathbb{N} \to \mathbb{R}_{\ge 2}$와 고정된 정수 $\ell \ge 1$에 대하여, 저자들은 다음 조건을 만족하는 $n$이 무수히 많은 $x \in [0,1)$인 무리수 $x$의 집합 $F_\ell(\phi)$를 연구한다:
$$a_j(x)\cdots a_{j+\ell-1}(x) \ge \phi(n) \quad \text{및} \quad a_k(x)\cdots a_{k+\ell-1}(x) \ge \phi(n)$$
여기서 $1 \le j < k \le n$인 서로 다른 두 인덱스 $j, k$가 존재한다. 이 문제는 단일 부분 양정수($E_1(\phi)$) 및 두 개의 연속적인 양정수의 곱($E_2(\phi)$)에 관한 기존 연구와 최근의 두 개의 큰 블록 존재성($F_1(\phi)$ 및 $F_2(\phi)$)에 관한 결과들을 확장한 것이다. 핵심 과제는 임의의 $\ell \ge 2$에 대해 $F_\ell(\phi)$의 르베그 측도와 하우스도르프 차원을 결정하는 것이며, 특히 중첩되는 부분 양정수 블록들로부터 발생하는 복잡한 상호작용을 처리하는 것이다.

방법론
저자들은 에르고딕 이론, 연분수 역학, 그리고 해석적 정수론의 결합된 방법론을 사용한다.

1. 르베그 측도 분석:

   • 수렴 케이스: 특정 급수가 수렴할 때 $m(F_\ell(\phi)) = 0$임을 증명하기 위해, 저자들은 보렐-칸텔리 정리(Borel-Cantelli Lemma)를 활용한다. 그들은 두 블록 사이의 거리에 기반하여 문제를 분해함으로써, 단계 $n$에서 조건이 성립하는 집합의 측도를 추정한다.
   • 발산 케이스: 급수가 발산할 때 $m(F_\ell(\phi)) = 1$임을 증명하기 위해, 저자들은 샹-에르되시 부등식(Chung-Erdős inequality)을 사용하여 limsup 집합의 측도에 대한 하한을 설정한다. 결정적인 단계는 해당 집합이 모든 기본 구간의 상당 부분을 통과함을 보여줌으로써 크노프의 정리(Knopp's Lemma)를 적용할 수 있게 하는 것이다.
   • 핵심 기술 도구: 증명은 중첩되는 블록들의 곱을 포함하는 급수에 대한 새로운 추정치에 크게 의존한다. 정리 3.4는 곱 제약 조건 하에서 $\sum \frac{1}{a_1^2 \cdots a_r^2 b_1^2 \cdots b_j^2 c_1^2 \cdots c_r^2}$ 형태의 합에 대한 점근적 경계값을 제공하며, 이는 $0$부터$\ell-1$까지의 중첩 길이에 따른 조합론적 복잡성을 고려한다.

2. 하우스도르프 차원 분석:

   • 저자들은 가우스 사상 $T$의 열역학적 형식론(thermodynamic formalism)을 활용한다. 차원은 포텐셜 $\psi$가 $\phi$의 성장률(이를 $B_\phi$라 함)과 차원 매개변수 $s$에 의존하는 압력 함수 $P(T, \psi)$를 통해 특징지어진다.
   • 하한(Lower Bound): 부분 양정수들에 대한 특정 제약 조건을 가진 캔터 유사 부분집합 $S_\ell$을 정의함으로써 구성된다. 질량 분포 원리(Mass Distribution Principle)가 적용되며, 차원은 블록들 사이의 성장률 분포를 나타내는 매개변수 $(x, y)$의 가족 위에서 최대화된다.
   • 상한(Upper Bound): $F_\ell(\phi)$의 효율적인 피복(cover)을 구성함으로써 확립된다. 집합은 두 개의 큰 곱 블록 사이의 중첩 길이에 따라 부분 집합으로 분할된다 (예: 중첩 없음, 길이 1의 중첩 등). 각 부분 집합에 대해, 저자들은 레마 3.9와 레마 3.10의 추정치를 사용하여 피복 구간들의 지름을 $s$ 거듭제곱하여 합산함으로써 $s$-차원 하우스도르프 측도에 대한 상한을 도출한다.

주요 기여 및 결과

1. 르베그 측도 결과의 일반화 (정리 1.5):
   본 논문은 임의의 $\ell \ge 2$에 대해 $F_\ell(\phi)$의 르베그 측도를 결정한다. 측도는 다음 급수의 수렴 또는 발산 여부에 따라 0 또는 1이 된다:
   $$\sum_{n=1}^\infty \left( \frac{n \log^{2(\ell-1)} \phi(n)}{\phi^2(n)} + \frac{\log^{\ell-2} \phi(n)}{\phi(n)} \right).$$
   첫 번째 항은 중첩되지 않는 블록에 해당하며, 두 번째 항은 중첩되는 블록을 고려한다. 이는 정리 1.3 ($\ell=1$) 및 정리 1.4 ($\ell=2$)를 일반화한다.

2. $\ell=3$에 대한 하우스도르프 차원 계산 (정리 1.10):
   저자들은 $F_3(\phi)$의 하우스도르프 차원을 명시적으로 계산한다. $1 < B_\phi < \infty$일 때, 차원은 다음과 같이 주어진다:
   $$\dim_H F_3(\phi) = \inf \{ s \ge 0 : P(T, -g(s)\log B_\phi - s \log |T'|) \le 0 \},$$
   여기서 $g(s) = \frac{3s^3 - 5s^2 + 4s - 1}{s^2 - s + 1}$이다. 이 결과는 알려진 $\ell=1$ 및 $\ell=2$의 공식을 확장한다.

3. 대수의 법칙에 대한 함의:
   측도 결과의 결과로서, 가장 큰 곱을 가진 블록을 제거하더라도 $\ell$개의 연속적인 부분 양정수의 곱의 합에 대한 대수의 강한 법칙(strong law of large numbers)이 실패한다는 사실이 드러난다. 구체적으로, 거의 모든 $x$에 대하여, 정규화된 합(최댓값을 뺀 값)의 상극한은 무한대이다.

의의 및 주장
본 논문은 정리 1.5가 임의의 $\ell$에 대해 부분 양정수의 곱의 합에 대한 대수의 법칙을 확장하는 데 있어 "결정적인 단계"라고 주장한다. 저자들은 이러한 측도론적 도구를 통해 다음을 증명할 수 있을 것이라는 추측을 제시한다: 거의 모든 $x$에 대하여,
$$\lim_{n \to \infty} \frac{1}{n \log^\ell n} \left( \sum_{j=1}^n a_j(x)\cdots a_{j+\ell-1}(x) - \max_{1 \le k \le n} a_k(x)\cdots a_{k+\ell-1}(x) \right) = \frac{1}{\ell \log 2}.$$
또한 저자들은 정리 1.10의 증명 기법이 $\ell \ge 4$에 대해 $\dim_H F_\ell(\phi)$를 계산하는 데 적응 가능해 보이지만, 본 논문에서는 포텐셜에 대한 명시적인 재귀 공식은 제공하지 않는다고 언급하였다. 이 연구는 큰 곱의 통계적 행동을 이해하는 기초적인 단계로 제시되며, 하우스도르프 차원을 통해 영집합(null sets)을 구분하고 특정 강한 대수의 법칙의 불가능성을 확립한다.