[论文解读] Square root of a multivector of Clifford algebras in 3D: A game with signs

A. Acus, A. Dargys|arXiv (Cornell University)|Mar 15, 2020

Algebraic and Geometric Analysis参考文献 15被引用 4

一句话总结

本文提出一种符号算法，用于在 $\mathrm{Cl}_{p,q}$（$p+q=3$）的3D实 Clifford 代数中计算任意多向量的平方根，采用 Mathematica 中的 Gröbner 基技术。结果表明，在 $\mathrm{Cl}_{2,1}$ 中最多存在 16 个孤立根，而其他代数如 $\mathrm{Cl}_{3,0}$、$\mathrm{Cl}_{1,2}$ 和 $\mathrm{Cl}_{0,3}$ 最多有四个孤立根，且在所有情况下（除 $n=1$ 外）可能存在额外的连续根。该方法通过直接在几何代数中运算，避免了矩阵表示带来的问题。

ABSTRACT

An algorithm to extract the square root in radicals from a multivector (MV) in real Clifford algebras Cl(p,q) for n=p+q <=3 is presented. We show that in the algebras Cl(3,0), Cl(1,2) and Cl(0,3) there are up to four isolated roots in a case of the most general (generic) MV. The algebra Cl(2,1) makes up an exception and the MV here can have up to 16 isolated roots. In addition to isolated roots, a continuum of roots can appear in all algebras except p+q=1. A number of examples are provided to illustrate properties of various roots that may appear in n=3 Clifford algebras.

研究动机与目标

• 开发一种系统化方法，用于计算 3D 实 Clifford 代数中一般多向量的平方根。
• 确定所有满足 $p+q=3$ 的 $\mathrm{Cl}_{p,q}$ 代数中孤立根与连续根的数量与性质。
• 解决先前文献中关于多向量平方根（尤其是非四元数情形）的不一致问题。
• 展示基于矩阵的方法在计算实 Clifford 代数中平方根时的局限性。
• 利用 Mathematica 等符号计算工具，提供平方根的显式根式表达式。

提出的方法

• 作者使用 Gröbner 基算法求解由 $\mathsf{A}^2 = \mathsf{B}$ 导出的非线性多项式方程组，其中 $\mathsf{A}$ 和 $\mathsf{B}$ 为多向量。
• 他们将多向量 $\mathsf{B}$ 展开为 $\mathrm{Cl}_{p,q}$ 在 $n=3$ 时的标准 8 个基元素，包括标量、向量、二向量和伪标量。
• 由于不同符号特征导致的代数性质差异，该算法分别应用于 $\mathrm{Cl}_{3,0}$、$\mathrm{Cl}_{1,2}$、$\mathrm{Cl}_{0,3}$ 和 $\mathrm{Cl}_{2,1}$。
• 使用 Mathematica 中的符号计算推导出根的闭式根式表达式，并通过大量数值验证。
• 该方法避免使用矩阵表示，以防止在实 Clifford 代数中引入虚假的复数分量。
• 作者将结果与基于矩阵的方法进行比较，表明此类方法在转换回几何代数时，会在标量和伪标量部分引入非物理的复数分量。

实验结果

研究问题

• RQ1 在 $\mathrm{Cl}_{3,0}$、$\mathrm{Cl}_{1,2}$、$\mathrm{Cl}_{0,3}$ 或 $\mathrm{Cl}_{2,1}$ 中，一般多向量最多能有多少个孤立根？
• RQ2 多向量在 3D Clifford 代数中存在平方根需满足什么条件？
• RQ3 为何基于矩阵的平方根方法在 $\mathrm{Cl}_{3,0}$ 中无法重现有效的实多向量解？
• RQ4 $\mathrm{Cl}_{2,1}$ 中的多向量是否可能拥有超过四个孤立根？若是，原因是什么？
• RQ5 连续根在多向量平方根方程的解空间中起什么作用？

主要发现

• 在 $\mathrm{Cl}_{3,0}$、$\mathrm{Cl}_{1,2}$ 和 $\mathrm{Cl}_{0,3}$ 中，一般多向量最多可有四个孤立根。
• 在 $\mathrm{Cl}_{2,1}$ 中，一般多向量最多可有 16 个孤立根，使其在 3D Clifford 代数中成为例外。
• 在所有 3D Clifford 代数中（除 $p+q=1$ 外）均可能出现连续根，表明高维情形下解结构更丰富。
• 在 $\mathrm{Cl}_{3,0}$ 中，基于矩阵的平方根方法会引入标量和伪标量部分的虚假复数分量，导致几何代数解释失效。
• 使用 Mathematica 中 Gröbner 基的符号方法成功计算出所有根的精确根式表达式，避免了矩阵表示的缺陷。
• 本文提供了 $\mathrm{Cl}_{1,1}$、$\mathrm{Cl}_{0,2}$ 和 $\mathrm{Cl}_{1,2}$ 中平方根的显式例子，显示在 $\mathrm{Cl}_{1,1}$ 中存在四个不同根，在 $\mathrm{Cl}_{0,2}$ 中仅存在一个根。