[논문 리뷰] On the Intriguing Problem of Counting (n+1,n+2)-Core Partitions into Odd Parts

Anthony Zaleski, Doron Zeilberger|arXiv (Cornell University)|2017. 12. 28.

Advanced Combinatorial Mathematics참고 문헌 1인용 수 3

한 줄 요약

이 논문은 오랫동안 미해결된 분할 이론의 문제인 $(n+1,n+2)$-core 분할을 홀수 부분으로 나누는 방법을 조사한다. 삼각형 격자 위의 순서 이상수와 Maple에서의 고급 생성함수 기법을 사용하여 저자들은 수열의 23개 항을 계산하고, 이후 Paul Johnson의 심층적인 연결 발견을 통해 짝수 부분 분할과의 관계를 규명함으로써 생성함수에 대한 대수적 방정식을 빠르게 계산할 수 있는 알고리즘과 강력한 증거나를 제공한다.

ABSTRACT

Tewodros Amdeberhan and Armin Straub initiated the study of enumerating subfamilies of the set of (s,t)-core partitions. While the enumeration of (n+1,n+2)-core partitions into distinct parts is relatively easy (in fact it equals the Fibonacci number F_{n+2}), the enumeration of (n+1,n+2)-core partitions into odd parts remains elusive. Straub computed the first eleven terms of that sequence, and asked for a "formula," or at least a fast way, to compute many terms. While we are unable to find a "fast" algorithm, we did manage to find a "faster" algorithm, which enabled us to compute 23 terms of this intriguing sequence. We strongly believe that this sequence has an algebraic generating function, since a "sister sequence" (see the article), is OEIS sequence A047749 that does have an algebraic generating function. One of us (DZ) is pledging a donation of 100 dollars to the OEIS, in honor of the first person to generate sufficiently many terms to conjecture (and prove non-rigorously) an algebraic equation for the generating function of this sequence, and another 100 dollars for a rigorous proof of that conjecture. Finally, we also develop algorithms that find explicit generating functions for other, more tractable, families of (n+1,n+2)-core partitions.

연구 동기 및 목표

• Straub가 이전에 계산한 11개 항 외에 $(n+1,n+2)$-core 분할을 홀수 부분으로 나누는 수열의 더 많은 항을 계산하는 것.
• 강력한 수치적 증거와 관련 구조적 유사성에 기반하여 이 수열의 생성함수가 대수적일지 여부를 판단하는 것.
• 순서 이상수와 생성함수 기법을 활용하여 $(n+1,n+2)$-core 분할의 제한된 가족을 세는 알고리즘적 방법을 개발하는 것.
• 홀수 부분과 짝수 부분의 $(n+1,n+2)$-core 분할 수열 간의 연결 고리를 확립하여 홀수 부분 수열에 대한 빠른 알고리즘을 도출하는 것.

제안 방법

• 저자들은 $(n+1,n+2)$-core 분할을 삼각형 격자 $A_n$ 위의 순서 이상수로 모델링하며, 이는 집합 $P_{n+1,n+2} = \mathbb{N} \setminus ((n+1)\mathbb{N} + (n+2)\mathbb{N})$로 식별된다.
• 각 대각선에서 가장 큰 값과 가장 작은 값의 기수를 기반으로 순서 이상수의 '유형'을 정의함으로써 생성함수의 재귀적 분해를 가능하게 한다.
• 고정된 $k$에 대해, 외곽에서 $k$개의 가장 바깥쪽 대각선에 국한된 순서 이상수에 집중함으로써 유한 상태 기계 유사한 재귀와 대수적 생성함수를 가능하게 한다.
• Maple 패키지 `OddArmin.txt`, `core.txt`, `stCorePlus.txt`를 사용하여 제한된 가족의 생성함수를 계산하는 알고리즘을 구현하였으며, 반복 횟수나 홀수 부분이 제한된 경우를 포함한다.
• 반복 횟수가 $k$로 유한한 경우(예: $k=2,3,4$)에 대해 명시적인 유리함수 생성함수를 유도하였으며, 이들이 대수적 방정식을 만족함을 보였다.
• Paul Johnson의 발견을 활용하여 홀수 부분 수열이 짝수 부분 수열과 관련이 있음을 규명하였고, 이는 생성함수의 빠른 계산과 생성함수에 대한 대수적 방정식 추측을 가능하게 하였다.

실험 결과

연구 질문

• RQ1 강력한 수치적 증거와 관련 수열과의 유사성에 기반하여, $(n+1,n+2)$-core 분할을 홀수 부분으로 나누는 수열의 생성함수가 대수적일까?
• RQ2 직접적인 계산이 어려운 상황에서 이 수열의 많은 항을 계산할 수 있는 빠른 알고리즘을 개발할 수 있을까?
• RQ3 홀수 부분 분할과 짝수 부분 분할을 세는 수열 간의 구조적 관계는 무엇인가?
• RQ4 홀수 부분 수열의 생성함수는 알려진 조합적 변환을 통해 짝수 부분 수열의 생성함수로부터 유도될 수 있는가?
• RQ5 생성함수의 대수적 방정식을 추측하기 위해 필요한 최소한의 항 수는 얼마인가?

주요 결과

• 저자들은 $(n+1,n+2)$-core 분할을 홀수 부분으로 나누는 수열의 23개 항을 계산하였으며, 이는 이전에 알려진 11개 항을 크게 초월한다.
• 수치적 증거와 OEIS 수열 A047749와의 구조적 연결에 기반하여 이 수열의 생성함수가 대수적일 것이라 강력히 추측된다.
• Paul Johnson의 연구는 홀수 부분 수열이 짝수 부분 수열과 관련이 있음을 드러내어, 짝수 부분 생성함수로부터 수열을 효율적으로 계산할 수 있는 빠른 알고리즘을 가능하게 하였다.
• For $k=2$, 생성함수는 $-\frac{x^4 - x^3 - x^2 + x + 1}{x^5 - x^4 - 2x^3 + 3x^2 + x - 1}$이며, 첫 20개 계수는 홀수 부분 수열과 일치한다.
• For $k=3$, 생성함수는 $-\frac{x^9 + x^8 - 4x^7 - 6x^6 + 8x^5 + 9x^4 - 5x^3 - 5x^2 + x + 1}{(x^9 + 2x^8 - 3x^7 - 9x^6 + 3x^5 + 14x^4 - x^3 - 7x^2 + 1)(x - 1)}$이며, 수열의 첫 25개 계수를 제공한다.
• 저자들은 Paul Johnson의 발견을 기념하여 OEIS에 200달러의 기부를 하였다. 이는 수열을 효율적으로 계산하는 데 핵심적인 도전 과제를 해결한 덕분이었다.