[논문 리뷰] Some congruences for trinomial coefficients

Hui-Qin Cao, Hao Pan|arXiv (Cornell University)|2010. 06. 15.

Advanced Mathematical Identities참고 문헌 5인용 수 5

한 줄 요약

이 논문은 소수 거듭제곱 모듈로에서 삼항계수에 대한 새로운 합동식을 수립하며, 기존의 이항계수 결과를 확장한다. 생성함수, 재귀관계식, 레이지드르 기호의 성질을 사용하여, 소수 $ p $ 및 $ p^2 $ 모듈로에서 삼항계수의 합이 $ p \mod 3 $ 에 따라 주기적인 행동을 보임을 증명한다. 이는 교대합과 카탈란 수 유사 항을 포함한 정규화된 합에 대한 명시적 공식을 포함한다.

ABSTRACT

We prove several congruences for trinomial coefficients.

연구 동기 및 목표

• 이항계수 합동식의 기존 결과를 소수 거듭제곱 모듈로에서 삼항계수로 확장한다.
• 홀수 $ d $ 에 따라 달라지는 $ \sum_{k=0}^{p-1} \binom{k}{d}_2 \mod p $ 및 $ \mod p^2 $ 의 삼항계수 합에 대한 명시적 공식을 유도한다.
• 특히 작은 $ d $ 에 대해 교대합 $ \sum_{k=0}^{p-1} (-1)^k \binom{k}{d}_2 \mod p^2 $ 을 분석한다.
• Sun이 제기한 $ \sum_{k=0}^{p-1} \frac{T_k}{3^k} \mod p^2 $ 에 대한 추측을 증명한다. 여기서 $ T_k $ 는 중심 삼항계수이다.
• 생성함수와 조합 항등식을 통해 삼항계수 합을 재귀 수열과 레이지드르 기호 조건에 연결한다.

제안 방법

• 생성함수를 활용: $ (1+x+x^{-1})^n = \sum_{k=-n}^n \binom{n}{k}_2 x^k $ 를 사용하여 삼항계수의 부분합을 표현한다.
• 항등식 $ \sum_{k=0}^{n-1} \binom{k}{d}_2 = \sum_{\substack{k=1 \\ k+d \equiv 1 \mod 2}}^n \binom{n}{k} \binom{k-1}{(k+d-1)/2} $ 을 적용하여 합 평가를 이항계수 항등식으로 환원한다.
• 기존의 $ p $ 모듈로 합동식, 예를 들어 $ \binom{p}{k} \equiv 0 \mod p $ 과 $ \binom{p-1}{k} \equiv (-1)^k \mod p $ 를 사용하여 합을 단순화한다.
• 재귀 수열 $ \mathcal{S}_n $ 을 $ \mathcal{S}_0 = 0, \mathcal{S}_1 = 1, \mathcal{S}_{n+1} = 4\mathcal{S}_n - \mathcal{S}_{n-1} $ 로 정의하여 $ p $ 모듈로에서 합을 표현한다.
• 생성함수 변환: $ \sum_{k=0}^{p-1} \left( \frac{1+x+x^{-1}}{3} \right)^k = \frac{(1+x+x^{-1})^p / 3^p - 1}{(1+x+x^{-1})/3 - 1} $ 를 사용하여 $ \sum T_k / 3^k \mod p^2 $ 를 평가한다.
• 소수 제곱 모듈로에서의 이항계수 전개를 적용하여 계수를 추출한다. 이는 $ \binom{p}{k} \equiv (-1)^k p / k \mod p^2 $ 과 $ \binom{2p-3k}{p-1-3k} \equiv -3k \mod p $ 등을 포함한다.

실험 결과

연구 질문

• RQ1 홀수 $ d $ 와 짝수 $ d $ 에 대해 $ \sum_{k=0}^{p-1} \binom{k}{d}_2 \mod p $ 의 삼항계수 합은 어떻게 행동하며, 닫힌 형식으로 표현될 수 있는가?
• RQ2 홀수 $ d $ 에 대해 $ \frac{1}{p} \sum_{k=0}^{p-1} \binom{k}{d}_2 \mod p $ 의 구조는 무엇이며, 조화수 유사 합과 레이지드르 기호와 어떻게 관련되는가?
• RQ3 교대합 $ \sum_{k=0}^{p-1} (-1)^k \binom{k}{d}_2 \mod p^2 $ 은 특히 작은 $ d $ 에 대해 명시적으로 평가될 수 있는가?
• RQ4 $ \sum_{k=0}^{p-1} \frac{T_k}{3^k} \mod p^2 $ 의 값은 무엇이며, Sun의 추측에 따르면 $ p \mod 3 $ 에 따라 어떻게 달라지는가?
• RQ5 재귀 수열 $ \mathcal{S}_n $ 과 체비셰프 유사 다항식 $ v_n(x) $ 은 삼항계수 합의 합동식을 증명하는 데 어떻게 기여하는가?

주요 결과

• 홀수 $ d $ 에 대해 $ \frac{1}{p} \sum_{k=0}^{p-1} \binom{k}{d}_2 \equiv \frac{(-1)^{(d+1)/2}}{2} \left( \sum_{k=1}^{(d-1)/2} \frac{(-1)^k}{k} - 3 \sum_{\substack{1 \leq k \leq (d-1)/2 \\ 3 \mid k+p}} \frac{(-1)^k}{k} \right) \mod p $.
• 짝수 $ d $ 에 대해 $ \frac{1}{p} \left( (-1)^{d/2} \sum_{k=0}^{p-1} \binom{k}{d}_2 - (-1)^{(p-1)/2} \right) \equiv -3 \left( \frac{-2}{p} \right) \frac{\mathcal{S}_{(p - \genfrac{(}{)}{}{}{3}{p})/2}}{p} - 2 \sum_{0 \leq j < d/2} \frac{(-1)^j}{2j+1} + 3 \sum_{\substack{0 \leq j < d/2 \\ 3 \nmid p - 2j - 1}} \frac{(-1)^j}{2j+1} \mod p $.
• $ d = 0 $ 인 경우 $ \sum_{k=0}^{p-1} (-1)^k \binom{k}{0}_2 \equiv p \cdot \frac{3 \genfrac{(}{)}{}{}{p}{3} - 1}{2} \mod p^2 $.
• $ d = 1 $ 인 경우 $ \sum_{k=0}^{p-1} (-1)^k \binom{k}{1}_2 \equiv 1 - p \cdot \frac{3 \genfrac{(}{)}{}{}{p}{3} - 1}{2} \mod p^2 $.
• $ d = 2 $ 인 경우 $ \sum_{k=0}^{p-1} (-1)^k \binom{k}{2}_2 \equiv -2 + 3p \genfrac{(}{)}{}{}{p}{3} \mod p^2 $.
• $ \sum_{k=0}^{p-1} \frac{T_k}{3^k} $ 에 대해 $ \sum_{k=0}^{p-1} \frac{T_k}{3^k} \equiv \begin{cases} p \mod p^2 & \text{if } p \equiv 1 \mod 3, \\ 0 \mod p^2 & \text{if } p \equiv 2 \mod 3. \end{cases} $