English

Explicit separation of quadratic irrationals from the middle-third Cantor set

Number Theory 2026-01-27 v2

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=Q(α)K=\mathbb{Q}(\alpha) there exist constants AK,BK>0A_K,B_K>0 such that exit(α)  AK(log3H)2+BK. \mathrm{exit}(\alpha)\ \le\ A_K\,(\log_3 H)^2 + B_K. Consequently, dist(α,C)HκKlogH\mathrm{dist}(\alpha,\mathcal C)\ge H^{-\kappa_K\log H} for some κK>0\kappa_K>0.

Keywords

Cite

@article{arxiv.2601.11799,
  title  = {Explicit separation of quadratic irrationals from the middle-third Cantor set},
  author = {Frank Gilson},
  journal= {arXiv preprint arXiv:2601.11799},
  year   = {2026}
}

Comments

22 pages, main result is conditional, unconditional proof requires substantial work beyond this initial research