[논문 리뷰] On the Best Upper Bound for Permutations Avoiding A Pattern of a Given Length

Miklós Bóna|arXiv (Cornell University)|2012. 09. 11.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 4

한 줄 요약

이 논문은 길이 $k$의 어떤 패턴을 피하는 $n$-순열의 수에 대해 $(2.25k^2)^n$ 이하의 상계를 확립하며, 특히 층형 패턴 클래스 $M_k$ (예: $M_4 = 1324$)에 대해 이를 증명한다. 증명은 $M_k$-피하는 순열을 유한 알파벳 위의 단어 쌍으로의 단사 사상으로 활용하며, 재귀 관계와 생성 함수를 이용해 성장률을 유 bounds하여, 어떤 길이 $k$의 패턴도 $(2.25k^2)^n$개 이하의 순열에 의해 피할 수 있다는 추측을 지지한다.

ABSTRACT

Numerical evidence suggests that certain permutation patterns of length k are easier to avoid than any other patterns of that same length. We prove that these patterns are avoided by no more than (2.25k^2)^n permutations of length n. In light of this, we conjecture that no pattern of length k is avoided by more than that many permutations of length n.

연구 동기 및 목표

• 주어진 길이 $k$의 패턴을 피하는 $n$-순열의 수에 대해 날카로운 상계를 확립하는 것.
• 층형 패턴 $M_k$가 가장 자주 피되는 패턴이므로 상계의 극한 경우로 작용하며, 이는 추측을 지지하는 것.
• 이전의 지수적 상계 $c_k \to 2^{O(k\log k)}$를 개선하여, 모든 $k$에 대해 $c_k \leq 2.25k^2$를 증명하는 것.
• 단어 인코딩과 재귀 관계를 활용한 구성적 귀납적 프레임워크를 제공하여 패턴 피하는 순열의 성장률을 유 bounds하는 것.

제안 방법

• 층형 패턴 $M_k$를 교차하는 증가 및 감소 수열로 정의하며, $M_{2m} = 132\cdots(2m-1)(2m-2)2m$ 및 $M_{2m-1} = 21\cdots(2m-2)(2m-3)(2m-1)$로 설정한다.
• 정리 2.5에 기반한 빨간색-파란색 색칠을 활용하여 $M_k$-피하는 순열에서 유한 알파벳 위의 단어 쌍으로의 단사 사상을 구성한다.
• 금지된 요소 제약 조건에서 유도된 선형 재귀 관계를 사용하여 유효한 단어의 수를 모델링한다: $k=2m$일 때 $b_n = (3m-2)b_{n-1} - (m-1)b_{n-2}$이며, $k=2m-1$일 때도 유사한 형태이다.
• 생성 함수 $B(x) = \frac{1}{1 - (3m-2)x + (m-1)x^2}$를 사용하여 재귀를 해결하고, 근 $\beta_1, \beta_2$를 포함하는 닫힌 표현식을 유도한다.
• 지배적 근 $\beta_1$를 유 bounds하여 $\beta_1 < 3m-2$임을 보이고, 따라서 $|W_{3m-2}(n)| \leq (2\beta_1^{n-1})^2$이며, 이에 따라 $S_n(M_k) \leq (2.25k^2)^n$임을 도출한다.
• 홀수 $k=2m-1$에 대해서도 유사한 추론을 적용하며, $V_{3m-4}(n)$을 사용하고 $\alpha_1 < 3m-4$를 유 bounds하여 동일한 渐近 상한을 도출한다.

실험 결과

연구 질문

• RQ1 길이 $k$의 주어진 패턴을 피하는 $n$-순열의 수에 대해 가능한 최선의 상계는 무엇인가?
• RQ2 모든 길이 $k$의 패턴 $q$에 대해 $S_n(q)$의 성장률이 $(2.25k^2)^n$으로 항상 유 bounds될 수 있는가?
• RQ3 층형 패턴 $M_k$는 최소 피하는 패턴의 극한 경우를 대표하는가? 즉, 보편적인 상한으로서의 역할을 하는가?
• RQ4 재귀 관계와 단어 인코딩을 어떻게 활용하여 패턴 피하는 순열의 날카로운 지수적 상한을 도출할 수 있는가?

주요 결과

• 어떤 길이 $k$의 패턴을 피하는 $n$-순열의 수는 최대 $(2.25k^2)^n$이며, 이는 보편적인 상한을 제공한다.
• 층형 패턴 $M_k$에 대해 상한 $S_n(M_k) \leq (2.25k^2)^n$이 성립하며, $k \geq 4$일 때 渐近적으로 등호에 가까워진다.
• 길이 $k=2m$일 때, 단어 수의 재귀의 지배적 근 $\beta_1$는 $\beta_1 < 3m-2$를 만족하여 상한이 유지됨을 보장한다.
• 홀수 $k=2m-1$일 때, $V_{3m-4}(n)$의 분석을 통해 상한 $S_n(M_k) \leq (2.25k^2)^n$이 확립되며, $\alpha_1 < 3m-4$임을 유 bounds한다.
• 이전 결과 $c_k \leq 2^{O(k\log k)}$를 개선하였으며, $c_k \leq 2.25k^2$가 최적일 것이라는 추측을 지지한다.
• 수치적 증거와 이전의 추측(예: 추측 1.2)을 지지하며, $M_k$ 패턴이 가장 자주 피되는 것으로 나타난다.