[论文解读] Characterisations of algebraic properties of groups in terms of harmonic functions

Matthew Tointon|arXiv (Cornell University)|Sep 22, 2014

Advanced Operator Algebra Research参考文献 20被引用 3

一句话总结

本文建立了群的代数性质与其调和函数空间结构之间的深刻联系。通过调和函数理论与拉普拉斯算子分析，证明了：若一个群配备有有限紧支集对称测度，则其调和函数空间为有限维的充分必要条件是该群为拟循环群；并进一步将此结果推广至正调和函数、拉普拉斯算子的满射性，以及顶点传递图上的非平凡调和函数。

ABSTRACT

We prove various results connecting structural or algebraic properties of graphs and groups to conditions on their spaces of harmonic functions. In particular: we show that a group with a finitely supported symmetric measure has a finite-dimensional space of harmonic functions if and only if it is virtually cyclic; we present a new proof of a result of V. Trofimov that an infinite vertex-transitive graph admits a non-constant harmonic function; we give a new proof of a result of T. Ceccherini-Silberstein, M. Coornaert and J. Dodziuk that the Laplacian on an infinite, connected, locally finite graph is surjective; and we show that the positive harmonic functions on a non-virtually nilpotent linear group span an infinite-dimensional space.

研究动机与目标

• 通过调和函数空间的维数与结构来刻画群的代数性质。
• 建立调和函数理论与群论性质（如拟循环性与拟幂零性）之间的联系。
• 利用新颖的对偶性与平均维数技术，为已知的调和函数与拉普拉斯算子满射性结果提供新证明。
• 探讨可均性与稳定有限性在细胞自动机与调和函数理论中的作用。

提出的方法

• 通过群上一个具有有限紧支集对称生成概率测度定义离散拉普拉斯算子，将调和函数定义为该算子核中的函数。
• 应用平均维数理论，并利用线性细胞自动机与其转置之间的对偶性，将调和函数的性质与群结构联系起来。
• 应用线性细胞自动机的“伊甸园型”定理，刻画无限、连通、局部有限图上拉普拉斯算子的满射性。
• 利用多项式增长调和函数及其有限维性的概念，刻画拟阿贝尔群与拟循环群。
• 运用随机游走理论与凯莱图上的谱分析结果，分析调和函数空间。
• 利用群代数的稳定有限性与线性可约性之间的等价性，将卡普兰斯基猜想重新表述为关于调和函数与细胞自动机转置的预单射性问题。

实验结果

研究问题

• RQ1 在具有对称且有限紧支集测度的群上，调和函数空间何时为有限维？
• RQ2 何种代数结构刻画了调和函数空间为有限维的群？
• RQ3 每个无限、连通、局部有限、顶点传递图是否都存在非平凡调和函数？
• RQ4 无限、连通、局部有限图上的拉普拉斯算子是否总是满射？
• RQ5 非拟幂零线性群上正调和函数空间的维数是多少？

主要发现

• 若群配备有有限紧支集对称测度，则其调和函数空间为有限维当且仅当该群为拟循环群。
• 每个无限、连通、局部有限、顶点传递图均存在非平凡调和函数，为V. Trofimov的一个结果提供了新证明。
• 任意无限、连通、局部有限图上的拉普拉斯算子均为满射，为Ceccherini-Silberstein、Coornaert与Dodziuk的一个结果提供了新证明。
• 非拟幂零线性群上正调和函数空间为无限维。
• 调和函数空间中多项式增长次数至多为k的函数空间的有限维性，刻画了拟阿贝尔群。
• 通过调和函数对偶性，建立了卡普兰斯基稳定有限性猜想与转置细胞自动机预单射性之间的等价性。