Fourier Dimension in Duffin--Schaeffer Conjecture

1. 研究问题 (Problem)

核心背景：
在度量丢番图逼近（Metric Diophantine Approximation）中，一个核心问题是研究满足特定逼近条件的实数集合的大小。通常使用勒贝格测度（Lebesgue measure）、豪斯多夫维数（Hausdorff dimension）和傅里叶维数（Fourier dimension）来衡量这些集合。

具体定义：
论文定义了一个集合 $W^*(\psi, \theta)$，包含所有满足以下条件的 $x \in [0, 1]$：
$$\left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q}$$
对无穷多对 $(p, q) \in \mathbb{Z} \times \mathbb{N}$ 成立，且满足互素条件 $\gcd(B_q p + A_q, q) = 1$。
其中：

• $\psi: \mathbb{N} \to [0, 1/2)$ 是逼近函数。
• $\theta: \mathbb{N} \to \mathbb{R}$ 是平移函数（非齐次项）。
• $\{A_q\}, \{B_q\}$ 是整数序列，满足 $\gcd(A_q, B_q)=1$ 且 $B_q > 0$。
• 该集合结构推广了经典的 Duffin-Schaeffer 猜想（当 $\theta=0, A_q=0, B_q=1$ 时）。

待解决问题：
确定集合 $W^*(\psi, \theta)$ 的傅里叶维数（Fourier dimension, $\dim_F$）。

• 傅里叶维数衡量了支撑在该集合上的概率测度的傅里叶变换衰减速度。
• 已知对于某些特定情况（如 $\tau$-可逼近集），该集合是 Salem 集（即傅里叶维数等于豪斯多夫维数），但对于一般的非齐次且带有互素约束的逼近函数，其傅里叶维数尚不清楚。
• 特别是，Chen 和 Xiong 曾提出猜想：在非齐次情况下，若满足特定发散条件，其傅里叶维数公式是否成立？该猜想此前仅在 $\theta$ 为有理数时得到部分验证。

2. 方法论 (Methodology)

论文通过构造具有特定傅里叶衰减性质的测度，并分析其支撑集的性质，分两步证明了傅里叶维数的上下界。

2.1 上界证明 (Upper Bound)

• 目标： 证明 $\dim_F W^*(\psi, \theta) \le 2s(\psi)$。
• 方法： 反证法结合 Borel-Cantelli 引理。
  1. 假设存在支撑在 $W^*(\psi, \theta)$ 上的概率测度 $\nu$，其傅里叶变换衰减速度为 $|\hat{\nu}(\xi)| \ll |\xi|^{-s}$，其中 $s > s(\psi)$。
  2. 利用 $W^*(\psi, \theta)$ 作为 $\limsup$ 集的结构，估计测度 $\nu$ 在逼近区间 $A_q$ 上的测度。
  3. 关键工具： 引入并证明了一个关于广义 Ramanujan 和的引理（Lemma 2.3）。该引理给出了在互素条件 $\gcd(B_q p + A_q, q)=1$ 下，指数和 $\sum e(-kp/q)$ 的上界估计（$\ll \gcd(q, k) \log q$）。
  4. 利用 Parseval 恒等式和该上界，证明在假设条件下，$\sum \nu(A_q) < \infty$。
  5. 根据第一 Borel-Cantelli 引理，这意味着 $\nu(W^*(\psi, \theta)) = 0$，与 $\nu$ 支撑在该集合上矛盾。从而得出上界。

2.2 下界证明 (Lower Bound)

• 目标： 证明 $\dim_F W^*(\psi, \theta) \ge \min\{2s(\psi), 1\}$。
• 方法： 构造法（Constructive Approach）。
  1. 测度构造： 构造一个概率测度 $\nu$，使其支撑在 $W^*(\psi, \theta)$ 上，且具有所需的傅里叶衰减。
  2. 密度函数迭代： 定义一系列密度函数 $g_M$，这些函数是平滑核函数 $f$ 的平移和的加权平均。利用 Poisson 求和公式分析其傅里叶系数。
  3. Ramanujan 和的应用： 在估计 $g_M$ 的傅里叶系数时，再次利用 Lemma 2.3 处理互素条件带来的指数和项。
  4. 递归选择： 选取一个递增的整数序列 $\{M_k\}$，使得密度函数的乘积序列 $h_0 g_{M_1} \cdots g_{M_k}$ 收敛到一个极限测度 $\nu$。
  5. 稳定性引理： 利用 Lemma 2.7 证明，通过适当选择 $M_k$，可以保证极限测度的傅里叶变换满足 $|\hat{\nu}(\xi)| \ll |\xi|^{-(\eta-\varepsilon)}$，其中 $\eta$ 可以任意接近 $s(\psi)$。
  6. 由此得出傅里叶维数的下界。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 主要定理 (Theorem 1)

设 $\psi: \mathbb{N} \to [0, 1/2)$ 是任意函数，且满足收敛条件：
$$\sum_{q \in \mathbb{N}} \psi(q) \prod_{p|q, p \nmid B_q} (1 - p^{-1}) < \infty$$
则集合 $W^*(\psi, \theta)$ 的傅里叶维数为：
$$\dim_F W^*(\psi, \theta) = \min\{2s(\psi), 1\}$$
其中 $s(\psi) = \inf \{ s \ge 0 : \sum_{q=1}^\infty (\frac{\psi(q)}{q})^s < \infty \}$。

3.2 理论突破

1. 完全的非齐次推广： 该结果不仅恢复了 Kaufman 和 Bluhm 关于齐次情形（$\theta=0, \psi(q)=q^{-\tau}$）的经典结论，还首次给出了**完全的非齐次（inhomogeneous）**情形下的傅里叶维数公式。
2. 解决 Chen-Xiong 猜想： 论文以肯定方式解决了 Chen 和 Xiong 关于互素形式（coprime formulation）的猜想。此前该猜想仅在 $\theta$ 为有理数时部分成立，本文证明了对于任意实数 $\theta$（甚至依赖于 $q$ 的函数 $\theta(q)$），只要满足互素约束，维数公式依然成立。
3. 互素约束的处理： 论文成功处理了 $\gcd(B_q p + A_q, q) = 1$ 这一复杂的算术约束。这是 Cai 和 Hambrook 之前的方法无法直接适用的地方，因为他们的下界估计在引入互素条件后会变得过弱。本文通过改进 Ramanujan 和的估计和构造新的测度序列，克服了这一困难。

3.3 技术细节

• 证明了在互素条件下，Ramanujan 和的估计依然具有足够的控制力（$\ll \gcd(q, k) \log q$），这对于处理非齐次项和互素约束至关重要。
• 展示了即使在收敛条件（3）比传统 Duffin-Schaeffer 条件更弱的情况下，傅里叶维数的公式依然保持形式不变。

4. 意义与影响 (Significance)

1. 连接调和分析与数论： 傅里叶维数是连接调和分析（傅里叶衰减）与度量数论（集合大小）的关键桥梁。本文结果加深了对具有算术约束的 Fractal 集合结构的理解。
2. Salem 集构造： 该结果表明，在满足特定发散条件时，$W^*(\psi, \theta)$ 是 Salem 集（即 $\dim_F = \dim_H$）。这为构造确定性的 Salem 集提供了新的、更广泛的例子，解决了非平凡确定性分形 Salem 集难以构造的问题。
3. 应用前景： 具有正傅里叶维数的集合与分形上的正规数（normal numbers）存在深刻联系。此外，该结果有助于发展分形上的乘性、同时丢番图逼近理论以及扭曲丢番图逼近（twisted Diophantine approximation）。
4. 方法论的推广： 论文中处理互素约束和构造测度的方法，有望推广到乘性丢番图逼近和加权逼近等更复杂的场景中。

总结：
这篇论文通过精细的测度构造和数论估计，彻底解决了带有互素约束的非齐次 Duffin-Schaeffer 型集合的傅里叶维数问题，不仅推广了经典理论，还解决了长期存在的猜想，是度量数论与调和分析交叉领域的重要进展。