[論文レビュー] Hooks and powers of parts in partitions

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

Advanced Mathematical Identities参考文献 5被引用数 17

ひとこと要約

この論文は、驚くべき組合せ的恒等式を確立する：整数分割 $n$ における全長 $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$ 番目の部品およびその重複度の分布を分析すること。
• $n$ の分割における $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}$ の恒等式を適用して $\nu_k(n)$ のモーメントを計算する。
• $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)$ を用いて、$\lambda_k(n)$ のモーメントを展開する。
• 生成関数と係数比較を用いて、鍵となる恒等式 $\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}$ に等しく、部品の重複度のモーメントに対する明示的な有理関数生成関数が得られる。