[論文レビュー] Identically Distributed Pairs of Partition Statistics

Herbert S. Wilf|ArXiv.org|Apr 28, 2000

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

ひとこと要約

本稿では、スクリーブ同値性の原則を拡張することで、特定の分割統計量が同分布であることを示す統一的な枠組みを提案する。古典的な等数定理（例：オイラーの異なる部分と奇数部分に関する定理）が、実際には統計量（繰り返し部分のサイズ数、偶数部分のサイズ数など）の分布がすべての n の分割において同一である、より深い恒等式を反映していることを示している。

ABSTRACT

We show that many theorems which assert that two kinds of partitions of the same integer $n$ are equinumerous are actually special cases of a much stronger form of equality. We show that in fact there correspond partition statistics $X$ and $Y$ that have identical distribution functions. The method is an extension of the principle of sieve-equivalence, and it yields simple criteria under which we can infer this identity of distribution functions.

研究の動機と目的

• 分割理論における多くの古典的等数定理が、より強い恒等式の特殊ケースである、分割統計量の同分布であることを確立すること。
• スクリーブ同値性および多重集合の和の条件に基づく、同分布である分割統計量のペアを特定する一般的手法を提供すること。
• スキュア、グライザー、アンドリュースの先行結果を一般化し、それらの背後にある統計量が単に同じ個数であるのではなく、同じ分布を有することを示すこと。
• 構成における多重集合の非交差性は必要ではないことを示すために、非交差リストを許容するより広範なスクリーブ同値性条件を導入すること。

提案手法

• すべての n の分割の集合上でスクリーブ法の計算を実行し、部分の多重集合に基づく性質を定義する。
• 2つの統計量 X と Y を、与えられた分割 π に現れる多重集合 F_i および G_i の個数として定義する。
• すべての添え字の部分集合 S に対して、F_j（j ∈ S）の多重集合の和が、G_j（j ∈ S）の和に等しいことを示すことにより、2つの計算の間でスクリーブ同値性を確立する。
• 2つのスクリーブ計算が同じ入力（つまり、各多重集合を含む分割の個数が同一）を持つならば、それらの出力（ちょうど j 個の性質を満たす対象の個数）も同一であるという事実を活用する。
• 定理 2（非交差多重集合の場合）および定理 3（弱いスクリーブ同値性条件）を適用し、同分布の一般的な基準を導出する。
• 既知の分割恒等式（例：異なる部分 vs. 奇数部分）を用いた例を構築し、それらが同分布である基礎統計量に起因することを示す。

実験結果

リサーチクエスチョン

• RQ1 分割理論における古典的等数定理は、2つの分割統計量が同じ分布関数を有することを示すように強化可能か？
• RQ2 整数の多重集合にどのような条件を課すと、それらの多重集合を部分サイズのパターンとして含む分割の個数が同分布となるか？
• RQ3 以前の定理における一対一の非交差性条件は必要か、それともスクリーブ同値性によって緩和可能か？
• RQ4 既知の双対写像を超えて、同分布である分割統計量の新しいクラスを構築可能か？
• RQ5 スクリーブ同値性の原則は、既存の分割統計量恒等式の範囲をどのように拡張するか？

主な発見

• すべての n と j に対して、n の分割でちょうど j 個の異なる偶数部分サイズを持つものの個数は、ちょうど j 個の異なる繰り返し部分サイズを持つものの個数に等しい。
• オイラーの定理（異なる部分を持つ分割の個数と奇数部分を持つ分割の個数が等しい）は、2つの統計量の分布に関するより広範な恒等式の特殊ケース（j=0）である。
• 定理 2 は同分布の十分条件を提供する：2つの多重集合のリストが、すべての有限和集合に対して合計が等しく、かつ一対一で非交差であるならば、それに対応する統計量は同分布である。
• 定理 3 は定理 2 を一般化し、非交差性の要件を多重集合和におけるスクリーブ同値性条件に緩和することで、連続する偶数サイズ vs. 連続する繰り返しサイズといった新しい例を可能にする。
• 本手法により、シューア、グライザー、アンドリュースの既知の結果が回復され、かつ強化され、それらの分割恒等式が単に等数性ではなく、同分布に起因することを示している。
• 多重集合 {2,4}, {4,6}, ... と {1,1,2,2}, {2,2,3,3}, ... を用いた例により、連続する偶数部分サイズの個数と連続する繰り返し部分サイズの個数が同分布であることが示された。