Metric results for dyadic approximation on the middle-third Cantor set

技术摘要：二进近似在三中点康托尔集上的度量结果

问题陈述
本文研究了分形上的丢番图逼近问题，特别关注三中点康托尔集 $C$。研究的核心对象是集合 $W_2(\tau)$，定义为满足对于无穷多个 $n \in \mathbb{N}$，有 $\|2^n x\| < n^{-\tau}$ 的点 $x \in [0, 1]$ 的集合，其中 $\|\cdot\|$ 表示到最近整数的距离。作者研究了该集合关于康托尔-勒贝格测度 $\mu$（即限制在 $C$ 上的 $\gamma$-维豪斯多夫测度，其中 $\gamma = \log 2 / \log 3$）的测度。

这项工作围绕着由 Velani 提出的一个猜想展开，该猜想提出了关于 $\mu(W_2(\tau))$ 的零一律：当 $\tau > 1$ 时，测度应为 0；而当 $0 < \tau \le 1$ 时，测度应为 1。虽然该猜想在完全一般情形下仍是一个开放问题，但先前的研究已取得了部分结果。值得注意的是，Allen, Baker, Chow, 和 Yu [1] 证明了对于 $\tau > \approx 1.552$ 的零测度情况；而 Baker [3] 则证明了对于 $0 < \tau \le 0.01$ 的全测度情况。该问题的难点在于，基数为 2 和基数为 3 的数在 $C$ 中的展开式并非都是结构化的，这一原理与 Furstenberg 的 $\times 2, \times 3$ 猜想相关，但目前对这种独立性的定量理解仍然有限。

方法论
作者采用了傅里叶分析方法，借鉴了 [1] 和 [3] 中开发的技术。该领域的一个主要障碍是，康托尔-勒贝格测度 $\mu$ 缺乏全局傅里叶衰减（即当 $|\xi| \to \infty$ 时，$|\hat{\mu}(\xi)|$ 不趋于 0）。以往的工作依赖于 Baker 引理 [3]，该引理证明了对于除了极小集合之外的所有 $n$，$|\hat{\mu}(h2^n)|$ 呈多项式级衰减。

本文的关键方法论创新在于建立了 $\mu$ 的傅里叶系数沿序列 $h2^n$ 的偏和的精确估计。具体而言，作者证明了 $|\hat{\mu}(h2^n)|$ 和 $|\hat{\mu}(h2^n)|^2$ 之和的一致估计。这些估计是通过利用 2 的幂次模 3 的幂次的数论性质（特别是利用 3-进赋值和剩余分布）推导出来的。

核心技术工具包括：

1. 新的傅里叶估计： 证明了 $\sum_{n=1}^N |\hat{\mu}(h2^n)|^2 \ll N^{1-\gamma}$ 且 $\sum_{n=1}^N |\hat{\mu}(h2^n)| \ll N^{(1-\gamma)/2}$，且对所有 $h \in \mathbb{Z} \setminus \{0\}$ 是一致的。
2. 平滑与积分估计： 利用 Jackson 不等式为收缩目标构造指示函数的平滑近似。这些近似与新的傅里叶估计相结合，用于导出计数函数的一阶和二阶矩的界。
3. Borel-Cantelli 参数： 通过应用矩界限，利用 Borel-Cantelli 引理来建立零一律。

主要贡献与结果
本文为 Velani 猜想的收敛部分和发散部分提供了改进的界限：

1. 零测部分（收敛性）： 作者证明了当 $\tau > \frac{1}{\gamma} - \frac{1-\gamma}{3-\gamma} \approx 1.429$ 时，$\mu(W_2(\tau)) = 0$。这改进了 Allen, Baker, Chow, 和 Yu [1] 之前取得的最佳结果 $\tau > \approx 1.552$。
2. 全测部分（发散性）： 作者证明了当 $0 < \tau < \frac{\gamma}{12} \approx 0.052$ 时，$\mu(W_2(\tau)) = 1$。这改进了 Baker [3] 之前取得的最佳结果 $\tau \le 0.01$。
3. 一般计数结果： 对于全测部分，作者建立了一个更强的计数结果（定理 1.4）。对于任何序列 $(x_n)$ 在 $[0, 1]$ 中以及 $0 < \tau < \gamma/12$，对于 $\mu$-几乎处处的 $x \in C$：
   $$\lim_{N \to \infty} \frac{\#\{1 \le n \le N : \|2^n x - x_n\| < n^{-\tau}\}}{2 \sum_{n=1}^N n^{-\tau}} = 1.$$
   这通过非齐次设置和任意序列推广了 Baker 的结果。
4. 向缺失数字集的扩展： 该方法论被扩展到一类更广泛的缺失数字集 $K_{b,D}$ 上的自相似测度（其中 $b$ 是一个素数且 $D$ 是数字集）。定理 1.7 为这些集合提供了一个类似的计数结果，其阈值 $\kappa$ 取决于概率向量和基数。

意义与主张
本文声称其主要贡献在于精炼了用于 [1] 和 [3] 机制中的傅里叶输入。通过建立沿序列 $h2^n$ 的傅里叶系数偏和的更尖锐估计（特别是 $L^1$ 和 $L^2$ 界），作者能够将 Velani 猜想的已知阈值推向所猜想的 $\tau = 1$ 的值。

作者明确指出，其方法可以推广到缺失数字集上的自相似测度，这证明了其傅里叶分析技术的鲁棒性，不仅限于特定的三中点康托尔集情形。作者承认，尽管这些结果代表了显著进展，但对于 $0.052 \le \tau \le 1.429$ 的范围，该猜想仍然是一个开放问题。这项工作并不提出新的应用或实验框架，而是专注于推进度量丢番图逼近在分形上的理论理解。