Density of states of randomly sprinkled graphs

技術要約：ランダムに散布されたグラフの状態で密度（Density of States）

1. 問題設定と動機
本論文は、大きな「コア」グラフ $\mathbb{G}$ の頂点上に、より小さなランダムグラフを「散布（sprinkling）」することによって構築されるクラスのランダムグラフのスペクトル特性、特に状態密度（DOS）について調査している。このモデルは、多くの観測されたグラフが持つ定性的な構造（多くの場合、マクロなコアと、そこに付着した小さな部分グラフから構成される構造。例：Erdős–RényiグラフのKarp–Sipserコア）を捉えるように設計されている。

このモデルは、主に以下の2つの文脈から動機付けられている：

• ランダムグラフ理論： Erdős–Rény lýグラフのような構造を一般化するものである。これらのグラフでは、単純なコアに付着グラフが加わることで、DOSの複雑さが生じる。
• 量子無秩序（Quantum Disorder）： 標準的なアンダーソン・モデルのように格子上のランダムなポテンシャルから生じる無秩序ではなく、格子の頂点に対して補助的な原子や小さなグラフをランダムに接合（grafting）することから生じる量子無秩序のモデルとして機能する。

中心となる課題は、散布されたグラフ $G$ の隣接行列 $A$ の極限経験的固有値測度（すなわちDOS）を、体積 $|V| \to \infty$ において特徴付けることである。特に、散布がコアグラフ $\mathbb{G}$ のDOSをどのように修正するかを理解することが重要である。

2. モデルの定義
$\mathbb{G}$ を、頂点集合 $\mathbb{V}$ を持つ大きな有限（ランダムまたは決定論的）グラフとする。各頂点 $x \in \mathbb{V}$ において、独立同一分布（i.i.d.）に従う有限なランダムグラフのペア $(G_x, \phi_x)$ を描く。ここで $\phi_x \in \{0, 1\}^{V_x}$ は指示ベクトルである。グラフ $G_x$ は、$x$ と、$\phi_x(t) = 1$ を満たすすべての頂点 $t \in V_x$ を接続することによって $x$ に取り付けられる。結果として得られるグラフ $G$ の頂点集合は $V = \mathbb{V} \cup \{(xt) : x \in \mathbb{V}, t \in V_x\}$ である。

著者らは、Benjamini–Schramm収束の枠組みを用いて、$N \to \infty$ における $G_N$ の期待経験的固有値測度 $\nu_N$ の極限を分析している。彼らは、コア $\mathbb{G}_N$ が無限の根付きグラフ $(\mathbb{G}, \text{o})$ に収束すると仮定し、散布されたグラフが極限 $(G, o)$ に収束することを示す。

3. 手法
本論文は、確率的グラフ理論、スペクトル理論、および作用素論の組み合わせを用いている。主要な手法には以下が含まれる：

• アンダーソン・パーコレーション表現： 著者らは、有限体積における散布されたグラフの固有値と、サイト・パーコレーションされたコアの部分グラフ上に定義されたアンダーソン・ハミルトニアンの族との間の、厳密な代数的対応関係を導出している。具体的には、エネルギーパラメータ $\lambda$ に対して、散布されたグラフのスペクトル（「チューニング・フォーク（音叉）」固有値を除く）は、付着したグラフのレゾルベントが有限となる頂点によって誘導される部分グラフの隣接行列 $B_\lambda$ と、付着したグラフから導かれるランダムな対角ポテンシャル $V_\lambda$ からなる演算子 $H_\lambda = B_\lambda + V_\lambda$ のスペクトルに関連している。
• チューニング・フォーク分解： DOSは、「チューニング・フォーク」部分（コア上で消滅する、付着したグラフのみに支持される固有ベクトルに由来するもの）と、非チューニング・フォーク部分へと分解される。チューニング・フォークの寄与は明示的に計算される。
• スティルチェス変換と展開： 希薄な散布（非空のグラフを付着させる確率 $p$ が小さい場合）において、著者らはDOSのスティルチェス変換を $p$ のべき級数で展開する。これには、スティルチェス変換を $p$ で微分すること、およびヘルフェル・ショードランド（Helffer–Sjöstrand）公式を用いて、変換の境界を測度への境界へと翻訳するプロセスが含まれる。
• エルゴード理論： 極限グラフにおける根の偏った分布に適応させたエルゴード理論を用いて、スペクトルのほとんど確実な定数性とDOSのサポートを確立する。

4. 主要な貢献と結果

• 極限の存在： 定理2.1は、局所位相における散布されたグラフの無限体積極限の存在を確立し、極限測度 $\nu$ を明示的に構成する。
• アンダーソン・パーコレーション表現： 定理2.5は、DOSの原子（atoms）に関する表現を提供する。これは、ある $\lambda$ における非チューニング・フォークの寄与が、アンダーソン・パーコレーション・ハミルトニアン $H_\lambda$ の $\lambda$ における状態密度の割合に比例することを示している。これにより、この問題がアンダーソン・モデルとサイト・パーコレーションの両方に結び付けられる。
• DOSのサポート： 定理2.15は、決定論的で頂点推移的なコア（例：$\mathbb{Z}^d$ やベテ格子）に対するDOSのサポート $\Sigma$ を特徴付ける。サポートは次のように与えられる：
  $$\Sigma = \{ \lambda \in \mathbb{R} : \mathbb{P}(\lambda + r(\lambda) \in \Sigma_0) > 0 \} \cup \mathcal{T}$$
  ここで $\Sigma_0$ はコアのDOSのサポートであり、$r(\lambda)$ は付着したグラフから導かれる関数、$\mathcal{T}$ はチューニング・フォーク固有値の集合である。
• 質量の集中： 定理2.16は、積分された状態密度の定量的境界を与える。これは、散布が $r(\lambda)$ の多くの零点を含む区間に固有値を増やすことを示す。
• 希薄な散布の展開： 小さな $p$ の領域において、著者らは展開 $\hat{\nu} = \nu_0 + p\phi + p^2 R$ を導出する。
  • 第1項 $\phi$ は、一般に高々1次の分布であり、必ずしも符号付き測度ではない。
  • 論文では「ソース（源）」と「シンク（吸収）」を特定している。コアの局所的な密度と付着したグラフの性質に応じて、散布は付着したグラフの固有値付近のDOSの局所的な質量を増加させることもあれば、減少させることもある。
  • コアの次数が大きい場合（例：$\mathbb{Z}^d$ や次数 $d$ が大きいベテ格子）、この展開は、DOSが付着したグラフの固有値を中心としたコーシー・ピークを発達させることを明らかにする（定理2.25）。
• $p=1$ 周辺の展開： 付録Bでは、散布確率が1に近い場合の展開を導出しており、これは非自明ではあるが明示的に解ける決定論的モデルに対応する。

5. 意義と主張
本論文は、局所的なグラフの摂動（散布）がグローバルなスペクトル特性にどのように影響するかを理解するための厳密な枠組みを提供することを主張している。

• 既知のモデルとの接続： 本研究は、ランダムグラフの研究をアンダーソン・モデルおよびパーコレーション理論と統合し、散布されたグラフのスペクトルが、パーコレーションされた部分グラフ上のアンダーソン・ハミルトニアンの観点から理解できることを示している。
• 定量的境界： 以前の定性的研究とは異なり、本研究はDOSおよびその積分版に対して明示的な上限および下限を提供する。
• スペクトル修正のメカニズム： 固有値の生成（付着したグラフの固有値付近）と固有値反発の競合メカニズムを解明している。また、付着したグラフの固有値がソース（DOSを増加させるもの）として機能するか、あるいはシンク（DOSを減少させるもの）として機能するかを厳密に特徴付けている。
• 限界： 著者らは、希薄展開における第1次補正 $\phi$ が測度ではなくしばしば分布となるため、滑らかな関数に対してテストする必要があることを指摘している。また、焦点は隣接行列にあるが、これらの手法はラプラシアンのような他の行列にも適用可能であると考えている。

本論文は、すべてのランダムグラフモデル（例：特定の構成においてコアと付着グラフの独立性が欠如している標準的なErdős–Rényerグラフ）のDOSを解明することを主張しているのではなく、むしろ多くの複雑ネットワークや無秩序系で見られる「コア＋付着物」の構造を捉える一般的なモデルを確立している。