[论文解读] All automorphisms of the universal sofic group are class-preserving

Liviu Păunescu|arXiv (Cornell University)|Jun 14, 2013

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

一句话总结

本文证明了通过非主超滤子对称群的超积构造的通用索菲克群的每个自同构都保持共轭类。利用归一化汉明距离的双边不变性以及超积中轮换型极限的性质，作者证明了自同构保持轮换型不变量 $cyc_i(p)$，这些不变量刻画了共轭类，从而确立了所有自同构都是类保持的。

ABSTRACT

In this article we prove that every automorphism of a universal sofic group is class preserving, i.e. preserves the conjugacy classes

研究动机与目标

• 确定通用索菲克群的自同构是否保持共轭类，尤其是与内自同构进行对比。
• 研究在超积构造 $\Pi_{k\to\omega}S_{n_k}$ 中自同构的结构性质，该构造模拟了索菲克群。
• 将对对称群超积中共轭性的结果扩展到通用索菲克群的完整自同构群。
• 解决一般自同构（超出内自同构）在此设定下是否能非平凡地作用于共轭类的问题。

提出的方法

• 将通用索菲克群定义为超滤子 $\omega$ 和趋于无穷的序列 $n_k$ 下的超积 $\Pi_{k\to\omega}S_{n_k}$。
• 在对称群上使用归一化汉明距离，并通过沿 $\omega$ 取极限将其扩展到超积中，定义轮换型不变量 $cyc_i(p) = \lim_{k\to\omega} \frac{cyc_i(p_k)}{n_k}$。
• 证明超积中两个元素共轭当且仅当对所有 $i$，它们具有相同的轮换型 $cyc_i(p)$，从而推广了有限对称群的结果。
• 通过证明自同构保持 $cyc_1(p)$ 并利用恒等式 $cyc_1(p^i) = \sum_{j|i} cyc_j(p)$ 进行归纳，证明自同构保持所有 $cyc_i(p)$，从而证明其保持汉明距离。
• 利用两个轮换的乘积定理，表明具有给定 $m(p)$ 和 $n(p)$ 值的元素位于两个类型为 $\{1,\infty\}$ 的循环子群的乘积中，从而在自同构下对轮换型实现控制。
• 应用 $m(p)$ 和 $n(p)$ 的保持性，推导出 $cyc_1(p) = cyc_1(\Phi(p))$，并通过幂的归纳法得出 $cyc_i(p) = cyc_i(\Phi(p))$，因此共轭类被保持。

实验结果

研究问题

• RQ1 通用索菲克群的所有自同构是否都保持共轭类，即使它们不是内自同构？
• RQ2 在超积 $\Pi_{k\to\omega}S_{n_k}$ 的一般自同构下，轮换型不变量 $cyc_i(p)$ 是否能被保持？
• RQ3 通用索菲克群的自同构是否保持归一化汉明距离，这是否意味着类保持？
• RQ4 渐近轮换结构与通用索菲克群的自同构群之间存在何种关系？
• RQ5 能否利用 $m(p)$ 和 $n(p)$ 表示的元素的乘积结构来刻画自同构不变性质？

主要发现

• 通用索菲克群 $\Pi_{k\to\omega}S_{n_k}$ 的所有自同构都保持到单位元的归一化汉明距离，这由 $cyc_1(p) = 1 - m(p)$ 的保持性所证明。
• 自同构 $\Phi$ 满足对所有 $p$ 有 $m(\Phi(p)) = m(p)$ 和 $n(\Phi(p)) = n(p)$，这蕴含了轮换型不变量 $cyc_i(p)$ 的保持性。
• 通过利用恒等式 $cyc_1(p^i) = \sum_{j|i} cyc_j(p)$ 对 $i$ 进行归纳，证明了轮换型不变量 $cyc_i(p)$ 在自同构下被保持。
• 由于超积中的共轭性完全由轮换型 $cyc_i(p)$ 决定，因此这些不变量的保持性意味着 $\Phi$ 是类保持的。
• 无论自同构是内自同构还是外自同构，该结果均成立，从而解决了关于自同构群结构的一个关键问题。
• 该证明依赖于超积构造和汉明距离的双边不变性，表明自同构无法改变元素的渐近轮换结构。