[论文解读] Explicit separation of quadratic irrationals from the middle-third Cantor set

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

Mathematical Dynamics and Fractals被引用 0

一句话总结

论文给出关于二次代数无理数在三进制动态映射下的显式多对数时间界限，在温和的非退化条件和对非深时轨索引的假设下，定量地将其与中三分之 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$.

研究动机与目标

• 动机：使Mahler在Cantor集中的代数数问题可量化，评估二次无理数在Cantor集中的逃离能力。
• 通过基-3映射，建立一个动力学框架，将退出时间与Cantor集距离联系起来。
• 在轻度假设下，给出与高度、退出时间及Cantor集距离之间的显式、K相关界限。

提出的方法

• 通过映射 tau(theta)= {3 theta} 和三区分割 L, M, R 来建模基数-3 动力系统。
• 将 exit(alpha) 定义为轨道首次进入 M 的时间，该时间与 θ_0 = {alpha} 展开中的第一个三进制数字 1 相关。
• 推导出口时间界限：exit(alpha) <= A_K (log_3 H)^2 + B_K，对于高度 H 与域 K=Q(alpha) 的二次无理数。
• 在 Hypothesis 5.13（浅层贡献界）和 delta_C(alpha) >= 0.02 条件下，建立距离界限 dist(alpha, Cantor set) >= H^(-κ_K log H) 的界限，其中 κ_K > 0。
• 将深层结构贡献化简为 Thue–Mahler / S-unit 方程，并通过 Hypothesis 5.13 控制非深部分。

实验结果

研究问题

• RQ1 在高度的显式界限下，(0,1) 区间的二次无理数能否从中三分 Cantor 集定量分离？
• RQ2 在基-3 动力框架下，退出时间、高度与距离 Cantor 集之间的关系为何？
• RQ3 浅层 vs 深层动点块如何影响退出时间，且这些贡献是否能被有效地界定？
• RQ4 可否利用非退化条件 delta_C(alpha) >= 0.02 来排除Cantor端点的病态，从而使显式估计成立？
• RQ5 在 R 访问后的长 L-运行中会产生哪些代数化简（Thue–Mahler、S-unit），它们如何提供有效界限？

主要发现

• 存在仅依赖于二次域 K 的常数 A_K, B_K > 0，使得 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-runs 会约束轨道，导致受控的退出行为。
• R 访问后出现的长 L-run 会强制形成 Thue–Mahler 型方程，使其可有效化简为有限族的 S-unit / Thue–Mahler 问题并推导出界。
• 在给定假设下，浅层/非深贡献可界定为 O((log H)^2)，而深层区块则通过 Thue–Mahler 框架无条件处理。