[논문 리뷰] Automatic application of successive asymptotic expansions of Feynman diagrams

T. Seidensticker|ArXiv.org|1999. 05. 11.

advanced mathematical theories인용 수 70

한 줄 요약

이 논문은 다중 스케일 파인만 도형의 연속적인 점근적 전개를 자동화하는 C++ 프로그램 EXP를 제시한다. 이는 재귀적 백트래킹 알고리즘을 사용하여 딱딱한 부분도형과 공부도형 위상 구조를 생성한다. 이는 여러 작은 매개변수(예: $M_H^2/M_t^2$, $M_b^2/M_H^2$)에 대한 체계적인 중첩 전개를 가능하게 하며, 이론적 검증을 위해 힉스 보손의 $b\bar{b}$ 붕괴 진폭의 허수부를 계산함으로써 수행되었다. 이전 결과를 넘어 $\mathcal{O}(M_t^{-4})$ 항을 포함하여 확장하였다.

ABSTRACT

We discuss the program EXP used to automate the successive application of asymptotic expansions to Feynman diagrams. We focus on the generation of the relevant subgraphs and the determination of the topologies for the remaining integrals. Both tasks can be solved by using backtracking-type recursive algorithms. In addition, an application of EXP is presented, where the integrals were calculated using the FORM packages MINCER and MATAD.

연구 동기 및 목표

• 다중 스케일 파인만 도형에서 관련 있는 딱딱한 부분도형과 공부도형 위상 구조의 자동 생성.
• 다양한 작은 매개변수(예: 질량 비율 및 운동량 비율)에 대한 연속적인 점근적 전개를 가능하게 하여 고차수 보정을 제공.
• 복잡한 다중 스케일 적분을 단일 스케일 적분으로 환원함으로써 양자장론 계산의 정밀도 향상 지원.
• 최종 진폭 평가를 위한 기존 FORM 기반 통합 도구(MINCER 및 MATAD 등)와 원활하게 통합 가능.

제안 방법

• 도형 내 선의 모든 부분집합을 체계적으로 생성하고, 딱딱한 부분도형 조건을 테스트하기 위해 재귀적 백트래킹 알고리즘을 사용.
• 가벼운 선에 대한 한 개 입자 불가분성 도형 규칙을 적용하여 유효한 딱딱한 부분도형 식별.
• 운동량 보존 및 계수 일치를 활용하여 부분도형에 루프 및 외부 운동량을 할당하고 위상 구조를 결정.
• 정수 계수 분포를 사용자 정의 기준 위상과 비교하여 위상 비교 알고리즘을 사용.
• MINCER 및 MATAD와의 후속 통합을 위해 자동으로 FORM 호환 입력 파일 및 makefile 생성.
• 계층적인 질량 및 운동량 척도를 다루기 위해, 나머지 모든 적분이 단일 스케일이 될 때까지 반복적으로 전개 적용.

실험 결과

연구 질문

• RQ1 다중 질량 및 운동량 척도 계층을 가진 다중 스케일 파인만 도형에 대해 연속적인 점근적 전개의 자동화는 어떻게 달성할 수 있는가?
• RQ2 복잡한 도형에서 모든 관련 딱딱한 부분도형과 공부도형 위상의 정확한 식별을 보장하는 알고리즘적 접근은 무엇인가?
• RQ3 부분도형의 위상 할당을 체계적으로 수행하여 MINCER 및 MATAD와 같은 단일 스케일 도구와 통합할 수 있는 방법은 무엇인가?
• RQ4 예를 들어 $\mathcal{O}(M_t^{-4})$ 항과 같은 고차항을 중첩 전개에 포함했을 때 정밀도 붕괴율 계산에 미치는 영향은 어떠한가?
• RQ5 더 높은 루프 차수와 척도 계층을 가진 도형을 고려할 때 자동화 파이프라인을 어떻게 강력하고 확장 가능하게 만들 수 있는가?

주요 결과

• 프로그램 EXP는 재귀적 백트래킹을 사용하여 딱딱한 부분도형과 공부도형 위상의 생성을 성공적으로 자동화함으로써 체계적인 연속 전개를 가능하게 하였다.
• 이 방법은 힉스 보손의 $b\bar{b}$ 붕괴 진폭의 허수부 계산에 적용되어 $M_H^2/M_t^2$ 및 $M_b^2/M_H^2$에 대한 중첩 급수 형태의 결과를 도출하였다.
• 이전 결과를 넘어 $\mathcal{O}(M_t^{-4})$ 항을 포함하여 확장되었으며, 이는 수치적으로는 미미했지만 형식적으로는 중요한 기여였다.
• 최종 결과는 양성장 이론의 기대와 일치하며, QCD 게이지 매개변수에 영향을 받지 않으며, 재규명 없이도 유한하다.
• 표준 위상으로 매핑되지 않는 부분도형을 정확히 식별하고 분리하여 추가적인 재귀적 전개가 가능하도록 하였다.
• MINCER 및 MATAD와의 FORM 기반 통합은 입력 파일 및 makefile 생성 포함 전 과정에서 완전히 자동화되었으며, 계산 워크플로우의 간소화에 기여하였다.