[논문 리뷰] Computer algebra in gravity

Christian Heinicke, Friedrich W. Hehl|ArXiv.org|2001. 05. 25.

Algebraic and Geometric Analysis참고 문헌 11인용 수 3

한 줄 요약

이 논문은 중력물리학 분야에서 컴퓨터 대수 시스템(CAS)에 대한 종합적인 서베이를 제시하며, 일반 상대성 이론 및 관련 이론에 응용하는 데 중점을 둔다. 기하학적 텐서 및 외부 미분 계산을 사용하여 Excalc와 같은 기호 계산 도구가 두 번째 비앙키 항등식과 같은 기본 항등식을 검증하는 방식으로, 자동 기호 조작을 통해 곡률 계산의 정확성을 확인함을 보여준다.

ABSTRACT

We survey the application of computer algebra in the context of gravitational theories. After some general remarks, we show of how to check the second Bianchi-identity by means of the Reduce package Excalc. Subsequently we list some computer algebra systems and packages relevant to applications in gravitational physics. We conclude by presenting a couple of typical examples.

연구 동기 및 목표

• 일반 상대성 이론을 포함한 중력 이론에 적용 가능한 컴퓨터 대수 시스템에 대한 체계적인 개요 제공.
• 곡률 계산에서 발생하는 복잡한 고차 텐서 표현식을 다루는 데 있어 기호 계산의 유용성 입증.
• 두 번째 비앙키 항등식과 같은 기하학적 항등식의 자동 검증이 수작업 오류와 노력 감소에 어떻게 기여하는지 설명.
• 자동 불변량 계산 및 동치성 테스트를 통해 아인슈타인 방정식의 정확한 해 개발 및 분류 지원.
• Fortran 코드 생성을 통한 수치 방법과의 통합 및 메트릭-아핀 중력 및 양자 중력과 같은 고급 이론적 프레임워크에서의 CAS의 역할 강조.

제안 방법

• 외부 미분 계산 및 텐서代수에서 기호 계산을 수행하기 위해 Excalc 패키지와 함께 Reduce 컴퓨터 대수 시스템 사용.
• 추상 색인 표기법과 미분 형식을 사용하여 곡률 텐서와 접속을 압축적으로 표현하며, 예를 들어 $ R_{\alpha}{}^{\beta} = d\Gamma_{\alpha}{}^{\beta} - \Gamma_{\alpha}{}^{\gamma} \wedge \Gamma_{\gamma}{}^{\beta} $ 와 같이 기술.
• Sheep, GRTensorII, MathTensor와 같은 구성 기반 시스템을 활용하여 주어진 메트릭에서 리치 텐서 및 곡률 불변량의 명시적 구성 요소 계산.
• 외부 미분 계산에서 기호 미분 및 곱의 법칙을 적용하여 두 번째 비앙키 항등식 검증: $ dR_{\alpha}{}^{\beta} - \Gamma_{\alpha}{}^{\gamma} \wedge R_{\gamma}{}^{\beta} + \Gamma_{\gamma}{}^{\beta} \wedge R_{\alpha}{}^{\gamma} = 0 $.
• Sheep 내부의 Classi와 같은 전용 패키지를 사용하여 정확한 시공간 해의 페트로프 및 세그레 분류 자동화.
• MathTensor 및 GRG EC와 같은 시스템에서 변분법을 적용하여 작용 원리로부터 장 방정식 유도, 통합 장 이론 및 아인슈타인-맥스웰 체계 포함.

실험 결과

연구 질문

• RQ1 기호 조작을 통해 Excalc 패키지를 사용하여 일반 상대성 이론에서 두 번째 비앙키 항등식을 어떻게 검증할 수 있는가?
• RQ2 임의의 시공간 메트릭에서 곡률 텐서와 리치 스칼라를 계산하는 데 가장 효과적인 컴퓨터 대수 시스템과 패키지는 무엇인가?
• RQ3 기호 계산은 좌표에 종속되지 않는 방식으로 아인슈타인 방정식의 정확한 해를 분류하는 데 어떻게 기여하는가?
• RQ4 다른 보기에 보이지 않는 시공간 메트릭 간의 동치성 문제를 컴퓨터 대수 시스템이 어떤 방식으로 지원할 수 있는가?
• RQ5 Fortran 코드 생성을 통해 기호 계산을 수치 방법과 통합하여 중력장 방정식을 해결하는 데 어떻게 활용할 수 있는가?

주요 결과

• Excalc 패키지를 사용하여 Reduce에서 두 번째 비앙키 항등식이 성공적으로 검증되었으며, 기호 표현식이 정확히 0으로 평가됨.
• Sheep 및 GRTensorII와 같은 구성 기반 시스템은 10개의 독립 함수까지 포함하는 메트릭에 대해서도 곡률 불변량과 리치 텐서의 자동 계산 가능.
• 컴퓨터 대수의 사용으로 일반적인 경우에서 리치 텐서 구성 요소의 항 수가 약 10,000개에서부터 다룰 수 있는 기호 표현식으로 감소.
• Sheep 패키지, 특히 Classi 모듈을 통해 약 200개의 정확한 해와 그들의 페트로프 및 세그레 유형을 포함하는 검색 가능한 온라인 데이터베이스 구축 가능.
• GRG EC 및 Classym과 같은 컴퓨터 대수 시스템을 통해 일반 메트릭에서 카일링 벡터 및 텐서 방정식의 유도 및 해법 성공적으로 수행.
• MathTensor 및 Form을 통한 기호 계산을 통해 통합 장 이론의 라그랑지안에서 장 방정식의 도출 및 수정, 양자 중력의 파인만 도형 계산 가능.