[논문 리뷰] Catalan's intervals and realizers of triangulations

Olivier Bernardi, Nicolas Bonichon|ArXiv.org|2007. 04. 27.

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

한 줄 요약

이 논문은 비교형 Dyck 경로 쌍(스탄리 간격)과 삼각분할의 실현자 사이의 전단사 $Φ$에 대한 간소화된 기술을 제시한다. 이는 $Φ$ 가 타마리 간격과 최소 실현자 사이, 그리고 크레베라스 간격과 동시에 최소이자 최대인 실현자 사이의 전단사로 제한됨을 증명함으로써, 타마리 간격과 삼각분할 사이, 크레베라스 간격과 삼분 트리 사이의 직접적인 전단사적 연결을 확립하며, 삼분 트리의 수를 세는 공식에 대한 새로운 전단사적 증명을 제공한다.

ABSTRACT

The Stanley lattice, Tamari lattice and Kreweras lattice are three remarkable orders defined on the set of Catalan objects of a given size. These lattices are ordered by inclusion: the Stanley lattice is an extension of the Tamari lattice which is an extension of the Kreweras lattice. The Stanley order can be defined on the set of Dyck paths of size $n$ as the relation of \emph{being above}. Hence, intervals in the Stanley lattice are pairs of non-crossing Dyck paths. In a former article, the second author defined a bijection $Φ$ between pairs of non-crossing Dyck paths and the realizers of triangulations (or Schnyder woods). We give a simpler description of the bijection $Φ$. Then, we study the restriction of $Φ$ to Tamari's and Kreweras' intervals. We prove that $Φ$ induces a bijection between Tamari intervals and minimal realizers. This gives a bijection between Tamari intervals and triangulations. We also prove that $Φ$ induces a bijection between Kreweras intervals and the (unique) realizers of stack triangulations. Thus, $Φ$ induces a bijection between Kreweras intervals and stack triangulations which are known to be in bijection with ternary trees.

연구 동기 및 목표

• 비교형 Dyck 경로 쌍과 삼각분할의 실현자 사이의 전단사 $Φ$를 단순화하고 재해석하기.
• Φ의 타마리 간격에 대한 제한을 조사하고, 해당 실현자를 특성화하기.
• Φ의 크레베라스 간격에 대한 제한을 분석하고, 관련 실현자를 규명하기.
• 기존의 타마리 및 크레베라스 간격의 수를 세는 공식에 대해 전단사적 증명을 제공하기.
• 타마리 간격과 삼각분할 사이, 크레베라스 간격과 삼분 트리 사이의 직접적 대응 관계 수립하기.

제안 방법

• 비교형 Dyck 경로 쌍과 실현자 사이의 전단사 $Φ$를 경로 조작과 트리 재구성 기반의 더 단순한 기하학적 구성으로 재구성하기.
• 스탄리, 타마리, 크레베라스 격자에서의 커버링 관계를 Dyck 경로 비교와 경로 변환을 통해 정의하기.
• 실현자의 두 트리 내 부모-자식 관계를 기반으로 최소 및 최대 실현자를 특성화하기.
• 귀납법과 경로 변형 기법을 사용하여 국소적 연산으로 Dyck 경로를 수정할 경우, 해당 실현자의 최소성 및 최대성이 유지됨을 보이기.
• 경로 수정 후 생성된 실현자 $R'$가 최소이자 최대임과 동시에 원래 경로 $Q$가 크레베라스 격자에서 $Q'$를 커버할 때 정확히 동일한 조건을 만족함을 증명하기.
• Lindström–Gessel–Viennot 보조정리를 적용하여 스탠리 간격의 수를 유도하고, 생성함수를 사용하여 타마리 간격 수의 확인하기.

실험 결과

연구 질문

• RQ1 비교형 Dyck 경로 쌍과 삼각분할의 실현자 사이의 전단사 $Φ$는 어떻게 단순화하고 재표현할 수 있는가?
• RQ2 전단사 $Φ$ 하에서 타마리 간격에 대응하는 실현자 클래스는 무엇인가?
• RQ3 전단사 $Φ$ 하에서 크레베라스 간격에 대응하는 실현자 클래스는 무엇인가?
• RQ4 $Φ$ 를 통해 알려진 타마리 및 크레베라스 간격의 수를 세는 공식에 대해 전단사적 증명을 제공할 수 있는가?
• RQ5 어떤 삼각분할이 동시에 최소이자 최대인 실현자를 가지며, 이는 삼분 트리와 어떻게 관련이 있는가?

주요 결과

• 전단사 $Φ$ 는 타마리 간격과 삼각분할의 최소 실현자 사이의 일대일 대응을 유도하며, 공식 $|\mathcal{L}^{T}_{n}| = \frac{2(4n+1)!}{(n+1)!(3n+2)!}$ 의 전단사적 증명을 확립한다.
• 모든 삼각분할은 유일한 최소 실현자를 가지므로, 전단사 $Φ$ 는 타마리 간격과 삼각분할 사이의 직접적 전단사로 제한된다.
• 전단사 $Φ$ 는 크레베라스 간격과 동시에 최소이자 최대인 실현자 사이의 일대일 대응을 유도하며, 이 실현자가 삼분 트리와 전단사적 대응이 됨을 보여준다.
• 동시 최소이자 최대인 실현자의 특성화는 공식 $|\mathcal{L}^{K}_{n}| = \frac{1}{2n+1}\binom{3n}{n}$ 의 새로운 전단사적 증명을 이끌어낸다.
• 국소적 경로 연산을 통해 Dyck 경로 $Q$ 를 $Q'$ 로 수정한 실현자 $R'$ 가 최소이자 최대임과 동시에 $Q'$ 가 크레베라스 격자에서 $Q$ 를 커버할 때 정확히 동일한 조건을 만족한다.
• 귀납법과 경로 변형을 사용하여 수정된 실현자 $R'$ 가 최소성 및 최대성을 위한 필수 조건인 부모-조상 관계를 만족함을 보였다.