On the arithmetic properties of partitions into parts simultaneously $4$-regular and $9$-distinct

기술 요약: 동시에 4-정규(4-regular) 및 9-구별(9-distinct)인 분할의 산술적 성질

문제 정의
본 논문은 정수 $n$을 구성하는 부분들이 동시에 $\ell$-정규(부분이 $\ell$로 나누어지지 않음)이고 $t$-구별(각 부분이 $t$번 미만으로 나타남)인 분할의 개수를 세는 분할 함수 $RD(\ell, t)(n)$의 산술적 성질을 조사한다. 저자와 다른 연구자들에 의한 이전 연구들이 다양한 $(\ell, t)$ 쌍을 탐구해 왔으나, 본 연구는 특히 $(\ell, t) = (4, 9)$인 경우에 집중한다. 함수 $RD(4, 9)(n)$은 온라인 정수 수열 사전(OEIS)의 A187020(한 항 이동됨)에 대응한다. 본 연구의 주요 목적은 $RD(4, 9)(n)$에 대하여 모듈로 4, 6, 12, 24에 대한 무한 가족의 합동식과 라마누잔 유사 합동식을 확립하는 것이다.

방법론
저자들은 $q$-급수와 생성 함수의 이론을 사용하여 결과를 도출한다. 핵심 방법론은 다음과 같다:

1. 생성 함수 분해(Generating Function Dissections): 테타 함수의 알려진 분해 공식과 $f_k = (q^k; q^k)_\infty$의 곱을 활용한다. 구체적으로, 본 논문은 2-분해(Lemma 2.1), 5-분해(Lemma 2.2), 그리고 Ramanujan, Cui, Gu 등에 의해 기여된 테타 함수의 일반적인 소수 분해(Lemmas 2.3 및 2.4)에 의존한다.
2. 모듈러 축약(Modular Reductions): 특정 정수 모듈로에 대해 생성 함수를 단순화하기 위해 congruence $f_{p^k} \equiv f_{p^{k-1}} \pmod{p^k}$ (Lemma 2.5)를 적용한다.
3. 계수 추출(Coefficient Extraction): 분할 함수의 부분 수열을 고립시키기 위해 분해 공식으로부터 특정 $q$의 거듭제곱(예: $q^{pn+i}$)을 가진 항들을 체계적으로 추출한다.
4. 이차 잉여 분석(Quadratic Residue Analysis): 특정 소수 $p$가 $p \equiv 3 \pmod 4$ 또는 $p \equiv 5 \pmod 6$과 같은 조건을 만족할 때 특정 계수가 0이 됨을 보이기 위해 이차 잉여를 포함하는 합동식(예: $(6k+1)^2 + (6m+1)^2 \equiv 0 \pmod p$)을 분석한다.
5. 수학적 귀납법(Mathematical Induction): 특정 계수의 소멸을 이용하여 지수 $\alpha$에 대한 귀납법을 통해 무한 가족의 합동식을 확립한다.

주요 기여 및 결과

• 모듈로 4:
  저자는 $p \equiv 3 \pmod 4$인 소수에 대한 무한 가족의 합동식을 확립한다. 모든 $\alpha \ge 0$, $n \ge 0$, $1 \le i \le p-1$에 대하여:
  $$RD(4, 9)(12p^{2\alpha+1}(pn + i) + p^{2\alpha+2} + 1) \equiv 0 \pmod 4.$$
  이 결과는 $RD(4, 9)(12n+2)$를$f_1^2$의 계수와 연관시키고, 특정 이차 합동식의 비자명한 해가 존재하지 않음을 활용하여 도출된다.

• 모듈로 6:
  5의 거듭제곱에 대한 무한 가족의 합동식이 증명되었다. 모든 $\alpha \ge 0$ 및 $n \ge 0$에 대하여:
  $$RD(4, 9)(6 \cdot 5^{2\alpha+2}n + 6 \cdot 5^{2\alpha+1}i + 5^{2\alpha+2} + 1) \equiv 0 \pmod 6,$$
  여기서 $i \in \{1, 2, 3, 4\}$이다. 이는 $RD(4, 9)(6n+2)$의 생성 함수를 분해하고 Ramanujan의 함수 $f_1$의 5-분해를 적용함으로써 달성된다.

• 모듈로 12:
  $p \equiv 5 \pmod 6$인 소수에 대하여, 저자는 모든 $\alpha \ge 0$, $n \ge 0$, $1 \le i \le p-1$에 대해 다음을 증명한다:
  $$RD(4, 9)(6p^{2\alpha+1}(pn + i) + 3p^{2\alpha+2} + 1) \equiv 0 \pmod{12}.$$
  이 증명은 테타 함수의 곱 $\psi(q)\psi(q^3)$을 분석하고, 지수가 $-3$의 이차 비잉여와 관련된 특정 모듈러 조건을 만족할 때 계수가 소멸함을 보여주는 과정을 포함한다.

• 모듈로 24 (라마누잔 유사 합동식):
  무한 가족 파라미터에 의존하지 않고 모든 $n \ge 0$에 대해 성립하는 특정 라마누잔 유사 합동식을 확립한다:
  $$RD(4, 9)(24n + 23) \equiv 0 \pmod{24},$$
  $$RD(4, 9)(48n + 29) \equiv 0 \pmod{24},$$
  $$RD(4, 9)(96n + 89) \equiv 0 \pmod{24}.$$
  이들은 $RD(4, 9)(6n+5)$의 생성 함수로부터 짝수 및 홀수 차수를 추출하고 2-분해 공식을 적용하는 엄밀한 과정을 통해 유도되었다.

의의 및 범위
본 논문은 $RD(4, 9)(n)$의 산술적 행동에 대한 "철저한 조사"를 제공한다고 주장한다. 그 의의는 Keith에 의해 시작되고 저자들에 의해 이전에 탐구된, 동시에 정규 및 구별되는 분할에 관한 연구를 확장하는 데 있다. 이러한 합동식을 확립함으로써, 저자들은 다중 제약 조건을 가진 분할 함수의 가해성(divisibility) 성질에 대한 폭넓은 이해에 기여한다. 본 연구는 이전 연구[13]의 연속선상에서 새로운 무한 가족과 특정 합동식을 제공한다. 본 논문은 수열 자체의 산술적 성질 이외의 새로운 조합론적 해석이나 응용을 제안하지 않는다.