A family of level-transitive groups with positive fixed-point proportion and positive Hausdorff dimension

想象一个广袤无垠、永恒不断的森林，其中的每一根树枝都会分裂成同样数量的小树枝。在数学世界中，这被称为“正则树”（regular tree），而生活在那里的生物是“自同构群”（automorphism groups）——你可以把它们想象成一群神奇的舞者，他们可以重新排列树枝的顺序，却永远不会破坏树的结构。数学家们热衷于研究这些舞者，因为他们的舞步往往隐藏着关于数字和方程的深刻秘密。这个森林中最重大的谜题之一是：弄清楚有多少舞者会停止运动。具体来说，如果我们随机挑选一名舞者，他们在至少一条通往无穷远处的路径上保持静止（不动）的概率是多少？这个概率被称为“不动点比例”（fixed-point proportion）。长期以来，大多数专家认为对于大多数有趣的舞者群组来说，这个概率为零——这意味着几乎没有人会停下来。虽然存在一些罕见的例外，但那些例外极其复杂，以至于没人能计算出确切的概率。

这篇由 Santiago Radi 撰写的论文介绍了一种全新的、巧妙的方法来构建这类数学舞者家族，并首次计算了其中有多少人会停止运动。作者不仅找到了一些新的例子，还为它们建立了一座完整的工厂。通过使用一种涉及“迭代握积”（iterated wreath products，一种堆叠层级洗牌规则的高级方式）的特定配方，Radi 构建的群组不仅是“层级传递”的（它们可以到达树的任何部分），而且具有“正豪斯多夫维数”（它们足够庞大且复杂，足以占据森林的一大部分），并且拥有一个保证存在的、非零的停止概率。更棒的是，该论文提供了一个清晰的公式，可以为以此方式构建的任何群组计算出确切的概率。这意义重大，因为它解决了一个长期的猜想（即此类群组不存在），并为数学家提供了一个精确的工具，用以衡量这些复杂结构的“停止力”，包括那些出现在多项式方程研究中的结构。

无穷树之舞

想象一棵无限的树，每一根树枝都会永远分裂成 $d$ 个新分支。现在，想象一群舞者可以重新排列这些树枝。他们必须遵循严格的规则：如果他们移动了一个分支，他们必须以一致的方式移动附着在该分支上的整个子树。数学家称这些舞者为“自同构”，而他们形成的群被称为“作用在树上的群”。

这个论文探讨的核心问题是：这些舞者中有多少人会停止运动？

为了理解这一点，请想象一根沿着树向上延伸（从底部到顶端）的特定路径（一条“无穷路径”）。如果一名舞者在进行洗牌动作后，那条特定的路径看起来与之前完全一样，我们就说该舞者“固定”（fix）了这条路径。所谓“不动点比例”，简单来说就是该群组中至少固定了一条无穷路径的舞者的百分比。

几十年来，数学家们认为对于大多数有趣的群组，这个百分比为零。这就像是在相信，在一场大规模、混乱的舞会上，竟然没有人会站立不动。虽然存在一些已知的例外，但它们非常罕见，且计算确切的百分比几乎是不可能的。其中一些例外与“迭代伽罗瓦群”（iterated Galois groups）有关，即当你在不断重复研究多项式方程（如 $x^d + 1 = 0$）的解时所出现的群。

舞者的新工厂

Santiago Radi 的论文主要做了两件事。首先，它为一大类此类群组构建了一种计算不动点比例的新通用方法。其次，它利用这种方法构建了一个全新的群组家族，这些群组是“层级传递”的（它们可以到达树的任何层级），具有“正豪斯多夫维数”（它们很大且复杂，而不只是微小的斑点），并且最重要的是，拥有一个正的不动点比例。

作者使用涉及两个子群 $Q$ 和 $P$ 的配方来构建这些群，这两个子群就像是舞蹈的规则。这些群被表示为 $G^P_Q$。论文证明，如果你选择这些规则得当，生成的群组一定会拥有会停止运动的舞者。

魔力公式

该论文的第一个重大突破是提出了一个计算“迭代握积”不动点比例的公式。把握积想象成一叠层级。在底层，你有一组允许的动作（置换）；在下一层，你将同样的动作应用于每一个分支，以此类递推。

Radi 根据允许的动作集合 $S$ 定义了一个特殊的特征多项式 $f_S(x)$。不动点比例就是满足方程 $f_S(x) = x$ 的 0 到 1 之间的最大数值。

• 如果 $S$ 中的动作非常混乱（传递的），答案是 0。
• 如果动作非常受限（每个动作都固定至少一个点），答案是 1。
• 如果动作介于两者之间，答案是一个介于 0 和 1 之间的特定数值，且可以被精确计算。

这是对以往工作的巨大改进，在以前的工作中，此类计算通常是无法实现的，或者仅已知为零。

新的群组家族

利用这个公式，Radi 构建了一个特定的群组家族 $G^P_Q$，作用在具有 $d$ 个分支的树上（其中 $d \ge 3$ 且 $d \not\equiv 2 \pmod 4$）。这些群组具有以下特性：

1. 自相似性：无论你在树的哪一层，它们看起来都是一样的。
2. 层级传递性：它们可以将任何层级的任何分支移动到该层级的任何其他分支。
3. 规模宏大：它们具有正的豪斯多夫维数，意味着在数学意义上它们是“大”的。
4. 具有停止性：它们拥有正的不动点比例。

论文明确计算了两个特定示例的这一比例。

示例 1：模运算之舞
作者构建了一个基于整数模 $d$ 的群组。其不动点比例为：
$$\frac{\#\{a \in (\mathbb{Z}/d\mathbb{Z})^\times : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
这可以简化为涉及 $d$ 的素因子的乘积：
$$\prod_{p|d} \frac{p-2}{p-1}$$
当 $d$ 为奇数时，该公式完美适用。如果 $d$ 是偶数，则比例为零。

示例 2：多项式联系
最令人兴奋的部分是，这种构建不仅仅是抽象数学。论文表明，其中一个群组恰好是多项式 $f(x) = x^d + 1$ 的“迭代伽罗瓦群”。
这意味着对于多项式 $x^d + 1$，其无穷根序列的对称群具有一个可计算的正不动点比例。论文证明，对于 $d \ge 3$（且 $d \not\equiv 2 \pmod 4$），该比例为：
$$\prod_{p|d} \frac{p-2}{p-1}$$
这是一个具体的、显式的数字，数学家现在可以使用它，而在此之前这还是个谜。

关于“不可能”的情况

论文还讨论了一个特定情况，即 $d \equiv 2 \pmod 4$（例如 $d=2, 6, 10, \dots$）。作者尝试为这些值构建此类群组，但发现了一个“阻碍”。通过使用计算机软件 (GAP)，作者检查了 $d$ 在 30 以内的所有传递群，发现没有任何一个群满足具有正不动点比例的必要条件。这表明，对于这些特定的数字，此类群组可能并不存在，或者至少不是以作者构建的方式存在。论文并未证明它们不存在，但强烈暗示了存在障碍。

总结

这篇论文解决了一个许多数学家认为无法解决的谜题：寻找一个庞大、复杂的树之舞者群组，使其以非零概率停止运动，并实际计算出这个概率。它提供了一个清晰、显式的公式，将一个模糊的概念转化为一个精确的工具，并将这种抽象的群论直接与多项式方程的研究联系起来，展示了 $x^d + 1$ 的对称性具有可测量的“停止力”。

作者最后提出了新的问题：我们能否找到具有任何我们想要的不动点比例的群组？如果我们随机挑选舞者会发生什么？但就目前而言，主要的成就已经非常明确：我们现在拥有了生产这些特殊群组的工厂，并且我们确切地知道有多少人在停止跳舞。