Abstract
Using the concept of a transposition anti-involution in Clifford algebra \(C \, \ell _{1,1}\) and the isomorphisms \({\mathbb {H}}_s \cong C \, \ell _{1,1} \cong \text {Mat}(2,{\mathbb {R}}),\) where \({\mathbb {H}}_s\) is the algebra of split quaternions and \(\text {Mat}(2,{\mathbb {R}})\) is the algebra of \(2 \times 2\) real matrices, one can find the Moore–Penrose inverse \(q^{+}\) of a non-zero non-invertible split quaternion q. In particular, using a well-known algorithm for finding the Moore-Penrose inverse \(Q^{+}\) of a non-zero \(2 \times 2\) matrix Q of rank 1, one can give four governing equations that the (unique) split quaternion \(q^{+}\) corresponding to \(Q^{+}\) must satisfy. We show how a dyadic expansion and a Singular Value Decomposition can be found for any split quaternion q, and we relate them to \(q^{+}\). Results presented in this paper may be useful in a plethora of recent applications of split quaternions.
Similar content being viewed by others
Change history
02 July 2021
The original version of this article was revised due to a broken link in the reference.
Notes
The involutive anti-automorphism \(\tau \) of \({\mathbb {H}}_s\) in (3) is a special case of a transposition anti-automorphism \(T_\varepsilon \tilde{}\) of the (universal) Clifford algebra \(C \, \ell _{p,q}\) [4,5,6]. On basis monomials, \(T_\varepsilon \tilde{}(e_{i_1}e_{i_2}\cdots e_{i_s})=(e_{i_1}e_{i_2}\cdots e_{i_s})^{-1}\) where \(\{e_1,\ldots ,e_{p+q}\}\) is an orthonormal basis in \({\mathbb {R}}^{p,q}\) and \(i_1< i_2< \cdots < i_s\). Monomials \((e_{i_1}e_{i_2}\cdots e_{i_s})^{-1}\) together with the algebra unity provide the so called reciprocal basis for \(C \, \ell _{p,q}\). See also [18, Page 5] for a right-left symmetry of group rings K[G] which gives an anti-automorphism \(\star :K[G] \rightarrow K[G]\) analogous to \(T_\varepsilon \tilde{}.\)
We mention explicitly the isomorphism \(\psi \) because all computations that follow have been performed and verified with a Maple package CLIFFORD [2, 3]. The grade involution is also often denoted as \({\hat{a}}\) while the reversion is often denoted as \({\tilde{a}}\) for any element a in \(C \, \ell _{p,q}\) [14].
We restrict our attention to real matrices due to the isomorphism \({\mathbb {H}}_s \cong \text {Mat}(2,{\mathbb {R}}).\)
Our approach via the spinor representation realized by \(2 \times 2\) matrices is superior to trying to use a regular \(4 \times 4\) representation of \({\mathbb {H}}_s\) because it reduces to just these two cases: \({{\,\mathrm{\mathrm {rank}}\,}}A= 1 \, \text{ or }\, 2.\)
This follows from a well-known fact (cf. [12]) that when Q is as \(m \times n\) matrix, then \({{\,\mathrm{\mathrm {rank}}\,}}Q = {{\,\mathrm{\mathrm {rank}}\,}}Q^TQ = {{\,\mathrm{\mathrm {rank}}\,}}QQ^T\). So, when \(Q=\varphi (q)\) has rank 1, matrices \(Q^TQ\) and \(QQ^T\) have the same characteristic polynomial with two distinct roots: one zero and one nonzero. Thus, the characteristic polynomial \(\Delta \) is also minimal and, of course, it is of degree 2. It can be found by a hand computation or with a command climinpoly in CLIFFORD. For an algorithm to compute coefficients of the characteristic polynomial for any \(u \in C \, \ell _{p,q}\) by the method of Leverrier, see [10].
Equality \(c=I_q^2\) also follows from the fact that \(I_q\) is the constant term in a characteristic polynomial of \(q \in {\mathbb {H}}_s,\) namely, \(\Delta _q(t) =t^2-2q_0t+(q_0^2+q_1^2-q_2^2-q_3^2)\). This, of course, is to be expected since the constant term in the characteristic polynomial of \(Q=\varphi (q)\) is \(\det Q = I_q\).
References
Abłamowicz, R.: Spinor modules of Clifford algebras in classes \(N_{2k-1}\) and \(\Omega _{2k-1}\) are determined by irreducible nonlinear characters of corresponding Salingaros vee groups. Adv. Appl. Clifford Algebra 28, 51 (2018). https://doi.org/10.1007/s00006-018-0867-6
Abłamowicz, R., Fauser, B.: Mathematics of CLIFFORD: a Maple package for Clifford and Grassmann algebras. Adv. Appl. Clifford Algebras 15(2), 157–181 (2005)
Abłamowicz, R., Fauser, B.: CLIFFORD: A Maple package for Clifford and Grassmann algebras with SymGroupAlgebra. http://math.tntech.edu/rafal/cliff2017/. (2019)
Abłamowicz, R., Fauser, B.: On the transposition anti-involution in real Clifford algebras I: the transposition map. Linear Multilinear Algebra 59(12), 1331–1358 (2011)
Abłamowicz, R., Fauser, B.: On the transposition anti-involution in real Clifford algebras II: stabilizer groups of primitive idempotents. Linear Multilinear Algebra 59(12), 1359–1381 (2011)
Abłamowicz, R., Fauser, B.: On the transposition anti-involution in real Clifford algebras III: the automorphism group of the transposition scalar product on spinor spaces. Linear Multilinear Algebra 60(6), 621–644 (2012)
Abłamowicz, R., Varahagiri, V.S.M., Walley, A.M.: A classification of Clifford algebras as images of group algebras of Salingaros vee groups. Adv. Applied Clifford Algebras 28, 38 (2018). https://doi.org/10.1007/s00006-018-0854-y
Antonuccio, F.: Split-quaternions and the Dirac equation. Adv. Appl. Clifford Algebras 25, 13–29 (2015)
Frenkel, I., Libine, M.: Split quaternionic analysis and separation of the series for \({{\rm SL}} (2,{\mathbb{R}})\) and \({{\rm SL}} (2,{\mathbb{C}})/{\rm SL} (2, {\mathbb{R}})\). Adv. Math. 228, 678–763 (2011)
Helmstetter, J.: Characteristic polynomials in Clifford algebras and in more general algebras. Adv. Appl. Clifford Algebras 29, 30 (2019). https://doi.org/10.1007/s00006-019-0944-5
Libine, M.: An invitation to split quaternionic analysis, hypercomplex analysis and applications. In: Sabadini, I., Sommen, F. (eds.) Trends in Mathematics, pp. 161–179. Springer, Basel (2011)
Lipschutz, S., Lipson, M.: Linear Algebra. Schaum’s Outline Series, 5th edn. The McGraw-Hill Companies, New York (2013)
Liu, X., Zhang, Y.: Consistency of split quaternion matrix equations \(AX^{*}-XB=CY+D\) and \(X - AX^{*}B=CY+D\). Adv. Appl. Clifford Algebras 29, 64 (2019). https://doi.org/10.1007/s00006-019-0980-1
Lounesto, P.: Clifford Algebras and Spinors, 2nd edn. Cambridge University Press, Cambridge (2001)
Maple 2017.3, Copyright (c) Maplesoft, a division of Waterloo Maple Inc.. https://www.maplesoft.com/ (2018)
Ni, Q.Y., Ding, J.K., Cheng, X.H., Jiao, Y.N.: \(2 \times 2\) matrix representation forms and inner relationships of split quaternions. Adv. Appl. Clifford Algebras 29, 34 (2019). https://doi.org/10.1007/s00006-019-0951-6
Özyurt, G., Alagöz, Y.: On hyperbolic split quaternions and hyperbolic split quaternion matrices. Adv. Appl. Clifford Algebras 28, 88 (2018). https://doi.org/10.1007/s00006-018-0907-2
Passman, D.S.: The Algebraic Structure of Group Rings. Robert E. Krieger Publishing Company, Malabar, FL (1985)
Tarakçioğlu, M., Erişir, T., Güngör, M., Tosun, M.: The hyperbolic spinor representation of transformations in \({\mathbb{R}}_{1}^{3}\) by means of split quaternions. Adv. Appl. Clifford Algebras 28, 26 (2018). https://doi.org/10.1007/s00006-018-0844-0
Tuncer, O.O., Çanakcı, Z., Gök, İ, Yaylı, Y.: Circular surfaces with split quaternionic representations in Minkowski \(3\)-space. Adv. Appl. Clifford Algebras 28, 63 (2018). https://doi.org/10.1007/s00006-018-0883-6
Scharler, D.F., Siegele, J., Schröcker, H.P.: Quadratic split quaternion polynomials: factorization and geometry. Adv. Appl. Clifford Algebras 30, 11 (2020). https://doi.org/10.1007/s00006-019-1037-1
Yuan, S.F., Wang, Q.W., Yu, Y.B., Tian, Y.: On Hermitian solutions of the split quaternion matrix equation \(AXB+CXD=E\). Adv. Appl. Clifford Algebras 27, 3235 (2017). https://doi.org/10.1007/s00006-017-0806-y
Acknowledgements
The author is very grateful to three anonymous reviewers for their careful reading of the manuscript and helpful comments on how to improve the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jacques Helmstetter.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original version of this article was revised due to a broken link in the reference.
Rights and permissions
About this article
Cite this article
Abłamowicz, R. The Moore–Penrose Inverse and Singular Value Decomposition of Split Quaternions. Adv. Appl. Clifford Algebras 30, 33 (2020). https://doi.org/10.1007/s00006-020-01058-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00006-020-01058-8
Keywords
- Clifford algebra
- Dyadic expansion
- Moore–Penrose inverse
- Singular value decomposition
- Split quaternions
- Transposition anti-involution