[論文レビュー] Sequences of formation width $4$ and alternation length $5$

Jesse Geneson, Peter M. Tian|arXiv (Cornell University)|Feb 13, 2015

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

ひとこと要約

この論文は、形成幅4および交互長5をもつすべての列を特定し、各列 $ u $ に対して極値関数 $ Ex(u,n) $ が $ \Theta(n\alpha(n)) $ であることを証明している。ここで $ \alpha(n) $ は逆アッカーマン関数である。この結果により、形成幅解析と列の構造的特徴付けを用いて、これまで特定されていなかった無限個のパターンの極値関数が解明された。

ABSTRACT

Sequence pattern avoidance is a central topic in combinatorics. A sequence $s$ contains a sequence $u$ if some subsequence of $s$ can be changed into $u$ by a one-to-one renaming of its letters. If $s$ does not contain $u$, then $s$ avoids $u$. A widely studied extremal function related to pattern avoidance is $Ex(u, n)$, the maximum length of an $n$-letter sequence that avoids $u$ and has every $r$ consecutive letters pairwise distinct, where $r$ is the number of distinct letters in $u$. We bound $Ex(u, n)$ using the formation width function, $fw(u)$, which is the minimum $s$ for which there exists $r$ such that any concatenation of $s$ permutations, each on the same $r$ letters, contains $u$. In particular, we identify every sequence $u$ such that $fw(u)=4$ and $u$ contains $ababa$. The significance of this result lies in its implication that, for every such sequence $u$, we have $Ex(u, n) = Θ(n α(n))$, where $α(n)$ denotes the incredibly slow-growing inverse Ackermann function. We have thus identified the extremal function of many infinite classes of previously unidentified sequences.

研究の動機と目的

• 形成幅 $ fw(u) = 4 $ かつ交互長5をもつすべての列 $ u $ を特徴付けること。
• このような列の極値関数 $ Ex(u,n) $ を特定すること。
• すべての such $ u $ に対して $ Ex(u,n) = \Theta(n\alpha(n)) $ が成り立つことを確立し、逆アッカーマン関数と結びつけること。
• 形成幅と構造的分解を用いて、一般化されたDavenport-Schinzel列の理解を拡張すること。

提案手法

• 列の形成幅関数 $ fw(u) $ を用い、これは $ u $ を含むすべての $ (r,s) $-形成の最小の $ s $ として定義され、列を分類する。
• 特定の文字（例：$ n $, $ 1 $, $ 2 $）で終わる列に対する帰納的構造的解析を適用し、標準形を導出する。
• 既知の $ F_{r,s}(n) $ の境界、特に $ F_{r,4}(n) = \Theta(n\alpha(n)) $ を活用し、$ Ex(u,n) $ の上界を導出する。
• 小さな $ n $（例：$ n=6 $）の基本ケースを付録に掲載された列のリストを用いて検証し、その後帰納的により大きな $ n $ へ拡張する。
• 削除論法を用いて非標準形を矛盾させる。これにより分類の完全性を保証する。
• 同型性と反転不変性を適用し、解析すべき異なるケースの数を削減する。

実験結果

リサーチクエスチョン

• RQ1 形成幅が正確に4であり、かつ交互 $ ababa $ を含む列 $ u $ はどれか？
• RQ2 形成幅 $ fw(u) = 4 $ かつ交互長5をもつ列 $ u $ の極値関数 $ Ex(u,n) $ は何か？
• RQ3 このようなすべての列は、同型および反転に関して完全に分類可能か？
• RQ4 形成幅 $ fw(u) = 4 $ かつ交互長5をもつすべての列に対して $ Ex(u,n) = \Theta(n\alpha(n)) $ が一様に成り立つか？
• RQ5 形成幅は、一般化されたDavenport-Schinzel列における極値関数の成長率とどのように関係するか？

主な発見

• 形成幅 $ fw(u) = 4 $ であり、かつ交互 $ ababa $ を含むすべての列 $ u $ は、同型および反転に関して完全に分類されている。
• このようなすべての列 $ u $ に対して、極値関数は $ Ex(u,n) = \Theta(n\alpha(n)) $ を満たす。ここで $ \alpha(n) $ は逆アッカーマン関数である。
• 分類には $ n $、$ 1 $、または $ 2 $ で終わる列が含まれており、特定の標準形（例：$ 1\ldots n1\ldots(n-1)in $、$ 12\ldots n1v1 $、$ 1\ldots n2\ldots n21 $）が含まれる。
• この結果により、$ Ex(u,n) $ が $ \Theta(n\alpha(n)) $ でタイトに束縛されることを確認し、これまで特定されていなかった無限個のパターンに対して成立する。
• 証明は帰納的削除論法と、中間および終端の文字に基づく文字位置を制約する構造的補題に依存している。
• 本研究は、形成幅と極値関数の成長率との直接的な関係を確立し、既知の境界 $ F_{r,4}(n) = \Theta(n\alpha(n)) $ を特定の $ u $ に対する $ Ex(u,n) $ へ拡張した。