[논문 리뷰] A supercongruence involving Delannoy numbers and Schröder numbers

Ji-Cai Liu|arXiv (Cornell University)|2016. 01. 07.

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

한 줄 요약

이 논문은 2011년 Z.-W. Sun이 제기한 추측을 확인하며, 소수 $p > 3$에 대해 $p^4$ 모듈로에서 Delannoy 수와 Schröder 수를 포함한 초우월한 합동식을 증명한다. 조합 항등식, $p$-진 해석학, 베르누이 수와 조화수의 성질을 활용하여, $\sum_{k=1}^{p-1} D_k S_k \equiv 2p^3 B_{p-3} - 2p H^*_{p-1} \pmod{p^4}$ 를 확립한다. 여기서 $B_n$는 베르누이 수이고 $H^*_{p-1}$는 교대 조화수이다.

ABSTRACT

The Delannoy numbers and Schröder numbers are given by \begin{align*} D_n=\sum_{k=0}^n{n\choose k}{n+k\choose k}\quad ext{and}\quad S_n=\sum_{k=0}^n{n\choose k}{n+k\choose k}\frac{1}{k+1}, \end{align*} respectively. Let $p>3$ be a prime. We mainly prove that \begin{align*} \sum_{k=1}^{p-1}D_k S_k\equiv 2p^3B_{p-3}-2pH^{*}_{p-1} \pmod{p^4}, \end{align*} where $B_n$ is the $n$-th Bernoulli number and those $H^{*}_n$ are the alternating harmonic numbers given by $H^{*}_n=\sum_{k=1}^{n}\frac{(-1)^k}{k}$. This supercongruence was originally conjectured by Z.-W. Sun in 2011.

연구 동기 및 목표

• 홀수 소수 $p > 3$에 대해 Delannoy 수와 Schröder 수를 포함한 초우월한 합동식을 $p^4$ 모듈로에서 증명하는 것.
• Z.-W. Sun(2011)이 제기한, 합 $\sum_{k=1}^{p-1} D_k S_k$ 가 베르누이 수와 교대 조화수와 관련된 추측을 확인하는 것.
• 고전적인 합동식을 $p$에서 $p^4$로 정밀화함으로써 조합 수에 대한 기존 합동식을 확장하는 것. 이는 고급 $p$-진 기법을 활용한다.

제안 방법

• 이중계수와 $D_k(x)$, $S_k(x)$의 생성함수를 포함한 조합 항등식을 활용하여, $\sum_{k=0}^{p-1} D_k(x) S_k(x)$의 삼중합 표현을 유도한다.
• Chu-Vandermonde 항등식과 $\sum_{k=s}^{n-1} \binom{k}{s} \binom{k+s}{s}$에 대한 합공식을 적용하여, 합을 $p$-진 해석학에 적합한 형태로 변환한다.
• $\sum_{s=0}^{m} \binom{2s}{s} \binom{s}{m-s} \frac{(-1)^s}{s+1} = (-1)^m$ 인 식을 사용하여, $p$-진 합을 단순화하고 상수항에 대한 합동식을 확립한다.
• $\frac{1}{k+p}$ 및 $\frac{1}{(k+p)^2}$의 $p$-진 전개를 적용하여, 고차수 합을 조화수 $H^{(2)}_s$와 베르누이 수를 포함한 표현으로 환원한다.
• Lehmer의 기존 합동식, 예를 들어 $\sum_{k=1}^{p-1} \frac{1}{k^2} \equiv \frac{2p}{3} B_{p-3} \pmod{p^2}$ 를 활용하여 합을 베르누이 수와 연결한다.
• 조화수의 대칭성 $H^{(2)}_s + H^{(2)}_{p-1-s} \equiv 0 \pmod{p}$ 과 이항계수의 $p$-진 정수성 조건을 활용하여 항을 제거하고 핵심 합동식을 분리한다.

실험 결과

연구 질문

• RQ1 소수 $p > 3$에 대해 합 $\sum_{k=1}^{p-1} D_k S_k$ 는 $p^4$ 모듈로에서 초우월한 합동식을 만족하는가?
• RQ2 2011년 Z.-W. Sun이 제기한, 이 합이 $2p^3 B_{p-3} - 2p H^*_{p-1}$ 와 관련된 추측을 $p$-진 방법을 통해 엄밀하게 증명할 수 있는가?
• RQ3 교대 조화수 $H^*_{p-1}$ 와 베르누이 수 $B_{p-3}$ 는 Delannoy 수와 Schröder 수를 포함한 합의 $p$-진 전개에서 어떻게 나타나는가?

주요 결과

• 논문은 모든 소수 $p > 3$에 대해 $\sum_{k=1}^{p-1} D_k S_k \equiv 2p^3 B_{p-3} - 2p H^*_{p-1} \pmod{p^4}$ 를 확인하며, Sun의 2011년 추측을 해결한다.
• $\sum_{k=0}^{p-1} D_k(x) S_k(x) \equiv 0 \pmod{p}$ 를 임의의 $p$로 나누어지지 않는 정수 $x$에 대해 성립함을 증명하여 기본적인 합동식을 확립한다.
• $\sum_{s=0}^{m} \binom{2s}{s} \binom{s}{m-s} \frac{(-1)^s}{s+1} = (-1)^m$ 인 식을 사용하여 $p$-진 합을 단순화하고 주요 항을 분리한다.
• $\sum_{k=1}^{p-1} \frac{1}{k^2} \equiv \frac{2p}{3} B_{p-3} \pmod{p^2}$ 합동식을 적용하여 조화합을 베르누이 수와 연결한다.
• $\sum_{s=0}^{p-1} H^{(2)}_s \equiv \sum_{k=1}^{p-1} \frac{p-k}{k^2} \pmod{p^4}$ 를 사용하여 $H^{(2)}_s$ 를 포함한 $p^3$ 차항을 평가하고 최종 결과를 이끌어낸다.
• 증명은 합을 범위 $m < p$ 와 $m \geq p$ 로 분할하고, $p$-진 전개를 활용하여 베르누이 수와 조화수 항의 기여를 분리하는 데 의존한다.