🔢 mathematics

Exponent-one blockers and a Mordell-Weil construction of Euler bricks

本文通过验证 151,575 种情形下一种原始的“指数为 1 的阻塞器”现象，并利用椭圆纤维化生成了超过 120 万个新的参数化实例，从而推进了关于体立方体的研究，而这些实例中没有一个能产生完美立方体。

原作者： René Peschmann

发布于 2026-05-04

📖 1 分钟阅读🧠 深度阅读

原作者： René Peschmann

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

想象一下，你正试图用木块搭建一个完美的三维盒子。你想要这个盒子是一个“完美长方体”。

要成为完美的，这个盒子必须满足两条非常严格的规则：

边长：长、宽、高必须都是整数（例如 3、4 或 5 英寸）。
对角线：如果你在盒子的面上画一条线（就像矩形的对角线），这条线也必须是整数。更难的是，从盒子一个角穿过中心直达对角的那个线（即“体对角线”）也必须是整数。

数学家们自 18 世纪以来一直在寻找这样的盒子。他们已经找到了数百万个满足第一条规则的盒子（即边长和面对角线都是整数），但从未有人找到过一个同时满足第二条规则（即体对角线也是整数）的盒子。这是数学中最大的未解之谜之一。

René Peschmann 的这篇论文是对那个完美盒子进行的一次大规模、高科技的搜索，但有一个转折：作者不仅仅是在寻找那个盒子，而是在寻找一个“铁证”，以证明为什么完美的盒子不可能存在。

以下是该论文两大主要发现的简要解析：

1. “指数一阻挡者”（不可破解的锁）

作者研究了超过 120 万个这些“近乎完美”的盒子（称为“体长方体”）。对于每一个盒子，他们计算了体对角线的长度。从数学上讲，如果盒子是完美的，这个长度应该是一个完全平方数。

发现：
在作者检查的每一个案例中（其中超过 150,000 个案例能够将数字分解为其素数构建块），他们都发现了一个特定的“阻挡者”。

想象一个数字就像是用乐高积木搭成的塔。一个“完全平方数”就像是一座塔，其中每种类型的积木都成对出现（例如：两块红色、两块蓝色、两块绿色）。如果你有一座塔，某种特定积木的数量是奇数（比如三块红色），那它就不可能是完全平方数。

作者发现，对于每一个“近乎完美”的盒子，总是至少存在一种特定的乐高积木（一个素数），它恰好出现一次（即“指数一”阻挡者）。

为何重要：这不仅仅是因为该积木出现了奇数次（比如 3 次或 5 次）；而是它恰好出现了一次。这是一种非常具体、原始的“错误”。这就像在一个本应完美配对的塔中，发现了一块孤单的红色积木。
“阻挡者”规则：这块孤单的积木之所以特殊，还因为它与构建盒子所用的原始数字没有任何公因数。这是一个“干净”的错误，而非由起始数字引起的混乱错误。

作者将此称为**“指数一阻挡者现象”**。他们在 151,575 个案例中验证了这一点，无一例外。这表明，这些盒子的宇宙似乎被设定好了，使得体对角线永远无法成为一个完美的数字。

2. “莫德尔 - 韦伊生成器”（魔法机器）

作者是如何找到这么多盒子的？他们并非只是猜测。他们基于数学的一个分支——椭圆曲线（这是用于密码学和数论的复杂循环形状）——构建了一台“机器”。

隐喻：
想象寻找这些盒子的问题就像一张藏有数百万条隐藏路径的地图。

旧方法：以前的研究人员在地图上行走寻找路径，逐一检查。他们找到了大约 62,000 个盒子。
新机器：作者建造了一台“魔法电梯”（莫德尔 - 韦伊生成器）。你向它输入一个特定的坐标（一对数字），电梯就会将你发射到地图上一条全新的、有效的路径上，这是你靠步行永远无法找到的。

结果：
使用这台机器，作者生成了122 万个新盒子。

这些盒子非常巨大。有些盒子的边长拥有近 2,000 位数字（想象一个长到需要写成一本书才能写完的数字）。
结论：作者检查了这 120 万个新盒子中的每一个。没有一个盒子是完美的。 每一个盒子都拥有我们之前提到的那个“指数一阻挡者”。

这意味着什么（以及不意味着什么）

论文证明了什么：作者严格证明了，在他们探索的特定数学“家族”中，不存在完美长方体。他们生成了一个包含 128 万个实例的庞大数据库，其中没有一个有效。
论文未证明什么：它并没有证明完美长方体在数学宇宙的任何地方都永远不存在。它只证明，如果存在一个，它一定藏在这台特定机器尚未探索的地方。
大猜想：作者提出了一个强有力的猜测（猜想），即“指数一阻挡者”会出现在所有可能类型的这种盒子中。如果这个猜测成立，那么完美长方体在数学上就是不可能的。

总结类比

想象你正在试图在一块巧克力棒中找到一张隐藏的“金票”。

你有一台机器，可以将巧克力棒分解成数百万个小碎片。
你打开了 120 万块巧克力棒。
在每一块巧克力棒中，你都发现了一个微小的、独特的“阻挡者”（一种特定类型的糖晶体），证明这块巧克力不是金票。
你注意到，在每一种情况下，这个阻挡者都恰好出现一次，且非常独特。

这篇论文说：“我们找到了 120 万块巧克力棒，每一块都有这个特定的阻挡者。我们还没找到金票，而且我们的数据强烈暗示金票可能根本不存在，因为‘阻挡者’规则似乎适用于我们见过的所有事物。”

作者将最终的证明（即证明该阻挡者必须存在于每一个可能的数字中，而不仅仅是他们检查过的那些）留作一个开放问题，供未来的数学家解决。

以下是 René Peschmann 论文《指数为 1 的阻塞器与欧拉砖的 Mordell–Weil 构造》的详细技术摘要。

1. 问题陈述

本文探讨了完美长方体问题，这是数论中一个著名的未解问题，可追溯至 18 世纪。

定义：完美长方体是指一个边长为整数（ $e_1, e_2, e_3$ ）的长方体，其所有三个面对角线和体对角线也均为整数。
现状：迄今为止，既未发现完美长方体的实例，也未证明其不存在。
范围：本文聚焦于体长方体（或称欧拉砖），即边长和面对角线为整数，但不要求体对角线为整数的长方体。这类长方体数量庞大，可由经典无限族（如 Saunderson、Euler 族）及庞大的散点集参数化。
目标：作者研究体长方体的结构性质，以理解其为何无法成为完美长方体，并生成海量新实例数据集，以检验关于其不存在性的猜想。

2. 方法论

本文采用结合代数几何（椭圆纤维化）与计算数论（大规模分解与验证）的双重方法。

A. 参数化（主命中）

研究利用基于两个互质毕达哥拉斯数对 $(a, b)$ 和 $(m, n)$ （欧几里得形式）的体长方体特定参数化。

参数： $a > b > 0$ ， $m > n > 0$ ，且 $a-b$ 和 $m-n$ 为奇数。
构造：边长定义为 $x = U_1 U_2$ ， $y = V_1 U_2$ ， $z = U_1 V_2$ ，其中 $U_i, V_i, W_i$ 源自毕达哥拉斯三元组。
主命中条件：若三元组 $(a, b, m, n)$ 的第三个面对角线为整数，则称为“主命中”。这要求 $M(a, b, m, n) = (V_1 U_2)^2 + (U_1 V_2)^2$ 为完全平方数。
完美长方体障碍：仅当体对角线的平方 $f_1 = (W_1 U_2)^2 + (U_1 V_2)^2$ 也是完全平方数时，主命中才成为完美长方体。

B. Mordell–Weil 构造（生成器）

为了超越经典搜索范围生成新的主命中，作者构造了一个椭圆纤维化：

纤维化：对于固定的互质数对 $(m, n)$ ，主命中方程定义了一条亏格为 1 的四次曲线 $H_{m,n}$ 。
变换：利用四次曲线到 Weierstrass 形式的变换，将 $H_{m,n}$ 映射到椭圆曲线 $E_{m,n}$ 。
算法：作者利用Mordell–Weil 群 $E_{m,n}(\mathbb{Q})$ $E_{m, n} (Q)$ 生成有理点。
- $E_{m,n}$ 上的有理点 $P$ 通过有理函数 $\tau(P)$ 提升回四次曲线。
- 若 $\tau(P)$ 为正有理平方数且满足奇偶性/互质性条件，则该点产生有效的主命中。
规模：该算法生成器允许发现参数高度极大（高达 $10^{888}$ ）的主命中，远超穷举搜索的能力。

C. 计算验证

本文依赖于包含 1,284,670 个主命中的庞大数据库。

分解：对于其中 151,575 个记录，体对角线范数 $f_1$ 已通过包含试除法、sympy 和 YAFU（QS/GNFS）的流水线进行了完全分解。
验证脚本：自定义的 Python/Sage 脚本验证了整数运算、分解一致性及“阻塞器”属性。

3. 主要贡献

贡献 1：已验证的指数为 1 的阻塞器现象

本文提出并计算验证了关于 $f_1$ 素因数分解的强猜想。

猜想 4.1（通用指数为 1 的阻塞器）：对于每个主命中，存在 $f_1$ $f_{1}$ 的一个素因子 $\ell$ $ℓ$ ，使得：
1. 指数为 1： $v_\ell(f_1) = 1$ （该素数恰好出现一次）。
2. 通用性： $\ell$ 与由参数 $(a, b, m, n)$ 导出的固定 29 个“规范表达式”列表（例如 $a, b, m, n, a+b, a^2+b^2$ 等）互质。
意义：这严格强于仅发现奇指数素数。指数为 3、5 等的素数也会阻止 $f_1$ 成为平方数，但它们会携带平方因子。观察到的障碍是原始的（指数为 1），这意味着无法成为完全平方数的失败是根本性的，而非高次幂的产物。
验证：该现象在所有 151,575 个完全分解的记录中无一例外地成立。
变体的反驳：本文表明自然的加强形式并不成立：
- 最大的外部参数素数并不总是阻塞器。
- 最小的外部参数阻塞器并不总是具有指数 1。

贡献 2：Mordell–Weil 生成器

作者提供了一个严格的算法构造，生成了 1,222,841 个新的主命中（在 61,829 个基础之上增加）。

覆盖范围：这些命中跨越了 411 个不同的椭圆纤维。
新颖性：生成的砖块参数远大于以往已知的任何参数，在性质上超出了穷举搜索的范围。
结果：生成的 1,284,670 个砖块中没有一个完美长方体（通过精确整数平方检查验证）。

贡献 3：结构分解

本文引入了 $f_1$ 的规范分解：
$f_1 = g_0^2 (\xi^2 + \eta^2)$
其中 $g_0 = \gcd(W_1 U_2, U_1 V_2)$ ，且 $\xi, \eta$ 为互质整数。

猜想 4.14：项 $(\xi^2 + \eta^2)$ 永远不是完全平方数。
推论：如果该猜想成立，则意味着存在阻塞器（猜想 4.7），进而意味着此类中不存在完美长方体。这将问题简化为检查特定的一对多项式表达式是否能构成毕达哥拉斯三元组。

4. 结果

数据库规模：本文建立了包含 1,284,670 个主命中的数据库。
完美长方体状态：在该数据集中未发现零个完美长方体。
阻塞器统计：
- 100% 的完全分解记录满足指数为 1 的阻塞器条件。
- 95.2% 的数据库来自新的 Mordell–Weil 生成器。
- 生成器产生的砖块绝大多数不属于经典无限族（Saunderson、Lenhart、Himane），证实了生成器访问的是“散点”结构。
秩的发现：发现六个椭圆纤维的 Mordell–Weil 秩至少为 5（此前在标准下降限制下报告为 4），从而发现了数据库中最大的砖块。

5. 意义

结构洞察：本文超越了暴力搜索，识别出体长方体无法成为完美长方体的深层结构原因：存在原始的、通用的、指数为 1 的素数阻塞器。这表明障碍内在于参数化的几何结构中，而不仅仅是小数字的巧合。
方法进步：成功应用 Mordell–Weil 群枚举来生成丢番图解，为探索丢番图几何中的高高度解提供了强大的新工具。
不存在的证据：虽然并非证明，但实证证据压倒性。事实是，“指数为 1 的阻塞器”现象在跨越参数大小 12 个数量级的数据集中普遍成立，这强有力地支持了此类参数化类中不存在完美长方体的猜想。
未解问题：本文明确勾勒了通往证明的路径：证明规范分解中的互质数对 $(\xi, \eta)$ 永远无法构成毕达哥拉斯三元组（猜想 4.14），将无条件证明此类中完美长方体的不存在性。

总之，Peschmann 的工作将先进的椭圆曲线理论与大规模计算验证相结合，提供了迄今为止关于完美长方体不存在性的最强实证证据，识别出一种看似普遍的、特定的原始算术障碍。