[논문 리뷰] Clifford Algebra with Mathematica

G. Aragón-Camarasa, G. Aragón-González외 2명|arXiv (Cornell University)|2008. 10. 14.

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

한 줄 요약

이 논문은 기하대수의 프레임워크 내에서 벡터, 복소수, 허수, 그라스만 대수, 디랙/파울리 대수를 통합하는 단일 기하대수 틀 안에서 기호 및 수치 계산을 위한 Mathematica 패키지 clifford.m을 제시한다. 이 패키지는 기호적 조작과 3차원 다중벡터 객체의 시각화를 가능하게 하여 물리학 및 공학 분야의 전문가가 아닌 사용자에게도 친근한 도구를 제공한다.

ABSTRACT

The Clifford algebra of a n-dimensional Euclidean vector space provides a general language comprising vectors, complex numbers, quaternions, Grassman algebra, Pauli and Dirac matrices. In this work, we present an introduction to the main ideas of Clifford algebra, with the main goal to develop a package for Clifford algebra calculations for the computer algebra program Mathematica. The Clifford algebra package is thus a powerful tool since it allows the manipulation of all Clifford mathematical objects. The package also provides a visualization tool for elements of Clifford Algebra in the 3-dimensional space. clifford.m is available from github.com/jlaragonvera/Geometric-Algebra

연구 동기 및 목표

• 비전문가가 사용할 수 있도록 기하대수의 기호적 및 수치적 계산을 위한 사용자 友好的인 Mathematica 패키지를 개발하는 것.
• 벡터, 복소수, 허수, 그라스만 대수, 파울리 대수 및 디랙 대수와 같은 다양한 수학적 체계를 단일 기하대수 틀 안에서 통합하는 것.
• 기하대수 개념의 직관적 이해를 향상시키기 위해 3차원 다중벡터 요소의 시각화 도구를 제공하는 것.
• 기호적 조작을 여러 대수 구조를 통해 가능하게 하여 응용수학 및 물리학 분야에서 클리포드 대수의 유용성을 확장하는 것.
• Mathematica와 통합된 고수준이고 확장 가능한 소프트웨어 도구를 통해 고급 기하대수를 접근 가능하게 하는 것.

제안 방법

• 기본 클리포드 대수 곱을 관계 $\mathbf{ab} + \mathbf{ba} = 2\langle\mathbf{a},\mathbf{b}\rangle\mathbf{1}$를 통해 구현하여 결합법칙과 내적과의 호환성을 확보하는 것.
• 기저 요소 $\mathbf{e}_i$ 와 그들의 곱의 선형 조합으로 다중벡터를 정의하고, 기하대수의 다양한 형태를 모델링하기 위해 서명 $\mathcal{C}\ell_{p,q}$ 를 사용하는 것.
• 등급이 짝수인 부분대수의 구조를 인코딩하여 등급이 짝수인 부분대수를 통해 허수, 파울리 행렬, 디랙 행렬을 등급이 짝수인 부분대수의 동형사상으로 자연스럽게 표현하는 것.
• 기하곱, 쌍대성, 등급 투영, 로터 형식 $\mathbf{v} \mapsto \widetilde{U}\mathbf{v}U$ 를 사용한 회전에 대한 기호 연산을 설계하는 것.
• Mathematica의 그래픽스 엔진을 활용하여 블레이드와 기하학적 객체를 렌더링할 수 있도록 3차원 다중벡터를 위한 시각화 루틴을 통합하는 것.
• 접근성과 커뮤니티 확장성을 확보하기 위해 패키지를 GitHub에 오픈소스로 배포하는 것.

실험 결과

연구 질문

• RQ1 다양한 대수, 예를 들어 허수, 파울리 행렬, 디랙 행렬을 하나의 클리포드 대수 체계 안에서 통합하는 계산 프레임워크를 Mathematica에서 어떻게 구축할 수 있는가?
• RQ2 기하대수의 물리학 및 공학 적용에서 실용적으로 사용하기 위해 필수적인 기호적 및 수치적 연산은 무엇인가?
• RQ3 다중벡터 요소의 3차원 시각화는 어떻게 효과적으로 구현할 수 있으며, 이를 통해 기하대수 개념의 직관적 이해를 어떻게 향상시킬 수 있는가?
• RQ4 기존 도구인 CLICAL이나 Maple 기반 패키지와 비교해 볼 때, 제안된 패키지는 어떤 방식으로 접근성을 향상시키는가?
• RQ5 기호 계산 능력을 유지하면서도 다른 프로그래밍 언어로의 확장이 가능한가?

주요 결과

• clifford.m 패키지는 복소수, 허수, 그라스만 대수, 디랙/파울리 대수를 포함한 모든 클리포드 대수 요소에 대한 기호적 및 수치적 계산을 성공적으로 구현하였다.
• 패키지는 기하곱과 로터 기반 변환을 지원하여 $\mathcal{C}\ell_{p,q}$ 대수에서 정확한 기호적 조작을 통해 회전과 등급변환을 가능하게 하였다.
• 3차원 공간에서의 시각화 도구를 통해 블레이드와 로터와 같은 다중벡터 객체를 렌더링하고 해석할 수 있어 개념적 명료성을 향상시켰다.
• 이 구현은 전문 지식이 없이도 사용할 수 있어, 특수한 Maple 패키지와 달리 클리포드 대수에 깊이 있는 지식이 필요로 하지 않는다.
• 패키지는 GitHub에 오픈소스로 배포되어 커뮤니티 기여와 향후 다른 고수준 언어로의 이식이 가능해졌다.
• $\mathcal{C}\ell_{3,1}$의 짝수 부분대수는 파울리 대수와 등급이 짝수인 부분대수로 동형이며, 이는 고전적 대수들이 기하대수 내에서 계층적으로 통합됨을 확인한다.