[논문 리뷰] The sunrise integral and elliptic polylogarithms

Luise Adams, Christian Bogner외 1명|arXiv (Cornell University)|2016. 06. 30.

Advanced Mathematical Identities참고 문헌 33인용 수 6

한 줄 요약

이 논문은 두 차원 및 네 차원 시공간에서 질량이 있는 손오름 피아노 적분을 체계적으로 계산하기 위해 새로운 타입의 타원 다중로그함수인 E-함수와 ELi-함수를 도입한다. 반복 적분 구조와 미분방정식을 활용하여 두 차원에서는 임의의 질량에 대해 정확한 결과를 도출하고, 동일 질량의 경우 임의의 차수까지 로렌츠 전개를 수행하며, 고전적 다중로그함수의 범위를 초월한다.

ABSTRACT

We summarize recent computations with a class of elliptic generalizations of polylogarithms, arising from the massive sunrise integral. For the case of arbitrary masses we obtain results in two and four space-time dimensions. The iterated integral structure of our functions allows us to furthermore compute the equal mass case to arbitrary order.

연구 동기 및 목표

• 다중 루프 피아노 적분을 기술하는 데 있어 다중로그함수의 한계를 해결하고자 하며, 특히 질량이 있는 손오름 적분에 초점을 맞춘다.
• 임의의 질량과 차원에서 손오름 적분의 구조를 반영할 수 있는 타원 다중로그함수의 새로운 클래스를 개발하고자 한다.
• 차원 정규화에서 손오름 적분의 로렌츠 전개를 임의의 차수까지 체계적으로 계산할 수 있는 프레임워크를 제공하고자 한다.
• 등질량인 두 차원의 경우 기존 결과를 임의의 차수까지 확장하기 위해 미분방정식과 반복 적분 기반의 알고리즘을 개발하고자 한다.

제안 방법

• 클래식한 다중로그함수를 타원 구조로 일반화하기 위해 $ x^j / j^n $, $ y^k / k^m $, $ q^{jk} $를 포함하는 이중 합으로 새로운 함수 클래스인 ELi-함수를 정의한다.
• 반사 대칭성과 정규화 인자와 함께 ELi-함수를 조합하여 E-함수를 구성함으로써, 타원 곡선과 관련된 모듈러성 및 주기성 성질을 확보한다.
• E-함수의 반복 적분 구조를 활용하여 차원 정규화에서 발생하는 손오름 적분의 미분방정식을 해결한다.
• 차원 이동 관계를 적용하여 두 차원에서의 결과를 네 차원으로 확장하고 $ \mathcal{O}(\epsilon^0) $ 및 $ \mathcal{O}(\epsilon) $ 계수 간의 연결을 확립한다.
• 두 차원에서의 동일 질량 케이스에 대해 재귀 알고리즘을 개발하여 각 로렌츠 계수 $ \tilde{S}^{(j)} $ 를 ELi-함수의 반복 적분으로 표현한다.
• E-함수 클래스가 $ dq/q $ 에 대한 적분과 곱셈에 대해 닫혀 있음을 활용하여 모든 결과가 정의된 함수 공간 내에 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 다중로그함수의 범위를 초월하여 질량이 있는 손오름 적분을 체계적으로 기술할 수 있는 새로운 타원 다중로그함수의 클래스를 구성할 수 있는가?
• RQ2 이러한 새로운 함수를 사용하여 두 차원 및 네 차원에서 임의의 질량에 대해 손오름 적분을 어떻게 계산할 수 있는가?
• RQ3 이 프레임워크를 통해 동일 질량인 손오름 적분의 차원 정규화에서 모든 차수의 로렌츠 전개를 계산할 수 있는가?
• RQ4 반복 적분 구조는 어떻게 하여 미분방정식을 통한 고차수 계수의 재귀적 계산을 가능하게 하는가?
• RQ5 새로운 E-함수는 알려진 타원 다중로그함수와 타원 곡선 상의 모듈러 형식과 어떻게 관련되어 있는가?

주요 결과

• 임의 질량이 있는 두 차원에서의 손오름 적분은 E-함수와 다중로그함수로 표현되며, 이 결과는 $ \epsilon $-전개의 모든 차수에서 유효하다.
• 네 차원에서는 차원 이동 관계를 통해 $ \mathcal{O}(\epsilon^0) $ 계수를 명시적으로 계산하고, 두 차원에서의 $ \mathcal{O}(\epsilon) $ 결과와 연결한다.
• 두 차원에서의 동일 질량 케이스에서는 로렌츠 급수의 모든 계수 $ \tilde{S}^{(j)} $ 가 재귀 알고리즘을 통해 E-함수와 고전적 다중로그함수로 체계적으로 표현 가능하다.
• $ S^{(1)}(2,t) $ 의 미분방정식은 일계 및 이계 연산자로 분해되어 상수의 변동 기법을 적용하여 E-함수로 명시적 해를 도출할 수 있다.
• $ S^{(1)}(2,t) $ 의 비동차 항은 질량의 로그와 $ \mathcal{O}(\epsilon^0) $ 계수를 포함하며, 이는 자체적으로 E-함수로 표현된다.
• $ S^{(1)}(2,t) $ 에 기여하는 함수 $ E_R^{(1)} $ 는 $ \textrm{Li}_2, \textrm{Li}_3, \textrm{Li}_{2,1}, \textrm{E}_{3;1}, \textrm{E}_{0,1;-2,0;4} $ 의 선형 조합임을 보여주며, 필요한 연산에 대해 닫혀 있음을 확인한다.