[论文解读] A note on the third cuboid conjecture. Part I

Руслан Шарипов|arXiv (Cornell University)|Mar 12, 2012

Algebraic Geometry and Number Theory参考文献 18被引用 17

一句话总结

本文提出了与第三立方体猜想相关的丢番图方程的结构定理，证明当 $ a, b, u $ 为互素正整数且不满足六个已知可约性条件中的任意一个时，12次多项式 $ P_{abu}(t) $ 在 $ \mathbb{Z}[t] $ 上不可约。关键贡献在于构建了一个48个变量的丢番图结构方程，用于刻画 $ P_{abu}(t) = 0 $ 的整数解，通过最小公倍数和反演对称性将其与对称变换联系起来，为证明完美欧拉立方体的不存在性提供了路径。

ABSTRACT

The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The third cuboid conjecture is the last of the three propositions suggested as intermediate stages in proving the non-existence of perfect Euler cuboids. It is associated with a certain Diophantine equation of the order 12. In this paper a structural theorem for the solutions of this Diophantine equation is proved.

研究动机与目标

• 建立由第三立方体猜想导出的12次多项式丢番图方程 $ P_{abu}(t) = 0 $ 的整数解的结构表征。
• 证明当 $ a, b, u $ 互素且不满足六个已知可约性条件中的任意一个时，$ P_{abu}(t) $ 在 $ \mathbb{Z}[t] $ 上不可约。
• 为研究完美欧拉立方体的存在性或不存在性，提供计算与理论相结合的框架。
• 将第二立方体猜想中使用的结构方法推广至第三猜想，利用反演对称性和互素变换。

提出的方法

• 推导出以整数 $ a, b, u $ 为参数、关于 $ t $ 的12次对称函数的多项式 $ P_{abu}(t) $，其系数由 $ a^2, b^2, u^2 $ 及其乘积的对称组合构成。
• 识别出三种对称性：$ a $ 与 $ b $ 之间的置换对称性、偶函数性质（对称性），以及通过变换 $ (a,b,u) \mapsto (\tilde{a}, \tilde{b}, \tilde{u}) = \left(\frac{\operatorname{lcm}(a,b,u)}{a}, \frac{\operatorname{lcm}(a,b,u)}{b}, \frac{\operatorname{lcm}(a,b,u)}{u}\right) $ 实现的反演对称性。
• 构建一个48个变量的结构化丢番图方程，用于编码 $ P_{abu}(t) = 0 $ 的所有潜在整数解，该方程源于因式分解与对称性约束。
• 引入凝聚性条件与互素性条件，以确保解空间的一致性与不可约性。
• 证明在给定变换与条件下，$ P_{abu}(t) = 0 $ 的解与结构方程的解完全对应。
• 建立以16个正整数变量 $ a_i, \tilde{a}_i, b_i, \tilde{b}_i, u_i, \tilde{u}_i $ 表示的显式解公式，从而导出 $ t $ 的两个对称解。

实验结果

研究问题

• RQ1 在何种条件下，12次多项式 $ P_{abu}(t) $ 在 $ \mathbb{Z}[t] $ 上不可约，这与完美欧拉立方体的存在性有何关联？
• RQ2 是否能通过一个对称的48变量结构方程完全表征丢番图方程 $ P_{abu}(t) = 0 $ 的解集？
• RQ3 反演对称变换 $ (a,b,u) \mapsto (\tilde{a}, \tilde{b}, \tilde{u}) $ 如何保持多项式及其解的结构？
• RQ4 凝聚性条件与互素性条件在确保 $ P_{abu}(t) $ 不可约性方面起什么作用？
• RQ5 当排除六个已知可约性情形后，该结构方程是否足以判断 $ P_{abu}(t) = 0 $ 是否存在整数解？

主要发现

• 方程 $ P_{abu}(t) = 0 $ 的结构方程是一个48个变量的丢番图方程，涉及16个正整数变量 $ a_i, \tilde{a}_i, b_i, \tilde{b}_i, u_i, \tilde{u}_i $ 的乘积，其对称系数由多项式的结构导出。
• 当且仅当存在满足结构方程、凝聚性条件（6.36–6.37）和互素性条件（6.35）的48个正整数时，$ P_{abu}(t) = 0 $ 的解才存在。
• 对 $ t $ 的两个显式解为 $ t = \prod_{i \in \{1,3,4,6,7,8\}} a_i b_i u_i \cdot \prod_{i \in \{3,6\}} \tilde{a}_i \tilde{b}_i \tilde{u}_i $ 及其相反数，由因式分解结构导出。
• 变换 $ (a,b,u) \mapsto (\tilde{a}, \tilde{b}, \tilde{u}) $ 在反演下保持多项式形式不变，如恒等式 $ P_{\sigma(abu)}(t) = \frac{P_{abu}(\operatorname{lcm}(a,b,u)/t) \cdot t^{12}}{a^4 b^4 u^4} $ 所示。
• $ P_{abu}(t) $ 在 $ a \leftrightarrow b $ 下对称，且在 $ t $ 上为偶函数，这些对称性在结构解空间中亦被保持。
• 结构定理（定理6.1）为 $ P_{abu}(t) = 0 $ 的可解性提供了必要且充分条件，将问题简化为验证是否存在满足一组代数约束的48个正整数。