[논문 리뷰] Elementary proof of congruences modulo 25 for broken $k$-diamond partitions

Shane Chern, Dazhao Tang|arXiv (Cornell University)|2018. 07. 05.

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

한 줄 요약

이 논문은 모듈라 형식 이론을 사용하지 않고, $q$-급수 항등식, 모듈라 형식에 영감을 받은 관계식, 그리고 $P(\alpha, \beta)$ 함수의 재귀적 구조를 활용하여, 파손된 $k$-다이아몬드 분할에 대한 25를 법으로 하는 무한한 합동식의 가감을 제공한다. 특히 $k \equiv 62 \pmod{125}$ 일 때 $\Delta_k(125n + 99) \equiv 0 \pmod{25}$ 를 증명한다. 주요 기여는 이전에 모듈라 형식을 사용하여 증명된 결과를 자가 포함된, 초등적인 유도로 대체한 것이다.

ABSTRACT

Let $Δ_{k}(n)$ denote the number of $k$-broken diamond partitions of $n$. Quite recently, the second author proved an infinite family of congruences modulo 25 for $Δ_{k}(n)$ with the help of modular forms. In this paper, we aim to provide an elementary proof of this result.

연구 동기 및 목표

• 이전에 모듈라 형식을 사용하여 증명된 바 있는, 파손된 $k$-다이아몬드 분할에 대한 25를 법으로 하는 무한한 합동식의 가감을 초등적으로 증명하는 것.
• 분석적 모듈라 형식 접근법을 대체하기 위해 대수적 $q$-급수 항등식과 재귀 관계를 사용하는 것.
• 깊은 산술적 성질인 $\Delta_k(n)$ 는 오직 초등적인 $q$-급수 조작과 함수 방정식만으로 유도될 수 있음을 보여주는 것.
• 모듈로 5를 넘어서 25와 같은 더 높은 거듭제곱으로까지 초등 방법의 도구를 확장하는 것.

제안 방법

• $x = 1/R(q)$, $y = 1/R(q^2)$, $K = E_2E_5^5/(E_1E_{10}^5)$ 를 사용하여 $P(\alpha, \beta) = x^{\alpha+2\beta}y^{2\alpha-\beta} + (-1)^{\alpha+\beta}q^{2\alpha}/(x^{\alpha+2\beta}y^{2\alpha-\beta})$ 를 정의한다.
• $P(\alpha, \beta)$ 에 대한 재귀 관계식을 확립한다: $P(\alpha, \beta+1) = \frac{4q}{K}P(\alpha, \beta) + P(\alpha, \beta-1)$, 그리고 $P(\alpha+2, 0)$ 와 $P(\alpha+2, -1)$ 에 대한 유사한 형태.
• $1/E_1$ 의 5-분할 항등식을 $R(q^5)$, $E_5$, $E_{25}$ 를 통해 표현하여 생성함수를 $K$ 와 $q$ 로 표현한다.
• 재귀관계와 초기 조건을 적용하여 $\sum_{n=0}^\infty b(5n+4)q^n$ 을 $K$ 와 $q$ 의 다항식으로 전개하고 단순화한 후, 25를 법으로 줄인다.
• $E_1, E_2, E_5, E_{10}$ 를 포함하는 변환을 통해 결과 표현식을 $\Delta_k(n)$ 의 생성함수와 연결하고, 25를 법으로 하여 $q^{5n+4}$ 항만 남는다는 것을 보여준다.
• 핵심 합동식 $\sum_{n=0}^\infty \tilde{c}(5n+4)q^n \equiv 10 \frac{E_5^2 E_{10}^2}{E_1^5 E_2} \pmod{25}$ 를 도출하며, 이는 $c(125n+99) \equiv 0 \pmod{25}$ 를 함의한다.

실험 결과

연구 질문

• RQ1 모듈라 형식을 사용하지 않고도, $k \equiv 62 \pmod{125}$ 일 때 파손된 $k$-다이아몬드 분할에 대한 무한한 합동식 $\Delta_k(125n + 99) \equiv 0 \pmod{25}$ 를 증명할 수 있는가?
• RQ2 어떤 초등적인 $q$-급수 항등식과 재귀적 구조가 이전에 모듈라 형식 이론으로 얻어진 결과를 재현할 수 있는가?
• RQ3 $P(\alpha, \beta)$ 함수를 어떻게 사용하여 생성함수를 25를 법으로 체계적으로 단순화할 수 있는가?
• RQ4 생성함수에서 $q^{5n+4}$-색인 계수를 분리하고, 대수적 조작을 통해 그것이 25를 법으로 0이 되는지 보일 수 있는가?

주요 결과

• 논문은 $k \equiv 62 \pmod{125}$ 일 때 모든 $n \geq 0$ 에 대해 $\Delta_k(125n + 99) \equiv 0 \pmod{25}$ 를 확립하며, 이전에 모듈라 형식을 사용하여 증명된 결과에 대해 초등적인 증명을 제공한다.
• $\sum_{n=0}^\infty \tilde{c}(5n+4)q^n$ 의 생성함수는 $10 \frac{E_5^2 E_{10}^2}{E_1^5 E_2} \pmod{25}$ 와 합동임을 보였으며, 이는 $q^{5n+3}$ 항을 포함하지 않아 $c(125n+99)$ 가 25를 법으로 0이 됨을 함의한다.
• $K = E_2E_5^5/(E_1E_{10}^5)$ 에서 시작하는 $P(\alpha, \beta)$ 의 재귀 관계식은 고차수의 $q$-급수 표현식을 $K$ 와 $q$ 의 다항식으로 완전히 단순화할 수 있게 한다.
• $\sum_{n=0}^\infty b(5n+4)q^n = 35K^4 + 280K^3q + 1905K^2q^2 + 1760Kq^3 + 13825q^4 - \frac{7040q^5}{K} + \cdots$ 를 유도하고, 이를 25를 법으로 줄여 합동식을 확인한다.
• 증명은 모듈라 형식을 완전히 회피하며, 오직 $q$-급수 항등식, 재귀 관계식, 대수적 단순화에 의존하여, 5의 거듭제곱을 넘는 모듈로에서 분할 합동식을 위한 새로운 초등적 접근법을 제공한다.