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$ 個の放出エッジに単位質量を分配する。エッジの重みは、隣接する頂点 $u$ と $v$ の間で $T_{v,u} = \sqrt{X_{v,u}X_{u,v}}$ と定義される。この構成は、「クエンチされた（quenched）」反射量子ウォークをモデル化しており、そこでは環境（ディリクレ・ベクトル）が一度サンプリングされ、固定される。中心的な問いは、ディリクレ制約によって誘起される局所的な依存性が、次数 $d$ が増大するにつれて、独立したエッジ重みを持つモデルと比較して、作用素のスペクトル挙動にどのような影響を与えるかである。

手法
著者らは、局所弱収束、閉路展開、および再帰的分布方程式を組み合わせて用いている。

1. 局所弱収束： 局所的に木に近いグラフの列に対して、経験的スペクトル測度は、決定論的な測度 $\mu_{d,\alpha}$（「ツリーの法則（tree law）」）へとほとんど確実に収束する。これは、指定されたランダム環境を持つ無限 $d$ 正則木の根における期待スペクトル測度である。
2. 閉路計算（Closed-Walk Calculus）： ツリーの法則のモーメントは、木上の長さ $2k$ の閉路の重みの総和によって計算される。ディリクレ制約は、各頂点における混合モーメントを導入し、これらは上昇階乗冪（rising factorials）を用いて明示的に計算される。このアプローチは、単一の頂点における隣接エッジ間の依存性を考慮に入れている。
3. 高次数のスケーリング： 著者らは、再スケーリングされた測度 $(\sqrt{d} \cdot)_\# \mu_{d,\alpha}$ の漸近挙動を分析している。彼らは、その挙動がパラメータ $\tau_d = d\alpha_d^2$ によって支配されることを特定している。
4. ポアソン重み付き木： 臨界領域において、極限法則は、エッジの重みが特定のベッセル・レヴィ強度に従うポアソン重み付き木の期待根スペクトル測度として表現される。
5. 再帰的固定点： 著者らは、ランダムな解析関数におけるワッサースタイン距離を用いた縮小写像の議論を通じて、グリーン関数（レゾルベント）の法則の一意性を確立し、キャビティ再帰方程式を解いている。

主要な結果

• 固定次数（$d$ 固定、$\alpha$ 固定）：

  • 極限スペクトル測度 $\mu_{d,\alpha}$ は、ほとんど確実に区間 $[-1, 1]$ に台を持つ。これは、内部のエッジの重みが $1/2$ に近い「稀なパス」を構成することで、区間全体に近似的な固有ベクトルを作り出すことを示すことで証明されている。
  • $\alpha \to 0$ （強い無秩序）の場合、法則は $\{-1, 0, 1\}$ 上の3点質量へと収束する。
  • $\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$ へと弱収束する。しかし、第2モーメントは1のままであり、これはスペクトルの質量が分散を伴って「逃げ出している（escapes）」ことを示している。

• 逃げ出したスペクトルエネルギー：
  劣臨界領域（$d\alpha_d^2 \to 0$）において、著者らは、スペクトルの質量を固有値の二乗で重み付けし、$s_d = 1 + d\alpha_d$ で再スケーリングした「スペクトルエネルギー偏重（spectral-energy-biased）」の法則を分析している。この偏重された法則は、極限 $\pi_\theta$ （ここで $\theta = \lim d\alpha_d$）へと収束する。有限の $\theta \in [0, \infty)$ に対して、極限はベータ変数の積（具体的には $\chi(1 + \theta)\sqrt{B_\theta B'_\theta}$ であり、$B_\theta, B'_\theta \sim \text{Beta}(1, \theta)$）によって特徴付けられる。端点 $\theta = \infty$ において、極限は独立な平均1の指数分布の積（具体的には $\chi\sqrt{EE'}$）によって特徴付けられる。このファミリーは、逃げ出した第2モーメントを回収する。

• 量子ウォークの固有位相：
  本論文は、判別子（discriminant）のスペクトルと、関連する量子ウォークのユニタリ・スペクトルとの関係を述べている。彼らは、中心化および再スケーリングされた継承された固有位相が、判別子の固有値と同じ高次分類および一様近似を共有することを示しており、そのワッサースタイン距離の誤差は $O(d^{-1/2})$ である（第4モーメントが有界な領域では $O(d^{-1})$ に改善される）。

• 一様近似：
  パラメータ $\tau = d\alpha^2$ によってインデックス付けされた単一の極限法則のファミリーは、すべての $\alpha > 0$ に対して一様である、再スケーリングされたツリー法則への第1ワッサースタイン近似を提供する。このファミリーは、劣臨界的な崩壊、臨界的なベッセル・ポアソン法則、および半円則の間を連続的に補間する。

意義および主張
本論文は、高次数極限において、ディリクレ結合されたエッジの重みを持つランダム作用素のスペクトル極限に関する初の完全な分類を提供すると主張している。

• 著者らは、2つの異なるスケーリング領域を特定している：標準的な分散スケール（$d\alpha^2$ によって支配される）と、劣臨界的な崩壊においてスペクトル質量を捉えるために必要なエネルギー偏重スケール（$d\alpha$ によって支配される）。
• ディリクレ制約付き作用素と、ベッセル強度を持つポアソン重み付き木との間の新しい接続を確立し、臨界法則に対する明示的な作用素表現を提示している。
• これらの結果は、局所的な依存性（ディリクレ制約を介したもの）が、独立なエッジモデルと比較して、スペクトルの遷移を根本的に変え、半円則の即時的な出現を防ぎ、豊かな臨界法則のファミリーを導入することを実証している。
• 本研究は、クエンチされた無秩序が量子ウォークのスペクトル特性にどのように影響するかを理解するための定量的な枠組みを提供しており、特に、構造的な原子（atoms）が $\pm 1$ においてフル・ユニタリ法則を支配し、継承された成分が判別子の高次遷移に従うことを示している。

著者らは、付録で導出された明示的な分数モーメントおよび再帰的キャビティ方程式を用いることで、これらの結果がスペクトル型（局在化 vs 非局在化）の研究への道を開くものであると述べている。