[논문 리뷰] Density modulo 1 of sublacunary sequences: application of Peres-Schlag's arguments

Nikolay Moshchevitin|ArXiv.org|2007. 09. 21.

Advanced Topology and Set Theory인용 수 7

한 줄 요약

이 논문은 라군어리 시퀀스보다 느리게 성장하는 하위라군어리 시퀀스—즉, $ t_{n+1}/t_n \geq 1 + \gamma/n^\beta $ 를 만족하는 시퀀스—에 Peres-Schlag의 확률적 방법을 적용하여, $ 0 \leq \beta < 1 $ 인 경우, 모든 $ n $ 에 대해 $ \|t_n \alpha\| > \kappa / (n^\beta \log(n+1)) $ 를 만족하는 실수 $ \alpha \in [0,1] $ 의 집합이 비가산이면서 하우스도르프 차원 1을 가짐을 증명한다. 이 결과는 이전의 디오판틴 대수근사 이론을 확장하며, Lov{\ae}sz 국소 렘마 프레임워크의 정교한 응용을 통해 양적 한계를 향상시킨다.

ABSTRACT

Let the sequence $\{t_n\}_{n=1}^{\infty}$ of reals satisfy the condition $ \frac{t_{n+1}}{t_n} \ge 1+ \fracγ{n^β},0\le β&lt;1, γ&gt;0. $ Then the set $ \{α\in [0,1]: \exists \varkappa &gt; 0 \forall n \in \mathbb{N} ||t_n α|| &gt; \frac{\varkappa}{n^β\log (n+1)} \} $ is uncountable. Moreover its Hausdorff dimension is equal to 1. Consider the set of naturals of the form $2^n3^m$ and let the sequence $ s_1=1, s_2=2, s_3=3, s_4=4, s_5=6, s_6 = 8,... $ performs this set as an increasing sequence. Then the set $ \{α\in [0,1]: \exists \varkappa &gt; 0 \forall n \in \mathbb{N} ||s_n α|| &gt; \frac{\varkappa}{\sqrt{n}\log (n+1)} \} $ also has Hausdorff dimension equal to 1. The results obtained use an original approach due to Y. Peres and W. Schlag.

연구 동기 및 목표

• 라군어리 시퀀스를 초월하여 성장률이 제어된 하위라군어리 시퀀스로 디오판틴 대수근사의 양적 결과를 확장하는 것.
• 모든 $ n $ 에 대해 $ \|t_n \alpha\| $ 가 특정한 거듭제곱-로그 감쇠율로 0에서 멀리 떨어져 있는 실수 $ \alpha \in [0,1] $ 의 비가산 집합이 존재함을 입증하는 것.
• 이와 같은 근사 집합의 하우스도르프 차원이 1임을 증명하는 것—즉, 시퀀스가 초지수적 또는 $ 2^n 3^m $ 과 같이 성장하더라도 성립함.
• 원래 라군어리 시퀀스에 대해 개발된 Peres-Schlag의 확률적 프레임워크를 하위라군어리 설정으로 일반화하고, 더 느린 성장률에 맞게 수정하는 것.

제안 방법

• dyadic 구간과 측도 추정을 이용한 중첩된 닫힌 집합 $ \mathcal{A}_K $ 의 재귀적 구성 방법을 도입하여, $ \|t_n \alpha\| > \delta(n) $ 를 만족하는 집합의 측도를 제어함.
• 최소 간격을 다루기 위해 $ \tau $ 승의 요인에 도달하는 데 필요한 최소 간격을 정량화하는 함수 $ H(n, \tau) $ 를 정의함.
• 측도 이론적 추론을 통해 수정된 Lov{\ae}sz 국소 렘마를 적용하여, 근사 집합의 르베그 측도에 대한 양의 하한을 유도함.
• 수열 $ \{n_k\} $ 가 $ n_k = n_{k+1} - h(n_{k+1}) $ 를 만족하도록 정의하여 중첩된 집합을 재귀적으로 구축하고, $ t_n $ 과 $ \delta(n) $ 를 포함하는 급수의 수렴성을 분석함.
• dyadic 구간 커버링 $ A_n $ 과 그 여집합 $ A_n^c $ 을 사용하여, $ \{t_n \alpha\} \mod 1 $ 에서 $ \delta(n) $-근접 영역을 피하는 $ \alpha $ 의 측도를 추정함.
• 특정 급수의 수렴 조건을 $ t_n $, $ \delta(n) $, 그리고 매개변수 $ \eta $ 를 포함하여 유도하고, 이를 바탕으로 정리 3를 통해 하우스도르프 차원의 한계를 도출함.

실험 결과

연구 질문

• RQ1 Peres-Schlag의 방법을 $ t_{n+1}/t_n \geq 1 + \gamma/n^\beta $, $ \beta < 1 $ 를 만족하는 하위라군어리 시퀀스로 확장할 수 있는가? 이 경우 디오판틴 대수근사의 양적 결과를 도출할 수 있는가?
• RQ2 이러한 하위라군어리 시퀀스에 대해, 모든 $ n $ 에 대해 $ \|t_n \alpha\| > \kappa / (n^\beta \log(n+1)) $ 를 만족하는 $ \alpha \in [0,1] $ 의 집합의 하우스도르프 차원은 얼마인가?
• RQ3 적절한 성장 및 감쇠 조건 하에서, $ \{t_n \alpha\} \mod 1 $ 의 $ \delta(n) $-근접 영역을 피하는 $ \alpha $ 의 집합은 양의 측도를 가지며, 하우스도르프 차원이 1인가?
• RQ4 이 방법을 라군어리가 아니지만 하위라군어리인 $ s_n = 2^m 3^n $ 과 같은 시퀀스에 적용하여, 근사 집합의 차원이 1임을 증명할 수 있는가?

주요 결과

• 모든 $ \{t_n\} $ 가 $ t_{n+1}/t_n \geq 1 + \gamma/n^\beta $ 를 만족하고 $ 0 \leq \beta < 1 $ 인 경우, 모든 $ n $ 에 대해 $ \|t_n \alpha\| > \kappa / (n^\beta \log(n+1)) $ 를 만족하는 실수 $ \alpha \in [0,1] $ 의 집합은 비가산이다.
• 이 집합의 하우스도르프 차원은 정확히 1이며, 시퀀스가 라군어리 시퀀스보다 느리게 성장함에도 불구하고 성립한다.
• $ \{2^m 3^n\} $ 을 나열하는 시퀀스 $ s_n $ 에 대해, 모든 $ n $ 에 대해 $ \|s_n \alpha\| > \kappa / (\sqrt{n} \log(n+1)) $ 를 만족하는 $ \alpha $ 의 집합은 하우스도르프 차원 1을 가진다.
• 이 방법은 Peres-Schlag의 프레임워크를 정교하게 응용하여, 측도 추정과 재귀적 구간 구성 방법을 사용하여 양의 측도와 최대 차원을 보장한다.
• 특정 급수의 수렴 조건이 $ t_n $, $ \delta(n) $, 그리고 매개변수 $ \eta $ 를 포함하여 유도되며, 이는 $ t_n $ 의 성장 조건 하에서 하우스도르프 차원이 1임을 이끌어낸다.
• 지수적 또는 그 이상의 성장 조건을 가정하지 않아도 성립한다. 즉, $ \exp(n^\beta) $ 와 같은 초지수적 성장률을 보이는 시퀀스로도 최대 차원 집합을 도출할 수 있다.