[论文解读] On Systems of Linear Quaternion Functions

Todd A. Ell|ArXiv.org|Feb 4, 2007

Matrix Theory and Algorithms参考文献 11被引用 7

一句话总结

本文提出一种方法，通过使用四个四元数系数，将任意线性四元数函数系统简化为四元标准型，从而实现高效的符号与数值操作。主要贡献在于提出了一种类四元数乘法的复合规则，使级联系统可直接在标准型下计算，避免项数爆炸。

ABSTRACT

A method of reducing general quaternion functions of first degree, i.e., linear quaternion functions, to quaternary canonical form is given. Linear quaternion functions, once reduced to canonical form, can be maintained in this form under functional composition. furthermore, the composition operation is symbolically identical to quaternion multiplication, making manipulation and reduction of systems of linear quaternion functions straight forward.

研究动机与目标

• 解决管理具有任意项数的复杂线性四元数函数系统所带来的挑战。
• 克服基于四元数的系统在函数复合与求和过程中项数呈指数增长的问题。
• 开发一种保持代数结构的同时最小化计算复杂度的标准型表示。
• 通过透明且紧凑的表示形式，实现对四元数系统符号与数值操作的高效处理。
• 为3D与4D数据处理应用中线性四元数滤波器的设计奠定基础。

提出的方法

• 将一般形式的线性四元数函数 ∑mₚqnₚ 通过四元数分量分解，简化为标准型 f(q) = Aq + Bqi + Cqj + Dqk，其中 A, B, C, D ∈ ℍ。
• 采用四元数四元组 {A, B, C, D} 表示每个标准型函数，以实现紧凑表示与高效计算。
• 利用对合算子（如共轭与横线算子）在简化过程中避免显式分量分解。
• 应用四元数的矩阵表示（标准形式与转置形式）以提升数值稳定性并实现高效计算。
• 推导出两个标准型函数的闭式复合规则，其中 f₂∘f₁(q) 生成一个新的标准型函数，其系数通过修改后的四元数乘法公式计算得出。
• 利用标准型函数复合与转置四元数乘法之间的同构关系，确保复合操作的封闭性与高效性。

实验结果

研究问题

• RQ1 任意线性四元数函数系统是否可被简化为最多四项的最小标准型？
• RQ2 如何在不展开为指数增长中间项的情况下计算此类系统的函数复合？
• RQ3 是否存在一种符号复合规则，使标准型线性四元数函数的复合能精确模拟标准四元数乘法？
• RQ4 线性四元数函数复合背后的代数结构是什么？其与标准四元数代数有何关联？
• RQ5 标准型是否可用于高效计算此类函数的并行求和与级联复合？

主要发现

• 任意形式为 f(q) = ∑mₚqnₚ 的线性四元数函数，均可简化为四元标准型 f(q) = Aq + Bqi + Cqj + Dqk，其中 A, B, C, D ∈ ℍ。
• 两个标准型函数的复合 f₂∘f₁(q) 生成一个新的标准型函数，其系数由修改后的四元数乘法公式给出。
• 复合规则生成的系数 A₃, B₃, C₃, D₃ 恰好对应于四元数乘法的转置形式，确保复合操作在标准型下保持封闭。
• 两个标准型函数的复合虽展开为16项，但通过推导出的复合规则可重新简化为四项，从而避免计算爆炸。
• 标准型支持线性组合（求和）与函数复合的闭式表达，其系数可直接相加或通过推导公式复合。
• 该方法实现了对复杂线性四元数函数系统的高效符号与数值操作，尤其适用于3D/4D信号与图像处理应用。