🔢 mathematics

Stern polynomials and algebraic independence

该论文利用 Mahler 方法，证明了由 Dilcher 和 Eriksen 引入的 Stern 多项式子序列极限函数 $H_k(z)$ 及其复合形式 $H_k(z^{t^k})$ 在非零代数点处的值具有代数独立性。

原作者： Daniel Duverney, Iekata Shiokawa

发布于 2026-03-27

📖 1 分钟阅读🧠 深度阅读

原作者： Daniel Duverney, Iekata Shiokawa

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

这篇论文听起来充满了高深的数学符号，但我们可以把它想象成一场关于**“无限数字迷宫”**的探险。作者丹尼尔·杜弗内（Daniel Duverney）和伊克塔·筱川（Iekata Shioaka）试图证明迷宫里某些特定的“宝藏”（数值）之间没有任何简单的代数关系。

下面我用通俗的语言和比喻来拆解这篇论文的核心内容：

1. 故事的背景：一个特殊的“数字生成器”

想象你有一个神奇的机器，它叫斯特恩多项式（Stern Polynomials）。

普通版：就像是一个简单的积木游戏，规则是：如果你把积木数量翻倍，就乘以 $z$ ；如果是奇数，就把两个相邻的积木加起来。
升级版（本文的主角）：作者们把这个游戏升级了。规则变得更复杂：当你把数量翻倍时，不仅乘以 $z$ ，还要把 $z$ 变成 $z^t$ （就像把积木的“魔法属性”升级了）。

这个机器会生成一串数字序列。随着序列越来越长，这些数字会趋向于一个极限值，我们叫它 $H_k(z)$ 。你可以把它想象成一条无限延伸的河流，虽然源头是简单的规则，但流向大海（无穷远处）时，它的形态变得非常复杂和神秘。

2. 核心问题：这些数字是“亲戚”还是“陌生人”？

作者们想知道：如果我们取两个特定的点（比如 $z = \alpha$ 和 $z = \alpha^t$ ，其中 $\alpha$ 是一个像 $1/2$ 或 $1/3$ 这样简单的分数），算出这两个点的河流值 $H_k(\alpha)$ 和 $H_k(\alpha^t)$ ，它们之间有关系吗？

代数相关（亲戚）：意味着它们可以通过加减乘除和开方等简单运算互相表示。比如，如果 $A = 2B$ ，那它们就是亲戚。
代数无关（陌生人）：意味着它们之间完全没有任何简单的代数联系。无论你怎么组合，都无法用其中一个精确地算出另一个。

论文的主要结论（定理 1.1）：
作者证明了，对于大多数简单的分数 $\alpha$ ，这两个数值 $H_k(\alpha)$ 和 $H_k(\alpha^t)$ 是彻底的陌生人（代数无关）。它们就像两个来自完全不同维度的宇宙，彼此之间没有任何简单的数学公式可以连接。

3. 他们是怎么证明的？（马勒方法的“魔法”）

要证明两个数“毫无关系”是非常困难的。作者使用了一种叫做**“马勒方法”（Mahler's Method）**的强力工具。

我们可以把这个方法想象成**“照妖镜”**：

建立联系：首先，作者发现这两个函数 $H_k(z)$ 和 $H_k(z^t)$ 之间有一个非常严格的“家族传承公式”（函数方程）。就像父亲和儿子长得像，但儿子又受孙子影响一样，它们通过一个矩阵 $A(z)$ 紧密相连。
寻找破绽：如果这两个数真的是“亲戚”（代数相关），那么这种紧密的家族关系在数学上会留下特定的“指纹”或“破绽”。
排除法：作者通过四个步骤（论文中的四个引理）来检查这些“指纹”：
- 引理 1：检查机器有没有坏掉（极点）。发现除了 0 以外，机器运转正常。
- 引理 2：检查在 $1/2$ 这个点，它们是不是无理数。发现它们确实很“怪”，不是简单的分数。
- 引理 3：证明这个函数本身不是简单的有理函数（不是那种可以化简为分数的简单函数）。
- 引理 4（最关键）：这是“照妖镜”的核心。作者假设它们是“亲戚”，然后推导出一个矛盾。就像侦探推理：“如果他们是兄弟，那么他们的家族树在某个时刻必须重合。”但作者发现，无论怎么推演，这个家族树都会因为数学上的“大小差异”（一个数增长太快，另一个太慢）而崩塌。

结论：既然假设它们是“亲戚”会导致逻辑矛盾，那么它们只能是“陌生人”。

4. 这个发现有什么用？（连分数的“无限不循环”）

论文还提到了一个有趣的副产品：连分数。
想象一下， $H_k(\alpha)$ 和 $H_k(\alpha^t)$ 的比值可以写成一个无限长的连分数（像俄罗斯套娃一样一层套一层）：
$\text{结果} = A + \frac{B}{C + \frac{D}{E + \dots}}$

作者证明了，对于任何简单的分数 $\alpha$ ，这个无限连分数的结果一定是一个超越数（Transcendental number）。

通俗解释：这意味着这个结果不仅不是分数，甚至不是像 $\sqrt{2}$ 或 $\pi$ 那样可以通过多项式方程解出来的数。它是数学世界里最“自由”、最“不可预测”的一类数字。

5. 举个栗子（Example 1.1）

论文里给了几个具体的例子，比如 $t=1, k=1$ 时：
$1 + \frac{\alpha}{1 + \frac{\alpha}{1 + \dots}}$
作者说，只要你代入一个像 $1/2$ 这样的数，算出来的结果就是一个极其复杂的、无法用常规代数方程描述的数。

总结

这篇论文就像是在说：

“我们构建了一个基于简单规则（斯特恩多项式）的复杂数学结构。虽然规则很简单，但当它无限延伸时，产生的数值之间却没有任何简单的代数联系。我们利用一种高级的数学侦探技巧（马勒方法），证明了这些数值是‘独立’的，并且它们构成的无限连分数是‘超越’的，属于数学中最深奥、最不可捉摸的那一类数字。”

这就好比，虽然你只用了几种简单的乐高积木（规则），但你拼出的两个巨大城堡（数值），它们之间没有任何共同的图纸（代数关系），是完全独立存在的奇迹。

这是一份关于论文《斯特恩多项式与代数独立性》（Stern Polynomials and Algebraic Independence）由 Daniel Duverney 和 Iekata Shiokawa 撰写的详细技术摘要。

1. 研究背景与问题 (Problem)

本文主要研究由 Dilcher 和 Eriksen 引入的一类斯特恩多项式（Stern polynomials） $a_t(n; z)$ 的极限函数的代数性质。

斯特恩序列与多项式：
- 经典的斯特恩二项序列 $a(n)$ 定义为 $a(0)=0, a(1)=1$ ，且满足 $a(2n)=a(n)$ 和 $a(2n+1)=a(n+1)+a(n)$ 。
- Klavzar 等人引入了斯特恩多项式 $a(n; z)$ 。
- Dilcher 和 Eriksen 进一步推广为Type 1 斯特恩多项式 $a_t(n; z)$ （其中 $t \ge 2$ ），其递推关系涉及变量 $z$ 的幂次变换 $z \to z^t$ 。
极限函数 $H_k(z)$ ：
- 作者定义了一组特定的整数序列 $\alpha_n = \frac{2^{kn} - (-1)^n}{2^k + 1}$ 。
- 考察子序列 $a_t(\alpha_n; z)$ 的极限，定义函数 $H_k(z) = \lim_{n \to \infty} a_t(\alpha_n; z)$ 。
- 该极限在 $|z| < 1$ 内收敛，且系数仅为 0 或 1。
核心问题：
- 对于非零代数数 $\alpha$ （满足 $0 < |\alpha| < 1$ ），函数值 $H_k(\alpha)$ 和 $H_k(\alpha^{t^k})$ 是否代数独立（Algebraically Independent）？
- 即，是否存在非零多项式 $P \in \mathbb{Q}[X, Y]$ 使得 $P(H_k(\alpha), H_k(\alpha^{t^k})) = 0$ ？

2. 方法论 (Methodology)

本文主要采用 Mahler 方法（Mahler's Method），这是处理函数方程和超越数论问题的经典工具。具体步骤如下：

建立函数方程系统：
- 利用 $H_k(z)$ 满足的三项递推关系，推导出其满足的函数方程：
  $H_k(z) = a_t(2k-1; z)H_k(z^{t^k}) + a_t(2k; z^{t^k})H_k(z^{t^{2k}})$
- 定义向量函数 $\mathbf{f}(z) = (f_1(z), f_2(z))^T$ ，其中 $f_1(z) = H_k(z)$ ， $f_2(z) = H_k(z^{t^k})$ 。
- 将其转化为线性矩阵形式：
  $\begin{pmatrix} f_1(z^{t^k}) \\ f_2(z^{t^k}) \end{pmatrix} = A(z) \begin{pmatrix} f_1(z) \\ f_2(z) \end{pmatrix}$
  其中 $A(z)$ 是一个由斯特恩多项式构成的 $2 \times 2$ 矩阵。
应用 Mahler 方法的判定定理：
- 引用 Nishioka 的定理（[7, Th. 4.2.1]），该定理指出：如果一组函数满足特定的 Mahler 型函数方程，且这些函数在复有理函数域 $\mathbb{C}(z)$ 上是代数独立的，那么它们在代数点 $\alpha$ 处的取值也是代数独立的（需满足 $\alpha$ 不是矩阵 $A(z)$ 的极点，且 $\alpha$ 的迭代序列不落在极点集上）。
证明函数在 $\mathbb{C}(z)$ 上的代数独立性：
- 这是证明的核心难点。作者通过反证法，假设 $f_1(z)$ 和 $f_2(z)$ 在 $\mathbb{C}(z)$ 上代数相关。
- 利用矩阵乘积 $G^{(n)}(z)$ 的性质，结合 Fatou 定理（证明 $H_k(z)$ 本身是超越函数）和连分数的性质，排除了所有可能的代数依赖情形（即排除了矩阵元素为零或存在特定有理函数关系的可能性）。
- 关键引理包括：
  - 引理 2.2：证明 $H_k(1/2)/H_k(1/2^{t^k})$ 是无理数（利用连分数展开）。
  - 引理 2.3：利用 Fatou 定理证明 $H_k(z)$ 是超越函数。
  - 引理 2.4：通过细致分析矩阵 $G^{(n)}(z)$ 的递推关系和行列式性质，证明 $f_1(z)$ 和 $f_2(z)$ 在 $\mathbb{C}(z)$ 上代数独立。

3. 主要贡献与结果 (Key Contributions and Results)

主要定理 (Theorem 1.1)

对于任意满足 $0 < |\alpha| < 1$ 的代数数 $\alpha$ ，数值 $H_k(\alpha)$ 和 $H_k(\alpha^{t^k})$ 是代数独立的。

推论 (Corollary 1.1)

由上述定理直接得出，对于满足条件的代数数 $\alpha$ ，以下连分数是超越数：
$\frac{H_k(\alpha)}{H_k(\alpha^{t^k})} = a_t(2k-1; \alpha) + \frac{a_t(2k; \alpha^{t^k})}{a_t(2k-1; \alpha^{t^k}) + \frac{a_t(2k; \alpha^{t^{2k}})}{\dots}}$
该连分数收敛于 $H_k(\alpha)/H_k(\alpha^{t^k})$ 。

具体示例 (Examples)

作者给出了 $k=1, 2, 3$ 时的具体连分数形式，例如 $k=1$ 时：
$\frac{H_1(\alpha)}{H_1(\alpha^t)} = 1 + \frac{\alpha^t}{1 + \frac{\alpha^{t^2}}{1 + \dots}}$
这些具体的连分数在 $\alpha$ 为代数数时均为超越数。

4. 意义与影响 (Significance)

扩展了 Mahler 方法的应用范围：
本文展示了如何将 Mahler 方法应用于由斯特恩多项式生成的特定连分数结构。这为研究一类具有自相似结构（self-similar structure）的幂级数和连分数的超越性提供了新的范例。
解决了特定序列的代数独立性：
斯特恩多项式及其变体在组合数学和数论中非常重要。本文首次证明了由这些多项式极限生成的函数值在代数点上的代数独立性，填补了该领域的空白。
提供了新的超越数构造：
通过推论，文章构造了一大类新的超越数（即特定形式的连分数）。这些数不仅具有明确的定义，而且其超越性可以通过代数独立性严格证明，丰富了超越数论中的已知实例。
理论工具的深化：
证明过程中对矩阵递推关系、行列式性质以及多项式互质性的精细分析，展示了处理高维 Mahler 系统（涉及多个函数和变量变换）的技术深度，为后续相关研究提供了方法论参考。

总结

该论文利用 Mahler 方法，成功证明了由 Dilcher-Eriksen 斯特恩多项式定义的极限函数 $H_k(z)$ 在代数点处的函数值与其变换后的函数值之间不存在代数关系。这一结果不仅确立了 $H_k(\alpha)$ 和 $H_k(\alpha^{t^k})$ 的代数独立性，还直接导出了相关连分数的超越性，是超越数论和组合数学交叉领域的一项重要进展。