[論文レビュー] Pattern-Avoiding Involutions: Exact and Asymptotic Enumeration

Miklós Bóna, Cheyne Homberger+2 more|arXiv (Cornell University)|Oct 25, 2013

Advanced Combinatorial Mathematics参考文献 24被引用数 11

ひとこと要約

本稿は、単一の4パターンを避けるクラスに焦点を当て、パターン回避型対合に関する包括的な研究を提示する。精密な彩色技術と置換分解を用いて、1324-回避型対合の成長率に対する上界を4.84未満に導出し、予期せぬ漸近的挙動を明らかにするとともに、長年の1324-回避問題に対する新たな知見を提供する。

ABSTRACT

We consider the enumeration of pattern-avoiding involutions, focusing in particular on sets defined by avoiding a single pattern of length 4. As we demonstrate, the numerical data for these problems demonstrates some surprising behavior. This strange behavior even provides some very unexpected data related to the number of 1324-avoiding permutations.

研究の動機と目的

• 単一の長さ4のパターンを避ける対合を体系的に列挙すること。
• 1324-回避型対合の列挙において観察された驚くべき数値的挙動（既知のパターンと乖離）を解明すること。
• 彩色と置換分解といった高度な組合せ論的技法を応用し、これらのクラスの成長率に対する境界を導出すること。
• 4文字パターンを避ける対合のウィルフ同値類を明確にし、置換クラスに関する先行研究を拡張すること。
• 1324-回避型対合のような未だ正確に列挙されていない困難なクラスの今後の列挙に基盤を提供すること。

提案手法

• ボーナが提案した「彩色」技法を応用し、1324-回避置換における右から左への最大値・最小値を追跡する。パターン回避を保つために、要素に色を割り当てる。
• 1324-回避置換から、アルファベット {a, b, c, d} 上の語のペア (eπ, vπ) への単射を用い、c b などの禁止因子を避ける制約を設ける。
• 対合に制限するため、eπ と vπ の両方の語において、a および d 要素が同一の位置に現れるように対称性を強制する。
• 対合制約下での有効な彩色語ペアの生成関数として、h(x) = (1 + x)/(1 - 5x + x² - x³) を構築する。
• 自動機理論的手法を用いて、h(x) の分母の最小の正の根の逆数から成長率を導出する。
• 置換の置換分解を用いて、単純な置換の構造を分析し、特定の4パターンクラスにおける列挙戦略を導く。

実験結果

リサーチクエスチョン

• RQ1 なぜ1324-回避型対合の列挙列は、他の4パターンクラスと比較して予期しない不規則な成長を示すのか？
• RQ2 彩色法を拡張することで、1324-回避型対合の成長率に対するより鋭い境界を導出可能か？
• RQ3 対合が持つどのような構造的性質が、一般の1324-回避置換と比較して成長率の上界を顕著に低減可能にするのか？
• RQ4 4パターンを避ける対合において、一般の置換と異なるウィルフ同値類が存在するか？
• RQ5 置換分解法を用いて、2431 や 3421 といった他の4パターンを避ける対合クラスを列挙可能か？

主な発見

• 1324-回避型対合の成長率は、生成関数 h(x) = (1 + x)/(1 - 5x + x² - x³) から導かれるように、約4.84未満に上界が与えられる。
• 対合条件によって強制される対称性のおかげで、一般の1324-回避置換の既知の上界と比較して、1324-回避型対合の成長率上界は顕著に低い。
• 長さ11の1324-回避型対合の数は5,654であり、長さ15に達すると6,116にまで増加し、急激ではあるが不規則な成長パターンを示す。
• 2413-回避型対合クラスでは、生成関数がモーツキン数に関連しており、1234-回避型対合とウィルフ同値であることが知られている。
• 2431-回避型対合クラスは特徴的な成長パターンを示し、長さ15の単純な置換が1,272個存在することから、さらなる構造的解析の可能性が示唆される。
• 表17のデータから、4231 や 1324 のようなクラスはより複雑な単純な置換の数を示しており、置換分解がこれらのケースには効果的でない可能性を示唆している。