[논문 리뷰] Top quark pairs at two loops and Reduze 2

Andreas von Manteuffel, C. Studerus|arXiv (Cornell University)|2012. 10. 04.

Particle physics theoretical and experimental studies참고 문헌 22인용 수 5

한 줄 요약

이 논문은 힉론 충돌기에서 글루온 융합 채널에서 토프 쿼크 쌍 생성에 대한 두 루프 경량 페르미온 보정의 해석적 계산을 제시한다. 미분 방정식과 고급 심볼 및 코프로덕트 기법을 사용하여 다중 다중로그를 단순화한다. 주요 기여는 질량이 있는 한 개의 보편자로 구성된 비평면 이중 상자 위상도에 대한 첫 번째 해석적 해를 Reduze 2를 통해 처리한 것으로, 이는 새로운 매트로이드 기반 이동 관계 탐지 기능을 갖춘 오픈소스이며 분산 처리 가능한 자동화된 루프 적분 축소 도구이다.

ABSTRACT

We report on progress for the analytical calculation of the two-loop corrections to top quark pair production at hadron colliders. For the light fermionic corrections in the gluon channel, we discuss the analytical solution for the master integrals of a non-planar double box with a massive propagator. The result in terms of Goncharov's multiple polylogarithms is handled using systematic reductions based on the symbol map and the coproduct. We discuss new features of the computer program Reduze 2. It provides a fully distributed variant of Laporta's algorithm to reduce loop integrals. New graph matroid based algorithms allow to calculate shift relations between Feynman integrals in a fully automated way.

연구 동기 및 목표

• 합성 충돌에서 토프 쿼크 쌍 생성에 대한 완전한 해석적 다음 다음 최고 순서(Next-to-Next-to-Leading-Order, NNLO) 예측을 달성하기 위해.
• 글루온 융합 채널에서 질량이 있는 한 개의 보편자를 가진 복잡한 비평면 이중 상자 위상도에 대한 마스터 적분을 해결하기 위해.
• 다중 스케일 진폭에서 나타나는 다중 다중로그를 단순화하기 위한 고급 기호 기법—심볼 맵과 코프로덕트 미적분—을 개발하고 구현하기 위해.
• Reduze 프로그램을 분산 처리 및 자동화된 축소 기능과 새로운 그래프-매트로이드 알고리즘을 갖춘 Reduze 2로 확장하여 파인만 적분에서의 이동 대칭성을 식별하기 위해.

제안 방법

• 비평면 이중 상자 위상도에 대한 마스터 적분을 해결하기 위해 ε 전개에서의 미분 방정식 방법을 사용하였다.
• 미 Mellin-Barnes 표현과 대칭성, 정칙성, 점점 가까워지는 행동에 의한 제약 조건을 사용하여 통합 상수를 고정하였다.
• 심볼 맵과 코프로덕트 미적분을 활용하여 곤차로프의 다중 다중로그(Goncharov’s multiple polylogarithms, GPLs)를系통적으로 단순화하였으며, 복잡도를 약 10³개의 GPLs에서 최소 기저로 감소시켰다.
• 매트로이드 동형성 기반의 새로운 이동 찾기 알고리즘을 구현하여, 그래프가 동형이 아니더라도 보편자 구조 간의 운동량 이동 대칭성을 탐지하였다.
• Reduze 2를 사용하여 여러 코어를 통해 루프 적분의 완전한 분산 및 병렬 축소를 수행하였으며, 복잡한 진폭에 대한 확장 가능한 계산을 가능하게 하였다.
• 정확도를 보장하기 위해 SecDec 및 Mellin-Barnes 전개와 같은 수치 도구를 활용한 교차 검증을 수행하였으며, 극과 유한 항 모두에서 정확성을 확보하였다.

실험 결과

연구 질문

• RQ1 토프 쿼크 쌍 생성에서 질량이 있는 한 개의 보편자를 가진 가장 복잡한 비평면 이중 상자 위상도에 대한 두 루프 마스터 적분은 어떻게 해석적으로 해결할 수 있는가?
• RQ2 다중 스케일 진폭에서 나타나는 곤차로프의 다중 다중로그의 매우 복잡한 구조를 단순화하기 위한 체계적인 기호 기법은 무엇인가?
• RQ3 매트로이드 이론은 파인만 적분 간의 비동형 그래프이지만 동일한 보편자 구조를 공유하는 비자명한 운동량 이동 대칭성을 효과적으로 탐지하는 데 사용될 수 있는가?
• RQ4 고다중도, 고루프 순서의 진폭에 대해 루프 적분 축소를 분산 컴퓨팅 자원을 기반으로 자동화하고 효율적으로 확장할 수 있는가?
• RQ5 심볼 및 코프로덕트 미적분은 두 루프 진폭에서 주극의 극 이외의 유한 항과 특이 항에 대한 대수적 단순화를 어느 정도 가능하게 하는가?

주요 결과

• 이 논문은 토프 쿼크 쌍 생성의 글루온 융합 채널에서 경량 페르미온의 두 루프 보정에 대한 첫 번째 해석적 해를 제시한다. 이는 질량이 있는 한 개의 보편자를 포함한 비평면 이중 상자 위상도를 포함한다.
• 해답은 곤차로프의 다중 다중로그로 표현되며, 최대 1000개의 중량 4의 GPLs를 포함하지만, 심볼 및 코프로덕트 기법을 통해 크게 단순화되었다.
• 심볼 미적분은 모서리 적분의 1/ε 극에서 중량 3의 GPLs 39개를 단일 고전적 다중로그로 감소시켰다: Li₃((y₁+z₁)/(y₁z₁))이며, 여기서 y₁=y+1, z₁=z+1, z=-u/m²이다.
• Reduze 2는 모듈러 작업 시스템을 사용하여 완전히 분산되고 확장 가능한 루프 적분 축소를 가능하게 하며, t̄t 생성 응용에서 최대 O(100) 코어를 사용하여 성능 향상을 이룬다.
• 새로운 매트로이드 기반의 이동 찾기 알고리즘은 휘감기 연산 후 매트로이드 동형성 테스트를 통해, 그래프가 동형이 아니더라도 보편자 집합 간의 비자명한 운동량 이동 대칭성을 탐지할 수 있다.
• 이 방법은 적분 축소 과정에서의 모호성을 성공적으로 식별하고 제거하였으며, 기존의 통합-별로-항-항-항-식별자(일반적인 적분-별로-항-항-식별자)로는 도달할 수 없는 축소를 드러내었다.