[논문 리뷰] LanHEP - a package for automatic generation of Feynman rules in gauge models

A. Semenov|ArXiv.org|1996. 08. 29.

Computational Physics and Python Applications인용 수 41

한 줄 요약

LanHEP는 사용자가 정의한 라그랑주안을 압축되고 논문 스타일의 형식으로 입력받아 운동량 공간에서 피카르드 규칙을 자동으로 생성하는 계산 패키지이다. 이는 게이지 이론을 지원하며, 코바리언트 도함수나 장 강도와 같은 복잡한 표현을 처리할 수 있고, 레이텍스 및 CompHEP 호환 형식으로 규칙를 출력하여 고에너지 물리 계산에서 모델 구현을 효율적으로 하고 오류 위험을 줄인다.

ABSTRACT

We consider the general problem of derivation of the Feynman rules for the matrix elements in momentum representation from the given Lagrangian in coordinate space invariant under the transformation of some gauge group. LanHEP package presented in this paper allows to define in a convenient way the gauge model Lagrangian in canonical form and then to generate automatically the Feynman rules that can be used in the following calculation of the physical processes by means of CompHEP package. The detailed description of LanHEP commands is given and several examples of LanHEP applications (QED, QCD, Standard Model in the t'Hooft-Feynman gauge) are presented.

연구 동기 및 목표

• 게이지 이론에서 라그랑주로부터 피카르드 규칙을 자동으로 유도하여 수동 계산 오류를 줄이기.
• 코바리언트 도함수나 장 강도 텐서와 같은 복잡한 양자장론 표현을 압축되고 논문 스타일의 입력 형식으로 지원하기.
• CompHEP 패키지에서 행렬 원소 및 단면적 계산에 사용 가능한 운동량 표현에서의 피카르드 규칙을 생성하기.
• 표준화된 모델 입력 형식을 통해 새로운 게이지 이론과 비정상적인 꼬임을 CompHEP 프레임워크에 도입하기.
• 유도된 꼬임에서 전하 보존을 검사하여 모델 일관성 검증하기.

제안 방법

• 사용자가 기호적 표기법(장, 지표, 도함수 등)을 사용해 압축되고 논문 스타일의 형식으로 작성한 라그랑주를 프로그램이 읽는다.
• 기호적 전개를 수행하고 유사항을 합치며, 시공간 도함수를 운동량 인자로 치환함으로써 푸리에 변환을 적용한다.
• 단항식 내 장의 순서에 기반해 생략된 로렌츠 및 다중체 지표를 자동으로 복원한다.
• 장 강도 텐서나 코바리언트 도함수와 같은 복잡한 표현에 대해 사용자 정의 대체 규칙을 지원한다.
• 네 가지 유형의 출력을 생성한다: 운동량 공간의 피카르드 규칙, 레이텍스 형식의 표, 그리고 직접 계산에 사용 가능한 CompHEP 모델 파일 (vars, func, prtcls, lgrngn).
• 고정된 전파함수를 가진 보조 장을 통해 4- fermion 및 4-글루온 꼬임을 도입함으로써 CompHEP의 내재된 제약 조건을 우회한다.

실험 결과

연구 질문

• RQ1 게이지 이론에서 라그랑주로부터 피카르드 규칙 생성을 자동화하면서도 정확성과 일관성을 유지할 수 있는 방법은 무엇인가?
• RQ2 고에너지 물리학 라그랑주에 대해 압축성과 표현력을 균형 잡고, 자동으로 지표 복원이 가능한 최적의 입력 형식은 무엇인가?
• RQ3 표준 모형과 같은 복잡한 모델에 대해, 전파함수와 꼬임을 포함한 운동량 공간 피카르드 규칙을 신뢰할 수 있게 자동 생성할 수 있는가?
• RQ4 비정상적 또는 고차원 상호작용을 기존의 자동 계산 프레임워크(예: CompHEP)에 어떻게 통합할 수 있는가?
• RQ5 자동 규칙 생성 과정에서 전하 보존과 같은 모델 일관성 확보 메커니즘은 무엇인가?

주요 결과

• LanHEP는 QED와 QCD에 대해 압축된 라그랑주 입력에서 정확한 피카르드 규칙을 생성하였으며, 게이지 고정 항과 장 강도 텐서의 적절한 처리를 포함한다.
• 입력에서 생략된 로렌츠 및 다중체 지표를 조차도 정확히 복원하여 일관된 꼬임의 구조를 보장한다.
• 즉각적으로 사용 가능한 유효한 CompHEP 모델 파일을 생성하여 최대 6개의 외부 입자를 포함한 과정의 행렬 원소 및 단면적 계산에 바로 활용할 수 있다.
• 보조 장을 통해 4- fermion 및 4-gluon 꼬임을 지원함으로써, CompHEP에서 직접 지원하지 않는 비정상적 결합의 구현이 가능해졌다.
• 꼬임에서 전하 보존을 자동으로 검사하여 모델 신뢰도를 향상시켰다.
• 특히 전기약력 이론처럼 대칭성 자동 깨짐을 포함한 복잡한 모델에서 많은 장과 꼬임을 다루는 계산에서 인간의 실수 위험을 줄였다.