[论文解读] Isoperimetric profiles and random walks on some permutation wreath products

Laurent Saloff‐Coste, Tianyi Zheng|arXiv (Cornell University)|Oct 29, 2015

Limits and Structures in Graph Theory参考文献 17被引用 8

一句话总结

本文为通过置换半直积构造的某些阿贝尔群在具有大一维结构的Schreier图上建立了$ L^1 $与$ L^2 $等周轮廓的精确界限。利用这些轮廓，推导出简单随机游走返回概率的精确渐近估计，包括新型行为如$ \Phi_G(n) \simeq \exp\left(-n^{\gamma}(\log n)^{1-\gamma}\right) $（$ \gamma \in [1/3,1) $）和$ \Phi_G(n) \simeq \exp\left(-n^{1/3}(\log n)^{2(1+\kappa)/3}\right) $（$ \kappa > 0 $），展示了多样的亚扩散衰减速率。

ABSTRACT

We study the isoperimetric profiles of certain families of finitely generated groups defined via marked Schreier graphs and permutation wreath products. The groups we study are among the "simplest" examples within a much larger class of groups, all defined via marked Schreier graphs and/or action on rooted trees, which includes such examples as the long range group, Grigorchuck group and the basillica group. The highly non-linear structure of these groups make them both interesting and difficult to study. Because of the relative simplicity of the Schreier graphs that define the groups we study here (the key fact is that they contained very large regions that are "one dimensional"), we are able to obtain sharp explicit bounds on the $L^1$ and $L^2$ isoperimetric profiles of these groups. As usual, these sharp isoperimetric profile estimates provide sharp bounds on the probability of return of simple random walk. Nevertheless, within each of the families of groups we study there are also many cases for which the existing techniques appear inadequate and this leads to a variety of open problems.

研究动机与目标

• 分析通过置换半直积与标记Schreier图定义的一类阿贝尔群中的等周轮廓与随机游走行为。
• 理解Schreier图的几何结构——特别是其大一维区域——如何影响所生成群的$ L^1 $与$ L^2 $等周轮廓。
• 为这些群推导$ L^1 $与$ L^2 $等周轮廓的精确显式界限，从而获得简单随机游走返回概率的精确估计。
• 识别在经典多项式或指数模型中未涵盖的新类随机游走衰减行为，特别是在中等增长群中。
• 突出当前技术在失效的开放问题，特别是在具有复杂Schreier图结构的群族中。

提出的方法

• 作者利用具有大一维区域的Schreier图结构，构造显式测试函数以捕捉群的等周行为。
• 通过在测度为$ v $的集合上函数的$ L^2 $-范数的下确界，结合Dirichlet能量进行归一化，定义$ L^1 $与$ L^2 $等周轮廓$ \Lambda_{1,G}(v) $与$ \Lambda_{2,G}(v) $。
• 关键技术在于在基空间的有限子集空间上构造可容许函数$ F_n $，利用轨道上的乘积结构，确保Rayleigh商较小。
• 利用三角恒等式与余弦不等式$ \cos(x) \geq e^{-x^2} $（当$ x $较小时），对Rayleigh商$ \mathcal{Q}_{\mathcal{P}_f(\mathcal{S}),\mu}(F_n) $进行上界估计，将其与有效电阻$ \mathcal{R}_{\mathcal{S},\mu}(J_n \leftrightarrow B_n^c) $联系起来。
• 该方法依赖于存在一个函数$ h $，使得$ \|s \cdot h - h\|_{L^2(X)}^2 \leq 1/2 $，从而控制群作用在测试函数上的$ L^2 $-范数。
• 该构造应用于两类群：'气泡群'与'循环Neumann-Segal群'，其Schreier图在所有尺度上均表现出自相似的一维特征。

实验结果

研究问题

• RQ1 对于具有大一维分量的Schreier图上构造的置换半直积群，其$ L^1 $与$ L^2 $等周轮廓的精确渐近行为是什么？
• RQ2 此类群的等周轮廓如何影响其上简单随机游走的返回概率$ \Phi_G(n) $？
• RQ3 是否能在经典多项式与指数模型之外的阿贝尔群中实现新的随机游走衰减速率类别？
• RQ4 Schreier图的何种结构特征——特别是其一维性——使得这些群中能够实现精确的等周估计？
• RQ5 在分析更复杂的Schreier图结构时，当前技术是否存在固有局限性？此类情况下会产生哪些开放问题？

主要发现

• 本文证明，对于依赖于连续参数$ \gamma > 1 $的一类群，返回概率满足$ \Phi_G(n) \simeq \exp\left(-n \cdot 2^{-2((1+\gamma)\log_2 n)^{\gamma/(1+\gamma)}}\right) $，代表一种新型亚扩散衰减速率。
• 对于每个$ \gamma \in [1/3,1) $，本文构造出满足返回概率$ \Phi_G(n) \simeq \exp\left(-n^\gamma (\log n)^{1-\gamma}\right) $的群，扩展了已知衰减行为的范围。
• 本文提供了显式例子，其中对任意$ \kappa > 0 $，有$ \Phi_G(n) \simeq \exp\left(-n^{1/3} (\log n)^{2(1+\kappa)/3}\right) $，表明对数修正可独立调节。
• 证明了对任意$ \gamma \in (1/3,1) $，存在群$ G $，使得$ \exp\left(-n^{\frac{\gamma+1}{3-\gamma}} (\log n)^{\frac{2(1-\gamma)}{3-\gamma}}\right) \lesssim \Phi_G(n) \lesssim \exp\left(-n^{\gamma} (\log n)^{1-\gamma}\right) $，展示了连续的中间衰减速率族。
• 作者为所研究的群族导出了等周轮廓$ \Lambda_{1,G} $与$ \Lambda_{2,G} $的精确界限，证明了$ \Lambda_{1,G}(v)^2 \simeq \Lambda_{2,G}(v) $，并利用Rayleigh商方法将其与谱间隙及随机游走衰减联系起来。