[論文レビュー] Central binomial coefficients also count (2431,4231,1432,4132)-avoiders

Marie-Louise Bruner|arXiv (Cornell University)|May 19, 2015

Advanced Combinatorial Mathematics参考文献 5被引用数 3

ひとこと要約

この論文は、4つのパターン 2431, 4231, 1432, および 4132 を避ける順列が、中央二項係数 $inom{2(n-1)}{n-1}$ で数え上げられることを証明している。順列を整数と挿入位置を表すマーカー B/E からなるコード語に双方向に符号化することで、著者たちは、これらのコード語と格子路の間の直接的な対応を確立し、構成的双対写像を用いて、数え上げ式の組合せ的証明を達成した。

ABSTRACT

This short paper is concerned with the enumeration of permutations avoiding the following four patterns: $2431$, $4231$, $1432$ and $4132$. Using a bijective construction, we prove that these permutations are counted by the central binomial coefficients.

研究の動機と目的

• 4つの特定の4パターン（2431, 4231, 1432, 4132）を回避する順列の正確な数え上げを決定すること。
• このような順列と、ある組合せ的クラスのコード語との間の双方向的関係を確立すること。
• 長さ $n$ のこのような順列の数が中央二項係数 $\binom{2(n-1)}{n-1}$ に等しいことを示すこと。
• 生成関数や書き換え規則に依存せずに、構造的挿入制約に焦点を当てた構成的双対写像による証明を提供すること。

提案手法

• アルファベット $\{2,3,\ldots\} \cup \{B,E\}$ 上にコード語システムを定義し、$B$ と $E$ はそれぞれ開始および終了マーカーを表し、整数は挿入位置を表す。
• コード語に課される制約を確立する：B/E でない記号は非減少でなければならず、他の B/E でない記号に隣接してはならない。
• 再帰的構成における最大要素 $n$ の挿入位置を追跡することで、クラス $\mathcal{S}_n$ の順列と長さ $n-1$ のコード語との間の双対写像を構成する。
• コード語の非初期セグメントを、Dyckに類似た格子路に写像し、組合せ的パス数え上げによる数え上げを可能にする。
• 一般化された和の恒等式と数学的帰納法を用いて、長さ $n-1$ の有効なコード語の数が $\binom{2(n-1)}{n-1}$ に等しいことを証明する。
• 恒等式 $\sum_{j=0}^{n-1} 2^{m-j} \binom{m+j-1}{j} (m-j) = n \cdot 2^{m-n+1} \binom{m+n-1}{n}$ において $m = n$ を代入することで、公式を検証し、中央二項係数が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 2431, 4231, 1432, 4132 の4つの4パターンを回避する順列の正確な数え上げは何か？
• RQ2 このような順列と、既知の数え上げを持つ組合せ的クラスの語との間で、双方向的対応を確立できるか？
• RQ3 長さ $n$ のこのような順列の数は、中央二項係数 $\binom{2(n-1)}{n-1}$ に等しいか？
• RQ4 生成関数や書き換え規則に依存せずに、組合せ的証明が可能か？
• RQ5 中央二項係数で数え上げられる他の対象（例えばグランマウォークやDyckパス）への直接的双対写像は存在するか？

主な発見

• 長さ $n$ の順列で、4つのパターン 2431, 4231, 1432, 4132 をすべて回避するものの数は、正確に $\binom{2(n-1)}{n-1}$ であり、これは中央二項係数である。
• このような順列の各々は、$\{2,3,\ldots\} \cup \{B,E\}$ 上の長さ $n-1$ の一意なコード語に双方向符号化可能であり、特定の構造的制約を満たす。
• 有効なコード語の集合は、ある種のステップタイプを持つ格子路の数え上げと同じ公式で数え上げられ、組合せ的リンクを確立する。
• 証明では、$m = n$ に特殊化した一般化された和の恒等式が用いられ、中央二項係数 $\binom{2n}{n}$ が得られる。
• 著者たちは、中央二項係数で数え上げられる可能性がある12の4パターン回避順列のウィルフ同値クラスを同定しており、そのうちの1つはカタランに基づく挿入論法により既に証明済みである。
• 本論文は、これらの順列から標準的な組合せ的対象（例えばグランマウォークやDyckパス）への直接的双対写像を構成する挑戦を未解決のままとしている。