[論文レビュー] Curvature estimate on the finite graph with large girth

Yijin Gao|arXiv (Cornell University)|Sep 27, 2016

Geometric Analysis and Curvature Flows参考文献 6被引用数 3

ひとこと要約

本稿では、girth が 5 より大きい有限で重みなし、局所的に有限なグラフに対して、CDおよびCDE不等式を用いて曲率推定を確立する。girth の制約の下でラプラシアンおよび高階の勾配形式を分析することにより、このようなグラフが CDE(2, -n/2 - 1) 条件を満たすことを証明し、頂点次数 n に依存する曲率の鋭い下界を提供する。

ABSTRACT

The CD inequalities and CDE inequalities are useful in the estimate of curvature on graphs. This article is based on the ufinite graph with large girth, and finally concludes some curvature estimate in CD and CDE.

研究の動機と目的

• girth が大きい有限グラフにおける曲率の下界を、離散的曲率枠組みを用いて調査すること。
• CDおよびCDE曲率不等式を girth が 5 を超える有限グラフへ拡張すること。
• girth が大きく、重みなしエッジといった構造的制約の下で、明示的な曲率推定値を導出すること。
• CDE 条件を満たすグラフにおける頂点次数 n の関数として、曲率の定量的下界を確立すること。

提案手法

• girth >5 を満たす局所的に有限で、連結で単純なグラフに、重みなし正規化ラプラシアンを適用する。
• Γ2 演算子および高階の勾配形式を用いて、CD(K,n) および CDE(K,n) 曲率条件を適用する。
• Γi 演算子を用いて、Γ2(f)(x) を近傍におけるエッジ重み付き和および2階差分の形に表現する。
• 短いサイクルの排除を可能にするために、girth >5 の条件を課す。これにより近傍構造が単純化され、隣接頂点上の f 値に関する2次計画が可能になる。
• f(x)=1 および f(x,y_i)=v_i と仮定することで、CDE 不等式を v_i 値の関数に簡略化し、制約下での最小化が可能になる。
• 2次関数の最小化および ∑v_i < 0 および v_i > -1 に関する不等式を用いて、曲率の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 CD および CDE 不等式を用いて、girth が 5 より大きい有限グラフに対してどのような曲率下界を確立できるか。
• RQ2 短いサイクルが存在しないこと（girth >5）が、Γ2 演算子および曲率推定値にどのように影響するか。
• RQ3 このようなグラフにおいて、CDE 条件に対して非自明な曲率下界を導出可能か。もし可能であれば、その下界は頂点次数にどのように依存するか。
• RQ4 隣接頂点上の f 値の値が、CDE 条件下での曲率推定値にどのように影響するか。
• RQ5 重みなしで局所的に有限な構造が、曲率推定値の導出に果たす役割は何か。

主な発見

• グラフは CDE(2, -n/2 - 1) 条件を満たす。ここで n は中心頂点 x の次数である。
• 曲率下界は頂点次数 n に依存し、girth >5 の仮定のもとで鋭いものである。
• 証明は、近傍上の f 値に関する2次形式の最小化に依存しており、最適値は f(z_{1i}) = 2f(y_1) for i=1,…,k_1−1 に設定される。
• 不等式 ∑(2−k_i)/k_i ≥ k がすべての i に対して成り立つことから、k ≤ min_i (2−k_i)/k_i が得られ、これが曲率の下界を評価するために用いられる。
• 導出過程から、∑v_i < 0 および v_i > -1 が、曲率下界が -n/2 -1 で下から抑えられるために重要な制約であることが明らかになった。
• 最終的な曲率推定値は、Γ2(f) の表現と Γ(f, Γ(f)/f) 項を組み合わせることで得られ、∑v_i および ∑v_i² を含む下界が得られる。