[논문 리뷰] Bijections from Dyck paths to 321-avoiding permutations revisited

David Callan|ArXiv.org|2007. 11. 16.

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

한 줄 요약

이 논문은 Dyck 경로와 321-피回避 순열 사이의 세 가지 알려진 이형사상—B, K, 및 M—을 재검토하며, M = B ◦ L = K ◦ L′임을 보여주는데, 여기서 L은 Kreweras-Lalanne 치환이고 L′은 그 유도된 형태이다. 핵심 결과는 K⁻¹ ◦ B = L′ ◦ L이 차수 2n인 치환임을 보이며, 이는 비자명한 비율의 비자명한 경로 뒤집기 지도의 n제곱근으로 작용함을 기하학적 분석을 통해 증명한다. 이는 교차하지 않는 격자 경로 쌍의 기하학적 성질에 기반한다.

ABSTRACT

There are (at least) three bijections from Dyck paths to 321-avoiding permutations in the literature, due to Billey-Jockusch-Stanley, Krattenthaler, and Mansour-Deng-Du. How different are they? Denoting them B,K,M respectively, we show that M = B \circ L = K \circ L' where L is the classical Kreweras-Lalanne involution on Dyck paths and L', also an involution, is a sort of derivative of L. Thus K^{-1} \circ B, a measure of the difference between B and K, is the product of involutions L' \circ L and turns out to be a very curious bijection: as a permutation on Dyck n-paths it is an nth root of the "reverse path" involution. The proof of this fact boils down to a geometric argument involving pairs of nonintersecting lattice paths.

연구 동기 및 목표

• Dyck 경로에서 321-피回避 순열로의 세 가지 알려진 이형사상(B, K, M) 간의 구조적 관계를 명확히 하기.
• Dyck 경로 상에서 Kreweras-Lalanne 치환 L의 유도형 L′을 정의하고 분석하기.
• K⁻¹ ◦ B = L′ ◦ L의 조합을 Dyck 경로의 치환으로 특성화하고, 그 대수적 및 기하적 성질을 규명하기.
• 비자명한 비율의 비자명한 경로 뒤집기 지도의 n제곱근으로서 L′ ◦ L이 작용함을 증명하기 위해 비자명한 비율의 비자명한 경로 쌍에 대한 기하학적 추론을 사용하기.

제안 방법

• 각 경로의 상승-하강 구성요소에 대해 F를 적용함으로써 크기가 유지되는 Dyck 경로 위의 이형사상 F의 유도형 F′을 정의한다.
• 상승-하강 코드와 LRMax 코드를 사용하여 Dyck 경로와 321-피回避 순열을 각각 표현하며, 이들이 공유하는 조합적 구조를 보여준다.
• Dyck 경로를 교차하지 않는 격자 경로 쌍으로 표현하고, 상부 및 하부 경로에 대한 단계 뒤집기 연산을 통해 L과 L′을 이 설정에서 정의한다.
• 코너 전환 단계와 최소 대각선을 식별함으로써 경로 쌍에 L′ ◦ L을 적용하고, 반복 과정에서 단계의 진화를 추적한다.
• 기울기가 1인 선분(정점 사이의 선분)인 최소 대각선을 기반으로 한 기하학적 추론을 통해, 단계가 코너 전환 사건 이후에 어떻게 평탄화되는지 분석한다.
• 각 단계가 코너를 전환하고 평탄화되는 순서가 제어된 방식으로 이루어지며, 초기 평탄한 단계의 인접성에 의해 연산 순서가 결정됨을 보여줌으로써 (L′ ◦ L)^n 이 경로를 뒤집음을 증명한다.

실험 결과

연구 질문

• RQ1 Dyck 경로에서 321-피回避 순열로의 세 가지 알려진 이형사상 B, K, M 간의 상호관계는 무엇인가?
• RQ2 조합 K⁻¹ ◦ B의 대수적 구조는 무엇이며, Dyck 경로 집합에 대해 어떻게 작용하는가?
• RQ3 L이 Kreweras-Lalanne 치환이고 L′이 그 유도형일 때, 왜 L′ ◦ L은 차수 2n인 치환인가?
• RQ4 비자명한 비율의 비자명한 경로 쌍에 대해 어떤 기하적 성질이 (L′ ◦ L)^n 이 경로 뒤집기로 작용하게 하는가?

주요 결과

• Dyck 경로에서 321-피回避 순열로의 이형사상 M은 L이 Kreweras-Lalanne 치환이고 L′이 그 유도형일 때, B ◦ L과 K ◦ L′과 동일하다.
• 조합 K⁻¹ ◦ B는 L′ ◦ L과 동일하며, 이는 Dyck n-경로 위에서 차수 2n인 치환으로 작용한다.
• 변환 L′ ◦ L은 경로 뒤집기 치환의 n제곱근이며, 즉 (L′ ◦ L)^n 이 경로를 뒤집는다.
• L′ ◦ L의 차수 2n는 기하학적 메커니즘에 기인한다: 각 단계는 코너를 전환한 후, 원래 경로 쌍에서 바로 이전에 평탄한 단계가 있으면서 평탄화된다.
• 증명는 최소 대각선—정점 사이의 기울기가 1인 선분—의 진화를 추적함에 기반하며, 이들의 진화가 단계의 평탄화 순서를 결정한다.
• 분석 결과, 크기 n+1인 경로 쌍의 모든 최소 대각선은 L′ ◦ L를 최대 n−1번 적용한 후 파괴되며, 이는 n단계 후 경로 뒤집기가 보장됨을 뜻한다.