[논문 리뷰] TVID: Three-loop Vacuum Integrals from Dispersion relations

Stefan Bauberger, A. Freitas|arXiv (Cornell University)|2017. 02. 09.

Particle Accelerators and Free-Electron Lasers참고 문헌 4인용 수 15

한 줄 요약

TVID는 삼중 루프 진공 피카르 방정식을 임의의 질량을 가진 경우에 대해 분산 관계를 사용하여 수치적으로 계산하기 위한 수치 소프트웨어 패키지입니다. Mathematica를 사용하여 수학적으로 발산 항과 유한 항을 대수적으로 분리하고, C로 작성된 수치 계산을 통해 유한 잔여 항을 30자리 정밀도로 평가함으로써, 복잡한 질량 구성 조건에서도 높은 정확도와 성능을 달성합니다.

ABSTRACT

TVID is a program for the numerical evaluation of general three-loop vacuum integrals with arbitrary masses. It consists of two parts. An algebraic module, implemented in Mathematica, performs the separation of the divergent pieces of the master integrals and identifies special cases. The numerical module, implemented in C, carries out the numerical integration of the finite pieces. In this note, the structure of the program is explained and a few usage examples are given.

연구 동기 및 목표

• 임의의 질량 구성 조건을 가진 삼중 루프 진공 적분의 수치 평가를 위한 강력하고 공개 가능한 도구를 제공하는 것.
• 주 적분의 발산 항과 유한 항을 분리하는 분산 관계 기반의 방법을 구현하는 것.
• 30자리 부동소수점 산술을 사용하여 유한 잔여 함수의 고정밀 수치 평가를 보장하는 것.
• 다중 질량 척도를 가진 삼중 루프 자기에너지 및 진공 도형을 요구하는 양자장론의 응용을 지원하는 것.
• 특히 완전히 일반적인 질량 구성 조건에서 분석적 해가 없는 경우에도 정확한 적분 계산을 가능하게 하는 것.

제안 방법

• 삼중 루프 진공 적분을 발산 항과 유한 잔여 항으로 분해하기 위해 분산 관계를 사용하는 것.
• 주 적분의 발산 항을 식별하고 분리하며, 주 적분을 유한 잔여 함수로 매핑하기 위해 Mathematica에서 대수 모듈을 활용하는 것.
• 유한 항의 수치 적분을 위해 Quadpack에서 포트된 C++로 구현된 Gauss-Kronrod 적분 루틴 QAG을 적용하는 것.
• 수치 평가에서 30자리 부동소수점 정밀도를 달성하기 위해 doubledouble C++ 패키지를 활용하는 것.
• 수식 기반 처리와 고성능 수치 적분을 분리한 이원적 아키텍처를 구현하는 것: Mathematica는 기호 연산을 담당하고, C는 고성능 수치 적분을 담당함.
• U_4, U_5, U_6 주 적분에 대해 대칭성 감소 및 특수 케이스 처리를 위해 전용 유한 잔여 함수를 구현하는 것.

실험 결과

연구 질문

• RQ1 분석적 해가 없는 경우, 임의의 질량을 가진 삼중 루프 진공 적분은 어떻게 수치적으로 평가할 수 있는가?
• RQ2 분산 관계를 사용하여 삼중 루프 진공 진폭의 발산 항과 유한 항을 가장 효과적으로 분리하는 방법은 무엇인가?
• RQ3 유한 잔여 함수의 고정밀 수치 평가가 실용적인 양자장론 응용에 충분한 속도와 정확도를 확보할 수 있는가?
• RQ4 질량의 종류 수가 증가함에 따라 성능이 어떻게 영향을 받는가?
• RQ5 일반적인 분석 기준 결과와 비교했을 때 수치 결과의 정확도는 어떠한가?

주요 결과

• TVID는 하나 또는 두 개의 독립적 질량 척도를 가진 적분에 대해 기존의 분석 결과와 최소 10자리까지 일치함을 입증함.
• 최대 질량 척도 복잡도를 가진 적분에 대해 미분 방정식 결과와 비교했을 때 정확도가 유사함(최소 10자리).
• 단일 Intel Xeon 코어에서 U_{4,\rm sub}는 약 0.1초, U_{5,\rm sub,0}는 0.01초 미만, U_{6,\rm sub}는 20~30초의 평가 시간를 기록함.
• doubledouble 산술 패키지를 사용하여 U_{4,\rm sub}, U_{5,\rm sub,0}, U_{6,\rm sub}의 유한 잔여 함수를 30자리 정밀도로 성공적으로 계산함.
• U_4, U_5, U_6에서의 주 적분의 대칭성, 즉 순열과 이중성 관계를 정확히 처리함.
• 소프트웨어는 공개되어 있으며 모듈러 구조를 취하고 있으며, 별도의 대수적 및 수치적 구성 요소를 포함하여 더 큰 계산 워크플로우에 통합 가능함.