🔢 mathematics

There are infinitely many Hilbert cubes of dimension 3 in the set of squares

该论文证明了在整数平方数集合中存在无穷多个三维希尔伯特立方体，其数量级至少为 $N^{1/8}$ ，且这些立方体参数之间的比值在正实数集中是稠密的。

原作者： Andrew Bremner, Christian Elsholtz, Maciej Ulas

发布于 2026-04-08

📖 1 分钟阅读🧠 深度阅读

原作者： Andrew Bremner, Christian Elsholtz, Maciej Ulas

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

这篇论文听起来像是一篇充满数学符号的“天书”，但它的核心故事其实非常有趣，就像是在玩一场数字积木游戏。

想象一下，你有一堆特殊的积木，这些积木上写的数字必须是完全平方数（比如 1, 4, 9, 16, 25...，也就是 1², 2², 3², 4², 5²...）。

1. 什么是“希尔伯特立方体”？（数字积木塔）

在数学里，有一个叫“希尔伯特立方体”的东西。你可以把它想象成一个由数字组成的乐高塔。

怎么搭？ 你先选一个底座数字 $a_0$ 。然后，你手里拿着几个“增量块” $a_1, a_2, a_3...$ 。
规则： 你可以选择“加”或者“不加”这些增量块。
- 比如，如果你选了 $a_0=1$ ，手里有 $a_1=15$ 和 $a_2=48$ 。
- 你可以搭出：
  - 什么都不加：$1$
  - 只加 $a_1$ ： $1+15=16$
  - 只加 $a_2$ ： $1+48=49$
  - 两个都加： $1+15+48=64$
- 看！$1, 16, 49, 64 $全都是完全平方数（$ 1^2, 4^2, 7^2, 8^2$）。
- 这就构成了一个2 维的希尔伯特立方体。

问题的核心： 如果我们要搭一个3 维甚至4 维的塔（也就是手里有 3 个或 4 个增量块，能组合出 8 个或 16 个不同的数字），并且要求每一个组合出来的数字都必须是完全平方数，这可能吗？如果能，能搭多高？能搭出多少个这样的塔？

2. 以前的困惑：这塔能搭多高？

以前的数学家们一直在争论：

在这个全是平方数的“积木池”里，我们能不能搭出无限高的塔？
或者，是不是有一个“天花板”，比如最多只能搭到 3 层，再高就不行了？

之前的研究证明，如果数字范围有限（比如只用到 100 万以内），塔的高度是有上限的。但如果数字可以无限大，大家就不确定了。

3. 这篇论文做了什么？（发现了“无限宝藏”）

这篇论文由 Bremner, Elsholtz 和 Ulas 三位作者完成，他们主要解决了两个大问题：

A. 3 维塔不仅存在，而且“多如牛毛”

他们证明了，在平方数集合中，3 维的希尔伯特立方体（也就是有 4 个基础数字，能组合出 8 个平方数）有无穷多个！

比喻： 以前大家以为这种完美的 3 层积木塔是“稀有动物”，很难找到。但这篇论文说：“不，它们就像沙滩上的贝壳一样多！”
数量级： 他们甚至算了一下，在 1 到 $N$ 这么大的范围内，能找到大约 $N^{1/8}$ 个这样的塔。虽然这个增长速度看起来不快，但因为它是一个正指数，意味着随着 $N$ 变大，数量会无限增加，永远不会枯竭。

B. 这些塔的比例“无处不在”

他们发现了一个更神奇的现象：如果你随机抓取两个这样的塔，比较它们内部数字的比例（比如 $a_1$ 除以 $a_2$ ），你会发现这些比例可以无限接近任何正实数。

比喻： 想象你在调色盘上混合颜色。以前大家觉得只能混合出几种固定的颜色。但这篇论文说，只要你的积木塔够多，你就能调出彩虹上任何细微的渐变色。你想让 $a_1$ 是 $a_2$ 的 3.14159 倍？没问题，总能找到这样的塔。

4. 他们是怎么做到的？（数学家的“魔法公式”）

他们不是靠运气一个个去试（虽然他们也用电脑试了很多），而是发明了一套**“参数化构造法”**。

比喻： 以前找这些塔像是在大海里捞针。但这三位作者发现了一个**“万能模具”**。
他们写出了一个复杂的数学公式（就像是一个乐高说明书），只要你在公式里填入不同的整数（比如 $c, d, G, H$ ），就能自动生成一组完美的 3 维希尔伯特立方体。
因为公式里的变量可以取无穷多个值，所以生成的立方体也有无穷多个。

5. 还没解决的问题：4 维塔存在吗？

虽然他们证明了 3 维塔有无穷多，但对于4 维塔（也就是能组合出 16 个平方数的超级塔），他们还没有找到。

现状： 他们尝试了各种方法，甚至用电脑算了很多，但至今没发现一个完美的 4 维塔。
猜想： 他们甚至构造了一个“伪 4 维塔”，其中 16 个组合里有 13 个是平方数，但剩下的 3 个不是。这就像是你搭了一个几乎完美的 4 层塔，但缺了 3 块关键的积木。
结论： 目前大家倾向于认为，在平方数里可能根本不存在 4 维的希尔伯特立方体（或者极其罕见，甚至不存在）。这就像是一个数学界的“未解之谜”。

总结

这篇论文就像是在探索一个由平方数组成的宇宙：

我们以前以为这里只有零星的“小岛屿”（低维立方体）。
现在发现，这里其实有无穷无尽的 3 维岛屿，而且它们的形状和比例千变万化，覆盖了整个海洋。
但是，那个传说中的4 维大陆，至今还没人找到，它可能根本不存在，也可能藏在人类还没发现的深处。

这对数论（研究数字性质的学科）来说是一个巨大的进步，它告诉我们平方数集合中隐藏着比想象中更丰富、更复杂的结构。

论文技术总结：平方数集中的三维希尔伯特立方体

论文标题：THERE ARE INFINITELY MANY HILBERT CUBES OF DIMENSION 3 IN THE SET OF SQUARES（平方数集中存在无穷多个三维希尔伯特立方体）
作者：Andrew Bremner, Christian Elsholtz, Maciej Ulas
发表日期：2026 年 4 月 7 日（arXiv 预印本）

1. 研究背景与问题定义

希尔伯特立方体（Hilbert Cube）定义：
一个 $d$ 维希尔伯特立方体定义为集合 $H(a_0; a_1, \dots, a_d) = a_0 + \{0, a_1\} + \dots + \{0, a_d\}$ ，即所有形如 $a_0 + \sum_{i=1}^d \varepsilon_i a_i$ （其中 $\varepsilon_i \in \{0, 1\}$ ）的整数集合。该集合包含 $2^d$ 个元素（若 $a_i$ 互不相同且无重叠和）。

核心问题：
Brown, Erdős 和 Freedman 提出了一个著名问题：在整数平方数集合 $S = \{n^2 : n \in \mathbb{N}\}$ 中，希尔伯特立方体的最大维度 $d$ 是否有绝对上界？

已知背景：
- 无限维希尔伯特立方体不存在于平方数集中（因为固定差值作为平方数之差只能出现有限次）。
- 对于区间 $[1, N]$ 内的平方数，Dietmann 和 Elsholtz 证明了 $d \le O(\log \log N)$ 。
- Bombieri-Lang 猜想暗示 $d$ 存在绝对上界。
- 目前已知 $d=2$ 和 $d=3$ 的立方体存在，但 $d \ge 4$ 的存在性未知。

本文目标：
重点研究 $d=3$ 的情况，旨在证明存在无穷多个三维希尔伯特立方体，并给出其数量级下界及参数化构造。

2. 方法论

本文结合了计算数论、代数几何（椭圆曲线）和参数化构造三种方法：

算法搜索与计算实验：
- 设计了一种基于除数分解的高效算法（Algorithm 1），用于寻找满足 $a_0, a_1 \le N$ 的三维立方体。
- 利用该算法在 $a_0, a_1 < 10^8$ 的范围内进行了大规模搜索，发现了 4644 个约化（reduced，即 $\gcd(a_0, \dots, a_3)=1$ ）的三维立方体。
- 通过计算验证了这些立方体无法扩展为四维立方体。
代数几何与椭圆曲线构造：
- 将寻找立方体的问题转化为求解丢番图方程组。
- 通过变量代换，将问题转化为寻找椭圆曲线上的有理点。
- 构造了一个参数化的椭圆曲线族，利用其上的无穷阶点（points of infinite order）生成无穷多组解。
参数化构造：
- 利用椭圆曲线的群结构，推导出 $a_0, a_1, a_2, a_3$ 关于参数 $c, d, G, H$ 的多项式表达式。
- 通过特定的参数选择（如 $c=3, d=1$ ），构造出具体的无穷族解。

3. 主要贡献与结果

3.1 存在性与数量级下界

定理 1.5：证明了在 $[0, N]$ 范围内，约化三维希尔伯特立方体的数量 $H_3(N)$ 满足下界：
$H_3(N) \gg N^{1/8}$
这意味着存在无穷多个这样的立方体。
定理 1.6：证明了存在无穷多个满足特定对称性条件（如 $a_1 = a_2 < a_3$ 或 $a_1 < a_2 = a_3$ ）的约化三维立方体，且其数量级至少为 $cN^{1/10}$ 。

3.2 参数化构造

作者给出了显式的参数化公式（基于椭圆曲线上的点），能够生成无穷多组 $(a_0, a_1, a_2, a_3)$ ，使得 $H(a_0; a_1, a_2, a_3) \subset S$ 。
特别地，构造了满足 $a_1 = a_2$ 的无穷族，这对应于寻找具有特定结构的平方数集合。

3.3 比值集的稠密性

推论 1.8：对于任意 $i < j \in \{0, 1, 2, 3\}$ $i < j \in {0, 1, 2, 3}$ ，集合 $\{a_i / a_j : H(a_0; a_1, a_2, a_3) \subset S\}$ ${a_{i} / a_{j} : H (a_{0}; a_{1}, a_{2}, a_{3}) \subset S}$ 在正实数集 $\mathbb{R}^+$ $R^{+}$ 的欧几里得拓扑下是稠密的。
- 这意味着通过调整参数，可以使得立方体中任意两个元素的比值任意接近任何正实数。

3.4 关于固定 $a_0$ 的猜想

定理 1.4：对于任意固定的平方数 $a_0$ ，存在无穷多个 $d=2$ 的立方体；但对于 $d \ge 2$ ，若固定 $a_1$ ，则只有有限个立方体。
猜想 7.1：基于数值实验（搜索了 $n=1$ 到 $100 $的$ a_0=n^2 $），作者猜想对于**每一个**$ n \in \mathbb{N}^+ $，都存在一个约化的三维希尔伯特立方体以$ n^2$ 为起点。
数值观察：在 $N \le 10^6$ 范围内， $H_3(N)$ 的增长似乎比 $N^{1/8}$ 更快，拟合结果显示其可能接近 $N^{0.62}$ ，但这仍是一个开放问题。

3.5 关于四维立方体的探索

尽管找到了无穷多个三维立方体，作者未能找到任何 $d=4$ 的立方体。
通过参数化方法，作者构造了“伪四维”立方体（Pseudo-4-cubes），其中 16 个和中有 13 个是平方数（仅 3 个不是），这展示了向更高维度扩展的困难。

4. 关键发现细节

最小立方体：
文中列出了目前找到的最小（按 $a_0+a_1+a_2+a_3$ 排序）的三维立方体：
$10^2 + \{0, 2400\} + \{0, 4389\} + \{0, 8736\} = \{100, 2500, 4489, 8836, \dots\}$
所有元素均为平方数。
对称性解：
发现了大量满足 $a_1 = a_2$ 或 $a_2 = a_3$ 的解。例如，当 $a_1=a_2$ 时，立方体包含形如 $a_0, a_0+a_1, a_0+2a_1$ 的项，这对应于长度为 3 的等差数列。
算法效率：
提出的算法时间复杂度约为 $O_\epsilon(N^{1+\epsilon})$ ，能够有效地在较大范围内搜索解。

5. 意义与影响

解决了长期开放问题：
该论文首次严格证明了平方数集中存在无穷多个三维希尔伯特立方体，并给出了具体的构造方法，解决了 Brown-Erdős-Freedman 问题中关于 $d=3$ 存在性的部分。
深化了对平方数加性结构的理解：
通过证明比值集的稠密性，揭示了平方数集在加性组合结构上的丰富性，表明其包含的立方体结构比预想的更加多样和密集。
连接数论与代数几何：
文章成功地将离散的组合问题转化为椭圆曲线上的有理点问题，展示了现代代数几何工具在解决经典数论问题中的强大作用。
为更高维度研究奠定基础：
虽然 $d=4$ 仍未解决，但作者提供的参数化框架和“伪四维”构造为未来寻找 $d=4$ 或证明其不存在提供了重要的线索和工具。数值实验结果（ $H_3(N)$ 的增长率）也为理论分析提供了新的方向。

总结：
这篇论文是加性数论领域的重大进展，它通过精妙的参数化构造和深入的数值计算，确立了三维希尔伯特立方体在平方数集中的无穷存在性，并提出了关于其分布密度和更高维度存在性的深刻猜想。