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

기술 요약: (분할) 팔원수 곱셈을 위한 기억술적 행렬 규칙 및 케일리-딕슨 타워로의 확장

문제 정의
케일리-딕슨 과정(Cayley–Dickson process)을 통해 일반적으로 구성되는 팔원수의 곱셈, 즉 사원수 쌍 $(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$은 나눗셈 팔원수(division octonions)와 분할 팔원수(split octonions)를 구분하며, $*$는 사원수 켤레(quaternionic conjugation)를 나타낸다. 이 방식은 표준적이기는 하지만, 켤레 연산과 순서에 민감한 곱을 혼합하기 때문에 계산적으로 번거롭다. 이를 직접 적용하려면 어떤 항이 반전되는지, 그리고 어디에 켤레가 적용되는지를 주의 깊게 추적해야 하며, 이는 특히 더 높은 차원의 케일리-딕슨 타워(Cayley–Dickson tower)로 이러한 연산을 확장할 때 오류를 유발하기 쉽다.

방법론
본 논문은 팔원수 곱셈을 $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. 교차 곱(Interlaced Product): $\langle \rangle$로 표기되는 특수한 곱셈 규칙을 정의한다. 일반적인 행렬 곱과는 달리, 이 규칙은 특정 오프-대각선 수축(off-diagonal contractions)에 대해 체계적인 "순서 반전(order reversal)"을 적용한다. 두 행렬 $A$와 $B$에 대하여, $A \langle \rangle B$는 다음과 같이 계산된다:
   • 대각 블록들은 우측 순서(right-ordered) 곱과 좌측 순서(left-ordered, 반전된) 곱의 합으로 구성된다.
   • 오프-대각선 블록들 역시 교차 상호작용(예: $bc'$가$c'b$가 됨)을 포함하는 항들에 대해 곱의 순서를 반전시키며 순서를 혼합한다.
3. 일반화: 케일리-딕슨 타워($A_n$) 전체로 이 구성을 확장하여, $A_{n+1}$의 원소를 $A_n$의 쌍 $(a, b)$로 나타내고, 동일한 교차 곱 규칙을 $A_n$ 상의 $2 \times 2$ 블록 행렬에 적용한다.

주요 기여 및 결과

• (R + L) 기억술 규칙: 본 논문의 주요 결과는 케일리-딕슨 형태의 두 원소의 곱에 대한 보편적인 패턴을 식별한 것이다. 결과 행렬의 모든 블록은 정확히 두 개의 항, 즉 자연스러운(우측) 순서($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)를 위한 통합된 계산 도구를 제공한다.
• 비결합 대수 상의 행렬 구조: 저자는 임의의 단원 비결합 대수(unital non-associative algebra) 상의 $2 \times 2$ 행렬에 대한 "교차된" 곱을 정의한다. 본 논문은 이 구조가 일측 역원(one-sided inverses)을 지원하기 위한 조건(명제 6.2)을 확립하며, 이는 "행렬식 유사" 항들($\Delta_L = da - cb$ 및 $\Delta_R = ad - cb$)이 각각 대수의 좌측 핵(left nucleus)과 우측 핵(right nucleus)에 속할 것을 요구한다.

의의 및 주장
본 논문은 이 명시적인 "(R + L)" 기억술이 팔원수나 합성 대수(composition algebras)에 관한 고전 문헌에는 등장하지 않는다고 주장한다. 그 의의는 다음과 같다:

• 교육적 유용성: 팔원수의 비결합성을 처리하기 위해 임시방편적인 켤레 규칙 대신 고정된 순서 반전 패턴을 사용하여 시각적이고 체계적인 방법을 제공한다.
• 계산 효율성: 케일리-딕슨 형태에서의 곱을 계산하는 신뢰할 수 있는 방법을 제공하여, 순서 민감성을 추적하는 인지적 부하를 줄여준다.
• 이론적 가교: 이 구성은 비결합 세계인 케일리-딕슨 수열과 고전적인 행렬 형식 사이의 가교 역할을 한다. 이는 구조화된 "행렬 유사" 형식이 비결합 환경에도 적응될 수 있음을 시사하며, 예외적 기하학(exceptional geometry), 조던 대수(알버트 대수와 같은), 그리고 $\text{Spin}(8)$과 관련된 삼중성(triality) 현상을 연구하는 데 도움이 될 수 있다.

저자는 이 기억술이 영인자(zero divisors)가 존재하는 대수(여기서 $n \ge 4$)에서도 정의된 곱에 대한 항등식으로서 유효하게 유지되지만, 비대으로(non-alternative) 영역에서의 가역성(invertibility) 및 행렬식 유사 구성에 대해서는 주의가 필요하다고 언급하였다.