Franklin's identity for $n$-color partitions and companion Beck-type identities

技術要約：n色分割に関するフランクリンの恒等式と、それに付随するベック型の恒等式

問題提起
本論文は、古典的な分割恒等式を**n色分割（n-color partitions）**の領域へと拡張することについて研究している。n色分割とは、整数 $m$ の分割において、大きさ $n$ のパーツが $n$ 個の異なる色（添字 $1, 2, \dots, n$ で表される）を持ち得るものである。通常の分割には、パーツの多重度や可除性に関連する確立された恒等式（フランクリンの定理やベック型の恒等式など）が存在するが、著者らは、n色分割に対して正確な類似物が存在するかどうかを明らかにすることを目的としている。具体的には、以下の2つの $m$ のn色分割の集合に焦点を当てている：

1. $O_{j,r}(m)$: サイズと添字（色）の両方が $r$ で割り切れるような、ちょうど $j$ 個の異なるパーツを持つ分割。
2. $D_{j,r}(m)$: 少なくとも $r$ 回出現するパーツがちょうど $j$ 個ある分割。

中心となる問題は、これらの集合のカーディナリティ（集合の要素数）の等価性を確立し、「ベック型」の恒等式（これらの集合におけるパーツの総数または異なるパーツ数の差に関連する恒等式）を導出することである。

手法
著者らは、すべての主要な定理に対して、解析的および組合せ論的な証明の両方を提供する二重のアプローチを採用している。

• 解析的手法: 著者らは母関数を利用している。彼らは、$z$（パーツの数）、$w$（パラメータ $j$）、$q$（整数 $m$）を用いた三変量母関数を、$|O_{j,r}(m)|$ および $|D_{j,r}(m)|$ の数列に対して構築する。これらの無限積を操作することにより、カーディナリティの母関数が同一であることを示す。ベック型の恒等式については、母関数の微分（パーツの数を追跡するための $z$ に関する対数微分、およびパラメータ $j$ を追跡するための $w$ に関する対数微分）を適用することで、母関数の微分と目的の計数列を関連付ける。
• 組合せ論的手法: 著者らは、$O_{j,r}(m)$ と $D_{j,r}(m)$ の間の明示的な全単射を構築する。
  • $j=0$ の場合、全単射 $\phi_0$ は、n色分割に適応させた**グローシャーの全単射（Glaisher's bijection）**の変種である。これは、パーツの多重度を $r$ を底とする基数で表現し、サイズと添字の可除性に基づいてパーツを変換するプロセスを含む。
  • $j \ge 1$ の場合、全単射 $\phi_j$ は、分割を「サイズまたは添字が $r$ で割り切れないパーツ」の部分（$\phi_0$ によって写される）と、「すべてのサイズおよび添字が $r$ で割り切れるパーツ」の部分（スケーリング変換 $\psi$ によって写される）へと分解する。
  • ベック型の恒等式については、特定の多重度特性を持つ分割のサブセットを構築し、特定の多重度を持つ分割を、パーツの総数または異なるパーツ数の差へと写す全単儀を確立することによって、組合せ論的な証明を行う。

主要な貢献および結果

1. n色フランクリンの定理 (Theorem 2.1):
   本論文は、すべての $r \ge 2$ および $m, j \ge 0$ に対して、$O_{j,r}(m)$ に含まれるn色分割の数と $D_{j,r}(m)$ に含まれるn色分割の数が等しいことを証明している：
   $$|O_{j,r}(m)| = |D_{j,r}(m)|$$
   これは、通常の分割に関する古典的な結果をn色設定へと一般化したものである。

2. 第一のベック型恒等式 (Theorem 3.1):
   著者らは、これら2つの集合のカウントの重み付き差と、パーツの総数（$\ell(\lambda)$）の差との間の関係を確立している：
   $$(j + 1)|O_{j+1,r}(m)| - j|O_{j,r}(m)| = \frac{1}{r-1} \left( \sum_{\lambda \in O_{j,r}(m)} \ell(\lambda) - \sum_{\lambda \in D_{j,r}(m)} \ell(\lambda) \right)$$
   この恒等式は、パーツの総数を取り入れることで、フランクリンの等価性を精緻化している。

3. 第二のベック型恒等式 (Theorem 4.1):
   多重度が $r$ と $2r$ の間にある異なるパーツの数（$T_{j,r}(m)$ と表記）の差と、2つの集合間の異なるパーツの数（$\bar{\ell}(\lambda)$）の差を関連付ける第二の恒等式が証明されている：
   $$T_{j+1,r}(m) - T_{j,r}(m) = \sum_{\lambda \in D_{j,r}(m)} \bar{\ell}(\lambda) - \sum_{\lambda \in O_{j,r}(m)} \bar{\ell}(\lambda)$$

意義
本論文は、これらの結果が、ベックや後にアンドリュースとヤンによって精緻化された通常の分割における「ベック型の現象」が、n色分割のファミリーにも自然に拡張されることを示していると主張している。解析的および組合せ論的な証明の両方を提供することにより、著者らは、これらの恒等式の基礎となる構造的特性が、色の添字という追加の複雑さを受け入れるのに十分な堅牢性を持っていることを確認している。この研究は、n色分割（平面分割と同数である）を古典的な分割理論に結びつけており、多くの古典的な恒等式が、このより複雑な組合せ論的設定においても精密な類似物を持つことを示唆している。著者らは、自身の研究が、ベックの恒等式を一般化したバランタインやウェルチによる先行研究から着想を得たものであることを明記しており、本論文を、分割理論におけるパーツのサイズ、多重度、および色の相互作用の理解におけるさらなる一歩として位置づけている。