[论文解读] 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₄⁻和星图等小图的该猜想，并建立了Menger定理与König定理的经典结果在度量几何中的类比，同时提出了Erdős–Pósa定理与Halin网格定理的粗几何版本猜想。

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.

研究动机与目标

• 建立图极小化理论的粗几何类比，统一几何群论与图论中的概念。
• 研究在度量空间中不存在某图H的肥厚极小化时，是否意味着其与不含H为极小化的空间拟等距。
• 将经典图论结果（如Menger定理与König定理）推广至粗几何框架。
• 提出并探索Erdős–Pósa定理与Halin网格定理等重大定理的粗几何类比。
• 考察渐近极小化对群几何的影响，特别是与平面性及树宽的关系。

提出的方法

• 引入K-肥厚极小化作为图极小化的粗几何版本，其中分支集之间的距离至少为K。
• 以拟等距作为核心等价关系，用于比较大规模几何结构。
• 应用粗几何与几何群论中的技术，特别是利用Gromov的渐近维数与拟等距不变性。
• 采用双Lipschitz嵌入与基于畸变的映射，分析度量空间向树与平面图等简单结构的嵌入。
• 利用关于拟树与拟仙人掌图的已知结果，证明主猜想的特殊情况。
• 利用渐近极小化的同胚不变性，证明具有同胚1-骨架的图在渐近意义下等价。

实验结果

研究问题

• RQ1 若一个测地度量空间不含某有限极小化H，且对某个K不存在K-肥厚H极小化，则在何种条件下该空间与不含H为极小化的图拟等距？
• RQ2 经典图论定理（如Menger定理与König定理）能否通过渐近极小化推广至粗几何？
• RQ3 是否存在Erdős–Pósa定理的粗几何类比，即若存在大量不相交的K₃极小化，则在大尺度上存在有界大小的击中集？
• RQ4 若不存在渐近网格极小化，是否意味着在粗几何意义下树宽有限？
• RQ5 能否通过不存在渐近K₅或K₃,₃极小化来刻画群的Cayley图的平面性？

主要发现

• 当H = K₃时，该猜想成立，其证明基于Manning对拟树的刻画，为原始结果提供了更简短的替代证明。
• 当H = K₄⁻时，该猜想得到确认，扩展了关于拟仙人掌图与外平面图的先前工作。
• H = K₁,ₘ（即星图）的情形已解决，表明不含K-肥厚星图的图与不含此类星图的图拟等距。
• 证明了若两个有限图H₁与H₂作为1复形同胚，则它们渐近等价，从而表明该猜想对路径与环成立。
• 该猜想意味着图拟等距于仙人掌图当且仅当其拟等距于外平面图，以新方式确认了Chepoi等人的一项结果。
• 本文提供了König射线定理的粗几何类比，并讨论了Halin网格定理可能的粗几何版本。