[論文レビュー] Cheeger constants, growth and spectrum of locally tessellating planar graphs

Matthias Keller, Norbert Peyerimhoff|ArXiv.org|Mar 27, 2009

Advanced Graph Theory Research参考文献 13被引用数 4

ひとこと要約

本稿は、組合せ的曲率を用いて、局所的にタイル張りされる平面グラフのチェーバー定数の明示的な下界を確立し、局所的な幾何的性質と指数的成長やスペクトルギャップなどのグローバル不変量を結びつける。頂点曲率が正または正規化された曲率が正であると、チェーバー定数が正であることが示され、頂点および面の次数の上限に依存する鋭い推定値が得られる。また、木比較構成を用いて成長率とスペクトル的性質を関連付ける。

ABSTRACT

In this article, we study relations between the local geometry of planar graphs (combinatorial curvature) and em global geometric invariants, namely the Cheeger constants and the exponential growth. We also discuss spectral applications.

研究の動機と目的

• 平面グラフにおける局所的な組合せ的曲率と、チェーバー定数や指数的成長などのグローバル幾何的不変量との関係を明らかにすること。
• 曲率および次数制約を用いて、物理的および幾何的チェーバー定数の明示的下界を導出すること。
• 厳密に正の曲率が正のチェーバー定数を意味することを証明し、離散的ボンネット＝マイヤーズおよびカルタン＝ハダマールの定理を一般化すること。
• 有限の面の構造を解体して無限多角形に変換する構成的手法を用いて、指数的成長が比較木の成長以下に抑えられることを示すこと。
• 特にラプラシアン固有値に焦点を当て、チェーバー定数を介して曲率条件とスペクトル的性質を結びつけること。

提案手法

• 頂点およびコーナーにおける組合せ的曲率を、面および頂点の次数に基づいて定義する。無限多角形は無限の次数を持つものとみなす。
• 物理的成長（辺境界 / 頂点数）を表す α(G) と、幾何的成長（辺境界 / 体積）を表す ḡα(G) の2つのチェーバー定数を導入する。
• 次数の上限 p および q に依存する定数 $ C_{p,q} $ を用いて、曲率に基づく下界を確立する。
• 地図的放射線に沿ってカットすることで、有限の面を無限多角形に変換する構成的手順を用い、次数が有界な比較木 T を構成する。
• 元のグラフの指数的成長率が、比較木の成長率以上に抑えられることを証明し、成長率が保存または増加することを示す。
• 木比較法を応用してチェーバー定数の下界を導出し、既知のチェーバー不等式を介してスペクトルギャップと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 平面グラフにおける局所的な曲率条件が、そのグローバルなチェーバー定数にどのように制約を加えるか？
• RQ2 局所的にタイル張りされる平面グラフにおいて、組合せ的曲率と指数的成長の関係は何か？
• RQ3 頂点および面の次数の上限と曲率の下限のみを用いて、チェーバー定数の下界を評価できるか？
• RQ4 有限の面の構造が、平面グラフの成長およびスペクトル的性質にどのように影響するか？
• RQ5 同じ次数の上限を持つ比較木が、一般の平面グラフの成長およびスペクトル的挙動をどの程度正確に捉えることができるか？

主な発見

• 物理的チェーバー定数は $ \alpha(G) \geq 2C_{p,q}C $ を満たす。ここで $ C = \inf_v (-\kappa(v)) > 0 $ であり、$ C_{p,q} $ は次数制約に依存する。
• 幾何的チェーバー定数は $ \widetilde{\alpha}(G) \geq 2C_{p,q}c $ を満たす。ここで $ c = \inf_v \left(-\frac{1}{|v|}\kappa(v)\right) > 0 $ であり、同じ条件下で成り立つ。
• 正則木の場合（$ q = \infty $）に、これらの下界が鋭いことが確認され、極値の場合の最適性が裏付けられる。
• 指数的成長 $ \mu(G) $ は、$ p $-正則木の成長以下に抑えられる。曲率が非負でかつグラフが木である場合、等号が成立する。
• 有限の面を無限多角形に変換する構成により、比較木 T を作成するが、この過程で成長率は保存または増加する。したがって、$ p $-有界な木 $ T $ に対して $ \mu(G) \leq \mu(T) $ が成り立つ。
• 結果は、離散的ボンネット＝マイヤーズおよびカルタン＝ハダマールの定理を一般化し、正の曲率が有限グラフを意味し、非正の曲率がカットリソルの存在を意味しないことを示している。