[論文レビュー] Curvature dimension inequalities on directed graphs

Taiki Yamada|arXiv (Cornell University)|Jan 6, 2017

Mathematics and Applications参考文献 1被引用数 3

ひとこと要約

本稿では、非対称ラプラシアンにシンメトリック化された遷移確率行列を用いて Γ-計算フレームワークを適応することで、有限有向グラフに対する曲率次元不等式 $CD(m,K)$ を導入する。強連結な有向グラフは $CD(2, C - (1 - \alpha))$ を満たすことが示され、$C(v_i)$ は正規化重みの局所的最小値である。これは有向ネットワークにおける Bakry-Emery 曲率境界の離散的アナログである。

ABSTRACT

In this paper, we define the curvature dimension inequalities CD(m, K) on finite directed graphs modifying the case of undirected graphs. As a main result, we evaluate m and K on finite directed graphs.

研究の動機と目的

• 非対称隣接行列のため、標準的な対称ラプラシアンが適用できないことから、無向グラフにおける曲率次元不等式 $CD(m,K)$ を有向グラフへ拡張すること。
• 遷移確率と定常測度に基づくシンメトリックラプラシアンを用いて、有向グラフに対する意味のあるリッチ曲率の類似物を定義すること。
• 局所的グラフ構造とパラメータ $\alpha$ の観点から、$m$ および $K$ の明示的な下界を導出すること。
• 有向グラフの文脈において、Bakry-Emery 曲率境界の離散的バージョンを確立すること。

提案手法

• 自己ループ重み $\alpha$ と出辺重み $\frac{1-\alpha}{d_x}$ を持つ遷移確率行列 $M_\alpha$ を定義し、強連結グラフにおいても不可約性が保証されるようにする。
• 定常測度 $\phi$ と辺重み $w_{ij} = \phi(v_i)(M_\alpha)_{ij}$ を用いてシンメトリックラプラシアン $\Delta$ を構築し、対称的な $\Gamma$-計算が可能になるようにする。
• Γ-計算フレームワークを適用する：$\Gamma(f,g) = \frac{1}{2}(\Delta(fg) - f\Delta g - g\Delta f)$ および $\Gamma_2(f,g) = \frac{1}{2}(\Delta\Gamma(f,g) - \Gamma(f,\Delta g) - \Gamma(\Delta f,g))$。
• 第二階差と正規化重みを用いて $\Gamma_2(f,f)(v_i)$ の式を導出し、非負の項 $H(f)(v_i)$ を分離する。
• コーシー・シュワルツ不等式と重み正規化を用いて $H(f)(v_i)$ を下から抑え、$\Gamma_2(f,f)(v_i) \geq \frac{1}{2}(\Delta f)^2(v_i) + (C(v_i) - (1-\alpha))\Gamma(f,f)(v_i)$ を得る。
• 局所的曲率下界として $C(v_i) = \min_{v_j \in S^{\text{out}}(v_i), v_k \in S^{\text{in}}(v_i)} \{ w_{ij}/\phi(v_j), w_{ki}/\phi(v_k) \} > 0$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 非対称ラプラシアンのため、標準的な対称ラプラシアンが適用できない有向グラフにおいて、曲率次元不等式 $CD(m,K)$ を意味的に定義できるか？
• RQ2 有向グラフにおいて、局所的グラフ構造を用いて最適な $m$ 値と最良の $K$ 値は何か？
• RQ3 $\Gamma$-計算および Bakry-Emery 曲率フレームワークを非対称グラフにどのように適応できるか？
• RQ4 パラメータ $\alpha \in [0,1)$ は、自己ループと辺遷移のバランスをどのように曲率推定に与えるか？
• RQ5 有向グラフに対して、リッチ曲率下界の離散的アナログは存在するか？ そして、どのように定量化できるか？

主な発見

• 本稿では、任意の有限で強連結な有向グラフが $CD(2, C - (1 - \alpha))$ を満たすことを証明しており、曲率次元条件において $m=2$ が最適であることが示されている。
• 曲率境界 $K(v_i) = C(v_i) - (1 - \alpha)$ は、$C(v_i) = \min_{v_j \in S^{\text{out}}(v_i), v_k \in S^{\text{in}}(v_i)} \{ w_{ij}/\phi(v_j), w_{ki}/\phi(v_k) \}$ を用いて明示的に定量化されており、$C(v_i) > 0$ である。
• 導出過程から、$\Gamma_2(f,f)$ の非負項 $H(f)(v_i)$ が $16\phi(v_i)(C(v_i) + \alpha)\Gamma(f,f)(v_i)$ で下から抑えられ、これが曲率項に寄与することが示された。
• 定常測度 $\phi$ と遷移行列 $M_\alpha$ を用いてラプラシアンを成功裏にシンメトリック化し、リーマン的曲率解析の適用が可能になった。
• 曲率境界は、正規化重み $w_{ij}/\phi(v_j)$ の最小値に依存しており、グラフ内の局所的辺の強さとバランスを反映している。
• 結果として、Bakry-Emery 曲率境界が有向グラフへ一般化され、非対称ネットワークにおける拡散、混合、幾何的性質の研究の基盤が提供された。