[논문 리뷰] Sur le nombre d'intervalles dans les treillis de Tamari

Frédéric Chapoton|arXiv (Cornell University)|2006. 02. 17.

Language, Linguistics, Cultural Analysis참고 문헌 5인용 수 49

한 줄 요약

이 논문은 타마리 격자에서의 간격을 순환적 분해를 통해 닫힌 형태로 세는 방법을 제시하며, '신규 간격'(associahedron의 낮은 차원의 면에 포함되지 않는 간격)의 개념을 도입한다. 전체 간격 수와 신규 간격 수에 대한 명시적 공식을 유도하고, 나무 색인 시리즈와의 연결을 확립하며, 덴드라이포드 기반 형식적 거듭제곱급수 군에서 두 특수 생성함수의 역을 계산한다.

ABSTRACT

We enumerate the intervals in the Tamari lattices. For this, we introduce an inductive description of the intervals. Then a notion of "new interval" is defined and these are also enumerated. A a side result, the inverse of two special series is computed in a group of tree-indexed series.

연구 동기 및 목표

• 모든 $n \geq 1$ 에 대해 타마리 격자 $Y_n$ 에서의 간격 수를 세는 것.
• 낮은 차원의 면에 포함되지 않는 '신규 간격'을 정의하고, 이를 순환적 귀납적 구성으로 수세는 것.
• 나무 색인 형식적 시리즈 군에서 두 특수 생성함수의 역을 계산하여 간격 수세기의 기초를 마련하는 것.
• 공통 조합 수열을 공유함으로써 타마리 간격 수세기와 평면 지도 수세기 사이의 연결 고리를 확립하는 것.
• 좌변 경계 파라미터 $x$ 를 포함한 개선된 생성함수를 사용하여 $Y_n$ 에서의 간격 수에 대한 닫힌 형태 공식을 제공하는 것.

제안 방법

• 상한 $T$ 의 좌측 경계 길이 $\mathsf{L}(T)$ 에 따라 간격 수를 추적하는 개선된 생성함수 $\Phi(x,y)$ 를 도입한다.
• $\Phi = x^2y(1 + \Phi/x)(1 + (\Phi - \phi)/(x - 1))$ 라는 함수 방정식을 유도한다. 여기서 $\phi$ 는 일반 생성함수이다.
• $\phi$ 가 $x$ 의 의존성에 대해 불변임을 이용하여 $\Phi$ 를 결정하는 미분방정식을 도출한다.
• '신규 간격'을 associahedron의 어떤 진부분면에도 포함되지 않는 간격으로 정의하고, 루트가 있는 나무와의 전단사 사상으로 이를 위한 생성함수 $\psi$ 를 구성한다.
• 기반 시리즈 $\nu$ 의 도함수를 포함하는 기여를 포함하여, 루트가 있는 나무 $A$ 에 대한 합으로 생성함수 $\psi$ 를 표현하기 위해 나무 기반 분해를 적용한다.
• 편미분방정식 $\partial_z \boldsymbol{\Psi} = (\partial_y \boldsymbol{\Psi}) \boldsymbol{\Psi}$ 를 만족하는 이중 생성함수 $\boldsymbol{\Psi}(z,y)$ 를 도입하여, $\nu$ 를 위한 대수적 방정식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 타마리 격자 $Y_n$ 에서의 간격 수에 대한 닫힌 형태 공식은 무엇인가?
• RQ2 낮은 차원의 면에 포함되지 않는 '신규 간격'—즉, associahedron의 낮은 차원 면에서 유래하지 않는 간격—은 어떻게 특성화하고 세는가?
• RQ3 간격 생성함수의 대수적 구조는 무엇이며, 나무 색인 형식적 시리즈 군의 특수 시리즈의 역과 어떻게 관련이 있는가?
• RQ4 좌측 경계 길이를 추적하는 개선된 생성함수 $\Phi(x,y)$ 는 전체 간격 수를 어떻게 코딩하고, 닫힌 공식으로 이어지는가?
• RQ5 타마리 간격 수세기와 특정 유형의 평면 지도 수세기 사이에는 어떤 연결 고리가 있는가?

주요 결과

• 타마리 격자 $Y_n$ 에서의 간격 수는 닫힌 공식 $|\mathcal{I}_n| = \frac{2(4n+1)!}{(n+1)!(3n+2)!}$ 으로 주어진다.
• 타마리 격자 $Y_n$ 에서의 '신규 간격' 수는 $\sum_{T \in P_n} N_T$ 로 주어지며, 여기서 $P_n$ 은 $n+1$ 개의 잎을 가진 평면 나무의 집합이고, $N_T = \prod_{s \in \text{int}(T)} N_{v(s)-2}$ 이며, $N_k = \frac{2(4k+1)!}{(k+1)!(3k+2)!}$ 이다.
• 신규 간격 수의 생성함수 $\nu(y)$ 는 대수적 방정식 $16\nu^2 - (1 - 12y - 8y^2)\nu + y^2 - 11y^3 - y^4 = 0$ 을 만족하며, 이로부터 닫힌 형태 $\nu = \frac{1}{32}\left(-1 + 12y + 8y^2 + \sqrt{(1 - 8y)^3}\right)$ 이 도출된다.
• 나무 색인 형식적 시리즈 군에서 두 특수 시리즈의 역이 계산되었으며, 이는 간격의 순환적 구조 유도에 핵심적인 역할을 하였다.
• 개선된 생성함수 $\Phi(x,y)$ 는 함수 방정식을 만족하며, 이 방정식을 풀면 $|\mathcal{I}_n|$ 에 대한 닫힌 공식이 도출된다.
• 공통 조합 수열을 공유함으로써 타마리 간격 수세기와 평면 지도 수세기 사이의 연결 고리가 확인되었으며, 이는 이전 연구 [3] 에서도 언급된 lin.