[논문 리뷰] Explicit separation of quadratic irrationals from the middle-third Cantor set

Frank Gilson|arXiv (Cornell University)|2026. 01. 16.

Mathematical Dynamics and Fractals인용 수 0

한 줄 요약

이 논문은 이차 무리수의 삼진 동역학 맵 하에서의 탈출 시간에 대한 명시적 polylogarithmic 경계를 제시하여, 완화된 비퇴화 조건 및 비깊은 궤도 지수 가정 하에 중간-3 Cantor 집합으로부터의 정량적 분리를 제공합니다.

ABSTRACT

Assuming a mild non-degeneracy condition excluding very low-level Cantor endpoints, and assuming a counting/input hypothesis for the contribution of non-deep orbit indices, we show that for the quadratic field $K=\mathbb{Q}(α)$ there exist constants $A_K,B_K>0$ such that \[ \mathrm{exit}(α)\ \le\ A_K\,(\log_3 H)^2 + B_K. \] Consequently, $\mathrm{dist}(α,\mathcal C)\ge H^{-κ_K\log H}$ for some $κ_K>0$.

연구 동기 및 목표

• Cantor 집합에 있는 대수적 수에 관한 Mahler 문제를 동기 부여하고, 이차 무리수들이 Cantor 집합을 얼마나 잘 피할 수 있는지 정량화한다.
• Base-3 맵을 사용한 동역학 프레임워크를 개발하여 탈출 시간과 Cantor 집합 거리 간의 관계를 규명한다.
• 가벼운 가정 아래 높이, 탈출 시간, Cantor 집합으로부터의 거리 사이의 명시적, K 의존 경계를 제공한다.

제안 방법

• 맵 tau(theta)= {3 theta}와 세 구간 분할 L, M, R를 이용하여 base-3 동역학 시스템을 모델링한다.
• exit(alpha)를 궤도가 M에 처음 진입하는 순간으로 정의하고, 이를 theta_0 = {alpha}의 1번째 삼진 자리수와 연결한다.
• 이차 무리수의 높이 H 및 체 K=Q(alpha)일 때 exit(alpha) <= A_K (log_3 H)^2 + B_K 를 만족하는 탈출 시간 경계를 도출한다.
• Hypothesis 5.13(Shallow contribution bound) 및 delta_C(alpha) >= 0.02 하에서 dist(alpha, Cantor set) >= H^(-κ_K log H) 의 거리 경계를 확립한다.
• 깊은 구조 기여를 Thue–Mahler / S-unit 방정식으로 축소하고 비깊은 부분은 Hypothesis 5.13으로 제어한다.

실험 결과

연구 질문

• RQ1 (0,1) 구간의 이차 무리수를 삼진 기반 동역학 프레임워크에서 Height에 따른 Explicit 경계로 중간-3 Cantor 집합과 정량적으로 분리할 수 있는가?
• RQ2 삼진 동역학 프레임워크에서 탈출 시간, 높이, Cantor 집합까지의 거리 사이의 관계는 어떠한가?
• RQ3 얕은(shallow) vs. 깊은(deep) 동역학 블록이 탈출 시간에 어떻게 기여하며 이러한 기여를 효과적으로 경계할 수 있는가?
• RQ4 비퇴화 조건 delta_C(alpha) >= 0.02를 사용하여 Cantor 끝점 경로를 배제하고 명시적 추정이 성립하도록 할 수 있는가?
• RQ5 R 방문 이후 긴 L-런에서 arise 하는 Thue–Mahler, S-unit 등의 대수적 축약이 어떻게 효과적인 경계로 이어지는가?

주요 결과

• A_K, B_K > 0 인 상수들이 존재하며 이는 이차 체 K에만 의존하고 exit(alpha) <= A_K (log_3 H)^2 + B_K 를 만족한다.
• Hypothesis 5.13 하에서 dist(alpha, Cantor set) >= H^{-κ_K log H} 의 양적 거리 경계가 성립하며 κ_K > 0 이다.
• 간단한 동적 이분법은 조기에 M으로의 탈출 또는 R에서의 정지 후 L-런으로의 궤도 수렴을 제시하여 궤도를 제한하고 탈출 동작을 제어 가능한 형태로 만든다.
• R 방문 이후의 긴 L-런은 Thue–Mahler 유형의 방정식을 강제하여 S-unit / Thue–Mahler 문제의 유한한 가족으로의 효과적 축소 및 경계 도출을 가능하게 한다.
• 주어진 가설 하에서 얕은/비깊은 기여는 O((log H)^2)로 경계될 수 있으며, 깊은 블록은 Thue–Mahler 프레임워크를 통해 무조건적으로 다룬다.