비단위 파티션의 편향 현상과 파리티 구분 파티션의 부등식

초록

본 논문은 1을 포함하지 않는 비단위 파티션에서 짝·홀수 부품의 개수 차이에 따른 편향을 q‑급수 분석으로 증명하고, 짝·홀수 파트가 서로 다른 크기로 구분되는 파티션 군 사이의 크기 부등식을 새롭게 확립한다.

상세 분석

논문은 먼저 기존 연구에서 제시된 “parity bias” 현상을 비단위 파티션(모든 부품이 2 이상)으로 제한한다. 이를 위해 q‑급수 표준 기호 ((a;q)_n)와 Heine 변환, Euler 곱식 등을 활용하여 두 종류의 생성함수 (P_o(q),P_e(q))를 명시적으로 전개한다. (P_o(q))는 홀수 부품이 더 많은 파티션을, (P_e(q))는 짝수 부품이 더 많은 파티션을 각각 계수화한다. 저자는 (P_e(q)-P_o(q))를 전개한 뒤 각 차수의 계수가 비음이 아님을 보이며, 특히 (n\ge8)에서 (q_o(n)<q_e(n))임을 증명한다. 이 과정에서 식 (11)‑(12)에서 나타나는 무한 곱과 급수의 결합을 정밀히 다루어, 짝·홀수 부품의 최소값 제한이 계수 부호에 미치는 영향을 분석한다.

다음으로 모듈러 (m)에 대한 일반화인 (q_{j,k,m}(n))를 정의하고, (m\ge2)에서 (q_{0,1,m}(n)>q_{1,0,m}(n)) (즉, 짝수 부품이 더 많은 경우가 더 많다)임을 (n\ge4m+3)에 대해 보인다. 여기서는 ((q^{m+1},q^{m};q^{m})\infty)와 ((q^2;q)\infty)의 곱을 이용해 제한된 부품군을 분리하고, 차이 생성함수의 계수가 모두 비음이 아님을 다시 한 번 q‑급수 항등식으로 확인한다.

마지막으로 Andrews가 제시한 “parity‑separated partitions”에 대해 두 클래스 (p_{oueu}(n))와 (p_{euou}(n))의 크기 비교를 수행한다. 두 클래스의 생성함수를 각각 (\frac{1}{(1-q)(q^2;q^2)\infty})와 (\frac{1}{1-q}\bigl(\frac{1}{(q;q^2)\infty}-\frac{1}{(q^2;q^2)\infty}\bigr)) 로 표현하고, 차이 함수를 전개하면 (\sum{n\ge0}(a_{2n+1}-a_{2n})q^{2n+1}+\sum_{n\ge4}(a_{2n-2}+a_{2n-3}-a_{2n})q^{2n}) 형태가 된다. 여기서 (a_{k})는 짝수 부품만으로 이루어진 파티션 수의 누적합이며, 조합적 삽입을 통해 (a_{2n-2}+a_{2n-3}>a_{2n})임을 보인다. 따라서 (n>6)에서 (p_{euou}(n)>p_{oueu}(n))이 성립한다.

전체적으로 저자는 기존의 조합적 증명을 q‑급수와 생성함수의 대수적 조작으로 대체함으로써, 비단위 파티션과 파리티 구분 파티션 사이의 편향 및 부등식을 보다 일반적인 형태로 확장하고, 계수 부호 분석을 통한 새로운 증명 기법을 제시한다.