Optimal expansion in unitary groups I: Golden adelic groups and cutoff

技术摘要：酉群中的最优扩张 I：黄金阿代尔群与截止现象

问题陈述
本文探讨了算术几何、表示论与量子计算交叉领域中两个相互关联的问题。首先，研究旨在构造投影酉群 ($PU_n$) 中作用于其相应 Bruhat-Tits 建筑（Bruhat-Tits buildings）的 $p$-算术格（$p$-arithmetic lattices）且具有传递性。这些群对于构建“黄金门集”（Golden Gate sets）至关重要，该集合为量子门提供了一组生成集，能够实现高效且近乎最优的量子线路编译。其次，本文研究了 Bruhat-Tits 建筑商在随机游走过程中的“截止现象”（cutoff phenomenon，即混合时间中的剧烈转变）。虽然 Ramanujan 性质（朴素 Ramanujan 猜想，NRC）保证了某些群（如 $U_2$）具有截止现象，但已知对于矩阵酉群 $U_n$ ($n \ge 3$)，该性质会失效。作者旨在通过较弱的 Sarnak-Xue 密度假设（SXDH）来建立截止现象，该假设限制了非正则表示（non-tempered representations）的密度。

方法论
作者结合了算术群论、Bruhat-Tits 建筑理论以及 Hecke 算子的谱分析。

1. 算术构造： 为了证明具有类数 1（class number one）的 $p$-算术群的存在性（此类群对建筑具有传递作用），作者采用了两种不同的技术：

   • Siegel-Prasad 体积公式： 他们使用 Tamagawa 测度计算算术群的质量（mass），并将其与整数上的群规模进行比较。如果质量等于群规模的倒数，则类数为 1。
   • 强近似与“一对于全”（Strong Approximation and "One-for-All"）： 他们利用强近似定理证明，如果一个子群在建筑的顶点上具有传递性，则该群具有类数 1。这涉及统计特定同余类中的元素，并将其与建筑的度数联系起来。

2. Bruhat-Tits 理论： 本文高度依赖于半单 $p$-进群的 Bruhat-Tits 建筑结构。它利用了 Cartan 和 Iwahori 分解，以及 parahoric 和 Iwahori 子群的结构，并研究了这些群在建筑的腔室（chambers）和顶点上的作用。作者专门分析了面（faces）的稳定子以及群在这些结构上的传递性。

3. Hecke 算子的谱界限： 一个核心的技术贡献是推导作用在酉不可约表示上的 Hecke 算子算子范数的上界。作者根据集合 $S$ 的大小和表示 $\pi$ 的矩阵系数衰减率 $\sigma(\pi)$，对范数 $\|1_{PSP} | \pi_P \|_{op}$ 进行估计。这将其推广到了更广泛的紧开子群 $P$ 和集合 $S$。

4. 截止分析： 作者分析了几何算子（如邻接算子的幂）在 Bruhat-Tits 建筑有限商上的混合时间。他们将商的 $L^2$ 空间分解为不可约表示。通过将 Hecke 算子的谱界限与 SXDH（用于限制非正则表示的贡献）以及谱间隙假设相结合，他们证明了到平稳分布的全变分距离会在特定时间发生剧烈下降。

主要贡献与结果

• 黄金阿代尔群的构造：

  • 作者构造了 $PU_4$ 和 $PU_8$ 中具有类数 1 的显式 $p$-算术子群示例。这些群在 $PU_4(\mathbb{Q}_p)$ 的 Bruhat-Tits 建筑顶点上具有单传递作用（对于特定的素数 $p$）。
  • 这些构造扩展了 Lubotzky, Phillips, 和 Sarnak (LPS) 的开创性工作到更高维。具体而言，本文提供了必要的算术基础（$PU_4$ 和 $PU_8$ 中的类数 1 群），以构造用于 2-qubit ($PU_4$) 和 3-qubit ($PU_8$) 系统的“黄金门集”。
  • 本文提出了基于二次虚二次域（$\mathbb{Q}[\sqrt{-1}], \mathbb{Q}[\sqrt{-2}], \mathbb{Q}[\sqrt{-3}], \mathbb{Q}[\sqrt{-7}]$）上 $E_8$ 格子的新示例，以及涉及非拟分裂群（nonquasisplit groups，其建筑为树）的构造。利用这些算术群结合 SXDH 结果来完成 2 比特和 3 比特黄金门集的完整构造，是在配套论文 [DEP] 中完成的。

• SXDH 下的截止现象：

  • 本文证明，如果一个 Bruhat-Tits 建筑的族满足 Sarnak-Xue 密度假设（SXDH）和谱间隙性质，则该族表现出截止现象。
  • 这一结果将以往针对 Ramanujan 复形（需要更强的 NRC）的截止定理推广到了更广泛的群类，在这些类中 NRC 会失效。
  • 混合时间被证明为 $t(n) = \log_d(n)$，其中 $d$ 是几何算子的指数增长率，且截止窗口为 $w(n) = o(t(n))$。

• 谱界限：

  • 定理 5.3 提供了一个关于 Hecke 算子算子范数的通用界限：$\|1_{PSP} | \pi_P \|_{op} \ll (\log |S|)^{C+d} |S|^{\frac{\sigma-1}{\sigma}}$。当 Ramanujan 性质不成立时，该界限对于控制混合时间分析中的误差项至关重要。

意义

作者声称其意义主要体现在两个领域：

1. 量子计算： 所构造的 $PU_4$ 和 $PU_8$ 中的 $p$-算术子群为构造 2 比特和 3 比特“黄金门集”提供了必需的算术组件。这些集合在电路长度方面是优化的，并具有高效的编译算法。这扩展了算术群论在更高维度的通用量子计算中的适用性，此前该领域主要局限于 $PU(2)$ 的构造。通过将本文的结果与针对酉群的 SXDH 证明相结合，配套论文 [DEP] 完成了这些门集的实际构造。

2. 扩张的数学理论： 本文确立了即使在朴素 Ramanujan 猜想失效的情况下，截止现象依然具有鲁棒性。通过用 SXDH 取代 NRC，作者为理解一般半单 $p$-进群的 Bruhat-Tits 建筑商的扩张性质提供了一个框架。这弥合了 Ramanujan 图/复形理论与更广泛的算术群景观（其中非正则表示是不可避免的）之间的鸿沟。

作者指出，配套论文 [DEP] 利用这些结果证明了 4 维和 8 维确定性代数酉群的 SXDH，从而完成了黄金门集的构造，并证明了相关实李群的近乎最优覆盖性质。