Abstract
We consider bivariate polynomials over the skew field of quaternions, where the indeterminates commute with all coefficients and with each other. We analyze existence of univariate factorizations, that is, factorizations with univariate linear factors. A necessary condition for existence of univariate factorizations is factorization of the norm polynomial into a product of univariate polynomials. This condition is, however, not sufficient. Our central result states that univariate factorizations exist after multiplication with a suitable univariate real polynomial as long as the necessary factorization condition is fulfilled. We present an algorithm for computing this real polynomial and a corresponding univariate factorization. If a univariate factorization of the original polynomial exists, a suitable input of the algorithm produces a constant multiplication factor, thus giving an a posteriori condition for existence of univariate factorizations. Some factorizations obtained in this way are of interest in mechanism science. We present an example of a curious closed-loop mechanism with eight revolute joints.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
By \(({\mathbb {H}},+,\cdot )\) we denote the skew field of real quaternions with the usual addition and non-commutative multiplication. Let \({\mathbb {H}}[t]\) be the ring of polynomials in the indeterminate t with multiplication defined by the convention that t commutes with all coefficients. A fundamental theorem of algebra also holds true for polynomials in \({\mathbb {H}}[t]\): Each non-constant univariate quaternionic polynomial admits a factorization with linear factors (c.f. [3, 4, 15]). Remarkably, such a factorization need not be unique. In general, there exist n! different factorizations with linear factors, where n denotes the degree of the polynomial. This ambiguity is caused by non-commutativity of quaternion multiplication.
Factorization of univariate quaternionic polynomials with linear factors is well understood. This article focuses on bivariate quaternionic polynomials with indeterminates t, s that commute with all coefficients and with each other. Denote the thus obtained polynomial ring by \({\mathbb {H}}[t,s]\). In contrast to the univariate case, little is known about criteria that ensure existence of factorizations of a polynomial \(Q \in {\mathbb {H}}[t,s]\) and the same can be said about algorithms to compute factorizations. We briefly explain an important difference between the univariate and the bivariate case: Denote by \({Q}^*\) the conjugate polynomial, obtained by conjugating the quaternion coefficients of Q. A necessary factorization condition is factorizability of the norm polynomial \(Q{Q}^* \in {\mathbb {R}}[t,s]\) of Q. The reason for this is multiplicativity of the quaternion norm: \(Q=Q_1 Q_2\) with \(Q_1, Q_2 \in {\mathbb {H}}[t,s]\) implies \(Q{Q}^*=(Q_1{Q_1}^*)(Q_2{Q_2}^*)\) with \(Q_1{Q_1}^*, Q_2{Q_2}^* \in {\mathbb {R}}[t,s]\). The norm polynomial of a univariate quaternionic polynomial of degree greater than one is a product of at least two irreducible real polynomials that play an important role in the computation of factorizations. This is in contrast to the bivariate case where factorizability of the norm polynomial is exceptional and not a sufficient condition for existence of factorizations. One instance for this (that we will frequently encounter in this text) is given in [1].
There exist few factorization results for bivariate quaternionic polynomials. The most promising article in this context is [16] by Skopenkov and Krasauskas. They introduce a technique for the factorization of bivariate quaternionic polynomials of bi-degree (n, 1), where \(n \in {\mathbb {N}}_0\) is an arbitrary non-negative integer. In [10], we build on their article and characterize all possible factorizations of quaternionic polynomials of bi-degree (n, 1) with univariate linear factors. We are not aware of further publications concerning this topic.
In this article, we broaden the ideas of [16] and state some new factorization results for bivariate quaternionic polynomials. Our contribution deals with factorizations of polynomials \(Q \in {\mathbb {H}}[t,s]\) with univariate linear factors, that is,
with \(u_i \in \{t,s\}\) and \(a, h_i \in {\mathbb {H}}\) for \(i=1,\ldots ,k\). We call these factorizations univariate since each factor of Q is a univariate quaternionic polynomial in either t or s. Univariate factorizations may only occur if Q satisfies \(Q{Q}^*=PR\) with \(P \in {\mathbb {R}}[t]\), \(R \in {\mathbb {R}}[s]\). We call this rather restrictive condition the necessary factorization condition. By [16], this condition is also sufficient for quaternionic polynomials of bi-degree (n, 1). Even this special case is interesting and we consider the results in [16] as an important contribution in the development of a factorization theory for bivariate quaternionic polynomials. The degree restrictions in [16] are quite strong but, unfortunately, necessary. The polynomial
was given by Beauregard in [1]. It is an example that satisfies the necessary factorization condition \(B{B}^*=(t^4+1)(s^4+1)\) but is irreducible in \({\mathbb {H}}[t,s]\) (c.f. [1, p.68–69] for a proof over rational quaternions and [16, Proof of Example 1.5] for a proof over real quaternions).
We have, however,
an identity that was called surprising by Skopenkov and Krasauskas [16, Example 2.11]. In the present paper we show that similar identities not only hold for the Beauregard polynomial (1) but are generally true: For any polynomial \(Q \in {\mathbb {H}}[t,s]\) satisfying the necessary factorization condition there exists a real polynomial \(K \in {\mathbb {R}}[t]\) (or \(K \in {\mathbb {R}}[s]\)) such that KQ admits a univariate factorization. The real polynomial K depends on an ordering of the irreducible real quadratic factors of R (or P, respectively), where \(Q{Q}^* = PR\) with \(P \in {\mathbb {R}}[t]\) and \(R \in {\mathbb {R}}[s]\). For this reason, we can find up to \(m!+n!\) univariate factorizations of real multiples of Q, where (m, n) denotes the bi-degree of Q. If Q admits a univariate factorization, a suitable ordering of irreducible real quadratic factors indeed yields \(K = 1\). We provide a sharp upper bound on the total number of possible univariate factorizations of Q and show how to find all of them.
Factorizability of quaternionic polynomials is an interesting research topic in its own right. However, polynomials over the quaternions and in particular over the dual quaternions (Sect. 5) received recent attention because of their relation to kinematics and mechanism science: Univariate (dual) quaternionic polynomials can be used to represent one-parametric rational motions [5] and factorizations correspond to decompositions of the respective motion into simpler motions. In particular, factorizations with linear factors yield decompositions into rotations and translations. In [2, 5, 6, 12, 13], this fact has been used to construct mechanisms following a given motion or curve. From different factorizations mechanical “legs” with revolute (or prismatic) joints are constructed that fully constrain a mechanism with prescribed rational end-effector motion or trajectory.
The findings of this article allow the extension of this concept to two-parametric motions. A first example will be outlined in the concluding Sect. 5. In this context,
-
1.
univariate factorizations are of particular interest as each univariate linear factor can be realized by a revolute/translational joint and
-
2.
multiplication with a real polynomial factor is admissible as it does not change the underlying rational motion.
The paper is structured as follows: in Sect. 2, we settle our notation and recall some known facts concerning factorization theory of univariate and bivariate quaternionic polynomials. In Sect. 3, we formulate and prove the central result on existence of \(K \in {\mathbb {R}}[t]\) (or \(K \in {\mathbb {R}}[s]\), respectively) such that KQ admits a univariate factorization. The proof is constructive and can be cast into an algorithm for finding K and a univariate factorization of KQ. In Sect. 4 we consider the case that the original polynomial Q admits a univariate factorization. In Sect. 5 we present applications to mechanism science and an outlook to future research.
2 Preliminaries
Let us consider the Clifford algebra \({\mathcal {C}}\ell _{(3,0,1)}\).Footnote 1 The index (3, 0, 1) indicates existence of four basis elements \(e_1, e_2, e_3, e_4\), where the first 3 basis elements square to 1 (\(e_1^2=e_2^2=e_3^2=1\)) and the last basis element squares to 0 (\(e_4^2=0\)). By the defining conditions for Clifford algebras, the basis elements also satisfy
We use the notation \(e_{12\cdots k} := e_1e_2\cdots e_k\), \(0 \le k \le 4\), for products of consecutive basis elements. Let us consider the subalgebra \({\mathbb {H}}\) of quaternions which is generated by the elements \(e_0\), \(e_{23}\), \(e_{31}\), \(e_{12}\) which are, in that order, identified with 1, \(\mathbf {i}\), \(\mathbf {j}\) and \(\mathbf {k}\). An element \(h \in {\mathbb {H}}\) can be written as
The basis elements satisfy the multiplication rules
Multiplication of quaternions is not commutative but \({\mathbb {H}}\) forms at least a division ring. The conjugate of h is \({h}^*=h_0 - h_1\mathbf {i}- h_2\mathbf {j}- h_3\mathbf {k}\), its norm is the real number \(h{h}^*=h_0^2+h_1^2+h_2^2+h_3^2\) and the inverse of \(h \in {\mathbb {H}}\setminus \{0\}\) is given by \(h^{-1}={h}^*/h{h}^*\).
By \({\mathbb {H}}[t]\) and \({\mathbb {H}}[t,s]\) we denote the set of univariate and bivariate quaternionic polynomials, respectively. Addition and scalar multiplication of quaternionic polynomials are defined in the common way. For multiplication we additionally assume that the indeterminates commute with the coefficients and with each other. The conjugate \({Q}^*\) of a quaternionic polynomial Q is defined by conjugating its coefficients. Its norm polynomial is the real polynomial given by \(Q{Q}^*\). We use the following notations: Let us fix \(m,n \in {\mathbb {N}}_0\). By \({\mathbb {H}}_{mn}\) we denote the set of quaternionic polynomials in \({\mathbb {H}}[t,s]\) of degree at most m in t and at most n in s. By replacing m or n with the symbol \(*\), we denote the set of polynomials with arbitrary degree in the respective variable. For instance, the set of polynomials of bi-degree (n, 1) with arbitrary \(n \in {\mathbb {N}}_0\) is denoted by \({\mathbb {H}}_{*1}\). This notation is taken from [16].
In this article, we repeatedly refer to known factorization results for univariate and bivariate polynomials. In particular, we use some crucial results from [16]. Therefore, we would like to briefly recapitulate the most important univariate and bivariate factorization results. The respective algorithms are taken from [5, univariate case] and [16, bivariate case] and adapted to our setting. To be able to highlight the similarities between the univariate and bivariate results, our explanations may sometimes slightly differ from the original papers.
2.1 Univariate Polynomials
Each non-constant univariate quaternionic polynomial \(Q \in {\mathbb {H}}[t]\) admits a factorization with linear factors which can be found as follows: At first, we assume that Q does not possess a real polynomial factor of positive degree. By [7, Theorem 2.3], this can be done without loss of generality since non-constant univariate real polynomials always admit factorizations with linear factors over \({\mathbb {H}}\). For later reference, we state this as a proposition:
Proposition 2.1
A non-constant univariate real polynomial \(F \in {\mathbb {R}}[t]\) admits a factorization with linear factors over \({\mathbb {H}}\).
The norm polynomial \(Q{Q}^*\) is a real polynomial and it can be decomposed into irreducible factors over \({\mathbb {R}}\). If \(M \in {\mathbb {R}}[t]\) is a monic irreducible factor of \(Q{Q}^*\), one can apply division with remainderFootnote 2 and obtains
If \(S=0\), we have \(Q=TM\) and Q possesses a real polynomial factor of positive degree, a case which we already excluded. Therefore, we just have to consider the case \(S \ne 0\): The norm polynomial \(S{S}^*\) of the remainder S satisfies the important identity \(S{S}^*=cM\) with \(c \in {\mathbb {R}}\setminus \{0\}\); indeed, the polynomial M is an irreducible factor of \(Q{Q}^*\) and
Since each term on the right-hand side of Equation (4) is divisible by M, the same is true for \(S{S}^*\). If \(\deg (S)=0\), the polynomial M would not divide \(S{S}^*\in {\mathbb {R}}\setminus \{0\}\) and we conclude \(\deg (S) = 1\), \(\deg (M) = 2\) and also \(S{S}^*=cM\) with \(c \in {\mathbb {R}}\setminus \{0\}\).
Writing \(S=a(t-h)\) with \(a, h \in {\mathbb {H}}\) and \(c={a}^*a\), \(M={(t-h)}^*(t-h)\), we conclude that \((t-h)\) is a right factor of both S and M and hence, by (3), also a right factor of Q. Using polynomial division we find \(Q' \in {\mathbb {H}}[t]\) such that \(Q=Q'(t-h)\). By proceeding inductively with \(Q'\) instead of Q, we obtain the desired factorization with linear factors.
Remark 2.2
Let us close this section with some important observations:
-
1.
If Q has no real polynomial factor of positive degree, the above arguments show that a monic irreducible factor M of \(Q{Q}^*\) is of degree two.
-
2.
The right factor \(t-h\) of Q depends on the irreducible polynomial \(M \in {\mathbb {R}}[t]\) of \(Q{Q}^*\). By choosing different irreducible factors of the norm polynomial, we obtain different right factors of Q. In general, there exist \((\deg Q)!\) different factorizations with linear factors.
-
3.
Following above ideas, one successively separates linear right factors until one obtains the desired factorization of Q. It is equally possible to split off left factors, for example by computing right factors of the conjugate polynomial \({Q}^*\).
-
4.
Unless Q is divisible by M, the right factor \(t-h\) with \((t-h){(t-h)}^*=M\) is uniquely determined [5, Lemma 3]. A similar statement is true for the left factors of Q.
We conclude this section with a word of warning on some algorithmic assumptions made throughout this paper. The presented iterative factorization algorithm for univariate quaternionic polynomials requires in each step as input a real quadratic factor M of the norm polynomial \(Q{Q}^*\). In general, the computation of M is only possible numerically which poses the (yet unsolved) question for a robust numeric version of the factorization algorithm. Similar concerns apply to all factorization algorithms we encounter in this article. This should be kept in mind when reading phrases like “we can compute all factorizations” or, “this algorithm yields a factorization of a type xyz if it exists” in the remainder of this paper.
2.2 Bivariate Polynomials
Let us now consider univariate factorizations of bivariate quaternionic polynomials, that is, factorizations with only univariate linear factors. Any univariate factorization of a bivariate polynomial \(Q \in {\mathbb {H}}[t,s]\) can be represented by a univariate factorization with monic linear factors
where \(u_i \in \{t,s\}\) and \(a, h_i \in {\mathbb {H}}\) for \(i=1,\ldots ,k\). We usually consider univariate factorizations of the form (5).
Univariate factorizations may only occur if the norm polynomial factors as \(Q{Q}^*=PR\) with \(P \in {\mathbb {R}}[t]\) and \(R \in {\mathbb {R}}[s]\). In order to see this, compute
Factors of the form \((u_i-h_i){(u_i-h_i)}^*\) are real univariate polynomials in t or s and hence part of the center of \({\mathbb {H}}[t,s]\). Using this fact we obtain
and \(Q{Q}^*\) turns out to be a product of univariate real polynomials.
Definition 2.3
(NFC) Let \(Q \in {\mathbb {H}}[t,s]\) be a bivariate quaternionic polynomial. We say that Q satisfies the necessary factorization condition (NFC) if \(Q{Q}^*=PR\) with \(P \in {\mathbb {R}}[t]\) and \(R \in {\mathbb {R}}[s]\).
In order to state results on existence of univariate factorizations, we proceed similarly to Sect. 2.1 and neglect real polynomial factors of positive degree: We endow the polynomial ring \({\mathbb {H}}[t,s]\) with the graded lexicographic order. For a polynomial \(Q=Q_0+\mathbf {i}Q_1+\mathbf {j}Q_2 + \mathbf {k}Q_3 \in {\mathbb {H}}[t,s]\) we define \({{\,\mathrm{mrpf}\,}}(Q)\) to be the monic greatest common divisor of the polynomials \(Q_0,Q_1,Q_2,Q_3 \in {\mathbb {R}}[t,s]\).Footnote 3 We then find a polynomial \(Q' \in {\mathbb {H}}[t,s]\) such that \(Q={{\,\mathrm{mrpf}\,}}(Q)Q'\). Obviously, the polynomial \(Q'\) does not possess a real divisor of positive degree. If Q satisfies the NFC, the real polynomial \({{\,\mathrm{mrpf}\,}}(Q)\) is a product of univariate real polynomials as well. These polynomials admit factorizations over \({\mathbb {H}}\) according to Proposition 2.1. Therefore, it is sufficient to consider polynomials \(Q \in {\mathbb {H}}[t,s]\) with \({{\,\mathrm{mrpf}\,}}(Q)=1\).
The NFC turns out to be sufficient if we consider polynomials \(Q \in {\mathbb {H}}_{*1}\). This immediately follows from [16] and we will briefly explain how to find a factorization:
Consider a non-constant polynomial \(Q \in {\mathbb {H}}_{*1}\) with \({{\,\mathrm{mrpf}\,}}(Q)=1\) satisfying the NFC \(Q{Q}^*=PR\) with \(P \in {\mathbb {R}}[t]\) and \(R \in {\mathbb {R}}[s]\). If \(\deg (P)=0\), Q is a linear polynomial in \({\mathbb {H}}[s]\), hence there is nothing to show. Otherwise, we choose a monic irreducible factor \(M \in {\mathbb {R}}[t]\) of the univariate t-factor P in the norm polynomial. Let \(T, S \in {\mathbb {H}}[t,s]\) be polynomials with
Representation (6) can be found by writing \(Q=Q_0+sQ_1\) with \(Q_0, Q_1 \in {\mathbb {H}}[t]\) and dividing both, \(Q_0\) and \(Q_1\), with remainder by M.Footnote 4 If \(S=0\), we have \(Q=TM\), whence Q has a real polynomial factor of positive degree. This contradicts our assumption \({{\,\mathrm{mrpf}\,}}(Q)=1\). Therefore, \(S \ne 0\), and we repeat the computations made in Eq. (4) and conclude that M divides \(S{S}^*\). Similar to the univariate case, this is only possible if \(\deg (M)=2\) and \(S{S}^*=HM\) for an appropriate polynomial \(H \in {\mathbb {R}}[s]\). Note that H is indeed univariate since \(S \in {\mathbb {H}}_{11}\). Hence S satisfies the NFC. (We would like to emphasize the resemblance of the univariate and bivariate ideas: In the univariate case we obtained \(S{S}^*=cM\) with \(c \in {\mathbb {R}}\setminus \{0\}\).)
The remainder polynomial S possesses a very low bi-degree and, therefore, is easy to handle. Indeed, in the simple case of polynomials in \({\mathbb {H}}_{11}\) satisfying the NFC, the direct computation of a univariate factorization via the Splitting Lemma by Skopenkov and Krasauskas (c.f. [16, Splitting Lemma 2.6]) is possible. Using their result, one obtains
with \(A \in {\mathbb {H}}[s]\), \((t-h){(t-h)}^*=M\), \(A{A}^*=H\). Now, one can either separate the factor \(t-h\) on the left or the right of Q. Indeed, if Case 1 is satisfied, \(t-h\) is a left factor of both S and M and, by (6), also of Q. (Note that \(TM=MT\) since \(M \in {\mathbb {R}}[t]\) is a real polynomial.) Otherwise, \(t-h\) is a right factor of S and M and hence, again by (6), also a right factor of Q. Choosing the next irreducible factor of P and proceeding inductively yields a decomposition with univariate linear factors.
Remark 2.4
-
1.
The fact \({{\,\mathrm{mrpf}\,}}(Q)=1\) implies that the monic irreducible factor M of P is of degree two. It is not unique and a different choice for M will, in general, also yield a different left or right factor \(t-h\).
-
2.
Similar to the univariate case, we may conclude that the univariate right factors with norm polynomial M are, in general, unique. Indeed, let \(t-h\) be a linear right factor of Q and let \(M {:}{=} (t-h){(t-h)}^*\). If Q is not divisible by M, we claim that h is uniquely determined. The fact \(M \not \mid Q\) implies that there exists at least one coefficient of Q, viewed as an element of \({\mathbb {H}}[t][s]\), that is not divisible by M. This coefficient is a univariate polynomial in \({\mathbb {H}}[t]\) with right factor \(t-h\). Hence \(t-h\) is uniquely determined by Remark 2.2, Item 4. The same argument can be applied to left factors of Q. This statement is not only true for \(Q \in {\mathbb {H}}_{*1}\) but also for \(Q \in {\mathbb {H}}[t,s]\). Moreover, the arguments remain true for linear s-factors of Q.
For the sake of completeness and the reader’s convenience we describe the factorization technique for polynomials in \({\mathbb {H}}_{*1}\) in Algorithm 1. The algorithm relies on the factorization technique of [16] and in particular on their crucial Splitting Lemma. Unlike [16], our slightly modified version forces the linear factors in t to be monic as described in the current section. It takes as input a tuple of quadratic factors of P rather than P itself in order to account for the ambiguity mentioned in Remark 2.4, Item 1. Moreover, we assume \({{\,\mathrm{mrpf}\,}}(Q)=1\). The adaption of Algorithm 1 to the case \({{\,\mathrm{mrpf}\,}}(Q) \ne 1\) is straightforward (c.f. Proposition 2.1). Since \({\mathbb {H}}[t] \subseteq {\mathbb {H}}_{*1}\), the algorithm also works for univariate polynomials in \({\mathbb {H}}[t]\) (c.f. lines 9–11).
Implementation of Algorithm 1 and also the later Algorithm 2 only requires a few standard ingredients: Factorization of real polynomials, quaternion algebra, and division with remainder over polynomial rings. Our examples were computed using a self written library for the computer algebra system Maple [14].
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00006-021-01194-9/MediaObjects/6_2021_1194_Figa_HTML.png)
3 A Multiplication Technique
As outlined in Sect. 2.2, existence of univariate factorizations of bivariate quaternionic polynomials is exceptional. They may only occur if the – rather restrictive – NFC is satisfied. However, the Beauregard polynomial (1) is irreducible in \({\mathbb {H}}[t,s]\) even though it satisfies the NFC. Nevertheless, a real multiple of B admits the desired decomposition with univariate linear factors (2). Motivated by this example, we introduce a multiplication technique. We consider bivariate quaternionic polynomials satisfying the NFC and show that suitable real polynomial multiples of these polynomials admit a univariate factorization.
We state our results for monic polynomials with respect to the graded lexicographic order. This can be done without loss of generality: If \(Q \in {\mathbb {H}}[t,s]\) is not monic, we write \(Q={\text {lc}}(Q)Q'\), where \({\text {lc}}(Q) \in {\mathbb {H}}\) is the leading coefficient of Q, and apply our results to the monic polynomial \(Q' \in {\mathbb {H}}[t,s]\). If a monic polynomial satisfies the NFC \(Q{Q}^*=PR\) with \(P \in {\mathbb {R}}[t]\) and \(R \in {\mathbb {R}}[s]\), we may assume that P and R are monic as well. Moreover, if a monic polynomial admits a factorization of the form (5), we may always conclude \(a=1\).
Theorem 3.1
Let \(Q \in {\mathbb {H}}[t,s]\) be a non-constant monic bivariate quaternionic polynomial with \({{\,\mathrm{mrpf}\,}}(Q)=1\) satisfying the NFC \(Q{Q}^* = PR\) for \(P \in {\mathbb {R}}[t], R \in {\mathbb {R}}[s]\). There exists \(K \in {\mathbb {R}}[t]\) such that KQ decomposes into monic univariate linear factors, that is,
with \(k \in {\mathbb {N}}\), \(u_i \in \{t,s\}\) and \(h_i \in {\mathbb {H}}\) for \(i=1,\ldots ,k\).
Proof
For \(m,n \in {\mathbb {N}}_0\) let (m, n) be the bi-degree of Q, where \(m+n=k\). We prove the statement via induction over n. For \(n \in \{0,1\}\) there is nothing to show. Indeed, if \(n=0\), the polynomial Q is an element of \({\mathbb {H}}[t]\) and we can apply the univariate factorization results stated in Sect. 2.1. If \(n=1\), it holds that \(Q \in {\mathbb {H}}_{*1}\) and we find a factorization according to Sect. 2.2. In both cases we obtain the desired result by choosing \(K=1\).
Let us now assume \(n \ge 2\). We choose a monic irreducible factor \(M \in {\mathbb {R}}[s]\) of the univariate s-factor R in the norm polynomial. We apply division with remainderFootnote 5 and obtain polynomials \(T, S \in {\mathbb {H}}[t,s]\) such that
where \(S \in {\mathbb {H}}_{*1}\). If \(S=0\), we have \(Q=TM\), a contradiction to \({{\,\mathrm{mrpf}\,}}(Q)=1\). Hence \(S \ne 0\), and we repeat the computations applied in Sects. 2.1 and 2.2:
Since M is a factor of \(Q{Q}^*\), each term on the right-hand side of Equation (8) is divisible by M. This is only possible if \(\deg (M)=2\) and \(S{S}^*=HM\) for an appropriate univariate polynomial \(H \in {\mathbb {R}}[t]\). Hence the remainder polynomial S satisfies the NFC. We apply Algorithm 1 to \(S/{{\,\mathrm{mrpf}\,}}(S)\) and inductively produce linear t-factors on the left-hand side and on the right-hand side of the s-factor:
with \(l,r \in {\mathbb {N}}_0\) and appropriate quaternions \(h_1, \ldots , h_l, a,b, k_1,\ldots ,k_r \in {\mathbb {H}}\).Footnote 6 For better readability, we use the following abbreviation: We set \(h {:}{=} -ba^{-1}\) and \(G {:}{=} a (t-k_1)\cdots (t-k_r) \cdot {{\,\mathrm{mrpf}\,}}(S) \in {\mathbb {H}}[t]\). We then obtain
Note that \(M = (s-h){(s-h)}^*\). Define
Then
The polynomial \(Q' \in {\mathbb {H}}_{*(n-1)}\) still satisfies the NFC because the norm polynomial \(Q'{Q'}^*\) divides \(K_1^2Q{Q}^*=K_1^2PR\) with \(K_1^2P\in {\mathbb {R}}[t]\), \(R \in {\mathbb {R}}[s]\).
By induction hypothesis, there exists \(K_2 \in {\mathbb {R}}[t]\) such that \(K_2Q'\) admits a univariate factorization. (This is true even if \(Q'\) has a non-trivial real polynomial factor, a case which is formally not covered by the induction hypothesis. This factor is negligible by Proposition 2.1.)
Define \(K {:}{=} K_2K_1 \in {\mathbb {R}}[t]\). Then
which proves the claim. \(\square \)
Remark 3.2
In above proof, we computed a factorization of the remainder polynomial \(S=(t-h_1)\cdots (t-h_l)(s-h)G\), where \(G \in {\mathbb {H}}[t]\), and then forced the factor \((t-h_1)\cdots (t-h_l)(s-h)\) to be a left factor of a suitable real multiple of Q. Obviously, one may also compute a factorization of the form \(S=F(s-k)(t-k_1)\cdots (t-k_r)\), where \(F \in {\mathbb {H}}[t]\), and find a real polynomial multiple of Q admitting a univariate factorization with right factor \((s-k)(t-k_1)\cdots (t-k_r)\).
Example 3.3
Let us precisely investigate the Beauregard polynomial (1) of [1]:
Following the proof of Theorem 3.1, we choose an irreducible factor \(M {:}{=} s^2+\sqrt{2}s+1 \in {\mathbb {R}}[s]\) of \(s^4+1\). Division with remainder yields a remainder \(S \in {\mathbb {H}}_{*1}\) of the form
which satisfies the NFC. We compute the following factorization of S via Algorithm 1:
Define
Then
with \(B' \in {\mathbb {H}}_{*1}\) satisfying the NFC. Algorithm 1 yields one factorization of the form
which shows that factorization (2) can be found by means of the multiplication technique of Theorem 3.1.
Remark 3.4
Even though our multiplication technique actually yields a factorization of a real polynomial multiple KQ of Q, it is sometimes possible to simplify the real polynomial \(K \in {\mathbb {R}}[t]\). In the first step of the proof of Theorem 3.1, we computed polynomials \(K_1 \in {\mathbb {R}}[t]\) and \(Q' \in {\mathbb {H}}[t,s]\) such that \(K_1Q=(t-h_1)\cdots (t-h_l)(s-h)Q'\). It may happen that the polynomials \(K_1\) and \(Q'\) share a real polynomial factor of positive degree. One may therefore replace both \(K_1\) and \(Q'\) by \(K_1/\gcd (K_1,{{\,\mathrm{mrpf}\,}}(Q'))\) and \(Q'/\gcd (K_1,{{\,\mathrm{mrpf}\,}}(Q'))\), respectively. By applying this idea in each step of the algorithm, it might be possible to significantly reduce the degree of K. This is illustrated in the next example.
Example 3.5
Consider
The polynomial satisfies the NFC
We choose an irreducible factor
apply division with remainder and find a remainder \(S \in {\mathbb {H}}_{*1}\) that admits the following factorization:
We define
and obtain
for an appropriate polynomial \(Q' \in {\mathbb {H}}_{*1}\). It turns out that the factor \(t^2+1\) is also a factor of \(Q'\), whence multiplication with this factor is redundant and we just have to consider the polynomial
According to Sect. 2.2 we find a univariate factorization of \(\frac{Q'}{t^2+1}\). Ultimately, we obtain
The proof of Theorem 3.1 is constructive. This fact enables us an algorithmic formulation of the multiplication technique (Algorithm 2). It relies on the factorization technique of [16] for polynomials in \({\mathbb {H}}_{*1}\), which is described in Algorithm 1.
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00006-021-01194-9/MediaObjects/6_2021_1194_Figb_HTML.png)
Remark 3.6
Let us continue with a few remarks on Algorithm 2:
-
1.
Algorithm 2 depends on a tuple \((M_1,\ldots ,M_n)\) of irreducible real factors of R. This tuple is unique up to permutation. By choosing different orders of the irreducible factors, we obtain, similar to Remark 2.4, Item 1, different real multiples of Q that admit univariate factorizations. In general, if the polynomials \(M_1,\ldots , M_n\) are pairwise different, we find n! different univariate factorizations of real multiples of Q.
-
2.
Obviously, our ideas also work for irreducible t-factors of \(Q{Q}^*\). We then obtain a polynomial \(K \in {\mathbb {R}}[s]\) such that KQ admits a univariate factorization. If \(P=N_1\cdots N_m\) is a decomposition of the t-factor P in the norm polynomial with irreducible factors and if \(N_1,\ldots , N_m\) are different in pairs, the algorithm yields m! different univariate factorizations.
-
3.
For a polynomial \(Q \in {\mathbb {H}}_{mn}\) with \({{\,\mathrm{mrpf}\,}}(Q)=1\) we find up to \(m!+n!\) different univariate factorizations of real multiples of Q.
Example 3.7
Let us again consider the Beauregard polynomial (1) from [1]. It is of bi-degree (2, 2). The multiplication technique yields \(2!+2!=4\) factorizations of real multiples of the polynomial B:
4 An a Posteriori Condition for Existence of Factorizations
So far we have just considered univariate factorizations of real multiples of Q, where Q satisfies the NFC \(Q{Q}^* = PR\) with \(P \in {\mathbb {R}}[t]\) and \(R \in {\mathbb {R}}[s]\). We did not yet take the possibility into account that Q itself admits a univariate factorization. If this is the case, multiplication with a real polynomial is not necessary. An a priori condition for existence of a univariate factorization of Q is yet unknown. Moreover, if a univariate factorization exists, we do not know how to find it. At least the second issue can be tackled by means of our multiplication technique: According to Remark 3.4, it may sometimes happen that the real polynomial \(K \in {\mathbb {R}}[t]\) cancels out. We will show that, if a univariate factorization exists, there is a suitable permutation \((M_1,\ldots ,M_n)\) of irreducible s-factors of R such that Algorithm 2 yields \(K = 1\) and a factorization that is equivalent to the given factorization in a sense to be specified.
We proceed by introducing a sensible concept of equivalence of factorizations that will allow us to formulate our statements in a clear and simple way. It identifies factorizations that arise from ambiguities of factorizations of univariate polynomials (c.f. Remark 2.2, Item 4) and from commutation of adjacent t- and s-factors:
Example 4.1
Because of \((t+\mathbf {i}+\mathbf {j})(t-\mathbf {i}) = (t + \mathbf {i})(t - \mathbf {i}+ \mathbf {j})\), the polynomial
obviously allows a second factorization:
Moreover, in this special example, we may even write
since \((t+\mathbf {i})\) and \((s-\mathbf {i})\) commute. We will view all of these factorizations of Q as equivalent.
Definition 4.2
Given a univariate factorization \(Q = (u_1-h_1)\cdots (u_k-h_k)\) of a monic polynomial \(Q \in {\mathbb {H}}[t,s]\) with \(u_i \in \{t,s\}\) and \(h_i \in {\mathbb {H}}\) for \(i=1,\ldots ,k\), we define two elementary operations that again yield a univariate factorization of Q:
-
1.
Interchange \(u_l-h_l\) and \(u_{l+1}-h_{l+1}\), provided these factors commute.
-
2.
Replace the product \((u_l-h_l)(u_{l+1}-h_{l+1})\) by \((u_l-k_l)(u_{l+1}-k_{l+1})\) where \(u_l = u_{l+1}\) and \((u_l-h_l)(u_{l+1}-h_{l+1}) = (u_l-k_l)(u_{l+1}-k_{l+1})\).
Two univariate factorizations of a monic polynomial \(Q \in {\mathbb {H}}[t,s]\) are called equivalentFootnote 7 if they correspond in a sequence of elementary operations.
The second elementary operation replaces a quadratic s- or t-factor by its second factorization according to Remark 2.2, Item 2. In [13, Definition 4] this is called a “Bennett flip” and the explicit formula
is provided. It is well-known that all factorizations of a univariate quaternionic polynomial can be generated by Bennett flips [5, 13].
Definition 4.2 captures a natural notion for equivalence of factorizations in our context. Nonetheless, we also introduce a stricter concept of equivalence which takes into account the asymmetry of Algorithm 2 with respect to s and t. Let \(Q \in {\mathbb {H}}[t,s]\) be a monic polynomial with \({{\,\mathrm{mrpf}\,}}(Q)=1\). Assume that Q admits two factorizations with univariate linear factors. Write
with monic \(A_i\), \({\widetilde{A}}_i \in {\mathbb {H}}[t]\) for \(i=0,\ldots ,n\) and \(h_i, {\widetilde{h}}_i \in {\mathbb {H}}\) for \(i=1,\ldots ,n\). We use this notation in order to highlight the appearance of the univariate linear s-factors. The polynomials \(A_i\) and \({\widetilde{A}}_i\) occur by merging consecutive linear t-factors. Some of the polynomials \(A_i\) and \({\widetilde{A}}_i\) may equal 1.
Definition 4.3
We call the two factorizations (10) t-equivalent if
for all \(i=1,\ldots ,n\). This definition is an equivalence relation on the set of all possible univariate factorizations of Q. Obviously, there is an analogous concept of s-equivalence of factorizations.
Proposition 4.4
Let \(Q \in {\mathbb {H}}[t,s]\) be a monic polynomial with \({{\,\mathrm{mrpf}\,}}(Q)=1\). Moreover, assume that Q admits two factorizations of the form (10) which are t-equivalent according to Definition 4.3. If \(\gcd (A_0{A_0}^*,{\widetilde{A}}_0{{\widetilde{A}}_0}^*)=1\), we obtain \(A_0(s-h_1)=(s-h_1)A_0\), \({\widetilde{A}}_0(s-{\widetilde{h}}_1)=(s-{\widetilde{h}}_1){\widetilde{A}}_0\), and \(h_1 = {\widetilde{h}}_1\).
We prove the statement by means of the following technical lemma:
Lemma 4.5
Let \(Q \in {\mathbb {H}}[t,s]\) be a bivariate quaternionic polynomial of the form \(Q = A(s-h)B\) with \(A \in {\mathbb {H}}[t]\), \(B \in {\mathbb {H}}[t,s]\) and \(h \in {\mathbb {H}}\). The remainder of having divided Q by \(M {:}{=} (s-h){(s-h)}^*\) equals \(R=A(s-h)C\) for an appropriate \(C \in {\mathbb {H}}[t]\), that is, Q and R share the common left factor \(A(s-h)\).
Proof
Let us divide the polynomial \((s-h)B\) with remainder by M. We obtain \((s-h)B=TM+S\) with \(S \in {\mathbb {H}}_{*1}\). Obviously, \((s-h)\) is a left factor of both \((s-h)B\) and \(TM=MT\). For this reason, it is also a left factor of S. We write \(S=(s-h)C\) for an appropriate polynomial \(C \in {\mathbb {H}}[t]\). Ultimately, we obtain
Since A is a univariate polynomial in \({\mathbb {H}}[t]\), the polynomial \(A(s-h)C\) is an element of \({\mathbb {H}}_{*1}\). By Equation (11), it turns out to be the unique remainder of having divided Q by M, whence the claim follows. \(\square \)
Proof of Proposition 4.4
We divide Q with remainder by \((s-h_1){(s-h_1)}^*=(s-{\widetilde{h}}_1){(s-{\widetilde{h}}_1)}^*\). According to Lemma 4.5, the remainder polynomial \(S \in {\mathbb {H}}_{*1}\) admits two factorizations of the form
where \(B_0, {\widetilde{B}}_0 \in {\mathbb {H}}[t]\). By [10, Theorem 3.21], this implies \(A_0(s-h_1) = (s-h_1)A_0\) and \({\widetilde{A}}_0(s-{\widetilde{h}}_1) = (s-{\widetilde{h}}_1){\widetilde{A}}_0\). Plugging this into (12) we obtain \((s-h_1)A_0B_0 = (s-{\widetilde{h}}_1){\widetilde{A}}_0{\widetilde{B}}_0\). Now \(h_1 = {\widetilde{h}}_1\) by Remark 2.4, Item 2. This concludes the proof. \(\square \)
Proposition 4.6
Two factorizations that are t-equivalent are also equivalent in the sense of Definition 4.2.
Proof
We argue that t-equivalence of the two factorizations (10) indeed implies that they can be converted into each other by computing suitable factorizations of the polynomials \(A_i\), \({\widetilde{A}}_i\) and by commuting neighbouring s- and t-factors: As long as \(A_0{A_0}^*\) and \({\widetilde{A}}_0{{\widetilde{A}}_0}^*\) share common irreducible factors we choose a quadratic irreducible common factor M of \(A_0{A_0}^*\) and \({\widetilde{A}}_0{{\widetilde{A}}_0}^*\) and compute left factors of both \(A_0\) and \({\widetilde{A}}_0\) with norm M according to Remark 2.2, Item 3. These factors are also left factors of Q and the fact \({{\,\mathrm{mrpf}\,}}(Q)=1\) implies \(M \not \mid Q\). According to Remark 2.4, Item 2, the respective linear factors are equal.
According to Proposition 4.4, the remaining factors \(B_0\), \({\widetilde{B}}_0\) of \(A_0\) and \({\widetilde{A}}_0\), respectively, commute with \((s-h_1)=(s-{\widetilde{h}}_1)\). Now, we apply the same arguments to the new polynomials \(B_1 {:}{=} B_0A_1\), \({\widetilde{B}}_1 {:}{=} {\widetilde{B}}_0{\widetilde{A}}_1\) and \((s-h_2), (s-{\widetilde{h}}_2)\). Inductively, the claim follows. \(\square \)
Example 4.7
The two factorizations
and
are t-equivalent and, by Proposition 4.6, also equivalent. The reader is invited to transform them into each other by using only elementary operations according to Definition 4.2.
Example 4.8
The polynomial
admits six univariate factorizations arising from the six different factorizations of \((s-\mathbf {j})(s - \mathbf {i}+ \mathbf {j})(s - 2\mathbf {k})\) according to Sect. 2.1. None of them are t-equivalent. Among these factorizations, two have the left factor \((s-\mathbf {j})\) which commutes with \((t-\mathbf {j})\). Each of them gives rise to a further t-equivalent factorization. All eight factorizations are equivalent, showing that the converse of Proposition 4.6 is not true. From Corollary 4.13 below it will follow that the polynomial admits no further factorizations.
The following theorem is the centerpiece of the present section:
Theorem 4.9
Let \(Q \in {\mathbb {H}}[t,s]\) be a monic quaternionic polynomial satisfying the NFC \(Q{Q}^*=PR\), where \(P \in {\mathbb {R}}[t]\), \(R \in {\mathbb {R}}[s]\), and \({{\,\mathrm{mrpf}\,}}(Q) = 1\). Moreover, let \(R=M_1\cdots M_n\) be a decomposition of R with monic, quadratic, irreducible factors. If the polynomial Q admits a univariate factorization, there exists a permutation \(\sigma \in S_n\) such that Algorithm 2 with input \((M_{\sigma (1)},\ldots ,M_{\sigma (n)})\) yields \(K=1\) and a univariate factorization which is equivalent to the given factorization of Q.
Proof
By assumption, the polynomial Q decomposes into univariate linear factors. We are interested in the leftmost s-factor of this factorization. For this reason, we write
with \(l \in {\mathbb {N}}_0\), \(h_1, \ldots , h_l, h \in {\mathbb {H}}\) and an appropriate polynomial \({\widetilde{Q}} \in {\mathbb {H}}[t,s]\). (In case \(l=0\), the empty product convention applies.) There exists \(k \in \{1,\ldots ,n\}\) such that
We set \(\sigma (1) {:}{=} k\) and apply the first step of Algorithm 2. By Lemma 4.5, the remainder polynomial of having divided Q by \(M_{\sigma (1)}\) equals
for an appropriate \(C \in {\mathbb {H}}[t]\). Following the proof of Theorem 3.1, we have to define
and obtain
with \(Q' \in {\mathbb {H}}[t,s]\). By Eq. (14), \((t-h_1)\cdots (t-h_l)(s-h)\) is a left factor of Q. Therefore, \(K_1\) is a real divisor of \(Q'\) (we have \(Q'=K_1{\widetilde{Q}}\)) and we get rid of this divisor according to Remark 3.4. Replacing Q by \({\widetilde{Q}}\) and proceeding inductively yields the desired factorization of Q. \(\square \)
Remark 4.10
In contrast to Algorithm 2, our proof of Theorem 4.9 yields precisely the given factorization of Q. Algorithm 2 is not deterministic (for example, line 6 leaves us a choice). Hence, its output is not necessarily identical but t-equivalent and, by Proposition 4.6, also equivalent to the given factorization of Q.
Theorem 4.9 provides an a posteriori condition for existence of univariate factorizations. In case of existence of a univariate factorization, at least an equivalent univariate factorization can be found by application of the multiplication technique.
Example 4.11
Consider the polynomial Q from Example 3.5. In Eq. (9), we found a factorization of \((t^2+\frac{6}{5}t+\frac{9}{5})Q\) with univariate linear factors by applying Algorithm 2 with input \((s^2+3,s^2+2)\). In fact, it turns out that already Q admits a univariate factorization. It can be found by application of Algorithm 2 with input \((s^2+2,s^2+3)\):
Example 4.12
The Beauregard polynomial B does not admit a factorization with univariate linear factors since it is irreducible in \({\mathbb {H}}[t,s]\). Nonetheless, non-existence of a univariate factorization also follows from the fact that Algorithm 2 with inputs \((s^2+\sqrt{2}s+1,s^2-\sqrt{2}+1)\) or \((s^2-\sqrt{2}s+1,s^2+\sqrt{2}s+1)\) only yields univariate factorizations of \((t^2+1)B\) (c.f. Example 3.7).
Corollary 4.13
Let \(Q \in {\mathbb {H}}[t,s]\) satisfy the assumptions of Theorem an 4.9. Moreover, let (m, n) with \(m, n \in {\mathbb {N}}_0\) be the bi-degree of Q. The polynomial Q may admit up to k! non-equivalent univariate factorizations, where \(k {:}{=} \min (m,n)\). All of them can be found by applying the multiplication technique.
Proof
Let us consider the case \(n \le m\). By Theorem 4.9, any univariate factorization of Q is equivalent to a factorization that can be found by application of Algorithm 2 with suitable input polynomials. However, there exist at most n! different tuples with quadratic, irreducible, real polynomials \((M_1,\ldots ,M_n)\), which can be used as input for Algorithm 2. This proves the claim. If \(m \le n\), we interchange s and t. \(\square \)
Remark 4.14
An arbitrary input tuple need not automatically yield a univariate factorization of Q. This is only the case if the algorithm produces \(K=1\). Moreover, it may happen that different input tuples of Algorithm 2 give rise to univariate factorizations which are not t-equivalent, but still equivalent. Indeed, consider the polynomial Q from Example 4.8. Algorithm 2 with different input tuples yields six different univariate factorizations. All of them are equivalent, demonstrating that the upper bound of Corollary 4.13 need not be strict.
Example 4.15
Consider the polynomial Q from Examples 3.5 and 4.11. By Corollary 4.13, all univariate factorizations are equivalent to the factorization obtained by application of Algorithm 2 with input \((s^2+2,s^2+3)\). This is the only input tuple which yields a univariate factorization.
5 A Remarkable Example and Future Research
We conclude this article by a remarkable example which shows that the upper bound of Corollary 4.13 is sharp. It also demonstrates applicability of our factorization ideas to mechanism science which is a topic of future research.
Example 5.1
The following polynomial \(Q \in {\mathbb {H}}[t,s]\) admits \(2!=2\) non-equivalent factorizations with univariate linear factors:
Both of them can be found by application of the multiplication technique. To the best of our knowledge, this is the first example of a bivariate quaternionic polynomial with non-equivalent factorizations and without a real polynomial factor of positive degree.
One of the prime applications of quaternions is kinematics. Quaternions can be used to model the special orthogonal group \({\text {SO}}(3)\) and linear quaternionic polynomials parametrize rotations around fixed axes [5]. Thus, the two factorizations in (15) describe, in two ways, a spherical two-parametric motion of a chain of revolute joints. Note that non-equivalence of factorizations is crucial as otherwise the two chains of revolute joints “essentially” coincide by arguments similar to [10].
Quite surprisingly, the two factorizations (15) (and all other similar examples that we know of) can be extended to dual quaternions which allows to extend the spherical chains of revolute joints to spatial mechanisms (c.f. [5]).
The dual quaternions \(\mathbb {DH}\) are obtained by adjoining a new element \(\varepsilon \) to \({\mathbb {H}}\) which commutes with everything and squares to zero: \(\varepsilon ^2 = 0\). The algebra of dual quaternions is isomorphic to the even subalgebra \({\mathcal {C}}\ell ^{+}_{(3,0,1)}\) of the Clifford algebra \({\mathcal {C}}\ell _{(3,0,1)}\), which was introduced in Sect. 2. The generators of \({\mathcal {C}}\ell ^{+}_{(3,0,1)}\) are the elements \(e_0\), \(e_{12}\), \(e_{13}\), \(e_{14}\), \(e_{23}\), \(e_{24}\), \(e_{34}\) and \(e_{1234}\). The isomorphism is given by (c.f. [9, p. 184])
An element \(h \in \mathbb {DH}\) can be uniquely written as \(h = p + \varepsilon d\) with primal part \(p \in {\mathbb {H}}\) and dual part \(d \in {\mathbb {H}}\).
In order to extend the factorization (15) to \(\mathbb {DH}\) we make the ansatz
where
with yet unknown quaternions \(d_\ell \), \(f_\ell \in {\mathbb {H}}\). A linear polynomial \(t + p + \varepsilon d \in \mathbb {DH}[t]\) parametrizes a rotation around an arbitrary axis in space if it satisfies the Study condition \(p{d}^* + d{p}^* = 0\) and \(d + {d}^* = 0\) [8]. Imposing these conditions on each linear factor and augmenting this system of equations with the conditions obtained by comparing coefficients of s and t on both sides of (16) yields a system of 48 linear equations for 32 unknowns. The solution space turns out to be of dimension four:
Each of the two factorizations in (16) yields an open chain of revolute joints which can follow the motion parametrized by \(C \in \mathbb {DH}[t,s]\). However, this requires synchronization of joints that share the same parameter values t or s. In order to avoid this control problem, one can combine the two open chains to obtain a closed-loop spatial mechanism with eight revolute joints [Fig. 1; axes are labeled by the factors in (16)] and remarkable properties. As any generic mechanism of this type, it has two degrees of freedom. Its configuration variety contains the motion parametrized by the polynomial \(C \in \mathbb {DH}[t,s]\) in a very special way. By construction, locking any of its joints (parametrized by t, say) automatically locks every other joint parametrized by t. The remaining four joints yield, in any configuration, a closed-loop spatial structure with four revolute joints which one would expect to be rigid but which is movable (via parameter s) at any configuration (for any t). A closer investigation of this mechanism is on the agenda for future research.
A spatial mechanism constructed from the factorizations in Eq. (16)
Note that a similar mechanism construction from the polynomial Q in (15) is possible but results in a fairly trivial spherical mechanism with five degrees of freedom whose configuration space contains an open subset of \({\text {SO}}(3)\). This demonstrates the need for extending our results to dual quaternions. Since the algebra of dual quaternions contains zero divisors and non-invertible elements, factorization theory of bivariate dual quaternionic polynomials will be more involved.
Notes
We use a Clifford algebra that is larger than actually needed for defining quaternions because we will later (in Sect. 5) also consider dual quaternions.
Division with remainder is applicable for polynomials in any polynomial ring R[t], where R is an arbitrary ring, if the leading coefficient of the divisor polynomial is invertible (for instance, c.f. [11]). If R is not commutative, we have to distinguish between left-division and right-division with remainder. However, \(M \in {\mathbb {R}}[t]\) is in the center of \({\mathbb {H}}[t]\), hence this distinction is not necessary in our case and the denotation division with remainder is justified.
The acronym \({{\,\mathrm{mrpf}\,}}\) was introduced in [13] and stands for “monic real polynomial factor” of maximal degree.
If we view Q and M to be univariate polynomials in t having coefficients in \({\mathbb {H}}[s]\), the polynomial \(S \in {\mathbb {H}}_{11}\) is the unique remainder after division with remainder of Q by M. Note that, in this setting, the leading coefficient of M is 1, thus invertible, and division is possible. The decomposition \(Q=Q_0+sQ_1\) was used to highlight the fact \(S \in {\mathbb {H}}_{11}\).
We view divident Q and divisor M as univariate polynomials in s, having coefficients in \({\mathbb {H}}[t]\). The leading coefficient 1 of M is invertible so that division is possible.
The polynomial \(S/{{\,\mathrm{mrpf}\,}}(S)\) need not possess any t-factor on the left- or right-hand side of the s-factor. In this case, \(l = 0\) or \(r = 0\) and we appeal to the convention that the empty product equals 1.
Formally, we consider a univariate factorization to be an \((m+n)\)-tuple of monic linear univariate polynomials, where (m, n) is the bi-degree of Q. The set of all possible univariate factorizations of Q can then be viewed as a subset of \(({\mathbb {H}}[t,s])^{m+n}\).
References
Beauregard, R.A.: When is \(F[x, y]\) a unique factorization domain? Proc. Am. Math. Soc. 117(1), 67–70 (1993). https://doi.org/10.1090/S0002-9939-1993-1132407-8
Gallet, M., Koutschan, C., Li, Z., Regensburger, G., Schicho, J., Villamizar, N.: Planar linkages following a prescribed motion. Math. Comput. 86(303), 473–506 (2016). https://doi.org/10.1090/mcom/3120
Gentili, G., Stoppato, C.: Zeros of regular functions and polynomials of a quaternionic variable. Mich. Math. J. 56, 655–667 (2008). https://doi.org/10.1307/mmj/1231770366
Gordon, B., Motzkin, T.S.: On the zeros of polynomials over division rings. Trans. Am. Math. Soc. 116, 218–226 (1965)
Hegedüs, G., Schicho, J., Schröcker, H.P.: Factorization of rational curves in the Study quadric and revolute linkages. Mech. Mach. Theory 69(1), 142–152 (2013). https://doi.org/10.1016/j.mechmachtheory.2013.05.010
Hegedüs, G., Schicho, J., Schröcker, H.P.: Four-pose synthesis of angle-symmetric 6R linkages. ASME J. Mech. Robot. (2015). https://doi.org/10.1115/1.4029186
Huang, L., So, W.: Quadratic formulas for quaternions. Appl. Math. Lett. 15(15), 533–540 (2002). https://doi.org/10.1016/S0893-9659(02)80003-9
Husty, M., Schröcker, H.P.: Kinematics and algebraic geometry. In: J.M. McCarthy (ed.) 21st Century Kinematics. The 2012 NSF Workshop, pp. 85–123. Springer, London (2012)
Klawitter, D.: Clifford Algebras. Geometric Modelling and Chain Geometries with Application in Kinematics. Springer Spektrum, Berlin (2015)
Lercher, J., Scharler, D.F., Schröcker, H.P., Siegele, J.: Factorization of quaternionic polynomials of bi-degree \((n,1)\) (2020) (submitted for publication)
Li, Z., Scharler, D.F., Schröcker, H.P.: Factorization results for left polynomials in some associative real algebras: state of the art, applications, and open questions. J. Comput. Appl. Math. 349, 508–522 (2019). https://doi.org/10.1016/j.cam.2018.09.045
Li, Z., Schicho, J., Schröcker, H.P.: Spatial straight-line linkages by factorization of motion polynomials. ASME J. Mech. Robot. (2015). https://doi.org/10.1115/1.4031806
Li, Z., Schicho, J., Schröcker, H.P.: Kempe’s universality theorem for rational space curves. Found. Comput. Math. 18(2), 509–536 (2018). https://doi.org/10.1007/s10208-017-9348-x
Maplesoft, a division of Waterloo Maple Inc.: Maple (2020)
Niven, I.: Equations in quaternions. Am. Math. Mon. 48(10), 654–661 (1941)
Skopenkov, M., Krasauskas, R.: Surfaces containing two circles through each point. Math. Ann. 373, 1299–1327 (2019). https://doi.org/10.1007/s00208-018-1739-z
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
This research did not receive any third party funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest or competing interests.
Special data
No special data is used to support this article. Pseudocode is available within the text.
Additional information
Communicated by Rafał Abłamowicz.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lercher, J., Schröcker, HP. A Multiplication Technique for the Factorization of Bivariate Quaternionic Polynomials. Adv. Appl. Clifford Algebras 32, 5 (2022). https://doi.org/10.1007/s00006-021-01194-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00006-021-01194-9