[논문 리뷰] An involution on bicubic maps and β(0,1)-trees

Anders Claesson, Sergey Kitaev외 1명|arXiv (Cornell University)|2012. 10. 11.

Graph theory and applications참고 문헌 7인용 수 3

한 줄 요약

이 논문은 이중삼각형 지도와 비둘기눈이 맞는 조합 구조인 β(0,1)-트리에 대한 치환을 도입하며, 이는 이중삼각형 지도에서 f1r3와 f3r2 통계량의 공동 등분포를 증명한다. 이 치환은 β(0,1)-트리에서 루트와 rmod 통계량을 교환하며, 이중 생성함수의 대칭성을 확립한다. 핵심 결과는 (f1r3, f3r2)의 공동 분포가 두 통계량을 서로 바꾸어도 불변한다는 점으로, 이는 이전의 등분포 결과를 더 강력한 대칭성으로 확장한다.

ABSTRACT

Bicubic maps are in bijection with β(0,1)-trees. We introduce two new ways of decomposing β(0,1)-trees. Using this we define an endofunction on β(0,1)-trees, and thus also on bicubic maps. We show that this endofunction is in fact an involution. As a consequence we are able to prove some surprising results regarding the joint equidistribution of certain pairs of statistics on trees and maps. Finally, we conjecture the number of fixed points of the involution.

연구 동기 및 목표

• 개별 등분포를 넘어서 이중삼각형 지도에서 통계량에 대한 더 강력한 등분포 결과를 확립하기 위해.
• 루트 레이블과 핵심 통계량을 교환하면서도 트리 구조를 유지하는 β(0,1)-트리에 대한 새로운 치환을 정의하기 위해.
• 이중삼각형 지도에서 (f1r3, f3r2)의 공동 분포가 두 통계량을 바꾸어도 대칭적임을 증명하기 위해.
• 이 치환의 고정점 수를 추측하며, 이를 카탈란 수와 β(0,1)-트리의 특수 노드와 연결하기 위해.
• 이전의 β(1,0)-트리와 비분리 지도 연구를 β(0,1)-트리와 이중삼각형 지도 설정으로 확장하기 위해.

제안 방법

• 루트가 자식의 레이블 합보다 1만큼 큰 루트 레이블을 가지며, 내부 노드의 레이블이 자식의 레이블 합보다 최대 1만큼 큰 정수 레이블을 가진 루트가 있는 평면 트리로서 β(0,1)-트리를 정의한다: 잎은 0이며, 루트 레이블은 자식의 레이블 합보다 1만큼 크다.
• β(0,1)-트리의 두 가지 새로운 분해를 도입한다: 루트 레이블을 기준으로 하고, 루트의 자식 수를 기준으로 하는 (sub(T)).
• 루트 레이블과 자식 레이블 합의 1로 나눈 나머지(rmod) 통계량을 교환하는 β(0,1)-트리 위의 내함수 g를 정의하고, 이것이 치환임을 증명한다.
• 기존의 β(0,1)-트리와 이중삼각형 지도 사이의 이중사상에 의해 이 치환을 지도 설정으로 옮기며, 이중 생성함수의 대칭성을 증명한다.
• 두 가지 증명을 제시한다: 하나는 생성함수를 통한 증명이고, 다른 하나는 치환 g를 사용하여 공동 등분포를 보여주는 조합적 증명이다.
• 이 치환의 고정점 수가 2^{n-1} × C_{floor(n/2)}임을 추측하며, 이는 floor(n/2)+1개의 노드를 가진 특수 초과 노드를 가진 β(0,1)-트리와의 이중사상과 동치임을 제안한다.

실험 결과

연구 질문

• RQ1 이중삼각형 지도에서 통계량 f1r3와 f3r2의 공동 분포가 두 통계량을 바꾸었을 때 대칭적인가?
• RQ2 루트 레이블과 rmod 통계량을 교환하면서도 트리 구조를 유지하는 β(0,1)-트리에 대한 치환을 구성할 수 있는가?
• RQ3 이 치환의 고정점 수는 얼마이며, 이를 닫힌 형태로 표현할 수 있는가?
• RQ4 이 공동 분포의 대칭성은 β(0,1)-트리에서 다른 통계량 쌍으로도 확장되는가?
• RQ5 이 치환의 고정점과 특수 초과 노드를 가진 β(0,1)-트리 사이에 이중사상이 존재하는가?

주요 결과

• β(0,1)-트리 위의 치환 g는 치환임이 증명되었으며, 모든 트리 T에 대해 g(g(T)) = T를 만족한다.
• 치환 g는 루트 레이블과 rmod 통계량을 교환하며, root(g(T)) = rmod(T) 및 rmod(g(T)) = root(T)를 만족한다.
• 그 결과, β(0,1)-트리에서 (루트, rmod)의 공동 분포는 대칭적이다: n개의 노드를 가진 모든 트리에 대해 ∑ x^{root(T)} y^{rmod(T)} = ∑ x^{rmod(T)} y^{root(T)}이다.
• 이 대칭성은 이중삼각형 지도에서 (f1r3, f3r2)와 (f3r2, f1r3)의 공동 등분포를 의미하며, 이는 정리 2를 증명한다.
• 치환 g의 고정점 수는 2^{n-1} C_{floor(n/2)}로 추측되며, 여기서 C_k는 k번째 카탈란 수이다.
• 이 추측은 n ≤ 12까지의 계산으로 지지되며, 고정점과 floor(n/2)+1개의 노드를 가진 특수 초과 노드를 가진 β(0,1)-트리 사이의 이중사상과 동치이다.