pith. sign in

arxiv: 2605.01464 · v1 · submitted 2026-05-02 · 🧮 math.NA · cs.NA

A Family of Iterative Methods for Computing Generalized Inverses of Quaternion Matrices and its Applications

Pith reviewed 2026-05-09 17:53 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords quaternion matricesMoore-Penrose pseudoinverseiterative methodsgeneralized inversespreconditioningKrylov solversimage completionsignal filtering
0
0 comments X

The pith

Three new iterative algorithms compute the Moore-Penrose pseudoinverse of quaternion matrices with accuracy matching or exceeding existing methods at lower computational cost.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces three quaternion-specific iterative algorithms, QRAPID, QSAI, and QHPI19, to approximate the Moore-Penrose pseudoinverse of quaternion matrices. It establishes convergence results and perturbation bounds that guarantee stability under suitable conditions. Numerical tests show these algorithms perform at least as well as quaternion SVD, Newton-Schulz iterations, and classical hyperpower methods while requiring fewer operations, and the QSAI variant doubles as a preconditioner that cuts iteration counts in Krylov solvers. The work demonstrates the approach on image completion via CUR decomposition and on signal filtering tasks. If the claims hold, large-scale quaternion problems in multidimensional data become more tractable without sacrificing reliability.

Core claim

The paper claims that the QRAPID, QSAI, and QHPI19 iterative schemes converge to the Moore-Penrose pseudoinverse of any quaternion matrix for which the methods are defined, that their perturbation bounds ensure numerical robustness, and that extensive experiments confirm accuracy comparable to or better than quaternion SVD, Newton-Schulz, and hyperpower baselines together with substantial runtime reductions; the QSAI scheme additionally serves as an effective preconditioner for quaternion Krylov solvers, and the overall framework scales to practical tasks such as CUR-based image completion and signal filtering.

What carries the argument

The three quaternion iterative schemes (QRAPID, QSAI, and QHPI19) that generate successive matrix approximations to the Moore-Penrose pseudoinverse through repeated quaternion matrix multiplications and inversions of smaller blocks.

If this is right

  • The QSAI scheme reduces iteration counts and wall-clock time when used to precondition large quaternion Krylov systems.
  • CUR decomposition for image completion becomes feasible on larger quaternion-valued data sets without prohibitive cost.
  • Signal filtering pipelines that rely on generalized inverses run faster while preserving accuracy.
  • Perturbation bounds supply a priori guarantees on how small perturbations in the input matrix affect the computed inverse.
  • The methods serve as drop-in replacements for slower existing quaternion inversion routines in multidimensional applications.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same iterative pattern may extend to other generalized inverses such as the Drazin inverse or group inverse once the appropriate projector conditions are incorporated.
  • The preconditioning benefit observed with Krylov solvers could transfer to other iterative solvers that operate on quaternion blocks.
  • Runtime gains on current test matrices suggest that the approach could support real-time processing pipelines if the per-iteration cost continues to scale linearly with matrix dimension.

Load-bearing premise

The input quaternion matrices satisfy the algebraic conditions that guarantee convergence of the chosen iterative schemes and the test problems accurately represent the cost and accuracy behavior on large real-world instances.

What would settle it

A quaternion matrix of moderate size for which any of the three proposed methods diverges or produces an error larger than quaternion SVD, or a large-scale linear system where the QSAI-preconditioned Krylov solver requires more runtime than the unpreconditioned version or the direct SVD route.

read the original abstract

The computation of generalized inverses of quaternion matrices is a fundamental problem in quaternion linear algebra, with wide-ranging applications in signal processing, image restoration, and multidimensional data analysis. This paper presents three efficient quaternion iterative algorithms for computing the Moore-Penrose pseudoinverse: (i) the quaternion rapid iterative method (QRAPID), (ii) the quaternion strong approximate inverse (QSAI), and (iii) the quaternion hyperpower iterative method of order nineteen (QHPI19). Convergence theorems and perturbation bounds are established to ensure numerical stability and robustness. The QSAI method is further employed as a preconditioner for quaternion Krylov subspace solvers, resulting in substantial reductions in the iteration count and runtime for large-scale linear systems. Comprehensive numerical experiments demonstrate that the proposed algorithms achieve an accuracy comparable to or better than existing approaches, including quaternion SVD, quaternion Newton-Schulz, and classical hyperpower schemes, while offering significant computational savings. The practical utility of the framework is illustrated through two representative applications: image completion via CUR decomposition and signal filtering, which confirm its scalability and effectiveness in real-world multidimensional data applications.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes three iterative algorithms—QRAPID, QSAI, and QHPI19—for computing the Moore-Penrose pseudoinverse of quaternion matrices. It derives convergence theorems and perturbation bounds for these methods, employs QSAI as a preconditioner within quaternion Krylov subspace solvers, and reports numerical experiments claiming accuracy comparable or superior to quaternion SVD, Newton-Schulz iteration, and classical hyperpower schemes, together with runtime savings. Two applications (image completion via CUR decomposition and signal filtering) are used to illustrate practical utility.

Significance. If the convergence results and numerical claims hold, the work would supply practical, matrix-free alternatives to direct methods such as quaternion SVD for generalized-inverse computations. The preconditioning strategy and reported iteration reductions could be useful for large-scale quaternion linear systems arising in signal processing and multidimensional data analysis.

major comments (2)
  1. [§3] §3 (Convergence analysis): the statement that QRAPID converges for any initial matrix satisfying ||I - A X_0|| < 1 is not accompanied by an explicit, easily verifiable construction of such an X_0 for arbitrary quaternion matrices; without this, the practical scope of the claimed parameter-free convergence remains unclear.
  2. [§4.2] §4.2, Tables 1–3: the largest test matrices are 200 × 200; the reported iteration counts and runtime gains versus quaternion SVD therefore do not yet substantiate the scalability claim for the “large-scale linear systems” referenced in the abstract and in the Krylov-preconditioning application.
minor comments (2)
  1. The definition of the quaternion matrix norm used in the perturbation bounds should be stated explicitly at first use rather than only in the appendix.
  2. Figure 3 caption should indicate the matrix dimensions and conditioning numbers of the test problems shown.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments on our manuscript. We address each major point below and will revise the manuscript to incorporate clarifications and additional experiments where needed.

read point-by-point responses
  1. Referee: [§3] §3 (Convergence analysis): the statement that QRAPID converges for any initial matrix satisfying ||I - A X_0|| < 1 is not accompanied by an explicit, easily verifiable construction of such an X_0 for arbitrary quaternion matrices; without this, the practical scope of the claimed parameter-free convergence remains unclear.

    Authors: We agree that an explicit construction for X_0 would improve the practical utility of the convergence result. In the revised manuscript, we will add a remark in §3 providing a concrete choice: X_0 = A^H / ||A||_F^2 (with A^H the quaternion conjugate transpose). We will include a short verification showing that this choice satisfies the norm condition for a wide class of matrices (or can be scaled by a small factor to ensure ||I - A X_0|| < 1), along with guidance on a posteriori checking of the condition. This addresses the concern without altering the theorem statement. revision: yes

  2. Referee: [§4.2] §4.2, Tables 1–3: the largest test matrices are 200 × 200; the reported iteration counts and runtime gains versus quaternion SVD therefore do not yet substantiate the scalability claim for the “large-scale linear systems” referenced in the abstract and in the Krylov-preconditioning application.

    Authors: The referee correctly notes that the current experiments use matrices up to 200 × 200. To strengthen the scalability claims, we will expand §4.2 with new experiments on larger matrices (up to at least 1000 × 1000) and report iteration counts and runtimes for the QSAI-preconditioned Krylov solvers on these sizes. The additional results will be added to the tables and discussed in the text to better support the large-scale claims. revision: yes

Circularity Check

0 steps flagged

No significant circularity; methods and theorems are independently derived

full rationale

The paper constructs QRAPID, QSAI, and QHPI19 as new iterative schemes for quaternion Moore-Penrose inverses, supported by explicitly stated convergence theorems and perturbation bounds derived from quaternion algebra properties. These derivations do not reduce to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. Numerical comparisons and applications serve as external validation rather than inputs to the core claims. The derivation chain remains self-contained against the stated assumptions and external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not specify any free parameters, axioms, or invented entities; the work focuses on algorithmic development and numerical validation based on standard quaternion algebra.

pith-pipeline@v0.9.0 · 5505 in / 1169 out tokens · 55714 ms · 2026-05-09T17:53:55.190586+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Elements of quaternions

    Hamilton WR. Elements of quaternions. Part 2 . Cambridge University Press, Cambridge . 2009

  2. [2]

    Quaternion feedback regulator for spacecraft eigenaxis rotations

    Wie B, Weiss H, Arapostathis A. Quaternion feedback regulator for spacecraft eigenaxis rotations. J. Guid. Control Dyn. 1989; 12(3): 375–380. doi: 10.2514/3.20418

  3. [3]

    Fundamentals of Spacecraft Attitude Determination and Control [Bookshelf]

    Forbes JR. Fundamentals of Spacecraft Attitude Determination and Control [Bookshelf]. IEEE Control Syst. Mag. 2015; 35(4): 56–58. doi: 10.1109/MCS.2015.2427046

  4. [4]

    Quaternions for computer graphics

    Vince J. Quaternions for computer graphics. Springer, London. second ed. [2021] ©2021 Biswarup Karmakar ET AL 27

  5. [5]

    Quaternion convolutional neural networks for hyperspectral image classification

    Zhou H, Zhang X, Zhang C, Ma Q. Quaternion convolutional neural networks for hyperspectral image classification. Eng. Appl. Artif. Intell. 2023; 121: 106234. doi: 10.1016/j.engappai.2023.106234

  6. [6]

    A Comparison of Quaternion Neural Network Backpropagation Algorithms

    Bill J, Cox BA, Champagne L. A Comparison of Quaternion Neural Network Backpropagation Algorithms. Expert Syst. Appl. 2023; 217: 120448. doi: 10.1016/j.eswa.2023.120448

  7. [7]

    Quaternions in Signal and Image Processing: A Comprehensive and Objective Overview

    Miron S, Flamant J, Bihan NL, others . Quaternions in Signal and Image Processing: A Comprehensive and Objective Overview. IEEE Signal Process. Mag. 2023; 40(3): 123–143. doi: 10.1109/MSP.2023.3248576

  8. [8]

    Optimizing beamforming in quaternion signal processing using projected gradient descent algorithm

    Diao Q, Xu D, Sun S, Mandic DP. Optimizing beamforming in quaternion signal processing using projected gradient descent algorithm. Signal Processing 2025; 227: 109738. doi: https://doi.org/10.1016/j.sigpro.2024.109738

  9. [9]

    Computing Partial Quaternion Eigenpairs with Quaternion Shift

    Zhang W, Li M, Chen Y. Computing Partial Quaternion Eigenpairs with Quaternion Shift. J. Sci. Comput. 2023; 95(4): Paper No. 53. doi: 10.1007/s10915-023-02355-7

  10. [10]

    Quaternions and matrices of quaternions

    Zhang F. Quaternions and matrices of quaternions. Linear Algebra Appl. 1997; 251: 21–57. doi: 10.1016/0024- 3795(95)00543-9

  11. [11]

    The spectral theorem in quaternions

    Farenick DR, Pidkowich BAF. The spectral theorem in quaternions. Linear Algebra Appl. 2003; 371: 75–102. doi: 10.1016/S0024-3795(03)00420-8

  12. [12]

    A quaternion QR algorithm

    Bunse-Gerstner A, Byers R, Mehrmann V . A quaternion QR algorithm. Numer. Math. 1989; 55(1): 83–95. doi: 10.1007/BF01395873

  13. [13]

    Singular value decomposition of quaternion matrices: a new tool for vector-sensor signal processing

    Le Bihan N, Mars J. Singular value decomposition of quaternion matrices: a new tool for vector-sensor signal processing. Signal Processing 2004; 84(7): 1177-1199. doi: https://doi.org/10.1016/j.sigpro.2004.04.001

  14. [14]

    Randomized quaternion singular value decomposition for low-rank matrix approximation

    Liu Q, Ling S, Jia Z. Randomized quaternion singular value decomposition for low-rank matrix approximation. SIAM J. Sci. Comput. 2022; 44(2): A870–A900. doi: 10.1137/21M1418319

  15. [15]

    Randomized quaternion QLP decomposition for low-rank approximation

    Ren H, Ma RR, Liu Q, Bai ZJ. Randomized quaternion QLP decomposition for low-rank approximation. J. Sci. Comput. 2022; 92(3): Paper No. 80, 27. doi: 10.1007/s10915-022-01917-5

  16. [16]

    Iterative algorithms for least-squares solutions of a quaternion matrix equation

    Ahmadi-Asl S, Beik FPA. Iterative algorithms for least-squares solutions of a quaternion matrix equation. J. Appl. Math. Comput. 2017; 53(1-2): 95–127. doi: 10.1007/s12190-015-0959-6

  17. [17]

    L-structured quaternion matrices and quaternion linear matrix equations

    Yuan SF, Wang QW. L-structured quaternion matrices and quaternion linear matrix equations. Linear Multilinear Algebra 2016; 64(2): 321–339. doi: 10.1080/03081087.2015.1037302

  18. [18]

    Iterative method for computing the Moore-Penrose inverse based on Penrose equations

    Petković MD, Stanimirović PS. Iterative method for computing the Moore-Penrose inverse based on Penrose equations. J. Comput. Appl. Math. 2011; 235(6): 1604–1613. doi: 10.1016/j.cam.2010.08.042

  19. [19]

    Quaternion matrix computations

    Wei M, Li Y, Zhang F, Zhao J. Quaternion matrix computations . Nova Science Publishers, Hauppauge, NY . 2018

  20. [20]

    A complex structure-preserving algorithm for the full rank decomposition of quaternion matrices and its applications

    Wang G, Zhang D, Vasiliev VI, Jiang T. A complex structure-preserving algorithm for the full rank decomposition of quaternion matrices and its applications. Numer. Algorithms 2022; 91(4): 1461–1481. doi: 10.1007/s11075-022-01310-1

  21. [21]

    Cramer rule for the unique solution of restricted matrix equations over the quaternion skew field

    Song GJ, Wang QW, Chang HX. Cramer rule for the unique solution of restricted matrix equations over the quaternion skew field. Comput. Math. Appl. 2011; 61(6): 1576–1589. doi: 10.1016/j.camwa.2011.01.026

  22. [22]

    The Moore-Penrose inverses of matrices over quaternion polynomial rings

    Huang L, Wang QW, Zhang Y. The Moore-Penrose inverses of matrices over quaternion polynomial rings. Linear Algebra Appl. 2015; 475: 45–61. doi: 10.1016/j.laa.2015.02.004

  23. [23]

    Structure Preserving Algorithms for Quaternion Outer Inverses with Applications

    Bhadala N, Behera R. Generalized Inverses of Quaternion Matrices with Applications. arXiv preprint 2025. doi: 10.48550/arXiv.2506.19308

  24. [24]

    Generalized inverses

    Ben-Israel A, Greville TNE. Generalized inverses. 15 of CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC. Springer-Verlag, New York. second ed. 2003. Theory and applications. 28 Biswarup Karmakar ET AL

  25. [25]

    Iterative Methods for Computing the Moore-Penrose Pseudoinverse of Quaternion Matrices, with Applications

    Leplat V , Ahmadi-Asl S, Pan J, Zheng N. Iterative Methods for Computing the Moore-Penrose Pseudoinverse of Quaternion Matrices, with Applications. arXiv preprint 2025. doi: 10.48550/arXiv.2508.16979

  26. [26]

    Khosravi Dehdezi E, Karimi S. GIBS: a general and efficient iterative method for computing the approximate inverse and Moore-Penrose inverse of sparse matrices based on the Schultz iterative method with applications. Linear Multilinear Algebra 2023; 71(12): 1905–1921. doi: 10.1080/03081087.2022.2088673

  27. [27]

    A general class of arbitrary order iterative methods for computing generalized inverses

    Cordero A, Soto-Quiros P, Torregrosa JR. A general class of arbitrary order iterative methods for computing generalized inverses. Appl. Math. Comput. 2021; 409: Paper No. 126381, 18. doi: 10.1016/j.amc.2021.126381

  28. [28]

    A fast convergent iterative solver for approximate inverse of matrices

    Soleymani F. A fast convergent iterative solver for approximate inverse of matrices. Numer. Linear Algebra Appl. 2014; 21(3): 439–452. doi: 10.1002/nla.1890

  29. [29]

    An algorithm based on QSVD for the quaternion equality constrained least squares problem

    Zhang Y, Li Y, Wei M, Zhao H. An algorithm based on QSVD for the quaternion equality constrained least squares problem. Numer. Algorithms 2021; 87(4): 1563–1576. doi: 10.1007/s11075-020-01019-z

  30. [30]

    Gl-QFOM and Gl-QGMRES: two efficient algorithms for quaternion linear systems with multiple right-hand sides

    Li T, Wang QW, Zhang XF. Gl-QFOM and Gl-QGMRES: two efficient algorithms for quaternion linear systems with multiple right-hand sides. Numer. Linear Algebra Appl. 2025; 32(1): Paper No. e70008, 15. doi: 10.1002/nla.70008

  31. [31]

    Efficient quaternion CUR method for low-rank approximation to quaternion matrix

    Wu P, Kou KI, Cai H, Yu Z. Efficient quaternion CUR method for low-rank approximation to quaternion matrix. Numer. Algorithms 2025; 99(3): 1531–1549. doi: 10.1007/s11075-024-01923-8