Dirichlet-Constrained Random Operators and Quenched Reflection Quantum Walks: Tree Spectra and Poisson Criticality at High Degree

技术摘要：狄利克雷约束随机算子与淬火反射量子行走

问题陈述
本文研究了定义在 $d$-正则图上的随机自伴算子的谱性质，其中边权重通过局部归一化约束相互耦合。具体而言，在每个顶点 $v$ 处，一个随机概率向量 $X_v \sim \text{Dirichlet}(\alpha, \dots, \alpha)$ 将单位质量分配给 $d$ 个出边。这种构造定义了边权重 $T_{v,u} = \sqrt{X_{v,u}X_{u,v}}$，模拟了一种“淬火”（quenched）反射量子行走，其中环境（狄利克雷向量）被采样一次后即固定。核心问题是，由狄利克雷约束引起的局部依赖关系，如何影响当度数 $d$ 趋于无穷大时算子的谱行为，特别是与独立边权重模型相比的情况。

方法论
作者结合使用了局部弱收敛、闭路展开（closed-walk expansions）以及递归分布方程。

1. 局部弱收敛： 对于局部类树（locally tree-like）的图序列，判别算子的经验谱测度几乎处处收敛到一个确定性测度 $\mu_{d,\alpha}$，即“树律”（tree law），它是无限 $d$-正则树上指定随机环境下的期望谱测度。
2. 闭路演算： 通过对树上长度为 $2k$ 的所有闭路进行权重求和来计算极限树律的矩。狄利克雷约束在每个顶点引入了混合矩，这些矩利用上升阶乘（rising factorials）进行了显式计算。这种方法考虑了单个顶点处相连边之间的依赖关系。
3. 高阶度数缩放： 作者分析了缩放测度 $(\sqrt{d} \cdot)_\# \mu_{d,\alpha}$ 当 $d \to \infty$ 时的渐近行为。他们确定，其行为受参数 $\tau_d = d\alpha_d^2$ 控制。
4. 泊松加权树： 在临界状态下，极限律可以用泊松加权树上的算子的期望根谱测度来表示，其边权重遵循特定的贝塞尔-列维（Bessel-Lévy）强度。
5. 递归不动点： 作者通过在随机解析函数空间中使用 Wasserstein 度量中的收缩映射证明了格林函数（resolvent）定律的唯一性，从而求解了一个腔体递归方程（cavity recursion equation）。

主要结果

• 固定度数（$d$ 固定，$\alpha$ 固定）：

  • 极限谱测度 $\mu_{d,\alpha}$ 几乎处处在 $[-1, 1]$ 上有支撑。这是通过构造“稀有路径”证明的，在这些路径中，内部边权重接近 $1/2$，从而在整个区间内创建了近似特征向量。
  • 当 $\alpha \to 0$（强无序）时，该分布收敛到 $\{-1, 0, 1\}$ 上的三点质量分布。
  • 当 $\alpha \to \infty$（弱无序）时，它收敛到无权正则树的归一化 Kesten–McKay 律。

• 高阶度数状态（$d \to \infty$）：
  缩放后的测度行为取决于 $\tau_d = d\alpha_d^2$ 的极限：

  1. 半圆律状态（$\tau_d \to \infty$）： 如果 $d\alpha_d^2 \to \infty$，则缩放后的律弱收敛于标准半圆律。
  2. 临界状态（$\tau_d \to \tau \in (0, \infty)$）： 如果 $d\alpha_d^2 \to \tau$，则极限是一个非半圆律 $\mu_\tau$。该律是泊松加权树上算子的期望根谱测度，其边权重服从贝塞尔强度 $L_\tau(dy) = 2\tau y^{-1} K_0(2\sqrt{\tau y}) dy$。$\mu_\tau$ 的矩是关于 $\tau^{-1}$ 的显式多项式。
  3. 亚临界状态（$\tau_d \to 0$）： 如果 $d\alpha_d^2 \to 0$，缩放后的律弱收敛于零点质量（$\delta_0$）。然而，二阶矩保持为 1，表明谱质量通过“逃逸”到了无穷远处。

• 逃逸的谱能量：
  在亚临界状态（$d\alpha_d^2 \to 0$）下，作者分析了“谱能量偏置”律，该律通过以特征值的平方进行加权并由 $s_d = 1 + d\alpha_d$ 进行缩放得到。该偏置律收敛到一个极限 $\pi_\theta$（其中 $\theta = \lim d\alpha_d$）。对于有限的 $\theta \in [0, \infty)$，极限由 Beta 变量的乘积特征化（具体涉及 $\chi(1 + \theta)\sqrt{B_\theta B'_\theta}$，其中 $B_\theta, B'_\theta \sim \text{Beta}(1, \theta)$）。在端点 $\theta = \infty$ 处，极限由独立均值为一的指数变量的乘积特征化（具体为 $\chi\sqrt{EE'}$）。这一族函数恢复了“逃逸”的二阶矩。

• 量子行走特征相位：
  论文将判别谱与相关量子走行的幺正谱联系起来。研究表明，中心化并缩放后的继承特征相位与判别特征值具有相同的的高阶分类和一致逼近性，其 Wasserstein 距离误差为 $O(d^{-1/2})$（在具有有界四阶矩的机制下可提高至 $O(d^{-1})$）。

• 一致逼近：
  由参数 $\tau = d\alpha^2$ 索引的单一族极限律，为缩放后的树律提供了一个关于 $\alpha > 0$ 的一致的一阶 Wasserstein 逼近。该族函数连续插值于亚临界坍缩、临界贝塞尔-泊松律以及半圆律之间。

意义与主张
本文声称提供了在高阶极限下，具有狄利克雷耦合边权重的随机算子的谱极限的首次完整分类。

• 它识别了两个截然不同的缩放机制：标准的方差缩放（由 $d\alpha^2$ 控制）和用于捕捉亚临界坍缩中谱质量的能量偏置缩向（由 $d\alpha$ 控制）。
• 它建立了狄利克雷约束算子与具有贝塞尔强度的泊松加权树之间的全新联系，为临界律提供了显式的算子表示。
• 结果表明，局部依赖关系（通过狄利克雷约束）从根本上改变了与独立边模型相比的谱转变，阻止了半圆律的立即出现，并引入了一个丰富的临界律族。
• 该工作为理解“淬火”无序如何影响量子走行的谱性质提供了一个定量框架，特别展示了结构原子在 $\pm 1$ 处主导了完整的幺正律，而继承部分则遵循判别算子的高阶转变。

作者指出，这些结果通过附录中推导出的显式分数矩和递归腔体方程，为研究谱类型（定域化 vs. 去定域化）开辟了道路。