🔢 mathematics

From some Pisot numerations to topological groups

本文引入了针对保持零的皮索特（Pisot）数制的一种拓扑群类比的 $p$ 进整数，证明了这些群可以同态投影到环面上，并且当该数制是单模的（unimodular）时，它们与环面连续同构。

原作者： Olivier Carton, Jake Sudbery, Reem Yassawi

发布于 2026-06-30

📖 1 分钟阅读🧠 深度阅读

原作者： Olivier Carton, Jake Sudbery, Reem Yassawi

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你有一种非常特殊的计数方式，它不同于我们日常使用的十进制。你不是使用 10 的幂次（1, 10, 100...），而是使用一个根据特定规则增长的序列，比如著名的斐波那契数列（1, 1, 2, 3, 5, 8...）。这被称为皮索特数制（Pisot numeration system）。

在我们的正常世界里，如果你把两个数字相加，任何“进位”（比如 5 + 5 = 10，你把 1 进到高位）都只会向左移动。但在这些特殊的计数系统中，进位可能会变得混乱，既向左也向右移动。这使得进行数学运算变得非常棘手，并破坏了我们构建数制时的常规规则。

核心思想：建造一座“数字城市”

这篇论文的作者想要为这些特殊的斐波那契式计数系统建造一座数学“城市”（拓扑群），类似于数学家为标准 p 进制系统构建的 **p 进整数（p-adic integers）**之城。

把 p 进整数想象成一座城市，其中的每个地址都是一串具有相同尾部数字的无限字符串。在这座城市里，两个数字被认为是“接近”的，如果它们在末尾共享一段很长的相同数字。这创造了一个非常整洁、有序的结构。

作者们提出了一个问题：我们能否为这些特殊的斐波那契式计数系统构建类似的城市？

问题所在：“进位”混沌

在标准数学中，如果你把两个数字相加，结果是可预测的。在这些特殊系统中，由于进位会四处跳跃，定义“接近程度”的常规方法失效了。如果你尝试将两个数字相加，结果可能与输入值看起来大相径庭，从而破坏了这座城市的平滑结构。

为了解决这个问题，作者引入了**“保持零（preserving zeros）”**的概念。

类比： 想象你正在尝试堆叠积木。在正常的系统中，如果你从底部移除一块积木，整个塔依然稳固。但在这些特殊系统中，有时移除一块积木会导致整个塔摇晃甚至坍塌。
解决方案： 作者发现，如果系统能够“保持零”（即这种摇晃是被控制且不会失控的），他们就能建造一座稳定的城市。他们将这座新城市称为 $Z_U$ 。

重大发现：这座城市是一个甜甜圈

一旦我们构建了这座城市 $Z_U$ 并赋予了正确的“接近”规则，我们就会发现它关于形状的美妙之处。

他们证明了这座城市在拓扑学上等同于一个环面（torus）（即甜甜圈形状）。

类比： 想象你拿着一条长长的、无限的纸带（代表这个系统中所有可能的数字），将其卷成一个管状，然后连接两端使其形成一个甜甜圈。尽管数字是无限延伸的，但这些数字的整体“形状”会自我缠绕，形成一个甜甜圈。
结果： 如果计数系统的规则是“单模的（unimodular）”（一种保持平衡的特定数学属性），那么这座城市 $Z_U$ 就完美地等同于这个甜甜圈形状。如果规则不是完全平衡的，它仍然可以映射到这个甜甜圈上，但可能会在上面缠绕多次或以更复杂的方式覆盖它。

这为什么重要（根据论文所述）

这篇论文连接了数学界三个不同的世界：

计数系统： 如何使用特殊序列（如斐波那契数列）来书写数字。
拓扑学： 研究形状和空间（如甜甜圈）。
代数： 研究群和运算。

作者展示了这些特殊系统中所有数字的“形状”是一个甜甜圈。他们还证明了这只有在系统满足被称为**“条件 F（Condition F）”**（由其他数学家 Frougny 和 Solomyak 发现的一个规则）时才成立。如果系统遵循这条规则，那么“进位混沌”就会被驯服，甜甜圈形状便会显现。

直观示例

论文使用 三波那契（Tribonacci） 系统（即每个数字都是前三个数字之和）作为一个例子。

他们采用了该系统中书写数字的“标准”方式。
他们将这些数字映射到一个几何空间中。
结果是一个看起来像分形的单一、美丽的图块（一种不断自我重复的形状）。
当他们把所有这些图块组合在一起时，它们能完美地填满一个空间而没有缝隙或重叠，从而形成了所描述的“甜甜圈”形状。

简而言之

这篇论文探讨了一种极其复杂、进位逻辑混乱的计数方式。它证明了，如果遵循一套特定的规则来控制这种混乱，那么所有这些数字的集合就会形成一个完美的、平滑的形状：一个甜甜圈。这架起了计数方式与它们所创造的几何形状之间的桥梁。

技术摘要：从某些 Pisot 数制到拓扑群

问题陈述
$p$ 进整数的加法群 $\mathbb{Z}_p$ 在经典上是通过有限群 $\mathbb{Z}/p^n\mathbb{Z}$ 的逆极限，或作为在基于底数 $p$ 展开的 $p$ 进度量下自然数 $\mathbb{N}$ 的拓扑完备化来构造的。该构造的一个关键性质是进位严格向左传播，满足非阿基米德不等式 $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$ 。

本文旨在为 Pisot 数制（Pisot numeration systems）构建一个类似的拓扑群。在这些系统中，底数 $p$ 的幂被一个由线性递推关系生成的自然数序列 $(u_n)_{n \geq 0}$ 所取代，该递推关系的特征多项式是某个 Pisot 数 $\beta$ （一个大于 1 且其共轭复数均位于单位圆内部的代数整数）的极小多项式）。与基数 $p$ 系统不同，Pisot 数制（例如 Zeckendorf/Fibonacci 进制）表现出“非标准”的进位传播，即进位可以同时向左和向右移动。因此，经典的 $p$ 进估值性质失效，由此产生的群结构不是一个具有零维拓扑的射影有限群（profinite group）。作者试图定义一个在这些系统中作为 $\mathbb{Z}_p$ 类似物的群 $\mathbb{Z}_U$ ，并刻画其拓扑结构。

方法论
作者通过以下步骤构造群 $\mathbb{Z}_U$ ：

通过商群进行群构造：
- 令 $G$ 为有界整数值序列 $(g_n)_{n \geq 0}$ 在分量加法下的阿贝尔群。
- 基于表示出的整数在归一化 $U$ 展开中的第一个非零数字的阶，在有限序列上定义了一个“伪估值” $\nu_U$ 。
- 引入了零保持（zero preservation）的概念：若存在常数 $K_c$ ，使得对于具有有界条目的序列 $g$ ，均有 $\nu_U(g) \geq \text{ord}(g) - K_c$ ，则称数制 $U$ 保持零。该条件确保了进位不会向右任意远地传播。
- 定义子群 $H_U \subset G$ 为前缀估值趋于无穷大的序列 $g$ 的集合。
- $U$ 进整数群定义为商群 $\mathbb{Z}_U := G/H_U$ 。
拓扑结构与映射：
- 使用由 $\beta$ 的共轭复数加权的范数定义 $G$ 上的度量拓扑，其中 $\|g\|_U = \sum |g_n| \gamma^n$ ，且 $\gamma < 1$ 是 $\beta$ 的共轭复数的最大模。
- 构造一个同态 $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$ ，将序列映射为涉及 $\beta$ 之共轭的求和。
- 证明子群 $H_U$ 在 $\tilde{\Phi}$ 下的像位于由共轭幂生成的特定格 $L$ 内。
- 这诱导了一个连续群同态 $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$ ，其陪域为一个环面 $\mathbb{T}^{d-1}$ 。
与条件 F 的等价性：
- 本文在数制 $U$ 的“零保持”代数条件与相关 $\beta$ 数制的 条件 F（由 Frougny 和 Solomyak 提出）之间建立了关键联系。条件 F 要求 $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$ ，即 $\mathbb{Z}[\beta]$ 中的每个元素都具有有限的 $\beta$ 展开。
- 作者证明了 $U$ 保持零当且仅当相关的 $\beta$ 满足条件 F。

主要贡献与结果

$\mathbb{Z}_U$ 的定义： 本文引入了 $\mathbb{Z}_U$ 作为 Pisot 数制到 $\mathbb{Z}_p$ 的推广拓扑群。研究表明， $\mathbb{Z}_U$ 的元素可以用无限归一化数字序列来表示。
与环面的拓扑同构：
- 定理 1： 若 $U$ 是与次数为 $d$ 的 Pisot 数 $\beta$ 相关的 Pisot 数制，且 $U$ 保持零，则存在一个连续群满同态 $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$ 。
- 单模情形： 若 $\beta$ 是单模的（其范数为 $\pm 1$ ），则 $\Phi$ 是一个连续群同构。因此， $\mathbb{Z}_U$ 在拓扑上同构于一个 $(d-1)$ 维环面。
零保持的刻画： 本文通过将数制与条件 F 联系起来，提供了一种判断数制是否保持零的判定程序。它确认了标准的 $k$ -bonacci 数制（包括 Fibonacci 进制）保持零。
几何实现： 群 $\mathbb{Z}_U$ 具有欧几里得空间（或环面的基本域）平铺的几何表示。映射 $\Phi$ 将群元素映射到环面上的点，其中归一化展开的像构成了一个平铺（例如 Tribonacci 情况下的 Rauzy 分形）。

意义与主张
作者将其工作定位为填补对数制理解方面的空白。虽然之前的研究（如 Vershik, Rittaud, Vivier）探讨了特定数制的完备化或与 Wang 瓦片的联系，但本文明确构造了满足零保持条件的通用类 Pisot 数制的群结构。

本文声称：

$\mathbb{Z}_U$ 的构造为“自然数的 Fibonacci 分解”及类似系统提供了严谨的代数框架，超越了特征理论，实现了显式的群同构。
零保持条件是构造来自数制的拓扑群时，在条件 F 背景下的精确类比。
与零维的 $\mathbb{Z}_p$ 不同，当底层数字为单模时，这些群是更高维的流形（环面）。
这些结果是针对数制而非仅仅是置换（substitutions）的，尽管作者指出其结果可以迁移到 $\beta$ -置换，从而推导出此类移位是几乎自治的（此结果将在未来工作中详细阐述）。

本文明确指出了局限性： $\mathbb{Z}_p$ 的乘法结构无法自然地扩展到 $\mathbb{Z}_U$ ，因为标准整数乘法与该拓扑不兼容（它不保持零），而替代的乘法（如 Knuth 乘法）则缺乏分配律。因此，研究重点严格限于加法拓扑群结构。