[论文解读] On an ideal of multisymmetric polynomials associated with perfect cuboids

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

Advanced Combinatorial Mathematics参考文献 31被引用 16

一句话总结

本文提出了一组关于完美长方体对应的多重对称多项式理想的完整有限基，该基由定义长方体边长、面对角线和体对角线的丢番图方程组导出。通过利用该方程组的 $S_3$ 对称性，并使用初等多重对称多项式上的代换同态，作者推导出 $E$-形式与 $xd$-形式下的完整因子方程组，其中最终方程 (6.10) 在对称多项式环中提供了新的、不可约的约束条件。

ABSTRACT

A perfect Euler cuboid is a rectangular parallelepiped with integer edges, with integer face diagonals, and with integer space diagonal as well. Finding such parallelepipeds or proving their non-existence is an old unsolved mathematical problem. Algebraically the problem is described by a system of Diophantine equations. Symmetry approach to the cuboid problem is based on the natural $S_3$ symmetry of its Diophantine equations. Factorizing these equations with respect to their $S_3$ symmetry, one gets some certain ideal within the ring of multisymmetric polynomials. In the present paper this ideal is completely calculated and presented through its basis.

研究动机与目标

• 描述在完美长方体上消失的多重对称多项式理想 $I_{\text{sym}} = I \cap \operatorname{Sym}\!\mathbb{Q}[M,L]$。
• 利用长方体方程内在的 $S_3$ 对称性，为 $I_{\text{sym}}$ 构造一个有限基。
• 推导出 $E$-形式（以初等多重对称多项式表示）与 $xd$-形式（以 $x_i, d_i, L$ 表示）下的完整因子方程列表。
• 确立最终方程 (6.10) 为不可约且无法由先前的因子方程导出，从而完成约束系统的构建。
• 证明核方程 (2.4–2.10) 必须与推导出的因子方程一并包含，以完整描述该理想。

提出的方法

• 定义环 $\mathbb{Q}[x_1,x_2,x_3,d_1,d_2,d_3,L]$ 及由六个长方体方程生成的理想 $I = \langle p_1,\dots,p_6 \rangle$。
• 引入矩阵 $M = \begin{smallmatrix} x_1 & x_2 & x_3 \\ d_1 & d_2 & d_3 \end{smallmatrix}$ 的列置换下 $S_3$-不变多项式子环 $\operatorname{Sym}\!\mathbb{Q}[M,L]$。
• 使用代换同态 $\varphi: \mathbb{Q}[E,L] \to \operatorname{Sym}\!\mathbb{Q}[M,L]$，将初等多重对称多项式 $E_{ij}$ 映射为 $x_i$ 与 $d_i$ 的对称组合。
• 通过将原始长方体方程表示为 $\operatorname{Sym}\!\mathbb{Q}[M,L]$ 中系数的线性组合，推导出 $E$-形式下的因子方程（例如方程 7.1, 7.2, ..., 7.14）。
• 将 $E$-形式方程转换为 $xd$-形式，以直接在 $x_i, d_i, L$ 下表达约束条件。
• 验证最终方程 (6.10) 无法由前七个因子方程导出，从而确立其为新的、独立的约束条件。

实验结果

研究问题

• RQ1 完美长方体的多重对称多项式理想 $I_{\text{sym}}$ 的完整有限基是什么？
• RQ2 在 $S_3$ 对称性下，长方体丢番图方程组能否被约化为一组最小化的对称因子方程？
• RQ3 推导出的 $E$-形式与 $xd$-形式因子方程是否足以描述完美长方体的所有对称约束？
• RQ4 最终方程 (6.10) 是否不可约且独立于先前推导出的因子方程？
• RQ5 核多项式 (2.4–2.10) 在完成对称约束系统中起到何种作用？

主要发现

• 本文确立了理想 $I_{\text{sym}}$ 的完整有限基，其中最终方程 (6.10) 为不可约且无法由前七个因子方程导出。
• 方程 7.1, 7.2, 7.4, 7.6, 7.8, 7.10, 7.12 和 7.14 在 $E$-形式下被证明可生成列表 (6.10) 中的前七个因子方程，确认其作为基础约束的关键作用。
• $x_i, d_i, L$ 表示的方程 (7.13) 的 $xd$-形式是原始长方体方程 $p_i = 0$ 的线性组合，系数属于 $\operatorname{Sym}\!\mathbb{Q}[M,L]$，从而确认其可由系统导出。
• 方程 (7.15) 的 $xd$-形式同样可约化为 $p_i = 0$ 的线性组合，验证其与对称系统的一致性。
• 在 $xd$-形式下，最终方程 (6.10) 无法由前七个因子方程导出，表明其为对称理想中新的、独立的约束条件。
• 核多项式 (2.4–2.10) 的包含是完成对称约束列表所必需的，因为它们不能由因子方程单独推出。