[論文レビュー] 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 の商格子として得られることを示している。主な結果は、このようなグラフが剛体的なグローバルな代数的構造を持つこと、および半径 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.

研究の動機と目的

• d ≥ 3 に対して、d 次元整数格子 ℤ^d に対して半径 3 まで局所的に区別不能な有限で連結なグラフを特徴づけること。
• 特にその剛体性と対称性を含む、このようなグラフのグローバルな代数的構造を理解すること。
• このような特徴づけにおける半径条件を 3 から 2 に緩和できないこと、およびオルビフォールドが多様体に置き換えられないことの証明。
• 既知の構造定理を d=2 の場合に再考し、新しい代数的証明と再定式化を行うこと。
• 将来の ℤ^d や他のカイリー・グラフに局所的に同型なランダム・グラフの研究の基盤を築くこと。

提案手法

• グラフの局所同型性を分析するために、組合せ論的、幾何的、群論的技法を組み合わせて用いる。
• 任意の頂点の周りの r-ボールが ℤ^d のそれと一致するグラフに対して、r-局所同型の概念を適用する。
• 最大距離 r での辺の有無を区別するため、弱い r-局所同型の概念を用いる。
• このようなグラフの自己同型群と被覆性質を分析し、それらが結晶学的群による ℤ^d の商であることを示す。
• 幾何的群論およびトポロジーの結果、特にオルビフォールド理論とレベル k における単連結複体の理論を用いる。
• 既知のカイリー・グラフおよび被覆に関する定理を活用し、ℤ^d に局所的に同型なグラフの構造的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 3 に対して、3-局所同型な有限で連結なグラフが ℤ^d に同型である場合のグローバル構造は何か？
• RQ2 このような特徴づけにおける半径条件を 3 から 2 に緩和しても、グローバル構造の剛体性を失わずに行えるか？
• RQ3 なぜオルビフォールドが特徴づけに不可欠であり、多様体では置き換えられないのか？
• RQ4 d ≥ 3 の場合と d=2 の場合の結果にはどのような相違があり、2次元における既知の定理にどのような新たな洞察をもたらすか？
• RQ5 結晶学的群は、このようなグラフが ℤ^d の商として分類される際に果たす役割は何か？

主な発見

• d ≥ 3 に対して 3-局所同型なすべての有限で連結なグラフは、結晶学的群による ℤ^d の商として得られ、それらはコンパクトな d 次元オルビフォールドを形成する。
• 半径 3 の条件が最適である：半径 2 まで ℤ^d に局所的に同型なが ℤ^d の商でないグラフが存在することから、特徴づけには半径 3 が必要であることが示された。
• 分類においてオルビフォールドが不可欠である。明示的な反例により、多様体を用いた記述では不可能であることが示された。
• d=2 の場合、本手法により、トーマッセーンおよびマルケス＝アラゴンらの構造定理に対する新しい代数的証明と再定式化が得られ、より簡潔な代数的枠組みが提供された。
• r ≥ r*(d) に対して、r*(d) = 3（d ≥ 3 の場合）および 2（d=2 の場合）が成り立つとき、任意の連結なグラフが ℤ^d に r-局所同型であれば、それらは ℤ^d に被覆されることが示された。
• 本論文は、局所同型と被覆写像の間の関係を確立し、半径条件を満たす場合、このようなグラフが ℤ^d の正則被覆であることを示した。