[论文解读] 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)和收缩性性质表现出非正曲率。它解决了若干开放问题，包括关于模格正交单纯形复形的CAT(0)度量的Brady-McCammond猜想，以及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.

研究动机与目标

• 将多种图类——中位图、Helly图、桥接图、对偶极图和模图——统一于弱模图的共同框架下。
• 通过三角形-正方形复形和组合条件，建立弱模图的局域-全域表征。
• 解决开放问题，包括关于模格正交单纯形复形的CAT(0)度量的Brady-McCammond猜想。
• 通过高维胞复形阐明 $ l_1 $-可嵌入和 $ l_\natural $-可嵌入弱模图的结构。
• 利用基多面体和正交单纯形复形表征 $ l_1 $-弱模图和 $ l_\natural $-弱模图。

提出的方法

• 通过三角形条件（TC）和四边形条件（QC）引入弱模图，推广中位图和Helly图。
• 从弱模图构造胞复形 $ C(G) $、$ C_\natural(G) $ 和 $ K(G) $，证明其具有收缩性和CAT(0)性质。
• 应用格论工具，通过偶 $ \triangle $-拟阵的基多面体和门控对偶极子图，表征 $ l_1 $-可嵌入和 $ l_\natural $-可嵌入图。
• 使用重心和加厚构造 $ G^* $、$ G^\triangle $，分析布尔门控集和正常路径。
• 应用Gromov的非正曲率理论，证明双曲性及二次等周不等式。
• 采用归纳法和拟中位结构，验证 $ G^{\triangle,k+1} $ 中的诱导正方形保持布尔对性质。

实验结果

研究问题

• RQ1 在何种局域组合与拓扑条件下，弱模图是单连通或CAT(0)的？
• RQ2 对于均匀局部有限的弱模图，对角秩 $ \mathrm{rk}_D(G) $ 是否有限，且其关联的WM复形 $ X_{\bowtie}(G) $ 是否收缩？
• RQ3 模格的正交单纯形复形是否允许CAT(0)度量，从而确认Brady-McCammond猜想？
• RQ4 预中位图的素图结构如何，以回答Chastand的开放问题？
• RQ5 在 $ l_1 $-弱模图中，正常布尔门控路径是否可2-局部识别并作为同行者，从而暗示群的双自动性？

主要发现

• 本文证明 $ l_1 $-弱模图由偶 $ \triangle $-拟阵的基多面体表征，其关联胞复形具有收缩性和CAT(0)性质。
• 通过证明模格正交单纯形复形允许CAT(0)度量，解决了Brady-McCammond猜想。
• 本文确立 $ l_1 $-弱模图恰好是 clique-Helly 图，且其 clique 复形单连通。
• 本文表明 $ l_\natural $-弱模图源于门控对偶极子图的正交单纯形复形，其复形具有收缩性和CAT(0)性质。
• 本文证明 $ l_1 $-弱模图中正常布尔门控路径可2-局部识别且为同行者，从而暗示相关群的双自动性。
• 本文确认 $ K(G) $，即与 $ l_1 $-弱模图关联的复形，是收缩的，解决了关于此类复形结构的关键开放问题。