[論文レビュー] 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]$ を導入する。
• 基本的な多重対称多項式 $E_{ij}$ を $x_i$ および $d_i$ の対称的組み合わせへ写像する代入準同型 $\varphi: \mathbb{Q}[E,L] \to \operatorname{Sym}\!\mathbb{Q}[M,L]$ を用いる。
• 元の直方体方程式を $\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) が非可約であり、かつ前の七つの因数方程式から導けないことを示した。
• $E$-形式の式 7.1, 7.2, 7.4, 7.6, 7.8, 7.10, 7.12, および 7.14 が、リスト (6.10) の最初の七つの因数方程式を生成することが示され、それらが基礎的制約としての役割を果たしていることが確認された。
• 式 (7.13) の $xd$-形式は、$\operatorname{Sym}\!\mathbb{Q}[M,L]$ の係数を用いた元の直方体方程式 $p_i = 0$ の線形結合として表現され、その導出可能性が裏付けられた。
• 式 (7.15) の $xd$-形式も同様に、$p_i = 0$ の線形結合に還元され、対称的系との整合性が検証された。
• 最終方程式 (6.10) の $xd$-形式は、以前の七つの因数方程式から導けないため、対称的イデアル内での新しい独立した制約であることが示された。
• 核多項式 (2.4–2.10) の含め方が、因数方程式だけでは示されないため、対称的制約のリストを完成させるために不可欠であることが明らかになった。