[논문 리뷰] Evaluation of Multi-Sums for Large Scale Problems

J. Blümlein, A. Hasselhuhn외 1명|arXiv (Cornell University)|2012. 02. 20.

Particle physics theoretical and experimental studies인용 수 16

한 줄 요약

이 논문은 양자장론에서 3-루프 파인만 적분으로부터 유도되는 거대한 다중합 표현을 단순화하기 위해 차분 필드 이론 기반의 완전 자동 기호 합산 방법을 제시한다. Mathematica 패키지 EvaluateMultiSums와 SumProduction를 사용하여 복잡한 다중합을 조화, S-, 및 순환합을 포함한 압축된 내재된 곱-합 표현으로 변환함으로써 대규모 진폭의 효율적 ε-전개를 가능하게 하였다. 이는 페르미온성 글루온 연산자 행렬 요소의 완전한 3-루프 계산을 통해 입증되었다.

ABSTRACT

A big class of Feynman integrals, in particular, the coefficients of their Laurent series expansion w.r.t.\ the dimension parameter $\ep$ can be transformed to multi-sums over hypergeometric terms and harmonic sums. In this article, we present a general summation method based on difference fields that simplifies these multi--sums by transforming them from inside to outside to representations in terms of indefinite nested sums and products. In particular, we present techniques that assist in the task to simplify huge expressions of such multi-sums in a completely automatic fashion. The ideas are illustrated on new calculations coming from 3-loop topologies of gluonic massive operator matrix elements containing two fermion lines, which contribute to the transition matrix elements in the variable flavor scheme.

연구 동기 및 목표

• 양자장론에서 3-루프 파인만 적분으로부터 유도되는 거대하고 복잡한 다중합 표현을 자동으로 단순화하기 위한 방법 개발.
• 대량의 연산자 행렬 요소에 대한 ε(차원 정규화)의 로렌트 급수 계수를 효율적으로 계산할 수 있도록 하기.
• 다중합을 대수적으로 독립적인 내재된 곱-합으로 변환함으로써 대규모 진폭 계산의 계산 비용과 메모리 사용량을 감소시키기.
• 다중합 평가 및 계수 추출을 위한 확장 가능하고 병렬 처리 가능한 루틴을 통해 이러한 계산의 대량 생산을 지원하기.
• 조화, S-, 및 순환합과 같은 잘 알려진 특수함수를 기반으로 결과를 체계적으로 표현하는 프레임워크 제공.

제안 방법

• 차분 필드 이론과 ΠΣ-필드를 활용하여 파인만 적분에서 유도된 다중합을 무한대 내재된 곱-합 표현으로 기호적으로 단순화.
• 재귀 기반 기호 합산과 창의적 추적 기법을 사용하여 선형 재귀를 유도하고 해석하기 위해 Sigma 패키지를 활용.
• 이중 단계 파ip라인 도입: (1) 범위 동기화 및 대수적 기저 단순화를 통한 2419개의 다중합을 29개의 핵심 합으로 감소, (2) EvaluateMultiSums를 이용한 핵심 합의 병렬 ε-전개.
• SumProduction를 사용하여 대규모 계산을 관리함. 표현식을 초기함수 h(n, i1, i2, ε)와 유리함수 r(n, i1, i2, ε)로 분할함으로써 모듈러 처리 가능.
• HarmonicSums 패키지를 활용한 조화합 및 순환합 단순화를 통해 최종 결과를 S1(n), S2(n), S3(n), 등으로 표현.
• 각 합이 독립적으로 처리되고 후행적으로 결과가 통합되는 장애 내성적, 파일 기반 병렬 실행 모델을 적용.

실험 결과

연구 질문

• RQ1 3-루프 파인만 적분에서 유도된 다중합 표현은 어떻게 대수적으로 독립적인 내재된 곱-합으로 체계적으로 단순화될 수 있는가?
• RQ2 대량의 연산자 행렬 요소에 대한 ε의 로렌트 급수 계수를 자동으로 도출하기 위해 어떤 기호 합산 기법이 유용한가?
• RQ3 수천 개의 다중합을 처리할 수 있는 확장 가능하고 병렬 처리 가능한 프레임워크를 구축할 수 있는가?
• RQ4 2419개의 다중합을 포함하는 2GB 표현을 조화합과 S-합 기반의 압축 표현으로 변환할 경우 성능 및 메모리 효율성은 어떠한가?
• RQ5 복잡한 색인 의존성과 함께 다중합의 재귀적 단순화 과정에서 극의 구조와 합의 범위를 어떻게 견고하게 관리할 수 있는가?

주요 결과

• 2419개의 다중합을 포함하는 2GB 표현이 7.6MB의 압축 표현으로 단순화되었으며, 이는 29개의 합과 15개의 유리함수 항으로 구성되었고, 총 6시간 53분 만에 완료되었다.
• 모든 핵심 합의 ε-전개가 병렬로 2시간 35분 만에 수행되었으며, 각 합의 전개 시간은 일반적인 단일 합 처리 시간과 유사하였다.
• 모든 부분 결과를 통합한 최종 결과는 단지 100KB의 메모리만을 사용하였으며, ζ2, ζ3, (−1)^n, S1(n), S2(n), S3(n), S2,1(n), S3,1(n), S2,1,1(n)으로 표현되었다.
• 감소, 전개, 통합을 포함한 전체 계산은 약 9.5시간 내에 완료되어 대규모 생산의 가능성을 입증하였다.
• 재귀 방정식 해석 과정에서 완전 자동화가 달성되었으며, 실패 사례는 모두 비최적의 합 표현에 기인하였으며, 이를 개선하면 성공률을 복구할 수 있었다.
• 이 방법은 이전에는 다루기 어려웠던 3-루프 진폭, 예를 들어 글루온 대량 연산자 행렬 요소의 페르미온 기여를 완전히 기호적이고 효율적으로 계산할 수 있도록 하였다.