[논문 리뷰] Hooks and powers of parts in partitions

Roland Bacher, Laurent Manivel|arXiv (Cornell University)|2001. 08. 29.

Advanced Mathematical Identities참고 문헌 5인용 수 17

한 줄 요약

이 논문은 놀라운 조합적 항등식을 확립한다: 모든 정수 분할에 대한 길이 $k$의 후크 총수는 이러한 분할들에서 크기 $k$의 부분의 총수의 $k$ 배와 같다. 생성함수와 $q$-이항계수를 사용하여, 후크 수는 후크 유형에 관계없이 길이 $k$에만 의존하며, 균일 분포 하에서 $k$-번째 부분과 그 다중도의 정확한 모멘트 공식을 유도한다.

ABSTRACT

This paper shows that the number of hooks of length k contained in all partitions of n equals k times the number of parts of length k in all partitions of n. It contains also formulas for the moments (under uniform distribution) of k-th parts in partitions of n.

연구 동기 및 목표

• 분할에서 후크 수와 부분 다중도 사이의 깊은 조합적 항등식을 확립하는 것.
• 균일 분포 하에서 $n$의 분할에서 $k$-번째 부분과 그 다중도의 분포를 분석하는 것.
• 분할에서 $k$-번째 부분과 그 다중도에 대한 정확한 생성함수와 모멘트 공식을 도출하는 것.

제안 방법

• 생성함수 $\psi_k(y,z)$ 를 사용하여, 최소한 $k$번 나타나는 부분의 수를 표현하고, $m_k(n)$ 과 $\nu_k(n)$ 을 연결한다.
• 모멘트를 계산하기 위해 항등식 $\sum_{j} \binom{j}{d} Z^j = \frac{1}{Z} \left( \frac{Z}{1-Z} \right)^{d+1}$ 를 적용한다.
• $q$-이항계수 ${\alpha+\beta \choose \alpha}_q$ 를 사용하여 크기와 부분 수가 제한된 분할을 수량화한다.
• $\lambda_k(n)$ 과 $\nu_k(n)$ 의 생성함수를 켤레와 분할의 전치를 통해 유도한다.
• 모멘트를 전개하기 위해 지수 생성함수 항등식 $\prod_i (1 - x_i)^{-1} = \exp\left(\sum_l \frac{\sum_i x_i^l}{l}\right)$ 을 사용한다.
• 생성함수와 계수 비교를 통해 핵심 항등식 $\nu_k(n) = \gamma_k(n) + \nu_{k+1}(n)$ 을 확립한다.

실험 결과

연구 질문

• RQ1 모든 $n$의 분할에서 주어진 길이 $k$의 후크 총수는 후크 유형에 관계없이 오직 $k$에만 의존하는가?
• RQ2 $n$의 분할에서 $k$-번째 부분의 모멘트는 생성함수를 사용하여 닫힌 형태로 표현할 수 있는가?
• RQ3 크기 $k$의 부분의 다중도와 길이 $k$의 후크 수 사이에 조합적 해석이 존재하는가?
• RQ4 $\lambda(n)$, $\nu(n)$, $\gamma(n)$ 의 벡터들 간의 관계는 생성함수를 통해 어떻게 기술되는가?

주요 결과

• 모든 $n$의 분할에서 길이 $k$의 후크 총수는 해당 분할들에서 크기 $k$의 부분 총수의 $k$ 배와 같다.
• 유형 $\tau(\alpha, k-1-\alpha)$ 의 길이 $k$ 후크 수의 생성함수는 $\frac{z^k}{1 - z^k} \prod_{i=1}^\infty \frac{1}{1 - z^i}$ 이며, 크기 $k$의 부분 수의 생성함수와 일치한다.
• $n$의 모든 분할에서 크기 $k$의 부분 수를 나타내는 $\nu_k(n)$ 은 $\nu_k(n) = \gamma_k(n) + \nu_{k+1}(n)$ 를 만족하며, 여기서 $\gamma_k(n)$ 은 다중도의 다중도를 세는 수이다.
• $n$의 분할에서 $k$-번째 부분의 $d$-번째 모멘트, $\sum_n \binom{\lambda_k(n)}{d} z^n$ 은 $\left( \prod_{i=1}^\infty \frac{1}{1 - z^i} \right) S_d(k)$ 로 주어지며, 여기서 $S_d(k)$ 는 $\sigma_l(k)$ 의 대칭함수이다.
• $\varphi_k(y,z) = \sum_\lambda y^{\lambda_k} z^{|\lambda|}$ 는 $\left( \prod_{i=1}^{k-1} \frac{1}{1 - z^i} \right) \left( \prod_{j=k}^\infty \frac{1}{1 - y z^j} \right)$ 와 같으며, 이는 미분을 통해 모멘트 공식을 이끌어낸다.
• $\sum_n \binom{\nu_k(n)}{d} z^n$ 의 생성함수는 $\left( \sum_j \binom{j}{d} z^{jk} \right) \prod_{i \neq k} \frac{1}{1 - z^i}$ 이며, 부분 다중도의 모멘트에 대한 명시적인 유리함수 생성함수를 제공한다.