[논문 리뷰] Sequences of formation width $4$ and alternation length $5$

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

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) $ 를 결정하는 것.
• 모든 그러한 $ u $ 에 대해 $ Ex(u,n) = \Theta(n\alpha(n)) $ 임을 확립하여, 이들을 역 악커페르만 함수와 연결하는 것.
• 형성 폭 및 구조적 분해를 통해 일반화된 다벤포트-시니울 수열에 대한 이해를 확장하는 것.

제안 방법

• 수열 $ u $ 에 대해 정의된 형성 폭 함수 $ fw(u) $ 를 사용하여 수열을 분류한다. 이는 모든 $ (r,s) $-형성에 $ u $ 가 포함되는 최소 $ s $ 를 의미한다.
• 특정 문자(예: $ n $, $ 1 $, $ 2 $)로 끝나는 수열에 대해 귀납적 구조 분석을 적용하여 표준 형태를 도출한다.
• 특히 $ F_{r,4}(n) = \Theta(n\alpha(n)) $ 와 같은 $ F_{r,s}(n) $ 에 대한 기존의 경계를 활용하여 $ Ex(u,n) $ 의 상한을 유도한다.
• 작은 $ n $ (예: $ n=6 $) 에 대한 기저 사례를 부록의 수열 목록을 사용하여 검증한 후, 이를 귀납적으로 더 큰 $ n $ 으로 확장한다.
• 비표준 형태를 모순시키기 위해 삭제 추론을 적용하여 분류의 완전성을 확보한다.
• 동형성과 역전 불변성을 적용하여 분석할 필요가 있는 서로 다른 케이스의 수를 줄인다.

실험 결과

연구 질문

• RQ1 형성 폭가 정확히 4이면서 교대 $ ababa $ 를 포함하는 수열 $ u $ 는 무엇인가?
• RQ2 형성 폭 $ fw(u) = 4 $ 이고 교대 길이가 5인 수열 $ u $ 에 대해 극한 함수 $ Ex(u,n) $ 는 무엇인가?
• RQ3 모든 이러한 수열은 동형성과 역전에 대해 완전히 분류될 수 있는가?
• RQ4 $ Ex(u,n) = \Theta(n\alpha(n)) $ 는 형성 폭 $ fw(u) = 4 $ 이고 교대 길이가 5인 모든 수열에 대해 균일하게 성립하는가?
• RQ5 형성 폭는 일반화된 다벤포트-시니울 수열에서 극한 함수의 성장률과 어떻게 관련되는가?

주요 결과

• 형성 폭 $ 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) $ 로 확장한다.