[論文レビュー] Anick-type resolutions and consecutive pattern avoidance

Vladimir Dotsenko, Anton Khoroshkin|arXiv (Cornell University)|Feb 15, 2010

Advanced Combinatorial Mathematics参考文献 15被引用数 12

ひとこと要約

本稿では、与えられた連続パターンの集合を回避する順列を数える指数型母関数の乗法的逆元について、ホモロジー的動機付けに基づく組合せ的公式を提示する。シャッフル代数のアニク型分解に基づき、著者らは「チェーン」——グーレン＝ジャクソンクラスタの洗練版——を導入し、バー位置における符号反転写像の作用によって微分を定義するチェーンの符号反転写像を用いて、簡潔な逆数公式を導出する。これは、アニュクのホモロジー的アプローチを語のパターンから連続順列パターンへと拡張するものである。

ABSTRACT

For permutations avoiding consecutive patterns from a given set, we present a combinatorial formula for the multiplicative inverse of the corresponding exponential generating function. The formula comes from homological algebra considerations in the same sense as the corresponding inversion formula for avoiding word patterns comes from the well known Anick's resolution.

研究の動機と目的

• 連続パターン回避のためのホモロジー的枠組みを構築し、語のパターンから順列のパターンへとアニュクの分解法を拡張すること。
• 連続パターンを回避する順列の指数型母関数の組合せ的逆数公式を提供すること。
• 特にグーレン＝ジャクソンクラスタ法とメンデス＝レメールの対称関数アプローチを統合・一般化する、単一の代数的分解枠組みを確立すること。
• 連続パターン関係によって定義されるシャッフル代数上の自明加群の最小自由分解を確立すること。
• 本手法が、ウィルフ同値やパターン出現の分布といった、順列パターン列挙の古典的問題への適用可能性を示すこと。

提案手法

• グーレン＝ジャクソンクラスタを一般化する、連続禁止パターンの重なりを捉える組合せ的構造「チェーン」を導入する。
• チェーン上の符号反転写像を用いて複体を構成し、微分をバー位置における写像の作用で定義する。
• 各n次成分がnチェーンで張られる次数付きベクトル空間$ C $を定義し、写像$ I $を用いて$ C \boxtimes A $に微分構造を導入する。
• 正次数における複体の非退化性を用いてオイラー乗数の恒等式を導出し、指数型母関数の逆数公式に至る。
• シャッフル代数と自由分解の観点から構成を再解釈し、分解が最小かつ一意的であることを示す。
• 左イデアルが連続パターン回避と関係することを示し、アソシエイティブ・オペラッドにおける左割り算可能性が連続出現に対応することを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 アニュク型分解は、元々結合代数のために開発されたが、順列における連続パターン回避の文脈に適応可能か。
• RQ2 グーレン＝ジャクソンクラスタ法は、パターン回避順列の生成関数に対して最小かつ一意的な分解を得るために、どのように洗練可能か。
• RQ3 連続パターンを回避する順列の生成関数の背後にある代数的・ホモロジー的構造は何か。
• RQ4 パターン出現の分布やウィルフ同値は、禁止パターンの最初と最後の要素にのみ依存する程度はどの程度か。
• RQ5 語のパターンに対するホモロジー的枠組みを、最小性と組合せ的明確さを保ちつつ、順列パターンへと拡張可能か。

主な発見

• 本稿では、チェーン上の符号反転写像を用いて、連続パターンの集合を回避する順列を数える指数型母関数の乗法的逆数について、閉形式の公式を導出する。
• 本手法により、連続パターン関係によって定義されるシャッフル代数上の自明加群の最小自由分解が得られ、アニュクの分解がこの文脈へと一般化される。
• 自己重複のない長さ$ k $の順列$ \tau $に対して、長さ$ n $の順列に$ k $個の$ \tau $の出現があるような順列の数は、$ k $、$ \tau(1) $、$ \tau(k) $にのみ依存する。これはエリザルデの予想を裏付ける。
• 本フレームワークは長さ4のパターンに適用可能であり、特定の長さ3のパターンの同時回避に対する新しい公式を導出し、順列における上昇の既知の結果を回復する。
• 構成は自然にシャッフル代数およびアソシエイティブ・オペラッド上の左加群の理論に埋め込まれており、チェーンは分解における最小生成元の役割を果たす。
• ホモロジー的アプローチにより、包含除外におけるキャンセルの背後にある概念的説明が得られ、メンデス＝レメールの対称関数法におけるものと類似しているが、より強い代数的基盤を有する。