[논문 리뷰] Explicit expressions for the moments of the size of an (n, dn-1)-core partition with distinct parts

Anthony Zaleski|arXiv (Cornell University)|2017. 02. 18.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 부분순서집합 기반 특성화와 컴퓨터 기반 기호 계산을 사용하여, 서로 다른 부분을 가진 $(n, dn-1)$-핵 분할의 크기의 모멘트(평균, 분산, 고차 모멘트)에 대한 명시적 다항식 및 유리함수 공식을 유도한다. 주요 기여는 고정된 $d$에 대해 $n \to \infty$일 때 크기 분포의 점근적 정규성을 추측하는 것으로, $n$과 $d$에 대한 닫힌 형태의 모멘트 표현식을 제시하며, Maple 기반 자동 수세기 및 재귀식 피팅을 통해 검증된다.

ABSTRACT

In a previous paper (arXiv:1608.02262), we used computer-assisted methods to find explicit expressions for the moments of the size of a uniform random (n,n+1)-core partition with distinct parts. In particular, we conjectured that the distribution is asymptotically normal. However, our analysis hinged on a characterization of (n,n+1)-core partitions given by Straub, which is not readily generalized to other families of simultaneous core partitions. In another paper (arXiv:1611.05775) with Doron Zeilberger, we made use of the characterization in terms of posets to analyze (2n+1,2n+3)-core partitions with distinct parts; here, the distribution was found not to be asymptotically normal. Our method involved finding recursive structure in the relevant sequence of posets. We remarked that this method is applicable to other families of core partitions, provided that one can understand the corresponding posets. Here, we use the poset method (and, as before, a computer) to analyze (n,dn-1)-core partitions with distinct parts, where d is a natural number. (This problem was introduced by Straub in arXiv:1601.07161.) We exhibit formulas for the moments of the size, as functions of d with n fixed, and vice versa. We conjecture that the distribution is asymptotically normal as n approaches infinity. Finally, we find formulas for the first few moments, as functions of both n and d.

연구 동기 및 목표

• 고정된 자연수 $d$에 대해, 서로 다른 부분을 가진 $(n, dn-1)$-핵 분할의 크기의 모멘트에 대한 명시적 닫힌 형태의 공식을 도출하는 것.
• 이전의 $(n,n+1)$- 및 $(2n+1,2n+3)$-핵 분할에 대한 결과를 더 넓은 가족인 $(n,dn-1)$-핵 분할로 확장하는 것.
• 이러한 분할의 크기 분포의 점근적 분포를 조사하며, 특히 $n \to \infty$일 때 정규 분포로 수렴하는지 여부를 탐구하는 것.
• 부분순서집합과 재귀식 피팅 알고리즘을 활용한 기호 계산 프레임워크를 개발하고 적용하여 모멘트 공식을 생성하고 검증하는 것.

제안 방법

• 서로 다른 부분을 가진 $(s,t)$-핵 분할은 부분순서집합 $P_{s,t} = \mathbb{N} \setminus (s\mathbb{N} + t\mathbb{N})$ 상의 순서 이상으로서, 연속된 레이블을 가질 수 없는 경우에 대응됨을 이용한다.
• $(n, dn-1)$-핵 분할의 부분순서집합의 재귀적 구조를 활용하여 생성함수와 모멘트 수열을 도출한다.
• 컴퓨터 대수 시스템(Maple)을 사용하여 모멘트 수열을 다항식 및 유리함수 형태의 가정에 맞춰 피팅하고, 재귀 패턴을 식별하기 위해 GuessRecPol 알고리즘을 적용한다.
• 모멘트 공식을 다른 변수에 대한 함수로 도출하기 위해 $n$ 또는 $d$를 고정한 후, 이들을 이원변수 공식으로 일반화한다.
• 기본 피보나치 재귀를 만족하는 $N_d(n)$에 대한 선형 대수 기법을 사용하여, $A(n,d)N_d(n) + B(n,d)N_d(n+1)$ 형태의 모멘트 표현식의 계수를 구한다.
• 표준화된 모멘트의 극한을 계산하고 정규 분포에 대한 알려진 수열과 비교하여 추측을 검증한다.

실험 결과

연구 질문

• RQ1 고정된 $n$과 $d$에 대해, 서로 다른 부분을 가진 $(n, dn-1)$-핵 분할의 크기의 모멘트에 대한 명시적 공식은 $n$과 $d$의 함수로 어떻게 도출할 수 있는가?
• RQ2 고정된 $d$에 대해 $n \to \infty$일 때, 서로 다른 부분을 가진 $(n, dn-1)$-핵 분할의 크기 분포는 정규 분포로 수렴하는가?
• RQ3 $(n, dn-1)$-핵 분할의 부분순서집합 구조를 활용하여 재귀적 생성함수와 모멘트 공식을 도출할 수 있는가?
• RQ4 모든 $n$과 $d$가 변화할 때 모멘트는 어떻게 행동하며, 통합된 이원변수 공식을 구성할 수 있는가?
• RQ5 $d=2$인 경우($N_2(n) = 2^{n-1}$)에서 모멘트 공식이 비정상적인 행동을 보이는 이유는 무엇이며, 극한을 통한 방법으로 이 공식을 이 경우로 확장할 수 있는가?

주요 결과

• 모든 고정된 $n=3$에 대해 $X_{d,3}$의 기대값은 $\frac{d^2}{3} + \frac{d}{4} - \frac{1}{12}$이며, 분산은 $\frac{4d^4}{45} + \frac{d^3}{12} - \frac{d^2}{144} + \frac{d}{24} + \frac{31}{720}$이다. 이는 고정된 $n=3$에 대해 다항식 형태의 행동을 확인한다.
• $d=3$인 경우, $X_{3,n}$의 기대값은 $n$과 $N_3(n)$에 대한 유리함수로 주어지며, 명시적 공식은 $\frac{25}{39}n^2 - \frac{479}{507}n + \frac{406}{507} + \frac{N_3(n+1)}{N_3(n)} \left( -\frac{1}{39}n^2 + \frac{29}{169}n - \frac{158}{507} \right)$이다.
• 일반적인 $X_{d,n}$의 기대값은 $n$과 $d$에 대한 유리함수로 표현되며, $N_d(n)$과 $N_d(n+1)$를 포함하며, $d=2$에서의 특이점은 극한 계산을 통해 제거 가능하다.
• $k$번째 사전모멘트 $m_k(d,n)$는 $A(n,d)N_d(n) + B(n,d)N_d(n+1)$ 형태로 추측되며, 여기서 $A$와 $B$는 $d$에 대한 유리함수 계수를 가지는 $n$에 대한 차수 $2k$의 다항식이다.
• $d=2$에 대해 계산된 표준화된 모멘트는 $0,1,0,3,0,15,\dots$와 일치하며, 이는 정규 분포와 일치하여 점근적 정규성의 추측을 지지한다.
• $d=1$인 $(2n+1,2n+3)$-핵 분할의 경우 분포는 점근적으로 정규적이지 않지만, 현재 결과는 $d \geq 3$일 때 정규적임을 시사하며, $d=2$는 특수한 경우이다.