[논문 리뷰] Generalizations of two-stack-sortable permutations

Dapeng Xu|ArXiv.org|2002. 09. 23.

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

한 줄 요약

이 논문은 각 원소가 $r$번 나타나는 $r$-순열로 두 스택 정렬 가능한 순열을 일반화하며, 내림차순 수를 세는 두 스택 정렬 가능한 $k$-튜플 $r$-순열의 생성함수에 대한 함수방정식을 제이버거 스타일의 인수분해를 통해 도입한다. 이 해법은 이러한 순열의 수를 나타내는 명시적 공식을 도출하며, 스택 정렬 이론의 고전적 결과를 다중집합 순열로 확장하고 패턴 회피 및 대칭함수 이론에의 응용을 포함한다.

ABSTRACT

In this thesis, we apply the stack sorting operator to $r$-permutations and construct the functional equation for the generating function of two-stack-sortable $k$-tuple $r$-permutations counted by descents by using a factorization similar to Zeilberger's. We solve the functional equation and give explicit formulas for the number of two-stack-sortable $r$-permutations.

연구 동기 및 목표

• 각 원소가 $r$번 나타나는 $r$-순열로 스택 정렬 가능한 순열 이론을 확장한다.
• 내림차순 수를 세는 두 스택 정렬 가능한 $k$-튜플 $r$-순열의 수를 함수방정식을 통해 세는 것을 목표로 한다.
• 웨스트의 두 스택 정렬 가능한 순열에 대한 특성 기술을 $r$-순열 설정으로 일반화한다.
• 다중집합 순열의 맥락에서 스택 정렬, 패턴 회피, 대칭함수 간의 관계를 탐색한다.

제안 방법

• 최댓값 원소의 위치에 기반한 인수분해 방법을 도입하여 제이버거의 함수방정식 접근법을 $r$-순열에 적응시킨다.
• 재귀적 분해를 통해 두 스택 정렬 가능한 $k$-튜플 $r$-순열의 생성함수에 대한 함수방정식을 유도한다.
• 다변수 라그랑주 역함수를 적용하여 생성함수의 계수를 추출하고, 명시적 공식을 도출한다.
• 자식 유형의 수가 무한한 트리 구조를 모델링하기 위해 기본 대칭함수를 완전 동차 대칭함수로 대체하는 수정을 도입한다.
• 생성함수 $G$와 $F$는 $G = 1 + zFG$ 및 $f_k = \sum_{j=0}^\infty g_{k+j} h_j(x)$로 정의되어 조합적 구조를 모델링한다.
• 대체된 함수방정식을 $x_i = \frac{y_i(1 - y_i)}{H^2(y)}$의 치환을 통해 풀며, $G$와 $F$의 닫힌 형태를 유도한다.

실험 결과

연구 질문

• RQ1 두 스택 정렬 가능한 순열의 개념을 각 원소가 $r$번 나타나는 $r$-순열로 어떻게 일반화할 수 있는가?
• RQ2 내림차순 수를 세는 두 스택 정렬 가능한 $k$-튜플 $r$-순열의 생성함수를 지배하는 함수방정식은 무엇인가?
• RQ3 $r$-순열의 구조는 두 스택 정렬 가능성에 대한 패턴 회피 조건에 어떻게 영향을 미치는가?
• RQ4 $r$-순열에 대한 함수방정식이 명시적으로 해석될 수 있는가? 이를 통해 이러한 순열의 수를 나타내는 닫힌 표현식을 얻을 수 있는가?
• RQ5 기본 대칭함수를 완전 동차 대칭함수로 대체할 경우 함수방정식의 해 구조에 어떤 영향을 미치는가?

주요 결과

• 두 스택 정렬 가능한 $r$-순열의 수는 $\frac{1}{n^2} \prod_{i=0}^{r} \frac{n}{n + k_i} \binom{2n + 2k_i}{k_i}$로 주어지며, 여기서 $n = 1 + \sum k_i$이다.
• 다변수 라그랑주 역함수를 통해 명시적 생성함수 해를 도출하였으며, 이러한 순열의 수를 나타내는 닫힌 표현식을 얻었다.
• 완전 동차 대칭함수를 사용한 수정된 함수방정식은 $H(y)$를 포함하는 새로운 해 구조를 이끌어내며, $G = \frac{c(t)H(y)}{H(y,c(t))}$ 및 $F = \frac{H(y)}{t}\left(H(y) - \frac{H(y,c(t))}{c(t)}\right)$로 표현된다.
• 해는 대칭성을 드러내며, $A(-n; k_0, \dots, k_r) = (-1)^{n-1} B(n; k_0, \dots, k_r)$로 표현되는 이중성 관계를 보인다. 이는 음수와 양수 인덱스 사례를 연결한다.
• 함수방정식 프레임워크는 $t$-스택 정렬 가능한 $\mu$-튜플 순열로 일반화되며, $t \geq 3$인 경우의 해법은 아직 도전 과제로 남아 있다.
• 금지된 패턴을 통한 특성 기술을 통해 두 스택 정렬 가능한 순열의 특성이 $r$-순열로 확장되었으며, 2341 또는 3241 유형의 부분수열이 35241의 일부가 아닌 경우는 허용되지 않는다.