Quantitative Khintchine on the parabola with non-monotonic approximation functions

技术摘要：抛物线上非单调逼近函数的定量 Khintchine 定理

问题陈述
本文研究了度量丢番图逼近中 Khintchine 定理收敛情形的一个定量版本，特别是在限制在抛物面 $P := \{(x, x^2) \mid x \in [0, 1]\}$ 上的点。核心挑战在于移除“逼近函数 $\psi: \mathbb{N} \to [0, \infty)$ 必须是单调的”这一标准假设。

虽然 Khintchine 定理（1924）确立了 $\mathbb{R}^n$ 中 $\psi$-可逼近点的勒贝格测度的零一律，但发散情形严格要求单调性。然而，对于收敛情形，尽管在环境空间中并不内在要求单调性，但在推广到流形（如抛物面）时，不带单调性的情况已被证明非常困难。此前关于非退化子流形的结论（如 Beresnevich 和 Yang 的工作）即使在收敛情形下也依赖于单调性。一个显著的例外是 Huang 的定理（2023），该定理证明了抛物面在非单调情况下的收敛情形，但并未提供关于良近似点集合测度的显式定量界限。

作者旨在为满足对于所有 $q$，同时逼近误差 $\max(\|qx\|, \|qx^2\|)$ 超过固定倍数 $\kappa \psi(q)$ 的点集 $x \in [0, 1]$ 的测度提供显式常数。具体而言，他们试图建立：若级数 $S_\psi = \sum \psi(q)^2$ 收敛，则集合 $B'(\psi, \kappa) = \{x \in [0, 1] : \max(\|qx\|, \|qx^2\|) > \kappa \psi(q) \forall q \in \mathbb{N}\}$ 的测度至少为 $1 - \delta$，并给出 $\kappa$ 对 $\delta$ 和 $S_\psi$ 的显式依赖关系。

方法论
证明策略遵循 Huang [13] 建立的框架，但重点在于整个估计过程中推导显式常数。该方法论分为以下阶段进行：

1. 归约为计数问题： 将问题归约为统计具有固定分母 $q$ 的有理点 $a/q$ 靠近抛物面的数量。这被公式化为估计计数函数 $\sum_{a \le q, \|a^2/q\| \le 3\kappa\psi(q)} 1$。
2. 指数和与 Fejér 核： 使用 Fejér 核来平滑区间指示函数，从而估计计数函数。这使问题转化为估计形式为 $\sum_{a=1}^q e^{2\pi i j a^2 / q}$ 的指数和的上界。
3. Dirichlet 特征与 Gauss 和： 利用二次 Gauss 和的性质，将这些二次指数和通过 Dirichlet 特征（特别是 Legendre 和 Jacobi 符号）进行重写。
4. 显式 Burgess 界： 核心技术创新在于应用针对短特征和的 Burgess 界。由于标准的有效版本的 Burgess 界并不适用于所有合数模，作者针对三种不同的模 $q$ 范围推导了显式界限：
   • 小 $q$ ($1 \le q \le 10^5$)： 通过暴力计算得出常数。
   • 中 $q$ ($10^5 < q \le \exp(\exp(8))$)： 利用来自 Bordignon [7] 的结果进行推导，并显式验证了相关条件。
   • 大 $q$ ($q > \exp(\exp(8)$)： 依赖于来自 Bordignon [7] 和 Robin [21] 的结果。
5. 约数函数估计： 工作的重要部分涉及处理出现在误差项中的约数函数 $d(q)$。作者利用 $d(q)$ 的显式界限（例如 $d(q) \le K_\beta q^\beta$）并分析这些界限如何影响最终常数。作者通过考虑特定的整数子集（例如具有少量素因子的数或非常大的数）来处理较大的约数值问题，以获得更合理的常数。

主要贡献与结果
本文提出了四个主要定理，在不同的分母 $q$ 约束下提供 $\kappa(\delta)$ 的定量界限。在所有情况下，若 $S_\psi = \sum \psi(q)^2$ 收敛，则 $\lambda(B'(\psi, \kappa)) \ge 1 - \delta$。

• 定理 4 (所有 $q$)： 为所有整数 $q$ 提供界限。由于在一般情形下约数函数 $d(q)$ 的最坏情况行为，所得出的常数 $\kappa(\delta)$ 极小（在某些项中量级约为 $10^{-1023}$）。
• 定理 5 (大 $q$)： 假设 $\psi(q) = 0$ 当 $q \le \exp(\exp(41))$。通过限制在非常大的模之下，作者利用改进的 $d(q)$ 界限（具体为 $d(q) \le q^{1/57}$），从而得到了显著更易处理的常数（例如 $\kappa \approx 0.00499 (\delta/S_\psi)^{2/3}$）。
• 定理 6 (有限素因子)： 假设 $q$ 最多有 $k$ 个素因子。这一限制使得 $d(q) \le 2^k$，从而得到的常数取决于 $k$，但通常比定理 4 更合理。
• 定理 7 (素模)： 假设 $q$ 是素数。此情形利用了针对素模的最优显式 Burgess 界，在所有一般情形中给出了最理想的常数（例如 $\kappa \approx 0.012 (\delta/S_\psi)^{2/3}$）。

意义与主张
作者声称这项工作是第一个为抛物面上的非单调逼近函数提供定量 Khintchine 定理的工作。其主要意义在于常数的显式性质，这使得研究关于逼近常数 $\kappa$ 与集合测度之间的依赖关系成为可能，而这是一个此前由 Adiceam 等人 [1] 提出的问题。

论文承认，特别是在最一般的情况下（定理 4），常数非常小。作者将这一局限性归因于并非证明方法本身，而是源于用于 Burgess 定理变体的约数函数界限中的显式常数。他们指出，虽然更好的估计是值得追求的，但使用现有方法实现这一点是不太可能的。这项工作作为一个基础性步骤，证明了非单调收敛结果可以被定量化，尽管带有在一般设定下常数较小的限制。