오버파티션의 체인 배제수와 분리 가능한 클래스 연구

초록

이 논문은 오버파티션에 대해 r‑체인 최소·최대 배제수, 두 번째 최소 배제수와 mex 연속열, 그리고 모듈러 k에 따라 정의되는 Lₖ·오버파티션과 Fₖ·오버파티션이라는 두 종류의 분리 가능한 클래스를 도입하고, 각각에 대한 생성함수와 조합적 성질을 체계적으로 전개한다.

상세 분석

논문은 먼저 기존의 최소 배제수(mex) 개념을 r‑체인 최소 배제수 mes(π;r)와 r‑체인 최대 배제수 maes(π;r)로 일반화한다. 여기서 mes는 연속된 r개의 정수가 파티션에 전혀 나타나지 않는 가장 작은 정수를, maes는 가장 큰 파트보다 작은 정수 중 연속된 r개의 정수가 모두 결여된 가장 큰 정수를 의미한다. 저자들은 이 두 통계량에 대해 σᵣmes(n)=∑{π∈P(n)}mes(π;r)와 σᵣmaes(n)=∑{π∈P(n)}maes(π;r)의 생성함수를 q‑시리즈 형태로 정확히 구한다(식 (1.1), (1.2)). 특히 ω(t)=1+∑_{i=1}^{r}q^{it}와 같은 보조함수를 도입해 복잡한 무한곱을 정리한다.

다음으로 두 번째 최소 배제수 mex₂(π)와 mex 연속열을 오버파티션에 확장한다. mex₂는 mex보다 큰 첫 번째 결여 정수를 의미하며, mex 연속열은 mex부터 시작해 연속적으로 결여된 정수들의 최대 길이를 나타낸다. 저자들은 σ₂mex(n)=∑{π∈P(n)}mex₂(π)와 Δ_t(n)=|{π∈P(n):mex₂(π)−mex(π)=t}|에 대한 생성함수를 각각 (1.12), (1.13) 형태로 제시한다. 특히 Δ_t(n)의 경우 (q^{t-1}−q^{t})·(−q;q)∞·(q;q)∞·∑{m≥0}q^{(m+t/2)2m+t-1}·(−q;q)_{m+t}와 같은 복합적인 q‑곱과 합을 결합한다.

마지막으로 분리 가능한 오버파티션 클래스인 Lₖ·오버파티션과 Fₖ·오버파티션을 정의한다. Lₖ는 오버라인된 파트가 뒤에서 k번째 위치에 있을 때만 허용하고, Fₖ는 앞에서 k번째 위치에 있을 때만 허용한다. 두 클래스 모두 기본 집합 B와 비음수 정수 시퀀스 μ를 이용해 모든 파티션을 고유하게 (λ₁+μ₁)+(λ₂+μ₂)+… 형태로 표현할 수 있음을 보인다. 이를 바탕으로 Lₖ와 Fₖ의 전체 생성함수를 q‑이항계수(가우시안 다항식)를 사용해 (1.5), (1.6) 식으로 유도한다. 이러한 결과는 기존의 분리 가능한 정수 파티션 이론을 오버파티션으로 자연스럽게 확장했으며, 특히 모듈러 k에 따른 다양한 동등식과 Rogers–Ramanujan‑type 항등식을 도출할 수 있는 기반을 제공한다.

전체적으로 논문은 오버파티션에 새로운 통계량을 도입하고, 그에 대한 정확한 q‑생성함수를 구함으로써 조합론·정수 파티션 이론에 새로운 연구 방향을 제시한다. 특히 r‑체인 배제수와 두 번째 최소 배제수는 기존 연구와의 연결고리를 제공하며, Lₖ·오버파티션·Fₖ·오버파티션은 분리 가능한 클래스의 풍부한 구조를 보여준다. 이러한 결과는 향후 모듈러 형태의 파티션 정리, 차원 상승된 q‑시리즈 아이덴티티, 그리고 오버파티션을 이용한 통계 물리 모델 등에 응용될 가능성이 크다.