Geometry of 2 × 2 hermitian matrices

LetD be a division ring which possesses an involution a → α . Assume that is a proper subfield ofD and is contained in the center ofD. It is pointed out that ifD is of characteristic not two, D is either a separable quadratic extension of F or a division ring of generalized quaternions over F and that if D is of characteristic two,D is a separable quadratic extension ofF. Thus the trace map Tr:D → F, a → a + a is always surjective, which is formerly posed as an assumption in the fundamental theorem of n×n hermitian matrices overD when n ≥ 3 and now can be deleted. WhenD is a field, the fundamental theorem of 2 × 2 hermitian matrices overD has already been proved. This paper proves the fundamental theorem of 2×2 hermitian matrices over any division ring of generalized quaternions of characteristic not two This research was completed during a visit to the Academy of Mathematics and System Sciences, Chinese Academy of Sciences.     

四元矩阵方程AXB＝D的Hermite解

本给出了四元矩阵方程AXB＝D有Hermite解的充要条件，利用A，B，D及它的Moore-penrose逆的一般Hermite解表示。     

环上广义自反矩阵及其应用

首先在带有对合反自同构的环上引入自反矩阵、广义自反矩阵等概念,证明了:①若P,Q为环R上广义反射矩阵,α,β∈R,A,B为关于(P,Q)的广义自反矩阵,则αA++βB+,αA*+βB*为关于(Q,P)的广义自反矩阵,A*B为关于Q的自反矩阵,AB*为关于P的自反矩阵;②环R上任一矩阵A可以分解成关于(P,Q)的一个广义自反矩阵和一个广义反自反矩阵之和.然后利用这些性质,讨论了四元数体上线性方程组的最小二乘解问题,得到一个将系数矩阵是广义自反矩阵的线性方程组最小二乘解问题化为两个独立的较小子问题的方法,使这类问题的求解得到简化.     

Uncertainty principles associated with quaternionic linear canonical transforms

In the present paper, we generalize the linear canonical transform (LCT) to quaternion‐valued signals, known as the quaternionic LCT (QLCT). Using the properties of the LCT, we establish an uncertainty principle for the two‐sided QLCT. This uncertainty principle prescribes a lower bound on the product of the effective widths of quaternion‐valued signals in the spatial and frequency domains. It is shown that only a Gaussian quaternionic signal minimizes the uncertainty. Copyright © 2016 John Wiley & Sons, Ltd.     

QUATERNION GENERALIZED SINGULAR VALUE DECOMPOSITION AND ITS APPLICATIONS

This paper derives a theorem of generalized singular value decomposition of quaternion matrices （QGSVD）,studies the solution of general quaternion matrix equation AXB -CYD= E,and obtains quaternionic Roth＇s theorem. This paper also suggests sufficient and necessary conditions for the existence and uniqueness of solutions and explicit forms of the solutions of the equation.     

Similarity of hybrid numbers

The set of hybrid numbers $𝕂$ is a noncommutative number system that unified and generalized the complex, dual, and double (hyperbolic) numbers with the relation ih =− hi =ε+ i. Two hybrid numbers p and q are said to be similar if there exist a nonlightlike hybrid number x satisfying the equality x ⁻¹ qx = p . And, it is denoted by p ∼ q . In this paper, we study the concept of similarity for hybrid numbers by solving the linear equations px = xq and qx − xp = c for $\text{◂,▸}\mathbf{p},\mathbf{q},\mathbf{c}\in 𝕂\mathbf{.}$     

基于最优控制的四元数据误差传播捷联矩阵算法分析

捷联系统中的比力、角速率的量测值都是沿船舶坐标系的，如欲求得船舶位置和姿态就应知道其在当地地理坐标系中的投影。无论从计算速度还是从计算精度上考虑，用四元数法得到捷联短阵比其他方法更为有利。该就四元数计算所引起的误差及其传播方式与四元数向量的正交计算进行了讨论，从而获得了一种捷联矩阵算法。     

Anti-tori in Square Complex Groups

An anti-torus is a subgroup 〈a,b 〉 in the fundamental group of a compact non-positively curved space X, acting in a specific way on the universal covering space X such that a and b do not have any commuting nontrivial powers. We construct and investigate anti-tori in a class of commutative transitive fundamental groups of finite square complexes, in particular for the groups Γ_p,l originally studied by Mozes [Israel J. Math. 90(1–3) (1995), 253–294]. It turns out that anti-tori in Γ_p,l directly correspond to non commuting pairs of Hamilton quaternions. Moreover, free anti-tori in Γ_p,l are related to free groups generated by two integer quaternions, and also to free subgroups of . As an application, we prove that the multiplicative group generated by the two quaternions 1+2i and 1+4k is not free.     

捷联惯性导航中一种算法的推证

捷联惯性导航系统中,常常用到解算四元数矩阵微分方程的问题。为此给出了解四元数矩阵微分方程的一个强有力的算式，并给出了详细的数学推导和证明。     

捷联惯导姿态误差模型分析

捷联惯性导航系统以数字平台代替了平台惯导的机械平台。所谓数字平台,即存储在导航计算机中的坐标变换矩阵。四元数和旋转矢量是用来描述捷联惯导系统姿态的两种常用方法。传统的线性误差模型如psi角误差模型、等效倾角误差模型,仅仅适用于误差角非常小的情况。对于误差角比较大的系统,误差模型变得非线性,由此引入旋转矢量误差模型。通过对加性四元数、乘性四元数以及旋转矢量误差模型的分析表明,三者是等价的,并且当误差角很小的时候,乘性四元数误差模型和旋转矢量误差模型可以退化为等效倾角误差模型。