임의 인자를 위한 타원 다중 다항로그의 고정밀 수치 평가

초록

본 논문은 GiNaC 프레임워크에 구현된 알고리즘을 제시한다. 타원 다중 다항로그(eMPL)를 임의의 복소 인자와 원하는 정밀도로 빠르게 계산하기 위해, 수렴성이 좋은 q‑시리즈 전개를 이용하고, 그 계수를 일반 다중 다항로그로 표현한다. 변환 및 정규화 단계로 함수들을 수렴 영역으로 이동시켜 고정밀 수치를 제공한다.

상세 분석

논문은 현대 입자 물리학에서 다중 루프 파인만 적분을 다루는 과정에서 등장하는 타원 곡선 위의 특수 함수, 즉 타원 다중 다항로그(eMPL)의 수치 평가 문제를 해결한다. 기존 공개 패키지는 τ 파라미터가 특정 영역에 있을 때만 수렴하는 q‑시리즈를 제공했으며, 복소 평면 전역에서의 사용이 제한적이었다. 저자들은 먼저 eMPL을 정의하는 적분 커널 g⁽ⁿ⁾(z,τ)를 q‑전개식으로 표현한다. g⁽¹⁾는 πcot(πz)와 이중 급수 형태의 q‑시리즈로, g⁽ᵏ⁾(k≥2)도 코사인·사인 함수와 ζ(k) 상수를 포함한 q‑시리즈로 전개된다. 여기서 q_τ=exp(2πiτ)이며, Im τ>√3/2 로 제한하면 |q|≲0.004 로 매우 작아 빠른 수렴을 보인다. 그러나 수렴 조건은 |Im z|<Im τ 로 제한되므로, 임의의 z에 대해 직접 전개가 불가능하다. 이를 해결하기 위해 저자들은 두 단계의 사전 처리 절차를 도입한다. 첫째, SL(2,ℤ) 변환을 이용해 τ를 기본 영역(F) 안으로 이동시킨 뒤, 필요시 τ→τ′=aτ+b/cτ+d 형태의 모듈러 변환을 적용해 Im τ′를 충분히 크게 만든다. 둘째, z를 격자 Λ_τ′에 대한 평행 이동 및 복소 평면 회전으로 변환해 |Im z′|<Im τ′ 를 만족하도록 만든다. 이러한 변환 후, eMPL은 q‑시리즈 형태

  ˜Γ(…;z,τ)=∑_{m=0}^∞ q_τ′^m C_m({z_i};z,τ′)

로 표현되며, 각 계수 C_m은 일반 다중 다항로그(G)와 다항식, 유리함수의 조합이다. 따라서 기존에 최적화된 MPL 라이브러리를 재활용해 고정밀 계산이 가능해진다. 정규화 과정에서는 (1,0) 형태의 특수 커널에서 발생하는 로그 발산을 텐셜 베이스 포인트(tangential base‑point) 기법으로 처리한다. 이때 로그의 분기 선택은 Im z>0 혹은 Re z∈(-0.5,0.5) 조건에 따라 자동으로 조정된다. 구현은 C++ 기반 GiNaC 1.8.10에 통합되었으며, CLN 라이브러리를 이용해 고정밀 실수·복소 연산을 수행한다. 메모리와 CPU 사용량은 입력 복잡도와 원하는 정밀도에 비례한다. 벤치마크 결과는 기존 패키지 대비 10배 이상 빠른 수렴 속도와, 복소 평면 전역에서의 안정적인 평가를 보여준다. 이 알고리즘은 향후 NNLO·N³LO 수준의 다중 루프 계산, 특히 질량이 큰 입자와 연관된 타원 곡선 구조를 가진 적분에 필수적인 도구가 될 것으로 기대된다.