[論文レビュー] On partitions avoiding 3-crossings

Mireille Bousquet‐Mélou, Guoce Xin|arXiv (Cornell University)|Jun 27, 2005

Advanced Combinatorial Mathematics参考文献 22被引用数 44

ひとこと要約

本稿では、[n] の 3-非交差分割の個数が P-再帰的であることを証明し、多項式係数をもつ明示的な線形漸化式と、母関数の微分方程式を導出する。また、漸近的成長率 $ C_3(n) \sim \frac{3^9 \cdot 5}{2^5} \frac{\sqrt{3}}{\pi} \frac{9^n}{n^7} $ を確立し、$ k \geq 4 $ の場合、k-非交差分割は P-再帰的でないのを予想する。

ABSTRACT

A partition on $[n]$ has a crossing if there exists $i\_1<i></i>

研究の動機と目的

• k ≥ 3 の場合、[n] の k-非交差分割の個数が P-再帰的であるかどうかを特定すること。
• 3-非交差分割の個数に対して、多項式係数をもつ線形漸化式を導出すること。
• 3-非交差分割を数える列の漸近的成長率を確立すること。
• 強化された 3-交差と 3-ネストが P-再帰的列をもたらすかどうかを調査すること。
• 計算的および構造的証拠に基づき、$ k \geq 4 $ の場合、k-非交差分割は P-再帰的でないと予想すること。

提案手法

• 3-非交差分割を数える問題を、有界な高さのバカラシレート・テーブルックスへの双対写像に翻訳することで、問題をテーブルックスの数え上げ問題に変換する。
• 三変数ランダムウォークモデルにカーネル法を適用し、3-非交差分割の母関数の関数方程式を導出する。
• カーネル法を適用して関数方程式を解き、多項式係数をもつ二階線形微分方程式を導出する。
• 鞍点法と母関数技法を用いた漸近的解析により、列の支配的成長項を特定する。
• Maple の Gfun パッケージを用いて初期項を計算し、P-再帰性をテストしたところ、k=4 の場合に再帰的関係は得られなかった。
• カーネル方程式の根図を分析して、母関数が D-有限（P-再帰的）かどうかを推論し、無限の図形が非 D-有限性を示唆すると結論した。

実験結果

リサーチクエスチョン

• RQ1 3-非交差分割の個数 $ C_3(n) $ は P-再帰的か？ もし P-再帰的であれば、多項式係数をもつ線形漸化式を明示的に導出できるか？
• RQ2 n が無限大に近づく際の 3-非交差分割の個数の漸近的成長率は何か？
• RQ3 強化された 3-交差分割も P-再帰的か？ そして、標準的な 3-非交差分割とはどのように関係するか？
• RQ4 k ≥ 4 の場合、k-非交差分割の母関数は P-再帰的のままであるか？
• RQ5 カーネル方程式およびその根図のどの構造的性質が、母関数が D-有限であるかどうかを示唆するか？

主な発見

• 3-非交差分割の個数 $ C_3(n) $ は、多項式係数をもつ線形漸化式を満たす：$ 9n(n+3)C_3(n) - 2(5n^2 + 32n + 42)C_3(n+1) + (n+7)(n+6)C_3(n+2) = 0 $。
• 母関数 $ \mathcal{C}(t) = \sum_{n \geq 0} C_3(n) t^n $ は、二階線形微分方程式を満たす：$ t^2(1-9t)(1-t) \frac{d^2}{dt^2}\mathcal{C}(t) + 2t(5 - 27t + 18t^2) \frac{d}{dt}\mathcal{C}(t) + 10(2 - 3t)\mathcal{C}(t) - 20 = 0 $。
• 3-非交差分割の漸近的成長は、$ \sim \frac{3^9 \cdot 5}{2^5} \frac{\sqrt{3}}{\pi} \frac{9^n}{n^7} \approx 1695.6 \cdot \frac{9^n}{n^7} $ であり、大きな n に対して数値的に確認された。
• 列 $ C_3(n) $ は 1, 1, 2, 5, 15, 52, 202, 859, 3930, 19095, 97566, ... から始まり、P-再帰的である。
• 強化された 3-交差を避ける分割の個数も P-再帰的であり、その漸近的挙動は類似しており、成長率は $ 8^n / n $ のオーダーである。
• k ≥ 4 の場合、P-再帰的である証拠はない：カーネル法により無限の根図が得られ、4-非交差列の最初の 100 項についても再帰的関係は得られなかった。