[논문 리뷰] Two Bijections for Dyck Path Parameters

David Callan|ArXiv.org|2004. 06. 19.

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

한 줄 요약

이 논문은 UDU 부분문자열과 DDU 부분문자열의 수를 유지하는 두 가지 새로운 이항사상(비유사)을 제시한다. 첫 번째 이항사상은 UUU를 포함하지 않는 다이크 경로를 모츠킨 경로로 매핑하여, 이들의 수가 모두 모츠킨 수 $ M_n $과 같음을 증명한다. 두 번째 이항사상은 이중색 모츠킨 경로를 사용하여, 다이크 경로에서 UDU와 DDU 발생의 정확한 분포 공식을 수립한다. 이는 단계 변환과 일치 규칙을 통해 카탈란 수와 모츠킨 수와의 조합적 연결을 제공한다.

ABSTRACT

Here we give two bijections, one to show that the number of UUU-free Dyck n-paths is the Motzkin number M_n, the other to obtain the (known) distributions of the parameters "number of UDUs" and "number of DDUs" on Dyck n-paths. The first bijection is straightforward, the second not quite so obvious.

연구 동기 및 목표

• UUU를 포함하지 않는 다이크 경로와 모츠킨 경로 사이의 이항사상 관계를 확립하여, 이들의 수가 모츠킨 수 $ M_n $과 같음을 보이다.
• 이중색 모츠킨 경로 구성법을 통해 다이크 경로에서 UDU 부분문자열의 수에 대한 정확한 분포 공식을 유도하다.
• 단계 교체와 내림막대 추적을 포함한 정교한 이항사상으로 다이크 경로에서 DDU 부분문자열의 수에 대한 정확한 분포 공식을 도출하다.
• 짧은 비종단 내림막대가 없는 다이크 경로를, 지면 수준의 평평한 단계가 없는 모츠킨 경로와 관련지어 특성화하다.
• 특정 경로 매개변수를 유지하면서 다이크 경로와 모츠킨 경로 사이의 가역적이고 명시적인 변환을 제공하다.

제안 방법

• UUU를 포함하지 않는 다이크 경로에서 각 UUD를 단일 U로 변환하고, 나머지 UD는 평평한 단계 F로 변환하여 모츠킨 경로를 생성한다; 역과정을 통해 원래의 다이크 경로를 복원한다.
• 평평한 단계에 녹색과 검정색 두 가지 색상을 부여하여 이중색 모츠킨 경로를 구성함으로써, 서로 다른 단계 유형을 통해 매개변수를 추적할 수 있도록 한다.
• 단계별 변환을 적용한다: U 단계는 그대로 유지하고, D는 UDD로 대체하며, 녹색 F는 UD로, 검정색 F는 U 다음에 해당 내림막대 이전에 D를 삽입함으로써 처리한다.
• 모츠킨 경로 끝에 D를 추가하여 모든 평평한 단계가 정의된 내림막대를 갖도록 하고, 변환 후에 이를 제거하여 다이크 경로의 구조를 유지한다.
• 역변환을 위해 일치 규칙을 사용한다: 녹색 F는 UD 쌍 다음에 U가 오는 경우에 대응하고, 검정색 F는 내림막대 길이 ≥3인 구간 내에 매칭되는 D를 갖는 U 단계에 대응하며, 원래의 U 단계는 매칭되는 D가 다음에 U가 오는 경우에 대응한다.
• 녹색 F 단계 수나 D 단계 수에 따라 이중색 모츠킨 경로의 수가 알려져 있음을 활용하여, 다이크 경로에서 UDU와 DDU의 분포 공식을 도출한다.

실험 결과

연구 질문

• RQ1 UUU를 포함하지 않는 다이크 $ n $-경로의 정확한 수는 얼마이며, 이를 어떻게 모츠킨 경로와 이항사상으로 연결할 수 있는가?
• RQ2 모든 다이크 $ n $-경로에서 UDU 부분문자열의 수의 분포는 어떻게 되며, 이를 어떻게 조합적으로 도출할 수 있는가?
• RQ3 모든 다이크 $ n $-경로에서 DDU 부분문자열의 수의 분포는 어떻게 되며, 이를 알려진 조합 수열과 어떻게 관련지을 수 있는가?
• RQ4 이중색 모츠킨 경로에서 녹색 평평한 단계의 수를 다이크 경로에서 UDU 부분문자열의 수로 매핑하는 이항사상은 어떻게 구성할 수 있는가?
• RQ5 다이크 경로의 구조적 특성(예: 종단 내림막대, 짧은 내림막대)은 모츠킨 경로의 특성(예: 지면 수준의 평평한 단계)과 어떻게 대응하는가?

주요 결과

• UUU를 포함하지 않는 다이크 $ n $-경로의 수는 정확히 $ M_n $이며, 이는 UUD를 U로, UD를 F로 변환하는 가역적 변환을 통해 모츠킨 수와 같음을 보여준다.
• 정확히 $ k $개의 UDU 부분문자열을 갖는 다이크 $ n $-경로의 수는 $ inom{n-1}{k} M_{n-1-k $로 알려진 도나기 분포이다.
• 정확히 $ k $개의 DDU 부분문자열을 갖는 다이크 $ n $-경로의 수는 $ inom{n-1}{2k} 2^{n-1-2k} C_k $이며, 터치아드 분포로 알려져 있다.
• 이항사상은 이중색 모츠킨 경로의 녹색 평평한 단계를 다이크 경로의 UDU 부분문자열로 매핑하며, D 단계는 DDU 부분문자열로 매핑하며 경로의 구조를 유지한다.
• 지면 수준에 평평한 단계가 없는 모츠킨 경로는 다이크 경로에서 짧은 비종단 내림막대가 없는 경로와 이항사상으로 대응하며, 마지막 UD 쌍을 제거함으로써 유도된다.
• 주요 이항사상의 역변환은 원래의 경로 유형을 복원한다: 녹색 F 단계는 UD 쌍 다음에 U가 오는 경우로 식별되고, 검정색 F 단계는 내림막대 길이 ≥3인 구간 내에 매칭되는 D를 갖는 U 단계로 식별된다.