[논문 리뷰] Metrical properties for the weighted products of multiple partial quotients in continued fractions

Ayreena Bakhtawar, Mumtaz Hussain외 2명|arXiv (Cornell University)|2022. 02. 22.

Mathematical Dynamics and Fractals인용 수 5

한 줄 요약

이 논문은 연분수 전개에서 다수의 연속된 부분분수의 가중치 곱으로 정의된 집합의 척도적 성질을 조사한다. 열역학적 형식론과 질량 분포 기법을 사용하여 이러한 집합의 하우스도르프 차원을 확립하며, 기존의 고전적 결과를 일반화하여 곱에 각 부분분수에 대해 개별적인 가중치를 포함시키고, 가중치 함수의 다양한 성장 조건 하에서 차원에 대한 정밀한 추정치를 반복적 함수계를 통해 제공한다.

ABSTRACT

The classical Khintchine and Jarník theorems, generalizations of a consequence of Dirichlet's theorem, are fundamental results in the theory of Diophantine approximation. These theorems are concerned with the size of the set of real numbers for which the partial quotients in their continued fraction expansions grows with a certain rate. Recently it was observed that the growth of product of pairs of consecutive partial quotients in the continued fraction expansion of a real number is associated with improvements to Dirichlet's theorem. In this paper we consider the products of several consecutive partial quotients raised to different powers. Namely, we find the Lebesgue measure and the Hausdorff dimension of the following set: $$ {\D_{\mathbf t}}(ψ):=\left\{x\in[0, 1): \prod\limits_{i=0}^{m-1}{a^{t_i}_{n+i}(x)} \ge Ψ(n)\ { ext{for infinitely many}} \ n\in \N ight\}, $$ where $t_i\in\mathbb R_+$ for all ${0\leq i\leq m-1}$, and $Ψ:\N o\R_{\ge 1}$ is a positive function.

연구 동기 및 목표

• 연분수 전개에서 다수의 연속된 부분분수의 가중치 곱을 연구하여, 메트릭 딜로프라틱 추론의 고전적 결과를 일반화한다.
• 제품 $\mathcal{E}_{\mathbf{t}}(\psi)$의 르베그 측도와 하우스도르프 차원을 결정한다. 여기서 $m$개의 연속된 부분분수의 곱이 각각의 거듭제곱 $t_i$를 거쳐 주어진 함수 $\Psi(n)$을 초과하는 경우가 무한히 많다.
• 부분분수의 다항 가중치 곱에 대한 Wang-Wu 정리의 프레임워크를 확장하여, $\mathcal{E}(\Psi)$의 차원을 다항 가중치 곱으로 일반화한다.
• 일반적인 $m$-경우에서 하우스도르프 차원의 상한과 하한 사이의 괴리 문제를 해결하기 위해, 차원에 의미적으로 기여하는 부분분수를 식별한다.

제안 방법

• 저자들은 집합 $\mathcal{E}_{\mathbf{t}}(\Psi)$를 $[0,1)$ 내의 $x$들로 정의한다. 이는 $t_i > 0$ 및 $\Psi: \mathbb{N} \to \mathbb{R}_{\geq 1}$ 조건 하에서, $\prod_{i=0}^{m-1} a_{n+i}(x)^{t_i} \geq \Psi(n)$ 이며, 이 부등식이 유한한 $n$에 대해 무한히 성립하는 경우이다.
• 연분수 동역학을 모델링하기 위해 $[0,1)$ 위의 가우스 사상 $T$를 사용하고, 특히 압력 함수 $P(T, \phi)$를 활용하여 집합의 차원을 분석한다.
• 고정된 부분분수를 가진 간격들 간의 일관성을 확보하기 위해, 부분분수의 성장률과 가중치 $t_i$에 기반하여 기본 간격에 측도를 할당함으로써, $\mathcal{E}_{\mathbf{t}}(\Psi)$의 칸토어 유형 부분집합 위에 질량 분포 $\mu$를 구성한다.
• 질량 분포 원리에 따라 차원을 추정하며, 간격의 측도는 함수 $\alpha_0 = \widetilde{A}^{1/t_0}$ 및 $\alpha_1 = (\widetilde{B}/\widetilde{A})^{1/t_1}$를 사용하여 재귀적으로 정의되며, 임계 지수를 유도하기 위해 압력 조건을 적용한다.
• 각 가중치의 효과적 기여를 모델링하기 위해 반복적 함수 $f_{t_0,\dots,t_{\ell}}(s)$를 도입하며, 이는 이전 가중치의 최댓값을 분모에 포함시켜 기여하지 않는 항들을 고려한다.
• 상한은 압력 조건 $P(T, -s\log|T'| - f_{\mathbf{t}}(s)\log B) \leq 0$ 에서 유도되며, 하한은 경계가 있는 림스업 집합 위에 철저히 구성된 측도를 통해 확립되며, 갭과 분모 성장 추정치는 가중치가 부여된 경우에 맞게 조정된다.

실험 결과

연구 질문

• RQ1 연속된 $m$개의 부분분수의 가중치 곱이 주어진 함수 $\Psi(n)$을 초과하는 경우가 무한히 발생하는 $[0,1)$ 내 실수 집합의 하우스도르프 차원은 무엇인가?
• RQ2 연속된 부분분수에 할당된 개별 가중치 $t_i$는 이러한 집합의 메트릭 및 차원 성질에 어떻게 영향을 미치는가?
• RQ3 열역학적 형식론을 사용하여 고전적 $\mathcal{E}(\Psi)$ 집합의 차원 공식을 다수의 부분분수에 대한 가중치 곱으로 일반화할 수 있는가?
• RQ4 특히 $\Psi(n)$이 지수함수적 또는 초지수함수적으로 증가할 경우, $\Psi(n)$의 성장률과 결과적인 차원 사이의 관계는 무엇인가?
• RQ5 곱 $\prod_{i=0}^{m-1} a_{n+i}^{t_i}$ 내에서 어느 부분분수가 차원에 의미적으로 기여하며, 상대적인 가중치로 인해 무시할 수 있는 부분분수는 무엇인가?

주요 결과

• 집합 $\mathcal{E}_{\mathbf{t}}(\Psi)$의 하우스도르프 차원은 $\inf\{s \geq 0 : P(T, -s\log|T'| - f_{\mathbf{t}}(s)\log B) \leq 0\}$ 에 의해 상한으로 제한되며, 여기서 $f_{\mathbf{t}}(s)$는 가중치 $t_i$를 포함하는 반복적으로 정의된 함수이다.
• 하한에 대해 저자들은 $\dim_H \mathcal{E}_{\mathbf{t}}(\Psi) \geq \inf\{s \geq 0 : P(T, -s\log|T'| - f_{t_0,t_1}(s)\log B) \leq 0\}$ 를 확립하며, 이는 최악의 상황에서 차원이 첫 두 가중치에 의해 지배됨을 시사한다.
• $1 < B < \infty$ 인 경우, 차원은 $1/2$보다 엄밀히 크며, 이는 고전적 결과 $\dim_H \mathcal{E}(\Psi) > 1/2$ 를 일반화하는 것으로, 이제는 가중치 $t_i$에 대한 정밀한 의존성을 포함한다.
• 차원 공식은 $f_{t_0,\dots,t_{m-1}}(s)$에 의존하며, 이는 재귀적으로 정의되고 이전 가중치의 최댓값을 포함하므로, 최종 차원에 영향을 주는 것은 오직 가장 중요한 가중치들임을 시사한다.
• 논문은 $m \geq 2$ 인 모든 경우에 상한과 하한이 일치할 것임을 추측하며, 이는 전체 차원 공식이 $\dim_H \mathcal{E}_{\mathbf{t}}(\Psi) = \inf\{s \geq 0 : P(T, -s\log|T'| - f_{\mathbf{t}}(s)\log B) \leq 0\}$ 임을 시사한다. 다만 $m > 2$ 인 경우 증명은 아직 열려 있다.
• 분석 결과, 곱 내의 모든 부분분수가 동일하게 기여하지는 않으며, $t_i$ 값이 작은 부분분수들은 재귀 함수의 분모에 있는 최댓값 항으로 인해 游기적으로 무시할 수 있다.