[논문 리뷰] Generalized Legendre polynomials and related congruences modulo $p^2$

Zhi-Hong Sun|arXiv (Cornell University)|2011. 01. 27.

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

한 줄 요약

이 논문은 이항계수를 포함하는 하이퍼기하급수 유형의 합에 대한 $ p^2 $ 모듈로 합동식을 연구하기 위해 일반화된 레지온드르 다항식 $ P_n(a,x) $ 를 도입한다. 재귀관계와 $ p $-진 값의 성질을 사용하여 저자들은 $ P_{p-1}(a,x) \equiv (-1)^{\langle a\rangle_p} P_{p-1}(a,-x) \pmod{p^2} $ 를 증명한다. 이는 Rodriguez-Villegas와 Sun의 초합동식 추측을 일반화하고 통합한다. 특히 $ \sum_{k=0}^{p-1} \frac{\binom{2k}{k}^2}{16^k} \equiv \left(\frac{-1}{p}\right) \pmod{p^2} $ 와 같은 합에 대해 성립한다. 주요 기여는 이러한 합에 대한 $ p^2 $ 모듈로에서의 새로운 일반 합동식 프레임워크를 제공하는 것이다.

ABSTRACT

For any positive integer $n$ and variables $a$ and $x$ we define the generalized Legendre polynomial $P_n(a,x)=\sum_{k=0}^n\b ak\b{-1-a}k(\frac{1-x}2)^k$. Let $p$ be an odd prime. In the paper we prove many congruences modulo $p^2$ related to $P_{p-1}(a,x)$. For example, we show that $P_{p-1}(a,x)\e (-1)^{_p}P_{p-1}(a,-x)\mod {p^2}$, where $_p$ is the least nonnegative residue of $a$ modulo $p$. We also generalize some congruences of Zhi-Wei Sun, and determine $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k{54^{-k}}$ and $\sum_{k=0}^{p-1}\binom ak\binom{b-a}k\mod {p^2}$, where $[x]$ is the greatest integer function. Finally we pose some supercongruences modulo $p^2$ concerning binary quadratic forms.

연구 동기 및 목표

• 이항계수를 포함하는 하이퍼기하급수에 대한 Rodriguez-Villegas와 Sun의 $ p^2 $ 모듈로 추측적 초합동식을 일반화하기.
• 이러한 합을 $ p^2 $ 모듈로 분석하는 통합 도구로서 일반화된 레지온드르 다항식 $ P_n(a,x) $ 를 도입하고 연구하기.
• $ p^2 $ 수준에서 모듈로 감소와 합동식 분석이 가능하도록 $ P_n(a,x) $ 를 위한 재귀관계를 수립하기.
• 일부 조건을 만족하는 $ f $ 에 대해 $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} f(k) \equiv 0 \pmod{p^2} $ 를 증명하여 이전 결과를 확장하기.
• $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{b-a}{k} m^k \pmod{p^2} $ 형태의 합에 대한 새로운 추측을 제기하고 탐색하기.

제안 방법

• 저자들은 일반화된 레지온드르 다항식 $ P_n(a,x) = \sum_{k=0}^n \binom{a}{k}\binom{a+k}{k} \left(\frac{x-1}{2}\right)^k $ 를 정의하며, 이는 $ a = n $ 일 때 고전적 레지온드르 다항식으로 줄어든다.
• 핵심 재귀관계를 유도한다: $ (a+1)P_n(a+1,x) - (2a+1)xP_n(a,x) + aP_n(a-1,x) = -2(2a+1)\binom{a}{n}\binom{a+n}{n} \left(\frac{x-1}{2}\right)^{n+1} $, 이는 $ a \not\equiv 0,-1 \pmod{p} $ 일 때 유효하다.
• 이 재귀관계를 $ p^3 $ 모듈로로 줄이고 $ n = p-1 $ 에서 평가함으로써 $ P_{p-1}(a,x) \pmod{p^2} $ 에 대한 합동식을 도출하며, 특히 대칭성 $ P_{p-1}(a,x) \equiv (-1)^{\langle a\rangle_p} P_{p-1}(a,-x) \pmod{p^2} $ 에 초점을 맞춘다.
• $ p $-진 이항계수 성질, 특히 $ \binom{a}{k} \equiv \binom{\langle a\rangle_p}{k} \pmod{p} $ 를 사용하여 합을 $ p^2 $ 모듈로로 줄인다.
• 레지온드르 기호와 소수를 $ x^2 + dy^2 $ 형태로 표현하는 것과 관련된 기존 결과를 적용하여 특수한 경우를 평가한다. 예를 들어 $ p = x^2 + 7y^2 $ 일 때 $ \sum \binom{-1/4}{k}^2 64^k \pmod{p^2} $ 를 분석한다.
• 특히 $ p = x^2 + 7y^2 $ 일 때 $ \sum \binom{-1/4}{k}^2 64^k \equiv (-1)^{\frac{x-1}{2}}(2x - \frac{p}{2x}) \pmod{p^2} $ 와 같은 $ p^2 $ 수준의 정밀한 합동식을 제안하는 추측을 한다.

실험 결과

연구 질문

• RQ1 일반화된 레지온드르 다항식은 어떻게 하이퍼기하급수에 대한 알려진 $ p^2 $ 모듈로 초합동식을 통합하고 확장할 수 있는가?
• RQ2 $ P_{p-1}(a,x) \pmod{p^2} $ 의 모듈로 행동은 무엇이며, $ p $-진 분수부 $ \langle a\rangle_p $ 와 어떻게 관련되는가?
• RQ3 $ P_n(a,x) $ 를 위한 재귀관계는 $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} f(k) \pmod{p^2} $ 형태의 합에 대해 새로운 합동식을 도출하는 데 사용될 수 있는가?
• RQ4 $ \sum_{k=0}^{p-1} \binom{-1/4}{k}^2 64^k $ 와 같은 합에 대한 정확한 $ p^2 $ 수준의 합동식은 무엇이며, $ p $ 가 $ x^2 + 7y^2 $ 로 표현되는 방식에 따라 어떻게 달라지는가?
• RQ5 이 프레임워크는 $ \binom{-1/6}{k}\binom{-5/6}{k} $ 와 같은 다른 일반화된 이항계수를 포함하는 합에 대해 $ p^2 $-합동식을 추측하는 데 확장될 수 있는가?

주요 결과

• 주요 결과는 $ P_{p-1}(a,x) \equiv (-1)^{\langle a\rangle_p} P_{p-1}(a,-x) \pmod{p^2} $ 이며, 이는 레지온드르 다항식의 대칭성을 $ p^2 $ 수준으로 일반화한다.
• $ a = -1/2, -1/3, -1/4, -1/6 $ 일 때 이 대칭성은 Rodriguez-Villegas의 $ p^2 $ 모듈로 추측을 회복한다. 예를 들어 $ \sum_{k=0}^{p-1} \frac{\binom{2k}{k}^2}{16^k} \equiv \left(\frac{-1}{p}\right) \pmod{p^2} $ 와 같은 결과가 성립한다.
• $ \langle a\rangle_p $ 가 홀수일 경우, 이 항등식은 $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} \frac{1}{2^k} \equiv 0 \pmod{p^2} $ 를 함의하며, 이는 이전 결과를 일반화한다.
• 논문은 임의의 $ p $-정수값 함수 $ f $ 에 대해 $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} \left( (-1)^{\langle a\rangle_p} f(k) - \sum_{m=0}^k \binom{k}{m} (-1)^m f(m) \right) \equiv 0 \pmod{p^2} $ 를 증명한다. 이는 광범위한 일반화이다.
• $ f(k) = \binom{2k}{k}/4^k $ 일 때, 이는 $ \langle a\rangle_p $ 가 홀수일 경우 $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} \frac{\binom{2k}{k}}{4^k} \equiv 0 \pmod{p^2} $ 를 유도한다.
• 추측 5.4는 $ p = x^2 + 7y^2 \equiv 1 \pmod{4} $ 일 때 $ \sum \binom{-1/4}{k}^2 64^k \equiv (-1)^{\frac{x-1}{2}}(2x - \frac{p}{2x}) \pmod{p^2} $ 와 같은 $ p^2 $ 수준의 합동식을 제안하며, 다른 경우에도 유사한 형태를 제시한다.