[論文レビュー] Explicit separation of quadratic irrationals from the middle-third Cantor set

Frank Gilson|arXiv (Cornell University)|Jan 16, 2026

Mathematical Dynamics and Fractals被引用数 0

ひとこと要約

要約: 本論文は3進写像の下で二次代数体 irrationals の出口時間に対する明示的な polylogarithmic 境界を導出し， mild な非退化条件と非深い軌道指標の仮説の下で middle-third 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 に依存する境界を提供する。

提案手法

• 基底3の動力学系を tau(theta)= {3 theta} と三区間分割 L, M, R でモデル化する。
• exit(alpha) を軌道が最初に M に入る時刻として定義し，theta_0 = {alpha} の展開における最初の三進数 1 にリンクさせる。
• 出口時間の境界を導出: exit(alpha) <= A_K (log_3 H)^2 + B_K は高さ H を持つ二次不完全数，場 K=Q(alpha) の場合。
• 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) 区間の二次不完全数を explicit な境界で Cantor 集合から定量的に分離できるか（高さに関して）
• RQ2 基底3の動力学フレームワークにおける出口時間，高さ，Cantor 集合への距離の関係はどうなるか
• RQ3 浅い vs 深い動的ブロックは出口時間にどのように寄与し，これらの寄与を実効的に境界付けできるか
• RQ4 非退化条件 delta_C(alpha) >= 0.02 を用いて Cantor 終点の病理を排除し explicit な推定が成立するか
• RQ5 長い L-runs 後の R-訪問から生じる 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）という定量的距離境界が成立する。
• 簡単な動的二分法により early exit to M あるいは R で停止してからの L-runs が轨道を制約し，出口挙動を制御可能にする。
• R への訪問後の長い L-runs は Thue–Mahler 型方程式を強制し，S-unit / Thue–Mahler 問題の有限ファミリーへの実効的還元と境界導出を可能にする。
• 浅い/非深部の寄与は本仮説の下で O((log H)^2) に境界付け可能であり，深部ブロックは Thue–Mahler 枠組みを通じて無条件に扱える。