[论文解读] 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.

研究动机与目标

• 探究无限图是否能通过热核分布表现出一致扩张，类比本杰明关于度量球的猜想。
• 确定是否存在一个无限图，使得从任意根出发的热核随时间均产生一致扩张的测度。
• 建立在无限、有界度图中，通过热核实现一致扩张是不可能的。
• 发展平稳随机图的结构性结果，特别是其超有限性与泊松边界的可约性。
• 提供一个反例，表明尽管根图可在所有尺度上扩张，但无根热核无法实现一致扩张。

提出的方法

• 通过条件定义热核的 h-扩张：对于任意满足 μⁿₒ(A) ≤ 1/2 的集合 A，其边界测度至少为 h·μⁿₒ(A)。
• 利用 Gromov-Hausdorff 收敛性证明：若热核在某图上为 ε-扩张，则其在该图的极限图上也保持 ε-扩张。
• 将平稳随机图构造为图上随机游走路径经验测度的弱-* 极限。
• 通过与测度等价关系及可约性的联系，证明任意平稳随机图均为平稳超有限。
• 证明平稳随机图的泊松边界是可约的，从而蕴含超有限性，这与一致扩张矛盾。
• 通过导出矛盾证明：假设一致扩张将导致概率之和超过 1，违反随机性。

实验结果

研究问题

• RQ1 是否存在一个无限、有界度图，其热核在所有尺度上均一致扩张？
• RQ2 是否存在一个根固定的无限图，使得从该根出发的热核一致扩张？
• RQ3 平稳随机图是否几乎必然地允许一致扩张的热核？
• RQ4 平稳随机图具有哪些结构性质，使其无法实现一致扩张？
• RQ5 泊松边界的可约性如何与无限图中热核的非扩张性相关联？

主要发现

• 不存在任何无限、连通、有界度图，其热核为一致扩张。
• 本杰明关于所有尺度上扩张图的猜想在热核上的类比为假：不存在此类无限图。
• 任何有界度的平稳随机图几乎必然为平稳超有限，此结果本身具有独立兴趣。
• 平稳随机图的泊松边界是可约的，这蕴含超有限性，从而阻碍一致扩张。
• 证明依赖于矛盾：假设一致扩张将导致概率之和超过 1，违反随机性。
• 尽管根图可在所有尺度上扩张（例如通过扩张商构造），但无根热核无法实现一致扩张。