[논문 리뷰] Congruence properties for the trinomial coefficients

Moa Apagodu, Ji-Cai Liu|arXiv (Cornell University)|2019. 07. 31.

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

한 줄 요약

이 논문은 소수의 거듭제곱 모듈로에 대한 삼항계수의 새로운 합동성 성질을 확립하며, 월스턴홀름 정리와 같은 고전적 결과를 확장한다. 조합 항등식과 모듈로 산술을 사용하여, 임의의 소수 $p \geq 5$에 대해 $\binom{2p}{p} \equiv 2 \pmod{p^2}$임을 증명하고, 단일 및 이중 합에 대한 관련 합동식을 유도하며, 레지오드 표기와 카탈란 유사 합과의 연결을 포함한다.

ABSTRACT

In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem.

연구 동기 및 목표

• 월스턴홀름 정리와 같은 고전적 합동정리들을 삼항계수로 확장하기.
• 소수의 거듭제곱 모듈로에서 삼항계수 합의 행동을 조사하기.
• 기존의 이항계수 합 합동식(예: 선-타라소)의 유사체를 삼항계수로 확립하기.
• 중앙 삼항계수 합동식에 대한 $q$-해석 추측을 제안하기.
• 삼항계수, 레지오드 표기, 그리고 소수 모듈로에서의 조합 항등식 간의 관계 탐색하기.

제안 방법

• 삼항계수의 중심항인 $\binom{2p}{p}$에 대한 조합 항등식을 $ (1+x+x^{-1})^n = \sum_{j=-n}^n \binom{n}{j} x^j $ 전개를 통해 유도하기.
• 이항계수 및 삼항계수 합의 분석을 위해 $p^2$ 모듈로에서의 모듈로 산술 기법 적용하기.
• 예를 들어 $\sum_{k=1}^{(p-1)/2} \frac{1}{k} \binom{2k}{k} \equiv 0 \pmod{p}$ 와 같은 알려진 합동식을 이용해 고차수 합을 단순화하기.
• 생성함수 항등식과 $\sum_{k=m}^n \binom{k}{m} = \binom{n+1}{m+1}$ 항등식을 사용하여 이중합 계산하기.
• 이항계수의 소수 모듈로에서의 대칭성 및 주기성 성질을 활용하여 $\mathbb{Z}/p\mathbb{Z}$ 위의 합을 줄이기.
• 수치적 증거를 바탕으로 $q$-정수 $[p]_q = (1-q^p)/(1-q)$를 사용한 $q$-해석 추측 제안하기.

실험 결과

연구 질문

• RQ1 삼항계수에 대해 $p^3$ 모듈로에서 월스턴홀름 정리와 유사한 합동식이 성립하는가?
• RQ2 단일 및 이중 삼항계수 합은 $p^2$ 모듈로에서 $3^p$와 레지오드 표기로 표현될 수 있는가?
• RQ3 소수 $p$에 대해 $0 < j < p$일 때 $\sum_{k=0}^{p-1} \binom{k}{j}$는 모듈로 $p$에서 어떻게 행동하는가?
• RQ4 합 $\sum_{m=0}^{p-1} \sum_{n=0}^{p-1} \binom{m}{n}$은 모듈로 $p$에서 어떻게 행동하는가?
• RQ5 합동식 $\binom{2p}{p} \equiv 2 \pmod{p^2}$에 대한 $q$-해석이 존재하는가? 존재한다면 그 형태는 무엇인가?

주요 결과

• 임의의 소수 $p \geq 5$에 대해 중심 삼항계수는 $\binom{2p}{p} \equiv 2 \pmod{p^2}$를 만족하며, 이는 월스턴홀름 정리의 직접적인 유사체이다.
• 합 $\sum_{j=0}^{p} \binom{p}{j} \equiv \frac{1}{2}(1 + 3^p) \pmod{p^2}$이며, 이는 삼항계수 합과 3의 거듭제곱 간의 연결을 보여준다.
• 합 $\sum_{j=0}^{p-1} \binom{p-1}{j} \equiv \frac{1}{2}\left(1 + \left(\frac{p}{3}\right)\right) \pmod{p}$이며, 여기서 $\left(\frac{\cdot}{p}\right)$는 레지오드 표기이다.
• $0 < j < p$일 때 $\sum_{k=0}^{p-1} \binom{k}{j} \equiv \frac{(-1)^j + 1}{2} \cdot (-1)^{(p-j-1)/2} \pmod{p}$이며, 이는 $j$의 기수성에 따라 달라지는 것을 보여준다.
• 이중합 $\sum_{m=0}^{p-1} \sum_{n=0}^{p-1} \binom{m}{n} \equiv \frac{1}{2}\left((-1)^{(p-1)/2} + 1\right) \pmod{p}$이며, 이는 $p \equiv 1 \pmod{4}$이면 1, $p \equiv 3 \pmod{4}$이면 0이 된다.
• 중앙 삼항계수 합동식에 대한 $q$-해석 추측이 제안되었으며, 다음과 같다: $\left(\binom{2p}{p}\right)_q \equiv 2\left\lfloor\frac{p+3}{6}\right\rfloor + p \right)(q^p - 1) + 2 \pmod{[p]_q^2}$, 이는 $q \to 1$일 때 고전적 결과로 줄어든다.