[논문 리뷰] On an ideal of multisymmetric polynomials associated with perfect cuboids

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

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) 이 이상의 완전한 묘사를 위해 유도된 인수 방정식들과 함께 포함되어야 한다는 것을 보여주기.

제안 방법

• 다섯 개의 직육면체 방정식으로 생성된 이상 $I = \langle p_1,\dots,p_6 \rangle$ 과 다항식환 $\mathbb{Q}[x_1,x_2,x_3,d_1,d_2,d_3,L]$ 을 정의하기.
• 행렬 $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) 이 인수 방정식들만으로는 유도되지 않기 때문에, 대칭 제약조건 목록을 완성하기 위해 필수적임을 확인하였다.