[論文レビュー] On $(2k+1, 2k+3)$-core partitions with distinct parts

Sherry H.F. Yan, Guizhi Qin+2 more|arXiv (Cornell University)|Apr 13, 2016

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

ひとこと要約

この論文は、ストローブが提起した $(2k+1, 2k+3)$-コア分割に関する2つの予想を確認する。まず、このような分割の数が $2^{2k}$ に等しいことを証明し、最大サイズが $\frac{k(k+1)(k+2)(5k+11)}{24}$ に等しいことを導出する。この手法では、$P_{2k+1,2k+3}$ ポセットの順序イデアルを用いて、これらの分割の $\beta$-セットを特徴づけ、ハンクトの長さ集合における組合せ最適化を通じて明示的な数え上げおよびサイズの公式を導出する。

ABSTRACT

In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.

研究の動機と目的

• 奇数 $s$ のとき、$(s,s+2)$-コア分割で部品が相異なるものの数が $2^{s-1}$ に等しいという予想 1.1 を解決すること。
• 奇数 $s$ のとき、このような分割の最大サイズが $\frac{(s^2-1)(s+3)(5s+17)}{384}$ に等しいという予想 1.2 を解決すること。
• $(2k+1,2k+3)$-コア分割で部品が相異なるものの構造を、ポセット $P_{2k+1,2k+3}$ 及びその順序イデアルを用いて特徴づけること。
• 組合せ最適化を $\beta$-セットに適用することで、これらの分割の数および最大サイズに関する明示的公式を導出すること。

提案手法

• 著者たちは、ポセット $P_{2k+1,2k+3}$ の順序イデアルを用いて、$(2k+1,2k+3)$-コア分割で部品が相異なるものの集合をモデル化する。ここで $P_{2k+1,2k+3}$ は $\mathbb{N}^+ \setminus \{n = k_1(2k+1) + k_2(2k+3) \mid k_1,k_2 \in \mathbb{N}\}$ として定義される。
• 彼らは $P_{2k+1,2k+3}$ を二つの互いに素な集合に分解する：$Q_k = \{2i-1 \mid 1 \leq i \leq k\}$ および $Q_k' = \{2i + (s-1)(2k+3) \mid 1 \leq s \leq 2k, 1 \leq i \leq 2k+1-s\}$ であり、$1 \leq i \leq k$ の各 $i$ に対して「良い」順序イデアルのクラス $\gamma_{k,i}$ を定義する。
• 分割の $\beta$-セットは、最初の列におけるハンクトの長さを符号化するために用いられ、分割のサイズは $|\lambda| = \sum_{h \in \beta(\lambda)} h - \binom{|\beta(\lambda)|}{2}$ で計算される。
• 最大サイズの分割は $\mu_{k,k}$ に一致し、これは $\beta$-セット $\gamma_{k,k}$ に対応する。この $\beta$-セットには、$1$ から $2k-1$ までのすべての奇数および $2k+2 + p(2k+3)$（$0 \leq p \leq k-1$）の形のすべての要素が含まれる。
• 証明では、任意の異なる $i$ を持つ代替の $\beta$-セットは、二次比較および単調性の議論を用いて、より小さい合計を与えることを示し、$\mu_{k,k}$ が最大サイズを与えることを確立する。
• $k = \frac{s-1}{2}$ を導出されたサイズの公式に代入することで、奇数 $s$ に対して予想 1.2 が確認される。

実験結果

リサーチクエスチョン

• RQ1 $(2k+1,2k+3)$-コア分割で部品が相異なるものの正確な数は何か？ そして、$2^{2k}$ に等しいという予想は正しいか？
• RQ2 $(2k+1,2k+3)$-コア分割で部品が相異なるものの最大サイズは何か？ そして、$s = 2k+1$ のとき、有理関数 $\frac{(s^2-1)(s+3)(5s+17)}{384}$ と一致するか？
• RQ3 $(2k+1,2k+3)$-コア分割の $\beta$-セットは、ポセット $P_{2k+1,2k+3}$ を用いてどのように特徴づけられるか？ また、最大要素はどのような構造を示すか？
• RQ4 $(2k+1,2k+3)$-コア分割で部品が相異なるものの中で、最大サイズの分割は一意に定まるか？ もしそうなら、その $\beta$-セットは何か？

主な発見

• $(2k+1,2k+3)$-コア分割で部品が相異なるものの数は正確に $2^{2k}$ であり、予想 1.1 が確認された。
• このような分割の最大サイズは $\frac{k(k+1)(k+2)(5k+11)}{24}$ であり、$k = \frac{s-1}{2}$ を代入することで予想 1.2 が正当化された。
• 最大サイズの分割は $\beta$-セット $\gamma_{k,k} = \{1,3,\dots,2k-1\} \cup \{2k+2, 2k+2+(2k+3), \dots, 2k+2+(k-1)(2k+3)\}$ に対応する。
• すべてのこのような分割の中で、$\mu_{k,k}$ は唯一最大サイズを与えるものであり、$i \in [1,k]$ の範囲でサイズ関数を二次的に比較することで示された。
• サイズの公式は、$\beta_{1,k}$ の要素の和と等差数列 $2k+2 + p(2k+3)$ の和を合算し、その後 $\binom{|\beta_{1,k}| + k}{2}$ を減算することで導出された。
• この結果は、$(s,s+1)$-コア分割で部品が相異なるものに関する先行研究を一般化し、$(2k+1,2k+3)$ の形の奇数同士で互いに素なペアへの枠組みの拡張を達成した。