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
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.
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
- 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.
Referee Report
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)
- [§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.
- [§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)
- 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.
- Figure 3 caption should indicate the matrix dimensions and conditioning numbers of the test problems shown.
Simulated Author's Rebuttal
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
-
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
-
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
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
Reference graph
Works this paper leans on
-
[1]
Elements of quaternions
Hamilton WR. Elements of quaternions. Part 2 . Cambridge University Press, Cambridge . 2009
2009
-
[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]
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]
Quaternions for computer graphics
Vince J. Quaternions for computer graphics. Springer, London. second ed. [2021] ©2021 Biswarup Karmakar ET AL 27
2021
-
[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]
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]
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]
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]
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]
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]
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]
Bunse-Gerstner A, Byers R, Mehrmann V . A quaternion QR algorithm. Numer. Math. 1989; 55(1): 83–95. doi: 10.1007/BF01395873
-
[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]
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]
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]
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]
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]
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]
Quaternion matrix computations
Wei M, Li Y, Zhang F, Zhao J. Quaternion matrix computations . Nova Science Publishers, Hauppauge, NY . 2018
2018
-
[20]
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]
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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2506.19308 2025
-
[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
2003
-
[25]
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]
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]
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]
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]
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]
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]
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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.