오버파티션에서 가장 작은 비오버라인 부분이 반복되는 경우에 대한 조합적 증명

초록

본 논문은 가장 작은 비오버라인 부분이 정확히 k 번 나타나는 오버파티션을 연구한다. 특히 k=1 인 경우에 대해 Malik‑Sarma가 제시한 세 가지 항등식을 조합론적(전단사) 방법으로 증명하고, 이를 일반화한 정리 1.4를 제시한다.

상세 분석

논문은 먼저 오버파티션의 기본 정의와 기존 연구(Andrews‑El Bachraoui, Malik‑Sarma 등)를 정리한다. 핵심 객체는
- (\overline{\mathrm{spt}}k(n)): 가장 작은 비오버라인 부분 (s(\pi))가 정확히 k 번 등장하고, 모든 오버라인 부분은 (s(\pi))보다 큰 오버파티션의 개수,
- (\overline{\mathrm{spt}}{k,o}(n)): 위 조건에 더해 (s(\pi))와 다른 모든 부분이 짝·홀수성(mod 2)에서 서로 다르게 배치된 경우,
- (b_e(k,n), b_o(k,n)): (\overline{\mathrm{spt}}{k,o}(n))을 만족하는 파티션 중 (s(\pi))보다 큰 부분의 개수가 각각 짝수·홀수인 경우,
- (\overline{\mathrm{spt}}’{k,o}(n)=b_e(k,n)-b_o(k,n)).

Malik‑Sarma는 이 함수들의 생성함수를 다항식 계수를 갖는 (q)-급수의 선형 결합으로 표현하고, (k=1)에 대해 세 가지 항등식(정리 1.1–1.3)을 얻었다. 그러나 그 증명은 전산적이며, 조합적(전단사) 증명이 요구되었다.

저자들은 이를 해결하기 위해 다음과 같은 전략을 사용한다.

1. 전단사 맵 구성: (\mathrm{Spt}1(n)) → (\mathrm{P{ex}}(n)) 등, 가장 작은 비오버라인 부분 (s(\pi))와 그 바로 다음 큰 부분 (s_2(\pi))의 관계에 따라 경우를 나누어 명시적인 변환을 정의한다. 변환은 파티션의 가장 작은 부분을 증가·감소시키거나, 오버라인 여부를 바꾸는 방식으로 이루어져, 이미지가 목표 집합을 정확히 채우도록 설계된다.
2. 짝·홀수 성질 활용: 정리 1.2와 1.3에서는 (s(\pi))의 짝·홀수성에 따라 파티션을 (\mathrm{P_e}(n-1))·(\mathrm{P_{oex}}(n-1)) 등으로 보내는 두 가지 경우를 구분한다. 특히 (\overline{\mathrm{spt}}’_{1,o}(n))의 부호가 나타나는 이유는 “SAME nature”와 “OPPOSITE nature”라는 개념을 도입해, 변환 후 파티션이 원래 집합에 남는지 다른 집합으로 이동하는지를 판단함으로써 설명한다.
3. 정리 1.4의 일반화: (b_e(1,n), b_o(1,n))에 대한 식 (1), (2)를 증명함으로써 정리 1.2·1.3을 바로 도출한다. 여기서는 (s(\pi))가 짝수인지 홀수인지에 따라 두 가지 전단사 규칙을 제시하고, 결과 이미지가 (\mathrm{P_e}(n-1)) 혹은 (\mathrm{C_o}(n-1)) 등으로 정확히 매핑됨을 보인다.

증명 과정에서 중요한 관찰은 “가장 작은 비오버라인 부분을 1씩 감소(또는 증가)시키면 오버라인 여부와 짝·홀수성에 따라 목표 집합에 자동으로 들어간다”는 점이다. 또한, 변환이 가역적임을 보이기 위해 역함수를 명시적으로 구성하고, 모든 경우가 겹치지 않으며 누락되지 않음을 확인한다.

이러한 전단사 증명은 기존의 생성함수 기반 분석을 보완하며, 파티션 이론에서 “구조적” 이해를 제공한다. 특히 오버라인이라는 추가적인 색상(표시) 조건이 있더라도, 가장 작은 부분의 반복 횟수와 짝·홀수성만으로 복잡한 항등식을 단순히 해석할 수 있음을 보여준다.