[論文レビュー] 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）の限界を是正すること。具体的には、点、直線、平面といったユークリッド幾何的実体の表現および計算において、それらの表現を統一的に扱えるようにする。
• 点、直線、平面の表現を一つの代数的構造に統合する座標に依存しない幾何代数の枠組みを構築すること。
• ジョインおよびミートといった幾何演算を、平行な要素を含む場合にも堅牢に計算できる、並列安全な方法を提供すること。
• 回転および平行移動を含む等長変換を、すべての幾何的実体に一貫して適用可能な、コンactかつ直感的なサンドイッチ形式で表現することにより、運動学的および機械的モデリングを簡素化すること。
• 自動微分を可能とし、コンピューターグラフィックス、ロボット工学、CADにおける実用的応用に適した効率的な実装を可能とすること。

提案手法

• 本稿では、n次元ユークリッド空間を想定し、射影空間における多重量子代数の上に構築された幾何代数として、射影的幾何代数（PGA）を導入する。その符号は(n,0,1)である。
• 幾何積を用いることで、点、直線、平面といったすべての次数の幾何的実体において、加法、乗法、双対性の操作を統合的に扱う。
• 等長変換は、同じ形式 $ a x a^{-1} $ のサンドイッチ演算子によって表現され、すべての幾何的実体に適用可能であり、一貫性と幾何的直観を保証する。
• この枠組みは、ベクトル代数、クォータニオン、双対クォータニオン、外積代数を部分代数として埋め込み、実務者による移行を容易にするだけでなく、後方互換性を確保する。
• 同次座標とパラメータ $ \mathbf{I} $ を用いることで、無限遠の平面（理想平面）をモデル化し、点とベクトルを一つの空間に統合する。
• 代数的構造を活用することで、自動微分をネイティブにサポートし、幾何関数の導関数を効率的に計算可能とする。

実験結果

リサーチクエスチョン

• RQ1 一つの代数的枠組みによって、ユークリッド幾何学における点、直線、平面を一様に表現し、堅牢な幾何演算を可能にできるか？
• RQ2 すべての幾何的実体にわたって、一貫的で直感的かつ幾何的に整合性のある形で等長変換を表現できるか？
• RQ3 PGAは、表現力、堅牢性、計算効率の観点から、VLAAGに比べてどの程度優れているか？
• RQ4 PGAは、クォータニオン、双対クォータニオン、外積代数といった既存のツールをどの程度統合・一般化できるか？
• RQ5 従来の手法に比べて、PGAは自動微分および運動学的モデリングをより自然にサポートできるか？

主な発見

• PGAは、点、直線、平面を一つの代数的枠組みで一様に表現し、特殊な表現を別途導入する必要を排除する。
• PGAにおけるジョインおよびミート演算は堅牢であり、VLAAGでよく見られる特異性を回避し、平行な要素に対しても正しく処理できる。
• 等長変換は、すべての幾何的実体に適用可能な同一のサンドイッチ形式 $ a x a^{-1} $ で表現され、実装の簡素化と幾何的直観の向上を実現する。
• この枠組みはネイティブに自動微分をサポートし、幾何関数の導関数を効率的に計算可能である。
• PGAは、ベクトル代数、クォータニオン、双対クォータニオン、外積代数を部分代数として統合しており、後方互換性を確保するとともに、導入を容易にする。
• 本稿では、距離、角度、射影といった古典的なユークリッドの公式や構成に対して、よりコンactかつ多態形式的で直感的な表現が可能であることを示している。