[論文レビュー] A note on solution of $ax+xb=c$ by Clifford algebras

A. Dargys, A. Acus|arXiv (Cornell University)|Feb 25, 2019

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

ひとこと要約

本稿では、$p+q \leq 3$ であるクラッファード代数 $\mathrm{Cl}_{p,q}$ において、階数の反転と代数的共役作用を用いて、座標に依存しない方法でシルベスター方程式 $ax + xb = c$ を解く手法を提示する。スカラーに類似した中心を多重量から構成することで、クaternion的技法に類似した明示的解を得ており、中心的な表現が非特異である場合には逆行列に基づく解法が可能である。$\mathrm{Cl}_{3,0}$ における明示的計算が示され、解が元の方程式を満たすことが確認されている。

ABSTRACT

The coordinate-free solutions of the multivector equation $ax+xb=c$ are discussed and presented for the Clifford algebras $Cl_{p,q}$ when $p+q\le 3$.

研究の動機と目的

• 低次元のクラッファード代数 $\mathrm{Cl}_{p,q}$（$p+q \leq 3$）におけるシルベスター方程式 $ax + xb = c$ の座標に依存しない解法の開発。
• 共役に基づくスカラー不変量に依存するクaternion的解法技術を、階数反転を用いた適切な代数的共役の特定により一般クラッファード代数に拡張すること。
• 中心的な不変量として $a + \bar{a}$ と $a\bar{a}$ が独立に存在するようなクラッファード代数を同定すること。
• $\mathrm{Cl}_{3,0}$ における明示的計算を通じて、この手法を実証し、解が元の方程式を満たすことを確認すること。

提案手法

• ベクトルと双ベクトルを同時に反転させる一般化共役 $a_{\bar{1},\bar{2}}$ を用いて、標準的なクラッファード共役に代わる一般化された共役を定義する。
• 同様の代数的構造を $a$ と $b$ に適用し、$a + \bar{a}$ と $a\bar{a}$ がすべての多重量と可換となる中心 $\mathrm{Cen}(\mathrm{Cl}_{p,q})$ の要素として定義する。
• クaternion的ケースに類似した解の公式を導出する：$x = \left[(a^2 + b\bar{b}) + a(b + \bar{b})\right]^{-1}(ac + c\bar{b})$。この式は逆行列が存在する場合に有効である。
• 3次元多重量の逆行列公式 $A^{-1} = \frac{C(AC)_{\bar{3}}}{AC(AC)_{\bar{3}}}$（$C = A_{\bar{1},\bar{2}}$）を用いて、係数多重量の逆行列を計算する。
• 具体的な $\mathrm{Cl}_{3,0}$ の例（与えられた $a$, $b$, $c$）に対して、直接代入により解が元の方程式 $ax + xb = c$ を満たすことを検証する。
• $n=4,5,6$ の高次元代数 $\mathrm{Cl}_{n,0}$, $\mathrm{Cl}_{0,n}$, $\mathrm{Cl}_{p,q}$ を検討したが、2つの中心的不変量ではなく1つのみが存在し、このため手法の一般化は $p+q \leq 3$ に限られる。

実験結果

リサーチクエスチョン

• RQ1 階数反転を用いた一般化共役を用いて、$p+q \leq 3$ であるクラッファード代数 $\mathrm{Cl}_{p,q}$ において、座標に依存しないシルベスター方程式 $ax + xb = c$ の解が存在する条件は何か？
• RQ2 クaternion的解法技術（$b + \bar{b}$ と $b\bar{b}$ のスカラー不変量に依存）は、階数反転を用いて多重量の $\mathrm{Cl}_{p,q}$ に一般化可能か？
• RQ3 解の公式 $x = \left[(a^2 + b\bar{b}) + a(b + \bar{b})\right]^{-1}(ac + c\bar{b})$ が $\mathrm{Cl}_{p,q}$ で有効であるための条件は何か？
• RQ4 特にスカラーおよび擬スカラー成分の存在を含む中心 $\mathrm{Cen}(\mathrm{Cl}_{p,q})$ の構造が、方程式の可解性に与える影響は何か？
• RQ5 $\mathrm{Cl}_{4,0}$ の偶数部分代数と同型であるにもかかわらず、$\mathrm{Cl}_{1,3}$ および $\mathrm{Cl}_{3,1}$ にこの手法が拡張できないのはなぜか？

主な発見

• 本手法は、$\mathrm{Cl}_{2,0}$, $\mathrm{Cl}_{1,1}$, $\mathrm{Cl}_{0,2}$, $\mathrm{Cl}_{3,0}$, $\mathrm{Cl}_{2,1}$, $\mathrm{Cl}_{1,2}$, $\mathrm{Cl}_{0,3}$ において、一般化共役 $a_{\bar{1},\bar{2}}$ と導出された解の公式を用いて $ax + xb = c$ を正しく解いている。
• 係数多重量 $(a^2 + b\bar{b}) + a(b + \bar{b})$ がゼロである場合、特に $b = a$ のとき $a + \bar{a} = 0$ ならば解が特異化する。
• $\mathrm{Cl}_{3,0}$ では、明示的な解が得られる：$x = \frac{1}{2177719}(359677 + 601305\mathbf{e}_1 - 155957\mathbf{e}_2 - 436078\mathbf{e}_3 + 209677\mathbf{e}_{12} + 1076362\mathbf{e}_{13} - 489350\mathbf{e}_{23} + 27015\mathbf{e}_{123})$。この解は元の方程式を満たす。
• 係数多重量の逆行列は、公式 $A^{-1} = \frac{C(AC)_{\bar{3}}}{AC(AC)_{\bar{3}}}$（$C = A_{\bar{1},\bar{2}}$）を用いて計算され、数値的に検証された。
• $n=4,5,6$ の高次元代数では、中心的不変量として $a + \bar{a}$ または $a\bar{a}$ のいずれか1つしか得られず、両方の独立した不変量が存在しないため、この手法は $p+q \leq 3$ を超えて一般化できない。
• 本手法は $\mathrm{Cl}_{1,3}$ および $\mathrm{Cl}_{3,1}$ に対しても偶数部分代数を通じて適用可能であるが、中心構造が不十分なため失敗し、相対論的物理学への応用において制限を受ける。