[논문 리뷰] Generating and Calculating One-loop Feynman Diagrams with FeynArts, FormCalc, and LoopTools

Thomas Hahn|ArXiv.org|1999. 05. 15.

Distributed and Parallel Computing Systems인용 수 9

한 줄 요약

이 논문은 한 번의 루프 피네만 다이어그램 계산을 자동화하기 위한 계산 프레임워크를 제시한다. 다이어그램 생성에는 FeynArts를, 대수적 간소화 및 텐서 감소에는 FormCalc를, 루프 적분의 수치 평가는 LoopTools를 사용한다. 이 방법은 고에너지 물리학에서 차원 정규화 및 제약 조건이 부가된 미분 재정규화 체계에서 효율적이고 정확한 한 번의 루프 진폭 계산을 가능하게 하며, 결과는 수치 구현에 직접적으로 적합하도록 최적화되어 있다.

ABSTRACT

A set of programs is presented for automatically generating and calculating Feynman diagrams. Diagrams are generated with FeynArts, then algebraically simplified using a combination of Mathematica and FORM implemented in the package FormCalc, and finally evaluated numerically using the LoopTools package. FormCalc works either in dimensional regularization or in constrained differential renormalization, the latter of which is equivalent at the one-loop level to regularization by dimensional reduction. FormCalc combines the speed of FORM with the powerful instruction set of Mathematica, and the latter greatly eases further processing of the results (e.g. selecting or modifying terms). The output is in a form well suited for numerical evaluation, which is then straightforward using the implementations of the one-loop integrals in LoopTools.

연구 동기 및 목표

• 양자장론에서 한 번의 루프 피네만 다이어그램의 생성과 계산을 자동화하는 것.
• 다이어그램 생성에서 루프 적분의 수치 평가로의 전이를 간소화하는 것.
• 차원 정규화 및 제약 조건이 부가된 미분 재정규화 모두에 대해 민첩하고 효율적인 한 번의 루프 진폭을 위한 계산 파ipeline를 제공하는 것.
• Mathematica의 기호적 능력과 FORM의 성능, LoopTools의 수치적 안정성을 통합하는 것.
• 현상학적 응용에서 직접 수치 평가에 적합한 형태로 결과를 생성하는 것.

제안 방법

• FeynArts는 사용자가 정의한 라그랑지안과 상호작용 정점에서 관련된 모든 한 번의 루프 피네만 다이어그램을 생성한다.
• FormCalc는 Mathematica와 FORM을 조합하여 사용하여 진폭의 대수적 간소화를 수행하며, 텐서 구조와 디랙 대수를 처리한다.
• 이 패키지는 차원 정규화와 제약 조건이 부가된 미분 재정규화를 모두 지원하며, 한 번의 루프 수준에서는 차원 감소와 동치이다.
• FormCalc는 간소화된 진폭을 수치 평가에 적합한 형태로 출력하며, 한 번의 루프 스칼라 적분에 명시적인 의존성을 포함한다.
• LoopTools는 고정밀도와 고효율로 한 번의 루프 스칼라 적분(버블, 트라이앵글, 박스 등)을 수치적으로 평가한다.
• 전체 워크플로는 모듈러식이며, 더 큰 현상학적 계산에 원활하게 통합될 수 있다.

실험 결과

연구 질문

• RQ1 한 번의 루프 피네만 다이어그램을 체계적으로 생성하고 분석하여 분석적 평가와 수치적 평가를 모두 지원할 수 있는 방법은 무엇인가?
• RQ2 한 번의 루프 진폭에 대해 기호적 조작과 고성능 수치 통합을 효과적으로 조합하는 가장 효과적인 방법은 무엇인가?
• RQ3 제약 조건이 부가된 미분 재정규화는 자동화된 프레임워크를 통해 한 번의 루프 계산에 효과적으로 구현될 수 있는가?
• RQ4 자동화된 다이어그램 진폭의 출력을 어떻게 구성하면 수치 평가 도구와의 호환성을 극대화할 수 있는가?
• RQ5 자동화된 한 번의 루프 계산에서 다양한 정규화 체계 간의 성능 및 정확도 상호 간의 상충 관계는 무엇인가?

주요 결과

• 이 프레임워크는 다이어그램 생성에서부터 한 번의 루프 진폭의 수치 평가에 이르는 전 과정을 성공적으로 자동화한다.
• FormCalc는 Mathematica의 기호적 능력과 FORM의 빠른 처리 능력을 조합하여 효율적인 대수적 간소화를 가능하게 한다.
• 이 구현은 차원 정규화와 제약 조건이 부가된 미분 재정규화를 모두 지원하며, 후자는 한 번의 루프 수준에서 차원 감소와 동치이다.
• FormCalc의 출력은 직접적인 수치 평가에 적합하게 구성되어 있어, 후처리 오버헤드를 크게 줄였다.
• LoopTools는 신뢰할 수 있고 효율적인 한 번의 루프 스칼라 적분의 수치 평가를 제공하여 정확한 현상학적 예측을 가능하게 한다.
• 통합된 툴체인은 특히 표준모형 및 그 이상의 고에너지 물리학에서의 복잡한 한 번의 루프 계산에 매우 적합하다.