[论文解读] A notion of graph homeomorphism

Oliver Knill|arXiv (Cornell University)|Jan 13, 2014

Advanced Topology and Set Theory参考文献 21被引用 16

一句话总结

本文提出了一种基于维数与同伦的图同胚新概念，通过满足维数条件的可缩子图子基定义拓扑图。证明了图同胚保持维数、上同调、欧拉示性数与连通性，并建立了离散Kakutani不动点定理：任意非零Lefschetz数的图同胚均固定一个非平凡不变开集。

ABSTRACT

We introduce a notion of graph homeomorphisms which uses the concept of dimension and homotopy for graphs. It preserves the dimension of a subbasis, cohomology and Euler characteristic. Connectivity and homotopy look as in classical topology. The Brouwer-Lefshetz fixed point leads to the following discretiszation of the Kakutani fixed point theorem: any graph homeomorphism T with nonzero Lefschetz number has a nontrivial invariant open set which is fixed by T.

研究动机与目标

• 定义一种图同胚的概念，通过维数与同伦将经典拓扑概念推广至有限图。
• 为解决有限拓扑中开集常不连通的问题，引入满足维数条件的可缩子图子基。
• 确保图同胚下维数、上同调、欧拉示性数与同伦型等拓扑不变量保持不变。
• 基于Lefschetz数建立图论中Kakutani不动点定理的离散类比。
• 提供一种构造性框架，用于定义与图的组合与拓扑结构相容的拓扑。

提出的方法

• 使用可缩子图子基 𝒮 定义图拓扑，其中任意两个相交子图满足 dim(A ∩ B) ≥ min(dim(A), dim(B))。
• 从子基构造神经图 𝒢，当子图满足维数条件时在它们之间建立边，并要求 𝒢 同伦于原图 G。
• 使用公式 dim(G) = (1/|V|)∑ₓ(1 + dim(S(x))) 定义图维数，其中 dim(∅) = -1，S(x) 为 x 处的单位球面。
• 将图之间映射 φ 的连续性定义为神经图之间的图同态，且对所有 A ∈ 𝒮 满足 dim(φ(A)) ≤ dim(A)。
• 将图同胚定义为连续的双射，其逆也连续，并在神经图上诱导同构。
• 利用Lefschetz数推导出离散不动点定理：任意非零Lefschetz数的图同胚均固定一个非平凡不变开集。

实验结果

研究问题

• RQ1 能否定义一种图同胚概念，使其保持维数、上同调与欧拉示性数等关键拓扑不变量？
• RQ2 如何利用维数定义子基中子图之间的连接条件，以确保神经图同伦于原图？
• RQ3 图同胚是否存在Kakutani不动点定理的离散类比？若存在，其条件为何？
• RQ4 图上的单位球面拓扑是否总能产生有效的图拓扑？何时因交集中维数不匹配而失效？
• RQ5 图同胚是否保持平面性？能否通过子基拓扑与维数约束来刻画？

主要发现

• 所提出的图同胚保持子基的维数、上同调与欧拉示性数，确保了拓扑不变性。
• 子基的神经图 𝒢 必须同伦于原图 G，而仅靠单位球面子基通常无法满足此条件。
• 对三角形与二十面体，该方法产生同胚图，其维数谱相同 {1,2,1,2,1,3}，拓扑维数为 1.25。
• 拓扑维数（对 𝒮 中 A 的 dim(A) 取平均）与 dim(𝒢) 依赖于子基的选择，而与图的内在维数 dim(G) 不同。
• 建立了离散Kakutani不动点定理：任意非零Lefschetz数的图同胚 T 均固定一个非平凡不变开集。
• 当两个距离为2的球面交集的维数高于单个球面时，单位球面拓扑无法产生有效的图拓扑，因此神经图中必须引入维数相关的连接条件。