🔢 mathematics

A Matrix Analogue of Rational Number Systems

本文确立了矩阵类有理数系统具有有限性性质的数制系统的充分条件，并利用有限自动机在二维空间内构造了同时具有有限性和唯一性性质的系统，同时通过展开树推导出了向量展开。

原作者： Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

发布于 2026-07-10

📖 1 分钟阅读🧠 深度阅读

原作者： Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

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

想象一下，你拥有一个神奇的数字系统，但它不像我们通常使用的十进制（10进制）或二进制（2进制）那样只使用一种基数，而是使用一个矩阵进行计数。不要把矩阵看作是一个枯燥的数字网格，而要把它看作是一个能够拉伸、扭曲和旋转空间的复杂多维机器。

这篇由 Anjelo Gabriel R. Cruz 和 Manuel Joseph C. Loquias 撰写的论文提出了一个宏大的问题：我们能否构建一个“基数”是这种扭曲机器的数字系统，并且我们可以用有限个简单的“数字”来表示任何向量（即空间中的箭头）？

核心理念：矩阵机器

在我们的常规世界里，如果你想用十进制写出数字 13，你会说“一个十和三个一”。你是在将这个数字分解为 10 的幂次。

作者们试图做同样的事情，只不过对象是空间中的箭头。他们有两个特殊的机器，分别称为矩阵 P 和 Q。他们将这两个机器结合起来，创造了一个新的机器 Q⁻¹P（可以理解为“Q 的逆乘以 P”）。这个机器就是他们新世界的“基数”。

目标是将任何箭头 x 写成如下形式的和：
x = (机器)⁰ × (数字) + (机器)¹ × (数字) + (机器)² × (数字) ...

这里的“数字”不仅仅是 0 到 9；它们是从一个特定的、有限的集合 D 中选出的微小箭头。

两条黄金法则：有限性与唯一性

作者们寻找的是一个遵循两条严格规则的系统：

有限性属性（Finiteness Property）： 你必须能够仅使用有限个数字来写下你系统中的任何箭头。不允许使用无限长的数字列表！如果你不断地添加数字直到无穷，这个系统就会失效。
唯一性属性（Uniqueness Property）： 对于一个特定的箭头，应该只有一种写法。如果你可以用两种不同的方式表示同一个箭头，那么这个系统就会变得混乱且难以理解。

论文证明，如果你仔细选择你的机器 P 和 Q（具体来说，如果它们是“互质”的，且机器 Q⁻¹P 是“扩张型”的——即它能极大地拉伸空间，使物体向外飞散），那么你就能找到一个数字集合 D，使该系统得以运作。

秘密武器：有限自动机（神奇的翻译官）

他们是如何证明这一点的呢？他们使用了被称为**有限自动机（Finite Automata）**的技术。想象一个微小的、超高速运转的机器人，它可以读取一段数字序列并将其进行翻译。

在第三节中，作者们为二维空间（纸面上的平面箭头）构建了这些机器人。他们创建了一个“转换器（Transducer）”——这是一个接收输入（例如向右迈出一小步）并输出新数字序列的机器。

他们绘制了地图（称为转移图），展示了机器人如何在不同的状态之间移动。
他们发现，对于某些类型的机器 P 和 Q，这些机器人总是会趋于稳定。它们不会陷入无限循环的混沌之中；它们最终会停止。这证明了“有限性属性”是成立的。

扩张树：迷宫般的路径

在第四节中，作者们引入了**扩张树（Expansion Tree）**的概念。想象一棵巨大的、不断分叉的树，其根部是零向量（宇宙的中心）。

每一条分支代表添加一个数字。
每一个节点（树上的一个点）代表你可以到达的一个特定箭头。
从根部到节点的路径就是该箭头的“编码”或展开式。

他们对这棵树发现了一些引人入心的结论：

它不是简单的循环： 这棵树非常复杂，以至于没有任何简单的计算机程序（即“正则语言”）能够预测所有的路径。它是无限复杂的。
唯一的重复模式是零： 如果你沿着树向下行走并发现一个永远重复的模式，那么唯一的有效模式就是由零组成的字符串。任何其他的重复模式都会导致死路或矛盾。

关于实数（开放的谜题）

到目前为止，我们讨论的都是由整数构成的箭头。但实数（如 3.14）又是怎样的呢？

作者们建议，如果你允许数字在“小数点”的右侧无限延伸（使用机器的负幂次），你就可以表示实向量。

他们运行了模拟（计算机近似计算）来观察这些实向量看起来是什么样的。
结果： 所有可表示的实向量组成的集合看起来像是一个奇特的、锯齿状的形状，并且可以平铺平面（就像拼图一样）。
注意事项： 他们并没有说他们已经解决了哪些实向量可以被表示的问题。他们明确指出，确定这个问题比整数情况要“困难得多”。他们提出了一个猜想（一个强有力的推测），即这些形状可以覆盖整个空间而不重叠，但这仅仅是基于他们的模拟和视觉近似。

他们明确排除的情况

论文非常清楚地说明了哪些情况行不通或者需要额外条件：

唯一性并非自动获得： 仅仅拥有有限的数字集合并不意味着表示是唯一的。你必须选择正确的数字集合（一个“完全剩余系”）才能获得唯一性。
并非所有矩阵都适用： 机器 Q⁻¹P 必须是“扩张型”的（其所有特征值的模必须大于 1）。如果机器是压缩空间而不是拉伸空间，系统就会崩溃。
整数 vs 实数： 对整数向量所使用的完美方法（通过自动机证明）并不能自动解决实向量的问题。实向量的情况仍然是一个开放的研究领域，作者们仅根据其视觉模型提出了关于平铺性质的猜想。

总结

Cruz 和 Loquias 成功地在有理数（分数）的世界与矩阵的世界之间架起了一座桥梁。他们证明了，如果你选对了机器，你就可以用有限且唯一的编码来表示任何整数向量。他们构建了“机器人”（自动机）来证明这一点，并绘制了“树”来进行可视化。

然而，当涉及到混乱且无限的实数世界时，他们仅仅迈出了第一步。他们绘制了一张美丽的地图，描绘了这片领土，并猜测它覆盖了整个世界，但也承认完整的证明仍在等待着被发现。

技术摘要：有理数系统的矩阵类比

问题陈述
本文研究了有理数基数系统（特别是 Akiyama 等人引入的 $p/q$ 展开）向矩阵数字系统的推广。标准的矩阵数字系统通常使用整数基矩阵 $A$ 和数字集 $D \subseteq \mathbb{Z}^d$ ，而本研究探讨的是基数为形式为 $Q^{-1}P$ 的有理矩阵的情况，其中 $P, Q \in \mathbb{Z}^{d \times d}$ 为可逆互质矩阵。核心问题是确定在何种条件下，特定的 $\mathbb{Z}$ -模 $\mathbb{Z}^d[Q^{-1}P]$ 中的每个向量都能得到如下形式的有界展开：
$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$
其中数字 $d_i$ 属于一个有限集合 $D$ 。作者试图为有限性性质（存在此类有限展开）和唯一性性质（对于最小长度 $\ell$ 的展开具有唯一性）建立充分条件。

研究方法
作者结合了代数数论、动力系统和自动机理论：

代数框架： 研究将 $\mathbb{Z}^d[Q^{-1}P]$ 定义为包含 $\mathbb{Z}^d$ 的最小非平凡 $Q^{-1}P$ -不变 $\mathbb{Z}$ -模。作者利用互质矩阵的概念（ $P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$ ）来定义商群结构。他们确定了数字集 $D$ 必须包含 $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$ 的一个完全剩余系。
动力系统： 定义了一个模仿除法算法的动力系统 $\Phi$ （商函数）。有限展开的存在性与该动力系统的吸引子 $A_\Phi$ 的有限性相关联。如果吸引子是有限的，则该系统具有有限性性质。
整数向量的受限除法： 为了处理专门针对 $\mathbb{Z}^d$ 中向量的展开，作者引入了一个映射到 $\mathbb{Z}^d/P\mathbb{Z}^d$ 剩余类的“受限数字函数” $d_r$ 。这导致了一个受限动力系统 $\Phi_r$ 。一个关键引理表明，如果 $\Phi_r$ 具有有限吸引子，则扩展后的 $\mathbb{Z}^d[Q^{-1}P]$ 系统也具有有限吸引子。
自动机理论（维度 $d=2$ ）： 对于 $2 \times 2$ 矩阵的具体情况，作者构建了有限字母到字母的转换器（transducers）。这些自动机模拟了向给定数字展开添加基向量（例如 $(1,0)^\top$ ）的过程。通过分析这些转换器的转移图和循环（特别是自环和有限路径），作者根据特征多项式系数确定了吸引子的结构。
展开树： 本文构建了一个“展开树” $T_{P/Q}$ 来表示 $\mathbb{R}^d$ 中的向量，该树推广了实数的 $p/q$ -展开树，并研究了这些路径的语言属性。

主要贡献与结果

有限性的一般条件： 本文证明，如果 $Q^{-1}P$ 是一个扩张矩阵（所有特征值的模均大于 1），则相关动力系统的吸引子是有限的。因此，只要 $D$ 是相关商群的一个完全剩余系，就存在具有有限性性质的数字系统 $(P, Q, D)$ 。
唯一性与标准系统： 作者澄清，如果 $D$ 是一个完全剩余系且展开长度是最小的，则唯一性性质成立。同时具备有限性和唯一性的系统被称为“标准”系统。
$d=2$ 的显式吸引子分类： 对于行列式互质且具有特定结构形式的 $2 \times 2$ $2 \times 2$ 矩阵 $P$ $P$ 和 $Q$ $Q$ ，作者根据 $Q^{-1}P$ $Q^{- 1} P$ 的特征多项式 $\chi(x) = x^2 + \alpha x + \beta$ $χ (x) = x^{2} + α x + β$ 的系数 $\alpha$ $α$ 和 $\beta$ $β$ ，提供了吸引子的完整分类。
- 在 $0 \le \alpha \le \beta - 1$ 或 $0 < -\alpha \le 1$ 的情况下，吸引子是平凡的： $A = \{(0,0)^\top\}$ 。
- 在其他情况下（例如 $1 < -\alpha \le \beta - 1$ ），吸引子是由涉及矩阵元素的特定线性组合生成的有限向量集。
- 这些结果是通过分析所构建的转换器的行为得出的，特别是识别出无限周期词（自动机中的循环）是否对应于非零吸引元。
语言属性： 本文确立了整数向量的 $P/Q$ -有限展开语言 $L_{P/Q}$ 是前缀封闭的，但不是正则语言。这是通过使用 Myhill-Nerode 定理证明的，该定理表明不同的向量会生成不同的等价类。
实向量表示： 作者使用带有基数负幂次的无穷级数定义了 $\mathbb{R}^d$ 中实向量的 $P/Q$ -展开。他们引入了实向量展开树的概念，并猜想由这些展开表示的向量集合构成了 $\mathbb{R}^d$ 的一个镶嵌（即一组并集为 $\mathbb{R}^d$ 且两两交集勒贝格测度为零的集合）。

意义与主张

本文将自身定位为对 Akiyama 等人研究的有理数基数系统的直接类比，将这些概念从标量有理基数（ $p/q$ ）扩展到矩阵有理基数（ $Q^{-1}P$ ）。

理论扩展： 主要意义在于弥合了有理数系统与矩阵数字系统之间的鸿沟。作者证明了用于 $p/q$ 基数的“修正除法算法”可以成功地应用于矩阵设置，前提是基数为扩张矩阵且数字集被选为特定商群的剩余系。
构造性方法： 通过利用 $d=2$ 情况下的有限自动机（转换器），本文超越了抽象的存在性证明，提供了确定吸引子并验证有限性性质的构造性方法。
与镶嵌的联系： 本文将这些数字系统与自仿射瓦片理论联系起来。关于 $G_{P/Q}(v)$ 集合对 $\mathbb{R}^d$ 进行镶嵌的猜想表明，这些矩阵展开具有与标准基数系统和自仿射瓦片理论相似的几何意义。

作者对 $d > 2$ 的一般情况以及能够进行此类展开的实向量集的完整特征描述保持谦逊，指出确定 $\mathbb{R}^d$ 中哪些向量可以进行 $Q^{-1}P$ -展开比标量情况“要困难得多”。这项工作为提供充分条件和 $2 \times 2$ 情况下的显式构造提供了基础性步骤，同时也为研究其一般的几何性质留下了未来研究的开放领域。