[논문 리뷰] Hyper-Mahler measures via Goncharov-Deligne cyclotomy

Yajun Zhou|arXiv (Cornell University)|2022. 10. 31.

Molecular spectroscopy and chirality인용 수 4

한 줄 요약

이 논문은 곤차로프–델리뉴 주기적 수치—루트 오브 유니티에서의 다중다중로그함수의 $ \bbQ $-선형 조합—를 사용하여 $ k > 1 $ 인 경우 $ m_k(1+x_1+x_2) $ 와 $ m_k(1+x_1+x_2+x_3) $ 의 초-마일러 측도를 닫힌 형태로 평가한다. 이 측도들이 다중다중로그함수의 특수값들과 호프만의 다중지저항값들의 유리수 계수 선형조합으로 표현될 수 있음을 입증하며, 브라운의 반복적 적분과 HyperInt 및 MultipleZetaValues 패키지와 같은 계산 도구를 통해 명시적인 공식을 유도한다.

ABSTRACT

The hyper-Mahler measures $m_k( 1+x_1+x_2),k\in\mathbb Z_{>1}$ and $m_k( 1+x_1+x_2+x_3),k\in\mathbb Z_{>1}$ are evaluated in closed form via Goncharov-Deligne periods, namely $\mathbb Q$-linear combinations of multiple polylogarithms at cyclotomic points (complex-valued coordinates that are roots of unity). Some infinite series related to these hyper-Mahler measures are also explicitly represented as Goncharov-Deligne periods of levels $1$, $2$, $ 3$, $4$, $6$, $8$, $10$ and $12$.

연구 동기 및 목표

• 모든 정수 $ k > 1 $ 에 대해 초-마일러 측도 $ m_k(1+x_1+x_2) $ 와 $ m_k(1+x_1+x_2+x_3) $ 의 닫힌 형태 표현을 유도하는 것.
• 이 측도들을 곤차로프–델리뉴 주기적 수치, 즉 원주율 점에서의 다중다중로그함수의 특수값으로서의 $ \bbQ $-선형 조합으로 표현하는 것.
• 알고리즘적 및 분석적 기법을 통해 이러한 측도들이 $ \text{Li}_4(1/2) $, $ \theta_3 $, 그리고 $ \binom{2n}{n} $-가중 시리즈 등 알려진 상수들과 어떻게 연결되는지 밝혀내는 것.
• HyperInt 및 MultipleZetaValues 패키지를 사용하여 이러한 항등식의 알고리즘적 및 계산적 검증을 제공하는 것.
• 이 측도와 관련된 무한급수의 구조를 분석하고, 다양한 수준의 곤차로프–델리뉴 주기적 수치로 표현하는 것.

제안 방법

• 세제곱 단위근 $ \rho = e^{2\tau i/3} $ 에서 평가된 곤차로프의 다중다중로그함수 $ \text{Li}_{a_1,\nu,a_n}(z_1,\nu,z_n) $ 를 사용하며, $ (a_1,z_1) = (1,1) $ 인 경우를 제외함으로써 수렴성을 확보한다.
• 브라운의 $ \frak{M}_{0,n} $, 즉 $ n $ 개의 표본점이 있는 종수 0 곡선의 모듈리 공간 위에서의 호모토피 불변 반복 적분을 적용하여 랜덤 워크의 모멘트와 다중다중로그함수 항등식을 연결한다.
• 판저의 HyperInt 패키지와 아우의 MultipleZetaValues 패키지를 사용하여 다중다중로그함수 및 다중지저항값을 포함하는 항등식을 계산하고 검증한다.
• Euler의 적분 공식과 베타 함수 항등식을 이용하여 지수 마일러 측도의 적분 표현을 도출하고, $ s \to 0 $ 으로의 해석적 계속성을 확장한다.
• 로그적 정규화와 미분 시에의 피브레이팅 기법을 사용하여 발산하는 항을 다루고 $ \bbQ $-선형 스펜 내에서 대수적 일관성을 유지한다.
• $ \bbQ $-선형 스펜 추론을 적용하여 $ s=0 $ 에서의 지수 마일러 측도의 도함수가 $ \frac{\frak{Z}_{k+1}(6)}{\tau i} $ 에 속함을 보이며, 이를 원주율 다중지저항값과 연결한다.

실험 결과

연구 질문

• RQ1 초-마일러 측도 $ m_k(1+x_1+x_2) $ 와 $ m_k(1+x_1+x_2+x_3) $ 가 $ k > 1 $ 인 경우 특수값으로서의 다중다중로그함수를 사용하여 닫힌 형태로 표현될 수 있는가?
• RQ2 이 측도들이 곤차로프–델리뉴 주기적 수치의 $ \bbQ $-선형 조합으로 얼마나 잘 표현될 수 있는가?
• RQ3 이러한 초-마일러 측도들이 $ \text{Li}_4(1/2) $, $ \theta_3 $, 그리고 $ \binom{2n}{n} $-가중 급수와 같은 알려진 상수들과 어떻게 관련되어 있는가?
• RQ4 이 측도와 관련된 무한급수의 구조가 특정 수준의 곤차로프–델리뉴 주기적 수치로 체계적으로 단순화될 수 있는가?
• RQ5 $ \frak{M}_{0,n} $ 에서의 반복 적분이 랜덤 워크 모멘트와 다중지저항값, 다중로그함수를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 초-마일러 측도 $ m_1(1+x_1+x_2) $ 는 $ \frac{3}{2\tau} \text{Im}\big(\text{Li}_2(\rho)\big) $ 로 주어지며, 여기서 $ \rho = e^{2\tau i/3} $ 이다. 이는 곤차로프–델리뉴 주기적 수치를 통해 기존에 알려진 결과를 확인한다.
• $ k=2 $ 인 경우, $ m_2(1+x_1+x_2) $ 는 $ \text{Im}\big(\text{Li}_{2,1}(\rho,1)\big) $, $ \text{Im}\big(\text{Li}_2(\rho)\big) $, 그리고 $ \tau^2 $ 의 유리수 배로 이루어진 $ \bbQ $-선형 조합으로 표현된다.
• 측도 $ m_2(1+x_1+x_2+x_3) $ 는 $ \frac{12\theta_{-3,1}}{\tau^2} + \frac{\tau^2}{20} $ 와 같음을 보였으며, 여기서 $ \theta_{-3,1} $ 는 $ \text{Li}_4(1/2) $ 와 관련된 교대 이중합이다.
• 논문은 $ \frac{d^k}{ds^k} W_3(s)\big|_{s=0} \big/ \tau i \big\rfloor \frac{\frak{Z}_{k+1}(6)}{\tau i} $ 를 도출하여, 지수 마일러 측도의 도함수가 수준 6의 원주율 다중지저항값의 공간에 속함을 보였다.
• $ k=4 $ 인 경우, $ m_4(1+x_1+x_2) $ 는 $ \text{Im}\big(\text{Li}_{4,1}(\rho,1)\big) $, $ \text{Im}\big(\text{Li}_{3,2}(\rho,1)\big) $, $ \text{Im}\big(\text{Li}_{2,1,1,1}(\rho,1,1,1)\big) $ 과 유리수 항들, 특히 $ \frac{5923\tau^4}{2^4 \times 3^4 \times 5 \times 13} $ 의 $ \bbQ $-선형 조합으로 명시적으로 계산되었다.
• 논문은 $ \text{Re}\big(\text{Li}_{3,1}(\rho,1)\big) $, $ \text{Im}\big(\text{Li}_{2,1}(\rho,1)\big) $, 그리고 $ \big[\text{Im}(\text{Li}_2(\rho))\big]^2 $ 가 $ k=4 $ 표현식에 나타남을 확인하여, 실수부와 허수부가 고차 측도에서 수행하는 역할을 입증하였다.