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$ 到最近整数的距离。本文旨在确定最优指数 $\gamma$，使得该距离被 $O(N^{-\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$ 和 $d$ 情况下的这些指数，特别是在 $k+1$ 不是 $d$ 的幂的情况下，尽管这需要以牺牲有效性为代价。

方法论
主定理的证明依赖于两个主要组成部分：

1. 通过施密特子空间定理的对偶下界：
   作者利用施密特子空间定理（Schmidt's Subspace Theorem）为涉及不同素根式的线性型建立对偶下界。通过选取不同的素数 $p_1, \dots, p_k$ 并设 $\theta_i = p_i^{1/d}$，他们引用了 $1, \theta_1, \dots, \theta_k$ 在 $\mathbb{Q}$ 上的线性独立性（这是 Besicovitch 的结果）。这导出了如下形式的下界：
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   对于任意 $\eta > 0$ 和非零整数 $h$。这一步是非有效的，因为它依赖于子空间定理。

2. 非齐次传递：
   作者采用覆盖传递论证（引理 3.2）将对偶下界转化为非齐次逼近结果。利用数的几何（特别是马勒传递原理和格点的覆盖半径），他们证明了如果对偶界以指数 $\sigma$ 成立，那么对于任意目标 $\beta$ 和参数 $Q$，存在整数 $q_1, \dots, q_k$ 满足 $|q_i| \le Q$，使得：
   $$\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^{-(2k-1)}$，其中被开方数的大小为 $M^2$。这产生了 $N^{-(k-1/2)}$ 的指数，与这些特定情况的猜想值相符。

意义与主张
本文声称提供了一种关于根式和的非齐次指数的不同证明，将方法论从 Iyer 的“全根式基”方法转变为使用施密特子空间定理的一般代数丢番图逼近框架。

其主要意义在于改进了 $k+1$ 不是 $d$ 的幂情况下的指数。作者指出，虽然他们的结果是非有效的（由于子空间定理），但在这些特定情形下，它实现了比先前有效构造更好的指数。本文还强调了已证明指数（$k/d$）与猜想的最优指数（$k-1/d$）之间的差距，表明后者需要利用比主证明中使用的稀疏族更多的被开方数选择上的“局部自由度”。$d=2$ 的显式构造作为支持猜想一致指数的证据。