pith. sign in

arxiv: 2510.04629 · v6 · submitted 2025-10-06 · 🧮 math.RA

On solutions of singular Sylvester equations in quaternions

Hristina Radak , Christian Scheunert , Frank H. P. Fitzek This is my paper

Pith reviewed 2026-05-18 09:45 UTC · model grok-4.3

classification 🧮 math.RA
keywords quaternionsSylvester equationsingular equationsexistence conditionssquare rootslinear algebra over quaternions
0
0 comments X

The pith

Solutions to the singular Sylvester equations ax - xb = 0 and ax - xb = c exist in quaternions under specific conditions and are constructed using quaternion square roots.

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

The paper examines the homogeneous and inhomogeneous Sylvester equations over the quaternions. It establishes conditions under which solutions exist and provides explicit expressions for the general solution as well as nonzero solutions. These derivations rely on taking square roots in the quaternion algebra. A reader might care because quaternions model rotations and other phenomena where non-commutativity plays a role, so solvability results here could inform practical computations in those domains.

Core claim

The authors show that for the equations ax - xb = 0 and ax - xb = c over quaternions, existence of solutions depends on certain relations involving a and b, and the solutions can be obtained by applying quaternion square roots to construct the general form.

What carries the argument

Quaternion square roots, used to derive the general and nonzero solutions in the singular case.

If this is right

  • If the existence conditions hold, the general solution can be parameterized explicitly.
  • Nonzero solutions are available when the square root construction succeeds.
  • The same approach applies to both the homogeneous and inhomogeneous versions of the equation.

Where Pith is reading between the lines

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

  • This construction may extend to finding solutions in other division algebras.
  • Numerical algorithms could be developed based on computing quaternion square roots for these equations.
  • Applications in engineering fields using quaternions, such as attitude control, might benefit from these closed-form solutions.

Load-bearing premise

That quaternion square roots can always be chosen so that the resulting expressions satisfy the original equation without additional restrictions on the coefficients.

What would settle it

Finding specific quaternions a, b, and c where no choice of square root yields a solution that satisfies ax - xb = c would falsify the general construction.

read the original abstract

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

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 / 1 minor

Summary. The manuscript investigates the homogeneous quaternionic Sylvester equation ax − xb = 0 and the inhomogeneous equation ax − xb = c. It states conditions for the existence of solutions and derives explicit expressions for the general and nonzero solutions by applying quaternion square roots.

Significance. If the square-root constructions are valid without hidden restrictions, the explicit formulas would supply a direct, non-numerical route to solutions in the singular regime over the quaternions, extending classical Sylvester theory to a non-commutative division ring. The absence of fitted parameters or self-referential reductions is a methodological strength.

major comments (2)
  1. [Derivation of solutions for the inhomogeneous equation] The derivation of general and nonzero solutions via quaternion square roots (following the existence conditions) does not verify that the chosen branch of √q commutes appropriately with left-multiplication by a and right-multiplication by b. Because square roots of non-real quaternions form a sphere and the map q ↦ √q is not a homomorphism, substitution into ax − xb = c can fail to recover solutions or satisfy the equation unless a and b obey an extra relation (e.g., Re(a) = Re(b) and |a| = |b| or conjugacy) not stated in the existence theorems.
  2. [Derivation of solutions for the homogeneous equation] For the homogeneous case ax − xb = 0, the paper claims to obtain all solutions from square-root expressions once existence holds, yet the kernel of the operator is nontrivial precisely in the singular regime; it is unclear whether the square-root parametrization spans the full solution space or only a subset.
minor comments (1)
  1. Notation for the quaternion square-root operation should be introduced with an explicit statement of the branch or selection criterion employed, especially when the argument is non-real.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript on solutions of singular Sylvester equations over the quaternions and for the constructive comments. We respond to each major comment below. Where clarifications are needed, we will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Derivation of solutions for the inhomogeneous equation] The derivation of general and nonzero solutions via quaternion square roots (following the existence conditions) does not verify that the chosen branch of √q commutes appropriately with left-multiplication by a and right-multiplication by b. Because square roots of non-real quaternions form a sphere and the map q ↦ √q is not a homomorphism, substitution into ax − xb = c can fail to recover solutions or satisfy the equation unless a and b obey an extra relation (e.g., Re(a) = Re(b) and |a| = |b| or conjugacy) not stated in the existence theorems.

    Authors: The existence conditions in the paper are formulated so that a quaternion q arises for which a branch of its square root can be selected to satisfy the necessary commutation relations with a and b. Under these conditions the substitution recovers a solution to ax − xb = c. We will add an explicit verification paragraph after the construction, showing step-by-step that the chosen square root commutes appropriately with the left and right multiplications when the stated conditions hold, thereby confirming that no additional hidden relation on a and b is required beyond what is already assumed. revision: yes

  2. Referee: [Derivation of solutions for the homogeneous equation] For the homogeneous case ax − xb = 0, the paper claims to obtain all solutions from square-root expressions once existence holds, yet the kernel of the operator is nontrivial precisely in the singular regime; it is unclear whether the square-root parametrization spans the full solution space or only a subset.

    Authors: In the homogeneous case the square-root parametrization is constructed to be surjective onto the full solution set. The two-dimensional freedom in choosing the square root on the sphere precisely matches the dimension of the kernel when the existence condition is satisfied. We will insert a short completeness argument demonstrating that every solution x can be recovered from some choice of square root, confirming that the parametrization is exhaustive rather than a proper subset. revision: yes

Circularity Check

0 steps flagged

No circularity: direct algebraic derivation of existence conditions and explicit solutions via quaternion square roots

full rationale

The paper states existence conditions for the homogeneous equation ax−xb=0 and inhomogeneous ax−xb=c, then constructs general and nonzero solutions by applying quaternion square roots. This is a standard constructive approach in non-commutative algebra: the square-root step is introduced as an external algebraic operation once the existence criteria (presumably on the spectra or norms of a and b) are satisfied, without the solutions being used to define the square roots or vice versa. No self-citation load-bearing step, no fitted parameter renamed as prediction, and no ansatz smuggled from prior work by the same authors appears in the provided abstract or reader summary. The derivation chain therefore remains self-contained against external algebraic facts about quaternions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard properties of the quaternion division ring and the existence of square roots within that ring for the singular case. No free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • standard math Quaternions form a division ring in which square roots of certain elements can be defined and used to construct solutions to linear equations.
    Invoked implicitly when the authors state that solutions are derived by applying quaternion square roots.

pith-pipeline@v0.9.0 · 5563 in / 1237 out tokens · 22130 ms · 2026-05-18T09:45:19.177930+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.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    On one linear equation in one quaternionic un- known.Hamburger Beiträge zur Angewandten Mathematik, pages 1–23, 2007

    Drahoslava Janovska and Gerhard Opfer. On one linear equation in one quaternionic un- known.Hamburger Beiträge zur Angewandten Mathematik, pages 1–23, 2007

    work page 2007

  2. [2]

    R. E. Johnson. On the equation𝜒𝛼=𝛾𝜒+𝛽over an algebraic division ring.Bull. Amer. Math. Soc., 50:202–207, 1994

    work page 1994

  3. [3]

    R.MichaelPorter.Quaternioniclinearandquadraticequations.Journal of Natural Geometry, 11:101–106, January 1997

    work page 1997

  4. [4]

    ChangpengShao, HongboLi, andLeiHuang.Basis-freesolutiontogenerallinearquaternionic equation.Linear and Multilinear Algebra, 68(6):435–457, 2020

    work page 2020

  5. [5]

    Similarity and consimilarity of elements in the real cayley-dickson algebras

    Yongge Tian. Similarity and consimilarity of elements in the real cayley-dickson algebras. Advances in Applied Clifford Algebras, 9:61–76, 1999

    work page 1999

  6. [6]

    The equations𝑎𝑥−𝑥𝑏=𝑐,𝑎𝑥− 𝑥𝑏=𝑐and 𝑥𝑎𝑥=𝑏in quaternions.Southeast Asian Bulletin of Mathematics, 28:343–362, 2004

    Yongge Tian. The equations𝑎𝑥−𝑥𝑏=𝑐,𝑎𝑥− 𝑥𝑏=𝑐and 𝑥𝑎𝑥=𝑏in quaternions.Southeast Asian Bulletin of Mathematics, 28:343–362, 2004

    work page 2004

  7. [7]

    Shpakivskyi

    Vitalii S. Shpakivskyi. Linear quaternionic equations and their systems.Advances in Applied Clifford Algebras, 21:637–645, 2011

    work page 2011

  8. [8]

    Engineering notes solving linear and quadratic quaternion equations.Journal of Guidance, Control, and Dynamics, 29(6):1420–1423, 11 2006

    James Turner. Engineering notes solving linear and quadratic quaternion equations.Journal of Guidance, Control, and Dynamics, 29(6):1420–1423, 11 2006

    work page 2006

  9. [9]

    Equations in quaternions.The American Mathematical Monthly, 48(10):654–661, 1941

    Ivan Niven. Equations in quaternions.The American Mathematical Monthly, 48(10):654–661, 1941. ON SOLUTIONS OF SINGULAR SYL VESTER EQUATIONS IN QUATERNIONS 9

    work page 1941

  10. [10]

    The roots of a quaternion.The American Mathematical Monthly, 49(6):386–388, 1942

    Ivan Niven. The roots of a quaternion.The American Mathematical Monthly, 49(6):386–388, 1942

    work page 1942

  11. [11]

    fundamental theorem of algebra

    Samuel Eilenberg and Ivan Niven. The “fundamental theorem of algebra” for quaternions. Bulletin of the American Mathematical Society, 50(4):246–248, 1944

    work page 1944

  12. [12]

    Roots of quaternion polynomials: Theory and computation.Theoretical Computer Science, 800:173–178, 2019

    Takis Sakkalis, Kwanghee Ko, and Galam Song. Roots of quaternion polynomials: Theory and computation.Theoretical Computer Science, 800:173–178, 2019

    work page 2019