[논문 리뷰] Square root of a multivector of Clifford algebras in 3D: A game with signs

A. Acus, A. Dargys|arXiv (Cornell University)|2020. 03. 15.

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

한 줄 요약

이 논문은 3차원 실수 클리포드 대수 $\ mathrm{Cl}_{p,q}$ ($p+q=3$)에서 임의의 다중벡터의 제곱근을 계산하기 위한 기호 알고리즘을 제시한다. 이는 마스터플레인에서의 그뢰브너 기저 기법을 사용한다. $\ mathrm{Cl}_{2,1}$에서는 최대 16개의 고립된 루트가 존재할 수 있음을 보여주며, $\ mathrm{Cl}_{3,0}$, $\ mathrm{Cl}_{1,2}$, $\ mathrm{Cl}_{0,3}$와 같은 다른 대수에서는 최대 네 개의 고립된 루트가 존재한다. $n=1$를 제외한 모든 경우에 연속 루트가 추가로 존재할 수 있다. 이 방법은 행렬 표현 방식의 오류를 피하기 위해 기하대수에서 직접 작업한다.

ABSTRACT

An algorithm to extract the square root in radicals from a multivector (MV) in real Clifford algebras Cl(p,q) for n=p+q <=3 is presented. We show that in the algebras Cl(3,0), Cl(1,2) and Cl(0,3) there are up to four isolated roots in a case of the most general (generic) MV. The algebra Cl(2,1) makes up an exception and the MV here can have up to 16 isolated roots. In addition to isolated roots, a continuum of roots can appear in all algebras except p+q=1. A number of examples are provided to illustrate properties of various roots that may appear in n=3 Clifford algebras.

연구 동기 및 목표

• 3D 실수 클리포드 대수에서 일반적인 다중벡터의 제곱근을 체계적으로 계산하는 방법을 개발하는 것.
• 모든 $\mathrm{Cl}_{p,q}$ 대수에서 $p+q=3$일 때 고립된 루트와 연속 루트의 수와 성격을 규명하는 것.
• 특히 비쿼aternion적 경우에서 다중벡터의 제곱근에 관해 이전 문헌의 모순을 해결하는 것.
• 실수 클리포드 대수에서 제곱근을 계산할 때 행렬 기반 접근 방식의 한계를 보여주는 것.
• 마스터플레인과 같은 기호 계산 도구를 사용하여 제곱근의 명시적 근의 표현식을 제공하는 것.

제안 방법

• 저자들은 $\mathsf{A}^2 = \mathsf{B}$에서 유도된 비선형 다항방정식계를 해결하기 위해 그뢰브너 기저 알고리즘을 사용한다. 여기서 $\mathsf{A}$와 $\mathsf{B}$는 다중벡터이다.
• 표준 8원소 기저를 사용하여 $\mathrm{Cl}_{p,q}$ ($n=3$)에서 다중벡터 $\mathsf{B}$를 전개한다. 이 기저에는 스칼라, 벡터, 2차형식, 편미분스칼라 등이 포함된다.
• 서명에 따라 다른 대수적 성질을 지닌다 보아, $\mathrm{Cl}_{3,0}$, $\mathrm{Cl}_{1,2}$, $\mathrm{Cl}_{0,3}$, $\mathrm{Cl}_{2,1}$에 대해 별도로 알고리즘을 적용한다.
• 기호 계산을 통해 마스터플레인을 사용하여 루트의 닫힌형 근의 표현식을 유도하고, 광범위한 수치적 검증을 통해 확인한다.
• 실수 클리포드 대수에서 복소수 성분이 잘못 생성되는 것을 방지하기 위해 행렬 표현 방식을 피한다.
• 결과를 행렬 기반 방법과 비교하여, 이러한 접근 방식이 기하대수로 환원했을 때 물리적으로 의미 없는 복소수 스칼라와 편미분스칼라를 도입한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 일반적인 다중벡터가 $\mathrm{Cl}_{3,0}$, $\mathrm{Cl}_{1,2}$, $\mathrm{Cl}_{0,3}$, 또는 $\mathrm{Cl}_{2,1}$에서 최대 몇 개의 고립된 루트를 가질 수 있는가?
• RQ2 3D 클리포드 대수에서 다중벡터가 제곱근을 가질 수 있는 조건은 무엇인가?
• RQ3 왜 행렬 기반 제곱근 방법은 $\mathrm{Cl}_{3,0}$에서 유효한 실수 다중벡터 해를 재현하지 못하는가?
• RQ4 $\mathrm{Cl}_{2,1}$에서 다중벡터가 네 개를 초월하는 고립된 루트를 가질 수 있으며, 만약 그렇다면 그 이유는 무엇인가?
• RQ5 연속 루트는 다중벡터 제곱근 방정식의 해공간에서 어떤 역할을 하는가?

주요 결과

• $\mathrm{Cl}_{3,0}$, $\mathrm{Cl}_{1,2}$, $\mathrm{Cl}_{0,3}$에서는 일반적인 다중벡터가 최대 네 개의 고립된 루트를 가질 수 있다.
• $\mathrm{Cl}_{2,1}$에서는 일반적인 다중벡터가 최대 16개의 고립된 루트를 가질 수 있어, 3D 클리포드 대수 중에서 특별한 경우이다.
• 연속 루트는 $p+q=1$일 경우를 제외한 모든 3D 클리포드 대수에서 존재할 수 있으며, 이는 고차원 사례에서 더 풍부한 해 구조를 의미한다.
• 행렬 기반 접근 방식은 $\mathrm{Cl}_{3,0}$에서 제곱근을 계산할 때 스칼라 및 편미분스칼라 부분에 비물리적인 복소수 성분을 도입하여 기하대수 해석을 무효화한다.
• 그뢰브너 기저를 사용한 기호 방법은 모든 루트에 대해 정확한 근의 표현식을 성공적으로 계산하여 행렬 표현 방식의 오류를 피한다.
• 논문은 $\mathrm{Cl}_{1,1}$, $\mathrm{Cl}_{0,2}$, $\mathrm{Cl}_{1,2}$에서의 제곱근에 대한 명시적 예시를 제공하며, $\mathrm{Cl}_{1,1}$에서는 네 개의 서로 다른 루트를 보이고 $\mathrm{Cl}_{0,2}$에서는 한 개의 루트를 보인다.