[논문 리뷰] Congruences involving alternating multiple harmonic sum

Roberto Tauraso|ArXiv.org|2009. 05. 20.

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

한 줄 요약

이 논문은 소수 $p > 3$ 에 대해, 이항계수 $\binom{-1/2}{k}$ 를 포함하는 교대 다중 조화합에 대한 $p$-진 합동을 확립하며, 이 합동은 $p^3$ 모듈로에서 음의 조화합 $-\sum_{k=1}^{(p-1)/2} \frac{1}{k}$ 와 합동임을 보여준다. 이 결과는 페르마 몫과 베르누이 수를 포함하는 고급 교대 다중 조화합 및 이항계수 전개에 기반한, 기존의 알려진 $p$-진 로그 항등식을 더 높은 정밀도로 개선한다.

ABSTRACT

We show that for any prime prime $p ot=2$ $$\sum_{k=1}^{p-1} {(-1)^k\over k}{-{1\over 2} \choose k} \equiv -\sum_{k=1}^{(p-1)/2}{1\over k} \pmod{p^3}$$ by expressing the l.h.s. as a combination of alternating multiple harmonic sums.

연구 동기 및 목표

• 이론적으로 $p$-진 해석을 사용하여 합 $\sum_{k=1}^{p-1} \frac{(-1)^k}{k} \binom{-1/2}{k}$ 에 대한 $p^3$-합동을 확립한다.
• 기존의 $p$-진 로그 항등식 $\sum_{k=1}^{p-1} \frac{(-1)^k}{k} \binom{-1/2}{k} \equiv 2q_p(2) \pmod{p}$ 를 더 높은 정밀도로 개선한다.
• 깊이 2이면서 음수 인덱스를 가진 교대 다중 조화합에 대해 $p$ 모듈로에서 새로운 합동을 유도한다.
• 페르마 몫 $q_p(2)$ 와 $B_{p-3}$ 을 포함하는 $p^3$-합동을 통해 합을 음의 조화합 $-\sum_{k=1}^{(p-1)/2} \frac{1}{k}$ 과 연결한다.

제안 방법

• 생성함수를 이용하여 합 $\sum_{k=1}^{p-1} \frac{(-1)^k}{k} \binom{-1/2}{k}$ 를 교대 다중 조화합의 조합으로 표현한다.
• 교대 다중 조화합의 역전 및 셔플 항등식을 적용하여 깊이 2 합을 $p$ 모듈로로 간소화한다.
• 기존의 비교적 교대가 아닌 조화합에 대한 $p^2$ 와 $p^3$ 모듈로 합동을 활용하며, 베르누이 수와 페르마 몫을 포함한다.
• 특히 $\binom{2p}{j} \equiv -2p/j + 4p^2 H(1;j-1)/j \pmod{p^3}$ 와 같은 $p^3$ 모듈로에서의 이항계수 전개를 사용한다.
• 합의 스케일링 인자를 반전하기 위해 항등식 $4^{p-1} \equiv 1 - 2q_p(2)p + 3q_p(2)^2p^2 \pmod{p^3}$ 을 적용한다.
• 모든 항을 대수적 조작과 모듈로 역산을 통해 결합하여 최종적인 $p^3$-합동을 도출한다.

실험 결과

연구 질문

• RQ1 기존의 $p$-진 합동 $\sum_{k=1}^{p-1} \frac{(-1)^k}{k} \binom{-1/2}{k} \equiv 2q_p(2) \pmod{p}$ 에 대한 $p^3$-진 정밀도 개선은 무엇인가?
• RQ2 교대 다중 조화합의 음수 인덱스는 어떻게 고전적 조화합과 베르누이 수를 $p^3$ 모듈로에서 연결할 수 있는가?
• RQ3 합 $\sum_{k=1}^{p-1} \frac{(-1)^k}{k} \binom{-1/2}{k}$ 는 $-\sum_{k=1}^{(p-1)/2} \frac{1}{k}$ 와 $p^3$-합동으로 표현될 수 있는가?
• RQ4 깊이 2인 교대 다중 조화합인 $H(-1,-2;p-1)$ 과 $H(-1,-1,1;p-1)$ 에 대해 $p$ 모듈로에서 새로운 합동은 무엇이 도출되는가?

주요 결과

• 소수 $p > 3$ 에 대해 합 $\sum_{k=1}^{p-1} \frac{(-1)^k}{k} \binom{-1/2}{k}$ 는 $p^3$ 모듈로에서 $2q_p(2) - p q_p(2)^2 + \frac{2}{3}p^2 q_p(2)^3 + \frac{7}{12}p^2 B_{p-3} \pmod{p^3}$ 와 합동이다.
• 이 합은 $p^3$ 모듈로에서 $-\sum_{k=1}^{(p-1)/2} \frac{1}{k}$ 와 합동이며, 이를 통해 고전적 조화합과 직접 연결된다.
• 소수 $p \neq 2$ 에 대해 합동 $H(-1,-2;p-1) \equiv -\frac{3}{4}B_{p-3} \pmod{p}$ 가 성립한다.
• 소수 $p \neq 2$ 에 대해 합동 $H(-1,-1,1;p-1) \equiv q_p(2)^3 + \frac{7}{8}B_{p-3} \pmod{p}$ 가 확립된다.
• 이항계수 전개를 통해 항등식 $4^{p-1} \sum_{k=1}^{p-1} \frac{(-1)^k}{k} \binom{-1/2}{k} \equiv 2q_p(2) + 3p q_p(2)^2 + \frac{2}{3}p^2 q_p(2)^3 + \frac{7}{12}p^2 B_{p-3} \pmod{p^3}$ 이 도출된다.
• 원래 합을 $p^3$ 모듈로에서 복원하기 위해 역스케일링 $4^{-(p-1)} \equiv 1 - 2q_p(2)p + 3q_p(2)^2p^2 \pmod{p^3}$ 이 사용된다.