[논문 리뷰] Factorization of Motion Polynomials

Zijia Li, Josef Schicho외 1명|arXiv (Cornell University)|2015. 02. 26.

Advanced Differential Equations and Dynamical Systems참고 문헌 2인용 수 5

한 줄 요약

이 논문은 실수의 근을 가지지 않는 노름 다항식을 가진 이중 허수(quaternion)에서의 유계 운동 다항식—즉, 실수의 근이 없는 노름 다항식을 가진 운동 다항식—이 실수 다항식을 곱한 후 선형 운동 다항식의 곱으로 분해될 수 있음을 증명한다. 저자들은 두 가지 알고리즘을 제시한다: 하나는 단순하지만 잠재적으로 고차수의 공인수를 갖는 것이고, 다른 하나는 최적의 차수를 갖는 알고리즘으로, 평면 및 비평면 운동 모두를 분해할 수 있으며, 일반적인 분해가 실패하는 경우에도 적용 가능하다.

ABSTRACT

In this paper, we consider the existence of a factorization of a monic, bounded motion polynomial. We prove existence of factorizations, possibly after multiplication with a real polynomial and provide algorithms for computing polynomial factor and factorizations. The first algorithm is conceptually simpler but may require a high degree of the polynomial factor. The second algorithm gives an optimal degree.

연구 동기 및 목표

• 비일반적인 운동 다항식, 특히 수정 없이도 분해가 불가능한 유계 운동 다항식의 분해 문제를 해결한다.
• 유계 운동 다항식을 선형 인수로 분해할 수 있는 구축 가능한 알고리즘을 제공한다. 이는 원형 부분에 실수 인수가 존재하는 경우에도 적용 가능하다.
• 운동의 유계성을 유지함으로써 각 인수가 구속 관절을 나타내는 물리적 연결장치에 해당하는 분해를 보장한다.
• 최소 차수의 공인수를 생성하는 알고리즘을 개발하여 효율성과 적용 가능성을 향상시킨다.
• 입력 운동이 평면일 경우에만 평면 분해를 가능하게 하기 위해 인수 선택을 평면 운동 부분군 ⟨1, i, εj, εk⟩로 제한한다.

제안 방법

• 운동 다항식의 원형 부분의 최대 실수 다항식 인수(GRPF) 개념을 활용하여 공인수 선택을 안내한다.
• 개념적 단순성을 확보하기 위해 알고리즘 3에서 알고리즘 2(이전 연구에서 평면 운동 다항식에 대해 제안된 바 있음)를 서브루틴으로 사용한다.
• 알고리즘 4를 설계하여 이중 허수 환에서 적절한 좌측 및 우측 인수를 선택함으로써 운동 다항식의 차수를 반복적으로 감소시킨다.
• 평면 분해를 위해 평면 운동 부분군 ⟨1, i, εj, εk⟩ 내의 근과 켤레 근 쌍을 선택한다.
• ⟨1, i⟩에 속하는 다항식 P와 ⟨εj, εk⟩에 속하는 다항식 D에 대해 PD = D P̄ 라는 항등식을 활용하여 좌측 인수를 우측 인수로 변환한다.
• 최종 분해 결과로 각각이 연결장치의 구속 관절을 나타내는 선형 운동 다항식의 곱이 되도록 보장한다.

실험 결과

연구 질문

• RQ1 원형 부분에 실수 인수가 존재하여 비일반적인 경우에도, 유계 운동 다항식은 여전히 선형 운동 다항식의 곱으로 분해될 수 있는가?
• RQ2 이러한 분해를 가능하게 하기 위해 필요한 실수 다항식 승수의 최소 차수는 얼마인가?
• RQ3 입력 운동이 평면일 경우에만 평면 분해를 생성하도록 분해 알고리즘을 어떻게 수정할 수 있는가?
• RQ4 원형 부분의 최대 실수 다항식 인수(GRPF)의 구조는 필요한 공인수의 차수와 어떻게 관련이 있는가?
• RQ5 유계 궤도를 가지는 유리 운동을 생성하는 비일반 운동 다항식으로부터 기계적 연결장치를 구성하는 것이 가능한가?

주요 결과

• 모든 유계 운동 다항식은 실수 다항식을 곱한 후 선형 운동 다항식의 곱으로 분해 가능하며, 이는 원래의 운동을 유지한다.
• 알고리즘 4는 원형 부분의 최대 실수 다항식 인수(GRPF)의 차수로 제한되는 최적의 차수를 갖는 공인수를 생성한다.
• 공인수의 차수 상한은 날카롭고, 일반 다르부 운동과 같은 특정 평면 운동에서 이를 달성한다.
• 수직 다르부 운동의 경우, 차수 2의 실수 다항식을 곱한 후에야 분해가 가능하며, 이는 원형 부분의 GRPF의 차수와 정확히 일치한다.
• 알고리즘은 평면 운동 다항식에 대해서도 비평면 분해를 생성할 수 있지만, 평면 운동 부분군 내에서 근을 선택함으로써 오직 평면 분해만 생성하도록 특화시킬 수 있다.
• 이 방법은 모든 유계 유리 운동에 대해 구속 관절을 가진 연결장치를 구성할 수 있게 하여, 운동 다항식 분해 이론에서 오랫동안 남아 있던 격차를 해결한다.