[논문 리뷰] On $(2k+1, 2k+3)$-core partitions with distinct parts

Sherry H.F. Yan, Guizhi Qin외 2명|arXiv (Cornell University)|2016. 04. 13.

Advanced Mathematical Identities참고 문헌 4인용 수 5

한 줄 요약

이 논문은 스트라우브가 제기한 $(2k+1, 2k+3)$-핵 분할에서 서로 다른 부분을 가지는 두 추측을 확인한다: 이러한 분할의 수는 $2^{2k}$이며, 최대 크기는 $\frac{k(k+1)(k+2)(5k+11)}{24}$임을 증명한다. 이 접근법은 $P_{2k+1,2k+3}$ 포스테트의 순서 이상수를 이용하여 이러한 분할의 $\beta$-집합을 특성화하고, 후크 길이 집합에 대한 조합 최적화를 통해 명시적인 수세기 및 크기 공식을 도출한다.

ABSTRACT

In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.

연구 동기 및 목표

• 홀수 $s$일 때 $(s,s+2)$-핵 분할에서 서로 다른 부분을 가지는 분할의 수가 $2^{s-1}$과 일치한다는 추측인 1.1을 해결하기 위해.
• 홀수 $s$일 때 이러한 분할의 최대 크기가 $\frac{(s^2-1)(s+3)(5s+17)}{384}$임을 추측하는 1.2를 해결하기 위해.
• $(2k+1,2k+3)$-핵 분할에서 서로 다른 부분을 가지는 분할의 구조를 포스테트 $P_{2k+1,2k+3}$ 및 그 순서 이상수를 이용해 특성화하기 위해.
• 조합 최적화를 통해 $\beta$-집합에 기반하여 이러한 분할의 수와 최대 크기에 대한 명시적 공식을 유도하기 위해.

제안 방법

• 저자들은 $P_{2k+1,2k+3}$ 포스테트의 순서 이상수를 통해 $(2k+1,2k+3)$-핵 분할에서 서로 다른 부분을 가지는 분할의 집합을 모델링하며, 이 포스테트는 $\mathbb{N}^+ \setminus \{n = k_1(2k+1) + k_2(2k+3) \mid k_1,k_2 \in \mathbb{N}\}$로 정의된다.
• 그들은 $P_{2k+1,2k+3}$를 두 개의 서로소 집합으로 분해한다: $Q_k = \{2i-1 \mid 1 \leq i \leq k\}$ 와 $Q_k' = \{2i + (s-1)(2k+3) \mid 1 \leq s \leq 2k, 1 \leq i \leq 2k+1-s\}$이며, $1 \leq i \leq k$에 대해 '좋은' 순서 이상수 클래스 $\gamma_{k,i}$를 정의한다.
• 분할의 $\beta$-집합은 첫 번째 열의 후크 길이를 인코딩하며, 분할의 크기는 $|\lambda| = \sum_{h \in \beta(\lambda)} h - \binom{|\beta(\lambda)|}{2}$를 통해 계산된다.
• 최대 크기 분할은 $\mu_{k,k}$로 식별되며, 이는 $\beta$-집합 $\gamma_{k,k}$에 해당한다. 이 집합은 $1$에서 $2k-1$까지의 모든 홀수와 $0 \leq p \leq k-1$인 형태의 $2k+2 + p(2k+3)$를 포함한다.
• 증명은 임의의 다른 $i$에 대해 다른 $\beta$-집합을 사용할 경우 합이 더 작아짐을 보여, 이차 비교와 단조성 논증을 통해 $\mu_{k,k}$가 최대 크기를 갖는다는 것을 입증한다.
• 유도된 크기 공식에 $k = \frac{s-1}{2}$를 대입함으로써, 홀수 $s$에 대해 추측 1.2가 확인된다.

실험 결과

연구 질문

• RQ1 $(2k+1,2k+3)$-핵 분할에서 서로 다른 부분을 가지는 분할의 정확한 수는 얼마이며, 이는 $2^{2k}$와 일치하는가?
• RQ2 $(2k+1,2k+3)$-핵 분할에서 서로 다른 부분을 가지는 분할의 최대 가능한 크기는 얼마이며, $s = 2k+1$일 때 분수 함수 $\frac{(s^2-1)(s+3)(5s+17)}{384}$와 일치하는가?
• RQ3 이러한 분할의 $\beta$-집합은 포스테트 $P_{2k+1,2k+3}$를 통해 어떻게 특성화할 수 있으며, 최대 원소는 어떤 구조를 가지는가?
• RQ4 $(2k+1,2k+3)$-핵 분할에서 서로 다른 부분을 가지는 분할들 중에서 유일한 최대 크기 분할이 존재하는가? 만약 존재한다면, 그 $\beta$-집합은 무엇인가?

주요 결과

• $(2k+1,2k+3)$-핵 분할에서 서로 다른 부분을 가지는 분할의 수는 정확히 $2^{2k}$이며, 이는 추측 1.1을 확인한다.
• 이러한 분할의 최대 크기는 $\frac{k(k+1)(k+2)(5k+11)}{24}$이며, $k = \frac{s-1}{2}$를 대입함으로써 추측 1.2가 확인된다.
• 최대 크기 분할은 $\beta$-집합 $\gamma_{k,k} = \{1,3,\dots,2k-1\} \cup \{2k+2, 2k+2+(2k+3), \dots, 2k+2+(k-1)(2k+3)\}$에 해당한다.
• 이러한 분할들 중에서 $\mu_{k,k}$는 유일하게 최대 크기를 갖는다. 이는 $i \in [1,k]$ 범위에서 크기 함수의 이차 비교를 통해 입증된다.
• 크기 공식은 $\beta_{1,k}$의 원소와 산술급수 $2k+2 + p(2k+3)$의 합을 구한 후, binomial 계수 $\binom{|\beta_{1,k}| + k}{2}$를 빼서 도출된다.
• 이 결과는 이전의 $(s,s+1)$-핵 분할에서 서로 다른 부분을 가지는 경우에 대한 연구를 일반화하며, $(2k+1,2k+3)$ 형태의 홀수-홀수 서로소 쌍으로 이 프레임워크를 확장한다.