A Mnemonic Matrix Rule for (Split) Octonionic Multiplication and its Extension to the Cayley--Dickson Tower

技術要約：(スプリット) 八元数乗法の記憶術的行列則、およびケイリー・ディクソン・タワーへの拡張

問題提起
通常、ケイリー・ディクソン過程によって四元数のペア $(q, p) \in \mathbb{H} \oplus \mathbb{H}\ell$ として構成される八元数の乗法は、以下の公式によって支配されている：
$$(q_1 + \ell p_1)(q_2 + \ell p_2) = q_1q_2 + \ell^2 p_2p_1^* + \ell(q_2p_1 + q_1^*p_2)$$
ここで $\ell^2 = \pm 1$ は、除法八元数とスプリット八元数を区別し、$*$ は四元数共役を表す。この定式化は標準的なものであるが、共役と順序依存の積が混在しているため、計算上は煩雑である。直接適用する場合、どの項が反転し、どこに共役が適用されるかを注意深く追跡する必要があり、これは特にケイリー・ディクソン・タワーにおける高次元代数への演算の拡張において、エラーを招きやすいプロセスとなる。

手法
本論文は、八元数の乗法を $2 \times 2$ ブロック行列モデルへと再構成するコンパクトな記憶術的デバイス（mnemonic device）を導入する。その核心となる手法は以下の通りである：

1. 行列表現： 八元数 $o = q + \ell p$ を、四元数上の $2 \times 2$ 行列へと埋め込む線形写像 $M$ を定義する：
   $$M(o) = \begin{pmatrix} q & \ell^2 p^* \\ p & q^* \end{pmatrix}$$
2. インターレース積（交差積）： これらの行列に対して、特殊な乗法規則 $\langle \rangle$ を定義する。標準的な行列乗法とは異なり、この規則は特定のオフダイアゴナル（非対角）縮退に対して系統的な「順序反転」を適用する。二つの行列 $A$ と $B$ に対して、積 $A \langle \rangle B$ は以下のように計算される：
   • 対角ブロックは、右順序の積（right-ordered product）と左順序の積（left-ordered/reversed product）の和である。
   • オフダイアゴナル・ブロックも同様に順序を混合し、具体的には「交差」相互作用（例：$bc'$が$c'b$ になる）に関わる項の乗法順序を反転させる。
3. 一般化： この構成をケイリー・ディクソン・タワー全体（$A_n$）へと拡張する。これは、要素 $a, b \in A_n$ を用いたペア $(a, b)$ として $A_{n+1}$ を表現し、同じインターレース積規則を $A_n$ 上のこれらの $2 \times 2$ ブロック行列に適用するものである。

主要な貢献および結果

• (R + L) 記憶術則： 主要な結果は、ケイリー・ディクソン形式における二つの要素の積に関する普遍的なパターンの特定である。結果となる $2 \times 2$ 行列のすべてのブロックは、正確に二つの項の和で構成される：一つは自然な（右の）順序（$R$）であり、もう一つは反転した（左の）順序（$L$）である。そのパターンは明示的に以下の通りである：
  $$\begin{pmatrix} R + L & L + R \\ L + R & R + L \end{pmatrix}$$
  この規則により、共役や順序反転のルールを繰り返し導出することなく、八元数（またはスプリット八元数）の積を計算することが可能となる。
• ケイリー・ディクソン・タワーへの伝播： 本論文は、このインターレース積が、次元 $2^n$ のすべての代数 $A_n$ におけるケイリー・ディクソン乗法を再現することを証明している（定理 4.1）。この (R + L) パターンは帰納的に伝播し、非結合代数（non-associative algebras）を扱うための統一された計算ツールを提供する。
• 非結合代数上の行列構造： 著者は、任意の単元非結合代数上の $2 \times 2$ 行列に対する「インターレース」積を定義する。本論文は、この構造が片側逆元をサポートするための条件（命題 6.2）を確立しており、それは「行列式のような」項（$\Delta_L = da - cb$ および $\Delta_R = ad - cb$）が、代数の左核（left nucleus）および右核（right nucleus）に属することを要求する。

意義および主張
本論文は、この明示的な「(R + L)」記憶術が、八元数や合成代数の古典的な文献には現れないと主張している。その意義は以下の点にある：

• 教育的有用性： 非結合性を、アドホックな共役ルールから固定された順序反転のパターンへと転換することで、八元数の扱いを視覚的かつ体系的な方法で提供する。
• 計算効率： ケイリー・ディクソン形式における積を計算するための信頼できる手法を提供し、順序感受性の追跡に伴う認知負荷を軽減する。
• 理論的架け橋： この構成は、非結合の世界であるケイリー・ディクソン列と、古典的な行列形式との間の架け橋として機能する。これは、構造化された「行列のような」形式が非結合の設定にも適応可能であることを示唆しており、例外幾何学、ジョルダン代数（アルバート代数など）、および $\text{Spin}(8)$ に関連する三元性（triality）の研究を助ける可能性がある。

著者は、この記憶術が、零因子が存在する代数（$n \ge 4$ の場合）においても、定義される乗法の恒等式として有効であり続ける一方で、可逆性や行列式的な構成については注意が必要であると述べている。