[论文解读] Extension of Alon's and Friedman's conjectures to Schottky surfaces

Michael Magee, Frédéric Naud|arXiv (Cornell University)|Jun 4, 2021

Mathematical Dynamics and Fractals参考文献 29被引用 4

一句话总结

该论文将阿隆和弗里德曼关于随机图中最佳谱间隙的猜想扩展至施托基面——即具有共(compact)富克斯群的无限面积双曲面。通过随机覆盖空间与转移算子技术，证明了在高阶覆盖下，任意紧区域 $\{\operatorname{Re}(s) > \delta/2\}$ 内的共振集与基面的共振集以高概率一致，表明该区域内未出现新共振，从而实现最优谱间隙行为。

ABSTRACT

Let $X=Λ\backslash\mathbb{H}$ be a Schottky surface, that is, a conformally compact hyperbolic surface of infinite area. Let $δ$ denote the Hausdorff dimension of the limit set of $Λ$. We prove that for any compact subset $\mathcal{K} \subset\{\,s\,:\,\Re(s)>\fracδ{2}\,\}$, if one picks a random degree $n$ cover $X_{n}$ of $X$ uniformly at random, then with probability tending to one as $n o\infty$, there are no resonances of $X_{n}$ in $\mathcal{K}$ other than those already belonging to $X$ (and with the same multiplicity). This result is conjectured to be the optimal one for bounded frequency resonances and is analogous to both Alon's and Friedman's conjectures for random graphs, which are now theorems due to Friedman and Bordenave-Collins, respectively.

研究动机与目标

• 将阿隆关于随机图中最佳谱间隙的猜想扩展至施托基面的设定。
• 研究典型随机有限覆盖在临界区域 $\operatorname{Re}(s) > \delta/2$ 是否继承基面的无共振性质。
• 建立当度数 $n \to \infty$ 时，以高概率在 $\operatorname{Re}(s) > \delta/2$ 的任意紧子集内，随机覆盖 $X_n$ 的共振集与基面 $X$ 的共振集一致。
• 利用转移算子与覆盖空间上的概率方法，建立类似于随机图中已知谱间隙结果的双曲几何类比。

提出的方法

• 通过随机置换与群表示建模施托基面 $X$ 的随机度 $n$ 覆盖。
• 应用转移算子形式化分析关联图上非回溯路径的动力学。
• 利用博登瓦的路径分解方法，将转移算子的谱半径与覆盖图上的非回溯算子联系起来。
• 采用高阶迹法控制预解算子的矩，并控制覆盖空间上预解算子的范数。
• 应用马尔可夫不等式与随机置换的概率估计，证明转移算子的谱半径以高概率保持远离 1。
• 在复平面上的紧集上使用网论证，将局部有界性推广为整个区域 $\operatorname{Re}(s) > \delta/2$ 上的一致有界性。

实验结果

研究问题

• RQ1 典型施托基面的有限覆盖是否在区域 $\operatorname{Re}(s) > \delta/2$ 内继承基面的无共振性质？
• RQ2 随机图中观察到的谱间隙行为能否推广至无限面积双曲面？
• RQ3 $\operatorname{Re}(s) > \delta/2$ 的界限是否为避免随机覆盖中出现新共振的最优界限？
• RQ4 当度数 $n \to \infty$ 时，随机覆盖的共振集的渐近行为如何？

主要发现

• 对任意紧集 $\mathcal{K} \subset \{s : \operatorname{Re}(s) > \delta/2\}$，随机度 $n$ 覆盖 $X_n$ 的共振集满足 $\mathcal{P}(\mathcal{R}_{X_n} \cap \mathcal{K} = \mathcal{R}_X \cap \mathcal{K}) \to 1$ 当 $n \to \infty$。
• 结果表明，以高概率在 $\operatorname{Re}(s) > \delta/2$ 区域内未出现新共振，意味着典型覆盖具有最优谱间隙。
• 证明表明，覆盖空间上转移算子的谱半径在 $\operatorname{Re}(s) > \delta/2$ 区域内保持远离 1，从而防止新共振的出现。
• 该方法给出了虚假共振概率的定量界，衰减速度为 $O(n^{-\alpha})$，其中 $\alpha > 0$ 依赖于基面的几何结构。
• 该结果在最优性意义上成立，其与雅各布森与诺德所猜想的谱间隙极限 $\delta/2$ 完全一致。