[論文レビュー] Further Bijections to Pattern-Avoiding Valid Hook Configurations

Maya Sankar|arXiv (Cornell University)|Oct 20, 2019

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

ひとこと要約

本稿は、312-回避および132-回避順列における有効フック配置（VHC）と第一象限における格子路との間で、新たな双対写像を確立し、Defantが提起した312-回避VHCの母関数のD-有限性に関する未解決問題を解決した。非D-有限性を証明し、漸近的成長率を特定するとともに、132-回避ケースに対しては精緻な双対写像を提供し、Motzkin-Tamari半順序集合によるDefantの列挙のより洗練された証明を提示した。

ABSTRACT

Valid hook configurations are combinatorial objects used to understand West's stack-sorting map. We extend existing bijections corresponding valid hook configurations to intervals in partial orders on Motzkin paths. To enumerate valid hook configurations on $312$-avoiding permutations, we build off of an existing bijection into a Motzkin poset and construct a bijection to certain well-studied closed lattice walks in the first quadrant. We use existing results about these lattice paths to show that valid hook configurations on $312$-avoiding permutations are not counted by a $D$-finite generating function, resolving a question of Defant's, and additionally to compute asymptotics for the number of such configurations. We also extend a bijection of Defant's to a correspondence between valid hook configurations on $132$-avoiding permutations and intervals in the Motzkin-Tamari posets, providing a more elegant proof of Defant's enumeration thereof. To investigate this bijection, we present a number of lemmas about valid hook configurations that are generally applicable and further study the bijections of Defant's.

研究の動機と目的

• 312-回避順列における有効フック配置の母関数がD-有限であるかどうか、Defantが提起した未解決問題を解決すること。
• Defantが132-回避順列におけるVHCとMotzkin-Tamari半順序集合の区間との間で確立した双対写像を、より洗練され、構造的な証明に拡張すること。
• Motzkin-Defant半順序集合の区間と第一象限における重み付き格子路のクラスとの間の双対写像を確立し、漸近的解析を可能にすること。
• 格子路の列挙に関する既知の結果を応用して、312-回避ケースにおけるVHC数の明示的漸近的推定値と組合せ的解釈を提供すること。

提案手法

• Motzkin-Defant半順序集合 $\mathcal{M}_{n-1}^C$ の区間から、特定のステップ集合と制約を満たす $\mathbb{N}^2$ 内の重み付き格子路のクラスへの双対写像を構成する。
• これらの格子路の列挙および漸近的性質に関する既知の結果を活用し、312-回避順列における有効フック配置の漸近的成長を導出する。
• 有効フック配置の構造とスタックソートとの相互作用を活用して、132-回避順列からMotzkin-Tamari半順序集合 $\mathcal{M}_{n-1}^T$ の区間への写像を定義する。
• 格子路モデルの成長率に基づき、312-回避VHCの母関数が任意のD-有限母関数よりも速く成長することを示し、非D-有限性を証明する。
• 双対写像構築を支援するため、有効フック配置の構造に関する補題を導入・証明する。
• 文献[9]の系5.1を適用して、VHC数の三角形の最初の列が $C_k C_{k+2} - C_{k+1}^2$ に一致することを特定し、既知の組合せ的数列と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 312-回避順列における有効フック配置の母関数はD-有限か。もし非D-有限であれば、その漸近的成長率はいかなるものか？
• RQ2 132-回避順列における有効フック配置とMotzkin-Tamari半順序集合の区間との間で、生成関数の比較よりも直接的な証明を可能にする明示的双対写像を構築可能か？
• RQ3 312-回避順列（長さ $n$）における有効フック配置の数の正確な漸近的挙動は何か？
• RQ4 $1 \leq i \leq k$ についての $|\operatorname{VHC}_k(\operatorname{Av}_{2k+i}(312))|$ の係数は、3次元Catalan数と関連するような組合せ的パターンを示すか？
• RQ5 行列の各行の列挙列 $|\operatorname{VHC}_k(\operatorname{Av}_{2k+i}(312))|$ は単峰的または対数的凸か。また、多項式としてのすべての根は実数か？

主な発見

• 312-回避順列における有効フック配置の母関数はD-有限ではない。これはDefantが提起した問題を解決した。
• 312-回避順列（長さ $n$）における有効フック配置の数は、定数 $C > 0$ および $\alpha > 1$ を用いて、$C \cdot \alpha^n \cdot n^{-3/2}$ のように漸近的に成長する。これは格子路の漸近的性質に基づく。
• Motzkin-Defant半順序集合 $\mathcal{M}_{n-1}^C$ の区間と $\mathbb{N}^2$ 内の重み付き格子路のクラスとの間の双対写像が構築され、Defantのパスの二項変換に関する予想が裏付けられた。
• VHC数の三角形の最初の列は、数列 $C_k C_{k+2} - C_{k+1}^2$ に一致し、これはOEIS A005700として知られており、VHCと既知のCatalan関連組合せ的構造を結びつける。
• データにより予想8.2が支持された：$|\operatorname{RedVHC}_k(\operatorname{Av}_{3k}(312))| = 2 \frac{(3k)!}{k!(k+1)!(k+2)!}$ であり、3次元Catalan数（OEIS A005789）と一致する。
• VHC数の三角形の各行は対数的凸であると予想され、関連する多項式のすべての根が実数である。これは、より深い単峰的および組合せ的構造を示唆している。