블록 구분 오버파티션 피보나치 구조와 오일러 분해

초록

블록‑구분 오버파티션은 인접한 서로 다른 파트 블록이 동시에 오버라인되지 못하도록 제한한 새로운 파티션 종류이다. 서로 다른 파트 크기의 집합이 정해지면 허용되는 오버라인 패턴은 연속 1이 없는 이진 문자열과 일대일 대응하며, 그 개수는 피보나치 수 Fₙ₊₂ 로 주어진다. 이를 이용해 대칭함수 전개와 2‑상태 전이 행렬을 구축하고, 오일러 곱 형태의 생성함수를 얻어 정규화·2차 재귀·행렬식·연속분수 표현을 도출한다. 마지막으로 일반 파티션과 같은 지수적 성장률을 갖지만, 하위 지수 상수는 피보나치 구조에 의해 수정된다는 점을 증명한다.

상세 분석

본 논문은 기존 오버파티션에 “인접한 서로 다른 블록이 동시에 오버라인되지 않는다”는 지역적 제한을 추가함으로써 새로운 수열 b(n)을 정의한다. 정의에 따르면 각 서로 다른 파트 크기 j에 대해 블록은 ‘없음’, ‘평범’, ‘오버라인’ 세 가지 선택이 가능하고, 오버라인 선택은 바로 앞 블록이 평범일 때만 허용된다. 이 제약은 블록을 크기 순서대로 나열했을 때 0‑1 문자열에서 연속된 1이 금지되는 상황과 정확히 일치한다. 연속 1이 없는 길이 r의 이진 문자열 개수는 잘 알려진 피보나치 수 F_{r+2}이며, 이는 독립 집합의 개수와도 동일하게 해석된다. 따라서 r개의 서로 다른 파트 크기가 주어지면, 해당 블록들의 오버라인 배치는 F_{r+2}가지이며, 이는 파트 크기와는 무관하게 순수히 combinatorial 한 요인이다.

이 구조를 이용해 생성함수 F(q)=∑{n≥0}b(n)q^n을 전개하면, 각 파트 크기 j에 대한 기본 생성함수 S_j(q)=q^j/(1−q^j) 를 변수 x_j에 대응시켜, F(q)=∑{r≥0}F_{r+2}·e_r(S_1,S_2,…) 로 표현한다. 여기서 e_r은 r번째 기본 대칭함수이며, 이는 “블록 선택”과 “오버라인 배치”를 각각 곱셈적으로 결합한 결과이다.

전이 행렬 접근법에서는 두 상태(마지막 블록이 평범=0, 오버라인=1)를 두고, 각 파트 크기 j마다 2×2 행렬 M_j(q)=(\begin{pmatrix}1+S_j & S_j\ S_j & 1\end{pmatrix}) 로 전이를 기술한다. 전체 생성함수는 초기 상태 벡터 (1,0)와 무한 행렬곱 ∏{j≥1}M_j(q)·(1,1)^T 로 얻어진다. 이 행렬 곱을 전개하면 오일러 곱 형태가 드러나며, 각 M_j(q)의 고유값을 이용해 정규화 재귀식 a_n= a{n−1}+a_{n−2}+… 형태의 2차 선형 재귀를 도출한다. 또한 행렬식 표현을 통해 b(n) 를 2×2 행렬식의 차수 n 항으로 나타낼 수 있다.

유한 차수까지 절단한 경우, 연속분수(continued fraction) 전개가 가능함을 보인다. 구체적으로, 부분합 G_N(q)=∑_{n≤N}b(n)q^n 은 M_j(q)들의 유리함수 형태의 연속분수로 표현되며, 이는 전이 행렬의 J‑프랙터 형태와 일치한다.

마지막으로, Hardy‑Ramanujan‑Meinardus 방법을 적용해 b(n)의 asymptotic을 분석한다. 오버라인 제한이 지수적 성장률을 바꾸지는 않으며, p(n)~exp(π√(2n/3))/ (4n√3) 와 같은 주된 지수항을 공유한다. 그러나 피보나치 계수 F_{r+2}가 평균적으로 r≈√n 정도로 기여하므로, 하위 상수는 p(n)보다 약간 크게 조정되어 b(n)~C·n^{-3/4}·exp(π√(2n/3)) 형태가 된다. 여기서 C는 피보나치 구조에 의해 결정되는 명시적 상수이다.

이와 같이 논문은 블록‑구분 오버파티션을 피보나치 combinatorics와 오일러 곱 구조로 연결시키고, 전이 행렬·재귀·행렬식·연속분수 등 다양한 대수·분석적 도구를 통해 완전한 이론적 프레임워크를 제공한다.