🔢 mathematics

Multivariable automatic arrays and transcendence

本文利用自动序列的组合性质与施密特子空间定理，证明了由多维自动数组在乘性无关基下加权生成的实数，其值要么是有理数，要么是超越数，从而将 Adamczewski 和 Bugeaud 的结论推广到了多维情形。

原作者： Aadrita Paul, Anwesh Ray

发布于 2026-04-15

📖 1 分钟阅读🧠 深度阅读

原作者： Aadrita Paul, Anwesh Ray

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

这篇论文探讨了一个非常有趣的问题：当我们用一种特殊的、有规律的“机器”来生成数字，并把它们拼成一个无限长的数时，这个数到底是什么性质？它是有理数（像 1/2 或 3.14159... 这种能写成分数的数），还是超越数（像 $\pi$ 或 $e$ 这种永远写不尽、且没有规律的数）？

为了让你轻松理解，我们可以把这个过程想象成**“建造一座无限高的数字塔”**。

1. 核心概念：数字塔与自动机器

想象你有 $r$ 台**“自动打印机”**（在数学上叫“自动序列”）。

每台打印机都按照一套固定的、简单的规则（就像乐高积木的说明书）来打印数字。
比如，打印机 A 可能打印：1, 0, 1, 0, 1, 0...（简单的重复）；打印机 B 可能打印：1, 1, 0, 1, 1, 0...（稍微复杂一点的重复）。
这些打印机生成的数字序列被称为**“自动序列”**。它们的特点是：虽然看起来很长，但背后有一套简单的“程序”在控制，不像随机生成的乱码那样毫无章法。

现在，我们要用这些打印机来建造一座**“数字塔”**（也就是论文中的 $\alpha$ ）：

我们取打印机 A 的第 $n_1$ 个数字，打印机 B 的第 $n_2$ 个数字……以此类推。
把这些数字组合起来，除以巨大的基数（比如 $2^{n_1} \times 3^{n_2} \dots$ ），然后全部加起来。
这就形成了一个无限级数，也就是我们要研究的“那个数”。

关键问题： 这座塔建好后，它代表的是一个**“有理数”（比如 0.5），还是一个“超越数”**（比如 $\pi$ ）？

2. 论文的发现：非黑即白

这篇论文的作者（Aadrita Paul 和 Anwesh Ray）发现了一个惊人的**“二选一”定律**：

这座由“自动打印机”建成的数字塔，要么是一个简单的有理数，要么是一个极其复杂的超越数。它绝不可能是一个“普通的无理代数数”（比如 $\sqrt{2}$ 或 $\sqrt[3]{5}$ ）。

打个比方：
想象你在玩一个游戏，规则是只能用“自动机器”生成图案。

如果你生成的图案最后能拼成一个完美的、重复的圆圈（有理数），那很好。
如果你生成的图案最后变成了一种极其复杂、永远无法用简单公式描述的螺旋（超越数），那也很好。
但是！ 你绝对无法用这些自动机器拼出一个“半圆”或者“稍微有点歪的椭圆”（即普通的无理代数数）。这种“中间状态”在自动机器的世界里是不存在的。

3. 他们是怎么证明的？（侦探故事）

为了证明这个结论，作者们用了一套非常精妙的“侦探手段”，结合了组合数学和数论：

第一步：寻找“打嗝”现象（Stammering）

自动序列有一个有趣的特性：它们虽然很长，但总会**“打嗝”**。也就是说，在序列的某个地方，会出现一大段重复的图案，而且这种重复是有规律的。

比喻： 就像一个人说话，虽然他在讲长篇大论，但每隔一会儿就会重复一句“那个……那个……"，而且重复的频率是可以预测的。
作者利用这种“打嗝”特性，构造了一组**“替身数字”**（ $\alpha_n$ ）。这些替身数字是简单的有理数（因为它们是基于重复部分算出来的），而且它们非常接近真正的“数字塔” $\alpha$ 。

第二步：施密特子空间定理（数学界的“超级筛子”）

这是论文中最厉害的武器。这是一个来自数论的深奥定理，由沃尔夫冈·施密特（Wolfgang Schmidt）提出。

比喻： 想象你有一堆看起来很像的嫌疑人（我们的替身数字 $\alpha_n$ 和真正的数 $\alpha$ ）。普通的筛子筛不掉它们，但“施密特筛子”非常强大，它能发现：如果这些数字太像了，而且它们都符合某种特定的“自动规律”，那么它们不可能是那种“半真半假”的代数数。
这个定理就像是一个**“排他性过滤器”**：它告诉我们，如果这些数字靠得太近，且来源太简单（自动序列），那么它们要么完全一样（有理数），要么其中一个是完全陌生的外星物种（超越数）。

4. 为什么这很重要？

在数学界，区分一个数是“有理数”、“代数数”还是“超越数”是非常困难的。

以前，数学家们知道，如果数字是由简单的自动机生成的，它通常不是超越数就是有理数（在一维情况下）。
这篇论文的突破在于： 它把这个结论扩展到了多维世界（多维数组）。
- 以前我们只研究“一条线”上的数字序列。
- 现在，我们研究“一个平面”甚至“一个立体空间”里的数字阵列。
- 作者证明了，即使是在这种复杂的多维空间里，只要数字是由自动机器生成的，那个“非黑即白”的定律依然成立！

总结

这篇论文就像是在说：

“如果你用一套简单的、自动化的规则（自动序列）去构建一个多维的数字世界，那么这个世界最终呈现出的‘终极真理’（那个数），要么是极其简单的（有理数），要么是极其深奥复杂的（超越数）。它绝不会停留在‘中等难度’的中间地带。”

这不仅加深了我们对数字本质的理解，也展示了计算机理论（自动机）和古老数学（数论）之间美妙的联系。就像是用乐高积木（自动序列）去搭建大厦，结果发现大厦要么是个完美的立方体，要么是个无法描述的混沌雕塑，绝不可能是一个稍微有点歪的普通房子。

论文技术总结：多变量自动数组与超越性

作者：Aadrita Paul, Anwesh Ray
核心领域：数论（超越数论）、自动机理论、丢番图逼近

1. 研究问题 (Problem Statement)

本文旨在解决一个关于实数超越性的经典问题在多维情形下的推广。

背景：Adamczewski 和 Bugeaud (2007) 证明了：如果一个实数 $\alpha = \sum_{n \ge 0} a_n b^{-n}$ 的系数序列 $(a_n)$ 是有界的自动序列（automatic sequence），且 $b \ge 2$ 是整数，那么 $\alpha$ 要么是有理数，要么是超越数。
挑战：将上述结果推广到多维自动数组（Multidimensional Automatic Arrays）的情形。
具体设定：
- 给定 $r \ge 2$ 个整数 $a_1, \dots, a_r \ge 2$ ，它们满足乘法独立性（即 $\log a_1, \dots, \log a_r$ 在 $\mathbb{Q}$ 上线性无关）。
- 给定 $r$ 个有界自动序列 $(p_n^{(i)})_{n \ge 0}$ （ $i=1, \dots, r$ ），其中第 $i$ 个序列是 $k_i$ -自动的。
- 给定一个函数 $f: \mathbb{Z}^r \to \mathbb{Z}$ 。
- 构造一个 $r$ 维数组 $c_{n_1, \dots, n_r} = f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})$ 。
- 研究由该数组生成的级数：
  $\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{c_{n_1, \dots, n_r}}{a_1^{n_1} \cdots a_r^{n_r}}$
核心问题：证明 $\alpha$ 要么是有理数，要么是超越数。

2. 方法论 (Methodology)

作者结合了自动机理论的组合性质与丢番图逼近中的 Schmidt 子空间定理，采用了一种“构造辅助有理数逼近 + 矛盾推导”的策略。

步骤一：自动序列的“结巴”性质 (Stammering Property)

利用自动序列的组合特性，证明任何自动序列都满足结巴条件 (Stammering Condition)。
即：序列的前缀中包含任意长的重复块。具体而言，存在单词序列 $U_n, V_n$ ，使得 $U_n V_n^w$ 是序列的前缀（其中 $w > 1$ ），且 $|U_n|/|V_n|$ 有界， $|V_n|$ 严格递增。
这一性质保证了序列具有某种“准周期性”。

步骤二：构造辅助有理数 (Auxiliary Rationals)

利用上述结巴性质，将原自动序列 $(p_n^{(i)})$ 截断并延拓为最终周期序列（eventually periodic sequences） $(p_k^{(n, i)})$ 。
基于这些周期序列构造新的 $r$ 维数组 $c^{(n)}$ 和对应的实数 $\alpha_n$ 。
关键性质：由于序列最终是周期的， $\alpha_n$ 可以表示为有理数。其分母具有特定的形式（涉及 $a_i$ 的幂次和几何级数求和），分子是系数有界的整系数多项式 $P_n(a_1, \dots, a_r)$ 。

步骤三：应用 Schmidt 子空间定理 (Schmidt's Subspace Theorem)

假设 $\alpha$ 是代数无理数。
利用 $\alpha_n$ 对 $\alpha$ 的逼近精度（由结巴性质保证的指数级逼近），构造一组向量 $x_n \in \mathbb{Q}^{2r+1}$ 。
定义一组线性型 $L_{v,i}$ ，并在 Schmidt 子空间定理的框架下估计这些线性型的乘积。
通过精细的估值，证明这些向量 $x_n$ 满足子空间定理的条件，即它们落在有限个真子空间内。

步骤四：导出矛盾

由于 $x_n$ 落在有限个子空间中，存在一个非零的有理向量 $u$ 使得 $u \cdot x_n = 0$ 对无穷多个 $n$ 成立。
情形 A：若 $u$ 的最后一个分量非零，取极限 $n \to \infty$ ，可推导出 $\alpha$ 是有理数，与假设（代数无理数）矛盾。
情形 B：若 $u$ 的最后一个分量为零，则导出关于 $a_i$ 的幂次的线性关系。利用 $a_1, \dots, a_r$ 的乘法独立性（即 $\log a_i$ 的 $\mathbb{Q}$ -线性无关性），结合鸽巢原理，导出矛盾。
结论：假设不成立， $\alpha$ 不能是代数无理数。

3. 主要结果 (Key Results)

定理 A (Theorem A)：
设 $r \ge 2$ ， $a_1, \dots, a_r \ge 2$ 为乘法独立的整数。设 $(p_n^{(i)})$ 为有界自动序列， $f: \mathbb{Z}^r \to \mathbb{Z}$ 为任意函数。定义级数：
$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})}{a_1^{n_1} \cdots a_r^{n_r}}$
则 $\alpha$ 要么是有理数，要么是超越数。

此外，如果 $\alpha$ 是有理数，则其对应的自动数组必须具有某种周期性结构（这是自动序列有理性的经典判据的推广）。

4. 核心贡献 (Key Contributions)

多维推广：成功将 Adamczewski 和 Bugeaud 关于一维自动序列生成数的超越性判别法，推广到了多维自动数组（Multidimensional Automatic Arrays）的框架下。
处理乘法独立性：在多维情形下，基 $a_1, \dots, a_r$ 的乘法独立性是证明的关键。作者巧妙地利用这一条件，在子空间定理的应用中排除了代数无理数的可能性。
统一框架：展示了自动序列的“结巴”性质（组合复杂性低）与 Schmidt 子空间定理（丢番图逼近）之间的深刻联系，证明了这种联系在高维情形下依然有效。
构造性证明：提供了构造辅助有理数 $\alpha_n$ 的具体代数形式，并详细分析了其分母和分子的性质，为后续研究提供了技术细节。

5. 意义与展望 (Significance and Outlook)

理论意义：该结果加深了对**自动数（Automatic Numbers）**算术性质的理解。它表明，由低组合复杂度（自动性）生成的数，其算术性质极其“刚性”：它们几乎不可能是代数无理数。这进一步支持了“低复杂度导致高算术随机性（超越性）”的猜想。
方法论价值：论文展示了如何将自动机理论中的结构性质（如核有限性、结巴性质）转化为丢番图逼近中的有效逼近工具。
未来方向：
- 作者提出开放问题：对于更一般的有界 $[k_1, \dots, k_r]$ -自动数组（不仅仅是由一维自动序列通过函数 $f$ 生成的特殊形式），该结论是否依然成立？
- 该方法可能启发对更高维度的超越数论问题（如多变量 Mahler 函数）的研究。

总结：
这篇论文通过结合自动机理论的组合结构与 Schmidt 子空间定理的数论力量，证明了由多维自动数组生成的实数具有极强的算术刚性（有理或超越）。这是超越数论领域在多维自动序列方向上的一个重要进展。