[논문 리뷰] Linear chord diagrams on two intervals

Jørgen Ellegaard Andersen, Robert Penner외 2명|arXiv (Cornell University)|2010. 10. 28.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 6

한 줄 요약

이 논문은 두 개의 순서가 있고 방향이 부여된 선형 호 다이어그램의 생성함수를, 고도 $ g \geq 0 $ 와 호의 수 $ n $ 를 기준으로 정의한 결과, 이 생성함수는 $ \mathbf{C}_g^{[2]}(z) = z^{2g+1} R_g^{[2]}(z)/(1-4z)^{3g+2} $ 의 형태를 가지며, 여기서 $ R_g^{[2]}(z) $ 는 $ \leq g $ 차수의 정수 계수 다항식이며 $ R_g^{[2]}(1/4) \neq 0 $ 를 만족한다. 이 결과는 단일 구간 다이어그램에 대한 이전 연구를 확장하며, 두 구간 다항식과 단일 구간 다항식 간의 재귀적 관계를 제시한다.

ABSTRACT

Consider all possible ways of attaching disjoint chords to two ordered and oriented disjoint intervals so as to produce a connected graph. Taking the intervals to lie in the real axis with the induced orientation and the chords to lie in the upper half plane canonically determines a corresponding fatgraph which has some associated genus $g\geq 0$, and we consider the natural generating function ${\bf C}_g^{[2]}(z)=\sum_{n\geq 0} {\bf c}^{[2]}_g(n)z^n$ for the number ${\bf c}^{[2]}_g(n)$ of distinct such chord diagrams of fixed genus $g\geq 0$ with a given number $n\geq 0$ of chords. We prove here the surprising fact that ${\bf C}^{[2]}_g(z)=z^{2g+1} R_g^{[2]}(z)/(1-4z)^{3g+2} $ is a rational function, for $g\geq 0$, where the polynomial $R^{[2]}_g(z)$ with degree at most $g$ has integer coefficients and satisfies $R_g^{[2]}({1\over 4}) eq 0$. Earlier work had already determined that the analogous generating function ${\bf C}_g(z)=z^{2g}R_g(z)/(1-4z)^{3g-{1\over 2}}$ for chords attached to a single interval is algebraic, for $g\geq 1$, where the polynomial $R_g(z)$ with degree at most $g-1$ has integer coefficients and satisfies $R_g(1/4) eq 0$ in analogy to the generating function ${\bf C}_0(z)$ for the Catalan numbers. The new results here on ${\bf C}_g^{[2]}(z)$ rely on this earlier work, and indeed, we find that $R_g^{[2]}(z)=R_{g+1}(z) -z\sum_{g_1=1}^g R_{g_1}(z) R_{g+1-g_1}(z)$, for $g\geq 1$.

연구 동기 및 목표

• 고도 $ g \geq 0 $ 를 고정한 두 개의 순서가 있고 방향이 부여된 선형 호 다이어그램의 생성함수의 구조를 규명하는 것.
• 단일 구간 다이어그램에서 발견된 대수적 생성함수와는 대조적으로, 생성함수 $ \mathbf{C}_g^{[2]}(z) $ 가 유리 함수임을 입증하는 것.
• 이전에 알려진 단일 구간의 다항식 $ R_g(z) $ 를 이용해 다항식 $ R_g^{[2]}(z) $ 를 표현하는 재귀 공식을 유도하는 것.
• 낮은 고도에 대해 임의의 $ n $ 에 대해 이러한 호 다이어그램의 수에 대한 명시적 폐형 표현을 계산하고, 생성함수의 구조와의 일관성을 검증하는 것.

제안 방법

• 저자들은 호 다이어그램에서 지정된 다각형을 구성하기 위해, 호들을 상반평면에 매립하고 그로 인해 생기는 표면에 고도를 부여한다.
• 단일 구간 다이어그램에 대해 알려진 생성함수 $ \mathbf{C}_g(z) = z^{2g} R_g(z)/(1-4z)^{3g - 1/2} $ 를 기초로 삼는다.
• 두 구간 다항식과 단일 구간 다항식 간의 관계를 나타내는 재귀식을 유도한다: $ R_g^{[2]}(z) = R_{g+1}(z) - z \sum_{g_1=1}^g R_{g_1}(z) R_{g+1-g_1}(z) $.
• 다항식 $ P_g^{[2]}(z) = z^{-1} P_{g+1}(z) - \sum_{g_1=1}^g P_{g_1}(z) P_{g+1-g_1}(z) $ 가 $ z^{2g+1} $ 으로 나누어지며 양수 계수를 가지므로 $ \mathbf{C}_g^{[2]}(z) $ 가 유리 함수임을 증명한다.
• 초기 다항식 $ P_g^{[2]}(z) $ 를 명시적으로 계산하고, 생성함수 변환 및 미분방정식을 이용해 $ \mathbf{c}_g^{[2]}(n) $ 에 대한 폐형 표현을 도출한다.

실험 결과

연구 질문

• RQ1 두 구간에 대한 선형 호 다이어그램의 생성함수의 대수적 구조는 고도와 호의 수에 따라 어떻게 나타나는가?
• RQ2 두 구간 다이어그램의 생성함수는 기존의 단일 구간 다이어그램에 대한 알려진 대수적 생성함수와 어떻게 관련이 있는가?
• RQ3 두 구간 다이어그램의 생성함수 계수들이 유리 함수로 표현될 수 있는가? 만약 그렇다면, 그 명시적 형태는 무엇인가?
• RQ4 두 구간에서 고도 $ g $ 의 다이어그램을 실현하기 위해 필요한 최소 호의 수는 얼마이며, 이는 생성함수의 구조에 어떻게 영향을 미치는가?

주요 결과

• 생성함수 $ \mathbf{C}_g^{[2]}(z) $ 는 유리 함수이며, 구체적으로 $ \mathbf{C}_g^{[2]}(z) = z^{2g+1} R_g^{[2]}(z)/(1-4z)^{3g+2} $ 의 형태를 가지며, 여기서 $ R_g^{[2]}(z) $ 는 차수 $ \leq g $ 의 정수 계수 다항식이며 $ R_g^{[2]}(1/4) \neq 0 $ 이다.
• 다항식 $ R_g^{[2]}(z) $ 는 두 구간 다이어그램과 단일 구간 다이어그램 간의 관계를 나타내는 재귀식 $ R_g^{[2]}(z) = R_{g+1}(z) - z \sum_{g_1=1}^g R_{g_1}(z) R_{g+1-g_1}(z) $ 를 만족한다.
• 고도 $ g=0 $ 에서는 $ n $ 개의 호를 가진 호 다이어그램의 수는 $ \mathbf{c}_0^{[2]}(n) = n \cdot 4^{n-1} $ 이다.
• 고도 $ g=1 $ 에서는 호 다이어그램의 수는 $ \mathbf{c}_1^{[2]}(n) = \frac{1}{12}(13n+3)n(n-1)(n-2) \cdot 4^{n-3} $ 이다.
• 고도 $ g=2 $ 에서는 호 다이어그램의 수는 $ \mathbf{c}_2^{[2]}(n) = \frac{1}{180}(445n^2 - 401n - 210)n(n-1)(n-2)(n-3)(n-4) \cdot 4^{n-6} $ 이다.
• $ P_g^{[2]}(z) $ 의 $ z^{2g+1} $ 계수는 $ \mathbf{c}_g^{[2]}(2g+1) = \frac{(4g+4)!}{4^{g+1}(2g+3)!} $ 이며, 이는 단일 구간에서 $ 2g+2 $ 개의 호를 가진 고도 $ g+1 $ 다이어그램의 수와 정확히 일치한다.