[논문 리뷰] Central binomial coefficients also count (2431,4231,1432,4132)-avoiders

Marie-Louise Bruner|arXiv (Cornell University)|2015. 05. 19.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 3

한 줄 요약

이 논문은 2431, 4231, 1432, 4132의 네 가지 패턴을 피하는 순열이 중심 이항계수 $\binom{2(n-1)}{n-1}$로 세어진다는 것을 증명한다. 정수와 삽입 위치를 나타내는 마커 B/E로 구성된 코드어에 대한 이분기적 인코딩을 통해 저자들은 이러한 코드어와 격자 경로 사이에 직접적인 대응 관계를 수립하여, 구성적 이분기적 사상에 기반한 조합적 증명을 제시한다.

ABSTRACT

This short paper is concerned with the enumeration of permutations avoiding the following four patterns: $2431$, $4231$, $1432$ and $4132$. Using a bijective construction, we prove that these permutations are counted by the central binomial coefficients.

연구 동기 및 목표

• 2431, 4231, 1432, 4132의 네 가지 특정 4패턴을 피하는 순열의 정확한 개수를 구하는 것.
• 그러한 순열과 구조적 조건을 만족하는 코드어의 조합론적 클래스 사이의 이분기적 연결을 수립하는 것.
• 길이 $n$인 이러한 순열의 수가 중심 이항계수 $\binom{2(n-1)}{n-1}$로 주어진다는 것을 보여주는 것.
• 생성함수나 재작성 규칙에 의존하지 않고, 구조적 삽입 제약 조건에 중점을 두어 구성적 이분기적 증명을 제공하는 것.

제안 방법

• 알파벳 $\{2,3,\ldots\} \cup \{B,E\}$ 위에서 코드어 체계를 정의하며, 여기서 $B$와 $E$는 시작 및 끝 마커를 나타내고, 정수는 삽입 위치를 나타낸다.
• 코드어에 대한 제약 조건 설정: B/E가 아닌 기호들은 비감소적이며, 다른 B/E가 아닌 기호와 인접할 수 없다.
• 가장 큰 원소 $n$의 삽입 위치를 추적함으로써, 순열의 클래스 $\mathcal{S}_n$과 길이 $n-1$인 코드어 사이의 이분기적 사상을 구성한다.
• 코드어의 비초기 부분을 디락 유사 격자 경로로 매핑하여, 조합론적 경로 수세기 방법을 통해 세어내는 데 활용한다.
• 일반화된 합성 항등식과 수학적 귀납법을 사용하여, 길이 $n-1$인 유효한 코드어의 수가 $\binom{2(n-1)}{n-1}$과 같다는 것을 증명한다.
• 항등식 $\sum_{j=0}^{n-1} 2^{m-j} \binom{m+j-1}{j} (m-j) = n \cdot 2^{m-n+1} \binom{m+n-1}{n}$ 에서 $m = n$ 으로 설정하여 공식을 검증한다. 이 경우 중심 이항계수 $\binom{2n}{n}$을 도출한다.

실험 결과

연구 질문

• RQ1 2431, 4231, 1432, 4132의 네 가지 4패턴을 피하는 순열의 정확한 세기 수는 무엇인가요?
• RQ2 이러한 순열과 그 개수가 알려진 조합론적 클래스의 단어 사이에 이분기적 대응 관계를 설정할 수 있는가요?
• RQ3 길이 $n$인 이러한 순열의 수가 중심 이항계수 $\binom{2(n-1)}{n-1}$과 같은가요?
• RQ4 이러한 세기 수를 생성함수나 재작성 규칙에 의존하지 않고 조합론적으로 증명할 수 있는가요?
• RQ5 중심 이항계수로 세어지는 다른 객체들, 예를 들어 그랜디 워크 또는 디락 경로로의 직접적인 이분기적 사상은 존재하는가요?

주요 결과

• 길이 $n$인 2431, 4231, 1432, 4132의 네 패턴을 피하는 순열의 수는 정확히 $\binom{2(n-1)}{n-1}$이며, 중심 이항계수이다.
• 각 이러한 순열은 알파벳 $\{2,3,\ldots\} \cup \{B,E\}$ 위에서 길이 $n-1$인 유일한 코드어로 변환되며, 특정 구조적 제약 조건을 만족한다.
• 유효한 코드어의 집합은 특정 타입의 스텝을 갖는 격자 경로의 수와 같은 공식으로 세어지며, 이는 조합론적 연결을 수립한다.
• 증명은 일반화된 합성 항등식을 사용하며, 이는 $m = n$으로 특수화될 경우 중심 이항계수 $\binom{2n}{n}$을 도출한다.
• 저자들은 중심 이항계수로 세어질 수 있는 4패턴 피하는 순열의 12개의 잠재적 윌프-동치 클래스를 식별하였으며, 그 중 하나는 카탈란 기반 삽입 추론을 통해 이미 증명되었다.
• 이 논문은 이러한 순열에서 표준 조합론적 객체인 그랜디 워크 또는 디락 경로로의 직접적인 이분기적 사상을 구성하는 문제를 열려 있는 과제로 남긴다.