Partitions with parity restrictions: a bijective approach

題名： パリティ制限を持つ分割：全単射的アプローチ
著者： William Keith および Bruce E. Sagan

問題設定

本論文は、各部のパリティ（奇偶性）に特定の制限を課した整数分割の組合せ論的研究を扱っている。そのような分割に関する数多くの恒等式（例：すべての奇数部が相異なる分割、あるいは偶数部が奇数部よりも小さい分割など）は、文献において確立されているが、それらはしばしば生成関数の代数的な操作を用いて証明されている。著者らは、これらの恒等式に対する直接的な組合せ論的証明に関する文献の空白を指摘している。中心となる問題は、これらの結果の多くが全単射（bijectively）によって証明可能であり、代数的な対応関係よりも単純で透明性の高い説明を提供できることを示すことである。

手法

本論文を通じて用いられる主要な手法は、分割または関連する組合せ論的対象の集合間における、明示的な全単射（bijection）（一対一対応）の構成である。著者らは以下の具体的なツールや枠組みを利用している：

• 直接写像（Direct Mapping）： 部を操作する（例：奇数部から1を引く、偶数部に1を加える）ことや、重複度を再配置することによって、ある集合から別の集合へと分割を変換する関数を構成する。
• 格子経路モデル（Lattice Path Models）： 分割を平面上の格子経路（東へのステップと北へのステップ）として表現し、ランレングス（連続長）や共役などの性質を分析する。これには、「二重長方形（double rectangles）」や「二重フック（double hooks）」を用いた自己共役分割に対する対合（involution）の定義が含まれる。
• 対合原理（Involution Principles）： 分割の集合上に、自身が逆写像となる写像（対合）を定義することで、パリティの結果を証明する（例：要素をペアリングすることで集合の濃度が偶数であることを示したり、固定点を見つけてmod 2でのカウントを行ったりする）。
• タブロー変換（Tableau Transformations）： 標準ヤング・タブロー（SYT）とロビンソン・シェンシュタッド対応を利用して、格子経路（Dyck、Motzkin、Riordan）と行の長さが制限された分割の形状とを結びつける。
• オーバーパーティション（Overpartitions）と二色分割（Two-Colored Partitions）： オーバーパーティション（最初の出現にオーバーラインが付される可能性があるもの）や二色分割へと全単射を拡張し、これらの構造を含む恒等式を確立する。

主要な貢献と結果

本論文は8つの主要なセクションで構成されており、それぞれが特定の分割の族の恒等式を扱っている：

1. パリティ分離された部（第2節）：

   • 著者らは、偶数部が奇数部よりも小さい分割（$P^o_e$）を、部が偶数または1に制限された分割（$P_{e,1}$）や、「回文的（palindromic）」な分割（$P_p$）に関連付ける恒等式の全単射的証明を提供する。
   • 著者らは、奇数部が偶数部（1を除く）よりも小さい分割が、すべての奇数部からなる分割とすべての偶数部からなる分割の差に関連するというAndrewsの定理について、組合せ論的な証明を与える。

2. 重複度の制限（第3節）：

   • 奇数部が偶数個の重複を持ち、偶数部が特定の重複制約を持つ分割に関するChernによる結果に対して、全単射的証明が与えられる。著者らは、$n \equiv 2 \pmod 4$ のとき、最大の偶数部が $0 \pmod 4$ に合同であるような分割の数は、$2 \pmod 4$ に合同であるものと等しいことを証明する。
   • このような分割の総数のパリティに関する組合士論的な証明を提供し、特定の自己共役分割（$\phi_k$ および $\tilde{\phi}_k$）に関連する対合の固定点を特定する。
   • オーバーパーティションに関する同様の結果も確立されている。

3. 制限されたオーバーパーティション（第4節）：

   • 本論文は、制限されたオーバーパーティションの集合と二色分割を関連付けるBanerjee, Bringmann, Dixitによる恒等式を証明する。この全単射は、これらの構造を標準的な分割と、0を付加した分割の和集合へと写像する。

4. 第3次モック・テータ関数（第5節）：

   • 著者らは、第3次モック・テータ関数 $\nu(q)$ の係数を、以下の3つの異なる対象の集合に結びつける組合せ論的証明を提供する：
     • 偶数部が相異なる分割で、特定の奇数部制約を持つ集合（集合 $A$）。
     • 自己共役分割の奇数フェラー図（Odd Ferrers graphs）（集合 $B$）。
     • すべての部が奇数である自己共役分割（集合 $C$）。
   • これらの集合間の明示的な全単射が構築されている。

5. 相異なる部 vs 重複する部（第6節）：

   • 偶数部が相異なり、奇数部が制限されない分割と、他のパリティ制限されたクラスとの比較を行うBringmannおよびJennings-Shafferによる恒等式に対して、組合せ論的な証明が提示される。

6. 分割の三つ組（第7節）：

   • 著者らは、分割の三つ組に関するGuadalupeによる合同結果を一般化する。彼らは、最初の2つの成分を入れ替える単純な対合を用いて、奇数の整数に和がなるような三つ組の数は偶数であることを証明する。これは、巡回群の作用を用いて任意の素数法（modulus）へと拡張される。

7. パリティ制限されたタブローの形状（第8節）：

   • 本論文は、格子経路（Dyck、Motzkin、Riordan）と、制限された形状を持つ標準ヤング・タブローを結びつける。
   • MatsakisおよびVendervelde（Motzkinパスと最大3行のSYTを関連付ける結果）、およびHemmer, Straub, Westrem（Riordanパスとパリティ制限された行長を持つSYTを関連付ける結果）による結果に対して、全単射的証明が提供される。

意義と主張

本論文の主要な意義は、分割の恒等式の証明パラダイムを、代数的な操作から**全単射的組合せ論（bijective combinatorics）**へと移行させることにあると著者らは主張している。著者らは、これらの全単射的証明がしばしば「より単純」であり、なぜその恒等式が成立するのかについてのより深い構造的な洞察を与えるものであると述べている。

具体的には、本論文は以下のことを達成している：

• 未解決の問いに答える： Chern、Banerjeeら、およびBringmannらによる、以前は生成関数によって導出されていた結果に対して、組合せ論的な証明を提供する。
• 結果を一般化する： 巡回群の作用を用いて、Guadalupeによる合同結果を任意の素数法へと拡張する。
• 未解決の問題を特定する： 著者らは第9節において、特定の恒等式に対して全単射的証明を見つけられなかったことを明示的に述べている。具体的には：
  • 不等式 $v^o_e(n, 0) \ge v^o_e(n, 2)$ （$n \equiv 0 \pmod 4$ の場合）に対する、より単純な単射。
  • モック・テータ関数によって数えられる第4の分割クラス（$D(n)$）と、他のクラス（$A, B, C$）との間の直接的な全単射。
  • 相異なる部／重複する部を持つ分割の集合の漸近的順序における、残りの不等式の全単射的証明。

本論文は、これらの未解決問題を読者への挑戦として提示しており、既知の領域におけるすべての恒等式に対する全単射的アプローチの完全性については、控えめなトーンを維持している。