[论文解读] Minimal growth harmonic functions on lamplighter groups

Itaï Benjamini, Hugo Duminil‐Copin+2 more|arXiv (Cornell University)|Jul 4, 2016

Advanced Mathematical Modeling in Engineering参考文献 18被引用 5

一句话总结

本文研究了灯塔群上非平凡调和函数的最小增长，证明了 $(\mathbb{Z}/2)\wr\mathbb{Z}$ 不支持次线性调和函数，$ (\mathbb{Z}/2)\wr\mathbb{Z}^2 $ 不支持次对数调和函数，且与 $ \mathbb{Z}^2 $ 的重复半直积也缺乏此类函数。通过耦合论证和基于熵的界，作者表明 Derriennic-Kaimanovich-Vershik 定理所得的 $ \sqrt{n/H_n} $ 增长界对这些群并不紧致，揭示了比以往已知更强的调和函数增长限制。

ABSTRACT

We study the minimal possible growth of harmonic functions on lamplighters. We find that $(\mathbb{Z}/2)\wr \mathbb{Z}$ has no sublinear harmonic functions, $(\mathbb{Z}/2)\wr \mathbb{Z}^2$ has no sublogarithmic harmonic functions, and neither has the repeated wreath product $(\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$. These results have implications on attempts to quantify the Derriennic-Kaimanovich-Vershik theorem.

研究动机与目标

• 确定灯塔群上非平凡调和函数可能的最小增长速率。
• 研究基于 Derriennic-Kaimanovich-Vershik 定理导出的 $ \sqrt{n/H_n} $ 调和函数增长界是否对灯塔群是紧致的。
• 通过显示特定灯塔群中更强的增长限制，量化 $ \sqrt{n/H_n} $ 界的失效程度。
• 将调和函数增长结果推广至与 $ \mathbb{Z}^2 $ 的迭代半直积，这些群是常返的。

提出的方法

• 在 $ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上构造两个随机游走的耦合，使其从仅在位置 0 处灯状态不同的相邻群元素出发。
• 对在两个游走首次同时达到 $ \pm r $ 时评估的调和函数应用可选停时定理，利用耦合来界定函数值差异。
• 通过 $ \mathbb{Z} $ 上简单随机游走的常返性与常返性性质，将时间 $ T_r $ 前未粘连的概率界为 $ C/r $。
• 使用基于熵的不等式，特别是将增量熵 $ H(X_n) - H(X_{n-1}) $ 与调和函数的方差通过互信息和费雪信息联系起来。
• 通过互信息应用 Cramér-Rao 不等式的版本，推导出关键不等式：$ (\mathbb{E}_z |h(X_1)-h(z)|)^2 \leq 4 \mathbb{E}_z[|h(X_n)-h(z)|^2] \cdot (H(X_n) - H(X_{n-1})) $。
• 利用多项式增长群中 $ H(X_n) = O(\log n) $ 且对无穷多个 $ n $ 有 $ H(X_n) - H(X_{n-1}) = O(n^{-1}) $ 的事实，证明次线性调和函数必为常数。

实验结果

研究问题

• RQ1 在 $ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上，调和函数增长的 $ \sqrt{n/H_n} $ 界是否代表了真实的最小增长速率？
• RQ2 尽管 $ \sqrt{n/H_n} $ 界暗示可能存在 $ n^{1/4} $ 增长，但 $ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上是否存在次线性调和函数？
• RQ3 $ (\mathbb{Z}/2)\wr\mathbb{Z}^2 $ 和与 $ \mathbb{Z}^2 $ 的迭代半直积是否支持任何增长慢于对数的非平凡调和函数？
• RQ4 该 $ \sqrt{n/H_n} $ 界对所有有限生成群都是紧致的，还是存在更强调和函数增长限制的群？
• RQ5 对于熵更高的群（如灯塔群），是否可以定量改进基于熵的调和函数增长界？

主要发现

• 灯塔群 $ (\mathbb{Z}/2)\wr\mathbb{Z} $ 不支持任何非平凡次线性增长的调和函数，即不存在 $ h(x) = o(|x|) $，尽管 $ \sqrt{n/H_n} $ 界暗示最多可达 $ n^{1/4} $ 的增长是可能的。
• 对于 $ (\mathbb{Z}/2)\wr\mathbb{Z}^2 $，不存在任何非平凡调和函数呈次对数增长，即 $ h(x) = o(\log |x|) $ 不可能。
• 重复半直积 $ \dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2 $（共 $ k $ 次）也不存在任何非平凡次对数增长的调和函数。
• 在 $ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上，随机游走的熵为 $ \sqrt{n} $，因此 $ \sqrt{n/H_n} $ 界仅给出 $ n^{1/4} $ 的增长，但实际界要紧密得多：不存在次线性函数。
• 证明技术表明，$ (\mathbb{Z}/2)\wr\mathbb{Z} $ 上的调和函数若增长慢于线性，则必为常数，这是由于耦合论证强制其与所有灯状态独立。
• 该结果意味着 $ \sqrt{n/H_n} $ 界对灯塔群不紧致，且调和函数的实际结构约束强于仅由熵所暗示的约束。