[논문 리뷰] Major Index Over Descent for Pattern-avoiding Permutations

William J. Keith|arXiv (Cornell University)|2017. 07. 05.

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

한 줄 요약

이 논문은 고정된 내림차순 수를 가진 321-피避 순열에서 주요 지수의 분포를 위한 공식을 제공하며, 두 개의 내림차순에 대해 단조성(unimodality)을 증명한다. 이는 두 행으로 된 분할에 대한 Frame-Robinson-Thrall 훅 길이 공식의 $q$-해석을 세밀하게 다루고, 표준 Young 표에의 연결을 설정하여 321-피避 순열에서 주요 지수 분포의 장기적 추측을 증명하는 데로 이르는 길을 제시한다.

ABSTRACT

An open conjecture in pattern avoidance theory is that the distribution of the major index among 321-avoiding permutations is distributed unimodally. We construct a formula for this distribution, and in the case of 2 descents prove unimodality, with unimodality for 3 through 5 descents likely being little more complicated. The formula refines the $q$-analogue of the Frame-Robinson-Thrall hooklength formula for two-rowed partitions, and in the latter part of the paper we discuss another theorem of the same type, and further exploration toward this question. We also give observations on the analogous behaviors for other permutation patterns of length 3.

연구 동기 및 목표

• 고정된 내림차순 수를 가진 321-피避 순열에서 주요 지수 분포가 단조임을 증명하는 열린 추측을 해결하기 위해.
• 형태 $(n-k,k)$의 표준 Young 표에 대해 내림차순 수가 $i$인 주요 지수의 생성함수에 대한 닫힌 형식 공식을 유도하기 위해.
• 조합적 및 대수적 기법을 사용하여 두 내림차순의 경우에 대해 단조성을 확립하기 위해.
• 패턴 피避 순열, 표준 Young 표, $q$-해석 훅 길이 공식 간의 연결 고리를 탐색하기 위해.
• 더 높은 내림차순 수로의 단조성 증명 일반화를 위한 기초를 마련하기 위해.

제안 방법

• 형태 $(n-k,k)$와 내림차순 수가 $i$인 표준 Young 표에서 주요 지수의 생성함수인 $f_{(n-k,k),i}(q)$에 대한 닫힌 형식 공식을 유도한다.
• Frame-Robinson-Thrall 훅 길이 공식을 기초로 삼고, $q$-이항계수와 $q$-정수를 통해 이를 세밀하게 다룬다.
• 재귀 관계와 다양한 형태의 표 사이의 이분법을 적용하여 기본 사례를 증명하며, 특히 $i=2$의 경우에 중점을 둔다.
• 재귀 대입에서 발생하는 복잡한 $q$-이항항 등식을 확인하기 위해 기호 계산을 활용한다.
• 내림차순 수가 2인 형태 $(m,k,1)$의 표와 내림차순 수가 2인 형태 $(m+1,k+1)$의 표 사이의 이분법을 설정하여 주요 지수를 1 증가시킨다.
• Robinson-Schensted 대응과 $q$-대칭 및 단조 다항식에 대한 알려진 결과를 활용하여 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 모든 $k$에 대해 $k$개의 내림차순을 가진 321-피避 순열에서 주요 지수 분포가 단조인지 여쭙기 위해?
• RQ2 형태 $(n-k,k)$와 내림차순 수가 $i$인 표준 Young 표에서 주요 지수의 생성함수에 대한 닫힌 형식 공식을 도출할 수 있는가?
• RQ3 $f_{(n-k,k),i}(q)$ 다항식이 모든 $n,k,i$에 대해 대칭성과 단조성을 보일까?
• RQ4 패턴 피避 순열과 Stanley의 훅 길이 공식 간의 구조적 연결 고리는 무엇인가?
• RQ5 두 행 및 세 행 형태에 대해 사용된 재귀 방법을 임의의 분할으로 일반화할 수 있는가?

주요 결과

• 논문은 다음 닫힌 형식 공식을 도출한다: $f_{(n-k,k),i}(q)=\frac{q^{k+i^{2}-i}(1-q^{n-2k+1})}{1-q^{i}}\left[{{k-1}\atop{i-1}}\right]_{q}\left[{{n-k}\atop{i-1}}\right]_{q}$, 이는 형태 $(n-k,k)$와 내림차순 수가 $i$인 표준 Young 표에서 주요 지수의 생성함수를 제공한다.
• 특히 $i=2$의 경우, 다항식 $f_{(n-k,k),2}(q)$는 중심 항이 $n$에 위치한 대칭성과 단조성을 가지며, 이는 $A_{n,2}(q)$가 단조임을 의미한다.
• $i=1$의 경우 직접적인 조합적 증명으로 단조임을 입증할 수 있다: $A_{n,1}(q) = (1+q)^n - \sum_{j=0}^{n} q^j$.
• 경험적 검증 결과, $n \leq 30$ 범위에서 $f_{(n-k,k),i}(q)$가 대칭성과 단조성을 보이며, 이는 전체 추측이 성립할 가능성이 있음을 시사한다.
• 세 행 형태 $(m,k,1)$에 대한 공식은 $f_{(m,k,1),i}(q)=q^{k+i^{2}-2i+2}\frac{(1-q^{m-k+1})(1-q^{i-1})}{(1-q^{i})(1-q)}\left[{k\atop{i-1}}\right]_{q}\left[{{m+1}\atop{i-1}}\right]_{q}$로 유도되었으며, 재귀와 이분법을 통해 검증되었다.
• 재귀 방법은 작은 $i$와 특정 형태에 한해 제한되어 있어, 두 행 및 세 행의 경우를 초월해 일반화하기 위해서는 더 깊은 대칭 함수 이론이 필요하다는 점을 시사한다.