[论文解读] Using Quaternion-Valued Linear Algebra

Dominik Schulz, Reiner S. Thomä|arXiv (Cornell University)|Nov 29, 2013

Algebraic and Geometric Analysis参考文献 9被引用 3

一句话总结

本文提出了一种用于四元数线性代数的新记号，通过左乘和右乘矩阵乘积显式处理四元数乘法的非交换性。通过引入左、右两侧的矩阵乘法算子，作者建立了一个一致、紧凑且实用的四元数线性代数框架，成功应用于特征值分解和离散四元数傅里叶变换（DQFT），相比以往方法实现了更简洁、更结构化的表达。

ABSTRACT

Linear algebra is usually defined over a field such as the reals or complex numbers. It is possible to extend this to skew fields such as the quaternions. However, to the authors' knowledge there is no commonly accepted notation of linear algebra over skew fields. To this end, we discuss ways of notation that account for the non-commutativity of the quaternion multiplication.

研究动机与目标

• 为斜域（如四元数）上的线性代数解决缺乏标准化记号的问题。
• 解决四元数矩阵运算中非交换乘法的根本挑战。
• 开发一种一致且实用的四元数矩阵代数记号，保持运算顺序并实现清晰的运算表达。
• 展示所提记号在关键应用（如特征值分解和离散四元数傅里叶变换，DQFT）中的实用性。
• 利用新记号将经典线性代数工具（如Kronecker积和Khatri-Rao积）扩展至四元数域。

提出的方法

• 提出左矩阵乘积（·_L）和右矩阵乘积（·_R），以显式编码四元数矩阵运算中的乘法顺序。
• 将矩阵乘法定义为乘积之和，其中四元数乘法的顺序得以保留：左乘为∑[A]_m,k [B]_k,n，右乘为∑[B]_k,n [A]_m,k。
• 使用纯单位四元数μ₁和μ₂的指数形式定义四元数傅里叶矩阵F₁^(μ₁)和F₂^(μ₂)，并分别按1/√M和1/√N进行缩放。
• 将新记号应用于DQFT的三种变体：左端、混合和右端，每种均由有序的左乘和右乘矩阵运算定义。
• 通过共轭转置矩阵（H）推导逆DQFT，并保持相同的顺序感知结构。
• 证明仅当μ₁ = μ₂时，矩阵乘积才满足结合律，此时可任意加括号。

实验结果

研究问题

• RQ1 在四元数乘法非交换的背景下，如何为四元数斜域上的线性代数开发一种一致且无歧义的记号？
• RQ2 所提出的左乘和右乘矩阵乘积记号能否简化并统一四元数线性代数基本运算的表达形式？
• RQ3 与现有表达相比，新记号在表达和分析离散四元数傅里叶变换（DQFT）方面有何改进？
• RQ4 新记号在多大程度上支持将Kronecker积和Khatri-Rao积等经典矩阵工具扩展至四元数域？
• RQ5 在何种条件下，使用新记号的矩阵乘积具有结合性？这又如何影响变换的逆运算与分解？

主要发现

• 所提出的左乘和右乘矩阵乘积记号成功解决了四元数矩阵乘法顺序的歧义，为四元数线性代数提供了统一的框架。
• 使用新记号的DQFT表达更为紧凑且结构清晰，三种变体（左、混合、右）通过有序矩阵乘法明确定义。
• 逆DQFT通过共轭转置矩阵推导，保持相同的顺序感知结构，确保了可逆性。
• 仅当两个维度均使用相同的纯单位四元数μ（即μ₁ = μ₂）时，矩阵乘积才具备结合性，此时可灵活加括号。
• 该记号使得四元数上的特征值分解表达更自然、更简洁，提升了清晰度并降低了复杂度。
• 在所提出的记号框架下，Kronecker积和Khatri-Rao积向四元数域的扩展被证明是可行且有意义的。