[논문 리뷰] On the distribution of powers of real numbers modulo 1

Simon Baker|arXiv (Cornell University)|2014. 11. 18.

Mathematical Dynamics and Fractals참고 문헌 6인용 수 7

한 줄 요약

이 논문은 실수의 거듭제곱이 1을 법으로 분포하는 방식을 조사하며, 증가하는 간격을 가진 엄격히 증가하는 수열 $(q_n)$에 대해 $(\alpha^{q_n})$ 수열에 초점을 맞춘다. Bugeaud와 Moshchevitin의 방법에 기반한 캔터 집합 구축을 통해, 임의의 그러한 수열과 목표 수열 $(r_n)$에 대해 $\|\alpha^{q_n} - r_n\| \to 0$를 만족하는 $\alpha > 1$의 집합이 $(1,\infty)$에서 조밀하고 하우스도르프 차원 1을 가지며, 이는 비균일 분포를 보이는 거듭제곱의 풍부한 구조를 보여준다.

ABSTRACT

Given a strictly increasing sequence of positive real numbers tending to infinity $(q_{n})_{n=1}^{\infty}$, and an arbitrary sequence of real numbers $(r_{n})_{n=1}^{\infty}.$ We study the set of $α\in(1,\infty)$ for which $\lim_{n o\infty}\|α^{q_{n}}-r_{n}\|= 0$. In \cite{Dub} Dubickas showed that whenever $\lim_{n o\infty}(q_{n+1}-q_{n})=\infty,$ there always exists a transcendental $α$ for which $\lim_{n o\infty}\|α^{q_{n}}-r_{n}\|= 0.$ Adapting the approach of Bugeaud and Moshchevitin \cite{BugMos}, we improve upon this result and show that whenever $\lim_{n o\infty}(q_{n+1}-q_{n})=\infty,$ the set of $α\in(1,\infty)$ satisfying $\lim_{n o\infty}\|α^{q_{n}}-r_{n}\|= 0$ is a dense set of Hausdorff dimension $1$.

연구 동기 및 목표

• 수열 $q_n$의 간격이 발산할 때, $\|\alpha^{q_n} - r_n\| \to 0$를 만족하는 실수 $\alpha > 1$의 집합의 크기와 구조를 규명하는 것.
• Dubickas의 결과를 확장하여, $\|\alpha^{q_n}\| \to 0$를 만족하는 초월수 $\alpha$의 존재성 외에도, 이 해집합이 위상적·분수적 의미에서 매우 크다는 것을 보이는 것.
• $E(q_n, r_n)$가 $(1,\infty)$에서 조밀하고 하우스도르프 차원 1을 가지며, 이는 구간 내에서 최대 크기를 나타낸다는 것을 입증하는 것.

제안 방법

• 임의의 $\lambda > 1$, $\delta > 0$에 대해, $[\lambda, \lambda + \delta]$에 포함된 캔터 집합 $E \subset [\lambda, \lambda + \delta]$를 중첩된 컴acts 구간을 통해 구성하여 $\|\alpha^{q_n} - r_n\|$의 수렴을 보장하는 것.
• 각 $E_{n-1}$의 구간이 $E_n$에서 적어도 $m_n = \lceil \lambda^{\eta(q_{n+1}-q_n)} \rceil$개의 부분구간을 포함하도록 중첩된 집합 $E_n$을 정의하여 충분한 분기 구조 확보.
• 각 $E_n$의 구간 사이에 $\gamma_n \geq c / (q_n (\lambda + \delta)^{q_n - 1})$의 양의 간격 확보로 분리도 제어하고 차원 추정에 기여.
• 논문 [4]의 보조정리 2.1을 적용하여, $m_1 \cdots m_n$의 로그 성장률과 $\log(1/\gamma_n)$의 비율을 통해 하우스도르프 차원의 하한을 유계화하는 것.
• 원래 수열 $(q_n)$을 $(\tilde{q}_n)$으로의 변형을 통해 구축 과정에서 필요한 분리도 및 구간 성장 확보.
• $\eta \to 1$ 및 $\epsilon \to 0$의 극한을 취하여, $[\lambda, \lambda + \delta] \cap E(q_n, r_n)$의 차원이 정확히 1임을 보이는 것.

실험 결과

연구 질문

• RQ1 수열 $q_n$의 간격이 발산할 때, $\|\alpha^{q_n} - r_n\| \to 0$를 만족하는 $\alpha > 1$의 집합이 양의 하우스도르프 차원을 가질 수 있는가?
• RQ2 거의 모든 $\alpha$가 $\{\alpha^{q_n}\}$을 1을 법으로 균일 분포시키지만, 이러한 해집합이 $(1,\infty)$에서 조밀해질 수 있는가?
• RQ3 목표 수열 $r_n$이 일정하거나 변동이 있을 때, 이러한 해집합이 비가산적이고 분수적 의미에서 크기 있는가?
• RQ4 이러한 $\alpha$에 대해 $\|\alpha^{q_n} - r_n\| \to 0$의 최적 수렴 속도는 무엇이며, 이는 간격 수열에 의해 제어될 수 있는가?
• RQ5 수열 $q_n$이 $q_{n+1}/q_n \to 1$을 만족하는 경우, 예를 들어 $q_n = n^2$일 때, 이 구성 방식을 수정하여 빠른 수렴 속도를 달성할 수 있는가?

주요 결과

• 수열 $q_n$의 간격이 발산할 때, 즉 $\lim_{n\to\infty}(q_{n+1} - q_n) = \infty$이면, $\|\alpha^{q_n} - r_n\| \to 0$를 만족하는 $\alpha > 1$의 집합 $E(q_n, r_n)$은 $(1,\infty)$에서 조밀하다.
• $E(q_n, r_n) \cap [\lambda, \lambda + \delta]$의 하우스도르프 차원은 임의의 $\lambda > 1$ 및 $\delta > 0$에 대해 정확히 1이며, 이는 모든 부분구간에서 전체 차원성을 나타낸다.
• 모든 $k \in \mathbb{N}$에 대해, $\|\alpha^{n^2} - r_n\| = O(n^{-k})$를 만족하는 $\alpha > 1$의 조밀한 집합이 존재한다. 이는 다항수열에 대해 임의로 빠른 수렴이 가능함을 보여준다.
• 목표 수열 $r_n$이 일정할 경우, 예를 들어 $\lim_{n\to\infty} \{\alpha^{q_n}\} = \kappa \in (0,1)$일 때조차도, 구성은 전체 하우스도르프 차원을 가지며, 이는 큰 집합 내에서 비균일 분포가 존재함을 보여준다.
• 증명 과정에서 $\dim_H(E(q_n, r_n)) = 1$의 차원 상한이 $(1,\infty)$의 모든 구간 $[\lambda, \lambda + \delta]$에 대해 균일하게 성립함을 보여, 전역적인 전체 차원성을 확인한다.
• $\|\alpha^{q_n} - r_n\| \to 0$의 수렴 속도는 간격 수열에 의해 제어될 수 있으며, $\epsilon_n$의 감쇠 속도가 느릴수록 전체 차원을 가진 더 큰 해집합이 가능하다.