[论文解读] Non-amenability of product replacement graphs

Anton Malyshev|arXiv (Cornell University)|May 10, 2013

Product Development and Customization参考文献 20被引用 3

一句话总结

本文证明了当 n 足够大时，对于一致非阿摸恩群和 Z-大群，乘积替换图 Γₙ(G) 是非阿摸恩的。关键结果建立了对双曲群、线性群、初等阿摸恩群以及自由 Burnside 群的非阿摸恩性，支持了关于在足够大的 n 下，无限有限生成群的乘积替换图非阿摸恩性的猜想。

ABSTRACT

We prove non-amenability of the product replacement graphs Γ_n(G) for uniformly non-amenable groups. We also prove it for Z-large groups, when n is sufficiently large. It follows that Γ_n(G) is non-amenable when n is sufficiently large for hyperbolic groups, linear groups, and elementary amenable groups.

研究动机与目标

• 解决关于当 n 足够大时，无限有限生成群 G 的乘积替换图 Γₙ(G) 是非阿摸恩的猜想。
• 建立一致非阿摸恩群和 Z-大群的 Γₙ(G) 的非阿摸恩性。
• 将结果扩展到更广泛的群类，包括双曲群、线性群和初等阿摸恩群。
• 阐明群的性质（如一致非阿摸恩性和 Z-大性）与乘积替换图几何结构之间的关系。
• 为理解乘积替换算法的混合时间与膨胀性质提供基础。

提出的方法

• 使用 Cheeger 常数 h(Γ) 作为非阿摸恩性的度量，定义图为非阿摸恩当且仅当 h(Γ) > 0。
• 应用一致非阿摸恩性的概念，其中所有生成 n 元组的 Cheeger 常数的下确界被一个正的常数 h(G,n) 下方有界。
• 利用利普希茨映射和可 dense 子集，将 Γₙ(G) 的几何结构与 G 的凯莱图联系起来。
• 利用 [A+] 中已知的一致非阿摸恩性结果，将非阿摸恩性推广到乘积替换图。
• 使用 Nielsen 变换定义乘积替换图中的边，确保对生成 n 元组而言图是良定义的。
• 应用拟等距论证，将在一致非阿摸恩性下从凯莱图到乘积替换图的非阿摸恩性进行转移。

实验结果

研究问题

• RQ1 无限有限生成群 G 的乘积替换图 Γₙ(G) 是否在 n 足够大时变为非阿摸恩？
• RQ2 是否可以为一致非阿摸恩群建立 Γₙ(G) 的非阿摸恩性？
• RQ3 G 的 Z-大性性质是否意味着当 n 足够大时，Γₙ(G) 是非阿摸恩的？
• RQ4 双曲群、线性群和初等阿摸恩群是否包含在 Γₙ(G) 的非阿摸恩性结果中？
• RQ5 当自同构群 Aut(Fₙ) 具有 Kazhdan 性质 (T) 时，其与乘积替换图的非阿摸恩性之间有何关系？

主要发现

• 当 G 为一致非阿摸恩群时，对所有 n ≥ d(G)，乘积替换图 Γₙ(G) 是非阿摸恩的。
• 对于 Z-大群，当 n 足够大时，Γₙ(G) 是非阿摸恩的。
• 关于当 n 足够大时 Γₙ(G) 为非阿摸恩的猜想对双曲群成立。
• 该猜想对线性群和初等阿摸恩群也成立，包括几乎可解群和几乎交换群。
• 结果确认了在这些类中，当 n 足够大时，Γₙ(G) 具有指数增长，扩展了先前的结果。
• 证明技术为一致非阿摸恩群的 Γₙ(G) 的 Cheeger 常数提供了统一的下界。