[论文解读] Free products of sofic groups with amalgamation over monotileably amenable groups

Benoı̂t Collins, Ken Dykema|arXiv (Cornell University)|Mar 8, 2010

Random Matrices and Applications参考文献 10被引用 17

一句话总结

本文证明了在单调可镶嵌阿贝尔子群上进行的超限群的自由乘积（amalgamated free products）仍是超限群，从而扩展了超限群类的闭包性质。此外，本文在特定的迹和距离条件下，建立了独立随机置换矩阵族与由超限群拟作用导出的某些非随机置换矩阵之间的渐近 * - 自由性。

ABSTRACT

We show that free products of sofic groups with amalgamation over monotileably amenable subgroups are sofic. Consequently, so are HNN extensions of sofic groups relative to homomorphisms of monotileably amenable subgroups. We also show that families of independent uniformly distributed permutation matrices and certain families of non-random permutation matrices (essentially, those coming from quasi--actions of a sofic group) are asymptotically *-free as the matrix size grows without bound.

研究动机与目标

• 证明超限群类在相对于单调可镶嵌阿贝尔子群的自由乘积下保持封闭。
• 将超限群的闭包性质扩展至已知情况之外，特别是涉及非阿贝尔但单调可镶嵌阿贝尔的子群。
• 研究独立均匀分布置换矩阵族与由超限群拟作用导出的非随机置换矩阵之间的渐近自由性。
• 为置换矩阵族在迹和归一化汉明距离准则下的渐近 *- 自由性提供充分条件。
• 通过逼近技术加强超限群结构的理解，从而为康奈斯嵌入问题及相关猜想做出贡献。

提出的方法

• 使用 $(F,\epsilon)$-拟作用定义超限性，依赖于通过受控归一化汉明距离逼近群元素的置换。
• 通过商式 $\left(\prod S_{n(k)}\right) / \bigoplus (S_{n(k)}, \text{dist})$ 构造超滤子积，以刻画可数群的超限性。
• 应用尼卡关于独立随机置换矩阵的渐近自由性结果，分析混合迹。
• 引入一个关键技术条件：对于非随机矩阵 $B_{j,d}$，要么 $\text{tr}_d(B_{j,d}) \to 0$，要么 $\text{dist}(B_{j_1}B_{j_2}, B_{j_3}) = 0$，以确保混合乘积中的迹衰减。
• 利用随机置换矩阵 $V$ 与固定族 $(U_i)$ 之间的条件期望和独立性，控制混合迹期望。
• 通过涉及 $C_n \max(f(d), \epsilon_d) + D_n d^{-1}$ 的界建立迹衰减，其中 $f(d)$ 为 $B_{j,d}$ 的最大迹，且 $\epsilon_d \searrow 0$。

实验结果

研究问题

• RQ1 超限群类在相对于单调可镶嵌阿贝尔子群的自由乘积下是否仍保持封闭？
• RQ2 能否在独立随机置换矩阵与由超限群拟作用导出的非随机置换矩阵之间建立渐近 *- 自由性？
• RQ3 非随机置换矩阵需满足何种条件，才能使其与随机矩阵组合后的混合迹在 $d \to \infty$ 时趋于零？
• RQ4 归一化汉明距离与迹条件如何相互作用，以在超限群逼近的背景下保证渐近自由性？
• RQ5 单调可镶嵌阿贝尔子群在多大程度上允许将超限性闭包结果扩展至阿贝尔群之外？

主要发现

• 在单调可镶嵌阿贝尔子群上进行的超限群的自由乘积仍是超限群，扩展了已知的闭包结果。
• 相对于单调可镶嵌阿贝尔子群同态的超限群的 HNN 扩张也是超限群。
• 独立均匀分布置换矩阵族与某些非随机置换矩阵（来自超限群的拟作用）在 $d \to \infty$ 时渐近 *- 自由。
• 渐近自由性在条件 $\text{tr}_d(B_{j,d}) \to 0$ 或 $\text{dist}(B_{j_1}B_{j_2}, B_{j_3}) = 0$ 下成立，确保了混合词中的迹衰减。
• 任何涉及随机矩阵和非随机矩阵的非平凡约化词的混合迹，在期望下随着 $d \to \infty$ 趋于零。
• 证明依赖于尼卡的渐近自由性结果与一个涉及 $\max(f(d), \epsilon_d)$ 的精细迹界，该界在 $d \to \infty$ 时趋于零。