[論文レビュー] On $k$-noncrossing partitions

Emma Yu Jin, Jing Qin+1 more|ArXiv.org|Oct 26, 2007

Advanced Combinatorial Mathematics参考文献 9被引用数 4

ひとこと要約

本稿では、一般化されたvacillatingテーブルックスを通じて、$k$-非交差分割と$k$-非交差ブルーの双対性を確立し、ねじれた図式における弧の収縮を通じて組合せ的双対写像を構成する。主な貢献は、差分方程式と漸近的解析から導かれる、3-非交差で2-正則な分割の閉形式の列挙式であり、$\rho_3(n) \sim K \cdot 8^n \cdot n^{-7}$（$K \approx 6686.409$）が得られる。これにより、強化された分割、ブルー、およびvacillatingテーブルックスが統合され、核法による先行研究が統一される。

ABSTRACT

In this paper we prove a duality between $k$-noncrossing partitions over $[n]=\{1,...,n\}$ and $k$-noncrossing braids over $[n-1]$. This duality is derived directly via (generalized) vacillating tableaux which are in correspondence to tangled-diagrams \cite{Reidys:07vac}. We give a combinatorial interpretation of the bijection in terms of the contraction of arcs of tangled-diagrams. Furthermore it induces by restriction a bijection between $k$-noncrossing, 2-regular partitions over $[n]$ and $k$-noncrossing braids without isolated points over $[n-1]$. Since braids without isolated points correspond to enhanced partitions this allows, using the results of \cite{MIRXIN}, to enumerate 2-regular, 3-noncrossing partitions.

研究の動機と目的

• $[n]$ と $[n-1]$ それぞれにおける $k$-非交差分割と $k$-非交差ブルーの間の双対性を確立すること。
• ねじれた図式における弧の収縮を通じて、この双対性の組合せ的解釈を提供すること。
• 双対性と差分方程式を用いて、$3$-非交差で $2$-正則な分割の閉形式の列挙を導出すること。
• 双対写像を通じて、強化された分割とブルーの列挙を結合し、vacillatingテーブルックスとhesitatingテーブルックスの枠組みを統合すること。

提案手法

• ねじれた図式をモデル化し、テーブルックスと $k$-非交差分割の間の双対写像を確立するために、一般化されたvacillatingテーブルックスの使用。
• ねじれた図式における弧の収縮の応用により、双対性の組合せ的解釈を明確化する。
• ブルーの生成関数から導かれる差分方程式を解くために、生成関数 $K_{\mathcal{B}_3}(x,Y_0;t)=0$ を導出する。
• ZeilbergerのアルゴリズムとMAPLEにおける記号計算を用いて、$\rho_3(n)$ の再帰式を導出する。
• 特異差分方程式理論を用いた差分方程式の漸近的解析により、主要項 $8^n n^{-7}$ を抽出する。
• 係数マッチングを用いた数値計算により、定数 $K \approx 6686.409$ を算出する。

実験結果

リサーチクエスチョン

• RQ1 $k$-非交差分割と $k$-非交差ブルーの間の双対性をどのように組合せ的に構成できるか？
• RQ2 $k$-非交差で2-正則な分割と、孤立点のない $k$-非交差ブルーの間の双対写像の組合せ的意味は何か？
• RQ3 3-非交差で2-正則な分割の数を正確に列挙できるか？ その漸近的成長は何か？
• RQ4 vacillatingテーブルックスとhesitatingテーブルックスは、この双対性を通じてどのように関係し、列挙にどのような意味を持つのか？

主な発見

• 一般化されたvacillatingテーブルックスを介して、$[n]$ 上の $k$-非交差分割と $[n-1]$ 上の $k$-非交差ブルーの間の直接的な双対性が確立された。
• 3-非交差で2-正則な分割の数は、$\rho_3(n) = \frac{1}{n+1} \sum_{s=0}^{n+1} \binom{n+1}{s} \binom{n+1}{k+s} \binom{n+1}{s+m}$（$k=3$）で与えられ、閉形式の表現が得られた。
• $\rho_3(n)$ の漸近的成長は $\sim K \cdot 8^n \cdot n^{-7}$（$K \approx 6686.409$）であり、差分方程式の形式的級数解から導出された。
• 定数 $K$ は、漸近展開における $n^{-2}, n^{-3}, n^{-4}$ の係数マッチングにより数値的に計算された。
• 双対性により、3-非交差で2-正則な分割の列挙は、強化された分割または孤立点のないブルーの列挙と同値であることが示された。
• 結果として、vacillatingテーブルックスとhesitatingテーブルックスの枠組みが統合され、いずれの計算（核法を用いて）が可能であるならば、他方の計算も同様に可能であることが示された。