[논문 리뷰] New harmonic number identities with applications

Roberto Tauraso|ArXiv.org|2009. 12. 13.

Advanced Mathematical Theories and Applications참고 문헌 7인용 수 7

한 줄 요약

이 논문은 스텁플 곱과 합계 규칙을 통한 재귀적 전개를 이용하여 총 무게 5 이하의 동차 다중 조화합수(MHS)의 곱의 합에 대해 명시적인 폐형 공식을 유도한다. 이러한 항등식을 적용하여, $ \sum_{k=0}^{p-1}(-1)^{ak}\binom{p-1}{k}^a$ 의 새로운 $p^6$ 합동식을 증명하고, 이는 이전 결과를 확장하며 $ \sum_{k=1}^{p-1}\frac{1}{k}\binom{2k}{k}$ 에 대한 정밀화된 $p^4$-합동식을 도출한다.

ABSTRACT

We determine the explicit formulas for the sum of products of homogeneous multiple harmonic sums $\sum_{k=1}^n \prod_{j=1}^r H_k(\{1\}^{λ_j})$ when $\sum_{j=1}^r λ_j\leq 5$. We apply these identities to the study of two congruences modulo a power of a prime.

연구 동기 및 목표

• 총 무게 ≤ 5인 동차 다중조화합수(MHS)의 곱의 합에 대해 명시적인 폐형 표현식을 유도하는 것.
• 스텁플 곱과 재귀적 합계 규칙을 기반으로 한 알고리즘적 절차를 개발하여 이러한 항등식을 유도하는 것.
• 이 항등식을 활용하여 소수의 고차 거듭제곱 모듈로에서 계수 이항계수를 포함한 합동식을 연구하는 것.
• 기존의 $p^6$ 모듈로에서 $ \sum_{k=0}^{p-1}(-1)^{ak}\binom{p-1}{k}^a$ 의 합동식을 확장하고 정밀화하는 것.

제안 방법

• 스텁플 곱을 사용하여 MHS의 곱을 더 높은 무게의 MHS의 음이 아닌 정수 계수 조합으로 재귀적으로 전개한다.
• 마지막 무게에 따라 $\sum_{k=1}^n H_k(\mathbf{s})$ 를 $H_n(\mathbf{s}')$ 과 $H_n(\mathbf{s}'', s_d-1)$ 로 표현하는 재귀적 합계 규칙을 적용한다.
• 스텁플 곱 항등식을 사용하여 유도된 표현식의 항들을 수집하고 간소화한다.
• 기존의 조합론적 항등식을 이용해 동차 MHS $H_n(\{1\}^d)$ 를 깊이 1의 MHS 곱으로 표현한다.
• 소수의 고차 거듭제곱 모듈로에서 알려진 조화합수의 합동식을 사용하여 $k=1$ 에서 $p-1$ 까지의 합을 평가한다.
• 모든 구성 요소를 결합하여 매개수 $a$ 를 가진 이항계수 합에 대한 최종 $p^6$ 합동식을 도출한다.

실험 결과

연구 질문

• RQ1 총 합 $ \sum_{j=1}^r \lambda_j \leq 5$ 일 때, 합 $ \sum_{k=1}^n \prod_{j=1}^r H_k(\{1\}^{\lambda_j})$ 에 대한 명시적인 폐형 공식은 무엇인가요?
• RQ2 스텁플 곱과 재귀적 합계 규칙을 체계적으로 적용하여 이러한 공식을 도출할 수 있는 방법은 무엇인가요?
• RQ3 소수 $p>5$ 에 대해 합 $ \sum_{k=0}^{p-1}(-1)^{ak}\binom{p-1}{k}^a$ 에 대해 $p^6$ 모듈로에서 성립하는 합동식은 무엇인가요?
• RQ4 기존의 $ \sum_{k=1}^{p-1}\frac{1}{k}\binom{2k}{k}$ 에 대한 $p^3$-합동식을 이러한 항등식을 사용하여 $p^4$ 로 개선할 수 있는가요?
• RQ5 베르누이 수와 조합 $X_p = \frac{B_{p-3}}{p-3} - \frac{B_{2p-4}}{4p-8}$ 은 이러한 조화합수 합동식에 어떻게 나타나는가?

주요 결과

• 총 무게 5 이하에서 $\sum_{k=1}^n H_k(1)$, $\sum_{k=1}^n H_k(\{1\}^2)$, $\sum_{k=1}^n H_k^2(1)$ 및 더 높은 곱까지 명시적인 공식이 도출되었다.
• 소수 $p>5$ 에 대해 합 $\sum_{k=1}^{p-1} H_k(1)$ 는 $\equiv -(p-1) + 2p^3 X_p \pmod{p^5}$ 를 만족한다. 여기서 $X_p = \frac{B_{p-3}}{p-3} - \frac{B_{2p-4}}{4p-8}$ 이다.
• 합 $\sum_{k=1}^{p-1} H_k(\{1\}^2)$ 는 $\equiv (p-1) + (4-2p)p^2 X_p \pmod{p^4}$ 를 만족한다.
• 합 $\sum_{k=1}^{p-1} H_k^2(1)$ 는 $\equiv 2(p-1) + (2-4p)p^2 X_p \pmod{p^4}$ 를 만족한다.
• 합 $\sum_{k=1}^{p-1} H_k(1)H_k(\{1\}^2)$ 는 $\equiv -3(p-1) -6p p X_p \pmod{p^3}$ 를 만족한다.
• 합 $\sum_{k=1}^{p-1} \frac{1}{k}\binom{2k}{k} \equiv -\frac{16}{3}p^2 X_p \pmod{p^4}$ 로 도출되었으며, 이는 기존의 $p^3$-합동식을 개선한 것이다.