[論文レビュー] Heat kernels are not uniform expanders

Mikołaj Frączyk, Wouter van Limbeek|arXiv (Cornell University)|May 31, 2019

Stochastic processes and statistical mechanics参考文献 13被引用数 4

ひとこと要約

この論文は、無限で有界次数のグラフが、拡張する熱核を持てないことを証明している—つまり、ランダムウォークの位置分布がいかなるスケールでも一様に拡張しないことを意味する。著者たちは、定常的ランダムグラフ理論とポワンソーバンティリーのアメニティを用いて、このようなグラフは一様に拡張できないこと、したがって、すべてのスケールにおけるベンジャミンの拡張子に関する予想の熱核版が解けないことを示している。

ABSTRACT

We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary random graphs, in particular proving non-expansion of heat kernels in that setting. A key result is that any stationary random graph is stationary hyperfinite, which is potentially of independent interest.

研究の動機と目的

• 無限グラフが、メトリックボールに関するベンジャミンの予想に類似した熱核分布を通じて一様に拡張できるかどうかを調査すること。
• 任意のルートから出発する熱核が時間とともに一様に拡張する測度を持つような無限グラフが存在するかどうかを特定すること。
• 無限で有界次数のグラフにおいて、このような一様な拡張が熱核を通じて不可能であることを確立すること。
• 特に、そのハイパーファイニットネスとポワンソーバンティリーのアメニティに注目した、定常的ランダムグラフに関する構造的結果を発展させること。
• ルート付きグラフがすべてのスケールで拡張可能であっても、非ルート付きの熱核が一様に拡張できないことを示す反例を提供すること。

提案手法

• 任意の集合 A について μⁿₒ(A) ≤ 1/2 であるとき、境界の測度が h·μⁿₒ(A) 以上であるという条件を用いて、熱核の h-拡張を定義する。
• Gromov-Hausdorff 収束を用いて、熱核がグラフ上で ε-拡張可能であれば、その極限グラフに対しても同様に成り立つことを示す。
• ランダムウォークのパスの経験的測度の弱-* 収束として、定常的ランダムグラフを構成する。
• 測度付き同値関係との関係とアメニティを用いて、任意の定常的ランダムグラフが定常的ハイパーファイニットであることを証明する。
• 定常的ランダムグラフのポワンソーバンティリーがアメニタリーであることを確立し、これによりハイパーファイニットネスが導かれ、一様拡張と矛盾することを示す。
• 一様拡張が成り立つと仮定すると、確率の和が 1 を超えることが示され、確率論的整合性に反することを導くことで、矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 無限で有界次数のグラフが、すべてのスケールで一様に拡張する熱核を持つことは可能か？
• RQ2 固定されたルートから出発するルート付き無限グラフで、熱核が一様に拡張するものは存在するか？
• RQ3 定常的ランダムグラフは、ほとんど確実に一様に拡張する熱核を持つだろうか？
• RQ4 定常的ランダムグラフが一様拡張を妨げる構造的性質は何か？
• RQ5 ポワンソーバンティリーのアメニティは、無限グラフにおける熱核の非拡張性とどのように関係するか？

主な発見

• 一様に拡張する熱核を持つような、無限で連結で有界次数のグラフは存在しない。
• ベンジャミンの予想における拡張子の熱核版は誤りである：このような無限グラフは存在しない。
• 任意の有界次数の定常的ランダムグラフは、ほとんど確実に定常的ハイパーファイニットである。これは独立に興味深い結果である。
• 定常的ランダムグラフのポワンソーバンティリーはアメニタリーである。これによりハイパーファイニットネスが導かれ、一様拡張を妨げる。
• 証明は矛盾に基づく：一様拡張を仮定すると、確率の和が 1 を超えることが示され、確率論的整合性に反する。
• ルート付きグラフがすべてのスケールで拡張可能（例えば、拡張子商を用いて）であっても、非ルート付きの熱核は一様に拡張できない。