[论文解读] Projective geometric algebra: A new framework for doing euclidean geometry

Charles Gunn|arXiv (Cornell University)|Jan 16, 2019

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

一句话总结

本文引入了投影几何代数（PGA）作为一种无坐标、统一的欧氏几何框架，能够统一表示点、线和面，支持鲁棒的几何运算（结合与求交），并提供一种直观的单重夹紧形式来表示等距变换。其主要贡献在于提出了一套现代代数系统，整合了向量代数、四元数、双四元数和外代数，相较于传统向量与线性代数（VLAAG）方法在计算机图形学、机器人学和运动学等应用中具有概念与实际优势。

ABSTRACT

A tutorial introduction to projective geometric algebra (PGA), a modern, coordinate-free framework for doing euclidean geometry. PGA features: uniform representation of points, lines, and planes; robust, parallel-safe join and meet operations; compact, polymorphic syntax for euclidean formulas and constructions; a single intuitive sandwich form for isometries; native support for automatic differentiation; and tight integration of kinematics and rigid body mechanics. Inclusion of vector, quaternion, dual quaternion, and exterior algebras as sub-algebras simplifies the learning curve and transition path for experienced practitioners. On the practical side, it can be efficiently implemented, while its rich syntax enhances programming productivity. The basic ideas are introduced in the 2D context; the 3D treatment focus on selected topics. Advantages to traditional approaches are collected in a table at the end. The article aims to be a self-contained introduction for practitioners of euclidean geometry and includes numerous examples, figures, and tables.

研究动机与目标

• 解决传统向量与线性代数（VLAAG）在表示和计算欧氏几何实体（如点、线和面）方面的局限性。
• 开发一种无坐标的几何代数框架，将点、线和面的表示统一于单一代数结构之下。
• 提供一种鲁棒且线程安全的几何运算计算方法，如结合与求交，包括对平行元素的处理。
• 提供一种紧凑且直观的夹紧形式来表示等距变换（旋转与平移），从而简化运动学与机械建模。
• 实现自动微分并支持高效实现，以适用于计算机图形学、机器人学和CAD等实际应用。

提出的方法

• 本文将投影几何代数（PGA）引入为在射影空间中基于多向量代数的几何代数，采用(n,0,1)符号表示n维欧氏空间。
• 利用几何积统一处理所有几何实体（点、线、面）的加法、乘法和对偶运算。
• 采用夹紧算子 $ a x a^{-1} $ 表示等距变换，该形式适用于所有几何实体，确保一致性与几何直观性。
• 该框架将向量代数、四元数、双四元数和外代数作为子代数嵌入，实现向后兼容性，并便于从业者迁移。
• 通过齐次坐标和伪标量 $ \mathbf{I} $ 建模理想平面（无穷远平面），将点与向量统一于同一空间中。
• 通过代数结构支持自动微分，实现几何函数导数的高效计算。

实验结果

研究问题

• RQ1 是否存在一种单一的代数框架，能够统一表示欧氏几何中的点、线和面，同时支持鲁棒的几何运算？
• RQ2 如何在所有几何实体上以单一、直观且几何一致的形式表示等距变换？
• RQ3 PGA在表达能力、鲁棒性与计算效率方面相较于VLAAG的改进程度如何？
• RQ4 PGA如何整合并推广现有工具（如四元数、双四元数和外代数）？
• RQ5 PGA是否能比传统方法更自然地支持自动微分与运动学建模？

主要发现

• PGA使用单一代数框架统一表示点、线和面，消除了对临时表示的依赖。
• PGA中的结合与求交运算具有鲁棒性，能正确处理平行元素，避免了VLAAG中常见的奇异性问题。
• 等距变换通过单一夹紧形式 $ a x a^{-1} $ 表示，适用于所有几何实体，简化了实现并增强了几何直观性。
• 该框架原生支持自动微分，可高效计算几何函数的导数。
• PGA将向量代数、四元数、双四元数和外代数作为子代数集成，确保向后兼容性并促进采用。
• 本文证明，PGA能够以更紧凑、多态且直观的形式表达经典欧氏几何公式与构造，如距离、角度与投影。