[論文レビュー] Graph minors and metric spaces

Agelos Georgakopoulos, Panos Papasoglu|arXiv (Cornell University)|May 12, 2023

Topological and Geometric Data Analysis被引用数 5

ひとこと要約

本稿は、グラフのマイナーと距離空間の間の粗い幾何学的枠組みを導入し、有限グラフ H のファットマイナーを含まないグラフまたは長さ空間は、H をマイナーとしないグラフに準等長であると提案する。K₃、K₄⁻、スターモデルのような小さなグラフについてこの予想を証明し、メルガーの定理やコルーリングの定理といった古典的定理の距離幾何的類似形を確立するとともに、エラーズ＝ポーザの定理およびハリンのグリッド定理の粗い版の予想を提示する。

ABSTRACT

We present problems and results that combine graph-minors and coarse geometry. For example, we ask whether every geodesic metric space (or graph) without a fat $H$ minor is quasi-isometric to a graph with no $H$ minor, for an arbitrary finite graph $H$. We answer this affirmatively for a few small $H$. We also present a metric analogue of Menger's theorem and Konig's ray theorem. We conjecture metric analogues of the Erdos--Posa Theorem and Halin's grid theorem.

研究の動機と目的

• 幾何的群論とグラフ理論の概念を統合する、グラフマイナー理論の粗い幾何学的類似形を確立すること。
• 距離空間にファットマイナーが存在しない場合、それが特定のマイナーを含まない空間に準等長であるかどうかを検討すること。
• 古典的グラフ理論的定理（例えばメルガーの定理やコルーリングの定理）を粗い幾何学的文脈に拡張すること。
• エラーズ＝ポーザの定理やハリンのグリッド定理といった主要定理の粗い類似形を提起し、検討すること。
• 漸近的マイナーが群の幾何学的性質に与える影響を検討し、特に平面性や木幅に関連して考察すること。

提案手法

• ブランチ集合が距離 K で分離されるように、グラフマイナーの粗い版として K-ファットマイナーの概念を導入する。
• 大規模な幾何構造を比較するための中心的同値関係として、準等長性を用いる。
• 特にグロモフの漸近次元と準等長不変量を活用し、粗い幾何学および幾何的群論の技法を適用する。
• バイリプシッチ埋め込みと歪度に基づく写像を用いて、木や平面的グラフといった単純な構造への距離的埋め込みを分析する。
• 既知の準木や準カタスに関する結果を活用し、主な予想の特殊ケースを証明する。
• 漸近的マイナーのホメオモルフィズム不変性を用いて、1スケルトンが位相的に同相であるグラフは漸近的に同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ある測地的距離空間が、ある有限マイナー H に対して K-ファット H マイナーを含まない場合、その空間が H をマイナーとしないグラフに準等長であるための条件は何か？
• RQ2 古典的グラフ理論的定理（例えばメルガーの定理やコルーリングの定理）は、漸近的マイナーを用いて粗い幾何学に一般化可能か？
• RQ3 エラーズ＝ポーザの定理の粗い類似形は存在するか？特に、多くの互いに素な K₃ マイナーの存在が、大規模スケールで有界サイズのヒッティングセットを示唆するか？
• RQ4 漸近的グリッドマイナーが存在しないことは、粗い意味で有限の木幅を示唆するか？
• RQ5 群のカイリー図の平面性は、漸近的 K₅ または K₃,₃ マイナーの不在によって特徴づけられるか？

主な発見

• H = K₃ の場合、マンニングによる準木の特徴づけに基づく証明により、予想が成立し、元の結果の短い別証明が得られる。
• H = K₄⁻ の場合、従来の準カタスおよび外平面的グラフに関する研究を拡張して、予想が確認された。
• H = K₁,ₘ（スターモデル）の場合、ファットスターマイナーを含まないグラフは、そのようなスターマイナーを含まないグラフに準等長であることが示された。
• 2つの有限グラフ H₁ と H₂ が 1-複体として位相的に同相であれば、それらは漸近的に同値であることが証明され、これはパスやサイクルについての予想の成立を示唆する。
• 予想により、グラフがカタスに準等長であることと、外平面的グラフに準等長であることとは同値であることが示され、チェポイらの結果が新たな方法で確認された。
• コルーリングのレイト定理の粗い類似形が証明され、またハリンのグリッド定理の潜在的な粗い版についても議論された。