[논문 리뷰] Classification of bijections between 321- and 132-avoiding permutations

Anders Claesson, Sergey Kitaev|ArXiv.org|2008. 05. 09.

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

한 줄 요약

이 논문은 321-과 132-회피 순열 간에 알려진 모든 이분사 사상들을 체계적으로 분류하며, 이를 통해 근본적인 대칭성과 각 사상이 유지하는 통계량들 간의 관계를 밝힌다. 이는 Knuth-Richards 사상이 기존에 알려진 바 중에서 가장 많은 11개의 순열 통계량을 유지한다는 것을 입증하며, 이 사상의 재귀적 구성법을 제시한다.

ABSTRACT

It is well-known, and was first established by Knuth in 1969, that the number of 321-avoiding permutations is equal to that of 132-avoiding permutations. In the literature one can find many subsequent bijective proofs of this fact. It turns out that some of the published bijections can easily be obtained from others. In this paper we describe all bijections we were able to find in the literature and show how they are related to each other via ``trivial'' bijections. We classify the bijections according to statistics preserved (from a fixed, but large, set of statistics), obtaining substantial extensions of known results. Thus, we give a comprehensive survey and a systematic analysis of these bijections. We also give a recursive description of the algorithmic bijection given by Richards in 1988 (combined with a bijection by Knuth from 1969). This bijection is equivalent to the celebrated bijection of Simion and Schmidt (1985), as well as to the bijection given by Krattenthaler in 2001, and it respects 11 statistics--the largest number of statistics any of the bijections respects.

연구 동기 및 목표

• 321-과 132-회피 순열 간에 출판된 모든 사상들을 시스템적으로 분류하고, 그 상호관계를 규명하는 것.
• 각 사상이 유지하는 순열 통계량을 특정하며, 기본 통계량들에 대칭성(역순, 보완, 역함수)을 적용해 유도된 총 190개의 통계량을 포함한 포괄적인 집합을 활용하는 것.
• Knuth-Richards 사상이 321-과 132-회피 순열 간의 사상 중에서 알려진 바 중 가장 많은 11개의 통계량을 유지한다는 것을 입증하여, 기존의 사상들 중에서 가장 구조를 잘 유지하는 사상임을 보여주는 것.
• Knuth-Richards 사상의 재귀적 기술을 제공하며, Knuth와 Richards의 이전 구성과의 연관성을 밝히는 것.
• 사상이 선형 독립적인 통계량을 유지함을 보여주어, 유지되는 성질들 간의 최대한의 비중복성을 확보하는 것.

제안 방법

• 기본 23개의 순열 통계량(예: asc, des, exc, lmax, peak)을 정의하고, 역순, 보완, 역함수 및 그 조합을 적용하여 총 190개의 대표 통계량을 생성하는 것.
• 길이 7 이하에서의 경험적 등가성 검증을 통해 동일한 통계량을 통합하여 분석에 사용할 수 있는 최종 190개의 서로 다른 통계량 집합을 확보하는 것.
• 최대 원소(n+1)의 재귀적 삽입을 통해 사상 모델링을 수행하며, lir, rir, slmax 및 구성요소 등의 통계량 변화를 추적하는 것.
• 기본 대칭성(역순, 보완, 역함수)을 통한 사상 등가성 규명: 예를 들어 Knuth-Richards 사상이 역순, 보완 또는 역함수와의 조합을 통해 Simion-Schmidt 및 Krattenthaler 사상과 등가임을 보여주는 것.
• Dyck 경로 표현과 표준표 대응(Robinson-Schensted 삽입을 통해)을 활용하여 통계량 유지 여부를 해석하고 검증하며, 특히 lir, lmax 및 rmin에 초점을 맞추는 것.
• 순열 길이에 대한 귀납법을 통해 통계량의 등가성을 증명하며, 재귀적 삽입 과정에서 활성 위치와 구성요소의 구조 변화를 추적하는 것.

실험 결과

연구 질문

• RQ1 321-과 132-회피 순열 간의 사상 중에서 가장 많은 순열 통계량을 유지하는 것은 무엇인가?
• RQ2 기존에 알려진 사상들이 역순, 보완, 역함수 등의 기본 대칭성과 그 조합을 통해 어떻게 관련되어 있는가?
• RQ3 Knuth-Richards 사상은 재귀적으로 기술될 수 있는가? 그리고 Simion-Schmidt나 Krattenthaler 등의 잘 알려진 사상들과의 관계는 어떠한가?
• RQ4 321-과 132-회피 순열 간의 단일 사상이 유지할 수 있는 최대의 선형 독립 통계량 집합은 무엇인가?
• RQ5 lir, rir, slmax 및 구성요소 등의 통계량은 사상 구성 과정에서 최대 원소의 재귀적 삽입에 의해 어떻게 변화하는가?

주요 결과

• Knuth-Richards 사상은 321-과 132-회피 순열 간의 사상 중에서 알려진 바 중 가장 많은 11개의 순열 통계량을 유지한다.
• 이 사상은 역순, 보완, 역함수와의 조합을 통해 Simion-Schmidt 및 Krattenthaler 사상과 등가임을 입증한다.
• 다음 11개의 통계량을 유지한다: asc, des, exc, ldr, rdr, lir, rir, zeil, comp, lmax, rmax, 그리고 n-stat 및 m-stat을 통한 대칭 변형.
• Knuth-Richards 사상의 재귀적 구성법이 엄밀히 기술되었으며, n+1의 삽입이 slmax 및 구성요소 등의 통계량을 어떻게 유지하고 변형하는지 보여준다.
• lir ≃ lmax 및 lir.i ≃ rmin 관계는 Dyck 경로 해석을 통해 유지되며, 표준표의 구조와 경로의 기울기 및 복귀 위치 간의 연결 고리를 제공한다.
• 190개의 통계량 집합은 대칭성과 경험적 등가성 검증을 통해 닫혀 있으며, 분석에 중복되거나 불필요한 통계량이 포함되지 않음을 보장한다.