[논문 리뷰] A short Proof of a conjecture by Hirschhorn and Sellers on Overpartitions

Liuquan Wang|arXiv (Cornell University)|2014. 07. 21.

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

한 줄 요약

이 논문은 히르슈혼과 설러스가 제기한 추측, 즉 $40n+35$의 오버분할 수가 40으로 나누어떨어진다는 것을 짧고 기본적인 방법으로 증명한다. 5를 법으로 하여 오버분할 수와 세 제곱수의 합 사이의 새로운 합동식을 도입함으로써, 저자는 $\overline{p}(n)$에 대한 3, 5, 9를 법으로 하는 라마누잔 유형의 합동식의 새로운 무한 가지만을 확립한다. 이는 $\overline{p}(5^{2\alpha+1}(5n+1)) \equiv 0 \pmod{5}$ 및 $\overline{p}(3n) \equiv (-1)^n r_5(n) \pmod{9}$를 포함하며, 원래의 추측을 해결하고 범위를 넓힌다.

ABSTRACT

Let $\overline{p}(n)$ be the number of overpartitions of $n$, we establish and give a short elementary proof of the following congruence \[\overline{p}({{4}^{α}}(40n+35))\equiv 0 \, (\bmod \, 40),\] where $α,n $ are nonnegative integers. By letting $α=0$ we proved a conjecture of Hirschhorn and Sellers. Some new congruences for $\overline{p}(n)$ modulo 3 and 5 have also been found, including the following two infinite families of Ramanujan-type congruences: for any integers $n\ge 0$ and $α\ge 1$, \[\overline{p}({{5}^{2α+1}}(5n+1))\equiv \overline{p}({{5}^{2α+1}}(5n+4))\equiv 0 \, (\bmod \, 5).\]

연구 동기 및 목표

• Hirschhorn-Sellers의 추측인 $\overline{p}(40n+35) \equiv 0 \pmod{40}$에 대한 간결하고 기본적인 증명을 제공하는 것.
• 오버분할 수와 세 제곱수의 합 사이의 새로운 산술적 관계를 확립: $\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$.
• 3, 5, 9를 법으로 하여 $\overline{p}(n)$에 대한 새로운 무한 가닥의 라마누잔 유형 합동식을 도출하는 것.
• 원래의 추측을 $\overline{p}(4^\alpha(40n+35)) \equiv 0 \pmod{40}$로 일반화하여 모든 $\alpha \geq 0$에 대해 성립함을 보이는 것.
• 기존의 합동식을 개선하여 $\overline{p}(3n) \equiv (-1)^n r_5(n) \pmod{9}$를 증명함으로써, 이전의 모듈로 3 결과를 향상시키는 것.

제안 방법

• 테타 함수의 생성함수와 모듈로 성질을 이용하여 핵심 합동식 $\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$를 확립하는 것.
• q-급수 전개에 대한 보조정리 1을 적용하여 $q$-Pochhammer 기호의 거듭제곱을 소수 거듭제곱 모듈로로 축소하는 것.
• 특히 $r_4(n)$와 $r_8(n)$을 포함하여 $n$이 $k$개의 제곱수의 합으로 표현되는 방법의 수인 $r_k(n)$에 대한 알려진 공식을 모듈로 산술에 적용하는 것.
• 소수 곱에 대한 $r_k(n)$의 곱셈적 성질을 활용: 보조정리 3에 의거해 $r_4(pn) \equiv r_4(n) \pmod{p}$ 및 $r_8(pn) \equiv r_8(n) \pmod{p^3}$.
• 주요 합동식과 $p$-거듭제곱 스케일링 하에서의 $r_3(n)$ 성질을 조합하여 새로운 무한 가닥의 합동식을 유도하는 것.
• 항등식 $\varphi(q)^9 \equiv \varphi(q^3)^3 \pmod{9}$를 사용하여 합동식을 모듈로 9로 확장함으로써, 정리 5 및 이에 따르는 결과를 증명하는 것.

실험 결과

연구 질문

• RQ1 Hirschhorn-Sellers의 추측 $\overline{p}(40n+35) \equiv 0 \pmod{40}$는 짧고 기본적인 방법으로 증명될 수 있는가?
• RQ2 오버분할 수와 모듈로 5에서의 제곱수의 합 사이에 더 깊은 산술적 연결이 존재하는가?
• RQ3 합동식 $\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$는 새로운 무한 가닥의 라마누잔 유형 합동식을 생성하는 데 사용될 수 있는가?
• RQ4 모듈로 3에서의 $\overline{p}(3n)$ 합동식은 모듈로 3에서 모듈로 9로 강화될 수 있는가?
• RQ5 모든 $\alpha \geq 1$에 대해 $\overline{p}(5^{2\alpha+1}(5n+1)) \equiv 0 \pmod{5}$ 형태의 새로운 합동식이 성립하는가?

주요 결과

• 저자는 $\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$를 증명하여 오버분할 수와 세 제곱수의 합 사이의 직접적인 연결을 확립한다.
• 이를 $r_3(n)$의 알려진 성질과 조합함으로써, 모든 $\alpha, n \geq 0$에 대해 $\overline{p}(4^\alpha(40n+35)) \equiv 0 \pmod{40}$를 증명함으로써 Hirschhorn-Sellers의 추측을 확인한다.
• 논문은 두 가지 새로운 라마누잔 유형 합동식의 무한 가닥을 확립한다: 모든 $\alpha \geq 1$에 대해 $\overline{p}(5^{2\alpha+1}(5n+1)) \equiv \overline{p}(5^{2\alpha+1}(5n+4)) \equiv 0 \pmod{5}$.
• 더 강력한 합동식이 증명된다: $\overline{p}(3n) \equiv (-1)^n r_5(n) \pmod{9}$로, 이는 이전의 모듈로 3 결과를 향상시킨다.
• 모듈로 5에 대해 $\overline{p}(5p^{10\alpha+9}N)$ 및 $\overline{p}(5p^{8\alpha+7}N)$에 대한 새로운 합동식이 유도되며, 이는 $p \mod 5$에 따라 달라지며 $p \geq 3$ 소수이고 $N$이 $p$와 서로소일 때 성립한다.
• 모듈로 9에 대해, $p \equiv 1 \pmod{3}$이면 $\overline{p}(3p^{6\alpha+5}N) \equiv 0 \pmod{3}$ 및 $\overline{p}(3p^{18\alpha+17}N) \equiv 0 \pmod{9}$를 증명하고, $p \equiv 2 \pmod{3}$이면 $\overline{p}(3p^{4\alpha+3}N) \equiv 0 \pmod{9}$를 증명한다.