[论文解读] The Asymptotic Statistics of Random Covering Surfaces

Michael Magee, Doron Puder|arXiv (Cornell University)|Mar 12, 2020

Stochastic processes and statistical mechanics被引用 5

一句话总结

该论文提出了一种新颖的方法，用于将表面群表示空间上的积分映射到对称群，从而实现对随机覆盖曲面中不动点统计量的渐近分析。研究证明，对于亏格 g ≥ 2 的曲面基本群中的非平凡元素 γ，其在随机 n 重覆盖下不动点数的期望值收敛于 d(q)，其中 q 是满足 γ 为 q 次幂的最大整数，且误差为 O(n⁻¹)，当 n → ∞ 时成立。

ABSTRACT

Let $Γ_{g}$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We develop a new method for integrating over the representation space $\mathbb{X}_{g,n}=\mathrm{Hom}(Γ_{g},S_{n})$ where $S_{n}$ is the symmetric group of permutations of $\{1,\ldots,n\}$. Equivalently, this is the space of all vertex-labeled, $n$-sheeted covering spaces of the the closed surface of genus $g$. Given $ϕ\in\mathbb{X}_{g,n}$ and $γ\inΓ_{g}$, we let $\mathsf{fix}_γ(ϕ)$ be the number of fixed points of the permutation $ϕ(γ)$. The function $\mathsf{fix}_γ$ is a special case of a natural family of functions on $\mathbb{X}_{g,n}$ called Wilson loops. Our new methodology leads to an asymptotic formula, as $n o\infty$, for the expectation of $\mathsf{fix}_γ$ with respect to the uniform probability measure on $\mathbb{X}_{g,n}$, which is denoted by $\mathbb{E}_{g,n}[\mathsf{fix}_γ]$. We prove that if $γ\inΓ_{g}$ is not the identity, and $q$ is maximal such that $γ$ is a $q$th power in $Γ_{g}$, then \[ \mathbb{E}_{g,n}[\mathsf{fix}_γ]=d(q)+O(n^{-1}) \] as $n o\infty$, where $d\left(q ight)$ is the number of divisors of $q$. Even the weaker corollary that $\mathbb{E}_{g,n}[\mathsf{fix}_γ]=o(n)$ as $n o\infty$ is a new result of this paper. We also prove that if $γ$ is not the identity then $\mathbb{E}_{g,n}[\mathsf{fix}_γ]$ can be approximated to any order $O(n^{-M})$ by a polynomial in $n^{-1}$.

研究动机与目标

• 开发一种新方法，用于对亏格 g ≥ 2 的曲面的 n 重覆盖曲面空间进行积分，该空间通过从基本群到对称群 Sₙ 的同态参数化。
• 分析在随机同态到 Sₙ 下，群元素 γ ∈ Γ₉ 的不动点数期望的渐近行为。
• 在表面群表示的背景下，建立威尔逊环期望的精确渐近公式，扩展自由群情形下的技术。
• 证明当 n → ∞ 时，期望 E₉,ₙ[fixγ] 收敛于 d(q)，其中 q 是 γ 在 Γ₉ 中作为 q 次幂的最大幂次。
• 证明期望可被任意阶 O(n⁻ᴹ) 的 n⁻¹ 的洛朗多项式逼近，从而提供完整的渐近展开。

提出的方法

• 引入铺砖曲面与核心曲面作为表示的组合模型，实现对连续表示论积分的离散逼近。
• 使用分解理论，将表示空间上固定点函数的期望分解为从核心曲面到铺砖曲面的同态贡献。
• 运用对称群的表示理论，特别是杨图、标准表和特征标理论，分析矩阵系数与不可约表示的维数。
• 使用 Pochhammer 符号 (n)ₖ 编码标记的组合计数，并将其与嵌入铺砖曲面的概率联系起来。
• 通过与对称群表示相关的 zeta 函数，以及关键量 Ξₙ(Wₕ) 的洛朗多项式逼近，推导渐近展开。
• 结合矩阵系数的界与共轭代数估计，控制误差项，并建立渐近展开中的收敛速率。

实验结果

研究问题

• RQ1 在亏格 g ≥ 2 的曲面的随机 n 重覆盖下，非平凡群元素 γ ∈ Γ₉ 的不动点数期望的渐近行为是什么？
• RQ2 渐近期望 E₉,ₙ[fixγ] 如何依赖于 γ 的代数结构，特别是其在基本群中作为幂次的阶？
• RQ3 期望 E₉,ₙ[fixγ] 是否可被任意阶 O(n⁻ᴹ) 的 n⁻¹ 的有理函数逼近？
• RQ4 使得 γ = γ₀^q 成立的最大 q 在决定 E₉,ₙ[fixγ] 的主导渐近项中起什么作用？
• RQ5 子群 J ≤ Γ₉ 的核心曲面的拓扑与组合性质如何影响不动点期望的渐近行为？

主要发现

• 对于任意非单位元 γ ∈ Γ₉，若 q 是满足 γ 在 Γ₉ 中为 q 次幂的最大整数，则当 n → ∞ 时，E₉,ₙ[fixγ] = d(q) + O(n⁻¹)，其中 d(q) 为 q 的正因数个数。
• 当 n → ∞ 时，期望 E₉,ₙ[fixγ] 为 o(n)，即使在较弱形式下，这也是新且非平凡的结果。
• 期望 E₉,ₙ[fixγ] 在 n⁻¹ 的幂次上具有完整的渐近展开，且所有系数均为有理数。
• 渐近展开的主导项由从 ⟨γ⟩ 的核心曲面到铺砖曲面的极大分辨率同态的数量决定，其值等于 d(q)。
• 对于有限生成子群 J ≤ Γ₉，E₉,ₙ[fixJ] 的渐近增长速率由极大分辨率分量的欧拉示性数决定，此类分量的数量为 |ℳ𝓞𝓖(J)|。
• 该方法可对期望实现任意阶 O(n⁻ᴹ) 的一致逼近，误差界通过矩阵系数的表示论估计与 Pochhammer 符号展开控制。