[논문 리뷰] A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics

Jakob Ablinger|arXiv (Cornell University)|2010. 11. 04.

Advanced Mathematical Identities참고 문헌 31인용 수 142

한 줄 요약

이 논문은 입자물리학의 앰리튜드에서 핵심적인 역할을 하는 조화합, 오일러-자지어 합, 조화다이로그함수의 기호적 다루기를 위한 컴퓨터 대수 패키지인 HarmonicSums를 소개한다. 이는 준셔플 기반의 대수적 구조를 수립하고, 확장된 멜린 변환을 통한 미분을 가능하게 하며, 중첩된 합을 조화합 표현으로 재작성하는 알고리즘을 제시하여 양자장이론에서 파인먼 적분의 평가를 크게 지원한다.

ABSTRACT

In this work we present the computer algebra package HarmonicSums and its theoretical background for the manipulation of harmonic sums and some related quantities as for example Euler-Zagier sums and harmonic polylogarithms. Harmonic sums and generalized harmonic sums emerge as special cases of so-called d'Alembertian solutions of recurrence relations. We show that harmonic sums form a quasi-shuffle algebra and describe a method how we can find algebraically independent harmonic sums. In addition, we define a differentiation on harmonic sums via an extended version of the Mellin transform. Along with that, new relations between harmonic sums will arise. Furthermore, we present an algorithm which rewrites certain types of nested sums into expressions in terms of harmonic sums. We illustrate by nontrivial examples how these algorithms in cooperation with the summation package Sigma support the evaluation of Feynman integrals.

연구 동기 및 목표

• 양자장이론에서 발생하는 조화합과 관련 특수함수를 체계적으로 다룰 수 있는 계산 프레임워크를 개발하기 위해.
• 조화합의 대수적 구조를 준셔플 대수로 형식화하고, 대수적으로 독립적인 기저를 식별하기 위해.
• 확장된 멜린 변환을 사용하여 조화합에 대한 새로운 미분 연산을 정의하고, 이로부터 나타나는 새로운 대수적 관계를 밝혀내기 위해.
• 복잡한 중첩된 합을 조화합 표현으로 변환할 수 있는 알고리즘을 설계하여 단순화 및 평가를 가능하게 하기 위해.
• HarmonicSums 패키지를 Sigma 합계 시스템과 통합하여 양자장이론의 섭동 계산에서 파인먼 적분의 자동 평가를 지원하기 위해.

제안 방법

• 조화합을 재귀관계의 드알렘베르트 해로 형식화하고, 준셔플 대수적 구조를 수립한다.
• 리드론 단어를 사용하여 대수적으로 독립적인 조화합 기저를 구성하고, 단순화를 위한 환원 규칙을 유도한다.
• 확장된 멜린 변환을 통해 조화합에 대한 미분 연산자를 정의하고, 새로운 대수적 항등식을 생성한다.
• 역 멜린 변환을 적용하여 조화다이로그함수를 다중 조화합으로 매핑하고, 구조적 분석을 가능하게 한다.
• 셔플 및 준셔플 대수적 항등식을 활용하여 특정 유형의 중첩된 합을 조화합 표현으로 재작성하는 알고리즘을 개발한다.
• HarmonicSums 패키지를 Sigma 합계 시스템과 통합하여, 섭동 양자장이론에서의 파인먼 적분 평가를 자동화한다.

실험 결과

연구 질문

• RQ1 조화합과 관련 특수함수들은 기호 계산에서 어떻게 체계적으로 표현되고 다룰 수 있는가?
• RQ2 조화합의 기초 대수적 구조는 무엇이며, 최소한의 대수적으로 독립적인 기저는 어떻게 구성할 수 있는가?
• RQ3 조화합에 대해 일관성 있게 미분 연산을 정의할 수 있는가? 이 연산으로부터 어떤 새로운 대수적 관계가 도출되는가?
• RQ4 어떤 알고리즘적 방법을 통해 복잡한 중첩된 합을 조화합 표현으로 변환할 수 있는가?
• RQ5 HarmonicSums와 Sigma의 조합적 사용은 입자물리학에서 다중 스케일 파인먼 적분의 평가를 어떻게 지원하는가?

주요 결과

• 조화합은 준셔플 대수를 이루며, 리드론 단어를 활용하여 대수적으로 독립적인 합의 기저를 구성할 수 있고, 그 수는 모비우스 역전개로 주어진다.
• 확장된 멜린 변환을 통해 조화합에 대한 미분 연산을 정의할 수 있으며, 이는 서로 간에 비트리비얼한 새로운 대수적 관계를 이끌어낸다.
• 다중 조화합의 역 멜린 변환은 알고리즘적으로 계산 가능하며, 가장 복잡한 합은 재귀적 환원 과정을 통해 식별된다.
• 특정 유형의 중첩된 합을 조화합 표현으로 재작성하는 새로운 알고리즘이 제안되며, 이는 기호 계산에서의 단순화 및 평가를 가능하게 한다.
• HarmonicSums와 Sigma 패키지의 통합은 비틀림 있는 양자장이론 예제들을 통해 파인먼 적분의 자동 평가를 가능하게 하였다.
• 이 프레임워크는 양성광역역학에서의 비틀림 3계단계까지의 비정상 차원과 윌슨 계수의 계산을 성공적으로 지원하였다.