[논문 리뷰] A note on solution of $ax+xb=c$ by Clifford algebras

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

Algebraic and Geometric Analysis참고 문헌 6인용 수 4

한 줄 요약

이 논문은 $p+q \leq 3$ 인 클리포드 대수 $\mathrm{Cl}_{p,q}$ 에서의 시르베스트르 방정식 $ax + xb = c$ 를 풀기 위한 좌표에 의존하지 않는 방법을 제시한다. 이는 단계적 부정과 대수적 켤레 연산을 사용하며, 다중벡터에서 스칼라 유사 중심을 구성하여 역행렬 기반의 해를 도출한다. 중심 표현식이 비특이적일 경우 이를 통해 해를 얻을 수 있으며, $\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$ 를 위한 좌표에 의존하지 않는 해법을 개발한다.
• 켤레 연산에 기반한 스칼라 불변량의 퀼레르니언 기법을 일반 클리포드 대수로 확장하기 위해, 가환 중심을 생성하는 적절한 대수적 켤레를 식별한다.
• 해법이 가능한 클리포드 대수를 분석함으로써, 두 개의 독립적인 중심 불변량인 $a + \bar{a}$ 와 $a\bar{a}$ 의 존재 여부를 확인한다.
• $\mathrm{Cl}_{3,0}$ 에서의 명시적 계산을 통해 방법을 시연하며, 해가 원래 방정식을 만족하는지 검증한다.

제안 방법

• 벡터와 2형 벡터를 동시에 반전시키는 일반화된 켤레를 정의하기 위해 단계적 부정 연산 $a_{\bar{1},\bar{2}}$ 를 사용한다. 이는 표준 클리포드 켤레를 대체한다.
• 동일한 대수적 구조를 $a$ 와 $b$ 에 적용하여, $a + \bar{a}$ 와 $a\bar{a}$ 가 모든 다중벡터와 가환성을 가지는 중심 $\mathrm{Cen}(\mathrm{Cl}_{p,q})$ 의 원소로 형성되도록 한다.
• quaternion의 경우와 유사한 해 공식을 유도한다: $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$ 에 해를 직접 대입하여 검증한다.
• 고차원 대수 $\mathrm{Cl}_{n,0}$, $\mathrm{Cl}_{0,n}$, $\mathrm{Cl}_{p,q}$ ($n=4,5,6$) 를 탐색하지만, 두 개의 중심 불변량이 아닌 하나의 중심 불변량만 존재함을 발견하여, 이 방법의 일반화가 $p+q \leq 3$ 를 초과할 수 없음을 밝힌다.

실험 결과

연구 질문

• RQ1 $p+q \leq 3$ 인 클리포드 대수 $\mathrm{Cl}_{p,q}$ 중에서 일반화된 켤레를 사용하여 좌표에 의존하지 않는 시르베스트르 방정식 $ax + xb = c$ 의 해법을 허용하는 대수는 무엇인가?
• RQ2 벡터의 켤레에 기반한 스칼라 불변량인 $b + \bar{b}$ 와 $b\bar{b}$ 를 사용하는 퀼레르니언 기법이, 단계적 부정을 통해 클리포드 대수 $\mathrm{Cl}_{p,q}$ 의 다중벡터로 일반화될 수 있는가?
• RQ3 다음 해 공식이 $\mathrm{Cl}_{p,q}$ 에서 유효하기 위해 충족되어야 할 조건은 무엇인가? $x = \left[(a^2 + b\bar{b}) + a(b + \bar{b})\right]^{-1}(ac + c\bar{b})$
• RQ4 특히 스칼라 및 편미분 스칼라 성분이 포함된 중심 $\mathrm{Cen}(\mathrm{Cl}_{p,q})$ 의 구조는 방정식의 가역성에 어떤 영향을 미치는가?
• RQ5 클리포드 대수 $\mathrm{Cl}_{1,3}$ 와 $\mathrm{Cl}_{3,1}$ 이 $\mathrm{Cl}_{4,0}$ 의 짝수 부분대수와 동형임에도 불구하고, 이 방법이 그들에게 확장되지 않는 이유는 무엇인가?

주요 결과

• 이 방법은 $\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})$ 가 0일 경우 해가 특이해지며, 이는 $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}$)만 존재할 뿐 두 개가 동시에 존재하지 않아, 이 방법은 $p+q \leq 3$ 를 초과하여 일반화될 수 없다.
• 이 방법은 $\mathrm{Cl}_{1,3}$ 과 $\mathrm{Cl}_{3,1}$ 에는 짝수 부분대수를 통해만 적용 가능하지만, 중심의 구조가 부족하여 실패하며, 이는 상대론적 물리학 응용 분야에서의 사용을 제한한다.