[논문 리뷰] Various congruences involving binomial coefficients and higher-order Catalan numbers

Zhi‐Wei Sun|ArXiv.org|2009. 09. 21.

Advanced Mathematical Identities참고 문헌 11인용 수 10

한 줄 요약

이 논문은 가중치가 부여된 이항계수의 합과 고차항 카탈란 수에 대해 소수의 거듭제곱을 법으로 하는 새로운 합동식을 수립한다. 특히 $\Sigma_{k=0}^{p^a-1} \binom{3k}{k}/m^k$ 및 $\sum_{k=0}^{p^a-1} C_k^{(3)}/5^k$를 소수 $p$를 법으로 다룬다. 제3차 및 제4차 선형 재귀관계, 세제곱 잔여물, 그리고 야코비 기호를 사용하여 레이먼드 기호와 재귀 수열을 포함하는 정확한 평가를 유도한다. 이는 이전의 일반화된 카탈란 수와 이항계수 합의 소수를 법으로 한 연구를 확장한다. 주요 결과는 $\sum C_k^{(3)}/5^k \equiv 1 \pmod{p}$ 및 $\sum \bar{C}_k^{(3)}/5^k \equiv 3 \pmod{p}$의 닫힌 표현식으로, $\left(\frac{-2}{p^a}\right)$에 따라 명시적인 공식이 도출된다.

ABSTRACT

Let $p$ be a prime and let $a$ be a positive integer. In this paper we investigate $\sum_{k=0}^{p^a-1}\binom[(h+1)k,k+d]/m^k$ modulo a prime $p$, where $d$ and $m$ are integers with $-h

연구 동기 및 목표

• 이항계수의 합과 카탈란 수에 대한 기존의 소수의 거듭제곱을 법으로 한 합동식을 확장한다. 특히 $\sum \binom{3k}{k}/m^k$ 및 $\sum C_k^{(3)}/5^k$를 소수의 거듭제곱 $p^a$를 법으로 한다.
• 제3차 및 제4차 선형 재귀 수열과 세제곱 잔여물의 성질을 사용하여 이러한 합의 정확한 평가를 도출한다.
• 조우, 판, 선, 선-타라소가 이전에 발표한 $\binom{3k}{k}$, $C_k^{(2)}$, $\binom{4k}{k}$를 포함하는 합에 대해 소수 $p$를 법으로 한 결과를 일반화한다.
• 야코비 기호, 재귀 수열, 제3차 일반화된 카탈란 수를 포함하는 합의 구조 사이의 연결 고리를 확립한다.

제안 방법

• 논문은 특성 다항식이 각각 $(1+x)^3 - mx^2$ 및 $(1+x)^4 - (4^4/3^3)x^3$와 관련된 제3차 및 제4차 선형 재귀 수열 $u_n$과 $v_n$을 사용한다.
• 세제곱 잔여물 이론과 세제곱 야코비 기호 $\left(\frac{\cdot}{n}\right)_3$를 사용하여 소수 $p$를 법으로 한 합의 구조를 분석한다.
• 이 방법은 $\sum_{k=0}^{p^a-1} \binom{3k}{k+d}/m^k$ 형태의 합을 재귀 수열 $u_n$과 $v_n$으로 표현하며, 소수를 법으로 한 항등식을 활용한다.
• 페르마의 소정리와 루카스 수열의 성질을 적용하여 지수를 $p^a$를 법으로 간소화한다. 특히 $u_{n-p^a} \equiv \text{rational function of } u_n, u_{n+1} \pmod{p}$를 사용한다.
• 삼차 및 사차 다항식의 판별식을 사용하여 기약성과 스티클버거 정리를 적용하여 레이먼드 기호의 값을 분석한다.
• 생성함수와 대칭 다항식 항등식을 사용하여 핵심 항등식을 도출한다. 특히 $\sum \binom{4k}{k}/5^k$와 $\sum \bar{C}_k^{(3)}/5^k$를 재귀 항의 선형 조합으로 연결한다.

실험 결과

연구 질문

• RQ1 홀수 소수 $p$와 $a \in \mathbb{Z}^+$에 대해 $\sum_{k=0}^{p^a-1} \frac{\binom{3k}{k}}{5^k} \pmod{p}$의 값은 무엇인가?
• RQ2 가중치 $1/5^k$를 부여한 고차항 카탈란 수 $C_k^{(3)}$와 $\bar{C}_k^{(3)}$를 포함하는 합은 소수 $p$를 법으로 어떻게 행동하는가?
• RQ3 $\sum_{k=0}^{p^a-1} \frac{\binom{4k}{k}}{5^k}$는 소수 $p$를 법으로 재귀 수열로 표현될 수 있는가?
• RQ4 레이먼드 기호 $\left(\frac{-2}{p^a}\right)$는 $\sum \binom{4k}{k}/5^k$가 소수 $p$를 법으로 하는 합동류를 결정하는 데 어떤 역할을 하는가?
• RQ5 $p^a \equiv 1 \pmod{6}$일 때, 합 $\sum_{k=1}^{p^a-1} \frac{\binom{3k}{k}}{6^k(k+1)} \equiv 0 \pmod{p}$가 성립하는 조건은 무엇인가?

주요 결과

• 재귀 감소와 야코비 기호 분석을 통해 $\sum_{k=0}^{p^a-1} \frac{C_k^{(3)}}{5^k} \equiv 1 \pmod{p}$가 성립함을 입증한다. 여기서 $C_k^{(3)} = \frac{1}{4}\binom{4k}{k} - 3\binom{4k}{k-1}$이다.
• 대칭적인 재귀 수열 조합을 사용하여 $\sum_{k=0}^{p^a-1} \frac{\bar{C}_k^{(3)}}{5^k} \equiv 3 \pmod{p}$가 도출된다. 여기서 $\bar{C}_k^{(3)} = 3\binom{4k}{k} - \binom{4k}{k+1}$이다.
• $m=5$일 때, $\sum_{k=0}^{p^a-1} \frac{\binom{4k}{k}}{5^k} \equiv \frac{44 + \left(\frac{-2}{p^a}\right)}{288} \pmod{p}$로 표현되며, 이 값은 레이먼드 기호 $\left(\frac{-2}{p^a}\right)$에 따라 달라진다.
• 제4차 재귀관계와 지수의 모듈로 간소화를 통해 $\sum_{k=0}^{p^a-1} \frac{3^{3k}}{4^{4k}} \binom{4k}{k} \equiv \frac{44 + \left(\frac{-2}{p^a}\right)}{288} \pmod{p}$가 도출된다.
• 재귀 항의 선형 조합을 통해 $\sum_{k=0}^{p^a-1} \frac{3^{3k}}{4^{4k}} \binom{4k}{k-1} \equiv -\frac{220 + 23\left(\frac{-2}{p^a}\right)}{864} \pmod{p}$가 얻어진다.
• $p>3$이고 $p^a \equiv 1 \pmod{6}$일 때, $\sum_{k=1}^{p^a-1} \frac{\binom{3k}{k}}{6^k(k+1)} \equiv 0 \pmod{p}$ 및 $\sum_{k=1}^{p^a-1} \frac{\binom{3k}{k-1}}{6^k} \equiv 0 \pmod{p}$가 기약성과 스티클버거 정리를 사용하여 증명된다.