[논문 리뷰] On two algebraic parametrizations for rational solutions of the cuboid equations

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

Mathematics and Applications참고 문헌 35인용 수 9

한 줄 요약

이 논문은 두 개의 유리 매개변수 $ b $와 $ c $를 사용하여 완전한 쿠비드 방정식의 유리 해를 위한 두 개의 대수적 매개변수화를 제시한다. $ b $, $ c $, 그리고 보조 대수적 함수 $ w $를 통해 모서리 $ x_1, x_2, x_3 $와 면 대각선 $ d_1, d_2, d_3 $의 명시적 유리 표현식을 유도하며, $ w $는 고차방정식을 만족한다. 핵심 기여는 잠재적인 유리 완전 쿠비드 해를 매개변수화하기 위한 완전한 대수적 프레임워크를 제공하며, 문제를 유리수에서의 고차방정식 해법으로 환원한다.

ABSTRACT

A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Its existence is equivalent to the existence of a perfect cuboid with all integer edges and diagonals. Finding such a cuboid or proving its non-existence is an old unsolved problem. Recently, based on a symmetry approach, the equations of a perfect cuboid were transformed to factor equations. The factor equations turned out to be solvable and, being solved, have led to a pair of inverse problems. Our efforts in the present paper are toward solving these inverse problems. Algebraic parametrizations for their solutions using algebraic functions of two rational arguments are found.

연구 동기 및 목표

• 두 개의 유리 매개변수 $ b $와 $ c $를 사용하여 완전 쿠비드 방정식의 유리 해를 위한 명시적 대수적 매개변수화를 개발하는 것.
• $ b $, $ c $, 그리고 보조 대수적 함수 $ w $를 통해 모서리 $ x_1, x_2, x_3 $와 면 대각선 $ d_1, d_2, d_3 $의 표현식을 유도하는 것.
• 유리 완전 쿠비드 해를 찾는 역문제를 유리수에서의 고차방정식 해법으로 환원하는 것.
• 대수적 함수 관계와 기호 계산을 통한 체계적인 프레임워크를 제공하여 유리 완전 쿠비드의 존재 여부를 테스트하는 것.
• 유도된 매개변수화에서 발생하는 특이점들을 식별하고 분류하는 것 — 이는 이전에 연구되지 않은 새로운 특이점들 포함.

제안 방법

• 이전 연구에서 유도된 공식을 사용하여, 두 매개변수 $ b $와 $ c $의 유리 함수로 표현되는 기본 대칭합 $ E_{10}, E_{20}, E_{30}, E_{01}, E_{02}, E_{03}, E_{11}, E_{12}, E_{21} $의 대칭 다항식 표현식을 유도한다.
• 보조 대수적 함수 $ w = w_1(b,c) $와 $ w = w_2(b,c) $를 도입하며, 각각 고차방정식 (3.1과 4.1)을 만족한다. 이는 쿠비드 인수 방정식에서 유도된다.
• 면 대각선 $ d_1, d_2, d_3 $를 $ b $, $ c $, $ w $의 유리 함수로 표현하며, 각각 100개 이상의 항을 포함하는 명시적 그러나 매우 복잡한 공식을 제공한다. 이는 부록 2에서 기계 판독 가능 형식으로 제시된다.
• 대칭합 $ E_{10}, E_{11}, E_{12} $로 구성된 선형 시스템을 사용하여, $ b $, $ c $, $ w $의 유리 함수로 표현된 모서리 $ x_1, x_2, x_3 $를 구한다. 각 공식은 800개 이상의 항을 포함한다.
• 유도된 $ d_1, d_2, d_3 $가 삼차방정식 $ d^3 - E_{01}d^2 + E_{02}d - E_{03} = 0 $과 항등식 $ d_1^2 + d_2^2 + d_3^2 = 2 $를 이론적으로도, 계산적으로도 만족하는지 확인한다.
• 임의의 유리 수 쌍 $ (b,c) $에 대해 매개변수화의 일관성을 수치적으로 테스트하여, $ x_i $와 $ d_i $가 원래의 쿠비드 방정식과 보조 항등식을 모두 만족함을 확인한다.

실험 결과

연구 질문

• RQ1 두 개의 유리 매개변수 $ b $와 $ c $만을 사용하여 완전 쿠비드 방정식의 유리 해에 대한 완전한 대수적 매개변수화를 구성할 수 있는가?
• RQ2 보조 대수적 함수 $ w $의 구조는 어떠한가? 그리고 두 개의 서로 다른 매개변수화 $ w_1(b,c) $와 $ w_2(b,c) $는 어떻게 관련되어 있는가?
• RQ3 유도된 $ x_1, x_2, x_3 $와 $ d_1, d_2, d_3 $의 표현식이 $ b $, $ c $, $ w $의 유리 함수로서 원래의 쿠비드 방정식과 대칭 항등식을 만족하는가?
• RQ4 매개변수화 공식에서 발생하는 특이점들은 이전에 알려진 것들과 다른가? 그리고 이들의 대수적·기하학적 의미는 무엇인가?
• RQ5 유리 완전 쿠비드의 존재 여부를 유리수에서의 고차방정식 해법으로 환원할 수 있는가? 그러한 해법에서의 자유도는 얼마인가?

주요 결과

• 두 개의 서로 다른 대수적 매개변수화가 완전 쿠비드 방정식의 유리 해를 위해 구성되었으며, 각각 두 개의 유리 매개변수 $ b $와 $ c $, 그리고 보조 대수적 함수 $ w $에 의존한다.
• 보조 함수 $ w $는 고차방정식 (3.1 또는 4.1)을 만족하며, 전체 해는 $ b $, $ c $, $ w $의 유리 함수로 표현된다. 면 대각선 $ d_1, d_2, d_3 $는 각각 100개 이상의 항을 포함한다.
• 모서리 변수 $ x_1, x_2, x_3 $는 $ b $, $ c $, $ w $의 유리 함수로 유도되었으며, 각 공식은 800개 이상의 항을 포함한다. 이는 삼차방정식 $ x^3 - E_{10}x^2 + E_{20}x - E_{30} = 0 $을 만족함이 이론적으로도, 계산적으로도 확인되었다.
• 유도된 표현식이 항등식 $ d_1^2 + d_2^2 + d_3^2 = 2 $를 이론적으로도, 계산적으로도 만족함을 확인하여 쿠비드 기하학과의 일관성이 입증되었다.
• 매개변수화 프레임워크는 유리 완전 쿠비드를 찾는 문제를 유리수에서의 고차방정식 해법으로 환원하며, 두 매개변수화의 경우 각각 총 차수 42와 40이다.
• 논문은 이전에 연구된 바가 없는 새로운 매개변수화 공식의 특이점을 식별하였으며, 향후 연구에서 추가 조사가 필요할 것임을 제안한다.