[論文レビュー] From the Fundamental Theorem of Algebra to Kempe's Universality Theorem

Gábor Hegedüs, Zijia Li+2 more|arXiv (Cornell University)|Jul 19, 2015

Robotic Mechanisms and Dynamics参考文献 14被引用数 3

ひとこと要約

本稿は、双対クォータニオン上の運動多項式の因数分解を通じて、代数の基本定理とケンプの普遍性定理の深い関係を確立する。運動多項式の因数分解に基づく新規な構成法により、特に楕円などの有理曲線を有界に描く有理運動が、回転自由度の数を最小限に抑えたリンクアージェンスを用いて合成可能であることが示され、曲線の次数に対して線形スケーリングが達成されたのに対し、古典的なケンプ構成では立方スケーリングとなる。

ABSTRACT

This article provides a gentle introduction for a general mathematical audience to the factorization theory of motion polynomials and its application in mechanism science. This theory connects in a rather unexpected way a seemingly abstract mathematical topic, the non-unique factorization of certain polynomials over the ring of dual quaternions, with engineering applications. Four years after its introduction, it is already clear how beneficial it has been to both fields.

研究の動機と目的

• 運動多項式の非一意的因数分解（双対クォータニオン上の歪み環 DH[t] において）と、運動学における実用的機構設計の橋渡しをすること。
• 指定された有理運動を生成する回転自由度を有するリンクアージェンスを構成的に代数的フレームワークで提供すること。
• 楕円やダーブォー運動を含む、空間上の有理曲線が、古典的ケンプ構成に比べてはるかに少ないジョイント数で再現可能であることを示すこと。
• 有理曲線に特化した、ジョイント数を最小限に抑え、実用的な工学的実現可能性を重視した、ケンプの普遍性定理の新しい効率的バージョンを確立すること。

提案手法

• 双対クォータニオンの歪み環 DH[t] 上で、可逆な先頭係数を持つモニック運動多項式を用いて、有理運動を代数的に表現する。
• 代数の基本定理を適用し、モニック運動多項式を、それぞれ回転または平行移動に対応する一次運動多項式の積に因数分解する。
• キネマティックマッピングを通じてユークリッド的変位を正しく表現するため、スチューディー条件（pq + qp = 0）を用いる。
• 「ベネットフリップ」を用いた再帰的構成法を実装する——連続するジョイントを生成するための (t − mi−1)(t − hi) = (t − ki)(t − mi) の解法を用いる。
• 反平行四辺形リンクの数を減らすために、実多項式 R ∈ R[t] の代わりに四元数多項式 H ∈ H[t] を因数分解に組み込む。
• C = (t − h1)⋯(t − hm) の形の因数分解からリンクアージェンスを構築し、C が有理運動をパラメータ化するようにし、得られた構造を用いて所定の軌道を実現する。

実験結果

リサーチクエスチョン

• RQ1 運動多項式の因数分解理論を用いて、任意の有理空間曲線を描く最小リンクアージェンス機構を構成可能か？
• RQ2 ケンプ型構成における実多項式補完に代えて四元数多項式 H ∈ H[t] を因数分解に用いることで、ジョイント数はどの程度削減されるか？
• RQ3 すべての軌道が平行でない平面内に楕円を描くダーブォー運動を実現するのに必要な最小の回転自由度の数は何か？
• RQ4 運動多項式の代数的因数分解は、有理曲線に対して、構成的かつ低複雑性なケンプの普遍性定理のバージョンをどの程度可能にするか？

主な発見

• 運動多項式は、スチューディーのキネマティックマッピングを通じて有理運動をパラメータ化し、その軌道は有理曲線となる。
• 一次運動多項式は、固定軸回転または固定方向の平行移動に対応し、より複雑な運動の構築ブロックを形成する。
• 有理曲線のためのリンクアージェンスの構築は、運動多項式の因数分解と、ベネットフリップを再帰的に適用してジョイント配置を生成することで達成可能である。
• 楕円の場合、提案手法ではたった10のジョイントで実現可能であり、ケンプの元来の構成で必要とされる235のジョイントと比べて顕著な削減が達成された。
• 非平行平面内の楕円を含むダーブォー運動も、本手法を用いることでたった7つのジョイントで実現可能である。
• 本手法は、曲線の次数に関してジョイント数の線形漸近的上限を達成するのに対し、一般の代数的曲線構成では立方の上限となる。