[论文解读] Word images in symmetric and unitary groups are dense

Jakob Schneider, Andreas Thom|arXiv (Cornell University)|Feb 26, 2018

Finite Group Theory Research被引用 1

一句话总结

该论文证明了，对于自由群 $ F_k $ 中任意非平凡字 $ w $，当 $ n $ 足够大时，字映射 $ w: G_n^k \to G_n $ 在 $ G_n $ 上关于归一化的汉明距离或秩度量成为 $ \varepsilon $-稠密的。该结果证实了对称群和酉群的谢拉夫与拉尔森猜想的度量类比，表明非平凡字映射在这些群的度量超乘积上是满射的。

ABSTRACT

Let $w\in{ m F}_k$ be a non-trivial word and denote by $w(G)\subseteq G$ the image of the associated word map $w\colon G^k o G$. Let $\mathcal G=(G_n,d_n)_n$ be either the family $({ m Sym}(n),d_{ m H})_n$ of finite symmetric groups equipped with the normalized Hamming distance or the family $({ m U}(n),d_{ m rk})_n$ of unitary groups of finite rank equipped with the normalized rank metric. For $\varepsilon>0$, we prove that there exists an integer $N(\varepsilon,w)$ such that $w(G_n)$ is $\varepsilon$-dense in $G_n$ with respect to the metric $d_n$ if $n\geq N(\varepsilon,w)$. This confirms metric versions of a conjectures by Shalev and Larsen. Equivalently, we prove that any non-trivial word map is surjective on a metric ultraproduct of groups from $\mathcal G$ with respect to a free ultrafilter.

研究动机与目标

• 建立当群大小增长时，对称群和酉群中字映射的度量稠密性。
• 验证谢拉夫与拉尔森关于字像满射性的猜想的度量版本。
• 分析在归一化度量下，$ \mathrm{Sym}(n) $ 和 $ \mathrm{U}(n) $ 中字映射的渐近行为。
• 证明非平凡字映射在这些群的度量超乘积上成为满射。

提出的方法

• 使用 $ \mathrm{Sym}(n) $ 上的归一化汉明距离和 $ \mathrm{U}(n) $ 上的归一化秩度量来衡量群元素之间的接近程度。
• 应用模型论和超乘积工具来分析字映射的渐近行为。
• 采用组合与表示论技术来界定字像的大小和分布。
• 建立 $ N(\varepsilon, w) $ 的存在性，使得对所有 $ n \geq N(\varepsilon, w) $，有 $ w(G_n) $ 在 $ G_n $ 上 $ \varepsilon $-稠密。
• 将问题简化为：仅有限次地，字像会避开单位元或其他元素的 $ \varepsilon $-球。
• 利用有限单群的结构和字映射的性质，推导出像分布的统一性。

实验结果

研究问题

• RQ1 对于固定的非平凡字 $ w $，当 $ n \to \infty $ 时，字映射 $ w: G_n^k \to G_n $ 的像是否在 $ G_n $ 上成为 $ \varepsilon $-稠密？
• RQ2 谢拉夫与拉尔森关于字映射满射性的猜想能否在对称群和酉群中强化为度量稠密性？
• RQ3 是否存在一个统一的阈值 $ N(\varepsilon, w) $，使得在该阈值之后，所有 $ w(G_n) $ 都在 $ G_n $ 上 $ \varepsilon $-稠密？
• RQ4 对于自由超滤子，$ \mathrm{Sym}(n) $ 或 $ \mathrm{U}(n) $ 的度量超乘积是否对非平凡 $ w $ 允许满射字映射？
• RQ5 归一化距离（汉明距离或秩）如何影响字映射像的渐近分布？

主要发现

• 对于任意非平凡字 $ w \in F_k $，存在 $ N(\varepsilon, w) $，使得对所有 $ n \geq N(\varepsilon, w) $，在归一化的汉明距离或秩度量下，$ w(G_n) $ 在 $ G_n $ 上 $ \varepsilon $-稠密。
• 该结果证实了对称群和酉群的谢拉夫与拉尔森猜想的度量版本。
• 非平凡字映射在 $ \mathcal{G} = (\mathrm{Sym}(n), d_{\mathrm{H}})_n $ 或 $ (\mathrm{U}(n), d_{\mathrm{rk}})_n $ 关于自由超滤子的度量超乘积上是满射的。
• 稠密性阈值 $ N(\varepsilon, w) $ 仅依赖于 $ \varepsilon $ 和字 $ w $，而不依赖于特定的群序列。
• 证明建立了在大对称群和酉群中字像分布的统一性。
• 只要 $ w $ 是非平凡的，无论其具体结构如何，字映射像都会变得稠密。