[논문 리뷰] Inverse problems associated with perfect cuboids

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

graph theory and CDMA systems참고 문헌 33인용 수 13

한 줄 요약

이 논문은 대칭 다항식 인수분해와 다중대칭다항식 이론을 사용하여 완전한 직육면체의 역문제를 조사한다. $S_3$ 대칭에 대해 불변인 여덟 개의 인수식 방정식 시스템을 유도함으로써, 저자들은 이러한 방정식의 유리수 해가 원래 완전한 직육면체 방정식의 해와 정확히 대응됨을 증명한다. 핵심 결과는 모든 역문제가 이러한 대칭 시스템의 유리수 해를 찾는 것으로 귀결되며, 세 개의 일파rameter 가족에서 타당한 해가 존재하지 않음은 그 케이스에서는 완전한 직육면체가 존재하지 않음을 시사한다.

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.

연구 동기 및 목표

• 완전한 직육면체 문제를 대칭다항식 인수분해를 통해 재구성하여 유리수 해를 찾는 것을 단순화한다.
• 유도된 인수식 방정식의 유리수 해가 원래 완전한 직육면체 시스템의 유리수 해와 정확히 일치함을 입증한다.
• 대칭 방정식의 특정 일파라미터 가족을 분석하여 이들이 타당한 완전한 직육면체를 유도하는지 여부를 규명한다.
• 대칭다항식의 부호 및 양성 조건을 적용하여 세 개의 서로 다른 일파라미터 해 가족에서 완전한 직육면체가 존재하지 않음을 증명한다.
• 완전한 직육면체를 찾는 역문제를 유리수 계수를 가진 대칭다항식 방정식 시스템을 푸는 것으로 귀결한다.

제안 방법

• 원래 완전한 직육면체 방정식을 $S_3$ 군 작용에 대해 불변인 여덟 개의 다중대칭다항식 방정식으로 인수분해한다.
• 기본 정리인 기초다중대칭다항식 정리를 적용하여 모든 대칭다항식을 기본대칭생성자 $E_{ij}$ 및 $L$ 로 표현한다.
• 다중대칭다항식의 기저로의 사상인 맵 $\varphi: \mathbb{Q}[E,L] \to \operatorname{Sym}\mathbb{Q}[M,L]$ 를 사용하여 대칭다항식을 기본대칭다항식 기저로 매핑한다.
• 핵 $K = \ker \varphi$ 를 분석하여 대칭다항식 간의 대수적 제약 조건을 규명한다.
• 논문 [71]의 정리 2.1에서 유도된 부호 조건을 도입하여 대칭방정식의 일파라미터 해 가족을 구성한다.
• 모서리와 면대각선의 양성 조건을 적용하여 특정 파라미터 가족에서 열악하거나 타당하지 않은 해를 배제한다.

실험 결과

연구 질문

• RQ1 완전한 직육면체를 찾는 역문제를 대칭다항식 방정식 시스템으로 줄일 수 있는가?
• RQ2 유도된 인수식 방정식의 모든 유리수 해가 원래 완전한 직육면체 방정식의 해와 정확히 일치하는가?
• RQ3 논문 [71]의 정리 2.1에서 유도된 부호 조건에서 유도된 세 개의 일파라미터 가족에서 유리수 해가 존재하는가?
• RQ4 모서리와 면대각선에 대한 양성 조건이 잠재적인 완전한 직육면체 해의 전체 가족을 배제할 수 있는가?
• RQ5 이들 일파라미터 가족에서 해가 존재하지 않는 것은 완전한 직육면체가 존재하지 않음을 결론짓는 데에 충분한가?

주요 결과

• 정리 1.1은 여덟 개의 인수식 방정식에 대한 양의 유리수 해가 원래 완전한 직육면체 시스템의 해임을 증명한다.
• 인수식 방정식 시스템은 $S_3$ 대칭에 대해 불변이며, 변수 $x_i, d_i, L$ 에 대한 다중대칭다항식이다.
• 첫 번째 일파라미터 케이스($x=y, y=z+1$)에서는 $E_{30} = 0$ 이며, 이는 영이 되는 모서리를 의미하여 직육면체의 비퇴화성 조건을 위반한다.
• 두 번째 케이스($x=y, y=-z-1$)에서도 $E_{30} = 0$ 이며, 다시 한 번 영이 되는 모서리를 유도하여 타당한 직육면체가 존재하지 않는다.
• 세 번째 및 네 번째 케이스($x=-y, y=\pm(z+1)$)에서는 $E_{11} = c$ 및 $E_{01} = -c$ 이며, 이는 모서리와 대각선의 곱의 합이 서로 반대 부호를 가짐을 의미하여 그 양성 조건과 모순된다.
• 정리 4.1, 5.1 및 6.1은 세 분석된 일파라미터 가족에서 완전한 직육면체가 존재하지 않음을 종합적으로 증명하며, 이는 역문제를 이들 케이스 외부의 유리수 해를 찾는 것으로 귀결한다.