[논문 리뷰] Combinatorics of the permutation tableaux of type B

Sylvie Corteel, Matthieu Josuat-Vergès외 1명|arXiv (Cornell University)|2012. 03. 01.

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

한 줄 요약

이 논문은 순열 표기법의 유형 B를 통해 유형 B 오일러 수의 q-해석을 도입하고 연구한다. 이는 행렬 해법, 레이블이 붙은 모츠킨 경로, 연분수와 같은 유형 A의 도구들을 일반화한다. 부호 있는 순열에 대해 대칭적인 q-오일러 다항식을 수립하며, 나라야나 수, 교차, 정렬, 플래그 통계와의 연결 고리를 제공함으로써, 유형 B 통계와 그 생성 함수에 대한 종합적인 조합적 프레임워크를 제공한다.

ABSTRACT

Permutation tableaux are combinatorial objects related with permutations and various statistics on them. They appeared in connection with total positivity in Grassmannians, and stationary probabilities in a PASEP model. In particular they gave rise to an interesting q-analog of Eulerian numbers. The purpose of this article is to study some combinatorial properties of type B permutation tableaux, defined by Lam and Williams, and links with signed permutation statistics. We show that many of the tools used for permutation tableaux generalize in this case, including: the Matrix Ansatz (a method originally related with the PASEP), bijections with labeled paths and links with continued fractions, bijections with signed permutations. In particular we obtain a q-analog of the type B Eulerian numbers, having a lot in common with the previously known q-Eulerian numbers: for example they have a nice symmetry property, they have the type B Narayana numbers as constant terms. The signed permutation statistics arising here are of several kinds. Firstly, there are several variants of descents and excedances, and more precisely of flag descents and flag excedances. Other statistics are the crossings and alignments, which generalize a previous definition on (unsigned) permutations. There are also some pattern-like statistics arising from variants of the bijection of Fran\ccon and Viennot.

연구 동기 및 목표

• 유형 A의 순열 표기법의 조합적 프레임워크를 유형 B로 확장하여, 부호 있는 순열과 새로운 통계를 통합한다.
• 행렬 해법과 레이블이 붙은 모츠킨 경로를 사용하여 유형 B 오일러 수의 q-해석을 정의하고 연구한다.
• 유형 B 설정에서 대칭성 성질과 나라야나 수, 연분수와의 연결 고리를 수립한다.
• 플래그 내림과 플래그 초과 통계를 부호 있는 순열로 일반화하고, 이를 표기 통계와 연결한다.
• 삽입, 중첩, 생성 함수에 대한 조합적 증명과 관련된 열린 문제를 탐색한다.

제안 방법

• 행렬 해법을 유형 B 순열 표기법으로 확장하여 생성 함수와 재귀 관계를 유도한다.
• 레이블이 붙은 모츠킨 경로를 표기법을 인코딩하는 데 사용하며, 표기법 매개변수에 기반한 상승, 하강, 수평 단계에 가중치를 할당한다.
• 가중치가 부여된 단계를 가진 레이블이 붙은 모츠킨 경로의 재귀 관계를 이용하여 B_n(y,t,q)의 생성 함수에 대한 연분수 전개를 유도한다.
• 교차와 정렬을 부호 있는 순열에서 조합적으로 정의하고, 2cr(π) + al(π) = n² - 2n + fwex(π)라는 핵심 항등식을 만족함을 보인다.
• B_n(y,1,0)의 생성 함수를 명시적으로 계산하여, 이가 이중 이항계수의 제곱의 합과 같음을 보이며, 이는 유형 B 나라야나 수와 연결됨을 보여준다.
• 부호 있는 순열의 피그노즈 다이어그램을 통해 q-오일러 다항식의 대칭성을 증명하며, 이는 유형 A의 대칭성을 일반화한다.

실험 결과

연구 질문

• RQ1 행렬 해법은 어떻게 유형 B 순열 표기법의 생성 함수를 구성하는 데 적응될 수 있는가?
• RQ2 유형 B 오일러 수의 q-해석은 부호 있는 순열과 그 통계에 대해 어떻게 조합적으로 해석될 수 있는가?
• RQ3 유형 B의 q-오일러 다항식의 대칭성 성질은 표기법의 구조에서 직접적으로 증명될 수 있는가?
• RQ4 부호 있는 순열에서 교차, 정렬, 플래그 초과 간의 관계는 무엇인가?
• RQ5 결과는 중첩 통계를 포함하거나 B_n(y,t,q)의 t와 같은 다른 매개변수로 일반화될 수 있는가?

주요 결과

• 유형 B 순열 표기법에 대한 q-오일러 다항식 B_n(y,t,q)는 대칭적이다: B_n,k*(t,q) = B_n,2n+1−k*(t,q), 이는 유형 A의 대칭성을 일반화한다.
• q=0일 때, 생성 함수 B_n(y,1,0)은 ∑_{i=1}^{2n} y^i * binom(n, floor(i/2)) * binom(n-1, ceil(i/2)−1)로 평가되며, 계수는 binom(n,k)^2인 유형 B 나라야나 수이다.
• 부호 있는 순열 π에 대해 항등식 2cr(π) + al(π) = n² − 2n + fwex(π)가 성립하며, 이는 유형 A에서 알려진 항등식을 일반화한다.
• B_n(y,t,q)의 생성 함수는 레이블이 붙은 모츠킨 경로의 재귀 관계를 기반으로 유도된 연분수 전개를 가진다.
• 계수 B_n,k(t,q) = [y^k]B_n(y,t,q)는 1 ≤ k ≤ 2n 또는 k=0일 때에만 비영이 되며, t=0일 때 q-오일러 수 E_n,k(q)로 줄어든다.
• 유형 B 순열 표기법과 부호 있는 순열 사이의 전단사가 확립되었으며, 행 수, 대각선 1의 수, 여유분 1의 수와 같은 통계가 플래그 초과와 교차로 매핑된다.