[논문 리뷰] Hypergeometric Structures in Feynman Integrals

J. Blümlein, M. Saragnese외 1명|arXiv (Cornell University)|2021. 01. 01.

Algebraic and Geometric Analysis참고 문헌 20인용 수 1

한 줄 요약

이 논문은 스칼라 및 마스터 파인만 적분에서 발생하는 편미분방정식(PDE)을 초함수적 구조를 사용하여 자동으로 식별하고 해결하는 방법을 제시한다. 해를 형식적 테일러 급수로 전개하고, 전개 계수에 대한 선형 차분방정식으로 간소화함으로써, 저자들은 시그마 패키지와 히우리스티크 방법을 활용하여 유리수 및 포크하머 심볼 기반 해를 계산하며, 히르츠 하모닉 합과 일반화된 초함수를 도입하여 양자장론에서의 효율적 해석 계산을 가능하게 한다.

ABSTRACT

Hypergeometric structures in single and multiscale Feynman integrals emerge in a wide class of topologies. Using integration-by-parts relations, associated master or scalar integrals have to be calculated. For this purpose it appears useful to devise an automated method which recognizes the respective (partial) differential equations related to the corresponding higher transcendental functions. We solve these equations through associated recursions of the expansion coefficient of the multivalued formal Taylor series. The expansion coefficients can be determined using either the package { t Sigma} in the case of linear difference equations or by applying heuristic methods in the case of partial linear difference equations. In the present context a new type of sums occurs, the Hurwitz harmonic sums, and generalized versions of them. The code { t HypSeries} transforming classes of differential equations into analytic series expansions is described. Also partial difference equations having rational solutions and rational function solutions of Pochhammer symbols are considered, for which the code { t solvePartialLDE} is designed. Generalized hypergeometric functions, Appell-,~Kampé de Fériet-, Horn-, Lauricella-Saran-, Srivasta-, and Exton--type functions are considered. We illustrate the algorithms by examples.

연구 동기 및 목표

• 다중 스케일 파인만 다이어그램에서 스칼라 및 마스터 적분에 대한 편미분방정식을 체계적으로 분류하기 위해.
• 기존의 초함수 함수 클래스를 사용하여 이러한 PDE를 인식하고 해결하는 자동화된 방법을 개발하기 위해.
• 다중값 테일러 급수의 전개 계수를 선형 차분방정식을 통해 계산하기 위해.
• 히르츠 하모닉 합과 일반화된 포크하머 곱과 같은 새로운 합 유형을 도입하고 다루기 위해.
• HypSeries 및 solvePartialLDE 소프트웨어 패키지를 통해 파인만 적분의 기호적 평가를 위한 계산 프레임워크를 제공하기 위해.

제안 방법

• 적분별 부분(integration-by-parts, IBP) 관계를 사용하여 파인만 적분을 마스터 적분으로 간소화하기 위해.
• 마스터 적분을 매개변수 x₁, ..., xₙ의 {0, ..., 0} 주변에서의 형식적 다변수 테일러 급수로 표현하기 위해.
• 원래 PDE로부터 전개 계수에 대한 선형 차분방정식 유도하기 위해.
• 유리수 및 포크하머 심볼 해를 위한 시그마 패키지를 사용하여 유도된 차분방정식을 해결하기 위해.
• PDE를 해석적 급수 전개로 변환하기 위해 HypSeries 패키지를 적용하기 위해.
• 유리수 및 포크하머 함수 해를 갖는 부분 선형 차분방정식을 다루기 위해 solvePartialLDE 패키지를 사용하기 위해.

실험 결과

연구 질문

• RQ1 기존의 초함수 함수 클래스를 사용하여 다중 스케일 파인만 적분의 편미분방정식을 어떻게 체계적으로 분류할 수 있는가?
• RQ2 표준 2F1 함수를 초월하여 마스터 적분을 표현하는 데 있어 일반화된 초함수 함수(예: Appell, Horn, Lauricella)의 역할은 무엇인가?
• RQ3 기호 합산 도구를 활용하여 다중값 테일러 급수의 전개 계수를 어떻게 효율적으로 계산할 수 있는가?
• RQ4 이러한 적분의 급수 전개에서 새로운 특수함수 유형, 예를 들어 히르츠 하모닉 합은 어떤가?
• RQ5 시그마 및 히프시리즈와 같은 자동 기호 계산 도구가 양자장론의 고차수 PDE를 효과적으로 해결하는 데 적용될 수 있는가?

주요 결과

• 논문은 일반화된 초함수 함수를 사용하여 기호 합산의 적용 범위를 고차수 파인만 적분의 편미분방정식 해결으로 확장하는 데 성공했다.
• HypSeries 패키지는 PDE를 해석적 급수 전개로 변환할 수 있게 하며, 복잡한 예제의 경우 ExHypSeries.nb에서 1.32일의 계산 시간이 소요되었다.
• 전개 계수를 표현하기 위해 새로운 합 유형—히르츠 하모닉 합과 일반화된 포크하머 곱—이 필수적임을 규명하였다.
• 예시 평가에서 상수 C는 C ≈ 2.759413418790153909406713643175로 계산되었으며, 비트리비얼한 해석적 계속성은 ψ(1/2 + i√3/2) 및 e^(π√3/2)를 포함한다.
• solvePartialLDE 패키지는 유리수 및 포크하머 함수 해를 갖는 부분 선형 차분방정식을 해결할 수 있으며, 차수의 상한과 초기 조건 설정 기능도 제공한다.