pith. sign in

arxiv: 2506.19308 · v2 · submitted 2025-06-24 · 🧮 math.RA

Structure Preserving Algorithms for Quaternion Outer Inverses with Applications

Neha Bhadala , Ratikanta Behera This is my paper

Pith reviewed 2026-05-19 08:23 UTC · model grok-4.3

classification 🧮 math.RA
keywords quaternion matricesouter inversesgeneralized inversesrange and null spacesstructure preserving algorithmsMoore-Penrose inverseDrazin inverseimage deblurring
0
0 comments X

The pith

Outer inverses of quaternion matrices with prescribed range and null spaces unify the Moore-Penrose, group, and Drazin inverses.

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

The paper establishes explicit representations and algorithms for outer inverses and {1,2}-inverses of quaternion matrices under subspace constraints. It first characterizes the left and right range and null spaces to handle non-commutativity, then derives full-rank-decomposition formulas and two structure-preserving numerical methods. With appropriate constraint choices, these inverses recover several classical generalized inverses. The results matter for applications that represent 3D data or color images with quaternions, where the new methods preserve structural relations during tasks such as deblurring and signal filtering.

Core claim

By exploiting the non-commutative nature of quaternions, explicit representations for outer inverses with prescribed range and null spaces are derived via full rank decompositions; suitable subspace selections then recover the Moore-Penrose inverse, the group inverse, and the Drazin inverse as special cases, while two efficient algorithms implement the constructions.

What carries the argument

Characterization of left and right range and null spaces of quaternion matrices, which supports explicit representations and structure-preserving algorithms for the outer inverses.

If this is right

  • Special choices of range and null spaces directly yield the Moore-Penrose inverse.
  • Other choices recover the group inverse and the Drazin inverse.
  • The algorithms preserve inter-channel correlations when applied to quaternion color image deblurring.
  • The same structure-preserving approach improves filtering accuracy for chaotic three-dimensional signals.

Where Pith is reading between the lines

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

  • The subspace-constraint technique may transfer to other non-commutative matrix algebras used in engineering.
  • Numerical stability of the two proposed algorithms could be compared on larger quaternion systems to guide practical use.

Load-bearing premise

The non-commutative nature of quaternions permits a detailed characterization of left and right range and null spaces that supports explicit representations and efficient algorithms for the outer inverses.

What would settle it

A concrete counter-example in which a computed outer inverse with chosen range and null spaces fails to satisfy the defining projector or range-null conditions for any of the recovered classical inverses.

read the original abstract

This study investigates the theoretical and computational aspects of quaternion generalized inverses, focusing on outer inverses and {1,2}-inverses with prescribed range and/or null space constraints. In view of the non-commutative nature of quaternions, a detailed characterization of the left and right range and null spaces of quaternion matrices is presented. Explicit representations for these inverses are derived, including full rank decomposition-based formulations. We design two efficient algorithms: one leveraging the Quaternion Toolbox for MATLAB (QTFM), and the other employing a complex structure preserving approach based on the complex representation of quaternion matrices. With suitable choices of subspace constraints, these outer inverses unify and generalize several classical inverses, including the Moore-Penrose inverse, the group inverse, and the Drazin inverse. The proposed methods are validated through numerical examples and applied to two real-world tasks: quaternion-based color image deblurring, which preserves inter-channel correlations, and robust filtering of chaotic 3D signals, demonstrating their effectiveness in high-dimensional settings.

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

0 major / 3 minor

Summary. The manuscript develops the theory of outer inverses and {1,2}-inverses for quaternion matrices subject to prescribed left/right range and null-space constraints. It supplies explicit characterizations of these spaces, derives full-rank-decomposition representations, constructs two structure-preserving algorithms (QTFM-based and complex-representation), demonstrates that suitable subspace choices recover the Moore-Penrose, group, and Drazin inverses, and illustrates the methods on color-image deblurring and chaotic 3-D signal filtering.

Significance. If the derivations and algorithms hold, the work supplies a coherent non-commutative extension of generalized-inverse theory together with computationally reliable, structure-preserving procedures. The unification result and the two concrete applications are of interest to both algebraists working over division rings and practitioners in quaternion-based signal and image processing.

minor comments (3)
  1. [Abstract] Abstract: the sentence listing the classical inverses recovered would be clearer if it briefly indicated the precise subspace prescriptions used for each (e.g., range equal to the column space of A^k for the Drazin case).
  2. Notation for left and right range/null spaces is introduced in the characterization section; a short summary table or diagram early in the paper would help readers track the four distinct spaces throughout the subsequent formulas.
  3. [Numerical examples] Numerical-examples section: the reported residual norms and reconstruction errors would be more persuasive if accompanied by a table comparing the two proposed algorithms against a standard quaternion SVD baseline.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript. The referee's summary accurately captures the key contributions on explicit characterizations, full-rank decompositions, the two structure-preserving algorithms, the unification of classical inverses, and the applications to color-image deblurring and chaotic signal filtering. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper presents explicit characterizations of left and right range and null spaces for quaternion matrices, then derives full-rank-decomposition formulas and two structure-preserving algorithms directly from those characterizations. The unification with Moore-Penrose, group, and Drazin inverses occurs by substituting standard subspace prescriptions (e.g., range equal to column space of a suitable power) into the general outer-inverse representation; these substitutions are shown algebraically and confirmed numerically rather than assumed or fitted. No step reduces by construction to a prior result from the same authors, no parameter is fitted to data and then relabeled as a prediction, and no ansatz is smuggled via self-citation. The central claims rest on non-commutative linear-algebra identities that are stated and applied independently of the target conclusions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard properties of quaternion algebra and generalized inverse theory without introducing new free parameters or entities in the abstract.

axioms (1)
  • domain assumption Quaternion matrices admit well-defined left and right range and null spaces that can be characterized despite non-commutativity.
    Abstract states this characterization is presented as a foundation for the explicit representations.

pith-pipeline@v0.9.0 · 5709 in / 1166 out tokens · 41695 ms · 2026-05-19T08:23:22.963112+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.NA 2026-05 unverdicted novelty 5.0

    Three new iterative algorithms compute generalized inverses of quaternion matrices with accuracy matching or exceeding standard methods like SVD while being faster, and they improve large-scale solvers and application...

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    S. L. Adler. Quaternionic quantum mechanics and quantum fields , volume 88 of International Series of Mono- graphs on Physics . The Clarendon Press, Oxford University Press, New York, 1995

    work page 1995

  2. [2]

    Ben-Israel and T

    A. Ben-Israel and T. N. E. Greville. Generalized inverses, volume 15 of CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC. Springer-Verlag, New York, second edition, 2003. Theory and applications

    work page 2003

  3. [3]

    Chen, Z.-G

    Y. Chen, Z.-G. Jia, Y. Peng, Y.-X. Peng, and D. Zhang. A new structure-preserving quaternion qr decomposition method for color image blind watermarking. Signal Processing, 185:108088, 2021. 34

    work page 2021

  4. [4]

    T. A. Ell, N. Le Bihan, and S. J. Sangwine. Quaternion Fourier transforms for signal and image processing . Focus Series in Digital Signal and Image Processing. John Wiley & Sons, Inc., Hoboken, NJ; ISTE, London, 2014

    work page 2014

  5. [5]

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

    work page 2009

  6. [6]

    Huang, Z

    B. Huang, Z. Jia, and W. Li. Conjugate Gradient Normal Residual Method for Solving Quaternion Toeplitz- Type Linear Systems with Application to Color Image Processing. J. Sci. Comput. , 103(1):Paper No. 12, 2025

    work page 2025

  7. [7]

    Z. Jia, M. K. Ng, and G.-J. Song. Robust quaternion matrix completion with applications to image inpainting. Numer. Linear Algebra Appl. , 26(4):e2245, 35, 2019

    work page 2019

  8. [8]

    Jiang and L

    T. Jiang and L. Chen. An algebraic method for Schr¨ odinger equations in quaternionic quantum mechanics. Comput. Phys. Comm. , 178(11):795–799, 2008

    work page 2008

  9. [9]

    Jiang, Z

    T. Jiang, Z. Guo, D. Zhang, and V. I. Vasil’ev. A fast algorithm for the Schr¨ odinger equation in quaternionic quantum mechanics. Appl. Math. Lett. , 150:Paper No. 108975, 6, 2024

    work page 2024

  10. [10]

    Li, Q.-W

    T. Li, Q.-W. Wang, and X.-F. Zhang. Gl-QFOM and Gl-QGMRES: Two Efficient Algorithms for Quaternion Linear Systems With Multiple Right-Hand Sides. Numer. Linear Algebra Appl. , 32(1):Paper No. e70008, 2025

    work page 2025

  11. [11]

    Y. Li, M. Wei, F. Zhang, and J. Zhao. A real structure-preserving method for the quaternion LU decomposition, revisited. Calcolo, 54(4):1553–1563, 2017

    work page 2017

  12. [12]

    Morais and M

    J. Morais and M. Ferreira. Hyperbolic linear canonical transforms of quaternion signals and uncertainty. Appl. Math. Comput., 450:Paper No. 127971, 24, 2023

    work page 2023

  13. [13]

    R. Penrose. A generalized inverse for matrices. Proc. Cambridge Philos. Soc. , 51:406–413, 1955

    work page 1955

  14. [14]

    L. Qi, Z. Luo, Q.-W. Wang, and X. Zhang. Quaternion matrix optimization: motivation and analysis. J. Optim. Theory Appl., 193(1-3):621–648, 2022

    work page 2022

  15. [15]

    L. Rodman. Topics in quaternion linear algebra. Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ, 2014

    work page 2014

  16. [16]

    Sheng and G

    X. Sheng and G. Chen. Full-rank representation of generalized inverse A(2) T ,S and its application. Comput. Math. Appl., 54(11-12):1422–1430, 2007

    work page 2007

  17. [17]

    Song, Q.-W

    G.-J. Song, Q.-W. Wang, and H.-X. Chang. Cramer rule for the unique solution of restricted matrix equations over the quaternion skew field. Comput. Math. Appl. , 61(6):1576–1589, 2011

    work page 2011

  18. [18]

    P. S. Stanimirovi´ c and D. S. Cvetkovi´ c-Ili´ c. Successive matrix squaring algorithm for computing outer inverses. Appl. Math. Comput. , 203(1):19–29, 2008

    work page 2008

  19. [19]

    P. S. Stanimirovi´ c and F. Soleymani. A class of numerical algorithms for computing outer inverses. J. Comput. Appl. Math., 263:236–245, 2014

    work page 2014

  20. [20]

    S. H. Strogatz. Nonlinear dynamics and chaos . Westview Press, Boulder, CO, second edition, 2015. With applications to physics, biology, chemistry, and engineering

    work page 2015

  21. [21]

    N. S. Urquhart. Computation of generalized inverse matrices which satisfy specified conditions. SIAM Rev., 10:216–218, 1968

    work page 1968

  22. [22]

    J. Vince. Quaternions for computer graphics . Springer, London, second edition, [2021] ©2021

    work page 2021

  23. [23]

    G. Wang, Y. Wei, and S. Qiao. Generalized inverses: theory and computations , volume 53 of Developments in Mathematics. Springer, Singapore; Science Press Beijing, Beijing, second edition, 2018

    work page 2018

  24. [24]

    G. Wang, D. Zhang, V. I. Vasiliev, and T. Jiang. A complex structure-preserving algorithm for the full rank decomposition of quaternion matrices and its applications. Numer. Algorithms, 91(4):1461–1481, 2022

    work page 2022

  25. [25]

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

    work page 2018

  26. [26]

    Y. Wei. A characterization and representation of the generalized inverse A(2) T ,S and its applications. Linear Algebra Appl., 280(2-3):87–96, 1998

    work page 1998

  27. [27]

    Wei and H

    Y. Wei and H. Wu. The representation and approximation for the generalized inverse A(2) T ,S. Appl. Math. Comput., 135(2-3):263–276, 2003

    work page 2003

  28. [28]

    Zhang, T

    D. Zhang, T. Jiang, C. Jiang, and G. Wang. A complex structure-preserving algorithm for computing the singular value decomposition of a quaternion matrix and its applications. Numer. Algorithms, 95(1):267–283, 2024

    work page 2024

  29. [29]

    F. Zhang. Quaternions and matrices of quaternions. Linear Algebra Appl., 251:21–57, 1997

    work page 1997

  30. [30]

    Zhang, M

    F. Zhang, M. Wei, Y. Li, and J. Zhao. The forward rounding error analysis of the partial pivoting quaternion LU decomposition. Numer. Algorithms, 96(1):267–288, 2024. 35

    work page 2024