[논문 리뷰] Congruences Involving Multiple Harmonic Sums and Finite Multiple Zeta Values

Jianqiang Zhao|arXiv (Cornell University)|2014. 04. 14.

Advanced Mathematical Identities참고 문헌 7인용 수 4

한 줄 요약

이 논문은 소수 거듭제곱 $ p^r $ 와 서로소인 정수에 대한 다중 조화합수에 대해 새로운 초합동식을 수립한다. $ n = 2 $ 또는 $ 4 $ 일 때, 합 $ \sum_{i_1+\cdots+i_n=p^r,\, i_j\in\mathfrak{P}_p} \frac{1}{i_1\cdots i_n} \equiv -\frac{n!}{n+1}p^r B_{p-n-1} \pmod{p^{r+1}} $ 가 성립함을 증명한다. 또한 고차항의 경우는 베르누이 수로 생성되는 유한 다중 제타값과 관련이 있으며, PSLQ 기반의 수치적 증거에 의해 지지된다.

ABSTRACT

Let $p$ be a prime and ${\mathfrak P}_p$ the set of positive integers which are prime to $p$. Recently, Wang and Cai proved that for every positive integer $r$ and prime $p>2$ $$ \sum_{\substack{i+j+k=p^r\\ i,j,k\in{\mathfrak P}_p}} \frac1{ijk} \equiv -2p^{r-1} B_{p-3} \pmod{p^r}, $$ where $B_{p-3}$ is the $(p-3)$-rd Bernoulli number. In this paper we prove the following analogous result: Let $n=2$ or $4$. Then for every positive integer $r\ge n/2$ and prime $p>4$ $$ \sum_{\substack{i_1+\cdots+i_n=p^r\\ i_1,\dots,i_n\in{\mathfrak P}_p}} \frac1{i_1i_2\cdots i_n} \equiv -\frac{n!}{n+1} p^{r} B_{p-n-1} \pmod{p^{r+1}}. $$ Moreover, by using integer relation detecting tool PSLQ we can show that generalizations with larger integers $n$ should involving finite multiple zeta values generated by Bernoulli numbers.

연구 동기 및 목표

• 이전의 삼중 조화합수에 대한 합동식을 소수 거듭제곱 모듈로에서 고차항 다중 조화합수로 일반화한다.
• 모듈로 $ p^{r+1} $ 에서 $ n=2 $ 및 $ n=4 $ 에 대해 $ p^r B_{p-n-1} $ 를 포함하는 초합동식을 수립하며, 기존의 $ n=3 $ 에 대한 결과를 확장한다.
• 고차항 조화합수 합동식에서 유한 다중 제타값(FMZVs)의 구조적 역할을 탐색한다.
• 큰 $ n $ 에 대해 PSLQ 알고리즘을 사용하여 조화합수와 베르누이 수 사이의 대수적 관계를 수치적으로 탐지한다.
• 합 $ R_n^{(m)}(p) $, 즉 $ mp $ 에 합이 되는 $ n $-튜플의 합에 대해, FMZVs와 $ \mathcal{A} $-베르누이 수의 곱을 이용한 대수적 구조에 대한 추측을 수립하고 이를 지지한다.

제안 방법

• 대칭성과 대수적 연산을 이용해 $ n=4 $ 에 대해 특수한 인덱스에 대한 중첩 합으로 $ T_n(p,r) $ 를 줄인다.
• 포함배제 원리를 적용하여 $ \sigma(p^r) $ 를 $ p $ 모듈로의 합동 조건에 기반한 부분합으로 분해하며, 인덱스가 $ p $ 로 나누어지는지의 여부에 따라 경우를 구분한다.
• 제한된 인덱스를 가진 $ p $-제한 다중 조화합수(MHS)와 그들의 스텁 관계를 사용하여 대수적 구조와 합동 성질을 분석한다.
• 큰 $ n $ 에 대해 PSLQ 알고리즘을 사용하여 조화합수 값과 베르누이 수의 곱 사이의 정수 관계를 탐지하며, 이를 바탕으로 추측적 일반화를 가능하게 한다.
• 유한 다중 제타값(FMZVs)의 대수적 프레임워크를 $ \mathcal{A} $ 링에서 도입하며, $ \zeta_{\mathcal{A}}(s_1,\dots,s_d) $ 를 $ \mathcal{H}_p(s_d,\dots,s_1) $ 의 $ \mathcal{A} $-극한으로 정의한다.
• 특수한 $ \mathcal{A} $-베르누이 수 $ \beta_w = (B_{p-w}/w)_{p>w+2} $ 를 정의하고, 그들의 곱을 사용하여 $ R_n^{(m)}(p) $ 의 추측적 구조를 생성한다.

실험 결과

연구 질문

• RQ1 삼중 조화합수에 대한 초합동식은 $ n > 3 $ 인 고차항 다중 조화합수로 일반화될 수 있는가?
• RQ2 모듈로 $ p^{r+1} $ 에서 $ n=2,4 $ 일 때, 합 $ \sum_{i_1+\cdots+i_n=p^r,\, i_j\in\mathfrak{P}_p} \frac{1}{i_1\cdots i_n} $ 의 정확한 대수적 구조는 무엇인가?
• RQ3 유한 다중 제타값(FMZVs)과 $ \mathcal{A} $-베르누이 수는 다중 조화합수의 합동 구조와 어떻게 관련되는가?
• RQ4 큰 분모를 가진 경우에도 PSLQ 알고리즘이 $ n \geq 6 $ 에 대해 초합동식의 유리수 계수를 탐지할 수 있는가?
• RQ5 $ \mathcal{A} $-값을 가진 합 $ R_n^{(m)}(p) $ 는 항상 총 무게 $ n $ 인 $ \mathcal{A} $-베르누이 수의 곱으로 생성된 $ \mathbb{Q} $-벡터 공간에 포함되는가?

주요 결과

• 모든 소수 $ p > 4 $ 와 $ r \geq n/2 $ 에 대해 $ n=2 $ 및 $ n=4 $ 일 때, 합 $ T_n(p,r) \equiv -\frac{n!}{n+1}p^r B_{p-n-1} \pmod{p^{r+1}} $ 가 성립한다.
• 특히 $ n=4 $ 의 경우 포함배제 분해를 통해 세 부분합 $ s_I, s_{II}, s_{III} $ 로 나뉘며, $ s_{I} $ 와 $ s_{II} $ 가 모듈로 $ p^{2r+1} $ 에서 0으로 간주되어 $ s_{III} $ 가 주요 기여를 한다.
• PSLQ를 사용한 수치적 증거는 $ n=6 $ 일 때, 합 $ \sum \frac{1}{i_1\cdots i_6} \equiv c_6 p^2 B_{p-7} \pmod{p^3} $ 를 만족하며, $ c_6 \in \mathbb{Q} $ 이고, $ c_6 $ 의 분자와 분모가 모두 60자리 이상임을 시사한다.
• $ R_n^{(m)}(p) \in \mathsf{BN}_n $, 즉 총 무게 $ n $ 인 $ \mathcal{A} $-베르누이 수의 곱으로 생성된 $ \mathbb{Q} $-스팬이라는 추측은 $ n=12 $ 까지의 확인 사례에 의해 지지된다.
• 추측 7.2는 $ R_{11}^{(m)}(p) $ 와 $ R_{12}^{(m)}(p) $ 를 모듈로 $ p $ 에 대해 명시적인 공식으로 제공하며, $ B_{p-3}, B_{p-5}, B_{p-9}, B_{p-11} $ 와 이항계수의 곱을 포함한다.
• $ R_n^{(m)}(p) $ 의 구조는 유한 다중 제타값을 통해 표현 가능하며, $ \zeta_{\mathcal{A}}(s_1,\dots,s_d) $ 는 $ p $-제한 조화합수의 $ \mathcal{A} $-극한을 캡처한다.