[논문 리뷰] Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams

Ben Ruijl, Takahiro Ueda외 1명|arXiv (Cornell University)|2017. 04. 21.

Protein Structure and Dynamics참고 문헌 46인용 수 38

한 줄 요약

Forcer는 사전에 계산된 감소 규칙과 대칭성 활용을 통해 네 루프 무질량 보편선도 다이어그램을 주요 적분으로의 형식 기반(parametric integration-by-parts, IBP) 감소를 수행하는 Form 프로그램이다. 이는 조건부 ϵ 전개 또는 유리 다항식 산술을 통해 임의의 극한을 제어함으로써 효율적이고 고정밀도의 양자장론 계산을 가능하게 하며, 특히 네 루프 분열 함수와 보편선도 진폭에 응용된다.

ABSTRACT

We explain the construction of Forcer, a FORM program for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loop Mincer program. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of the Forcer program, which involves recognizing reduction actions for each topology, applying symmetries, and transitioning between topologies after edges have been removed. This part is entirely precomputed and automatically generated. We give examples of recent applications of Forcer, and study the performance of the program. Finally we demonstrate how to use the Forcer package and sketch how to prepare physical diagrams for evaluation by Forcer.

연구 동기 및 목표

• 고정밀도 QCD 예측에 필수적인 네 루프 무질량 보편선도 다이어그램을 위한 확장 가능하고 효율적인 감소 프레임워크를 개발하기 위해.
• 완전한 네 루프 IBP 시스템의 계산 불가능성을 해결하기 위해 사전에 감소 규칙과 위상 전이를 계산함으로써.
• 차원 정규화에서의 임의의 극한 문제를 해결하기 위해, 유리 다항식 및 고정 깊이 ϵ 전개 방식을 모두 지원함으로써.
• 네 루프 분열 함수와 베타 함수와 같은 대규모 계산에 실용적이고 빠르며 신뢰할 수 있는 도구를 제공하기 위해.
• 기호적 IBP 감소와 물리적 응용 사이의 격차를 메우기 위해, 물리적 다이어그램을 Forcer 입력으로 자동 변환하는 것을 목적으로 한다.

제안 방법

• 기존의 부분 구조 규칙(예: 한 루프 삼각형, 카펫 규칙 등)을 이용해 모든 위상과 그 감소를 맵핑하는 사전 계산된 감소 그래프를 구성한다.
• 위상 대칭성과 자동형사를 적용하여 중복된 감소 경로를 줄이고 효율성을 향상시킨다.
• Mincer와 유사한 매개변수형 IBP 감소와 수동으로 안내된 컴퓨터 보조 유도를 통한 비가역 위상의 최적화 처리를 조합한 하이브리드 접근법을 사용한다.
• 두 가지 운영 모드를 구현한다: 유리 다항식 산술(정확하지만 느림)과 고정 깊이 ϵ 전개(빠르며 깊이 선택이 중요함).
• 전개 깊이에 따라 Pochhammer 기호 및 기타 특수 함수의 감소 표를 자동 생성한다.
• 필요한 ϵ 전개 깊이를 추정하기 위한 시범 실행과 다양한 전개 설정 간의 상호 검증을 통해 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 네 루프 무질량 보편선도 적분은 어떻게 주요 적분으로 감소시킬 수 있으며, 이는 계산적으로 실현 가능하고 수치적으로 안정적인가?
• RQ2 네 루프 IBP 감소 과정에서 차원 정규화에서 발생하는 임의의 극한을 효과적으로 다룰 수 있는 전략은 무엇인가?
• RQ3 런타임을 최소화하고 재사용을 극대화하기 위해 사전 계산된 감소 규칙과 위상 전이를 체계적으로 생성하는 방법은 무엇인가?
• RQ4 네 루프 계산에서 정확한 유리 산술과 고정 깊이 ϵ 전개 사이의 성능 상충 관계는 어떠한가?
• RQ5 양자장론의 QCD 과정에서 유도된 물리적 다이어그램을 Forcer 프로그램의 입력으로 체계적으로 변환하는 방법은 무엇인가?

주요 결과

• Forcer는 사전 계산된 감소 규칙과 대칭성 활용을 조합하여 네 루프 무질량 보편선도 다이어그램을 주요 적분으로 성공적으로 감소시켰으며, 대규모 계산을 가능하게 하였다.
• 이 프로그램은 네 루프 분열 함수, 네 루프 보편선도 및 복합 함수, 그리고 오차 루프 베타 함수 계산과 같은 고정밀도 계산에 사용되었다.
• 벤치마크 결과에서 Forcer는 특히 고정 깊이 ϵ 전개를 사용할 경우 일반적인 IBP 해법기보다 뚜렷한 성능 향상을 보였다.
• 프로그램은 두 가지 모드를 지원한다: 정확한 유리 다항식 산술(희귀 케이스용)과 제어된 ϵ 전개(대부분의 응용에 실용적), 전개 깊이는 시범 실행을 통해 추정된다.
• 물리적으로 의미 없는 1/ϵ 발산(모든 기여를 합산할 때만 상쇄되는) 임의의 극한은 충분한 수의 ϵ 거듭제곱으로 다항식을 전개함으로써 관리할 수 있으며, 안전 여유를 추가한다.
• 소스 코드는 GitHub에 공개되어 있어 재현성과 고에너지 물리학 공동체 내 후속 개발을 가능하게 한다.