[論文レビュー] Weakly modular graphs and nonpositive curvature

Jérémie Chalopin, Victor Chepoi+2 more|SPIRE - Sciences Po Institutional REpository|Sep 13, 2014

Topological and Geometric Data Analysis参考文献 93被引用数 13

ひとこと要約

本稿は、弱いモジュラー性を示すグラフとその関連細胞複体について、局所的から大域的へまでの包括的な特徴付けを確立し、CAT(0)および可縮性の性質を通じて非正曲率を示している。この研究は、モジュラー格子のorthoscheme複体に対するBrady-McCammond予想と、pre-medianグラフの素数グラフに関するChastandの問いを解決するとともに、非正曲率の枠組みの下で多様なグラフクラスを統一している。

ABSTRACT

This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from them. The unifying themes of our investigation are various `nonpositive curvature' and `local-to-global' properties and characterizations of weakly modular graphs and their subclasses. Weakly modular graphs have been introduced as a far-reaching common generalization of median graphs (and more generally, of modular and orientable modular graphs), Helly graphs, bridged graphs, and dual polar graphs occurring under different disguises in several seemingly-unrelated fields of mathematics: Metric graph theory, Geometric group theory, Incidence geometries and buildings, Theoretical computer science and combinatorial optimization. We give a local-to-global characterization of weakly modular graphs and their subclasses in terms of simple connectedness of associated triangle-square complexes and specific local combinatorial conditions. In particular, we revisit characterizations of dual polar graphs by Cameron and by Brouwer-Cohen. We also show that (disk-)Helly graphs are precisely the clique-Helly graphs with simply connected clique complexes. With $l_1$-embeddable weakly modular and sweakly modular graphs we associate high-dimensional cell complexes, having several strong topological and geometrical properties (contractibility and the CAT(0) property). Their cells have a specific structure: they are basis polyhedra of even $ riangle$-matroids in the first case and orthoscheme complexes of gated dual polar subgraphs in the second case. We resolve some open problems concerning subclasses of weakly modular graphs: we prove a Brady-McCammond conjecture about CAT(0) metric on the orthoscheme complexes of modular lattices; we answer Chastand's question about prime graphs for pre-median graphs.

研究の動機と目的

• 弱いモジュラー性グラフという共通の枠組みの下で、中位、ヘリ、ブリッジ、双対極、モジュラーグラフといった多様なグラフクラスを統一すること。
• 三角形-正方形複体と組合せ的条件を用いて、弱いモジュラー性グラフの局所的から大域的への特徴付けを確立すること。
• モジュラー格子のorthoscheme複体に対するCAT(0)計量に関するBrady-McCammond予想を含む未解決問題を解決すること。
• $ l_1 $-埋め込み可能および$ l_ atural $-埋め込み可能な弱いモジュラー性グラフの構造を、高次元の細胞複体を用いて明確にすること。
• $ l_1 $-弱いモジュラー性および$ l_ atural $-弱いモジュラー性グラフを、基底多面体とorthoscheme複体を用いて特徴付けること。

提案手法

• 三角形条件（TC）および四角形条件（QC）を用いて弱いモジュラー性グラフを定義し、中位グラフやヘリグラフを一般化する。
• 弱いモジュラー性グラフから細胞複体$ C(G) $、$ C_ atural(G) $、$ K(G) $を構成し、それらの可縮性およびCAT(0)性を証明する。
• 格子論的道具を用いて、偶数の$ \triangle $-マトロイドの基底多面体とゲート付き双対極部分グラフを介して、$ l_1 $-埋め込み可能および$ l_ atural $-埋め込み可能なグラフを特徴付ける。
• 重心座標および厚化構成$ G^* $、$ G^ riangle $を用いて、ブール的ゲート付き集合および正規パスを分析する。
• Gromovの非正曲率理論を適用し、双曲的性および2次の等周不等式を証明する。
• 帰納法および準中位構造を用いて、$ G^{ riangle,k+1} $における誘導された正方形がブール的ペア性質を保つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 弱いモジュラー性グラフが単連結またはCAT(0)であるための、局所的な組合せ的および位相的条件は何か？
• RQ2 一様に局所的有限な弱いモジュラー性グラフに対して、対角ランク$ \mathrm{rk}_D(G) $は有限か？また、関連するWM複体$ X_{\bowtie}(G) $は可縮性を示すか？
• RQ3 モジュラー格子のorthoscheme複体にCAT(0)計量が存在するか？（Brady-McCammond予想の確認）
• RQ4 pre-medianグラフの素数グラフの構造は何か？（Chastandの未解決問いへの回答）
• RQ5 $ l_1 $-弱いモジュラー性グラフにおける正規ブール的ゲート付きパスは2-局所的に認識可能であり、フェローパスとして機能するか？その結果、関連群の二自動性が示されるか？

主な発見

• 本稿は、$ l_1 $-弱いモジュラー性グラフが偶数の$ \triangle $-マトロイドの基底多面体によって特徴付けられ、それに関連する細胞複体が可縮的かつCAT(0)であることを証明している。
• Brady-McCammond予想を解決し、モジュラー格子のorthoscheme複体にCAT(0)計量が存在することを示した。
• $ l_1 $-弱いモジュラー性グラフは、単連結なクランク複体を持つクランクヘリグラフに正確に一致する。
• 本稿は、$ l_ atural $-弱いモジュラー性グラフがゲート付き双対極部分グラフのorthoscheme複体から生じることを確立し、それらの複体が可縮的かつCAT(0)であることを示した。
• 正規ブール的ゲート付きパスが$ l_1 $-弱いモジュラー性グラフにおいて2-局所的に認識可能であり、フェローパスとして機能することを証明した。この結果、関連する群の二自動性が示された。
• 本稿は、$ l_1 $-弱いモジュラー性グラフに関連する複体$ K(G) $が可縮的であることを確認し、これらの複体の構造に関する主要な未解決問いを解決した。