[논문 리뷰] Congruences concerning Legendre polynomials

Zhi‐zhong Sun|2010. 12. 17.

Advanced Mathematical Identities인용 수 51

한 줄 요약

이 논문은 $p^2$ 모듈로에서 레전드르 다항식을 포함하는 새로운 슈퍼동치를 확립하며, 특정 합 $ extstyleinom{2k}{k}^2 / 16^k$ 가 $p \mod 4$ 또는 $p$가 제곱수의 합으로 표현되는 방식에 따라 0이 되거나 특정 값을 가짐을 증명한다. 이는 레전드르 다항식의 전개와 모듈로 산술을 통해 도출되었으며, 로드리게스-빌레가스와 숨 지웨이의 아페리 유사 합과 이차형식에 대한 추측을 확인하고 확장한다.

ABSTRACT

Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$. In particular, we confirm several conjectures of Z.W. Sun. We also pose 13 conjectures on supercongruences.

연구 동기 및 목표

• 레전드르 다항식 전개를 사용하여 중심 이항계수를 포함하는 합의 $p^2$ 모듈로에서 새로운 슈퍼동치를 확립한다.
• 로드리게스-빌레가스와 숭 지웨이의 추측을 증명하고 확장하여, $\textstyle\binom{2k}{k}^2 / 16^k$ 및 $\textstyle\binom{2k}{k}^2 / 32^k$ 의 $p^2$ 모듈로에서의 행동을 규명한다.
• 이러한 합을 소수의 제곱수의 합으로의 표현과 이차형식과 연결한다.
• 레전드르 다항식을 사용하여 기존의 슈퍼동치 결과를 유일화하고 일반화하는 프레임워크를 제공한다.
• $(4k)!/k!^4$ 및 $(6k)!/k!^3(3k)!$ 항을 포함하는 고차 슈퍼동치에 대한 새로운 추측을 제기하고 동기를 부여한다.

제안 방법

• 레전드르 다항식 $P_n(x)$ 의 생성함수와 로드리게스 공식을 사용하여 $\binom{n+k}{2k}\binom{2k}{k}((x-1)/2)^k$ 를 포함하는 급수 전개를 유도한다.
• 합동식 $\binom{(p-1)/2 + k}{2k} \equiv \frac{\binom{2k}{k}}{(-16)^k} \left(1 - p^2 \sum_{i=1}^k \frac{1}{(2i-1)^2}\right) \pmod{p^4}$ 를 적용하여 레전드르 다항식 계수를 $p^2$ 모듈로로 축소한다.
• 대칭성 $P_n(-x) = (-1)^n P_n(x)$ 을 활용하여 $p^2$ 모듈로에서 0이 되는 함수 항등식을 도출한다.
• 특정 값들(예: $x=1$, $x=1/2$)을 주요 합동식에 대입하여 기존의 및 새로운 슈퍼동치를 복원한다.
• 모듈러 형식과의 연결을 통해 $A((p-1)/2)$ 와의 관계를 이용하여 합 $\textstyle\sum \binom{2k}{k}^4 / 4^{4k}$ 를 $a(p) \bmod p^2$ 와 연결한다.
• p-진 행동과 이차형식에서의 소수 표현에서 관찰된 패tern을 바탕으로 새로운 추측을 제안한다.

실험 결과

연구 질문

• RQ1 홀수 소수 $p$ 에 대해 $\sum_{k=0}^{(p-1)/2} \binom{2k}{k}^2 / 16^k \pmod{p^2}$ 의 행동은 어떠한가?
• RQ2 $\sum_{k=0}^{(p-1)/2} \binom{2k}{k}^2 / 32^k \pmod{p^2}$ 의 합은 소수 $p$ 가 제곱수의 합으로 표현되는 방식과 어떻게 관련이 있는가?
• RQ3 레전드르 다항식의 $p^2$ 모듈로에서의 구조를 이용하여 아페리 유사 합에 대한 새로운 슈퍼동치를 유도할 수 있는가?
• RQ4 $m = 8, -16, 32, 54, 648, \dots$ 에 대해 $\sum_{k=0}^{p-1} \binom{2k}{k}^2 / m^k \pmod{p^2}$ 의 모듈로 패턴은 어떠한가?
• RQ5 $\sum_{k=0}^{p-1} \frac{(4k)!}{m^k k!^4} \equiv 0 \pmod{p^2}$ 또는 $\equiv 4x^2 - 2p \pmod{p^2}$ 가 되는 조건은 무엇인가?

주요 결과

• 임의의 유리수 $p$-정수 $x$ 에 대해 $\sum_{k=0}^{p-1} \frac{\binom{2k}{k}^2}{16^k} \left(x^k - (-1)^{(p-1)/2}(1-x)^k \right) \equiv 0 \pmod{p^2}$ 이며, 이는 로드리게스-빌레가스의 추측을 일반화한다.
• $p \equiv 3 \pmod{4}$ 이면 $\sum_{k=0}^{(p-1)/2} \frac{\binom{2k}{k}^2}{32^k} \equiv 0 \pmod{p^2}$ 이고, $p \equiv 1 \pmod{4}$ 이면 $2a - p/(2a) \pmod{p^2}$ 와 같다. 여기서 $p = a^2 + b^2$ 이고 $a \equiv 1 \pmod{4}$ 이다.
• $x \not\equiv 0 \pmod{p}$ 이면 $\sum_{k=0}^{(p-1)/2} \frac{\binom{2k}{k}^2}{16^k} \left(x^k - \left(\frac{x}{p}\right) x^{-k} \right) \equiv 0 \pmod{p}$ 이며, 이는 레전드르 기호 성질과 연결된다.
• 아페리 수 $A((p-1)/2) \equiv \sum_{k=0}^{(p-1)/2} \frac{\binom{2k}{k}^4}{4^{4k}} \pmod{p^2}$ 이며, 이는 $a(p)$ 를 통해 모듈러 형식과 연결된다.
• 논문은 추측 $\sum_{k=1}^{(p-1)/2} \frac{\binom{2k}{k}^3}{4^{3k}} \equiv b(p) \pmod{p^2}$ 를 확인하며, $b(n)$ 은 수준 4의 모듈러 형식에서 유래한다.
• $(4k)!/m^k k!^4$ 와 $(6k)!/m^k (3k)! k!^3$ 의 $p^2$ 모듈로에서의 합에 대한 새로운 추측을 제기하며, 그 결과는 소수가 특정 이차형식에서 분할되는지 여부 또는 레전드르 기호 조건을 만족하는지에 따라 달라진다.