Proofs of the Conjectures on $SOME(n)$ and $DSOME(n)$ Functions Related to Integer Partitions

정수 분할과 관련된 $SOME(n)$및$DSOME(n)$ 함수에 관한 추측의 증명에 대한 기술적 요약

문제 정의
본 논문은 Andrews와 Dastidar (2026), 그리고 Baruah와 Gogoi (2026)가 각각 도입한 두 가지 분할 관련 함수인 $SOME(n)$과$DSOME(n)$의 산술적 성질에 관한 두 가지 특정 추측을 다룬다.

• $SOME(n)$은 양의 정수$n$의 모든 분할에 걸쳐 홀수 부분의 합에서 짝수 부분의 합을 뺀 값으로 정의된다.
• $DSOME(n)$은 서로 다른 부분(distinct parts)으로 이루어진 $n$의 분할로 제한된 유사한 차이(홀수 부분의 합에서 짝수 부분의 합을 뺀 값)이다.

주요 목표는 다음을 증명하는 것이다:

1. Andrews-Dastidar 추측: $\alpha \ge 1$ 이고 $\lambda \ge 0$ 인 정수에 대하여 $24\lambda \equiv 1 \pmod{5^\alpha}$ 이면, $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ 이다.
2. Baruah-Gogoi 추측: 모든 정수 $n \ge 0$ 에 대하여 $DSOME(50n + 21) \equiv 0 \pmod 8$ 이다.

또한, 저자들은 $DSOME(n)$에 대한 모듈로 2, 4, 8에 관한 새로운 무한 가족 합동식(infinite families of congruences)을 확립하는 것을 목표로 한다.

방법론
저자들은 $q$-급수, 모듈러 형식(modular forms), 그리고 분할 항등식의 이론적 기법을 사용한다. 방법론은 생성 함수와 $q$-Pochhammer 기호 $(a; q)_\infty$를 이용한 조작에 크게 의존한다.

• 생성 함수: 본 논문은 무한 곱과 $q$-급수를 포함한 합으로 표현된 $SOME(n)$과$DSOME(n)$의 알려진 생성 함수를 활용한다.
• 모듈러 산술 및 합동식: 증명 과정은 생성 함수로부터 계수를 추출하고, 특정 정수(2, 4, 5, 8 및 5의 거듭제곱)에 대한 모듈로 연산을 통해 이들을 분석하는 과정을 포함한다.
• Ramanujan의 세타 함수: 저자들은 복잡한 급수를 더 다루기 쉬운 형태로 변환하기 위해 Ramanujan의 일반 세타 함수 $f(\alpha, \beta)$와 그 특수 사례들인 $\phi(q)$, $\psi(q)$, $f(-q)$를 활용한다.
• 연산자 이론: 특정 산술 진행(예: $DSOME(2n)$에 대한 합동식)에 대한 합동식을 유도하기 위해, 전개식에서 짝수 인덱스의 항을 추출하는 연산자$U_2$를 정의한다.
• 아이젠슈타인 급수 및 약수 합: $SOME(n)$추측에 대한 증명은 이 함수를 고전적인 준모듈러 아이젠슈타인 급수$E_2(q)$및 약수 합 함수$\sigma(n)$과 연결한다. 이는 분할 함수$p(n)$과 Wang 및 Yang이 확립한 관련 계수 수열 $c(n)$에 대한 알려진 합동식을 활용한다.
• 조합론적 분석: $DSOME(n)$ 증명을 위해, 저자들은 제곱의 합과 일반화된 오각형 수(generalized pentagonal numbers)를 포함하는 급수 전개의 패리티(parity)를 분석하며, 종종 이 문제를 특정 소수 모듈로에 대한 디오판토스 방정식의 해를 세는 문제로 환원한다.

주요 기여 및 결과

1. Andrews-Dastidar 추측의 증명:
   저자들은 $24\lambda \equiv 1 \pmod{5^\alpha}$ 일 때 $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ 임을 확립한다.

• 메커니즘: 이들은 $SOME(n)$을 계수$c(2n)$및 분할 함수$p(n)$과 연결하는 관계식$12SOME(n) = c(2n) - (12n+1)p(n)$을 도출한다.
• 논리: 준모듈러 형식을 이용한 Wang과 Yang의 연구에서 도출된 $c(n)$에 대한 알려진 합동식과 $p(n)$에 대한 고전적인 Ramanujan 합동식을 활용함으로써, 주어진 조건 하에서 우변의 두 항이 모두 $\pmod{5^\alpha}$에 대해 0이 됨을 입증한다. $\gcd(12, 5^\alpha)=1$ 이므로 결과가 성립한다.

2. Baruah-Gogoi 추측의 증명:
   본 논문은 $DSOME(50n + 21) \equiv 0 \pmod 8$ 임을 증명한다.

• 메커니즘: 이는 $1 \le t \le 4$ 에 대하여 $DSOME(50n + 10t + 1) \equiv 0 \pmod 8$ 임을 나타내는 더 일반적인 정리(정리 4.11)의 특정 사례($t=2$)로서 확립된다.
• 논리: 증명은 $f_1$, $X(q)$ 및 그 도함수들을 포함하여 $DSOME(n)$의 생성 함수를 모듈로 8에 대해 전개하는 과정을 포함한다. 저자들은$M = 24N + 1$의 5-진 평가(5-adic valuation)와 관련하여 $N = 50n + 10t + 1$인 $q^N$의 계수를 분석한다. 이들은 특정 이차 형식의 모듈로 5에 대한 정수해 부재를 통해 해당 계수들이 0이 됨을 보여준다.

3. 새로운 무한 가족 합동식:
   저자들은 $DSOME(n)$에 대한 몇 가지 새로운 합동식을 확립한다:

• 모듈로 2: $DSOME(n) \equiv 1 \pmod 2$ 가 발생하는 경우에 대한 완전한 특징 규명이 제공되며, 이는 $n$이 $24j^2 + 10j + 1$ 또는 $24j^2 + 22j + 5$의 형태일 때만 발생함을 보여준다. 따름정리는 Legendre 기호를 바탕으로 $DSOME(Mn+r) \equiv 0 \pmod 2$ 가 되는 조건을 제공한다.
• 모듈로 4: $DSOME(2n) \pmod 4$ 에 대한 유사한 특징 규명이 도출되었으며, 함수가 0이 아닌 특정 이차 형식($48k^2 + 14k + 1$ 및 $48k^2 + 46k + 11$)을 식별한다.
• 모듈로 8: $DSOME(n)$을 서로 다른 부분으로 이루어진 분할 함수$pd(n)$과 약수 합$\sigma_3(n)$및$\sigma(n)$으로 표현하는 합성 공식(convolution formula)이 유도된다.

의의
본 논문은 주로 $SOME(n)$및$DSOME(n)$의 산술적 거동에 관한 미해결 추측들을 해결함으로써 그 의의를 갖는다. 이러한 추측들을 증명함으로써, 저자들은 이 분할 함수들이 표준 분할 함수$p(n)$에서 발견되는 Ramanujan 유형의 합동식과 유사한 깊은 구조적 패턴을 가지고 있음을 확인한다. 이 연구는 가중치가 부여된 분할 부분들의 합, 특히 서로 다른 분할에 대해 패리티와 모듈러 제약이 어떻게 적용되는지에 대한 이해를 확장한다. 모듈로 2, 4, 8에 대한 새로운 무한 가족 합동식의 확립은 분할 관련 함수의 산술적 성질에 대한 향후 조사를 위한 더 넓은 프레임워크를 제공한다.