[논문 리뷰] Polynomial Invariants and SAGBI Bases for Multi-screws

Deborah Crook, Peter Donelan|arXiv (Cornell University)|2020. 01. 15.

Polynomial and algebraic computation참고 문헌 19인용 수 4

한 줄 요약

이 논문은 SAGBI 기저 이론을 활용하여 다중 나사에 대한 다항식 불변량을 개발하며, 직렬 로봇 조작자를 분류하기 위한 계산 기반 프레임워크를 제공한다. 나사 쌍에 대한 명시적 생성 집합을 유도하고, 나사 삼중에 대한 생성 집합을 추측하며, 이러한 불변량을 Denavit–Hartenberg 매개변수와 연결하여 전통적인 운동학적 매개변수화에 수학적으로 엄밀한 대안을 제시한다.

ABSTRACT

Polynomial invariants for robot manipulators and their joints arise from the adjoint action of the Euclidean group on its Lie algebra, the space of infinitesimal twists or screws. The aim of this paper is to determine basic sets of generating polynomials for multiple screws. Techniques from the theory of SAGBI bases are introduced. As a result, a complete description is provided of the polynomial invariants for screw pairs and some results for screw triples are obtained. The invariants are shown to be related to Denavit-Hartenberg parameters.

연구 동기 및 목표

• 유럽군의 수반 작용 하에서 다중 나사의 다항식 불변량을 체계적으로 식별하기 위한 계산 방법을 개발하는 것.
• 운동학적 불변량을 대수적으로 표현하여 Denavit–Hartenberg 매개변수에 대한 수학적으로 엄밀한 대안을 제공하는 것.
• 다항식 환의 부분대수에 대해 SAGBI 기저를 활용하여 비재조화군인 유럽군과 같은 비재조화군에 대한 불변량 이론을 확장하는 것.
• 나사 불변량과 피치, 회전 각도, 공통 수직선과 같은 고전 기하학적 불변량 간의 관계를 설정하는 것.
• 계산적 증거와 대칭성 분석에 기반하여 세 개의 나사에 대한 불변량 환의 완전한 생성 집합을 추측하는 것.

제안 방법

• 유럽군의 리 대수 위에서의 수반 작용 하에서 다항식 불변량 환의 생성 집합을 계산하기 위해 SAGBI(부하수기저) 기저 이론을 적용한다.
• 나사를 플루커 좌표 $(\boldsymbol{\rho}, \boldsymbol{v})$ 로 표현하고, 이들의 좌표에 대한 동차 다항식으로 불변량을 정의한다.
• 나사 쌍에 대한 기본 불변량으로 클라인 형식 $\boldsymbol{\rho}_i \boldsymbol{\rho}_j$ 와 킬링 형식 $\boldsymbol{\rho}_i \boldsymbol{\rho}_i$ 를 사용한다.
• 나사 삼중에 대해 $\boldsymbol{\rho}_i \boldsymbol{v}_i$, $\boldsymbol{\rho}_i \boldsymbol{v}_j + \boldsymbol{\rho}_j \boldsymbol{v}_i$, 그리고 스칼라 삼중곱 $[\boldsymbol{\rho}_1, \boldsymbol{\rho}_2, \boldsymbol{\rho}_3]$ 와 같은 불변량을 도출한다.
• 유도된 불변량을 Denavit–Hartenberg 매개변수와 비교하여, $\text{cos}\theta$ 와 $d\text{sin}\theta$ 가 다항식 불변량의 유리함수임을 보여준다.
• SAGBI 기저의 계산적 열거를 통해 후보 생성 집합을 식별하고, 세 나사 불변량에 대한 최소 생성 집합을 추측한다.

실험 결과

연구 질문

• RQ1 유럽군 작용 하에서 두 나사의 다항식 불변량 환에 대한 완전하고 최소 생성 집합은 무엇인가?
• RQ2 계산 대수기하학을 활용하여 세 나사의 불변량에 대한 생성 집합을 체계적으로 식별할 수 있는가?
• RQ3 고전적 Denavit–Hartenberg 매개변수와 나사 시스템의 다항식 불변량 간의 관계는 무엇인가?
• RQ4 SAGBI 기저는 비재조화군 작용에서 불변량을 계산하고 검증하는 데 얼마나 효과적으로 사용될 수 있는가?
• RQ5 세 나사에 대한 추측된 불변량은 대수적으로 독립적이며, 전체 불변량 환을 생성하는가?

주요 결과

• SAGBI 기저 기법을 사용하여 나사 쌍에 대한 다항식 불변량의 완전한 생성 집합을 명시적으로 결정하였으며, 불변량은 $i < j$ 에 대해 $\boldsymbol{\rho}_i \boldsymbol{\rho}_j$, $\boldsymbol{\rho}_i \boldsymbol{v}_i$, 그리고 $\boldsymbol{\rho}_i \boldsymbol{v}_j + \boldsymbol{\rho}_j \boldsymbol{v}_i$ 이다.
• 나사 삼중에 대해, 논문은 불변량 환의 생성 집합이 상호 간의 점곱 $\boldsymbol{\rho}_i \boldsymbol{\rho}_j$, 자기 피치 $\boldsymbol{\rho}_i \boldsymbol{v}_i$, 대칭 혼합 곱 $\boldsymbol{\rho}_i \boldsymbol{v}_j + \boldsymbol{\rho}_j \boldsymbol{v}_i$, 스칼라 삼중곱 $[\boldsymbol{\rho}_1, \boldsymbol{\rho}_2, \boldsymbol{\rho}_3]$, 그리고 합 $[{\bf v}_1,\boldsymbol{\rho}_2,\boldsymbol{\rho}_3] + [\boldsymbol{\rho}_1,{\bf v}_2,\boldsymbol{\rho}_3] + [\boldsymbol{\rho}_1,\boldsymbol{\rho}_2,{\bf v}_3]$ 로 구성되어 있다고 추측한다.
• 불변량 $z_{123} + z_{231} + z_{312}$ 는 각 회전 불변량의 합으로 식별되었으며, 이는 나사 삼중 시스템에서 교환자 유사 표현의 트레이스에 해당한다.
• Denavit–Hartenberg 매개변수의 비틀림 각도 $\theta$ 와 변위 $d$ 는 기본 다항식 불변량의 유리함수로 표현되며, $\text{cos}\theta = \frac{\boldsymbol{\rho}_1 \boldsymbol{\rho}_2}{\norm{\boldsymbol{\rho}_1}\norm{\boldsymbol{\rho}_2}}$ 와 $d\text{sin}\theta = \frac{\boldsymbol{\rho}_1 \boldsymbol{v}_2 + \boldsymbol{\rho}_2 \boldsymbol{v}_1}{\norm{\boldsymbol{\rho}_1}\norm{\boldsymbol{\rho}_2}}$ 임을 보였다.
• 세 나사에 대한 오프셋 매개변수 $b$ 는 $SE(3)$ 불변량임이 밝혀졌지만, 아직 추측된 생성자로 표현되지 않았다.
• 논문은 비재조화군 작용에서의 불변량 탐색에 SAGBI 기저가 실용적인 계산 도구임을 입증하였으며, 이러한 군에 대한 일반적인 유한 생성 정리의 부재에도 불구하고 이를 확인하였다.