[Paper Review] 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 Dynamics14 references3 citations

TL;DR

This paper establishes a deep connection between the Fundamental Theorem of Algebra and Kempe’s Universality Theorem via motion polynomial factorization over dual quaternions. It demonstrates that rational motions—especially those tracing bounded rational curves like ellipses—can be synthesized using linkages with a minimal number of revolute joints through a novel factorization-based construction, achieving a linear scaling in curve degree compared to the cubic scaling in classical Kempe constructions.

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.

Motivation & Objective

• To bridge abstract algebra—specifically non-unique factorization of motion polynomials over dual quaternions—with practical mechanism design in kinematics.
• To provide a constructive algebraic framework for synthesizing revolute-jointed linkages that generate prescribed rational motions.
• To demonstrate that rational space curves, including ellipses and Darboux motions, can be traced by linkages with significantly fewer joints than required by classical Kempe constructions.
• To establish a new, efficient version of Kempe’s Universality Theorem tailored for rational curves, emphasizing low joint counts and practical engineering feasibility.

Proposed method

• Represent rational motions algebraically using monic motion polynomials in the skew ring of dual quaternions, DH[t], with invertible leading coefficients.
• Apply the Fundamental Theorem of Algebra to factor monic motion polynomials into products of linear motion polynomials, each corresponding to a rotation or translation.
• Use the Study condition (pq + qp = 0) to ensure that dual quaternion polynomials represent valid Euclidean displacements via the kinematic mapping.
• Implement a recursive construction via 'Bennett flips'—solving (t − mi−1)(t − hi) = (t − ki)(t − mi) to generate successive joints in a linkage chain.
• Augment the factorization with a quaternion polynomial H ∈ H[t] instead of a real polynomial R ∈ R[t] to reduce the number of anti-parallelogram linkages.
• Construct linkages from factorizations of the form C = (t − h1)⋯(t − hm), where C parametrizes a rational motion, and use the resulting structure to realize prescribed trajectories.

Experimental results

Research questions

• RQ1 Can the factorization theory of motion polynomials be used to construct minimal-linkage mechanisms that trace arbitrary rational space curves?
• RQ2 How does the use of quaternion polynomials H ∈ H[t] in factorization reduce the number of joints compared to real polynomial augmentation in Kempe-type constructions?
• RQ3 What is the minimal number of revolute joints required to realize a Darboux motion, where all trajectories are ellipses in non-parallel planes?
• RQ4 To what extent does the algebraic factorization of motion polynomials enable a constructive, low-complexity version of Kempe’s Universality Theorem for rational curves?

Key findings

• Motion polynomials provide a parametrization of rational motions via the Study kinematic mapping, with trajectories being rational curves.
• Linear motion polynomials correspond to either fixed-axis rotations or fixed-direction translations, forming the building blocks of more complex motions.
• The construction of a linkage for a rational curve can be achieved by factorizing a motion polynomial and applying Bennett flips recursively to generate joint configurations.
• For the ellipse, the proposed method yields a linkage with only 10 joints, a dramatic reduction from the 235 joints required in Kempe’s original construction.
• The Darboux motion, which involves ellipses in non-parallel planes, can be realized with only seven joints using this method.
• The method achieves a linear asymptotic bound on the number of joints in terms of curve degree, compared to the cubic bound in general algebraic curve constructions.