[논문 리뷰] Avoiding 2-letter signed patterns

Toufik Mansour, Julian West|ArXiv.org|2002. 07. 23.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 24

한 줄 요약

이 논문은 대칭 연산(역순, 부호 변경, 보완)을 이용해 경우를 줄여가며, 초입방체군 $B_n$ 내에서 2글자 부호 있는 패턴 집합 $T$ 를 모두 피하는 부호 있는 순열의 수를 완전히 분류한다. $b_n(T)$ 의 정확한 공식을 이항계수, 카탈란 수, 피보나치 수, 계승을 통해 유도하며, 결과는 $n!$ 에서 $\sum_{k=0}^n \binom{n}{k}^2 k!$ 까지 다양하고, 큰 패턴 집합에 대해 $b_n(T) = 0$ 또는 $b_n(T) = 1$ 인 경우를 규명한다.

ABSTRACT

Let B_n be the hyperoctahedral group; that is, the set of all signed permutations on n letters, and let B_n(T) be the set of all signed permutations in B_n which avoids a set T of signed patterns. In this paper, we find all the cardinalities of the sets B_n(T) where $T \subseteq B_2$. This allow us to express these cardinalities via inverse of binomial coefficients, binomial coefficients, Catalan numbers, and Fibonacci numbers.

연구 동기 및 목표

• 집합 $T \subseteq B_2$ 에서 모든 패턴을 피하는 $B_n$ 내의 부호 있는 순열의 수 $b_n(T)$ 의 기수를 결정하는 것.
• 등가성에 따라 대칭(역순, 부호 변경, 보완)을 고려해 모든 이러한 피하기 집합 $T$ 를 분류하여 분석할 사례 수를 줄이는 것.
• 이항계수, 계승, 카탈란 수, 피보나치 유사 수열 등을 포함한 닫힌 형식의 표현식 $b_n(T)$ 를 도출하는 것.
• 큰 $|T|$ 에 대해 $b_n(T) = 0$ 또는 $b_n(T) = 1$ 가 되는 특수한 경우를 규명하는 것.
• 모든 가능한 2글자 부호 있는 패턴 부분집합에 대해 $B_n(T)$ 의 완전한 조합적 수세기.

제안 방법

• 역순, 부호 변경, 보완 등의 대칭군 $G_b$ 를 활용해 등가인 패턴 집합 $T$ 를 묶어 분석 사례 수를 줄이는 것.
• 예를 들어 $b_n(12) = b_n(1\overline{2}) = \sum_{k=0}^n \binom{n}{k}^2 k!$ 와 같은 단일 패턴 피하기에 대한 기존 결과를 기저 사례로 활용하는 것.
• $|T| = 2, 3, 4, 5, 6, 7, 8$ 에 대해 조합적 추론과 케이스 분석을 적용하며, 패턴의 구조와 대칭성에 따라 경우를 구분하는 것.
• 더 큰 $|T|$ 에 대해 컴퓨터 보조 계산을 활용해 $b_n(T)$ 의 공식을 추측하고 검증하는 것.
• 부호 있는 순열의 구조적 분해를 활용: 중심 원소 이전과 이후의 부분으로 나누어 유효한 구성 수를 세는 것.
• 재귀와 포함-배제 원리를 활용해 $b_n(\{12, \overline{2}1\}) = n! + n! \sum_{i=1}^n \left( \frac{1}{i} \sum_{j=0}^{i-1} \frac{1}{j!} \right)$ 와 같은 표현식을 도출하는 것.

실험 결과

연구 질문

• RQ1 대칭에 대해 고려할 때, 주어진 2글자 부호 있는 패턴 집합 $T$ 를 피하는 $B_n$ 내의 부호 있는 순열 수는 얼마인가요?
• RQ2 역순, 부호 변경, 보완 등의 대칭이 $B_n(T)$ 의 수세기 과정에 어떤 영향을 미치나요?
• RQ3 $T \subseteq B_2$ 에 대해 $b_n(T) = 0$ 인 경우와 $b_n(T) = 1$ 인 경우는 각각 어떤가요?
• RQ4 모든 $b_n(T)$ 값은 이항계수, 계승, 또는 카탈란 수와 같은 표준 조합 수열을 이용해 닫힌 형식으로 표현할 수 있나요?
• RQ5 $2^8 = 256$ 개의 가능한 부분집합 $T \subseteq B_2$ 에 대해 $b_n(T)$ 의 완전한 분류는 무엇인가요?

주요 결과

• 모든 단일 2글자 부호 있는 패턴 $\tau$ 에 대해 $b_n(\tau) = \sum_{k=0}^n \binom{n}{k}^2 k!$ 이며, 이는 기존 결과와 일치한다.
• 2개의 2글자 부호 있는 패턴으로 이루어진 경우, $b_n(T)$ 는 대칭류에 따라 $(n+1)!$, $\binom{2n}{n}$, 또는 $n! + n! \sum_{i=1}^n \left( \frac{1}{i} \sum_{j=0}^{i-1} \frac{1}{j!} \right)$ 와 같은 값을 가진다.
• $|T| = 5$ 인 경우, $b_n(T)$ 는 $0$, $3$, $n+1$, $1+n!$, $(n+1)(n-1)!$ 중 하나이며, $b_n(W_9) = 0$ 이고 $b_n(W_4) = 3$ 이다.
• $|T| = 6$ 인 경우, $b_n(T)$ 는 $0$, $2$, 또는 $n!$ 이며, $b_n(V_4) = n!$ 이고 $b_n(V_2) = b_n(V_7) = b_n(V_8) = 0$ 이다.
• $|T| = 7$ 또는 $8$ 인 경우, $T = B_2$ 또는 $T = U_2$ 라면 $b_n(T) = 0$ 이고, $n \geq 3$ 에 대해 $b_n(U_3) = 1$ 이며, 이는 7개 패턴을 모두 피하는 부호 있는 순열이 오직 하나뿐임을 의미한다.
• 논문은 $b_n(\{12, 21\}) = 2n!$ 과 $b_n(\{1\overline{2}}, \overline{1}2) = (n+1)!$ 이며, 이는 이전의 추측을 수정한 것이다.