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

技術的要約：次元が1/2より大きいパターソン・スリヴァニ測度の定量的フーリエ減衰

問題設定
本論文は、凸共コンパクトなショットキー群 $\Gamma \subset \text{PSL}_2(\mathbb{R})$ に付随するパターソン・スリヴァニ（PS）測度に対して、定量的なフーリエ減衰を確立するという問題に取り組んでいる。$\Lambda_\Gamma$ を $\Gamma$ のリミットセット（限界集合）とし、これはハウスドルフ次元 $\delta \in (0, 1)$ を持つカントール集合である。PS測度 $\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$）を示すかどうかであり、特に $\eta$ を $\delta$ の関数として明示的に得られるかという点にある。

BourgainとDyatlov [13] による先駆的な成果は、和積定理（sum-product theorem）を用いて $\delta > 1/2$ の場合の減衰を確立した。その後の研究では、これらを高次元へと一般化したり、あるいは再生理論（renewal theory）、ドロゴニャト（Dolgopyat）法、または $L^2$ 平坦化（$L^2$ flattening）を用いた代替証明を提供したりしている。しかし、これらの手法は高度なメカニズムに依存しており、明示的かつ定量的な指数を得ることは依然として困難であった。

手法
著者らは、和積推定、再生理論、および $L^2$ 平坦化といったテクニカルなメカニズムを回避した、初等的な証明を提示している。その代わりに、以下の要素を組み合わせている：

1. 振動積分推定： Kaufman [18] によって導入され、Queffélec-Ramaré [36] や Jordan and Sahlsten [17] によってギブス測度に対して発展させられた手法を利用している。
2. 双曲幾何学： ショットキー群の作用の有界歪み特性（bounded distortion properties）と、リミットセットの構造を利用している。
3. 双対性の議論： 重要な革新は、「転置ショットキー群（transpose Schottky group）」$\Gamma^T$ の使用である。著者らは、証明に必要な非集中（non-concentration）推定を、$\Gamma^T$ のPS測度に関する問題へと書き換えている。これは「双対IFS（dual IFS）」の枠組み [11] に関連しており、システムの非線形性に対するより明確な幾何学的解釈を提供する。

議論の核心は、停止時間 $\tau$ によって定義されるシリンダー集合上の振動積分としてフーリエ変換を近似することにある。減衰は、これらの和の $L^2$ ノルムを推定することによって導かれる。証明は、群の元（group elements）の行列係数（$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$ の積分として表される。近似補題（Lemma 3.1）により、問題は $f$ およびその導関数の $L^2$ ノルムを抑えることに還元される。
• 非集中による $L^2$ 境界： $L^2$ ノルムは、単語 $a, b \in W_\tau$ に関する二重和へと展開される。位相関数は、群の作用の差 $\gamma_{a'}(x) - \gamma_{b'}(x)$ を含む。著者らは、臨界点の存在に基づいたケース分けを行い、これらの積分を抑えるために部分積分（Lemma 3.5）を適用する。
• 小さな差の計数： 境界は、行列係数の差（$|c_{a'} - c_{b'}|$ または $|d_{a'} - d_{b'}|$）がどれほど頻繁に小さくなるかに依存する。Lemma 3.8 は、転置群の測度の正則性（Lemma 2.9）から導かれる、これらの差に関する非集中境界を確立する。
• 最適化： 停止時間パラメータ $\tau$ と近似スケール $\eta$ を $|\xi|$ の関数として選択することで、得られた境界を最適化し、示された指数を達成する。

意義と範囲
本論文は、主にその初等的な性質と、得られた減衰指数の明示性において意義があるとしている。

• 初等的な証明： 著者らは、$\delta > 1/2$ の場合、和積理論や再生理論といった重厚なメカニズムは厳密には必要ではないことを示している。証明は、調和解析と双曲幾何学の標準的な道具に依拠している。
• 明示的な指数： 得られた指数は必ずしも最適ではないが（著者らは、より鋭い近似補題のために Queffélec-Ramaré の指数とはわずかに異なると述べている）、それは完全に明示的であり、抽象的な存在論的議論なしに導出されている。
• 限界： この手法は $\delta > 1/2$ に限定されている。著者らは、近似手順およびスケール $|\xi|^{-1/2}$ における振動積分推定が、この閾値を下回る場合には機能しないようであると指摘している。
• 拡張： 著者らは、この手法が放物型元（parabolic elements）を持つ幾何学的有限群（ここで $\delta \geq 1/2$）や、双対IFSに関する非線形条件を満たすアールフォース・レギュラー（Ahlfors-regular）な自己共形測度に対して拡張可能であることを示唆している（ただし、次元が特定の閾値を超える場合に限る）。

スペクトルギャップとの関係
本論文は、結果をフラクタル不確定性原理（Fractal Uncertainty Principle）の文脈で位置づけている。フーリエ減衰はラプラシアンのエッセンシャル・スペクトルギャップの改善を意味するものの、ここで導出された特定の指数は、$\delta$ が $1/2$ に近い場合であっても、Jakobson-Naud予想（$1/2 - \delta + \delta/2$ のギャップを予測するもの）を証明するには不十分であることを注記している。しかし、著者らは、自身の指数を改善することが、より良いスペクトルギャップの境界をもたらすと述べている。

要約すると、本論文は、複雑な組合せ論的および力学系的な道具の代わりに、初等的な振動積分テクニックと転置群を用いた双対性の議論を用いることで、$\delta > 1/2$ の場合のPS測度に対する定量的フーリエ減衰の簡潔で自己完結的な証明を提供している。