[논문 리뷰] GRACE at ONE-LOOP: Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks

G. Bélanger, F. Boudjema외 5명|ArXiv.org|2003. 08. 07.

Computational Physics and Python Applications참고 문헌 7인용 수 76

한 줄 요약

이 논문은 표준 모형에서 게이지 매개변수 독립성을 보장하기 위해 새로운 비선형 게이지 고정 조건을 도입한 완전 자동화된 한 루프 계산 시스템인 GRACE-loop를 제시한다. 효율적인 텐서 적분 감소 기법, 포괄적인 카운터텀 구현, 다양한 두 개에서 두 개로의 과정에 대한 철저한 검증을 통해 기존 결과와 뛰어난 일치를 이룩하였으며, 정밀 전자약력학 물리학에 대한 프레임워크의 신뢰성을 입증한다.

ABSTRACT

We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. The need for such gauges is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. We also briefly recount some recent development concerning the calculation of mutli-leg one-loop corrections.

연구 동기 및 목표

• 완전 자동화된 한 루프 계산 시스템을 개발하여 전자약력학 이론에서 강력한 내부 일致성 검사를 수행한다.
• 자동화된 한 루프 계산에서 발생하는 게이지 의존성 문제를 해결하기 위해 비선형 게이지 고정 조건을 도입한다.
• 고계수 텐서 적분과 4점 함수를 초월한 스칼라 적분을 효율적으로 감소시키기 위한 알고리즘을 구현한다.
• 우르바나 및 인프라레드 유한성을 확보하고 다양한 두 개에서 두 개로의 산란 과정에 대한 체계적 테스트를 통해 결과를 검증한다.
• 모델 정의에서 이벤트 생성에 이르기까지 포괄적이고 자동화된 파이프라인을 제공하며, 재규격화 및 위상공간 적분을 포함한다.

제안 방법

• 일반적인 비선형 게이지 고정 조건을 사용하여 자동 계산 과정에서 게이지 매개변수 독립성을 내재된 일관성 검사로 구현한다.
• 명시적인 카운터텀을 포함한 체계적인 재규격화 접근법을 적용하며, 모든 꼬리와 전파자에 대한 카운터텀을 포함하고, 파동 함수 및 질량 이완에 대한 세밀한 처리를 수행한다.
• 특히 5점 및 6점 함수에 대해 고급 텐서 적분 감소 기법을 적용하며, 매개변수 적분과 로그 항을 활용한다.
• 연결 행렬의 사전순 비교 기반 그래프 생성 알고리즘을 도입하여 대칭군 필터링을 통해 중복 파인만 다이어그램을 방지한다.
• 모든 상호작용 꼬리에 대한 카운터텀 라이브러리와 고스트 섹터 및 보조 장을 다루는 체계적 방법을 구현한다.
• 위상공간 적분 및 이벤트 생성 모듈을 사용하여 물리적 단면적을 산출하며, 부드러운 및 딱딱한 브레머스트라할링에 대한 검증을 수행한다.

실험 결과

연구 질문

• RQ1 표준 모형에서 한 루프 계산을 완전 자동화하면서 게이지 매개변수 독립성을 어떻게 확보할 수 있는가?
• RQ2 비선형 게이지 고정 조건은 텐서 적분 감소를 단순화하고 결과를 검증하는 데 어떤 역할을 하는가?
• RQ3 고계수 텐서 적분(N > 4)은 자동화된 시스템에서 어떻게 저계수 스칼라 적분으로 효율적으로 감소되는가?
• RQ4 자동화된 시스템이 핵심 전자약력학 과정에 대해 알려진 한 루프 결과를 얼마나 정밀하게 재현할 수 있는가?
• RQ5 완전 자동화된 한 루프 프레임워크에서 인프라레드 발산과 부드러운 복사 효과는 어떻게 다루어지는가?

주요 결과

• 비선형 게이지 고정 조건의 구현은 대규모 자동 계산의 정확성을 확인하는 강력한 내재된 일관성 검사로 작용한다.
• 시스템은 일반화된 비선형 게이지에서 모든 두 점 함수를 성공적으로 감소시키며, 모든 꼬리와 전파자에 대한 완전한 카운터텀 세트를 제공한다.
• 두 점 함수와 카운터텀에 대한 명시적 공식이 유도되었으며, $e^+e^- \to t\bar{t}$, $W^+W^-$, $ZH$ 등을 포함한 여러 과정에서 검증되었다.
• 코드는 $e^+e^- \to t\bar{t}$, $\gamma\gamma \to t\bar{t}$, $W^+W^- \to W^+W^-$ 및 기타 과정에서 알려진 결과를 매우 높은 정밀도로 재현하였다.
• 부드러운 브레머스트라할링 인자와 $k_c$ 안정성 검증을 통해 인프라레드 유한성이 확인되었으며, 공면 및 부드러운 발산이 존재하는 상황에서도 강인함을 입증하였다.
• 프레임워크는 $e^+e^-$ 과정에서의 3체 최종 상태로 확장되어 두 개에서 두 개를 초월한 과정으로의 자동화 접근법의 확장성을 보여주었다.