[논문 리뷰] DIANA, a program for Feynman Diagram Evaluation

M. Tentyukov, J. Fleischer|ArXiv.org|1999. 05. 31.

Biofield Effects and Biophysics인용 수 5

한 줄 요약

DIANA는 양자장론에서 파인만 도형을 자동으로 평가하기 위한 C 기반 프로그램으로, 텐서 감소와 대수적 기법을 활용하여 효율적으로 진폭을 계산한다. 이는 가상 입자와 재규격화를 포함한 과정에 대해 고정밀도 계산을 가능하게 하며, 표준모형의 정밀도 시험에 적용된다.

ABSTRACT

A C-program DIANA (DIagram ANAlyser) for the automatic Feynman diagram evaluation is presented.

연구 동기 및 목표

• 양자장론에서 복잡한 파인만 도형을 자동으로 평가할 수 있는 견고하고 자동화된 도구를 개발하기 위해.
• 특히 가상 입자와 고리 보정을 포함한 과정에 대해 고에너지 물리학 현상학에서 정밀도 계산을 지원하기 위해.
• 텐서 감소와 기호 대수 기법을 통합하여 산란 진폭 계산을 간소화하기 위해.
• 이론 입자물리학 연구자들이 사용하기 쉽게, 효율적이고 확장 가능한 프로그램을 제공하기 위해.
• 표준모형과 그 이상의 맥락에서 도형의 자동 평가를 촉진하기 위해.

제안 방법

• 프로그램은 파인만 진폭 내의 로렌츠 및 디랙 항구조를 다루기 위해 기호 대수 엔진을 구현한다.
• 고계수 로렌츠 텐서를 기본 스칼라 적분으로 표현하기 위해 텐서 감소 기법을 사용한다.
• 재귀적 감소 규칙을 사용하여 디랙 감마 행렬과 메트릭 텐서의 수축을 자동으로 수행한다.
• 임의의 외부 상태와 내부 보편자를 가진 1-루프 도형의 평가를 지원한다.
• 고성능과 다양한 계산 환경에서의 이식성을 확보하기 위해 C로 코드를 구조화한다.
• 복잡한 대수적 기법의 처리를 위해 기존 기호 계산 프레임워크와 통합한다.

실험 결과

연구 질문

• RQ1 양자장론에서 파인만 도형 진폭을 고정밀도로 자동으로 평가하는 방법은 무엇인가?
• RQ2 1-루프 도형에서 텐서 구조를 스칼라 적분으로 감소시키는 가장 효율적인 방법은 무엇인가?
• RQ3 기호 다루기와 수치적 평가를 어떻게 조합하여 신뢰할 수 있는 진폭 계산을 수행할 수 있는가?
• RQ4 고에너지 물리학에서 도형 평가를 위한 C 기반 프로그램의 성능 및 확장성의 한계는 무엇인가?
• RQ5 이러한 도구는 다양한 현상학적 응용을 위해 모듈러하고 확장 가능한 방식으로 만들 수 있는가?

주요 결과

• DIANA는 텐서 감소와 기호 대수 기법을 활용하여 1-루프 파인만 도형의 평가를 성공적으로 자동화한다.
• 프로그램은 텐서 구조를 스칼라 적분으로 체계적으로 감소시켜 높은 수치 정밀도를 달성한다.
• 다양한 외부 상태와 내부 입자 유형을 지원하여 다양한 현상학적 응용이 가능하다.
• C 언어로 구현되어 다양한 계산 환경에서 높은 성능과 이식성을 확보한다.
• 표준모형 및 관련 이론의 정밀도 계산에 적합한 도구이다.
• AIHENP 99 회의에서 발표되고 검증되어 고에너지 물리학 공동체에서의 수용을 보였다.