[论文解读] 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

一句话总结

本文通過雙四元數上的運動多項式因式分解，建立了代數基本定理與肯普 universality 定理之間的深刻聯繫。研究證明，特別是對於如橢圓等有界有理曲線，可透過一種新型基於因式分解的構造方法，以最少的回轉副數合成有理運動，實現曲線次數的線性增長，遠低於傳統肯普構造中的三次方增長。

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.

研究动机与目标

• 將抽象代數——特別是雙四元數環上運動多項式的非唯一因式分解——與運動學中的實際機構設計相連接。
• 為合成能產生指定有理運動的回轉副連桿機構，提供一個構造性的代數框架。
• 證明有理空間曲線，包括橢圓與達布運動，可透過遠少於傳統肯普構造所需關節數的連桿機構來追蹤。
• 建立一個針對有理曲線的新穎、高效的肯普 universality 定理版本，強調關節數量最少與實際工程可行性。

提出的方法

• 以雙四元數環 DH[t] 中首一運動多項式代數表示有理運動，其首項係數可逆。
• 應用代數基本定理，將首一運動多項式因式分解為線性運動多項式的乘積，每一項對應一個旋轉或平移。
• 利用斯達德條件（pq + qp = 0）確保雙四元數多項式透過運動學映射表示有效的歐幾里得位移。
• 透過「本內特翻轉」（Bennett flips）實施遞迴構造——求解 (t − mi−1)(t − hi) = (t − ki)(t − mi) 以生成連桿鏈中的連續關節。
• 以四元數多項式 H ∈ H[t] 取代實係數多項式 R ∈ R[t] 進行因式分解增廣，以減少反平行四邊形連桿的數量。
• 從形如 C = (t − h1)⋯(t − hm) 的因式分解構造連桿機構，其中 C 參數化一個有理運動，並利用所得結構實現指定軌跡。

实验结果

研究问题

• RQ1 運動多項式因式分解理論能否用於構造能追蹤任意有理空間曲線的最小連桿機構？
• RQ2 在因式分解中使用四元數多項式 H ∈ H[t] 相較於傳統肯普型構造中使用實多項式增廣，如何減少關節數量？
• RQ3 實現達布運動（所有軌跡為非平行平面上的橢圓）所需的最少回轉副數量為何？
• RQ4 運動多項式代數因式分解在多大程度上能促成有理曲線的構造性、低複雜度版本的肯普 universality 定理？

主要发现

• 運動多項式透過斯達德運動學映射參數化有理運動，其軌跡為有理曲線。
• 線性運動多項式對應於固定軸旋轉或固定方向平移，構成更複雜運動的基礎模組。
• 透過運動多項式因式分解並遞迴應用本內特翻轉，可實現有理曲線連桿機構的構造。
• 針對橢圓，所提出方法僅需 10 個關節，遠低於肯普原始構造所需的 235 個關節。
• 達布運動（涉及非平行平面上的橢圓）可僅用七個關節實現。
• 該方法在曲線次數上實現了關節數量的線性漸近界，相較於一般代數曲線構造中的三次方界，顯著優化。