[논문 리뷰] On the diagram of 132-avoiding permutations

Astrid Reifegerste|ArXiv.org|2002. 08. 01.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 9

한 줄 요약

이 논문은 순열 다이어그램을 사용하여 132-피避 및 321-피避 순열 간의 새로운 이항사상(bijection)을 제안한다. 132-피避 순열의 다이어그램은 분할 다이어그램과 동치임을 보이며, 핵심 기여는 321-피避 순열의 초월점(excedances)과 그 132-피避 이미지의 내림차순(descents) 간의 직접적 대응 관계를 제시하는 것이다. 이는 크라텐탈러(Krattenthaler)와 빌리-조크류슈-스탠리(Billey-Jockusch-Stanley)의 다이크 경로 대응 관계를 일치시킨다. 다이어그램 접근법은 패턴 수세기의 이분형 증명을 제공하며, 다이어그램 상의 랭크 함수를 통해 132-패턴 발생 횟수를 세는 공식도 유도한다.

ABSTRACT

The diagram of a 132-avoiding permutation can easily be characterized: it is simply the diagram of a partition. Based on this fact, we present a new bijection between 132-avoiding and 321-avoiding permutations. We will show that this bijection translates the correspondences between these permutations and Dyck paths given by Krattenthaler and by Billey-Jockusch-Stanley, respectively, to each other. Moreover, the diagram approach yields simple proofs for some enumerative results concerning forbidden patterns in 132-avoiding permutations.

연구 동기 및 목표

• 다이어그램 표현을 사용하여 132-피避 및 321-피避 순열 간의 새로운 조합론적 이항사상을 수립하기.
• 132-피避 순열의 다이어그램이 단일 연결 성분을 포함하며 (1,1)을 포함하고, 이는 분할 다이어그램과 동치임을 보여 구조적 분석을 단순화하기.
• 제안된 이항사상이 크라텐탈러와 빌리-조크류슈-스탠리가 설정한 다이크 경로 대응 관계를 유지함을 보여주기.
• 추가 금지 패턴을 가진 제약 조건이 있는 132-피避 순열에 대한 기존 수세기 결과에 대해 이분형 증명을 제공하기.
• 다이어그램 상의 랭크 함수를 이용해 임의의 순열에서 132-패턴 발생 횟수를 세는 공식 유도하기.

제안 방법

• 순열 π의 다이어그램은 각 (i, πi) 위치에 점을 배치하고, 각 점의 동쪽과 남쪽에 있는 모든 셀을 칠하여 만들며, D(π)는 칠해지지 않은 영역으로 정의된다.
• 기본 집합 E(π)는 D(π)의 연결 성분의 모서리로 구성되며, 모서리 (i,j)의 랭크 ρ((i,j))는 (i,j)로 둘러싸인 북서쪽 직사각형 내부에 포함된 점의 수이다.
• 132-피避 순열 π는 D(π)가 (1,1)을 포함하는 단일 연결 성분임을 특징으로 하며, 이는 분할 다이어그램과 동치이다.
• 이항사상은 321-피避 순열 π의 초월점 위치와 값을, 그 132-피避 이미지 σ의 내림차순 위치와 값으로 이동시켜 π를 σ로 매핑한다.
• 빌리-조크류슈-스탠리의 대응에 따라 π에 대응하는 다이크 경로는, 다이어그램 기반 이항사상에 의해 유도된 σ에 대응하는 크라텐탈러의 다이크 경로와 일치한다.
• 순열 π에서 132-패턴 발생 횟수는 D(π)에 속한 모든 셀 (i,j)에 대해 랭크 함수 ρ((i,j))의 합으로 계산된다.

실험 결과

연구 질문

• RQ1 다이어그램 구조를 사용하여 132-피避 및 321-피避 순열 간의 이항사상을 어떻게 구성할 수 있는가?
• RQ2 321-피避 순열의 초월점과 그 132-피避 이미지의 내림차순 간의 정확한 관계는 무엇인가?
• RQ3 새로운 다이어그램 기반 이항사상 하에서 크라텐탈러와 빌리-조크류슈-스탠리의 다이크 경로 대응 관계는 어떻게 연결되는가?
• RQ4 다이어그램 접근법이 132-피避 순열에 대한 추가 금지 패턴이 있는 기존 수세기 결과에 대해 이분형 증명을 제공할 수 있는가?
• RQ5 다이어그램 셀에 대한 랭크 함수의 합은 132-패턴 발생 횟수에 대해 어떤 정확한 조합론적 해석을 가진다?

주요 결과

• 132-피避 순열의 다이어그램은 (1,1)을 포함하는 단일 연결 성분이며, 이는 분할 다이어그램과 동치이다.
• 제안된 이항사상은 321-피避 순열의 초월점과 그 132-피避 이미지의 내림차순 간에 직접적인 대응을 제공하며, 조합론적 구조를 유지한다.
• 새로운 이항사상 하에서 크라텐탈러의 다이크 경로와 빌리-조크류슈-스탠리의 다이크 경로가 일치하여, 두 기존 구축 방법 간의 직접적 연결을 확립한다.
• 순열 π에서 132-패턴 발생 횟수는 D(π)에 속한 모든 셀 (i,j)에 대해 랭크 함수 ρ((i,j))의 합과 일치하며, 이는 새로운 정확한 공식을 제공한다.
• 다이어그램 접근법은 다음 항등식에 대해 이분형 증명을 제공한다: |S_n(132,12⋯k)| = |S_n(132,s(s+1)⋯k12⋯(s−1))| (모든 n, k ≥ 3 및 2 ≤ s ≤ k에 대해).
• 다이어그램의 크기 |D(π)|는 π의 역전쌍(inversions) 수와 같으며, D(π) 상의 무게 없는 합은 21-패턴의 수를 세는 데 사용된다.