[논문 리뷰] Tensor manipulation in GPL Maxima

Viktor T. Toth|ArXiv.org|2005. 03. 26.

Parallel Computing and Optimization Techniques참고 문헌 7인용 수 8

한 줄 요약

이 논문은 오픈소스 기계대수계열 시스템인 GPL Maxima에서 텐서 조작 패키지인 CTENSOR, ITENSOR, ATENSOR의 복원 및 향상에 대해 서술한다. 구식 기반 컴ponent 기반 및 기호 텐서 도구의 복구, 추상 텐서 대수에 대한 완전히 호환 가능한 ATENSOR 패키지의 구현, 그리고 곡률 있는 시공간, 계량, 클리포드 대수 및 리 대수와 같은 대수적 구조를 다룰 수 있는 새로운 功能의 추가를 다룬다.

ABSTRACT

GPL Maxima is an open-source computer algebra system based on DOE-MACSYMA. GPL Maxima included two tensor manipulation packages from DOE-MACSYMA, but these were in various states of disrepair. One of the two packages, CTENSOR, implemented component-based tensor manipulation; the other, ITENSOR, treated tensor symbols as opaque, manipulating them based on their index properties. The present paper describes the state in which these packages were found, the steps that were needed to make the packages fully functional again, and the new functionality that was implemented to make them more versatile. A third package, ATENSOR, was also implemented; fully compatible with the identically named package in the commercial version of MACSYMA, ATENSOR implements abstract tensor algebras.

연구 동기 및 목표

• 초기 점검 시 기능을 상실한 상태였던 GPL Maxima 내 구식 텐서 조작 패키지 CTENSOR 및 ITENSOR를 복원하고 현대화하기.
• 이전에 GPL Maxima에 없었던 추상 텐서 대수를 위한 완전히 호환 가능한 ATENSOR 패키지를 개발하기. 이는 상용 MACSYMA 사양을 기반으로 한다.
• 곡률 있는 시공간 계산, 계량 정의, 공변 미분, 서명 처리를 지원하도록 Maxima의 텐서 기능을 확장하기.
• 클리포드, 그라스만, 리 대수와 같은 기존 텐서 대수 프레임워크와의 수학적 정확성 및 호환성 확보하기.
• 오픈소스 플랫폼을 활용해 이론물리학 및 미분기하학 분야의 연구자들이 사용하기 쉽게 텐서 도구의 사용성과 견고성 향상하기.

제안 방법

• CTENSOR 및 ITENSOR를 비기능적으로 만들었던 LISP 시스템 호환성 문제를 식별하고 해결하였다.
• 컴ponent 기반 텐서 계산을 위한 CTENSOR를 재구현하여 계량 입력, 크리스톼프 기호, 리만 및 리치 텐서, 곡률 불변량을 지원하도록 하였다.
• 인덱스 성질을 이용한 기호적 텐서 조작을 위한 ITENSOR를 복원하여, 구성 요소 전개 없이도 공변 미분 및 텐서 항등식을 처리할 수 있도록 하였다.
• 교환자 규칙을 통한 추상 텐서 대수의 모델링을 위해 ATENSOR를 설계 및 구현하였으며, 보편적, 그라스만, 클리포드, 심플렉틱, 리 대수의 포장 대수를 지원하였다.
• 대수 유형과 차원에 따라 대칭, 반대칭, 또는 벡터값 함수를 인코딩하기 위해 행렬 `aform`을 사용하여 대수적 구조를 초기화하였다.
• 클리포드 대수에서 양의 차원 수가 0, 음의 차원 수가 2인 경우에 대해 허문수 곱표를 정확히 재현함으로써 정확성을 검증하였다.

실험 결과

연구 질문

• RQ1 수년간의 비트로트와 호환성 문제로 인해 기능을 상실한 GPL Maxima 내 구식 텐서 패키지를 어떻게 복원할 수 있는가?
• RQ2 곡률 있는 시공간 계산 및 추상 대수적 구조와 같은 현대 텐서 대수의 요구사항을 충족시키기 위해 어떤 개선이 필요한가?
• RQ3 클리포드 및 리 대수와 같은 비가환 텐서 대수를 모델링할 수 있도록 GPL Maxima 내에서 완전히 호환 가능한 ATENSOR 패키지를 구현할 수 있는가?
• RQ4 기호 계산 환경에서 공변 미분 및 곡률 불변량과 같은 텐서 연산의 수학적 정확성을 어떻게 검증할 수 있는가?
• RQ5 오픈소스 기계대수계열 시스템은 일반 상대성 이론 및 미분기하학 분야의 연구 발전에 어떤 역할을 할 수 있는가?

주요 결과

• CTENSOR 패키지는 계량 입력, 크리스톼프 기호, 리만 및 리치 텐서, 임의의 좌표계에서의 곡률 불변량을 지원하도록 성공적으로 복원 및 확장되었다.
• ITENSOR 패키지는 인덱스 대칭성을 이용한 기호적 텐서 조작을 수행할 수 있도록 복원되어, 구성 요소 전개 없이도 공변 미분 및 텐서 항등식의 간소화를 가능하게 하였다.
• ATENSOR 패키지는 상용 MACSYMA 사양에 완전히 부합하는 방식으로 처음부터 구현되었으며, 보편적, 그라스만, 클리포드, 심플렉틱, 리 대수의 포장 대수를 지원하였다.
• 클리포드 대수의 경우, `aform` 행렬이 양의, 퇴화, 음의 차원을 나타내기 위해 1, 0, -1로 이루어진 대각행렬로 정확히 초기화되었다.
• 양의 차원 수가 0, 음의 차원 수가 2인 클리포드 대수로 설정했을 때, 허문수 곱표가 정확히 재현되어 그 수학적 정확성이 검증되었다.
• `ct_coordsys`의 구현을 통해 유연한 서명 지정이 가능해졌으며, 민코프스키 및 유클리드 계량을 포함하고, 구성 가능한 서명을 가진 평탄한 추가 차원을 추가할 수 있도록 하였다.