[论文解读] On the structure of graphs which are locally indistinguishable from a lattice

Itaï Benjamini, David Ellis|arXiv (Cornell University)|Sep 26, 2014

Advanced Graph Theory Research参考文献 14被引用 3

一句话总结

该论文刻画了在 d ≥ 3 时与 d 维整数格点 ℤ^d 3-局部同构的有限连通图，表明它们作为 ℤ^d 关于紧致 d 维轨道丛的商格点，由晶体学群实现。关键结果是此类图具有刚性全局代数结构，且半径 3 是最优的——将半径减小至 2 会破坏这种刚性，且轨道丛不可被流形替代。

ABSTRACT

We study the properties of finite graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to some fixed graph $F$. This is a natural extension of the study of regular graphs, and of the study of graphs of constant link. We focus on the case where $F$ is $\mathbb{L}^d$, the $d$-dimensional square lattice. We obtain a characterisation of all the finite graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius $3$ in $\mathbb{L}^d$, for each integer $d \geq 3$. These graphs have a very rigidly proscribed global structure, much more so than that of $(2d)$-regular graphs. (They may be viewed as quotient lattices of $\mathbb{L}^d$ in various compact orbifolds.) In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen and of Márquez, de Mier, Noy and Revuelta, and also yield short, `algebraic' restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, algebraic topology and group theory.

研究动机与目标

• 刻画在半径 3 范围内与 d 维整数格点 ℤ^d 局部不可区分的有限连通图。
• 理解此类图的全局代数结构，特别是其刚性与对称性。
• 证明该半径条件无法弱化至 2，且轨道丛不可被流形替代。
• 为 d=2 情况提供已知结构定理的新代数证明与重述。
• 为未来研究局部同构于 ℤ^d 及其他凯莱图的随机图奠定基础。

提出的方法

• 结合组合、几何与群论技术，分析图的局部同构性质。
• 应用 r-局部同构的概念，分析其在每个顶点的 r-球与 ℤ^d 中相同的图。
• 使用弱 r-局部同构的概念，以区分在最大距离 r 处包含或排除边的结构。
• 分析此类图的自同构群与覆盖性质，表明它们是 ℤ^d 关于晶体学群的商图。
• 运用几何群论与拓扑学结果，包括轨道丛理论与 k 级别单连通复形理论。
• 利用凯莱图与覆盖的已知定理，推导出局部同构于 ℤ^d 的图的结构约束。

实验结果

研究问题

• RQ1 对于 d ≥ 3，与 d 维整数格点 ℤ^d 3-局部同构的有限连通图的全局结构是什么？
• RQ2 此类刻画中的半径条件能否从 3 弱化至 2 而不损失全局结构的刚性？
• RQ3 为何轨道丛在刻画中是必需的？为何不能用流形描述该结构？
• RQ4 d ≥ 3 的结果与 d=2 情况有何不同？它们为 2D 中已知定理提供了哪些新见解？
• RQ5 晶体学群在将此类图分类为 ℤ^d 的商图中起什么作用？

主要发现

• 所有在 d ≥ 3 时与 ℤ^d 3-局部同构的有限连通图，均作为 ℤ^d 关于晶体学群的商图，形成紧致 d 维轨道丛。
• 半径 3 条件是最优的：存在图是 2-局部 ℤ^d 但不是 ℤ^d 的商图，表明半径 3 对刻画是必要的。
• 轨道丛在分类中是必需的；该结构无法用流形描述，已通过显式反例证明。
• 对于 d=2，该方法为汤马森与马尔库斯等人所证结构定理提供了新的代数证明与重述，构建了更简洁的代数框架。
• 结果表明，对于 r ≥ r*(d)，其中 r*(d) = 3（当 d ≥ 3 时）且 r*(d) = 2（当 d=2 时），任何与 ℤ^d r-局部同构的连通图均被 ℤ^d 覆盖。
• 本文建立了局部同构与覆盖映射之间的联系，表明在满足半径条件时，此类图是 ℤ^d 的正则覆盖。