[논문 리뷰] Explicit Expressions for the Variance and Higher Moments of the Size of a Simultaneous Core Partition and its Limiting Distribution

Shalosh B. Ekhad, Doron Zeilberger|arXiv (Cornell University)|2015. 08. 30.

Advanced Mathematical Identities참고 문헌 6인용 수 12

한 줄 요약

이 논문은 기호 계산을 사용하여 (s,t)-핵 분할의 크기의 분산과 고차모멘트에 대한 명시적 다항식 표현을 유도하며, 이러한 모멘트들이 독립적인 표준 정규분포 변수를 포함하는 극한 정규분포 유사 분포로 수렴함을 규명한다. 주요 기여는 Maple 패키지 stCore에 구현된 강력한 알고리즘 프레임워크로, 미지 계수와 수치적 피팅을 통한 모멘트 공식의 자동 탐색을 가능하게 한다.

ABSTRACT

Jaclyn Anderson proved that if s and t are relatively prime positive integers, then there are exactly (s+t-1)!/(s!t!) partitions whose set of hook-lengths is disjoint from the set {s,t}. Drew Armstrong conjectured (and Paul Johnson, and a bit later, Victor Wang, proved) a beautiful expression for the average size, namely (s-1)(t-1)(s+t+1)/24 . In the present article, we go far beyond the average, and state absolutely certain expressions (but "officially" still conjectures) for the variance (showing in particular that it is rather large, and there is no "concentration about the mean"), and the third through the sixth moments. For the special case of (s,s+1)-core partitions, we go all the way to the 9th moment. We pose two challenges, and will be glad to donate 100 dollars each, to the OEIS foundation in honor of the first provers, regarding a "soft" and "global", yet rigorous, justification of our empirical approach, and for proving an intriguing conjecture about the limiting distribution. This version reports (thanks to Marko Thiel and Nathan Williams) that the second challenge mentioned above has been done by Paul Johnson (but not in two pages). A donation to the OEIS was made. The first challenge is still wide open.

연구 동기 및 목표

• s와 t가 서로소인 정수일 때, (s,t)-핵 분할의 크기의 분산과 고차모멘트에 대한 명시적 다항식 표현을 유도하는 것.
• s와 t가 커지면서 s−t가 고정된 상태에서 (s,t)-핵 분할의 크기의 극한 분포를 조사하는 것.
• 기호 계산과 수치적 피팅을 통한 강력한 계산적 증거를 제시하여, 극한 분포가 독립적인 표준 정규분포 변수를 포함하는 알려진 연속분포와 일치함을 보이는 것.
• 모멘트의 다항성과 그 차수의 유계성에 대한 엄밀한 사전적 정당화를 수학 공동체가 제공하도록 도전하는 것.
• 특히 핵 분할과 다이크 경로의 맥락에서 깊이 있는 조합적 항등식을 발견하고 검증하는 데 기호 계산의 자동화를 촉진하는 것.

제안 방법

• Anderson의 전단사와 수정된 다이크 경로 표현을 사용하여 (s,t)-핵 분할을 (0,0)에서 (s,t)로 가는 격자 경로로 모델링하며, 직선 sy−tx=0 위에 있도록 유지한다.
• 형식적 변수 q(크기용)와 w(양수 레이블 수용)를 사용한 가중치-열거 생성함수 F_{s,t}(i,j)(q,w)를 정의하며, 동적 프로그래밍 재귀를 통해 계산한다.
• 재귀 관계: F_{s,t}(i,j) = F_{s,t}(i−1,j) + Wt(i,j−1)·F_{s,t}(i,j−1), 경계 조건은 F_{s,t}(i,j)=0 (i<0 또는 sy−ti<0).
• 우물드 치환 w^k → q^{−k(k−1)/2}을 적용하여 생성함수를 크기-생성함수 F_{s,t}(q)로 변환한다.
• 반복적으로 연산자 q d/dq를 적용하고 q=1에서 평가하여 모멘트를 계산하며, 중심모멘트를 추출한다.
• 다항식 추측을 사용하여 수치 데이터를 피팅하고, 선형 시스템을 통해 미지 계수를 구해 닫힌 형태의 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 일반적인 서로소인 s와 t에 대해 (s,t)-핵 분할의 크기의 첫 여섯 모멘트에 대한 명시적 다항식 표현은 무엇인가?
• RQ2 s와 s+1에 대해 (s,s+1)-핵 분할의 크기의 첫 아홉 모멘트는 어떻게 행동하며, s에 대한 다항식으로 표현될 수 있는가?
• RQ3 s,t→∞ 이면서 s−t가 고정된 상태에서 (s,t)-핵 분할의 크기의 극한 분포가 ∑_{k=1}^∞ (z_k² + z̃_k²)/(4π²k²)로 수렴하는가? 여기서 z_k와 z̃_k는 독립적인 표준 정규분포 변수이다.
• RQ4 모멘트가 s와 t에 대한 다항식이며 차수에 유계성이 있음을 두 페이지 이내의 엄밀한 사전적 추론으로 제시할 수 있는가?
• RQ5 기본 이론적 정당화 없이도 기호 계산 도구가 이러한 모멘트 공식의 탐색을 어느 정도 자동화할 수 있는가?

주요 결과

• 모든 (s,t)-핵 분할의 크기의 첫 여섯 모멘트는 s와 t에 대한 다항식이며, 기호 계산을 통해 명시적 닫힌 형태의 표현식이 도출되었다.
• 특수한 경우인 (s,s+1)-핵 분할에 대해서는 첫 아홉 모멘트가 s에 대한 다항식으로 명시적으로 표현되었으며, 그 정확성에 대해 높은 수치적 신뢰도를 확보하였다.
• 수치적 증거는 (s,t)-핵 분할의 크기의 첫 아홉 표준화된 모멘트가 연속분포 ∑_{k=1}^∞ (z_k² + z̃_k²)/(4π²k²)의 대응 모멘트로 수렴함을 보여주며, 분포 수렴 가능성을 시사한다.
• 극한 분포는 [DGP]의 식 (2.4)에서 정의된 U_{VS}(1) 분포와 일치하며, 다른 조합적 통계에서 관찰된 Tracy-Widom 유형의 행동과 일관된다.
• 무료로 이용 가능한 Maple 패키지 stCore는 F_{s,t}(q)의 계산과 모멘트 생성 과정을 자동화하여 다항식 피팅을 위한 확장 가능한 데이터 수집을 가능하게 한다.
• 형식적 증명이 부족하더라도, 저자들은 광범위한 수치적 검증과 기호 계산 프레임워크의 강건성에 기반해 모든 유도된 모멘트 공식이 거의 확실히 올바르다고 주장한다.