The Partition Pairing Theorems I

「分割のペアリング定理」に関する技術的要約

問題提起と動機
本論文は、「ペアリング理論」の観点から整数分割を分析するための新しい枠組みを導入するものである。中心となる問題は、パーツが最大限にペアリングされた場合（すなわち、偶数個の重複を持つパーツは完全にペアになり、奇数個の重複を持つパーツは正確に1つの未ペアのコピーを残す場合）の分割の統計的性質を理解することである。著者らは、このペアリング・メカニズムに基づいた新しい統計量、具体的には「ペアリング指数（pairing index）」、「ペアリング・ランク（pairing rank）」、および「ペアリング幅（pairing width）」を定義することを目的としている。また、これらの統計量が、分割の個数（$\ell(\lambda)$）や最大部分（$\mu_1$）といった古典的な分割統計量と等分布であることを確立することを目指している。本研究は、自己共役分割、オーバーパーティション（overpartitions）、およびフロベニウス表現を含む既存の理論とこれらの統計量を統合し、同時に新しい算術的合同式や生成関数の恒等式を導出するものである。

手法
著者らは、組合せ論的なバイジェクション、生成関数の操作、および $q$ 級（$q$-series）の恒等性を組み合わせて用いている。

1. 生成関数: 中心的な手法は、ペアリング統計（例：最大の重複部分 $r(\lambda)$ および未ペア部分の交互和 $s(\lambda)$）を追跡する二変量生成関数を構築することに基づいている。著者らは、ガウス多項式、$q$ 二項定理、およびヤコビの三重積を含む標準的な $q$ 級記法を利用している。
2. 漸化式: 主要な技術的ツールは、パーツが $N$ 以下に制限された分割の生成関数に関する漸化式の導出であり、最大部分 $N$ の重複度を分析することで、有限の恒等式を確立し、それを無限の場合へと拡張している。
3. 図式的構成: 本論文は、ヤング図形上での幾何学的なペアリングを導入している。主対角線に沿ってデュルフィー正方形（Durfee square）の「翼（wings）」を折り畳むことで、著者らは未ペアのセルの「対角ブロック（diagonal blocks）」を特定している。これにより、これらのブロックの独立した反射に基づく分割集合のブール分解（Boolean decomposition）が可能となる。
4. シュー関数展開: ペアリング・ランク生成関数の研究において、著者らはコーシー・ビネットの公式およびヤコビ・トリューディの恒等式を利用して、これらの関数から形成されるテプリッツ行列式を、シュー関数の積の和として表現している。

主な貢献と結果

• ペアリング指数とランク:

  • ペアリング指数 $T(\lambda) = r(\lambda) + s(\lambda)$ は、分割の個数 $\ell(\lambda)$ と等分布であることが証明されている。
  • 結合ペアリング定理（Joint Pairing Theorem） は、ペア $(r(\lambda), s(\lambda))$ が、偶数個のパーツと奇数個のパーツのカウントのペアと等分布であることを確立している。これは、Andrews–Deutsch、Bessenrodt、および Schmidt による古典的な定理を洗練させるものである。
  • ペアリング・ランクは $\rho(\lambda) = r(\lambda) - s(\lambda)$ と定義される。偶数個のペアリング・ランクを持つ分割と奇数個のペアリング・ランクを持つ分割の差は、$n$ の自己共役分割の個数の $(-1)^n$ 倍になることが示されている。

• ペアリング幅とクンマーの定理:

  • ペアリング幅 $W(\lambda)$ が導入され、ペア $(T(\lambda), W(\lambda))$ は $(\ell(\lambda), \lambda_1)$ と等分布することが示されている。
  • 固定されたペアリング指数 $a$ および幅 $b$ を持つ分割の生成関数は、ガウス多項式である。この多項式の円分因子分解は、二項係数の $p$ 進付値に関するクンマーの定理（具体的には、底 $p$ における $a-1$ と $b-1$ の加算時のキャリーの数）のペアリング理論的な形式を導き出す。

• 算術的合同式:

  • $5n+4$ の分割における、4を法とする1に合同な未ペア部分と3に合同な未ペア部分の差に関する mod-5 合同式が証明されている。
  • 単純にペアリングされた分割（パーツが3回を超えて出現しないもの）において、負のペアリング・ランクを持つ場合、ペアリングされたパーツの数による符号付き列挙は、$n$ の奇数の約数の数を与える。

• 対角ペアリングとブール分解:

  • 著者らは、主対角線に対してセルを反射させてペアリングする、第二の図式的ペアリングを定義している。残された未ペアのセルは、連結した「対角ブロック」を形成する。
  • この構成により、すべての分割の集合がブール・クラスに分割される。各クラスは $2^{\kappa(\lambda)}$ 個の分割（ここで $\kappa(\lambda)$ は対角ブロックの数）を含み、かつ連続するランクがすべて非負である一意の代表元を持つ。
  • これにより、 $m$ 個の対角ブロックを選択する方法の数と、差 $p(n - 2m^2) - p(n - 2(m+1)^2)$ を結びつける恒等式が導かれる。

• オーバーパーティションと主フック:

  • 結合ペアリング分布の符号付きおよび符号なしの特殊化の商は、オーバーパーティションの生成関数を与える。
  • これは幾何学的な実現を提供している。すなわち、$m$ のオーバーパーティションの個数は、すべての主フック（principal hook）が偶数の長さを持つ $2m$ の分割の個数に等しい。この等価性は、デュルフィーのサイズによって洗練される。

• ペアリング・ランク -2 のパリティと行列式:

  • 単純にペアリングされた分割のうち、ペアリング・ランクが $-2$であるものを$A_2(n)$とすると、パリティ則が確立される：$A_2(n+8) + A_2(n) \equiv n + 1 + \chi(n+3) + \chi(n+7) \pmod 2$（ここで$\chi(m)$は$m$ の奇数部分が平方数であるかを示す）。
  • 論文では、ペアリング・ランク生成関数 $R_m(q)$ のテプリッツ行列式の有限なシュー関数展開を導出している。行列のサイズが無限に大きくなる際の、この行列式の係数ごとの極限は、無限積 $\prod_{r \ge 1} (1 - q^{2r+1})^{-r}$ であり、これはマクマホンの平面分割の生成関数に関連している。

意義
本論文は、分割理論の異なる領域を繋ぐ統一的な「ペアリング理論」を提供することで、その意義を主張している。等しいパーツをペアリングするという単純な行為が、古典的な結果（オイラーの定理、クンマーの定理）や現代的な発展（オーバーパーティション、連続するランク）と深く結びついた統計量を生成することを実証している。図式的ペアリングの導入は、パリティに関する定理において自己共役分割が現れることへの幾何学的な説明を提供し、分割格子に対する新しいブール分解を提供する。さらに、行列式の極限とマクマホンの平面分割の積との接続は、一次元の分割統計と高次元の組合せ論的対象との間の、より深い構造的な関係を示唆している。本研究は、古典的な恒等式を洗練させ、分割統計に対する新たな幾何学的および代数的な視点を提供することで、架け橋としての役割を果たしている。