[논문 리뷰] Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations

Johannes Bluemlein, Abilio De Freitas외 1명|arXiv (Cornell University)|2014. 07. 09.

Advanced Topics in Algebra참고 문헌 36인용 수 15

한 줄 요약

이 논문은 양자장이론에서 발생하는 결합된 미분 및 차분 방정식계의 $\varepsilon$-전개를 계산하기 위한 기호적 합산 방법을 제시한다. 미리 정의된 미분 필드/환 이론과 Sigma, HarmonicSums, EvaluateMultiSums 등의 Mathematica 패키지를 조합함으로써, 저자들은 중첩된 조화합수 및 이중합수를 포함한 로렌트 급수 해를 효율적으로 유도한다. 이는 3-루프의 질량이 있는 연산자 행렬원소, 특히 여섯 개의 질량이 있는 페르미온 라인을 가진 래더 그래프의 계산을 가능하게 한다.

ABSTRACT

We outline a new algorithm to solve coupled systems of differential equations in one continuous variable $x$ (resp. coupled difference equations in one discrete variable $N$) depending on a small parameter $ε$: given such a system and given sufficiently many initial values, we can determine the first coefficients of the Laurent-series solutions in $ε$ if they are expressible in terms of indefinite nested sums and products. This systematic approach is based on symbolic summation algorithms in the context of difference rings/fields and uncoupling algorithms. The proposed method gives rise to new interesting applications in connection with integration by parts (IBP) methods. As an illustrative example, we will demonstrate how one can calculate the $ε$-expansion of a ladder graph with 6 massive fermion lines.

연구 동기 및 목표

• 양자장이론에서 발생하는 결합된 미분 및 차분 방정식계의 $\varepsilon$-전개를 체계적으로 계산하기 위한 알고리즘을 개발한다.
• 질량이 있는 파인만 다이어그램에서 주석 통합수의 $\varepsilon$에 대한 로렌트 급수 해를 자동으로 도출할 수 있도록 한다.
• 다중 척도 QCD 계산에서 발생하는 결합된 시스템을 다룰 수 있도록, 차분 필드 및 환 기반의 기호적 합산 기법을 확장한다.
• 기호 도구를 이용한 복잡한 3-루프 질량이 있는 연산자 행렬원소를 평가하기 위한 계산 프레임워크를 제공한다.
• 이 방법이 여섯 개의 질량이 있는 페르미온 라인을 가진 래더 그래프에 대해 효과적으로 적용될 수 있음을 보여준다.

제안 방법

• 메린 변환을 통해 $x$에 대한 결합된 미분 방정식을 $N$에 대한 결합된 재귀관계로 변환한다.
• 비결합 알고리즘을 적용하여 하나의 주석 통합수에 대한 단일 재귀관계로 시스템을 단순화함으로써 체계적인 $\varepsilon$-전개를 가능하게 한다.
• $\varepsilon$-전개의 계수는 기호적 합산 도구, 특히 차분환 내의 Sigma 패키지와 관련 알고리즘을 사용하여 계산한다.
• EvaluateMultiSums 패키지를 활용하여 다중합수를 비정적 중첩 합수 및 곱수로 변환하고, SumProduction를 사용하여 합수를 주석 기저 형태로 축소한다.
• HarmonicSums를 통한 점근 전개를 이용하여 무한합의 경계와 극한 계산을 처리한다.
• 최종 결과는 생성함수와 기호적 합산을 이용한 메린 변환의 역변환을 통해 $x$-공간으로 재구성된다.

실험 결과

연구 질문

• RQ1 양자장이론에서 발생하는 결합된 미분 및 차분 방정식계는 기호적 합산을 통해 $\varepsilon$-전개에서 체계적으로 해결될 수 있는가?
• RQ2 다중 척도를 가진 주석 통합수의 $\varepsilon$-전개는 대수적 알고리즘을 통해 어떻게 효율적으로 계산할 수 있는가?
• RQ3 기반 차분 필드/환에 기초한 기호적 합산 도구는 복잡한 3-루프 질량이 있는 파인만 다이어그램을 어느 정도 다룰 수 있는가?
• RQ4 이 방법은 3-루프 질량이 있는 연산자 행렬원소의 모든 래더 토폴로지에 일반화하여 적용될 수 있는가?
• RQ5 질량이 있는 페르미온 6선을 가진 래더 그래프에 대한 $\varepsilon$-전개의 구조는 어떠한가?

주요 결과

• 이 방법은 여섯 개의 질량이 있는 페르미온 라인을 가진 3-루프 래더 그래프의 $\varepsilon$-전개를 성공적으로 계산하여, 조화합수 및 일반화된 조화합수의 형태로 명시적인 표현을 도출하였다.
• 적분 $D_4(N)$에 대한 $\varepsilon$-전개의 첫 세 계수는 유도되었으며, $\varepsilon^{-3}$ 항까지 포함되어 있으며, $S_1(N), S_2(N), S_3(N), S_4(N), S_{-3}(N), S_{-2,1}(N), S_{1,1}(N)$ 및 기타 일반화된 합수의 형태로 표현되었다.
• 합수의 비트리비알 조합, 예를 들어 $S_1(N)^2$, $S_2(N)$, $S_1(N)S_2(N)$ 등이 포함되어 있으며, 계수로는 $N$에 대한 유리함수가 사용되었다.
• 이 방법은 유리함수와 조화합수를 포함한 $\varepsilon^{-3}$ 항까지 처리할 수 있어 고차수 $\varepsilon$-전개의 능력을 입증하였다.
• $D_4(N)$의 최종 표현식에는 $\zeta_2$, $\zeta_3$, $(-1)^N$ 항이 포함되어 있어, 이 방법이 리만 제타값과 교대합수를 모두 포괄함을 보여주었다.
• 이 방법은 동일한 주석 통합수에 의존하는 모든 3-루프 질량이 있는 연산자 행렬원소의 자동 계산을 가능하게 하며, 보다 넓은 응용에 대비한 프레임워크가 준비되어 있다.