[논문 리뷰] Core partitions with distinct parts

Huan Xiong|arXiv (Cornell University)|2015. 08. 31.

Advanced Mathematical Identities참고 문헌 21인용 수 13

한 줄 요약

이 논문은 부분이 모두 다른 $(t,t+1)$-코어 분할에 대한 Amdeberhan의 추측을 완전히 해결하며, 부분이 모두 다른 $t$-코어 분할의 생성함수를 유도하고, 조합적 방법과 피보나치 항등식을 사용하여 그 수, 최대 크기, 총 크기, 평균 크기에 대한 정확한 공식을 증명한다.

ABSTRACT

Simultaneous core partitions have attracted much attention since Anderson's work on the number of $(t_1,t_2)$-core partitions. In this paper we focus on simultaneous core partitions with distinct parts. The generating function of $t$-core partitions with distinct parts is obtained. We also prove the results on the number, the largest size and the average size of $(t, t + 1)$-core partitions. This gives a complete answer to a conjecture of Amdeberhan, which is partly and independently proved by Straub, Nath and Sellers, and Zaleski recently.

연구 동기 및 목표

• 2015년 Amdeberhan의 추측을 해결함: 부분이 모두 다른 $(t,t+1)$-코어 분할의 수와 크기 통계를 규명한다.
• $\beta$-세트와 조합적 제약 조건을 사용하여 부분이 모두 다른 $t$-코어 분할의 생성함수를 도출한다.
• 부분이 모두 다른 $(t,t+1)$-코어 분할의 수, 최대 크기, 크기의 총합, 평균 크기에 대한 정확한 공식을 수립한다.
• 재귀적 분해와 피보나치 수 항등식을 사용하여 이러한 결과에 대한 자가 포함 증명을 제공한다.
• Straub, Nath 및 Sellers, Zaleski가 이전에 부분적으로 확보한 관련 코어 분할 가족에 대한 결과를 확인하고 확장한다.

제안 방법

• $\beta$-세트를 사용하여 부분이 모두 다른 $t$-코어 분할을 표현하며, 각 세트 $B$는 연속 인덱스에 대해 $x_i x_{i+1} = 0$을 만족한다.
• $\nu_t$ 내의 허용 가능한 $(n_1, \nu_2, \nu_3, \nu_{t-1})$-튜플에 대한 합으로 생성함수를 유도하며, 지수는 $i n_i + t \binom{n_i}{2} - \binom{\nu}{2}$를 포함하는 이차형식이다.
• $t-1$이 $\beta$-세트에 포함되는지 여부에 기반한 재귀적 분해를 적용하여 수와 크기의 합에 대한 재귀 관계를 도출한다.
• 피보나치 항등식을 사용하여 크기의 총합이 $\sum_{i+j+k=t+1, i,j,k\geq1} F_i F_j F_k$임을 증명한다. 여기서 $F_i$는 $i$번째 피보나치 수이다.
• 평균 크기를 정규화된 합 $\sum_{i+j+k=t+1} \frac{F_i F_j F_k}{F_{t+1}}$로 설정한다.
• 크기의 총합에 대한 재귀식 $e_t = e_{t-1} + e_{t-2} + F_{t-1}$을 검증하고, 피보나치 삼중합과 일치함을 확인한다.

실험 결과

연구 질문

• RQ1 부분이 모두 다른 $t$-코어 분할의 생성함수는 무엇인가?
• RQ2 부분이 모두 다른 $(t,t+1)$-코어 분할의 정확한 수는 무엇인가?
• RQ3 이러한 분할의 최대 크기는 얼마인가?
• RQ4 모든 부분이 모두 다른 $(t,t+1)$-코어 분할의 크기 총합과 평균 크기는 무엇인가?
• RQ5 이 분할의 수와 크기 통계는 피보나치 수와 어떻게 관련이 있는가?

주요 결과

• 부분이 모두 다른 $t$-코어 분할의 생성함수는 $\sum_{n\geq 0} cd_t(n) q^n = \sum_{(n_1,\dots,n_{t-1}) \in \mathcal{C}_t} q^{\sum_{i=1}^{t-1} \left( i n_i + t \binom{n_i}{2} \right) - \binom{\sum n_i}{2}}$이며, 여기서 $\mathcal{C}_t$는 두 개 이상의 연속된 비영인 성분을 포함하지 않는 튜플의 집합이다.
• 부분이 모두 다른 $(t,t+1)$-코어 분할의 수는 피보나치 수 $F_{t+1}$이다.
• 이러한 분할의 최대 크기는 $\left\lfloor \frac{1}{3} \binom{t+1}{2} \right\rfloor$이다.
• 최대 크기를 갖는 이러한 분할의 수는 $t \equiv 1 \pmod{3}$이면 2개이고, 그 외의 경우 1개이다.
• 부분이 모두 다른 $(t,t+1)$-코어 분할의 크기 총합은 $\sum_{i+j+k=t+1, i,j,k\geq1} F_i F_j F_k$이다.
• 평균 크기는 $\sum_{i+j+k=t+1, i,j,k\geq1} \frac{F_i F_j F_k}{F_{t+1}}$이다.