[論文レビュー] Fractal Uncertainty Principle with Explicit Exponent

Long Jin, Ruixiang Zhang|arXiv (Cornell University)|Sep 30, 2017

Mathematical Dynamics and Fractals参考文献 11被引用数 3

ひとこと要約

本稿は、Hausdorff次元δと正則性定数C_Rに依存する、Ahlfors-David正則集合上のフーリエ変換におけるフラクタル不確実性原理の有効的で明示的な指数βを確立する。主な結果として、凸コアコンパクトな双曲的表面およびオープンな量子ベーカー写像におけるスペクトルギャップの二重指数的下界を確立し、量子カオスにおける有効的スペクトルギャップに関する未解決問題を解決する。

ABSTRACT

We prove an explicit formula for the dependence of the exponent in the fractal uncertainty principle of Bourgain-Dyatlov on the dimension and on the regularity constant for the regular set. In particular, this implies an explicit essential spectral gap for convex co-compact hyperbolic surfaces when the Hausdorff dimension of the limit set is close to 1.

研究の動機と目的

• Hausdorff次元δと正則性定数C_Rに依存する、フラクタル不確実性原理の指数βの有効的で定量的な依存関係を提供すること。
• Bourgain–Dyatlovのフラクタル不確実性原理における元の定式化における明示的バウンドの欠如を解消し、指数βを計算可能にする。
• δが1に近い場合に、凸コアコンパクトな双曲的表面に対して明示的な本質的スペクトルギャップを確立すること。
• オープンな量子ベーカー写像に有効なバウンドを拡張し、それらを下位のカントール集合の幾何学的性質に関連付けること。
• Beurling–Malliavin乗数定理の洗練されたバージョンを用いた、構成的で背理法に依存しない証明により、先行研究を改善すること。

提案手法

• Hilbert変換のlog ωにLipschitz条件を課すことで、log ω自体に条件を課えるのではなく、Beurling–Malliavin乗数定理の変種を用いて有効なバウンドを達成する。
• フラクタル集合上のフーリエ変換の減衰を制御する、乗数定理の有効版（定理3.2）を導出する。
• 証明は、整関数のCartwrightクラスとCauchy積分に注目した、Beurling–Malliavin理論の定量的精錬に依存する。
• Bourgain–Dyatlovが用いた背理法に基づく議論を避けることで、δおよびC_Rに明示的な依存関係を実現する。
• この構成はフーリエ積分作用素に適用され、その後双曲的表面上のラプラシアンのリゾルベントに適用される。
• スペクトルギャップは、切り出しリゾルベント推定と、フラクタル不確実性原理と埋め込まれた固有値の不在との関係を通じて導出される。

実験結果

リサーチクエスチョン

• RQ1 Ahlfors-David正則集合に対して、フラクタル不確実性原理の指数βがHausdorff次元δと正則性定数C_Rにどのように依存するか？
• RQ2 洗練された乗数定理を用いて、背理法に依存しない有効的で明示的なフラクタル不確実性原理の証明を構築できるか？
• RQ3 δが1に近い場合に、凸コアコンパクトな双曲的表面の本質的スペクトルギャップの大きさはどの程度か？
• RQ4 オープンな量子ベーカー写像のスペクトルギャップは、ベースMとアルファベットサイズ|A|にどのように依存するか？
• RQ5 有効なスペクトルギャップを、特に特殊な数列N = M^kの場合に、先行研究と定量的に比較できるか？

主な発見

• 本稿は、フラクタル不確実性原理の明示的指数β = exp[−exp(K(C_R δ^{-1}(1−δ)^{-1})^{K(1−δ)^{-2}})]を確立する。Kは普遍定数である。
• 凸コアコンパクトな双曲的表面に対して、本質的スペクトルギャップはβ_M = exp[−exp(K(C_R δ^{-1}(1−δ)^{-1})^{K(1−δ)^{-3}})]で下から抑えられ、−β_Mより上に有限個の共振状態しか存在しない。
• このような表面におけるラプラシアンの切り出しリゾルベント推定は、スペクトルパラメータλに関して一様に成り立ち、|Reλ| ≥ C₀の下で|λ|^{-1−2min(0,Imλ)+ε}の減衰率を示す。
• δ ≤ 1/2の場合、オープンな量子ベーカー写像のスペクトルギャップはβ ≥ 1/2 − δ + (40M^{3δ})^{-160/(δ(1−δ))}を満たし、圧力ギャップよりも多項式的改善を示す。
• δ ≥ 1/2の場合、スペクトルギャップはβ ≥ exp[−exp(KM^{K(1−δ)^{-2}})]で下から抑えられ、自明なギャップβ = 0に比べて二重指数的改善が得られる。
• Dyatlov–Jinの先行研究を改善し、特殊な数列N = M^kに対してはβ ≥ 1/2 − δ + 1/(K M^8 log M)およびβ ≥ exp[−M^{δ/(1−δ)+o_M(1)}]が得られ、このような数列に対してはより強いバウンドが得られる。