Quaternionic Sums of Squares, Moments, and Quaternionic Polynomial Optimization
Abstract
We develop a moment-quaternionic-sum-of-squares (Moment--QSOS) framework for global polynomial optimization over the standard Hamilton quaternions. The main difficulty is the hybrid algebraic structure of scalar quaternionic variables: multiplication is noncommutative, while scalar evaluations satisfy additional polynomial identities inherited from the four commuting real coordinates of each quaternion. To capture this structure, we introduce quaternionic sums of squares together with real and quaternionic scalar-identity ideals. We establish Archimedean Positivstellensätze for real-coefficient quaternionic polynomials and for objectives with quaternionic middle coefficients and real-coefficient constraints; a counterexample shows that the latter constraint hypothesis cannot, in general, be removed for the proposed pure-word certificate cone. On the dual side, we solve the corresponding full real-valued and quaternion-valued moment problems through Riesz--Haviland-type characterizations, and we prove a flat-extension theorem for truncated quaternion-valued moments under an explicit scalar-consistency condition. These results yield convergent Moment--QSOS hierarchies and finite-exactness criteria based on flatness. For quaternionic quadratically constrained quadratic programs (QCQPs), we further prove that the first-order quaternionic moment relaxation has the same optimal value as the first-order relaxation of the equivalent real QCQP. Numerical experiments on quadratic, quartic, and sparse problems, together with applications to quaternion-based maximum margin feature extraction and rotation synchronization, show that the quaternionic formulation attains the same relaxation values as the tested real SOS formulations while requiring substantially shorter computation times in the reported instances.
Related
- Complex and Stable Complex Structures on Real Vector Bundles over Connected Sums of Quaternionic Projective Planes
- Stable Complex Structures On Real Vector Bundles Over Connected Sums Of Quaternionic Projective Spaces
- Galois representations and modularity for twisted moments of Kloosterman sums
- On the Topology of the Set of Nonnegative Forms That Are Not Sums of Squares
- Computational results on sums of a prime with squares or cubes
BibTeX
@misc{liu2026quaternionic,
title = {{Quaternionic Sums of Squares, Moments, and Quaternionic Polynomial Optimization}},
author = {Yanqing Liu and Jie Wang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2605.12210},
eprint = {2605.12210},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.12210},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Quaternionic Sums of Squares, Moments, and Quaternionic Polynomial Optimization
AU - Yanqing Liu
AU - Jie Wang
PY - 2026
DA - 2026/09/08
PB - arXiv
DO - 10.48550/arxiv.2605.12210
UR - https://arxiv.org/abs/2605.12210
AB - We develop a moment-quaternionic-sum-of-squares (Moment--QSOS) framework for global polynomial optimization over the standard Hamilton quaternions. The main difficulty is the hybrid algebraic structure of scalar quaternionic variables: multiplication is noncommutative, while scalar evaluations satisfy additional polynomial identities inherited from the four commuting real coordinates of each quaternion. To capture this structure, we introduce quaternionic sums of squares together with real and quaternionic scalar-identity ideals. We establish Archimedean Positivstellensätze for real-coefficient quaternionic polynomials and for objectives with quaternionic middle coefficients and real-coefficient constraints; a counterexample shows that the latter constraint hypothesis cannot, in general, be removed for the proposed pure-word certificate cone. On the dual side, we solve the corresponding full real-valued and quaternion-valued moment problems through Riesz--Haviland-type characterizations, and we prove a flat-extension theorem for truncated quaternion-valued moments under an explicit scalar-consistency condition. These results yield convergent Moment--QSOS hierarchies and finite-exactness criteria based on flatness. For quaternionic quadratically constrained quadratic programs (QCQPs), we further prove that the first-order quaternionic moment relaxation has the same optimal value as the first-order relaxation of the equivalent real QCQP. Numerical experiments on quadratic, quartic, and sparse problems, together with applications to quaternion-based maximum margin feature extraction and rotation synchronization, show that the quaternionic formulation attains the same relaxation values as the tested real SOS formulations while requiring substantially shorter computation times in the reported instances.
ER -