$k$-Pairing: A Generalization of the Partition Pairing Theorems

技術要約：k-ペアリング：分割ペアリング定理の一般化

問題提起
本論文は、AndrewsとDastidarによって開発された分割ペアリング理論（$k=2$）の一般化に取り組むものである。古典的な理論（$k=2$）では、分割を可能な限り等しい部分でペアリングすることによって分析し、ペアリング指数、ペアリングランク、およびペアリング幅といった統計量を定義する。著者らは、ペアを$k$個の等しい部分のグループ（$k \ge 2$）に置き換えることで、これらの概念を拡張することを目的としている。主な目的は、$k$-ペアリング指数と幅の同時分布に対する組合せ論的な解釈を確立すること、負の$k$-ペアリングランクを持つ分割（特に「単純な$k$-ペアリング」分割）を分析すること、そして対角ペアリング構成を$k$個のヤング図形の順序組へと拡張することである。

手法
著者らは、組合せ論的双射、$q$級数解析、およびヤング図形の理論を組み合わせた手法を用いている。核となる手法は、主に以下の3つの構成に基づいている。

1. $k$-ペアリング分解と双射 $\Phi_k$:
   任意の分割 $\lambda$ は、$\lambda \leftrightarrow (\pi, \delta)$ へと一意に分解される。ここで $\pi$ は$k$個の等しい部分のグループを記録し、$\delta$ は残りの部分（重複度が$k$未満の部分）を含む。著者らは、重複度が$k$未満の分割（$D_k$）を$k$-正規分割（$O_k$）へ写すStockhofe–Keithの双射 $\Theta_k$ を利用している。共役（conjugation）と $\Theta_k$ を組み合わせることで、重みを保存する双射 $\Phi_k(\lambda) = k\pi' \sqcup \Theta_k(\delta)$ を定義する。この写像は、$\lambda$ の$k$-ペアリング統計量を、像となる分割の標準的な長さおよび最大部分の統計量へと変換する。

2. 負のランクのための双射 $\Psi_k$:
   「単純な$k$-ペアリング」分割（部分が$2k-1$回を超えて出現しないもの）において負の$k$-ペアリングランクを持つ場合、著者らは双射 $\Psi_k$ を構築する。この写像は、そのような分割を、$\nu$（$k$-正規分割）と $J$（$\nu$ の「内部ギャップ」、すなわち隣接する部分の差が少なくとも$k$である位置の集合）のペアへと送る。この構成は、$k$個の等しい部分のグループを、マークされたギャップとして追跡する。

3. 組に対する同値関係:
   AndrewsとDastidarによる対角ペアリングを拡張し、高々$d$個の部分を持つ$k$個の分割の順序組 $(\alpha(0), \dots, \alpha(k-1))$ に対する同値関係を定義する。この関係は、任意の2つの成分図形の対称差の辺連結成分を転送することによって生成される。著者らは、セル多重度関数 $h(x)$（セル $x$ を含む図形の数）を用いて、これらの同値類を特徴付ける。

主要な貢献と結果

• 同時分布の独立性: 著者らは、$k$-ペアリング指数 $T_k(\lambda)$ と$k$-ペアリング幅 $W_k(\lambda)$ の同時分布が $k$ に依存しないことを証明した。具体的には、ペア $(T_k, W_k)$ は、ある分割の部数および最大部分と、それぞれ等分布である。その同時生成関数は、ガウス多項式によって与えられる：
  $$\sum_{n \ge 0} N^{(k)}_{t,b}(n) q^n = q^{t+b-1} \begin{bmatrix} t+b-2 \\ t-1 \end{bmatrix}_q$$
  これは、AndrewsとDastidarによる $k=2$ の結果を特殊なケースとして回収している。

• 符号付き集計の組合せ論的解釈: 負のランクを持つ単純な$k$-ペアリング分割について、双射 $\Psi_k$ は符号付き集計に対する組合せ論的な説明を提供する。$k$-正規成分が特定の剰余類 $a \pmod k$ に属する場合に制限すると、$k$個のグループの偶奇による符号付き差は、$n$ の $a \pmod k$ に合同な約数の数に等しい。符号なしの和は、部分が $a \pmod k$ に合同なオーバーパーティションの数の半分であることが示される。これは、AndrewsとDastidarによる奇数約数および奇数オーバーパーティションの結果を一般の $k$ へと拡張するものである。

• 同値類と平面分割: 本論文は、定義された転送操作の下で2つの分割の組が同値であるための必要十分条件は、それらが同じセル多重度関数を共有することであることを確立している。各同値類は、成分図形が入れ子状になっている（$\alpha(0) \supseteq \dots \supseteq \alpha(k-1)$）一意な代表元を含む。これらの入れ子状の代表元は、$k \times d$ の長方形に含まれる長方形形状の平面分割と同一視される。著者らは、これらの同値類の濃度およびその生成関数に関する積公式を導出している。

• 巡回シベイングと1の冪根による評価: 著者らは、組の生成関数を1の冪根で評価することで、成分の巡回シフトによって固定される組の数を数えられることを示している。これは、組の組合せ論的構造を巡回シベイング現象へと結びつけるものである。

意義と主張
本論文は、約数やオーバーパーティションに関連する算術的性質に対して、直接的な組合せ論的説明を提供することを主張しており、これまでの $k=2$ のケースから任意の $k$ への一般化を実現している。$k$-ペアリングの枠組みを導入することで、著者らは、分割の統計学の研究を一般化されたペアリング指数と幅の下で統一している。ヤング図形の組への拡張は、対角ペアリングに新たな視点を与え、それを平面分割へと結びつけ、対称差の転送によって定義される同値類の構造的な理解を提供する。本研究は、既知の恒等式を特殊なケースとして回収しつつ、新しい有限な精緻化と一般化された統計量の生成関数を確立する、分割ペアリング理論の自然な一般化として提示されている。