A Note on Diophantine Approximation with Restricted Denominators

問題設定
本稿は、近似分数の分母が自然数 $\mathbb{N}$ の特定の部分集合 $A$ に制限される場合のディオファントス近似の問題を扱う。ディリクレの近似定理は、任意の無理数 $\xi$ に対して、互いに素なペア $(p, q)$ が $|\xi - p/q| < 1/q^2$ を満たすものが無限に存在することを保証しているが、本著者は、$q$ が部分集合 $A$ に属するように制約された場合に、同様の評価が得られるかどうかを調査している。この分野における先行研究（例えば、素数に分母を制限したマトマキの研究など）は、解析的数論に大きく依存してきた。本稿は、「密度」という特定の概念を導入することにより、組合せ論的な観点からこの問題にアプローチすることを目的とする。

手法
著者は、自然数 $\mathbb{N}$ の部分集合に対する「ディオファントス密度」の組合せ論的な定義を導入し、初等的な数論および連分数の性質を用いて結果を確立する。

1. ディオファントス密度の定義： 部分集合 $A \subseteq \mathbb{N}$ がディオファントス密度 $\delta \in [0, 1]$ を持つとは、十分大きな互いに素なペア $(p, q)$ に対して、$v \in A$ かつ $v \le q$ であるような $v$ について、$vp/q$の整数への最小距離の最小値が$C/q^\delta$で抑えられるような定数$C > 0$ が存在することを指す。

   • 備考： 著者は、正のディオファントス密度を持つ集合は必ず無限集合であることを証明している。

2. 組合せ論的構成（定理4）： 本稿は、制御された成長率を持つ集合の補集合を分析することにより、特定のディオファントス密度を持つ集合を構成する方法を確立している。具体的には、もし集合 $A$ が計数関数 $A(n) \ll n^\delta$ を満たすならば、その補集合 $\mathbb{N} \setminus A$ は $1 - \delta$ のディオファントス密度を持つ。これは、マルチセット $\{ \|kp/q\| : 1 \le k \le q \}$ の分布を分析し、要素 $A$ に対応する要素を取り除いた後の最小要素が、取り除かれた集合の密度によって抑えられることを示すことで証明される。

3. 近似への応用（定理3）： 密度の定義を用いて、著者は制限付きのディリクレの定理の類似形を導出する。$A$ が正のディオファントス密度 $\delta > 0$ を持つとき、任意の無理数 $\xi$ と $\epsilon > 0$ に対して、$(u, v) \in \mathbb{Z} \times A$ かつ互いに素であるようなペアが無限に存在し、$|\xi - u/v| < 1/v^{1+\delta-\epsilon}$ を満たす。この証明は、$\xi$ の近似分数と三角不等式に基づいており、密度条件が無限個の異なる互いに素なペアの存在を保証することを示している。

主要な結果

• 定理3（制限付きディリクレ）： 部分集合 $A \subseteq \mathbb{N}$ が正のディオファントス密度 $\delta > 0$ を持つとき、任意の無理数 $\xi$ に対して、分母が $A$ に属する近似 $|\xi - u/v| < v^{-(1+\delta-\epsilon)}$ を満たすものが無限に存在する。
• 定理4（補集合の密度）： 集合 $A$ が $A(n) \ll n^\delta$ を満たすとき、その補集合 $\mathbb{N} \setminus A$ は $1 - \delta$ のディオファントス密度を持つ。
• 定理5（ピアチェツキー・シャピロ数列）： 前述の定理をピアチェツキー・シャピロ数列 $PSc = \{\lfloor n^c \rfloor\}_{n \ge 1}$ （ここで $c > 1$）に適用することで、著者はこれらの数列を「回避する」整数の集合が、誤差評価 $|\xi - p/q| < q^{-(2 - 1/c - \epsilon)}$ を許容することを示す。
  • 例： $c=2$（完全平方数を回避する場合）において、評価は $q^{-(3/2 - \epsilon)}$ となる。

意義と限界
本稿は、先行研究（ヴィノグラードフやマトマキなど）で用いられている「解析的数論」の手法とは対照的に、「組合せ論的なアプローチ」を提供することに意義があると主張している。これは、ある集合の計数関数の成長率と、その補集合を用いて可能なディオファントス近似の質の高さとの間の直接的な関連性を確立している。

しかし、著者はこれらの結果の範囲について謙虚である。本稿は、これらの手法が、特定の疎な集合（素数の集合など）に対して既知のより強い結果を再現するには「粗すぎる」ことを明示している。定理4を適用することで、著者は素数の集合は（合成数の集合が密度1であるため）ディオファントス密度が0であることを指摘しており、これにより定理3を素数に適用することはできないとしている。したがって、本研究は、最も困難な疎な集合のケースに対する解決策ではなく、「十分に密な」部分集合のための一般的な枠組みとして提示されている。