[논문 리뷰] Bijective counting of tree-rooted maps and shuffles of parenthesis systems

Olivier Bernardi|arXiv (Cornell University)|2006. 01. 27.

Stochastic processes and statistical mechanics참고 문헌 5인용 수 79

한 줄 요약

이 논문은 크기 $n$인 트리 루트 매핑과 이진 트리 및 비교교차 분할의 쌍 사이의 직접적이고 비재귀적인 전단사 사상(비둘기집 원리)을 제시하며, $C_n C_{n+1}$로 알려진 오랫동안 알려진 수열 공식을 설명한다. 여기서 $C_n$은 $n$번째 카탈란 수이다. 이 전단사 사상은 코리, 두루크, 빈노의 괄호 시스템에 대한 재귀적 셔플 구성과 동형임을 보이며, 이는 그들의 대수적 결과를 평면 매핑과 격자 보행의 관점에서 자연스럽고 기하학적인 해석을 제공한다.

ABSTRACT

The number of tree-rooted maps, that is, rooted planar maps with a distinguished spanning tree, of size $n$ is C(n)C(n+1) where C(n)=binomial(2n,n)/(n+1) is the nth Catalan number. We present a (long awaited) simple bijection which explains this result. We prove that our bijection is isomorphic to a former recursive construction on shuffles of parenthesis systems due to Cori, Dulucq and Viennot.

연구 동기 및 목표

• 크기 $n$인 트리 루트 매핑과 크기 $n$인 트리 및 크기 $n+1$인 비교교차 분할의 쌍 사이의 직접적이고 비재귀적인 전단사 사상을 제공함으로써, 공식 $C_n C_{n+1}$에 대한 기하학적 설명을 제시한다.
• 멀린이 오랫동안 요청해온 트리 루트 매핑의 수량 계산에 대한 전단사적 설명을 해결한다.
• 코리, 두르크, 빈노의 괄호 시스템에 대한 재귀적 셔플 구성과 새로운 전단사 사상 간의 동형성을 확립한다.
• 트리 루트 매핑, 괄호 시스템의 셔플, 제4사분면 격자 보행 간의 관계를 명확히 한다.

제안 방법

• 스패닝 트리의 투어 기반 인코딩을 사용하여 크기 $n$인 트리 루트 매핑과 크기 $n$인 트리 및 크기 $n+1$인 비교교차 분할의 쌍 사이의 전단사 사상을 정의한다.
• 활성/비활성 정점과 간선 삽입을 통해 괄호 시스템의 접두사 셔플에서 분할-트리로의 재귀적 사상을 구성한다.
• 이중 트리 인코딩 $\lambda_1$을 사용하여 셔플을 이진 트리로 매핑한 후, 변환 $\theta$를 적용하여 최종 트리 구조를 얻는다.
• 접두사 셔플에 대한 귀납법을 통해 결과 분할-트리가 $\theta \circ \lambda_1$ 트리와 일치함을 증명하며, 활성/비활성 정점의 대응 관계를 유지한다.
• 분할-트리의 정점 순서와 부모-자식 관계가 $\theta \circ \lambda_1$ 트리와 일치함을 보여 이중 사상의 동형성을 확립한다.
• 괄호 셔플과 제4사분면 보행 간의 대응 관계를 활용하여 결과를 이러한 보행의 수를 세는 메커니즘으로 해석한다.

실험 결과

연구 질문

• RQ1 크기 $n$인 트리와 크기 $n+1$인 트리의 쌍 사이에 직접적이고 비재귀적인 전단사 사상을 트리 루트 매핑에 대해 구성할 수 있는가?
• RQ2 코리, 두르크, 빈노의 알려진 재귀적 셔플 구성이 기하학적, 매핑 기반 전단사 사상과 동형인가?
• RQ3 트리 루트 매핑의 수량 공식 $C_n C_{n+1}$는 평면 매핑과 비교교차 구조를 통해 어떻게 자연스럽게 설명될 수 있는가?
• RQ4 재귀적 셔플 구성과 트리 루트 매핑의 기하학적 구조 간의 정확한 대응 관계는 무엇인가?

주요 결과

• 크기 $n$인 트리 루트 매핑과 크기 $n$인 트리 및 크기 $n+1$인 비교교차 분할의 쌍 사이의 직접적이고 비재귀적인 전단사 사상이 구성되었으며, 이는 공식 $C_n C_{n+1}$를 설명한다.
• 이 전단사 사상은 트리 루트 매핑을 두 괄호 시스템의 셔플로 인코딩함으로써, 코리, 두르크, 빈노의 재귀적 셔플 구성과 동형임을 증명하였다.
• 이 구성은 전단사 과정 동안 정점의 활성성, 순서, 부모-자식 관계를 유지하여 재귀적 트리 성장 과정과 일관성을 확보한다.
• 이 방법은 셔플 구성에 대한 기하학적 해석을 제공하여, 평면 매핑의 맥락에서 조합 결과를 더 직관적이고 자연스럽게 만든다.
• 트리 루트 매핑과 제4사분면 보행 간의 대응 관계가 명확히 확립되었으며, 이 전단사 사상은 이러한 보행의 수를 세는 새로운 방법을 제공한다.
• 증명은 접두사 셔플에 대한 귀납적 구성에 기반하며, 각 단계에서 분할-트리의 구조가 $\theta \circ \lambda_1$ 트리와 일치함을 보였다.