Skip to main content
Log in

The Moore–Penrose Inverse and Singular Value Decomposition of Split Quaternions

  • Published:
Advances in Applied Clifford Algebras Aims and scope Submit manuscript

This article has been updated

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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

  1. 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{}.\)

  2. 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].

  3. We restrict our attention to real matrices due to the isomorphism \({\mathbb {H}}_s \cong \text {Mat}(2,{\mathbb {R}}).\)

  4. 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.\)

  5. 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].

  6. 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

  1. 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

    Article  MATH  Google Scholar 

  2. 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)

    Article  MathSciNet  Google Scholar 

  3. Abłamowicz, R., Fauser, B.: CLIFFORD: A Maple package for Clifford and Grassmann algebras with SymGroupAlgebra. http://math.tntech.edu/rafal/cliff2017/. (2019)

  4. 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)

    Article  MathSciNet  Google Scholar 

  5. 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)

    Article  MathSciNet  Google Scholar 

  6. 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)

    Article  MathSciNet  Google Scholar 

  7. 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

    Article  MathSciNet  MATH  Google Scholar 

  8. Antonuccio, F.: Split-quaternions and the Dirac equation. Adv. Appl. Clifford Algebras 25, 13–29 (2015)

    Article  MathSciNet  Google Scholar 

  9. 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)

    Article  MathSciNet  Google Scholar 

  10. 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

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Google Scholar 

  12. Lipschutz, S., Lipson, M.: Linear Algebra. Schaum’s Outline Series, 5th edn. The McGraw-Hill Companies, New York (2013)

    Google Scholar 

  13. 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

    Article  MATH  Google Scholar 

  14. Lounesto, P.: Clifford Algebras and Spinors, 2nd edn. Cambridge University Press, Cambridge (2001)

    Book  Google Scholar 

  15. Maple 2017.3, Copyright (c) Maplesoft, a division of Waterloo Maple Inc.. https://www.maplesoft.com/ (2018)

  16. 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

    Article  MathSciNet  MATH  Google Scholar 

  17. Ö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

    Article  MathSciNet  MATH  Google Scholar 

  18. Passman, D.S.: The Algebraic Structure of Group Rings. Robert E. Krieger Publishing Company, Malabar, FL (1985)

    MATH  Google Scholar 

  19. 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

    Article  MATH  Google Scholar 

  20. 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

    Article  MathSciNet  MATH  Google Scholar 

  21. 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

    Article  MathSciNet  MATH  Google Scholar 

  22. 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

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Rafał Abłamowicz.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00006-020-01058-8

Keywords

Mathematics Subject Classification

Navigation