[論文レビュー] Permutations with a fixed number of occurrences of a pattern: A case generalizing 231

Michael Waite|arXiv (Cornell University)|Mar 23, 2026

Advanced Combinatorial Mathematics被引用数 0

ひとこと要約

本論文は、q の出現回数が r のときの置換の総数が、n^r 倍の定数と q を避ける置換の数に漸近的に比例するパターンを同定し、いくつかの場合に非有理的/非代数的な生成関数を導出する。

ABSTRACT

We determine a set of permutation patterns $q$ so that the number of permutations with $r$ occurrences of $q$ is asymptotically $n^r$ times the number of permutations avoiding $q$, partially settling a conjecture of Conway and Guttman. We also use these asymptotics to prove nonrationality and nonalgebraicity for certain ordinary generating functions for permutations with $r$ copies of a pattern.

研究の動機と目的

• パターン q の r 回出現の数が n とどうスケールするかを動機づけ、形式化する。
• 広いクラスのパターンについて |S_n,r(q)| と |S_n(q)| の鋭い漸近的上界・下界を確立する。
• 特定の場合における生成関数の解析的性質（非有理性/非代数性）への影響を導出する。
• 231 からより広いパターン族への知見を拡張し、Conway と Guttmann の予想に対する含意を評価する。

提案手法

• 特定の非分解可能なスキュー分解可能形式のパターン q に対して下界 |S_n,r(q)| ≥ k n^r |S_n(q)| を確立するための単射を構築する。
• 分離可能なスキュー分解可能な q に対して上界 |S_n,r(q)| ≤ K n^r |S_n(q)| を確立するための単射を構築し、それを反復してすべての r を覆う。
• 非分解可能性、スキュー非分解可能性、分離可能性といったパターン q の構造的分解を利用して単射を設計する。
• 23...k1、3412、4213、1342 といったパターンに関する既知の漸近と生成関数の結果を用いて、組合せの界から解析的結論へと翻訳する。
• 係数の成長に関する解析的補題を用いて、特定の r パラメータ化された置換類の普通の生成関数の非有理性または非代数性を導く。

実験結果

リサーチクエスチョン

• RQ1 どのパターン q に対して |S_n,r(q)| は漸近的に定数倍の n^r × |S_n(q)| の形になるのか？
• RQ2 kn^r|S_n(q)| ≤ |S_n,r(q)| ≤ Kn^r|S_n(q)| の形で一致する上界・下界を作る単射を構築できるか？
• RQ3 正確に r 個の q のコピーを持つ置換の生成関数に対して、非有理性・非代数性といった解析的結論は何か？
• RQ4 長さ 4 の既知パターンへの特化はどうなり、Conway と Guttmann の予想をどこまで満たす・拡張できるか？

主な発見

• 広いクラスの q（分離可能な非分解可能、指定された制約を伴うスキュー分解可能）に対して、定数 k と K が存在し kn^r|S_n(q)| ≤ |S_n,r(q)| ≤ Kn^r|S_n(q)| が成り立つ。
• 対象パターン族に対して |S_n,r(q)| が少なくとも n^r のオーダーで |S_n(q)| に比例する下界を明確に示す構成が存在する。
• 対応する上界の n^r 因子を一致させる構成により、|S_n,r(q)| ~ C n^r |S_n(q)| という漸近形が、前述のパターン条件の下で成立する。
• 23...k1、3412、4213、1342 のようなパターンへの適用は具体的な漸近をもたらし、特定の場合に非有理的/非代数的生成関数を生み出す。
• 複数の四文字パターンについて、Conway と Guttmann の予想が |S_n,r(q)| ~ K n^r |S_n(q)| のケースとして確認され、残るケース（特に q = 4312）の扱いが示唆されている。
• 基底パターン（例えば S_n(k(k-1)...1) および S_n(1342)）の既知の漸近と主定理を組み合わせることで、対応する S_r(z) 生成関数の非有理性または非代数性を示す。