[논문 리뷰] The Duffin-Schaeffer Conjecture with extra divergence

Alan Haynes, Andrew Pollington외 1명|ArXiv.org|2008. 11. 07.

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

한 줄 요약

이 논문은 Duffin-Schaeffer 추측의 강화된 형태를 제시한다. 느리게 감쇠하는 함수 $ f $ 를 사용하여 '추가 발산' 조건을 도입함으로써, $ \sum f(\psi(n)/n) \varphi(n) = \infty $ 라면 $ W(\psi) $ 의 잘 근사 가능한 수들의 집합이 전체 Lebesgue 측도를 가짐을 증명한다. 또한, 합이 $ \epsilon = 0 $ 일 때 발산하면 $ W(\psi) $ 의 하우스도르프 차원이 1임을 보이며, 이는 추측의 차원 해석을 확인한다.

ABSTRACT

Given a nonnegative function $ψ: \N o \R $, let $W(ψ)$ denote the set of real numbers $x$ such that $|nx -a| < ψ(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(ψ)$ is of full Lebesgue measure if there exists an $ε> 0 $ such that $$ extstyle \sum_{n\in\N}(\frac{ψ(n)}{n})^{1+ε}φ(n)=\infty . $$ The Duffin-Schaeffer Conjecture is the corresponding statement with $ε= 0$ and represents a fundamental unsolved problem in metric number theory. Another consequence is that $W(ψ)$ is of full Hausdorff dimension if the above sum with $ε= 0$ diverges; i.e. the dimension analogue of the Duffin-Schaeffer Conjecture is true.

연구 동기 및 목표

• 원래 Duffin-Schaeffer 추측을 넘어서는 더 강화된 발산 조건 하에서 $ W(\psi) $ 가 전체 Lebesgue 측도를 가질 수 있는 충분조건을 확립하는 것.
• Duffin-Schaeffer 추측의 차원 해석을 증명하여, 합 $ \sum \psi(n)/n \cdot \varphi(n) $ 가 발산할 경우 $ \dim(W(\psi)) = 1 $ 임을 보이는 것.
• 더 약한, 더 다룰 수 있는 추가 발산 조건을 포함하는 추측을 통해 Duffin-Schaeffer 추측을 연구함으로써 전체 추측에 대한 통찰을 확보하는 것.

제안 방법

• 함수 $ f(x) $ 를 도입하여, $ x(-\log x)^{-\epsilon} $ 보다 빠르게 감쇠하지만 $ x^{1+\epsilon} $ 보다 느리게 감쇠하도록 하며, $ \sum f(\psi(n)/n) \varphi(n) $ 가 발산하면 $ \lambda(W(\psi)) = 1 $ 임을 증명한다.
• 질량 이동 원리를 적용하여 Lebesgue 측도 결과를 하우스도르프 측도 및 차원으로 확장함으로써, $ W(\psi) $ 의 측도론적 성질과 차원적 성질을 연결한다.
• Borel-Cantelli 보조정리와 쌍방향 교차 영역 $ \lambda(\mathcal{E}_m \cap \mathcal{E}_n) $ 의 추정을 사용하여 중복 근사의 확률을 제어한다.
• 함수 $ f $ 를 사용하여 기존 결과 사이를 보간함: $ \epsilon > 0 $ 인 경우의 코로나리 1을 일반화하고, 임계 경우 $ \epsilon = 0 $ 에 가까워진다.
• 합 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ 가 발산하면 $ \dim(W(\psi)) = 1 $ 임을 보이며, 이는 Duffin-Schaeffer 추측의 차원 해석을 확인한다.
• 추측 2와 문제 2를 제안하여 자연스러운 다음 단계로 삼으며, 이는 $ f(r) = r(\log 1/r)^{-1} $ 에 대해 추측을 검증하는 데 중점을 두며, 이는 현재 결과를 약간 넘어서는 경우이다.

실험 결과

연구 질문

• RQ1 기존의 합 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ 를 넘어서 '추가 발산' 조건이 성립할 경우 Duffin-Schaeffer 추측이 성립하는가?
• RQ2 Duffin-Schaeffer 추측의 차원 해석은 참인가? 즉, 기존 합이 발산할 경우 $ \dim(W(\psi)) = 1 $ 인가?
• RQ3 느리게 감쇠하는 함수 $ f $ 를 포함하는 더 약한 추측을 통해 Duffin-Schaeffer 추측에 접근할 수 있는가? 특히 $ f(r) = r(\log 1/r)^{-1} $ 와 같이 알려진 경우와 임계 경우 사이에 위치하는 경우에 대해?
• RQ4 질량 이동 원리는 Lebesgue 측도 결과를 $ r^{1-\epsilon} $ 보다 더 Lebesgue 측도에 가까운 차원 함수 $ h $ 에 대해 하우스도르프 측도 결과로 확장할 수 있는가?
• RQ5 차원 함수 $ h(r) = r \log(1/r) $ 에 대해 추측 1(일반화된 하우스도르프 측도 형태)을 검증할 수 있는가? 이는 현재 결과를 약간 넘어서는 경우이다.

주요 결과

• 논문은 $ \sum f(\psi(n)/n) \varphi(n) = \infty $ 라면 $ \lambda(W(\psi)) = 1 $ 임을 증명한다. 여기서 $ f(x) $ 는 임의의 $ \epsilon > 0 $ 에 대해 $ x(-\log x)^{-\epsilon} $ 보다 빠르게 감쇠하고 $ x^{1+\epsilon} $ 보다 느리게 감쇠한다. 이는 전체 Lebesgue 측도를 위한 새로운 충분조건을 확립한다.
• 코로나리 1은 $ \sum (\psi(n)/n)^{1+\epsilon} \varphi(n) = \infty $ 라면 $ \lambda(W(\psi)) = 1 $ 임을 보이며, 이는 하르만의 책에서 알려진 결과와 동치이다.
• 정리 2는 $ \sum (\psi(n)/n)^{1-\epsilon} \varphi(n) = \infty $ 라면 모든 $ \epsilon > 0 $ 에 대해 $ \dim(W(\psi)) = 1 $ 임을 증명하며, 이는 Duffin-Schaeffer 추측의 차원 해석을 확인한다.
• 코로나리 3은 $ \sum \psi(n)/n \cdot \varphi(n) = \infty $ 라면 항상 $ \dim(W(\psi)) = 1 $ 임을 확인하며, 이는 원래 Duffin-Schaeffer 추측의 차원 해석이다.
• 논문은 차원 함수 $ h(r) = r^{1 - 1/(1 + \log \log 1/r)} $ 에 대해 추측 1(일반화된 하우스도르프 측도)을 검증한다. 이 함수는 $ r^{1-\epsilon} $ 보다 느리게 감쇠하지만 $ r \log(1/r) $ 보다 빠르게 감쇠하므로, 전체 추측에 대한 진전을 보여준다.
• 문제 2 — $ f(r) = r(\log 1/r)^{-1} $ 에 대해 추측 2를 검증하는 것 — 은 다음 자연스러운 단계로 제안되며, 이는 현재 결과를 약간 넘어서며 전체 차원 해석을 암시할 수 있다.