[論文レビュー] Core partitions with distinct parts

Huan Xiong|arXiv (Cornell University)|Aug 31, 2015

Advanced Mathematical Identities参考文献 21被引用数 13

ひとこと要約

この論文は、相異なる部品を持つ $(t,t+1)$-コア分割に関するAmdeberhanの予想を完全に解決する。相異なる部品を持つ $t$-コア分割の母関数を導出し、組合せ的方法とフィボナッチ恒等式を用いて、その数、最大サイズ、総サイズ、平均サイズの正確な公式を証明する。

ABSTRACT

Simultaneous core partitions have attracted much attention since Anderson's work on the number of $(t_1,t_2)$-core partitions. In this paper we focus on simultaneous core partitions with distinct parts. The generating function of $t$-core partitions with distinct parts is obtained. We also prove the results on the number, the largest size and the average size of $(t, t + 1)$-core partitions. This gives a complete answer to a conjecture of Amdeberhan, which is partly and independently proved by Straub, Nath and Sellers, and Zaleski recently.

研究の動機と目的

• 2015年のAmdeberhanの予想、すなわち相異なる部品を持つ $(t,t+1)$-コア分割の列挙およびサイズ統計に関する予想を解決すること。
• $\beta$-セットと組合せ的制約を用いて、相異なる部品を持つ $t$-コア分割の母関数を導出すること。
• 相異なる部品を持つ $(t,t+1)$-コア分割の数、最大サイズ、サイズの総和、平均サイズの正確な公式を確立すること。
• 再帰的分解とフィボナッチ数の恒等式を用いて、これらの結果の自己完結的証明を提供すること。
• Straub, Nath, Sellers, および Zaleski による関連するコア分割族に関する先行の部分的結果を確認および拡張すること。

提案手法

• 相異なる部品を持つ $t$-コア分割を $\beta$-セットで符号化し、連続する添え字について $x_i x_{i+1} = 0$ を満たす各集合 $B$ を用いる。
• 指数が $i n_i + t \binom{n_i}{2} - \binom{\nu}{2}$ を含む二次形式である、$\nu_t$ 内の許容可能な $(n_1, \nu_2, \nu_3, \nu_{t-1})$-組の和として母関数を導出する。
• $t-1$ が $\beta$-セットに含まれるかどうかに基づく再帰的分解を適用し、数とサイズの総和のための漸化式を導出する。
• フィボナッチ恒等式を用いて、サイズの総和が $\sum_{i+j+k=t+1, i,j,k\geq1} F_i F_j F_k$ に等しいことを証明する。ここで $F_i$ は $i$ 番目のフィボナッチ数である。
• 平均サイズを正規化された和 $\sum_{i+j+k=t+1} \frac{F_i F_j F_k}{F_{t+1}}$ として確立する。
• サイズの総和に関する漸化式 $e_t = e_{t-1} + e_{t-2} + F_{t-1}$ を検証し、フィボナッチ三重和と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 相異なる部品を持つ $t$-コア分割の母関数は何か？
• RQ2 相異なる部品を持つ $(t,t+1)$-コア分割の正確な数は何か？
• RQ3 このような分割の最大サイズは何か？
• RQ4 すべての $(t,t+1)$-コア分割のサイズの総和と平均サイズは何か？
• RQ5 このような分割の数とサイズ統計はフィボナッチ数とどのように関係するか？

主な発見

• 相異なる部品を持つ $t$-コア分割の母関数は $\sum_{n\geq 0} cd_t(n) q^n = \sum_{(n_1,\dots,n_{t-1}) \in \mathcal{C}_t} q^{\sum_{i=1}^{t-1} \left( i n_i + t \binom{n_i}{2} \right) - \binom{\sum n_i}{2}}$ である。ここで $\mathcal{C}_t$ は、連続する非ゼロの成分を含まないタプルの集合である。
• 相異なる部品を持つ $(t,t+1)$-コア分割の数はフィボナッチ数 $F_{t+1}$ に等しい。
• このような分割の最大サイズは $\left\lfloor \frac{1}{3} \binom{t+1}{2} \right\rfloor$ である。
• 最大サイズに達する分割の数は、$t \equiv 1 \pmod{3}$ のとき 2 であり、それ以外の場合は 1 である。
• 相異なる部品を持つすべての $(t,t+1)$-コア分割のサイズの総和は $\sum_{i+j+k=t+1, i,j,k\geq1} F_i F_j F_k$ に等しい。
• 平均サイズは $\sum_{i+j+k=t+1, i,j,k\geq1} \frac{F_i F_j F_k}{F_{t+1}}$ に等しい。