[论文解读] Boundary of the action of Thompson group F on dyadic numbers

Pavlo Mishchenko|arXiv (Cornell University)|Dec 9, 2015

Mathematical Dynamics and Fractals参考文献 1被引用 6

一句话总结

本文证明了 Thompson 群 F 在 [0,1] 中的二进分数上作用的 Schreier 图上的简单随机游走的泊松边界是非平凡的，从而为 F 不具备利乌维尓性质提供了新的证明。通过电网络理论与测地线增长分析，作者计算出测地线增长函数为 $ \frac{1}{1-2z} $，确认了指数增长及非平凡调和函数的存在。

ABSTRACT

We prove that the Poisson boundary of a simple random walk on the Schreier graph of action of $F$ on $\mathbb{D}$, where $\mathbb{D}$ is the set of dyadic numbers in $[0, 1]$, is non-trivial. This gives a new proof of the result of Kaimanovich: Thompson's group $F$ doesn't have Liouville property. In addition, we compute growth function of the Schreier graph of the action of $F$ on $\mathbb{D}$.

研究动机与目标

• 建立 Thompson 群 F 在 [0,1] 中的二进分数上的作用的泊松边界的非平凡性。
• 通过几何与概率方法在 Schreier 图上提供 F 不具备利乌维尓性质的替代证明，即存在非平凡有界调和函数。
• 计算与作用 $ F \curvearrowright \mathbb{D} $ 相关的 Schreier 图的测地线增长函数，其中 $ \mathbb{D} $ 是 [0,1] 中的二进分数集。
• 分析锥型结构，并推导 Schreier 图中测地线计数的递推关系。

提出的方法

• 应用电网络形式化方法，对 Schreier 图上的随机游走进行建模，利用电阻与 Dirichlet 能量分析游走的常返性与容量。
• 基于从固定点出发的测地线数量 $ \texttt{gd}(x,n) $ 的准则，证明根部的容量为正，从而表明游走是常返的。
• 应用定理 2.3，若根的子节点为根的子树是常返的，则完整树上的随机游走边界是非平凡的。
• 推导出五种锥型的递推关系，以建模测地线增长，使用转移矩阵与生成函数。
• 通过矩阵求逆 $ (I_5 - Az)^{-1} $ 计算扩展的完整测地线增长函数 $ \tilde{L}(z) $ 与轨道增长函数 $ \widehat{L}(z) $。
• 利用闭式解 $ \overline{l}(z) = \left( \frac{1}{1-2z}, \frac{1}{1-z}, \frac{1}{1-3z+2z^2}, \frac{1}{1-3z+2z^2}, \frac{1}{1-2z} \right) $ 提取测地线增长函数 $ l(z) = \frac{1}{1-2z} $。

实验结果

研究问题

• RQ1 在 Schreier 图 $ F \curvearrowright \mathbb{D} $ 上，简单随机游走的泊松边界是否是非平凡的？
• RQ2 能否通过 Schreier 图上的几何与概率方法，重新证明 Thompson 群 F 的非利乌维尓性质？
• RQ3 Schreier 图 $ F \curvearrowright \mathbb{D} $ 的测地线增长函数的确切形式是什么？
• RQ4 Schreier 图中顶点的锥型如何影响增长与调和函数结构？
• RQ5 从基点出发，距离为 $ n $ 的点的数量的渐近增长速率是多少？

主要发现

• 在 Schreier 图 $ F \curvearrowright \mathbb{D} $ 上的随机游走的泊松边界是非平凡的，意味着 Thompson 群 F 不具备利乌维尓性质。
• Schreier 图的测地线增长函数为 $ l(z) = \frac{1}{1-2z} $，表明其以 2 为底的指数增长。
• 从基点 $ 1/2 $ 出发，图距离为 $ n $ 的顶点数量为 $ L_n = \frac{\varphi^{n+2} - \hat{\varphi}^{n+2}}{\sqrt{5}} $，其中 $ \varphi = \frac{1+\sqrt{5}}{2} $，显示斐波那契式增长。
• 轨道增长函数 $ \widehat{L}(z) $ 计算为 $ \left( \frac{1+z}{1-z-z^2}, \frac{1}{1-z}, \frac{1+z}{1-2z+z^3}, \frac{1}{1-2z+z^3}, \frac{1}{1-z} \right) $，确认了锥型结构。
• 从基点出发，距离不超过 $ n $ 的顶点总数为 $ |B(p,n)| = \frac{\varphi^{n+3} - \varphi^2}{\sqrt{5}(\varphi-1)} - \frac{\hat{\varphi}^{n+3} - \hat{\varphi}^2}{\sqrt{5}(\hat{\varphi}-1)} $，反映出超指数累积。
• 锥型的递推关系与矩阵形式 $ (I_5 - Az)^{-1} \Lambda_0 $ 提供了测地线增长的完整代数描述，实现了增长函数的精确计算。