[論文レビュー] Lack of Sphere Packing of Graphs via Non-Linear Potential Theory

Itaï Benjamini, Oded Schramm|arXiv (Cornell University)|Oct 16, 2009

Geometric and Algebraic Topology参考文献 14被引用数 16

ひとこと要約

本稿では、特定の無限グラフ——具体的には整数格子 $\mathbb{Z}^{d+1}$、$\mathcal{H}^{d+1}$ 内の共(compact)双曲的格子、および3正則木と $\mathbb{Z}$ の積——が、任意の $d \geq 1$ に対して $\mathbb{R}^d$ 内に準球詰めを許容しないことを確立している。証明は非線形ポテンシャル理論、特に $L^p$-コホモロジーと非定数 $d$-調和関数の非存在を用いており、グラフ構造に内在する幾何学的・解析的障害によって、このような詰めが不可能であることを示している。

ABSTRACT

It is shown that there is no quasi-sphere packing of the lattice grid Z^{d+1} or a co-compact hyperbolic lattice of H^{d+1} or the 3-regular tree imes Z, in R^d, for all d. A similar result is proved for some other graphs too. Rather than using a direct geometrical approach, the main tools we are using are from non-linear potential theory.

研究の動機と目的

• $d > 2$ の場合に、従来の幾何的不変量（分離関数など）が失敗するような、無限グラフが $\mathbb{R}^d$ 内に準球詰めを許容するかを同定すること。
• 非線形ポテンシャル理論の道具を導入することで、平面グラフを超えた球詰めの障害を拡張して理解すること。
• $L^p$-コホモロジーと非定数 $p$-調和関数の不在に基づく、新しい解析的基準を確立し、ユークリッド空間内での準球詰めの排除を可能にすること。
• $\mathbb{Z}^{d+1}$ や双曲的格子のような、非平面的かつ高次元の主要なグラフの非詰め問題を、コホモロジー不変量を用いて解決すること。

提案手法

• 著者たちは、非線形ポテンシャル理論、特に $p$-ディリクレエネルギーと $p$-調和関数を用いて、グラフの解析的構造を分析する。
• 非自明な $p$-ディリクレ関数の存在に基づいて、グラフを $p$-パラボリックおよび $p$-非パラボリックに分類する。
• 主な手法は、グラフが $d$-非パラボリックであり、かつ非定数 $d$-ディリクレ $d$-調和関数をもたないならば、$\mathbb{R}^d$ 内に準球詰めができないことを示すことである。
• $L^p$-コホモロジーの粗等長不変性を用いて、リーマン多様体（例：$\mathcal{H}^{d+1}$）から離散的グラフへ結果を移す。
• $\mathcal{H}^{d+1}$ の $L^p$-コホモロジーが $p \leq d$ のとき消えることから、$\mathcal{H}^{d+1}$ 内の共(compact)格子上には非定数 $d$-調和関数が存在しないことが示される。
• 3正則木 × $\mathbb{Z}$ については、$\mathbb{Z}$-不変性を用いて、任意の $p$-調和関数が定数でなければならないことを示し、したがって非定数 $d$-調和関数が存在しないことを導く。

実験結果

リサーチクエスチョン

• RQ1 任意の $d \geq 1$ に対して、格子 $\mathbb{Z}^{d+1}$ は $\mathbb{R}^d$ 内に準球詰め可能か？
• RQ2 共(compact)格子が $\mathcal{H}^{d+1}$ 内に存在する場合、$\mathbb{R}^d$ 内に準球詰め可能か？
• RQ3 3正則木と $\mathbb{Z}$ の積グラフは、$\mathbb{R}^d$ 内に準球詰め可能か？
• RQ4 グラフが $\mathbb{R}^d$ 内に準球詰めを許容しないような、解析的またはコホモロジー的条​​件は何か？
• RQ5 $\mathbb{R}^3$ 上の有界幾何的リーマン計量のうち、大体等長なグラフが準球詰め可能となるのはどれか？

主な発見

• $\mathbb{Z}^{d+1}$ は任意の $d \geq 1$ に対して $\mathbb{R}^d$ 内に準球詰めできない。これは $d$-非パラボリックであるが、非定数 $d$-ディリクレ $d$-調和関数をもたないためである。
• $\mathcal{H}^{d+1}$ 内の共(compact)格子は $\mathbb{R}^d$ 内に準球詰めできない。これは $L^d$-コホモロジーが消えることから、非定数 $d$-調和関数が存在しないことが示される。
• 3正則木 × $\mathbb{Z}$ は $\mathbb{R}^d$ 内に準球詰めできない。これは $\mathbb{Z}$-不変性と有限な $p$-エネルギーから、任意の $p$-調和関数が定数でなければならないためである。
• 有界次数かつ $d$-非パラボリックなグラフが $\mathbb{R}^d$ 内に準球詰めを許容するためには、$L^d$-コホモロジーが非自明でなければならない。これは必要な条件を示している。
• $L^p$-コホモロジーの粗等長不変性により、$\mathcal{H}^{d+1}$ や 3正則木 × $\mathbb{Z}$ に大体等長なすべてのグラフへも結果が拡張可能である。
• 本稿では、高ランクの単純なリー群の格子が、任意の $d$ に対して $\mathbb{R}^d$ 内に準球詰めできないことも確立している。これは、$p \leq d$ のとき $L^p$-コホモロジーが自明であるためである。