[論文レビュー] Linear chord diagrams on two intervals

Jørgen Ellegaard Andersen, Robert Penner+2 more|arXiv (Cornell University)|Oct 28, 2010

Advanced Combinatorial Mathematics参考文献 20被引用数 6

ひとこと要約

本稿では、生成関数が $ g \geq 0 $ の種数と $ n $ 本のコードで数え上げられる、2つの順序付き・向き付けられた区間上の線形コード図の生成関数が、$ \mathbf{C}_g^{[2]}(z) = z^{2g+1} R_g^{[2]}(z)/(1-4z)^{3g+2} $ の形の有理関数であることを確立している。ここで $ R_g^{[2]}(z) $ は、$ R_g^{[2]}(1/4) \neq 0 $ を満たす整数係数の次数 $ \leq g $ の多項式である。この結果は、単一区間図の先行研究を拡張し、2区間多項式と1区間多項式を結ぶ再帰的公式を提供する。

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 $ を持つ、2つの順序付き・向き付けられた区間上の連結な線形コード図の生成関数の構造を特定すること。
• 単一区間図の生成関数が代数的関数であるのに対し、生成関数 $ \mathbf{C}_g^{[2]}(z) $ が有理関数であることを確立すること。
• 2区間の場合の多項式 $ R_g^{[2]}(z) $ を、1区間の場合に既知の多項式 $ R_g(z) $ の形で表す再帰的公式を導出すること。
• 低種数かつ任意の $ n $ に対するこのようなコード図の数の明示的閉形式を計算し、生成関数の構造と整合性があることを検証すること。

提案手法

• 著者らは、コード図を上半平面に埋め込み、得られる曲面に種数を関連付けることで、ファットグラフを定義する。
• 単一区間図の既知の生成関数 $ \mathbf{C}_g(z) = z^{2g} R_g(z)/(1-4z)^{3g - 1/2} $ を出発点として用いる。
• 2区間と1区間の多項式を結ぶ再帰的関係 $ 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 種数とコード数でパrameter化された2区間上の線形コード図の生成関数の代数的構造は何か？
• RQ2 2区間図の生成関数は、既知の1区間図の代数的生成関数とどのように関係しているか？
• RQ3 2区間図の生成関数の係数が有理関数として表現可能であるか。もし可能であれば、その明示的形は何か？
• RQ4 2区間上での種数 $ 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) $ は整数係数の次数が $ 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) $ を満たし、2区間図と1区間図を結ぶ。
• 種数 $ 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)!} $ であり、これは1区間上での種数 $ g+1 $、$ 2g+2 $ 本のコードを持つ図の数と一致する。