[논문 리뷰] Iterated Integrals and Multiple Polylogarithm at Algebraic Arguments

Kam Cheong Au|arXiv (Cornell University)|2022. 01. 05.

Advanced Mathematical Identities인용 수 4

한 줄 요약

이 논문은 반복 적분과 대수적 수론을 활용하여 대수적 인수에서의 다중폴리로그 값들을 색칠된 다중 제타 값(CMZV)으로 체계적으로 표현하는 방법을 개발한다. 특정 폴리로그 값—예를 들어 황금비나 유리수 인수에서의 값—이 제한된 수준의 CMZV 공간에 속함을 증명함으로써 새로운 항등식과 비표준적 관계를 밝혀내며, Apéry 유사 급수와 고전적 폴리로그 항등식에의 적용이 가능하다.

ABSTRACT

By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple polylogarithms evaluated at roots of unity (cyclotomic multiple zeta values, CMZVs) can be equivalently expressed in terms of iterated integrals involving certain non-roots of unity. We apply this theory to elucidate previously unknown $\mathbb{Q}$-linear relations among CMZVs: they come from nontrivial solutions of certain $S$-unit equations in the function field of $\mathbb{P}^1(\mathbb{C})$, thereby attaining the motivic dimension for low level and weight. We introduce a datamine of CMZVs that appears to be the first rigorous compilation of this kind in the literature. In addition, we formulate several nontrivial Galois descent conjectures for multiple polylogarithms and present applications to certain Apéry-type infinite series.

연구 동기 및 목표

• 대수적 인수에서의 다중폴리로그 값들을 색칠된 다중 제타 값(CMZV) 공간으로 체계적으로 매핑하는 것.
• 기존의 대수적 또는 함수적 항등식으로는 포착되지 않는 CMZV 간의 비표준적 관계를 밝혀내는 것.
• 고전적 폴리로그 항등식과 Apéry 유사 급수를 증명하기 위한 통일되고 계산 가능한 프레임워크를 제공하는 것.
• 루트 오브 유니티를 초월하여 (\sqrt{5}-1)/2와 같은 대수적 수나 유리수 값을 포함한 CMZV 이론의 적용 범위를 확장하는 것.
• 특정 대수적 점에서의 CMZV 값과 반복 적분을 위한 명시적 계산을 위한 Mathematica 패키지 개발

제안 방법

• 로그 형태의 1-형식을 갖는 복소 프로젝티브 직선에서의 반복 적분을 사용하여 다중폴리로그를 표현하는 것.
• 경로를 따라 미분 형식의 당김을 적용하여 폴리로그 값들을 [0,1]에서의 적분으로 표현하고, 대수적 기저점을 사용하는 것.
• 셔플 곱 항등식과 경로의 병합 규칙을 활용하여 반복 적분을 분해하고 재조합하여 선형 조합으로 표현하는 것.
• 문제를 대수적 인수에서의 반복 적분 계산으로 환원하고, 이를 CMZV 공간의 기저 원소에 대한 Q-선형 조합으로 표현하는 것.
• 구멍이 난 복소 직선의 기본군의 구조를 활용하여 CMZV 간의 관계를 분류하고 계산하는 것.
• 특수한 대수적 인수와 무게에 대해 명시적으로 CMZV 값과 반복 적분을 계산하고 검증하기 위해 맞춤형 Mathematica 패키지를 활용하는 것.

실험 결과

연구 질문

• RQ1 어떤 대수적 인수 x에 대해 일반화된 폴리로그 Li_{s1,...,sk}(x)가 제한된 수준의 CMZV의 Q-선형 조합으로 표현될 수 있는가?
• RQ2 표준적인 함수적 또는 셔플 관계로 유도되지 않는 CMZV 간의 비표준 대수적 관계는 무엇이 있는가?
• RQ3 Coxeter의 ladder 항등식과 같은 고전적 폴리로그 항등식들이 반복 적분과 CMZV 대수를 통해 체계적으로 유도될 수 있는가?
• RQ4 이 프레임워크를 사용하여 조화수와 중심 이항계수를 포함하는 Apéry 유사 급수는 어느 정도의 범위에서 증명될 수 있는가?
• RQ5 특히 수준 12를 초월할 경우, 더 높은 무게나 더 높은 수준의 CMZV 공간에 적용했을 때 이 방법의 한계는 무엇인가?

주요 결과

• 최대 두 개의 xi가 황금비 (\sqrt{5}-1)/2일 때, 다중폴리로그 Li_{s1,...,sn}(x1,...,xn)은 CMZV^5_w에 속한다.
• z = -1/2, 1/3, 1/4, 1/9일 경우 일반화된 폴리로그 Li_{s1,...,sn}(z)는 CMZV^6_w에 속하고, z = 1 - \sqrt{2}, (4 - 3\sqrt{2})/8일 경우 CMZV^8_w에 속한다.
• z = -1/2일 경우, 최대 세 개의 인수가 -1/2이면 값은 CMZV^12_w에 속하며, 대수적 복잡도 증가에 따라 수준이 상승함을 보여준다.
• 이 방법은 Coxeter의 ladder 항등식을 성공적으로 증명한다: Li_2(ρ^20) = 2Li_2(ρ^10) + 15Li_2(ρ^4) - 10Li_2(ρ^2) + π²/5, 여기서 ρ = (\sqrt{5}-1)/2.
• 논문은 ∑ (-1)^{n-1}(10H_n - 3/n)/(n^3 binom(2n,n)) = π⁴/30 및 ∑ (-102H_n + 3H_{2n} + 28/n)/(n^4 binom(2n,n)) = -55π²ζ(3)/18 등의 Apéry 유사 급수에 대해 별도의 증명을 제공한다.
• 무게가 4를 초월하거나 수준이 12를 초월할 경우, CMZV 기저의 조합적 폭발과 고수준 공간에 대한 계산 도구의 부족으로 인해 이 방법의 적용이 제한된다.