[논문 리뷰] The number of simultaneous core partitions

Huan Xiong|arXiv (Cornell University)|2014. 09. 24.

Advanced Mathematical Identities참고 문헌 9인용 수 9

한 줄 요약

이 논문은 Amdeberhan의 추측을 증명한다. 즉, $(t,t+1,t+2)$-core 분할의 수는 $t$-번째 Motzkin 수와 같으며, 이는 $\sum_{0\leq k\leq\lfloor t/2\rfloor}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$로 주어진다. 또한 $(t, t+1, \dots, t+p)$-core 분할의 수에 대한 생성함수를 수립하고, 이러한 분할이 유한한데 필요한 조건은 매개변수들의 최대공약수가 1인 경우임을 증명하며, Anderson의 결과를 다중 매개변수로 일반화한다.

ABSTRACT

Amdeberhan conjectured that the number of $(t,t+1, t+2)$-core partitions is $\sum_{0\leq k\leq [\frac{t}{2}]}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$. In this paper, we obtain the generating function of the numbers $f_t$ of $(t, t + 1, ..., t + p)$-core partitions. In particular, this verifies that Amdeberhan's conjecture is true. We also prove that the number of $(t_1,t_2,..., t_m)$-core partitions is finite if and only if gcd$(t_1,t_2,..., t_m)=1,$ which extends Anderson's result on the finiteness of the number of $(t_1,t_2)$-core partitions for coprime positive integers $t_1$ and $t_2$ and thus rediscover a result of Keith and Nath with a different proof.

연구 동기 및 목표

• $(t,t+1,t+2)$-core 분할의 수가 $t$-번째 Motzkin 수와 같다는 Amdeberhan의 추측을 증명하는 것.
• $(t,t+1,\dots,t+p)$-core 분할의 수에 대한 생성함수를 유도하는 것.
• Anderson의 $(t_1,t_2)$-core 분할에 대한 유한성 결과를 $m$-튜플로 일반화하여, $\gcd(t_1,\dots,t_m) = 1$이면 유한함을 보이는 것.
• Keith와 Nath의 결과에 대해 $\beta$-세트와 순서론적 방법을 사용하여 동시 core 분할의 유한성에 대한 새로운 증명을 제공하는 것.

제안 방법

• $\beta$-세트를 사용하여 $t$-core 분할을 특성화하며, 분할이 $t$-core이기 위한 조건은 그 $\beta$-세트에 속한 원소 중에서 $t$ 모듈로의 배수가 존재하지 않는 것이다.
• 만약 $\gcd(t_1,\dots,t_m) = 1$이라면, $\beta$-세트는 $t_1,\dots,t_m$에 의해 생성되는 반군의 원소를 포함할 수 없으며, 이는 유계성을 보장한다.
• 후크 길이로부터 유도된 부분순서집합의 양호한 부분집합의 집합에 대해 재귀적 분해를 구성하며, $\beta$-세트의 부분집합들 간의 동형사상 관계를 이용한다.
• 생성함수 $F(x) = \sum_{t\geq 0} f_t x^t$를 정의하고, $F(x)$와 $x^p$를 포함하는 함수방정식을 유도하며, 이로부터 이차공식을 통해 닫힌 표현식을 도출한다.
• 이sov형사상 $\phi$와 $\varphi$를 사용하여 부분순서집합의 부분집합들 간의 동형관계를 보이며, 양호한 부분집합의 수를 유지하고 재귀적 세는 데에 기여한다.
• 기존의 생성함수를 적용한다: $p=1$일 경우, 카탈란 수를 회복한다; $p=2$일 경우, Motzkin 수를 회복하며, Amdeberhan의 추측을 확인한다.

실험 결과

연구 질문

• RQ1 Amdeberhan의 추측, 즉 $(t,t+1,t+2)$-core 분할의 수가 $t$-번째 Motzkin 수와 같은가?
• RQ2 일반적인 $p$에 대해 $(t,t+1,\dots,t+p)$-core 분할의 수에 대한 생성함수는 무엇인가?
• RQ3 $(t_1,t_2,\dots,t_m)$-core 분할의 수가 유한한 조건은 무엇인가?
• RQ4 두 서로소 매개변수에 대한 Anderson의 유한성 결과를 $m$개 매개변수로 일반화할 수 있는가?
• RQ5 $\beta$-세트와 후크 길이에 대한 순서론적 구조는 동시 core 분할의 세는 데 어떻게 기여하는가?

주요 결과

• $(t,t+1,t+2)$-core 분할의 수는 정확히 $t$-번째 Motzkin 수이다: $f_t = \sum_{0\leq k\leq\lfloor t/2\rfloor}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$.
• $f_t$에 대한 생성함수는 $\sum_{t\geq 0} f_t x^t = \frac{1 - x - \sqrt{1 - 2x - 3x^2}}{2x^2}$이며, 이는 Motzkin 수의 생성함수임을 확인한다.
• $(t_1,t_2,\dots,t_m)$-core 분할의 수는 $\gcd(t_1,t_2,\dots,t_m) = 1$이면 유한하며, 이는 Anderson의 결과를 $m$개 매개변수로 일반화한 것이다.
• $p=1$일 경우, 생성함수는 $\frac{1 - \sqrt{1 - 4x}}{2x}$로 줄어들며, 이는 카탈란 수의 생성함수이다. 이는 Anderson의 $(t,t+1)$-core 분할 공식을 회복한다.
• $p=2$일 경우, 결과는 기존의 Motzkin 수 생성함수를 이용해 Amdeberhan의 추측을 확인한다.
• $\beta$-세트와 부분순서집합의 부분집합 간의 동형사상에 기반한 증명 기법은 유한성 조건에 대해 새로운, 자가 포함된 유도를 제공하며, Keith와 Nath의 결과를 독립적으로 재발견한다.