[论文解读] Perfect cuboids and irreducible polynomials

Руслан Шарипов|arXiv (Cornell University)|Aug 26, 2011

Coding theory and cryptography参考文献 18被引用 19

一句话总结

本文通过将问题简化为四个变量的12次丢番图方程，研究了完美长方体的存在性。它引入了一种使用有理参数的新参数化方法，并证明完美长方体仅当该系统中的特定多项式可约时才存在；然而，数值证据支持该多项式在一般情况下不可约的猜想，这意味着在某一尺寸以下不存在完美长方体，且对超过10,000组参数组合有强有力的计算验证。

ABSTRACT

The problem of constructing a perfect cuboid is related to a certain class of univariate polynomials with three integer parameters $a$, $b$, and $u$. Their irreducibility over the ring of integers under certain restrictions for $a$, $b$, and $u$ would mean the non-existence of perfect cuboids. This irreducibility is conjectured and then verified numerically for approximately 10000 instances of $a$, $b$, and $u$.

研究动机与目标

• 通过将问题转化为四个变量的丢番图方程，研究完美长方体的存在性。
• 在有理长方体参数化的背景下，分析所导出多项式的可约性。
• 检验多项式对一般互素整数参数不可约的猜想，这将意味着完美长方体不存在。
• 对超过10,000组参数组合提供不可约性猜想的数值验证。

提出的方法

• 本文推导出一个齐次12次丢番图方程（公式1.1），通过参数a、b、c和u表征完美长方体。
• 引入有理参数α = a/c、β = b/c和υ = u/c以归一化方程，并用其表示具有单位空间对角线的完美有理长方体的边和对角线。
• 从归一化系统构造一个12次的单变量多项式P(t)，该多项式仅在特殊对称情形（例如a = u，或a = b = u）下可约。
• 提出三个关键猜想：(1) 对于不满足特殊对称情形的一般互素a、b、u，P(t)不可约；(2) 当p ≠ q时，相关10次多项式Qpq(t)不可约；(3) 一般情况下不可约性成立。
• 该方法使用符号代数推导多项式P(t)，并利用数值计算（通过Maxima）在大参数空间中测试不可约性。
• 分析确认了在a、b、u ≤ 22的10,000多个测试案例中，这些猜想均成立。

实验结果

研究问题

• RQ1 从完美长方体问题导出的丢番图方程1.1是否存在满足所需不等式和互素条件的整数解？
• RQ2 对于不满足特殊对称情形的一般互素三元组(a, b, u)，相关单变量多项式P(t)在整数上是否不可约？
• RQ3 P(t)的可约性或不可约性对完美长方体存在性有何意义？
• RQ4 数值证据能否支持多项式Qpq(t)在p ≠ q时不可约的猜想？
• RQ5 在测试参数范围（a、b、u ≤ 22）内无解，是否意味着完美长方体在整体上不存在？

主要发现

• 公式1.1的丢番图方程是齐次的，通过四个整数参数a、b、c、u表征完美长方体，具有特定不等式和互素约束。
• 从归一化系统导出的多项式P(t)仅在特殊情形（如a = u或a = b = u）下可约，这些情形对应于对称构型。
• 猜想5.2（即当互素p ≠ q时，10次多项式Qpq(t)不可约）在p、q ≤ 100的所有10,000组组合中均得到数值确认。
• 猜想5.3（即在排除对称子情形的一般情况下，P(t)不可约）在所有a、b、u ≤ 22的组合中得到数值验证，覆盖约10,000个测试案例。
• 数值结果强烈支持如下猜想：当a、b、u ≤ 22时，不存在完美长方体，且一般情况下P(t)的不可约性将意味着完美长方体不存在。
• 总体计算证据虽非证明，但为在给定参数化下完美长方体不存在提供了坚实支持。