[論文レビュー] Inverse problems associated with perfect cuboids

John Ramsden, Руслан Шарипов|arXiv (Cornell University)|Jul 29, 2012

graph theory and CDMA systems参考文献 33被引用数 13

ひとこと要約

本稿は、対称多項式因数分解および多重対称多項式論を用いて、完全直方体の逆問題を調査する。$S_3$ 対称性に関して不変である8つの因数方程式の系を導出し、著者らは、これらの因数方程式の有理数解が元の完全直方体方程式の解に対応することを証明する。主な結果は、すべての逆問題がこれらの対称的系の有理数解を求める問題に還元されることであり、3つの1パラメータ族において有効な解が存在しないことは、それらのケースにおいて完全直方体が存在しないことを示している。

ABSTRACT

A perfect cuboid is a rectangular parallelepiped with integer edges, integer face diagonals, and integer space diagonal. Such cuboids have not yet been found, but nor has their existence been disproved. Perfect cuboids are described by a certain system of Diophantine equations possessing an intrinsic $S_3$ symmetry. Recently these equations were factorized with respect to this $S_3$ symmetry and the factor equations were transformed into $E$-form. As appears, the transformed factor equations are explicitly solvable. Based on this solution, polynomial inverse problems are formulated in the present paper.

研究の動機と目的

• 対称多項式因数分解を用いて完全直方体問題を再定式化し、有理数解の探索を簡略化すること。
• 導出された因数方程式の有理数解が、元の完全直方体系の有理数解に正確に対応することを確立すること。
• 対称方程式の特定の1パラメータ族の解を分析し、それらが有効な完全直方体を生成するかを検討すること。
• 対称多項式の符号および正値制約を用いて、3つの異なる1パラメータ解族における完全直方体の非存在を証明すること。
• 完全直方体を求める逆問題を、有理数係数を持つ対称多項式方程式の系の解法に還元すること。

提案手法

• 元の完全直方体方程式を、$S_3$ 群作用に関して不変な8つの多重対称多項式方程式に因数分解する。
• 初等多重対称多項式の基本定理を適用し、すべての対称多項式を基本対称生成子 $E_{ij}$ および $L$ の関数として表現する。
• 環準同型 $\varphi: \mathbb{Q}[E,L] \to \operatorname{Sym}\mathbb{Q}[M,L]$ を用いて、対称多項式を初等対称多項式の基底に写像する。
• 核 $K = \ker \varphi$ を分析し、対称多項式間の代数的制約を同定する。
• 定理2.1の符号条件を適用して、対称方程式の1パラメータ族の解を構成する。
• 辺および面対角線の正値制約を適用し、特定のパラメータ族における退化または無効な解を除外する。

実験結果

リサーチクエスチョン

• RQ1 完全直方体を求める逆問題は、対称多項式方程式の系の解法に還元可能か？
• RQ2 導出された因数方程式のすべての有理数解が、元の完全直方体方程式の解に対応するか？
• RQ3 定理2.1の[71]における符号条件から導かれる3つの1パラメータ族に、有理数解は存在するか？
• RQ4 辺および面対角線の正値制約は、潜在的な完全直方体解の族全体を除外できるか？
• RQ5 これらの1パラメータ族における解の非存在は、完全直方体の非存在を結論づけるのに十分か？

主な発見

• 定理1.1は、8つの因数方程式の正の有理数解が、元の完全直方体系の解であることを確立する。
• 因数方程式の系は $S_3$ 対称性に関して不変であり、すべての式は変数 $x_i, d_i, L$ に関する多重対称多項式である。
• 最初の1パラメータ系（$x=y, y=z+1$）では $E_{30} = 0$ となり、ゼロの辺を意味し、直方体の非退化性に反する。
• 2番目の系（$x=y, y=-z-1$）でも $E_{30} = 0$ となり、再びゼロの辺を生じ、したがって有効な直方体は存在しない。
• 3番目および4番目の系（$x=-y, y=\pm(z+1)$）では $E_{11} = c$ および $E_{01} = -c$ となり、辺および対角線の積の和が逆符号を取ることを示し、それらの正値性と矛盾する。
• 定理4.1、5.1および6.1は、3つの解析済み1パラメータ族において完全直方体が存在しないことを総合的に証明し、逆問題をこれらのケース以外の有理数解の探索に還元する。