[논문 리뷰] p-adic valuations of some sums of multinomial coefficients

Zhi‐Wei Sun|arXiv (Cornell University)|2009. 10. 20.

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

한 줄 요약

이 논문은 중심 이항계수 및 카탈란 수와 관련된 다항계수 합의 p진 평가 및 합동식을 설정한다. 특히, $ m - 4 $를 나누는 홀수 소수 $ p $에 대해, $ \frac{1}{n} \binom{2k}{k}/m^k $의 형태를 가진 가중 합의 $ p $-진 평가가 $ u_p(n) $ 이상임을 증명하고, $ p^{u_p(m-4)} $ 모듈로 정확한 합동식을 유도한다. 이는 곡과 증의 이전 추측을 정교화하고, 소수 거듭제곱 모듈로에서 중심 이항계수 합에 대한 결과를 확장한다.

ABSTRACT

Let $m$ and $n>0$ be integers. Suppose that $p$ is a prime dividing $m-4$ but not dividing $m$. We show that $ν_p(\sum_{k=0}^{n-1}\frac{\binom{2k}k}{m^k})$ and $ν_p(\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k})$ are at least $ν_p(n)$, where $ν_p(x)$ denotes the $p$-adic valuation of $x$. Furthermore, if $p>3$ then $$n^{-1}\sum_{k=0}^{n-1}\frac{\bi{2k}k}{m^k}=\frac{\binom{2n-1}{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)})$$ and $$n^{-1}\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k}=\frac{C_{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)}),$$ where $C_k$ denotes the Catalan number $\binom{2k}{k}/(k+1)$. This implies several conjectures of Guo and Zeng [GZ]. We also raise two conjectures, and prove that $n>1$ is a prime if and only if $$\sum_{k=0}^{n-1}multinomial{(n-1)k}{k,...,k}=0 (mod n),$$ where $multinomial{k_1+...+k_{n-1}}{k_1,...,k_{n-1}}$ denotes the multinomial coefficient $(k_1+...+k_{n-1})!/(k_1!... k_{n-1}!)$.

연구 동기 및 목표

• Gu오와 증이 제기한 중심 이항계수 및 다항계수를 포함한 합의 $ p $-진 평가에 관한 미해결 추측을 해결하기 위해.
• 특히 판, 선, 선-타라소의 $ p^2 $ 모듈로 중심 이항계수 합에 대한 이전 결과를 일반화하기 위해.
• 조건이 만족될 때 $ \frac{1}{n} \binom{2k}{k}/m^k $ 형태의 합에 대해 정확한 $ p $-진 평가 하한과 정확한 합동식을 설정하기 위해.
• 다항계수 $ \binom{nk}{k,\theta,\theta} $ 로 이러한 결과를 확장하여, 소수 거듭제곱 모듈로에서 $ p $ 및 $ p^2 $ 에 대해 합동식을 증명하기 위해.
• 계산적 증거와 구조적 분석에 기반하여, $ m \not\to 1 \bmod 3 $ 인 경우 $ m^{-k} $ 를 포함한 합에 대한 $ 3 $-진 평가에 대한 새로운 추측을 제안하기 위해.

제안 방법

• p-진 평가 이론을 적용하여 $ \nu_p(m/n) = \nu_p(m) - \nu_p(n) $ 를 사용하고, 조건부 문장에 대해 아이버슨 괄호 표기법을 도입한다.
• 생성함수와 카탈란 수 $ C_k = \frac{1}{k+1}\binom{2k}{k} $ 의 성질을 활용하여 합을 알려진 조합적 항등식과 연결한다.
• 루카스 유사 정리와 $ p $-진 자릿수 분석을 사용하여 $ p $ 및 $ p^2 $ 모듈로 이항계수를 평가하며, 특히 $ \binom{jk}{k} $ 에 대해 적용한다.
• 윌슨의 정리와 글라이셔의 합동식 $ (p-1)! \equiv pB_{p-1} - p \pmod{p^2} $ 을 사용하여 $ p^2 $ 모듈로 합을 계산한다.
• 이항계수의 나눗셈에 관한 보조정리 2.3과 $ p $-진 자릿수 제약 조건에 관한 보조정리 4.1 을 활용하여 특정 자릿수 조건 하에서 0 모듈로가 되는 것을 증명한다.
• 기초와 기저를 이용한 귀납법과 $ p $-진 전개로 분해된 인덱스 $ k $ 를 사용하여 합을 $ p $ 모듈로 하위합으로 나누고, 이를 통해 재귀적 분석이 가능하게 한다.

실험 결과

연구 질문

• RQ1 만약 $ p \mid m - 4 $ 라면, $ \sum_{k=0}^{n-1} \frac{\binom{2k}{k}}{m^k} $ 의 $ p $-진 평가는 무엇이며, $ \nu_p(n) $ 과 어떻게 관련되는가?
• RQ2 동일한 조건 하에서 $ \sum_{k=0}^{n-1} \binom{n-1}{k}(-1)^k \frac{\binom{2k}{k}}{m^k} $ 의 $ p $-진 순서에서 $ \nu_p(n) $ 이하로 하한이 존재하는가?
• RQ3 모듈로 $ p^{\nu_p(m-4)} $ 에서 $ \frac{1}{n} \sum_{k=0}^{n-1} \frac{\binom{2k}{k}}{m^k} $ 의 정확한 합동식은 무엇이며, $ m $ 과 $ p $ 에 따라 어떻게 달라지는가?
• RQ4 만약 $ m $ 이 $ 4m \equiv 1 \pmod{p} $ 를 만족한다면, $ \sum_{k=0}^{p^a-1} \binom{2k}{k} m^k $ 이 $ p^{a+1} $ 모듈로 어떻게 행동하는가?
• RQ5 모듈로 $ 3 $ 에서 $ m^{-k} $ 를 포함한 합의 $ 3 $-진 평가가 $ \nu_3(m-1) $ 에 따라 하한이 존재하는가? 그리고 $ p=3 $ 에서 정확한 합동식은 무엇인가?

주요 결과

• 홀수 소수 $ p \mid m - 4 $ 라면, $ \nu_p\left( \sum_{k=0}^{n-1} \frac{\binom{2k}{k}}{m^k} \right) \geq \nu_p(n) $ 이고, 이는 이항계수를 포함한 교대합에도 동일하게 적용된다.
• 정규화된 합 $ \frac{1}{n} \sum_{k=0}^{n-1} \frac{\binom{2k}{k}}{m^k} \equiv \frac{\binom{2n-1}{n-1}}{4^{n-1}} + \delta_{p,3}[3 \mid n] \frac{m-4}{3} \binom{2n/3^{\nu_3(n)} - 1}{n/3^{\nu_3(n)} - 1} \pmod{p^{\nu_p(m-4)}} $.
• 모든 $ a \in \mathbb{Z}^+ $ 에 대해, $ \frac{1}{p^a} \sum_{k=0}^{p^a - 1} \frac{\binom{2k}{k}}{m^k} \equiv \frac{m-1}{3} \pmod{p} $ 이고, $ p \ne 3 $ 이면 값이 $ 1 $ 이며, $ p = 3 $ 이면 $ 1 + \frac{m-4}{3} $ 이다.
• 교대합은 $ \frac{1}{p^a} \sum_{k=0}^{p^a - 1} \binom{p^a - 1}{k} (-1)^k \frac{\binom{2k}{k}}{m^k} \equiv -1 \pmod{p} $ 를 만족하며, $ p \ne 3 $ 일 때 성립한다.
• 합 $ \sum_{k=0}^{3^a - 1} (-2)^k \binom{2k}{k} \equiv 3^a \pmod{3^{a+1}} $ 이고, $ p = 3 $ 과 $ p = 7 $ 에서 $ (-5)^k $ 에 대해서도 유사한 합동식이 성립한다.
• 특히 $ p = 3 $ 일 때, 논문은 $ \nu_3\left( \frac{1}{n} \sum_{k=0}^{n-1} \frac{\binom{2k}{k}}{m^k} \right) \geq \min\{ \nu_3(n), \nu_3(m-1) - 1 \} $ 라는 추측을 제기하며, $ 3^{\nu_3(m-1)} $ 모듈로 정확한 합동식을 제시한다.