[논문 리뷰] Badly approximable numbers and Littlewood-type problems

Yann Bugeaud, Nikolay Moshchevitin|ArXiv.org|2009. 05. 06.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 5

한 줄 요약

이 논문은 Peres와 Schlag의 방법을 사용하여, $\liminf_{q\to\infty} q \cdot (\log q)^2 \cdot \|q\alpha\| \cdot \|q\beta\| > 0$ 를 만족하는 실수 쌍 $(\alpha,\beta)$의 집합이 $\mathbb{R}^2$에서 풀 하우스도르프 차원을 가짐을 증명한다. 이는 일반화된 리틀우드 유형 문제로 확장되며, 기하학적 측도 이론적 질문을 해결하기 위해 비가산 수의 이러한 예외적 쌍이 존재하고, 이들의 차원이 풀임을 증명한다.

ABSTRACT

We establish that the set of pairs $(α, β)$ of real numbers such that $$ \liminf_{q o + \infty} q \cdot (\log q)^2 \cdot \Vert q α\Vert \cdot \Vert q β\Vert > 0, $$ where $\Vert \cdot \Vert$ denotes the distance to the nearest integer, has full Hausdorff dimension in $\R^2$. Our proof rests on a method introduced by Peres and Schlag, that we further apply to various Littlewood-type problems

연구 동기 및 목표

• 대부분의 쌍에서 성립하는 점근적 경계 $\liminf_{q\to\infty} q \cdot (\log q)^2 \cdot \|q\alpha\| \cdot \|q\beta\| = 0$ 를 위반하는 비가산 수의 쌍 $(\alpha, \beta)$가 존재함을 입증하는 것.
• 이러한 예외적 쌍의 집합이 $\mathbb{R}^2$에서 풀 하우스도르프 차원을 가짐을 보여주며, 측도 이론적 결과를 넘어서 차원 이론적 결과로 확장하는 것.
• 다양한 리틀우드 유형 문제, 즉 비동차형 및 혼합형 변형에 대해 이 방법을 일반화하고, 더 일반적인 liminf 조건에 대해 풀 차원성을 입증하는 것.
• 명시적 구성이 어려운 상황에서도 Peres–Schlag 방법을 통해 이러한 예외적 쌍을 생성할 수 있는 체계적 프레임워크를 제공하는 것.

제안 방법

• 하우스도르프 차원이 풀이 되는 집합을 생성하기 위해 Peres–Schlag 방법을 적용하여, 측도와 커버링 조건을 제어하는 중첩된 간격을 통해 칸토어 유형 집합을 구성하는 것.
• 간격의 나무 구조에 대한 질량 분포 원리를 사용하여, 결과 집합의 차원이 풀이 되도록 보장하는 것.
• 모든 $\alpha$가 나쁜 근사 집합에 속할 때 $\|q\alpha\|$ 가 0에서 멀리 떨어져 있도록 하는 간격 $I_q$ 의 시퀀스를 구성하고, $\|q\beta\|$ 는 재귀적 선택 과정을 통해 제어하는 것.
• 이중 분할을 적용하고 선형 형식 $|x\alpha + y\beta + z| \leq \varepsilon_{x,y}$ 에 의해 정의된 스트립의 총 측도를 추정하여, 합이 차원 기준을 충족할 정도로 충분히 작아지도록 보장하는 것.
• 이전 연구에서 유도된 보조 정리를 수정하여, liminf 조건에 포함된 로그 및 역로그 가중치를 다루며, $a \in (0,1)$ 으로의 일반화를 가능하게 하는 것.
• 표준 간격을 선형 디오판틴 부등식으로 정의된 스트립으로 대체하며, 크기 $\varepsilon_{x,y} = \varepsilon / (|xy| \log^2 |xy|)$ 를 사용하여 겹침을 제어하고 측도 합의 수렴을 보장하는 것.

실험 결과

연구 질문

• RQ1 모든 $q\to\infty$ 에서 $\liminf_{q\to\infty} q \cdot (\log q)^2 \cdot \|q\alpha\| \cdot \|q\beta\| > 0$ 를 만족하는 쌍 $(\alpha, \beta)$ 의 집합이 양의 하우스도르프 차원을 가지는가?
• RQ2 Peres–Schlag 방법이 일반화된 리틀우드 유형 문제의 해에 대해 풀 하우스도르프 차원을 증명하는 데 확장 가능한가?
• RQ3 $\liminf_{x,y \geq 0} \max\{2, |xy|\} \cdot \|x\alpha + y\beta\| \cdot (\log \max\{2, |xy|\})^2 > 0$ 을 만족하는 쌍 $(\alpha, \beta)$ 의 집합의 차원은 얼마인가?
• RQ4 이 방법은 $p$-진 절대값을 포함한 비동차형 또는 혼합형 디오판틴 추측 문제에 적응 가능한가?
• RQ5 $\alpha \in \text{Bad}$ 라고 할 때, 로그 인자에서 최적의 지수는 무엇이며, 이에 따라 $\beta$ 의 풀 차원 집합에서 liminf 조건이 양수로 유지되는가?

주요 결과

• $\mathbb{R}^2$ 에서 $\liminf_{q\to\infty} q \cdot (\log q)^2 \cdot \|q\alpha\| \cdot \|q\beta\| > 0$ 을 만족하는 쌍 $(\alpha, \beta)$ 의 집합은 $\mathbb{R}^2$ 에서 풀 하우스도르프 차원을 가짐.
• $\text{Bad}$ 에 속하는 모든 $\alpha$ 에 대해, $\liminf_{q\to\infty} q \cdot (\log q)^2 \cdot \|q\alpha\| \cdot \|q\beta\| > 0$ 을 만족하는 $\beta \in \mathbb{R}$ 의 집합은 풀 하우스도르프 차원을 가짐.
• 더 강력한 결과가 성립함: 임의의 $a \in (0,1)$ 에 대해, $\liminf_{q\to\infty} q \cdot (\log q)^{2-a} \cdot (\log 1/\|q\alpha\|)^a \cdot \|q\alpha\| \cdot \|q\beta\| > 0$ 을 만족하는 $\beta$ 의 집합은 풀 하우스도르프 차원을 가짐.
• $\liminf_{x,y \geq 0} \max\{2, |xy|\} \cdot \|x\alpha + y\beta\| \cdot (\log \max\{2, |xy|\})^2 > 0$ 을 만족하는 쌍 $(\alpha, \beta)$ 의 집합은 $\mathbb{R}^2$ 에서 풀 하우스도르프 차원을 가짐.
• 이 방법은 희귀 수열에 적용 가능: $t_j$ 가 $t_{j+1}/t_j > 1 + 1/M$ 를 만족할 때, $\{\xi \in [0,1] : \|\xi t_j\| \geq c/(M \log M) \text{ for all } j\}$ 의 집합은 큰 $M$ 에서 하우스도르프 차원이 최소 $1 - \varepsilon$ 이상임.
• $t_n \sim n^\gamma$ 인 수열에 대해, $\bigcap_{n \geq n_0} \{ \xi : \|\xi t_n\| > C / (n \log n) \}$ 의 집합은 풀 하우스도르프 차원을 가짐. 이는 $\liminf_{n\to\infty} n \log n \cdot \|\xi n^2\| > 0$ 이 비가산 수의 $\xi$ 에 대해 성립함을 의미함.