Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$

技术摘要：维数大于 1/2 的 Patterson-Sullivan 测度的定量傅里叶衰减

问题陈述
本文旨在解决建立与凸紧 Schottky 群 $\Gamma \subset \text{PSL}_2(\mathbb{R})$ 相关联的 Patterson-Sullivan (PS) 测度的定量傅里叶衰减问题。令 $\Lambda_\Gamma$ 为 $\Gamma$ 的极限集，它是一个 Hausdorff 维数为 $\delta \in (0, 1)$ 的 Cantor 集。$\mu$ 是支持在 $\Lambda_\Gamma$ 上的唯一 $\delta$-共形概率测度。核心问题在于傅里叶变换 $\hat{\mu}(\xi) = \int e^{-2\pi i \xi x} d\mu(x)$ 是否表现出多项式衰减，即 $|\hat{\mu}(\xi)| \lesssim |\xi|^{-\eta}$，其中 $\eta > 0$，并且具体而言，能否获得一个作为 $\delta$ 函数的显式指数 $\eta$。

Bourgain 和 Dyatlov [13] 通过 sum-product 定理为 $\delta > 1/2$ 的情况建立了此类衰减，这构成了先前的突破。随后的研究通过更新理论（renewal theory）、Dolgopyat 方法或 $L^2$ 平坦化（$L^2$ flattening）对该结果进行了推广或提供了替代证明。然而，这些方法依赖于复杂的数学工具，且获得显式的、定量的指数仍然具有挑战性。

方法论
作者提出了一个初等证明，避免了使用 sum-product 估计、更新理论和 $L^2$ 平坦化等复杂技术。相反，该证明结合了：

1. 振荡积分估计： 利用由 Kaufman [18] 引入并由 Queffélec-Ramaré [36] 以及 Jordan 和 Sahlsten [17] 针对 Gibbs 测度进行发展的技术。
2. 双曲几何： 利用 Schottky 群作用的有界畸变性质以及极限集的结构。
3. 对偶论证： 一个关键的创新是使用了“转置 Schottky 群” $\Gamma^T$。作者将证明中所需的非集中性估计（non-concentration estimates）重新表述为关于 $\Gamma^T$ 的 PS 测度的估计。这与“对偶 IFS”框架 [11] 相关，并为系统的非线性提供了更清晰的几何解释。

核心论证过程包括通过由停止时间 $\tau$ 定义的柱集（cylinder sets）来逼近傅里叶变换。衰减是通过估计这些和的 $L^2$ 范数推导出来的。证明依赖于对矩阵系数比值 ($c_a/d_a$) 的“非集中性估计”，该估计是通过转置群的 $\delta$-正则性证明的。

主要贡献与结果
主要结果是 定理 1，它为 $\delta > 1/2$ 提供了显式的幂律衰减指数：

$$|\hat{\mu}(\xi)| \leq C |\xi|^{-\eta}, \quad \text{其中} \quad \eta = \frac{\delta(2\delta-1)}{(2\delta+1)(3-\delta)}.$$

证明过程通过以下步骤进行：

• 归约为振荡积分： 傅里叶变换被表示为一个由群作用构造的函数 $f$ 的积分。一个逼近引理（引理 3.1）将问题简化为对 $f$ 及其导数的 $L^2$ 范数的估计。
• 通过非集中性进行 $L^2$ 估计： $L^2$ 范数被展开为一个关于单词 $a, b \in W_\tau$ 的双重求和。相位函数涉及群作用的差值 $\gamma_{a'}(x) - \gamma_{b'}(x)$。作者应用分部积分（引理 3.5）来估计这些积分，并根据是否存在临界点进行分类讨论。
• 计数微小差异： 估计取决于矩阵系数之差（$|c_{a'} - c_{b'}|$ 或 $|d_{a'} - d_{b'}|$）在多大程度上较小。引理 3.8 建立了这些差异的非集中性估计，该估计源自转置群测度的正则性（引理 2.9）。
• 优化： 通过选择停止时间参数 $\tau$ 和逼近尺度 $\eta$ 作为 $|\xi|$ 的函数，作者优化了所得的界限以实现所述指数。

意义与范围
本文的显著性主要体现在其初等性质和衰减指数的显式性上。

• 初等证明： 作者证明了对于 $\delta > 1/2$，使用 sum-product 理论和更新理论等重型工具并非严格必要。该证明依赖于调和分析和双曲几何中的标准工具。
• 显式指数： 虽然获得的指数不一定是最佳的（作者指出由于使用了更精细的逼近引理，该指数与 Queffélec-Ramaré 的指数略有不同），但它是完全显式的，且是在没有抽象存在性论证的情况下推导出来的。
• 局限性： 该方法受限于 $\delta > 1/2$。作者指出，在尺度 $|\xi|^{-1/2}$ 下的逼近程序和振荡积分估计似乎无法在此阈值以下发挥作用。
• 扩展： 作者建议该方法可推广到具有抛物元（parabolic elements）的几何有限群（其中 $\delta \geq 1/2$），以及满足对偶 IFS 非线性条件的 Ahlfors-正则自共形测度（只要其维数超过特定阈值）。

与谱间隙的关系
本文将该结果置于分形不确定性原理（Fractal Uncertainty Principle）的背景下进行讨论。作者指出，虽然傅里叶衰减意味着拉普拉斯算子的本质谱间隙（essential spectral gap）有所改善，但此处推导出的特定指数不足以证明 Jakobson-Naud 猜想（该猜想预测间隙为 $1/2 - \delta + \delta/2$），即使在 $\delta$ 接近 $1/2$ 时也是如此。然而，作者表示，改进其指数将产生更好的谱间隙界限。

综上所述，本文为 $\delta > 1/2$ 的 PS 测度的定量傅里叶衰减提供了一个精简、自洽的证明，利用基于转置群的对偶论证和振荡积分技术，取代了复杂的组合与动力系统工具。