[論文レビュー] A Bijection between well-labelled positive paths and matchings

Olivier Bernardi, Bertrand Duplantier+1 more|arXiv (Cornell University)|Mar 31, 2009

Advanced Algebra and Logic参考文献 4被引用数 8

ひとこと要約

この論文は、サイズ $n$ の良いラベル付き正のパスと $2n$ 要素上の固定点のないマッチングの間で構成的双対性を確立し、両者が二重階乗 $(2n-1)!!$ で数えられることを証明している。双対性は再帰的分解とラベル付き二分木との関連を通じて構築され、水平ステップの数による精緻な数え上げを可能にし、上り下り列に制限を設けた置換、例えばすべての接頭辞で上昇の数が降下の数を超えないような置換の正確な公式を導出する。

ABSTRACT

A well-labelled positive path of size n is a pair (p,σ) made of a word p=p_1p_2...p_{n-1} on the alphabet {-1, 0,+1} such that the sum of the letters of any prefix is non-negative, together with a permutation σof {1,2,...,n} such that p_i=-1 implies σ(i)σ(i+1). We establish a bijection between well-labelled positive paths of size $n$ and matchings (i.e. fixed-point free involutions) on {1,2,...,2n}. This proves that the number of well-labelled positive paths is (2n-1)!!. By specialising our bijection, we also prove that the number of permutations of size n such that each prefix has no more ascents than descents is [(n-1)!!]^2 if n is even and n!!(n-2)!! otherwise. Our result also prove combinatorially that the n-dimensional polytope consisting of all points (x_1,...,x_n) in [-1,1]^n such that the sum of the first j coordinates is non-negative for all j=1,2,...,n has volume (2n-1)!!/n!.

研究の動機と目的

• サイズ $n$ の良いラベル付き正のパスと $\{1,\ldots,2n\}$ 上の固定点のないマッチングの間の双対的対応を確立すること。
• 多面体 $\Pi_n = \{(x_1,\ldots,x_n) \in [-1,1]^n \mid \sum_{i=1}^j x_i \geq 0 \text{ すべての } j \text{ に対して}\}$ の体積が $\frac{(2n-1)!!}{n!}$ に等しいことを示し、組合せ的証明を与えること。
• 水平ステップ（値が 0 のステップ）の数による良いラベル付きパスの数え上げを精緻化し、そのような数え上げの明示的公式を導出すること。
• 上り下り列に特定のバランス条件を満たす置換の数え上げ、例えばすべての初期部分列で上昇の数が降下の数を超えないもの。

提案手法

• 著者らは、良いラベル付き正のパスおよびモーツキンパスの再帰的分解を定義し、生成関数に翻訳することで初期の数え上げ結果を導出する。
• チェン（2007）のラベル付き二分木とマッチングの間の構成を活用し、マークされたラベル付き二分木を中間構造として用いることで、良いラベル付き正のパスとマッチングの間の双対性を構築する。
• 双対性は、対応するマークされた二分木における準単一リーフの分析と、特定のインデックス制約を持つマッチングペアの分析を通じて、パス内の水平ステップの数を追跡できるように精緻化される。
• この手法には、パスからマークされた木への再帰的写像 $\Phi'$ と、木からマッチングへの写像 $\Psi'$ が含まれ、水平ステップの数を含む構造的不変量を保存する。
• パスの種類と置換の上り下り列の対応を用い、結果をすべての接頭辞で上昇・降下の不均衡が制限された置換に特化する。
• 精緻な数え上げの証明は、二項係数と二重階乗を含む組合せ的恒等式に依拠し、帰納法と木およびパスの分解構造の分析によって導出される。

実験結果

リサーチクエスチョン

• RQ1 サイズ $n$ の良いラベル付き正のパスの正確な数は何か？ そしてこれは組合せ的に証明可能か？
• RQ2 $2n$ 要素上の固定点のないマッチングと良いラベル付き正のパスの間には自然な双対性があるか？
• RQ3 水平ステップ（値が 0 のステップ）の数によるこのようなパスの数え上げはどのように精緻化できるか？
• RQ4 すべての初期部分列で上昇の数が降下の数を超えないようなサイズ $n$ の置換の数は何か？
• RQ5 全体では上昇が降下より一つ多いが、すべての初期部分列で上昇の数が降下の数を超えないようなサイズ $n$ の置換の数は何か？

主な発見

• サイズ $n$ の良いラベル付き正のパスの数は、正確に $(2n-1)!!$ に等しく、$2n$ 要素上の固定点のないマッチングとの構成的双対性により証明された。
• 水平ステップが $k$ 個ある良いラベル付き正のパスの数は、$n-k$ が偶数のとき $\binom{n}{k}\binom{n-1}{k}k![(n-k-1)!!]^2$ に等しく、そうでないときは $\binom{n}{k}\binom{n-1}{k}k!(n-k)!!(n-k-2)!!$ に等しい。
• すべての初期部分列で上昇の数が降下の数を超えないようなサイズ $n$ の置換の数は、$n$ が偶数のとき $[(n-1)!!]^2$、それ以外のときは $n!!(n-2)!!$ に等しい。
• 全体では上昇が降下より一つ多いが、すべての初期部分列でバランスが取れている（上昇の数が降下の数を超えない）ようなサイズ $n$ の置換の数は、$n$ が偶数のとき $(n-1)!!(n-3)!!$、それ以外のときは 0 に等しい。
• 多面体 $\Pi_n = \{(x_1,\ldots,x_n) \in [-1,1]^n \mid \sum_{i=1}^j x_i \geq 0 \text{ すべての } j \text{ に対して}\}$ の体積は $\frac{(2n-1)!!}{n!}$ に等しく、双対性と部分多面体分解を用いた組合せ的証明により示された。
• 双対性は構造的特徴を保存する：パス内の水平ステップの数は、対応するマークされた二分木内の準単一リーフの数に等しく、さらにそれは $i \leq n$ かつ $j \in \{n+1,\ldots,2n-1\}$ を満たすマッチングペア $(i,j)$ の数に等しい。