Quaternion Algebra Research Articles

On elements of prescribed norm in maximal orders of a quaternion algebra

Abstract Let $\mathcal {O}$ be a maximal order in the quaternion algebra over $\mathbb Q$ ramified at p and $\infty $ . We prove two theorems that allow us to recover the structure of $\mathcal {O}$ from limited information. The first says that for any infinite set S of integers coprime to p, $\mathcal {O}$ is spanned as a ${\mathbb {Z}}$ -module by elements with norm in S. The second says that $\mathcal {O}$ is determined up to isomorphism by its theta function.

Elliptic Quaternion Matrices: A MATLAB Toolbox and Applications for Image Processing

In this study, we developed a MATLAB 2024a toolbox that performs advanced algebraic calculations in the algebra of elliptic numbers and elliptic quaternions. Additionally, we introduce color image processing methods, such as principal component analysis, image compression, image restoration, and watermarking, based on singular-value decomposition theory for elliptic quaternion matrices; we added these to the newly developed toolbox. The experimental results demonstrate that elliptic quaternionic methods yield better image analysis and processing performance compared to other hypercomplex number-based methods.

A non-newtonian approach to geometric phase through optic fiber via multiplicative quaternions

In this paper, we researched magnetic and electromagnetic curves in multiplicative Euclidean 3-space via multiplicative quaternion algebra. Firstly, we examined the geometric phase representation of the polarized light wave in the optic fiber by multiplicative Frenet frame. Using the quaternionic approaches, we were able to derive the magnetic curve equations and theorems. Then, three particular instances have been illustrated with examples of electromagnetic curves and magnetic field equations. Lastly, we provided an interpretation of the findings. With the help of the results, we were able to present an alternative viewpoint on the construction of trajectories (such as circular or spiral-like ones) that do not exist uniquely in the realm of physics.

A parametrization of nonassociative cyclic algebras of prime degree

We determine and explicitly parametrize the isomorphism classes of nonassociative quaternion algebras over a field of characteristic different from two, as well as the isomorphism classes of nonassociative cyclic algebras of odd prime degree m when the base field contains a primitive mth root of unity. In the course of doing so, we prove that any two such algebras can be isomorphic only if the cyclic field extension and the chosen generator of the Galois group are the same. As an application, we give a parametrization of nonassociative cyclic algebras of prime degree over a local nonarchimedean field F, which is entirely explicit under mild hypotheses on the residual characteristic. In particular, this gives a rich understanding of the important class of nonassociative quaternion algebras up to isomorphism over nonarchimedean local fields.

A new system of sylvester-like matrix equations with arbitrary number of equations and unknowns over the quaternion algebra

In this paper, we derive some practical necessary and sufficient conditions for the existence of a solution to a new system of coupled two-sided Sylvester-like matrix equations with arbitrary number of equations and unknowns over the quaternion algebra. As applications, we give some practical necessary and sufficient conditions for the existence of an η-Hermitian solution to a system of quaternion matrix equations in terms of ranks. We also use graphs to represent linear mappings associated with some Sylvester-type systems. As a special case of the main theorem, we prove a conjecture is correct, which was proposed in [Linear Algebra Appl. 2016;496:549–593]. The main findings of this paper widely extend almost all the known results in the literature.

Reply to Bektaş, S. Comment on “Ioannidou, S.; Pantazis, G. Helmert Transformation Problem. From Euler Angles Method to Quaternion Algebra. ISPRS Int. J. Geo-Inf. 2020, 9, 494”

The comment disputes some of the inferences in the paper “Helmert Transformation Problem. From Euler Angles Method to Quaternion Algebra”, published in this journal. The key points in the dissent are the following: (1) The number of unknown parameters in the reverse transformation problem using dual quaternions. (2) The reliability of both data and the results. (3) There should be no differences between Euler angles and quaternion methods. Our response is summarized as follows: (1) The problem can be solved using either eight or nine unknown parameters. (2) All the data and results are real. (3) There should be differences between methods because of different calculations.

Elliptic Quaternion Matrices: Theory and Algorithms

In this study, we obtained results for the computation of eigen-pairs, singular value decomposition, pseudoinverse, and the least squares problem for elliptic quaternion matrices. Moreover, we established algorithms based on these results and provided illustrative numerical experiments to substantiate the accuracy of our conclusions. In the experiments, it was observed that the p-value in the algebra of elliptic quaternions directly affects the performance of the problem under consideration. Selecting the optimal p-value for problem-solving and the elliptic behavior of many physical systems make this number system advantageous in applied sciences.

Quaternion Nuclear Norm Minus Frobenius Norm Minimization for color image reconstruction

Color image restoration methods typically represent images as vectors in Euclidean space or combinations of three monochrome channels. However, they often overlook the correlation between these channels, leading to color distortion and artifacts in the reconstructed image. To address this, we present Quaternion Nuclear Norm Minus Frobenius Norm Minimization (QNMF), a novel approach for color image reconstruction. QNMF utilizes quaternion algebra to capture the relationships among RGB channels comprehensively. By employing a regularization technique that involves nuclear norm minus Frobenius norm, QNMF approximates the underlying low-rank structure of quaternion-encoded color images. Theoretical proofs are provided to ensure the method’s mathematical integrity. Demonstrating versatility and efficacy, the QNMF regularizer excels in various color low-level vision tasks, including denoising, deblurring, inpainting, and random impulse noise removal, achieving state-of-the-art results.

Affine phase retrieval of quaternion signals

Quaternion algebra H is an extension of the complex number field, which is a noncommutative associative algebra. In recent years, quaternionic Fourier analysis has interested some mathematicians due to its applications in signal analysis and image processing. This paper addresses quaternionic affine phase retrieval (QAPR) in quaternion Euclidean spaces H M , which aims to exactly recover a signal in H M from the magnitudes of its affine measurements. We introduce the concepts of QAPR and phaselift operator in H M . Then, we characterize QAPR in terms of the real Jacobian matrix, prove that 5M is the minimal measurement number for QAPR in H M , study the stability of QAPR-sequences, and use the phaselift techniques to give some sufficient conditions on QAPR for H M which provide us with a method to construct QAPR-sequences.

An improved reversible watermarking scheme using embedding optimization and quaternion moments

Digital watermarking of images is an essential method for copyright protection and image security. This paper presents an innovative, robust watermarking system for color images based on moment and wavelet transformations, algebraic decompositions, and chaotic systems. First, we extended classical Charlier moments to quaternary Charlier moments (QCM) using quaternion algebra. This approach eliminates the need to decompose color images before applying the discrete wavelet transform (DWT), reducing the computational load. Next, we decompose the resulting DWT matrix using QR and singular value decomposition (SVD). To enhance the system's security and robustness, we introduce a modified version of Henon's 2D chaotic map. Finally, we integrate the arithmetic optimization algorithm to ensure dynamic and adaptive watermark insertion. Our experimental results demonstrate that our approach outperforms current color image watermarking methods in security, storage capacity, and resistance to various attacks, while maintaining a high level of invisibility.

Siegel Eisenstein series of weight 2 and quaternion algebra

Siegel Eisenstein series of weight 2 and quaternion algebra

A System of Four Generalized Sylvester Matrix Equations over the Quaternion Algebra

A System of Four Generalized Sylvester Matrix Equations over the Quaternion Algebra

Gauge fields and four interactions in the trigintaduonion spaces

The paper aims to apply the trigintaduonion spaces to explore the physical properties of four interactions simultaneously, including the electromagnetic fields, gravitational fields, weak nuclear fields, and strong nuclear fields. J. C. Maxwell first applied the algebra of quaternions to study the physical properties of electromagnetic fields. It inspired some subsequent scholars to introduce the quaternions, octonions, sedenions, and trigintaduonions to research the electromagnetic fields, gravitational fields, weak nuclear fields, strong nuclear fields, quantum mechanics, gauge fields, and curved spaces and so forth. The algebra of trigintaduonions is able to discuss the physical quantities of four interactions, including the field potential, field strength, field source, linear momentum, angular momentum, torque, and force. In the field theories described with the algebra of trigintaduonions, the weak nuclear field is composed of three types of fundamental fields. These three fundamental fields, related to weak nuclear fields, can describe the physical properties of weak nuclear fields collectively. This is consistent with the conclusion of the electroweak theory. Meanwhile the strong nuclear field consists of three types of fundamental fields. These three fundamental fields relevant to strong nuclear fields may investigate the physical properties of strong nuclear fields mutually. It is coincident with the deduction of quark theory. According to the properties of trigintaduonions, one can deduce the Yang‐Mills equation related to the gauge fields. It means that the electromagnetic field occupies a quaternion space. The gravitational field owns one different quaternion space. The weak nuclear fields occupy three mutually independent quaternion spaces. The properties of weak nuclear fields are different from those of electromagnetic fields or gravitational fields. According to the multiplication table of trigintaduonion spaces, the strong nuclear fields own three conjugate quaternion spaces independent of each other. These explorations further deepen the understanding of the physical properties of weak and strong nuclear fields.

On the geometry of zero sets of central quaternionic polynomials

Let R be the ring H[x1,…,xn] of polynomials in n central variables over the real quaternion algebra H, and let I be a left ideal in R. We prove that if p∈R vanishes at all the common zeros of I in Hn with commuting coordinates, then as a slice regular quaternionic function, p vanishes at all common zeros of I in Hn. This confirms a conjecture of Gori, Sarfatti and Vlacci, who settled the two dimensional case.

Color image encryption system based fractional hyperchaotic, fibonacci matrix and quaternion algebra

Color image encryption system based fractional hyperchaotic, fibonacci matrix and quaternion algebra

New Results on Generalized Quaternion Algebra Involving Generalized Pell-pell Lucas Quaternions

New Results on Generalized Quaternion Algebra Involving Generalized Pell-pell Lucas Quaternions

Toric periods for a p-adic quaternion algebra

Toric periods for a p-adic quaternion algebra

Cancellation for (G,n)-complexes and the Swan Finiteness Obstruction

Abstract In previous work, we related homotopy types of finite $(G,n)$-complexes when $G$ has periodic cohomology to projective ${\mathbb{Z}} G$-modules representing the Swan finiteness obstruction. We use this to determine when $X \vee S^{n} \simeq Y \vee S^{n}$ implies $X \simeq Y$ for finite $(G,n)$-complexes $X$ and $Y$, and give lower bounds on the number of homotopically distinct pairs when this fails. The proof involves constructing projective ${\mathbb{Z}} G$-modules as lifts of locally free modules over orders in products of quaternion algebras, whose existence follows from the Eichler mass formula. In the case $n=2$, difficulties arise that lead to a new approach to finding a counterexample to Wall’s D2 problem.

SE(3) Synchronization by eigenvectors of dual quaternion matrices

Abstract In synchronization problems, the goal is to estimate elements of a group from noisy measurements of their ratios. A popular estimation method for synchronization is the spectral method. It extracts the group elements from eigenvectors of a block matrix formed from the measurements. The eigenvectors must be projected, or ‘rounded’, onto the group. The rounding procedures are constructed ad hoc and increasingly so when applied to synchronization problems over non-compact groups. In this paper, we develop a spectral approach to synchronization over the non-compact group $\mathrm{SE}(3)$, the group of rigid motions of $\mathbb{R}^{3}$. We based our method on embedding $\mathrm{SE}(3)$ into the algebra of dual quaternions, which has deep algebraic connections with the group $\mathrm{SE}(3)$. These connections suggest a natural rounding procedure considerably more straightforward than the current state of the art for spectral $\mathrm{SE}(3)$ synchronization, which uses a matrix embedding of $\mathrm{SE}(3)$. We show by numerical experiments that our approach yields comparable results with the current state of the art in $\mathrm{SE}(3)$ synchronization via the spectral method. Thus, our approach reaps the benefits of the dual quaternion embedding of $\mathrm{SE}(3)$ while yielding estimators of similar quality.

Finding orientations of supersingular elliptic curves and quaternion orders

AbstractAn oriented supersingular elliptic curve is a curve which is enhanced with the information of an endomorphism. Computing the full endomorphism ring of a supersingular elliptic curve is a known hard problem, so one might consider how hard it is to find one such orientation. We prove that access to an oracle which tells if an elliptic curve is $$\mathfrak {O}$$ O -orientable for a fixed imaginary quadratic order $$\mathfrak {O}$$ O provides non-trivial information towards computing an endomorphism corresponding to the $$\mathfrak {O}$$ O -orientation. We provide explicit algorithms and in-depth complexity analysis. We also consider the question in terms of quaternion algebras. We provide algorithms which compute an embedding of a fixed imaginary quadratic order into a maximal order of the quaternion algebra ramified at p and $$\infty $$ ∞ . We provide code implementations in Sagemath (in Stein et al. Sage Mathematics Software (Version 10.0), The Sage Development Team, http://www.sagemath.org, 2023) which is efficient for finding embeddings of imaginary quadratic orders of discriminants up to O(p), even for cryptographically sized p.