[论文解读] Inverse of multivector: Beyond p+q=5 threshold

A. Acus, A. Dargys|arXiv (Cornell University)|Dec 14, 2017

Algebraic and Geometric Analysis参考文献 6被引用 6

一句话总结

本文将用于计算 Clifford 几何代数中多向量逆元的阶数否定法扩展至此前已确立的 $ n = 5 $ 门槛之外，针对 $ n = 6 $ 提供了显式、坐标无关的公式，采用阶数否定几何积的线性组合形式。主要贡献在于提出了一套系统性算法，可生成与度量 signature $ (p,q) $ 无关的紧凑逆表达式，从而实现高维几何代数中的符号计算与数值计算。

ABSTRACT

The algorithm of finding inverse multivector (MV) numerically and symbolically is of paramount importance in the applied Clifford geometric algebra (GA) $Cl_{p,q}$. The first general MV inversion algorithm was based on matrix representation of MV. The complexity of calculations and size of the answer in a symbolic form grow exponentially with the GA dimension $n=p+q$. The breakthrough occurred when D. Lundholm and then P. Dadbeh found compact inverse formulas up to dimension $n\le5$. The formulas were constructed in a form of Clifford product of initial MV and its carefully chosen grade-negation counterparts. In this report we show that the grade-negation self-product method can be extended beyond $n=5$ threshold if, in addition, properly constructed linear combinations of such MV products are used. In particular, we present compact explicit MV inverse formulas for algebras of vector space dimension $n=6$ and show that they embrace all lower dimensional cases as well. For readers convenience, we have also given various MV formulas in a form of grade negations when $n\le5$.

研究动机与目标

• 为克服现有多向量逆公式长期存在的局限性，即仅在 $ n = 5 $ 以内有效，通过将阶数否定法扩展至更高维度。
• 为 $ n = p+q = 6 $ 的一般多向量在 $ \mathrm{Cl}_{p,q} $ 中开发通用的逆计算算法，适用于所有签名。
• 提供显式、紧凑且坐标无关的逆公式，降低计算复杂度，避免依赖矩阵表示。
• 揭示行列式范数与逆表达式中的结构模式，提示其可推广至 $ n > 6 $。
• 证明 $ n=6 $ 时多向量的逆可通过对统一框架的运用，生成所有低维代数（$ n \leq 6 $）的逆公式。

提出的方法

• 该方法通过引入多向量与其阶数否定形式的几何积的线性组合，推广阶数否定方法，而非依赖单一几何积。
• 利用多向量与多个阶数否定形式的几何积构造标量值行列式范数，进而推导出逆元。
• 该算法基于如下原理：多向量与经仔细选择的阶数否定形式的乘积结果为标量，类似于行列式，从而可提取逆元。
• 作者系统性地构建自否定积并分析其结构，识别出最小化与对称形式，包括一项具有等权重的三重对称公式。
• 利用 Clifford 代数的 8-周期性特性，预测构造范数时所需的多向量积数量，指导紧凑表达式的搜索。
• 该方法完全避免使用矩阵表示，仅依赖几何积、阶投影与符号否定操作，确保结果为坐标无关且签名无关。

实验结果

研究问题

• RQ1 阶数否定法用于多向量求逆是否可突破 $ n=5 $ 的限制？若可，需进行何种结构修改？
• RQ2 对于 $ n=6 $，逆多向量表达式的最小且最紧凑形式为何？其能否表示为阶数否定积的线性组合？
• RQ3 $ n=6 $ 的行列式范数公式是否包含所有低维情形（$ n \leq 5 $）？若是，如何实现？
• RQ4 能否为 $ n=6 $ 构造对称、平衡的公式（如三项等权重线性组合）？其计算意义为何？
• RQ5 是否存在一种通用模式或结构（如‘洋葱状’层级结构），使得不同维度的行列式范数呈现出可推广至所有 $ n $ 的公式？

主要发现

• 本文首次为所有 $ \mathrm{Cl}_{p,q} $ 代数（维度 $ n=6 $）中的一般多向量提供了显式、封闭形式的逆公式，适用于所有签名。
• 这些公式以两个或三个阶数否定几何积的线性组合形式构建，其中双积形式因乘法次数更少而计算最优。
• $ n=6 $ 的逆公式自然退化为已知的 $ n \leq 5 $ 表达式，表明其具有分层的、类似‘洋葱’的结构，即高维公式可包含低维公式。
• 推导出一项具有等权重 $ \frac{1}{3} $ 的对称三重公式，尽管计算效率较低，但可能启发向更高维度的推广。
• 该方法完全避免使用矩阵表示，仅依赖几何积与阶数否定，确保计算过程坐标无关且签名无关。
• 作者基于观察到的结构模式及 Clifford 代数的 8-周期性，推测此类公式在所有维度 $ n $ 下均存在。