[논문 리뷰] Explicit (Polynomial!) Expressions for the Expectation, Variance and Higher Moments of the Size of a (2n + 1, 2n + 3)-core partition with Distinct Parts

Anthony Zaleski, Doron Zeilberger|arXiv (Cornell University)|2016. 11. 17.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 4

한 줄 요약

이 논문은 기호 계산과 실험 수학 기법을 사용하여 $(2n+1, 2n+3)$-핵 분할에서 서로 다른 부분을 가지는 크기의 기대값, 분산, 그리고 제7차 모멘트까지의 명시적 다항식 표현을 제공한다. 이러한 모멘트들이 $n$에 대한 다항식임을 확인하였으며, 극한 분포가 정규분포가 아니며, 모멘트로부터 유도된 비정규성 특성을 가지는 스케일링 한계값(왜도 및 중첨도)을 규명하였다.

ABSTRACT

Inspired by Armin Straub's conjecture (arXiv:1601.07161) about the number and maximal size of (2n+1, 2n+3)-core partitions with distinct parts, we develop relatively efficient, symbolic-computational algorithms, based on non-linear functional recurrences, to generate the generating functions, according to size, of the set of such partitions. By computing these polynomials for n=1,...21, we are able to rigorously derive explicit expressions for the expectation, variance, and third through seventh moments of the random variable "size of a (2n+1, 2n+3)-core partition with distinct parts." In particular, we find that this random variable is not asymptotically normal as n goes to infinity.

연구 동기 및 목표

• 서로 다른 부분을 가지는 $(2n+1, 2n+3)$-핵 분할의 크기 기대값, 분산, 그리고 고차 모멘트에 대한 명시적 다항식 표현을 유도하는 것.
• 이러한 모멘트들이 $(s,s+1)$-핵 분할의 경우에서 관찰되는 피보나치 기반 표현과는 대조적으로 $n$에 대한 다항식임을 보여주는 것.
• Armin Straub이 제기한 이러한 분할의 수와 최대 크기에 대한 추측에 대한 이전에 복잡한 조합적 증명이 있었지만, 이를 더 빠르고 엄밀화 가능한 대안으로 제공하는 것.
• 비선형 함수적 재귀식을 사용하여 첫 21개의 Straub 다항식 $S_n(q)$, 즉 이러한 분할의 생성함수를 계산하는 것.
• 크기 랜덤 변수의 극한 분포를 조사하고, 스케일링된 모멘트를 계산하여 비정규성을 밝혀내는 것.

제안 방법

• 저자들은 `Armin.txt`와 `core.txt`라는 Maple 패키지를 사용하여 기호 계산을 수행하여, 서로 다른 부분을 가지는 $(2n+1, 2n+3)$-핵 분할의 생성함수를 나타내는 첫 21개의 Straub 다항식 $S_n(q)$를 생성한다.
• 모멘트를 추출하기 위해 $S_n(q)$에 대해 윤곽 연산자 $(q\frac{d}{dq})^k$를 적용하고 $q=1$에서 평가한 후 $4^n$으로 정규화한다.
• 수치적 수열을 $S_n(q)$에서 유도하여 $n$에 대한 다항식 형태로 모멘트를 피팅하며, $n=21$까지의 차수를 확인한다.
• 이 방법은 실험 수학에 기반하며, 수열의 경험적 피팅을 후행적으로 다항식 항등식의 검증을 통해 엄밀화한다.
• 직접 수를 세는 것을 피하기 위해 $S_n(q)$에 대한 비선형 함수적 재귀식을 사용하여 다항식을 효율적으로 계산한다.
• 표준화된 모멘트의 다항식 표현에서 고차 모멘트(왜도, 첨도)의 스케일링 한계값을 계산한다.

실험 결과

연구 질문

• RQ1 서로 다른 부분을 가지는 $(2n+1, 2n+3)$-핵 분할의 크기 기대값, 분산, 그리고 고차 모멘트에 대한 명시적 다항식 표현은 무엇인가?
• RQ2 이러한 분할의 크기의 극한 분포는 정규분포인가, 아니면 비정규적 특성을 보이는가?
• RQ3 세 번째에서 일곱 번째 모멘트(왜도 및 첨도)의 정확한 스케일링 한계값은 무엇인가?
• RQ4 이러한 분할의 추측된 최대 크기를 기호 계산과 다항식 피팅을 통해 엄밀하게 확인할 수 있는가?
• RQ5 크기 분포의 모멘트들은 $n$에 대해 다항식 의존성을 보이며, 만약 그렇다면 그 차수는 무엇인가?

주요 결과

• 서로 다른 부분을 가지는 $(2n+1, 2n+3)$-핵 분할의 크기 기대값은 $n$에 대한 삼차 다항식으로 주어지며, 명시적으로 $\mu(n) = \frac{1}{24}(5n^3 + 15n^2 + 10n)$로 계산되었다.
• 분산은 $n$에 대한 6차 다항식이며, 제2모멘트와 평균의 제곱을 이용하여 유도되었으며, $n=21$까지 확인되었다.
• 변동계수의 스케일링 한계값은 $\sqrt{14010}/150 \approx 0.789092305$이며, 이는 비정규적 극한 분포를 나타낸다.
• 세 번째 모멘트(왜도)의 스케일링 한계값은 $\frac{396793}{390815488} \cdot \sqrt{467 \cdot 7680} \approx 1.92278748$이며, 극한 분포의 비대칭성을 확인한다.
• 네 번째 모멘트(첨도)의 스케일링 한계값은 $145309380/16792853 \approx 8.6530490$이며, 정규분포의 첨도를 크게 초월한다.
• 이러한 분할의 최대 크기는 4차 다항식 $\frac{1}{24}(5n+11)n(n+2)(n+1)$로 주어지며, $S_n(q)$의 차수를 통해 $n=21$까지 확인되었다.