[논문 리뷰] Feynman integrals and hyperlogarithms

Erik Panzer|arXiv (Cornell University)|2015. 03. 06.

Advanced Mathematical Identities참고 문헌 141인용 수 105

한 줄 요약

이 논문은 초월수의 다중지질함수를 사용하여 질량이 없는 3점 및 4점 피타고라스 적분을 평가하기 위한 엄밀한 프레임워크를 수립한다. 모든 이러한 적분이 표준적인 다중 제타 값 이외의 경우에도 ε 전개의 모든 차수에서 다중다중로그 함수의 선형 조합으로 표현될 수 있음을 증명한다. 저자들은 특이점을 추적하기 위한 새로운 알고리즘을 도입하고, 이를 맵라 패키지 HyperInt에 구현하여 복잡한 도형의 정확한 계산을 가능하게 하였다. 이는 질량이 없는 φ⁴ 이론에서 알려진 바 없는 첫 번째 카운터텀으로, 다중 제타 값으로 표현될 수 없지만, 6차 단위근에서의 다중다중로그 함수의 선형 조합(√3로 나누어진)으로 표현된다.

ABSTRACT

We study Feynman integrals in the representation with Schwinger parameters and derive recursive integral formulas for massless 3- and 4-point functions. Properties of analytic (including dimensional) regularization are summarized and we prove that in the Euclidean region, each Feynman integral can be written as a linear combination of convergent Feynman integrals. This means that one can choose a basis of convergent master integrals and need not evaluate any divergent Feynman graph directly. Secondly we give a self-contained account of hyperlogarithms and explain in detail the algorithms needed for their application to the evaluation of multivariate integrals. We define a new method to track singularities of such integrals and present a computer program that implements the integration method. As our main result, we prove the existence of infinite families of massless 3- and 4-point graphs (including the ladder box graphs with arbitrary loop number and their minors) whose Feynman integrals can be expressed in terms of multiple polylogarithms, to all orders in the epsilon-expansion. These integrals can be computed effectively with the presented program. We include interesting examples of explicit results for Feynman integrals with up to 6 loops. In particular we present the first exactly computed counterterm in massless phi^4 theory which is not a multiple zeta value, but a linear combination of multiple polylogarithms at primitive sixth roots of unity (and divided by $\sqrt{3}$). To this end we derive a parity result on the reducibility of the real- and imaginary parts of such numbers into products and terms of lower depth.

연구 동기 및 목표

• 분석적 정규화와 매개수 표현을 사용하여 양자장론에서 발산하는 피타고라스 적분을 체계적으로 평가할 수 있는 방법을 개발한다.
• 유클리드 영역 내 모든 질량이 없는 3점 및 4점 적분이 직접 발산하는 그래프를 평가하지 않고도 수렴하는 마스터 적분으로 환원될 수 있음을 확립한다.
• 통합, 특이점 추적, 해석적 계속을 위한 알고리즘을 포함하는 초월수의 다중지질함수의 자가 포함 이론을 제공한다.
• 계단 상자 그래프와 그 하위 구조의 무한한 가족이 ε 전개의 모든 차수에서 다중다중로그 함수로 표현 가능한 적분을 유도함을 증명한다.
• 해당 방법을 HyperInt 맵라 패키지에 구현하고, 구체적인 결과를 계산하며, 질량이 없는 φ⁴ 이론에서의 새로운 카운터텀을 포함한다.

제안 방법

• 피타고라스 적분을 단체 영역 위의 매개수 적분으로 표현하기 위해 슈윙거 매개수 표현을 사용한다.
• 스패닝 숲 다항식에서 유도된 재귀적 적분 공식을 적용하여 복잡한 적분을 간단한 구성 요소로 환원한다.
• 로그 특이점을 가진 반복 적분으로서의 초월수의 다중지질함수에 대한 새로운 형식을 도입하며, 셔플 대수와 접선 기저점(point)을 사용한다.
• 통합 경로 동안의 특이점 추적 및 발산한 극한의 정규화를 위한 알고리즘을 개발한다.
• 기호 적분, ε 전개, 다항식 인수분해를 수행할 수 있는 컴퓨터 대수 시스템(HyperInt)을 구현한다.
• 적분이 다중다중로그 함수로 환원될 수 있는지 판단하기 위해 호환성 그래프와 선형 환원 가능성 기준을 사용한다.

실험 결과

연구 질문

• RQ1 유클리드 영역 내 모든 질량이 없는 3점 및 4점 피타고라스 적분은 수렴하는 마스터 적분의 선형 조합으로 표현될 수 있는가?
• RQ2 계단 상자 그래프와 그 하위 구조의 피타고라스 적분이 ε 전개의 모든 차수에서 다중다중로그 함수로 환원될 수 있는 조건은 무엇인가?
• RQ3 다변수 초월수의 다중지질함수 적분에서 특이점은 통합 과정 중에 체계적으로 어떻게 추적하고 정규화할 수 있는가?
• RQ4 근의 단위근에서 평가된 다중다중로그 함수로 생성되는 수 체계의 구조는 어떠한가? 실수부와 허수부는 어떻게 분해되는가?
• RQ5 HyperInt 패키지는 다중 제타 값으로 표현될 수 없는 고루프 도형에 대해서도 정확한 결과를 계산할 수 있는가?

주요 결과

• 논문은 질량이 없는 3점 및 4점 피타고라스 적분이 모두 수렴하는 마스터 적분의 선형 조합으로 표현될 수 있음을 증명하며, 직접 발산하는 그래프를 평가할 필요 없이 이를 제거한다.
• 임의의 루프 수를 가진 계단 상자 그래프와 그 하위 구조의 무한한 가족이 ε 전개의 모든 차수에서 다중다중로그 함수로 표현 가능한 적분을 유도함을 보여준다.
• 질량이 없는 φ⁴ 이론에서 다중 제타 값이 아닌 첫 번째 정확한 카운터텀이 계산되었다: 이는 6차 원주율에서의 다중다중로그 함수의 선형 조합(√3로 나누어진)으로 표현된다.
• 짝성 결과가 도출되어 이러한 수치의 실수부와 허수부는 더 낮은 깊이의 곱이나 항으로 환원될 수 없음을 보여주며, 이는 그들의 불가약성을 시사한다.
• 최대 6루프까지의 도형에 대해 명시적인 결과가 제공되어, HyperInt 패키지가 고루프 진폭을 계산하는 데 실용적으로 효과적임을 입증한다.