Some new congruences and identities for $SOME(n)$, $DSOME(n)$, $\overline{SOME}(n)$ functions and analogues

기술 요약: SOME(n), DSOME(n) 및 그 유사 함수들에 대한 새로운 합동식과 항등식

문제 정의 및 배경
본 논문은 Andrews와 Dastidar (2026) 및 Gireesh와 Hemanthkumar가 도입한 분할 관련 함수인 SOME(n), DSOME(n)의 산술적 성질을 조사한다. 구체적으로 다음 사항에 초점을 맞춘다:

• SOME(n): 양의 정수 $n$의 모든 일반 분할(ordinary partitions)에 대하여, 모든 홀수 부분의 합에서 모든 짝수 부분의 합을 뺀 값.
• DSOME(n): 서로 다른 부분(distinct parts)을 갖는 $n$의 분할에 대해 계산된 유사한 차이.
• $\overline{\text{SOME}}(n)$: SOME(n)의 오버분할(overpartition) 유사체.

이전 연구들이 이 함수들에 대해 4, 5 및 2의 거듭제곱에 대한 생성 함수와 합동식을 확립한 반면, 본 논문은 새로운 항등식을 도출하고, 단조성 결과를 확립하며, 이러한 개념을 임의의 분할 가족 및 색상 분할(color partitions)로 일반화하는 것을 목표로 한다.

방법론
저자들은 $q$-급수 이론과 분할 분석의 표준 기법을 사용한다. 주요 방법론적 도구는 다음과 같다:

• 생성 함수: 무한 곱과 급수의 조작, 그리고 $(a; q)_\infty$ 및 $g_t = (q^t; q^t)_\infty$와 같은 표준 표기법의 활용.
• Ramanujan의 세타 함수: 급수 표현을 변환하고 분석하기 위한 $\phi(q)$, $\psi(q)$, $f(-q)$의 활용.
• 람베르트 급수(Lambert Series) 및 약수 합: $\sigma(n)$ (약수의 합) 및 $r_k(n)$ (제곱의 합으로서의 표현)을 포함하는 급수의 전개.
• 절단된 펜태고날 수 정리(Truncated Pentagonal Number Theorem): 단조성 성질을 증명하기 위해 Andrews와 Merca의 결과 적용.
• 로그 미분: 일반화된 함수들의 생성 함수를 도출하기 위해 사용.
• 뫼비우스 반전(Möbius Inversion): 색상 분할의 맥락에서 가산성 조건을 확립하기 위해 적용.

주요 기여 및 결과

1. SOME(n) 및 DSOME(n)에 대한 항등식과 합동식

• 새로운 항등식 (정리 3.1): 저자들은 SOME(n)을 분할 함수 $p(n)$ 및 약수 합 $\sigma(n)$과 연결하는 재귀 관계를 증명한다:
  $$\text{SOME}(n) + 4 \sum_{i=1}^{\lfloor n/2 \rfloor} p(n-2i)\sigma(i) = n p(n)$$
• 모듈로 4 및 8에 대한 합동식 (정리 3.2 & 3.3): $n$이 홀수 완전 제곱수이면 $\text{SOME}(n) \equiv 2 \pmod 4$ (및 $\pmod 8$)이고, 그렇지 않으면 $0$임을 확립한다.
• 일반 합동식 (정리 3.4): 정수를 제곱의 합으로 나타내는 표현의 합을 포함하여 $\text{SOME}(n) \equiv 0 \pmod{2^{\alpha+2}}$에 대한 조건을 제공한다.
• DSOME(n) 항등식 (정리 3.5 & 3.6): $pd(n)$(서로 다른 분할)과$\sigma(n)$을 포함하는$\text{DSOME}(n)$의 명시적 공식을 도출하고, 오일러의 펜태고날 수 정리를 사용하여$\text{DSOME}(n)$과$\text{SOME}(n)$ 사이의 관계를 확립한다.

2. 단조성 결과

• 정리 3.8 및 3.12: 절단된 펜태고날 수 정리를 사용하여, 저자들은 $n \ge 2$에 대해 $\text{SOME}(n) \ge \text{SOME}(n-2)$임을 증명한다.
• 따르는 정리(Corollaries): 이는 수열 $\{\text{SOME}(2n)\}$과 $\{\text{SOME}(2n-1)\}$이 단조 증가함을 의미한다. 결과적으로, $n$의 분할에서 모든 홀수 부분의 합은 모든 짝수 부분의 합보다 크거나 같다. 오버분할 유사체 $\overline{\text{SOME}}(n)$에 대해서도 유사한 단조성 결과가 증명된다.

3. 일반 유사체 SP(n)

• 정의: 본 논문은 임의의 분할 가족 $P(n)$에 대하여 (홀수 부분 - 짝수 부분)의 합을 $SP(n)$으로 정의한다.
• 가산성 성질:
  • 정리 4.1: 임의의 분할 $\lambda$에 대하여, 홀수와 짝수 부분의 차이는 $\omega(\lambda) \equiv n \pmod 4$를 만족한다.
  • 정리 4.3 & 4.4: 저자들은 $L = \text{lcm}(2, k)$에 대해 특정 잔여(residue)를 갖는 부분들의 개수를 기반으로 $SP(n) \equiv 0 \pmod k$에 대한 필요충분조건을 확립한다. 구체적으로, $SP(n) \equiv 0 \pmod 3$인 것은 1 또는 2 (mod 6)에 대응하는 부분의 개수가 4 또는 5 (mod 6)에 대응하는 부분의 개수와 같을 때와 동치이다.

4. 색상 분할 유사체 $S_c(n)$

• 정의: 본 논문은 크기가 $j$인 부분이 $c_j$개의 서로 다른 색상으로 나타나는 분할에 대한 $S_c(n)$을 도입한다.
• 생성 함수 (정리 5.1): 로그 미분을 사용하여 폐쇄형 생성 함수를 도출한다.
• 가산성 조건 (정리 5.2): $S_c(n) \equiv 0 \pmod k$에 대한 필요충분조건이 증명된다: 이는 모든 $j \ge 1$에 대해 $k$가 $j c_j$를 나눌 때와 동치이다.
• 따르는 정리: 모듈로 3 및 4에 대한 구체적인 가산 규칙과 부분이 $k$의 배수로 제한되는 경우에 대한 규칙이 도출된다.

의의 및 주장
본 논문은 다음과 같이 분할 차이 함수의 산술 이론를 확장한다고 주장한다:

1. 이러한 함수들을 고전적인 분할 및 약수 함수들과 연결하는 새로운 항등식을 제공한다.
2. 이러한 특정 차이 함수들에 대해 이전에 강조되지 않았던 성질인 단조성을 확립한다.
3. 임의의 분할 가족($SP(n)$) 및 색상 분할($S_c(n)$)으로 프레임워크를 일반화함으로써, 다양한 가산 현상을 단일한 이론적 구조 아래 통합한다.
4. 2의 거듭제곱 및 기타 정수에 대한 특정 합동식을 증명하여, 이 함수들의 산술적 동작에 대한 이해를 정교화한다.

저자들은 정의된 수학적 구조 내에서 이론적 도출과 증명에 엄격히 집중하며, 실험적 응용이나 정의된 구조를 넘어서는 미래의 확장을 제안하지 않고 절제된 범위를 유지한다.