[論文レビュー] On conjugates for set partitions and integer compositions

David Callan|ArXiv.org|Aug 2, 2005

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

ひとこと要約

この論文は、集合分割における単一要素（singleton）の個数と隣接要素（同じブロックに属する連続する要素、n と 1 の間のラップアラウンドを含む）の個数を入れ替える、新しい共役操作を導入する。この方法は、反転可能で局所的な変換を繰り返し適用する形で、SeparateIS および CombineST 操作を用いて構築され、単一要素と隣接要素の等分布性を示す双対写像を確立する。同様に、ストリップに基づく図形の転置を用いて、整数の合成に対しても同様の共役が定義され、1 の個数と 1 より大きい部分の個数を入れ替える。

ABSTRACT

There is a familiar conjugate for integer partitions: transpose the Ferrers diagram, and a conjugate for integer compositions: transpose a Ferrers-like diagram. Here we propose a conjugate for set partitions and show that it interchanges # singletons and # adjacencies. Its restriction to noncrossing partitions cropped up in a 1972 paper of Kreweras. We also exhibit an analogous pairs of statistics interchanged by the composition conjugate.

研究の動機と目的

• 集合分割における単一要素の個数と隣接要素の個数を入れ替える新しい共役操作を定義すること。
• 単一要素と隣接要素の個数が [n] の集合分割において等分布することを、構成的双対写像を用いて証明すること。
• ストリップに基づく図形転置法を用いて、共役概念を整数の合成へ拡張すること。
• 合成の共役が、1 の個数と 1 より大きい部分の個数を入れ替えることの証明。
• 任意の有限部分集合へ共役構成を一般化し、その逆転可能性とドメイン制約下での不変性を確立すること。

提案手法

• 隣接要素の開始点（I）、単一要素（S）、および I ∪ S を除去した残渣部分集合（ρ）を抽出する SeparateIS 操作を定義する。
• SeparateIS の逆操作としての CombineST 操作を定義し、開始点（I）の代わりに終了点（T）を用い、同一のドメイン条件を満たす。
• 部分集合 π に対して、隣接要素の開始点や単一要素が残らないまで、繰り返し SeparateIS を適用し、(ρj, Ij, Sj) の系列を形成する。
• 最終的な残渣 ρk から出発し、順番に CombineST を適用することで、新しい部分集合 τ₀ を再構築する逆プロセスを実行する。
• CombineIS と CombineST が同一のドメイン条件を持つことを利用して、逆プロセスが適切に定義され、逆転可能であることを保証する。
• 整数の合成に対しては、1 より大きい部分を縦ストリップ、1 を横ストリップとして表現し、連続する縦ストリップの間に空の横ストリップを挿入してタイプを交互にし、各横ストリップに隣接するストリップから1マスずつ移動させ、すべてのストリップを90度回転させることで共役合成を得る。

実験結果

リサーチクエスチョン

• RQ1 集合分割における自然な共役操作が、単一要素の個数と隣接要素の個数を入れ替えるものとして存在するか？
• RQ2 単一要素と隣接要素の等分布性が、明示的かつ逆転可能な双対写像によって証明可能か？
• RQ3 整数の合成において、1 の個数と 1 より大きい部分の個数を入れ替える共役操作が存在するか？
• RQ4 共役操作が、グローバルな図形転置ではなく、局所的で反復的な変換によって定義可能か？
• RQ5 集合分割および整数の合成の両方において、共役構成の逆転可能性を保証する構造的制約は何か？

主な発見

• 提案された双対写像 φ は、集合分割における単一要素と隣接要素の個数を入れ替え、それらの等分布性を証明する。
• 共役操作は逆転可能であり、SeparateIS と CombineST の反復的適用によって構築され、双対性が保証される。
• CombineIS と CombineST のドメイン条件が同一であるため、再構築プロセスの逆転可能性が保証される。
• 整数の合成においては、縦ストリップ（1 より大きい部分）と横ストリップ（1）を変換し、区切りを挿入し、マスを移動させ、90度回転させることで共役を得る。
• 合成の共役は、1 の個数と 1 より大きい部分の個数を入れ替え、整数分割のフェラーズ図の転置と類似した性質を持つ。
• 非交叉分割（noncrossing partitions）という特殊ケースにおいては、1972 年に Kreweras によってすでに観察されていたため、より一般的な構成の妥当性が裏付けられる。