[논문 리뷰] The Eulerian numbers on restricted centrosymmetric permutations

Marilena Barnabei, Flavio Bonetti외 1명|ArXiv.org|2009. 10. 13.

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

한 줄 요약

이 논문은 123을 피하는 중심대칭 순열에서 내림차순의 분포를 조사하며, 특히 짝수 길이의 순열에 초점을 맞춘다. $S_{2n}$ 내의 123을 피하는 중심대칭 순열과 길이 $2n$인 다이크 프리픽스 사이에 새로운 이항사상 $\Phi$를 도입하여, $|C_{2n}(123)| = \binom{2n}{n}$의 이항적 증명을 가능하게 하며, 내림차순 통계량에 대한 명시적 이변수 생성함수를 도출한다. 주요 기여는 다이크 프리픽스의 마지막 복귀 분해를 기반으로 한 내림차순 분포의 완전한 특성화이다.

ABSTRACT

We study the descent distribution over the set of centrosymmetric permutations that avoid the pattern of length 3. Our main tool in the most puzzling case, namely, $τ=123$ and $n$ even, is a bijection that associates a Dyck prefix of length $2n$ to every centrosymmetric permutation in $S_{2n}$ that avoids 123.

연구 동기 및 목표

• 주어진 패턴을 $S_3$에서 피하는 중심대칭 순열에서 내림차순 분포를 분석하는 것. 특히 도전적인 케이스인 $\tau = 123$에 초점 맞춤.
• $C_{2n}(123)$과 길이 $2n$인 다이크 프리픽스 사이의 이항사상 수립을 통해 $|C_{2n}(123)| = \binom{2n}{n}$의 이항적 증명을 제공하는 것.
• 이 순열 집합에서 내림차순 통계량에 대한 명시적 이변수 생성함수 $T(x,y) = \sum_{n \geq 0} \sum_{\sigma \in C_{2n}(123)} x^n y^{\mathrm{des}(\sigma)}$ 유도.
• 다이크 프리픽스의 마지막 복귀 분해를 사용하여 생성함수를 분해함으로써, 다이크 경로와 상승한 진부분프리픽스를 구분하는 것.

제안 방법

• 이항사상 $\Phi$는 $C_{2n}(123)$ 내의 각 중심대칭 123 피하는 순열을 길이 $2n$인 다이크 프리픽스로 매핑하며, 구조적 특성과 내림차순 성질을 유지한다.
• 다이크 프리픽스는 그 마지막 복귀를 통해 분해되며, 세 가지 유형으로 분류된다: 다이크 경로, 상승한 진부분프리픽스, 다이크 경로와 상승한 진부분프리픽스의 접합.
• 내림차순 통계량은 해당 다이크 프리픽스 유형에 따라 순열을 분해함으로써 분석되며, 내림차순 수는 구성 경로의 내림차순 통계량에서 유도된다.
• 다이크 경로, 상승한 프리픽스, 일반 다이크 프리픽스에 대응하는 생성함수 $T(x,y)$, $K(x,y)$, $S(x,y)$ 사이에 재귀 관계를 수립한다.
• 생성함수 $T(x,y)$는 $K(x,y)$를 포함하는 함수 방정식 시스템을 통해 유도되며, 제곱근을 포함하는 닫힌 형태의 표현식을 갖는다.
• 이항사상은 순열의 내림차순 집합이 거울 대칭임을 보여주며, 이는 중심대칭 구조와 일치한다.

실험 결과

연구 질문

• RQ1 123을 피하는 중심대칭 순열 집합 $C_{2n}(123)$에서 내림차순 통계량의 분포는 어떻게 되는가?
• RQ2 cardinality $|C_{2n}(123)|$ 는 어떻게 이항적으로 설명될 수 있으며, 이 수의 뒤에 깔린 구조는 무엇인가?
• RQ3 $C_{2n}(123)$에서 내림차순 분포는 이변수 생성함수로 포괄될 수 있는가? 만약 가능하면, 그 닫힌 형태의 표현식은 무엇인가?
• RQ4 다이크 프리픽스의 마지막 복귀 분해는 해당 중심대칭 순열의 내림차순 구조와 어떻게 관련이 있는가?
• RQ5 이 맥락에서 다이크 경로, 상승한 프리픽스, 일반 다이크 프리픽스의 생성함수 간의 함수적 관계는 무엇인가?

주요 결과

• $C_{2n}(123)$ 내의 중심대칭 순열 집합은 크기가 $\binom{2n}{n}$이며, 이는 길이 $2n$인 다이크 프리픽스로의 사상에 기반한 이항적 증명을 통해 입증된다.
• $C_{2n}(123)$에서의 내림차순 분포는 생성함수 $T(x,y)$에 의해 코딩되며, 이는 다이크 프리픽스의 마지막 복귀 분해를 기반으로 한 함수 방정식을 통해 명시적으로 도출된다.
• 생성함수 $T(x,y)$는 다이크 경로의 생성함수 $K(x,y)$를 포함하는 이차 방정식을 만족하며, $T(x,y) = \frac{-xy^3K^2 + (1 - 2xy^2 + xy + xy^3)K + xy^2 - 2xy + x}{1 - xy + xy^3 - xy^2K - xy^3K}$ 로 표현되며, 여기서 $K(x,y)$는 닫힌 형태로 주어진다.
• 다이크 경로에 대응하는 순열의 내림차순 수는 마지막 복귀 분해를 통해 유도되며, $k_{n,d}$ (내림차순 수가 $d$인 이러한 순열의 수)를 포함하는 재귀 관계로 이어진다.
• 일반적인 다이크 프리픽스의 경우, 내림차순 분포는 $g_{i,j}$와 $k_{n-i,d-1-j}$를 포함하는 콘볼루션 형태로 표현되며, 이는 다이크 경로와 상승한 프리픽스로의 분해 구조를 반영한다.
• $t_{n,d}$ (내림차순 수가 $d$인 $C_{2n}(123)$ 내의 순열 수)의 처음 몇 가지 값은 계산되어 표로 정리되었으며, 생성함수와 일치하는 명확한 패턴을 보인다.