[論文レビュー] Expanders are order diameter non-hyperbolic

Anton Malyshev|arXiv (Cornell University)|Jan 30, 2015

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

ひとこと要約

この論文は、拡張グラフがグロモフの意味で双曲的でないことを証明しており、その双曲的定数 δΓ が直径と同程度以上に増大すること、すなわち δΓ = Ω(diam Γ) であることを示している。主張は、測地線に沿った中心の円筒領域を除去したとき、拡張グラフと双曲空間における距離の歪みの比較を通じて、拡張グラフでは双曲的性質が直径に対して非線形にスケーリングされ得ないことを示している。

ABSTRACT

We show that expander graphs must have Gromov-hyperbolicity at least proportional to their diameter, with a constant of proportionality depending only on the expansion constant and maximal degree. In other words, expanders contain geodesic triangles which are $Ω(\mathop{ m diam} Γ)$-thick.

研究の動機と目的

• 拡張グラフ族が漸近的に双曲的であるかどうか、すなわちサイズが大きくなるにつれて測地線三角形が確率的に δ-細くなるかどうかを解明すること。
• 従来の Gromov-双曲的性質に関する下界 δΓ = O(log |Γ| / log log |Γ|) を改善し、より強い Ω(log |Γ|) の下界を示すこと。
• 双曲的性質が直径に線形依存することを用いて、いかなる拡張グラフ族も木を漸近的コーンとして持てないことを確立すること。
• 双曲空間において測地線に沿った中心の円筒領域（半径 R）を除去すると、任意のパスの長さが少なくとも exp(Ω(R/δ)) 倍に増加するが、これに対して拡張グラフではこのような除去が定数倍の歪みしか引き起こさないことを対比させること。

提案手法

• 拡張グラフ内の2頂点 p と q の間の測地線セグメントに沿って、半径 R ≈ diam(Γ)/3 の中心の円筒領域を用意する。
• 強い拡張性により接続性が保たれるため、拡張グラフではこの円筒領域を除去しても距離 d(p,q) が定数倍以内にしか増加しないことを示す。
• 対照的に、δ-双曲的空間では、このような円筒領域を除去すると、p から q への任意のパスが、exp(Ω(R/δ)) = exp(Ω(diam(Γ)/δ)) 倍に長くなる。
• δΓ が diam(Γ) に対して非線形であると仮定すると矛盾が生じるため、δΓ = Ω(diam(Γ)) であると結論づける。
• 双曲空間に関する幾何学的補題（例：測地線の δ-近傍を避けるパスは指数関数的に長くなる）を活用する。
• 帰納法と最近点射影を用いて、δ-双曲的空間における中心測地線セグメントを避けるパスの長さを評価し、ℓ(γ) ≥ δ·2^{R/δ} を証明する。

実験結果

リサーチクエスチョン

• RQ1 固定された δ に対して、|Γ| → ∞ のとき、拡張グラフ族の測地線三角形が確率的に δ-細くなることは可能か？
• RQ2 直径の観点から、拡張グラフの Gromov-双曲的性質定数 δΓ の最良の下界は何か？
• RQ3 拡張グラフの拡張性と直径の性質を考慮すると、その族が漸近的コーンとして木を持つことは可能か？
• RQ4 球体ではなく円筒領域を除去した場合、双曲空間と拡張グラフにおける距離歪みはどのように異なるか？
• RQ5 δ-双曲的空間において、測地線セグメントの δ-近傍を避けるパスの最小長さは何か？また、その長さはセグメントからの距離にどのように依存するか？

主な発見

• 拡張グラフの Gromov-双曲的性質定数は δΓ = Ω(diam(Γ)) を満たし、直径に比例して増大する。
• 従来の下界 δΓ = Ω(log |Γ| / log log |Γ|) および δΓ = Ω(log |Γ|) よりも強く、δΓ = Ω(diam(Γ)) の下界を示した。
• この結果により、いかなる拡張グラフ族も木を漸近的コーンとして持てないことが示され、木は 0-双曲的であるが、拡張グラフはそうではないためである。
• δ-双曲的空間において、長さ D の測地線セグメントの R-近傍を避けるパスの長さは、少なくとも δ·2^{R/δ} 以上である。これは R/δ に指数的に依存する。
• 主な幾何学的補題は、測地線 pq 上の点 r がパス γ から距離 R 離れている場合、ℓ(γ) ≥ δ·2^{R/δ} が成り立つことを示し、迂回路の長さに対する指数的下界を確立する。
• 球体ではなく円筒近傍を用いることで、従来の証明に見られる対数因子を回避でき、双曲的性質の下界をより厳密に導ける。