[논문 리뷰] Simultaneous cores with restrictions and a question of Zaleski and Zeilberger

Paul D. Johnson|arXiv (Cornell University)|2018. 02. 26.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 5

한 줄 요약

이 논문은 제한된 부분 차이를 가진 $(n,n+1)$-core 분할에 대한 일반적인 재귀를 제안하며, 이는 이전의 서로 다른 부분과 $d$로 나누어지는 부분에 대한 결과를 통합한다. Zaleski와 Zeilberger가 제기한 질문을 해결하기 위해, 모든 부분이 홀수인 $(n,n+1)$-core 분할의 수가 $n$-번째 피보나치 수와 같음을 증명한다. 이는 아바쿠스 다이어그램과 생성함수를 사용하여 크기, 길이, 최대 부분과 같은 풍부한 통계를 유도한다.

ABSTRACT

IMPORTANT NOTE: This paper is much rougher than I'd usually submit, and not entirely complete, though the main theorems and proofs should not be hard to follow. Given the ongoing strike at UK Universities it may be some time before I get to complete it to my satisfaction, and in the meantime people I've shared the preliminary draft with would like to be able to reference it. Hence I'm uploading it in its current form, and will update it later. The main new result of this paper is to count the number of (n,n+1)-core partitions with odd parts, answering a question of Zaleski and Zeilberger with bounty a charitable contribution to the OEIS. Along the way, we prove a general theorem giving a recurrence for (n,n+1)-core parts whose smallest part and consecutive part differences are restricted to lie in an arbitrary set M. This theorem unifies many known results about (n,n+1)-core partitions with restrictions. We end with discussions of extensions of the general theorem that keep track of the largest part, number of parts, and size of the partition, and about a few cases where the same methods work on more general simultaneous cores.

연구 동기 및 목표

• 제한된 연속 부분 차이를 가진 $(n,n+1)$-core 분할에 대한 기존 결과를 통합하고 일반화하기.
• Zaleski와 Zeilberger가 제기한, 모든 부분이 홀수인 $(n,n+1)$-core 분할의 수에 관한 구체적 질문을 해결하기.
• 아바쿠스 구성법을 사용하여 다양한 제한된 클래스의 $(n,n+1)$-core 분할에 적용 가능한 재귀 프레임워크를 개발하기.
• 크기, 부분 수, 최대 부분과 같은 추가 통계를 추적할 수 있도록 재귀를 풍부하게 하기.
• 일부 경우에서 $(n,n+1)$-core를 초월한 동일한 방법의 적용 가능성을 탐색하기.

제안 방법

• 정수 분할의 아바쿠스 모델을 사용하여 재귀를 유도하며, 부분 차이 제약 조건을 집합 $M \subset \mathbb{N}$을 통해 표현한다.
• 특히 백색 구슬의 연속과 검은 구슬 경계를 중심으로 아바쿠스의 구슬 구성 요소를 분석함으로써 재귀를 구성한다.
• 허용된 부분 차이를 추적하는 특성 함수 $\chi_M(q)$에 기반하여 생성함수 $F_M(q)$를 정의한다.
• 크기, 길이, 최대 부분에 대한 풍부한 생성함수를 $\chi_M(q)$의 도함수와 유리 함수를 사용하여 도출한다.
• 재귀를 $M = \mathbb{N}_+$ (서로 다른 부분) 및 $M = 2\mathbb{N}$ (홀수 부분)에 적용하여 피보나치 수와 Fuss-Catalan 유형의 수를 도출한다.
• 생성함수 $F_M(q)$에 대한 미분 연산자를 사용하여 총 크기와 총 부분 수와 같은 통계를 추적할 수 있도록 방법을 확장한다.

실험 결과

연구 질문

• RQ1 모든 부분이 홀수인 $(n,n+1)$-core 분할의 수는 얼마이며, 이는 알려진 조합 수열을 따르는가?
• RQ2 임의의 연속 부분 차이 제약 조건 하에서 $(n,n+1)$-core 분할에 대해 통합된 재귀를 구성할 수 있는가?
• RQ3 재귀를 크기, 부분 수, 최대 부분과 같은 추가 통계를 추적할 수 있도록 어떻게 풍부하게 할 수 있는가?
• RQ4 재귀 방법이 $(n,n+1)$-core 사례를 초월한 동시 핵심 분할의 경우에 적용 가능한가?
• RQ5 홀수 부분과 짝수 부분을 가진 $(n,n+1)$-core 분할의 수 사이에 어떤 관계가 있는가?

주요 결과

• 모든 부분이 홀수인 $(n,n+1)$-core 분할의 수는 $n$-번째 피보나치 수 $F_n$ 과 같으며, 이는 Zaleski와 Zeilberger가 제기한 질문을 해결한다.
• 연속 부분 차이가 고정된 집합 $M \subset \mathbb{N}$에 속하는 $(n,n+1)$-core 분할에 대해 일반적인 재귀가 확립되었으며, 이는 이전 결과를 통합한다.
• 재귀는 $M = \mathbb{N}_+$ (서로 다른 부분)의 경우에 대해 피보나치 수를 회복하고, $M = 2\mathbb{N}$ (홀수 부분)의 경우에 대해 동일한 피보나치 수열을 도출함을 보였다.
• 생성함수 $F_M(q)$는 $\chi_M(q)$를 포함하는 함수 방정식을 만족하며, 이는 도함수를 통한 풍부한 통계 유도를 가능하게 한다.
• 모든 이러한 분할의 총 크기, 부분 수, 최대 부분은 $F_M(q)$와 그 도함수로부터 도출된 유리 생성함수로 표현된다.
• 방법은 $M = k\mathbb{N}_+$ 경우로 확장되어 $k$로 나누어지는 서로 다른 부분을 가진 분할을 도출하며, 이러한 경우에서 Fuss-Catalan 수와 연결된다.