Inhomogeneous Approximation by Sums of Roots

技術的サマリー：根の和による不均一近似

問題定義
本論文は、$d$ 乗根の和に関する不均一ディオファントス近似の問題を取り扱う。具体的には、固定された整数 $d \ge 2$ と $k \ge 1$、実数目標値 $\beta$、および大きな上限 $N$ が与えられたとき、$1 \le b_1, \dots, b_k \le N$ なる整数を見つけ、それらの $d$ 乗根の和から $\beta$ までの距離を最小化することを目的とする：
$$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$$
ここで $\|x\|$ は $x$ から最も近い整数までの距離を表す。本論文は、この距離が $O(N^{-\gamma})$ で抑えられるような最適指数 $\gamma$ を確立することを目指す。

Iyer (2025) による先行研究は、少なくとも $(k-d+1)/d^2$ という有効な不均一指数と、より鋭い「完全基底」指数 $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$ を確立した。後者は、$k+1$ が $d$ の累乗である場合のみ $k/d$ の値を達成する。本論文は、効果性を犠牲にする代わりに、特に $k+1$ が $d$ の累乗でない場合において、一般的な $k$ と $d$ に対してこれらの指数を改善することを目指す。

手法
主要定理の証明は、以下の 2 つの主要な構成要素に依存している：

1. シュミットの部分空間定理による双対下限：
   著者らは、シュミットの部分空間定理を用いて、異なる素根を含む線形形式に対する双対下限を確立する。異なる素数 $p_1, \dots, p_k$ を選び、$\theta_i = p_i^{1/d}$ と設定することで、$1, \theta_1, \dots, \theta_k$ が $\mathbb{Q}$ 上で線形独立であるという結果（ベシコビッチによるもの）を援用する。これにより、任意の $\eta > 0$ と非零整数 $h$ に対して、以下のような下限が得られる：
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   このステップは部分空間定理に依存しているため、非効果的である。

2. 不均一転移：
   著者らは、双対下限を不均一近似の結果に変換するために、被覆転移の議論（補題 3.2）を採用する。数の幾何学（具体的にはマッラーの転移原理と格子の被覆半径）を用いて、双対限界が指数 $\sigma$ で成り立てば、任意の目標値 $\beta$ とパラメータ $Q$ に対して、$|q_i| \le Q$ なる整数 $q_1, \dots, q_k$ が存在し、以下が成り立つことを示す：
   $$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$$
   係数を正にシフトし、根号内を $b_i = p_i c_i^d$（ここで $c_i$ は $q_i$ から導かれる）として再定義することで、問題は再び根号内が $N$ で抑えられた $d$ 乗根の和へと変換される。

主要な結果

• 定理 1.1（主要定理）：任意の固定された $d \ge 2$、$k \ge 1$、および $\varepsilon > 0$ に対して、定数 $C_{d,k,\varepsilon}$ が存在し、すべての $N \ge 2$ と $\beta \in \mathbb{R}$ に対して、$1 \le b_1, \dots, b_k \le N$ なる整数が存在し、次を満たす：
  $$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$$
  この結果は $k/d - \varepsilon$ という指数を提供する。$k+1$ が $d$ の累乗でない限り、これは Iyer の指数 $(k-d+1)/d^2$ および完全基底指数 $\gamma_{k,d}$ を改善する。$k+1$ が $d$ の累乗である特定のケースでは、Iyer の有効な構成ですでに $k/d$ が達成されているのに対し、この定理は任意の $\varepsilon$ を失い、非効果的である。

• 予想 1.2（一様指数）：著者らは、最適の一様指数が $k - 1/d$ であるというより強い予想を提示する。これは、現在の $k/d$ という結果が最終的な限界ではなく、証明に用いられた特定の代数構造（疎な根号内の族）の結果に過ぎないことを示唆している。予想は以下のように定式化される：
  $$\sup_{\beta \in \mathbb{R}/\mathbb{Z}} \min_{1 \le b_1, \dots, b_k \le N} \left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \ll_{d,k,\varepsilon} N^{-(k-1/d) + \varepsilon}$$

• $d=2$ に対する明示的な構成：第 5 節において、本論文は $d=2$（平方根の場合）かつ $k=2, 3, 4$ に対する明示的な整数目標値の構成を提供する。テイラー展開と係数の相殺を用いて、著者らは根号内が $M^2$ 程度の大きさを持つ平方根の和を構成し、誤差が $M^{-(2k-1)}$ のオーダーで整数を近似する。これにより、$N^{-(k-1/2)}$ という指数が得られ、これら特定のケースにおける予想値と一致する。

意義と主張
本論文は、根の和における不均一指数に対する異なる証明を提供し、手法を Iyer の「完全根基底」アプローチから、シュミットの部分空間定理を用いた一般的な代数ディオファントス近似の枠組みへと転換したと主張している。

主な意義は、$k+1$ が $d$ の累乗でない場合における指数の改善にある。著者らは、部分空間定理に起因するため結果が非効果的である一方で、それらの特定の領域において、従来の有効な構成よりも優れた指数を達成していることに言及している。また、本論文は、証明された指数（$k/d$）と予想される最適指数（$k-1/d$）の間の隔たりを強調しており、後者は主要な証明で用いられた疎な族を超えて、根号内の選択におけるより多くの「局所的自由度」を利用する必要があることを示唆している。$d=2$ に対する明示的な構成は、予想された一様指数を支持する証拠として機能している。