[論文レビュー] On the separation profile of infinite graphs

Itaï Benjamini, Oded Schramm+1 more|arXiv (Cornell University)|Apr 6, 2010

Geometric and Algebraic Topology参考文献 15被引用数 3

ひとこと要約

本稿では、無限グラフ、特にカイリー・グラフと双曲空間に対して、粗い幾何的不変量としての分離プロファイルを導入する。有限の分離性は有界な木幅に相当することを示し、さまざまな群（例えば、自由群の積では $n / \log n$、$ olimits\mathbb{Z}^d$ では $n^{(d-1)/d}$）の分離関数を証明する。また、$ olimits\mathbb{Z}^2$ から $ olimits\mathbb{Z}$ 上のランプライト群への半正則写像が存在しないことを示し、分離性と漸近次元、調和関数を結びつける。

ABSTRACT

Initial steps in the study of inner expansion properties of infinite Cayley graphs and other infinite graphs, such as hyperbolic ones, are taken, in a flavor similar to the well-known Lipton-Tarjan square root separation result for planar graphs. Connections to relaxed versions of quasi-isometries are explored, such as regular and semiregular maps.

研究の動機と目的

• 無限グラフおよびパス距離空間に対する粗い幾何的不変量としての分離プロファイルを定義し、分析すること。
• 代表的な無限グラフ、特に中間的成長を示す群のカイリー・グラフ、双曲空間、グラフの積の分離関数を特定すること。
• 分離プロファイルと正則・半正則写像、および漸近次元や調和関数といった不変量との関係を調査すること。
• 頂点推移的グラフにおいて、線形または $n/\log n$ の分離成長が最大で可能かどうかを調査すること。
• 特定の空間間、例えば $ olimits\mathbb{Z}^2$ と $ olimits\mathbb{Z}$ 上のランプライト群の間で、半正則写像が存在するか否かという構造的問題を解明すること。

提案手法

• 分離関数 $\text{sep}_G(x)$ を、サイズ $x$ の部分グラフのうち、各成分がサイズ $x/2$ 以下に分割されるために必要な最小頂点カットの上界として定義する。
• 正則および半正則写像の概念を用いて、異なる空間間の分離プロファイルを関連づけ、このような写像の下で分離性が単調非減少であることを示す。
• $ olimits\mathbb{Z}^2$ における準レベル集合と成分の成長を応用し、$ olimits\mathbb{Z}$ やランプライト群への半正則写像の非存在を証明する。
• 漸近次元理論を活用し、$X \to_{\text{s-reg}} Y$ ならば $\text{asdim}(X) \leq \text{asdim}(Y)$ が成り立つことを示し、これにより特定の写像が排除されることを示す。
• 具体的な例を分析する：$ olimits\mathbb{Z}^d$ では分離性が $n^{(d-1)/d}$、$T \times T$ では分離性が $n / \log n$、双曲グラフでは分離性は定数または少なくとも対数的に増加する。
• 有限分離性は有界な木幅に等しく、有限分離性を示すグラフの構造を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 推移的またはカイリー・グラフによって実現可能な分離関数は何か。また、このようなグラフの成長率として可能なものは何か。
• RQ2 $n/\log n$ は頂点推移的グラフにおける分離成長の最大値か。線形分離が可能かどうか。
• RQ3 スペクトル半径が 1 より小さいことと弱い分離条件が、非定数有界調和関数の存在を示唆するか。
• RQ4 $ olimits\mathbb{Z}^2$ から $ olimits\mathbb{Z}$ 上のランプライト群への半正則写像が存在するか。このことから漸近次元と分離プロファイルにどのような意味が生じるか。
• RQ5 $ olimits\mathbb{H}^2$ から $T \times \mathbb{Z}$ への半正則写像が存在するか。これは粗い幾何的不変量とどのように関係するか。

主な発見

• $ olimits\mathbb{Z}^d$ の分離関数は $n^{(d-1)/d}$ であり、次元にべき則的な依存性を示す。
• $T \times T$（正則木の積）の分離関数は $\asymp n / \log n$ であり、多項式的成長と対数的成長の間の鋭い遷移を示す。
• グラフにおける有限分離性は、有界な木幅に等しく、構造的特徴づけを提供する。
• $ olimits\mathbb{Z}^2$ から $ olimits\mathbb{Z}$ への半正則写像は存在せず、したがって $ olimits\mathbb{Z}$ 上のランプライト群への写像も存在しない。これは準レベル集合における成分の成長が無限大に発散するためである。
• グロモフ双曲グラフでは、分離関数は定数または少なくとも対数的に増加する。これはギャップ定理を確立する。
• 漸近次元は半正則写像の下で単調である。この性質により、特定の写像（例えば $n > m$ のとき $ olimits\mathbb{Z}^n$ から $ olimits\mathbb{Z}^m$ への写像）が排除され、トポロジカルな障害を提供する。