[論文レビュー] Enumeration of linear chord diagrams

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

Advanced Combinatorial Mathematics参考文献 28被引用数 8

ひとこと要約

本稿では、固定された genus $ g \geq 1 $ の線形弦図の数の閉形式の母関数を導出しており、母関数 $ \mathbf{C}_g(z) $ が代数的であり、形式 $ z^{2g} R_g(z) (1 - 4z)^{1/2 - 3g} $ をとることを示している。ここで $ R_g(z) $ は整数係数で次数 $ \leq g-1 $ の多項式である。この結果は古典的なカタランの母関数を一般化し、ねじれたRNA二次構造の列挙に基盤を提供する。

ABSTRACT

A linear chord diagram canonically determines a fatgraph and hence has an associated genus $g$. We compute the natural generating function ${\bf C}_g(z)=\sum_{n\geq 0} {\bf c}_g(n)z^n$ for the number ${\bf c}_g(n)$ of linear chord diagrams of fixed genus $g\geq 1$ with a given number $n\geq 0$ of chords and find the remarkably simple formula ${\bf C}_g(z)=z^{2g}R_g(z) (1-4z)^{{1\over 2}-3g}$, where $R_g(z)$ is a polynomial of degree at most $g-1$ with integral coefficients satisfying $R_g({1\over 4}) eq 0$ and $R_g(0) = {\bf c}_g(2g) eq 0.$ In particular, ${\bf C}_g(z)$ is algebraic over $\mathbb C(z)$, which generalizes the corresponding classical fact for the generating function ${\bf C}_0(z)$ of the Catalan numbers. As a corollary, we also calculate a related generating function germaine to the enumeration of knotted RNA secondary structures, which is again found to be algebraic.

研究の動機と目的

• 固定された genus $ g \geq 1 $ の線形弦図の数の閉形式母関数を導出すること。
• 母関数 $ \mathbf{C}_g(z) $ が $ \mathbb{C}(z) $ 上で代数的であることを確立し、カタランの場合を一般化すること。
• 対称群の特徴の理論を用いてハラーザイエルの公式の新しい証明を提示すること。
• genusに基づく列挙を、特にねじれたモチーフを有するRNA二次構造を含む高分子構造に応用すること。

提案手法

• 線形弦図をファットグラフに写像し、それぞれを genus $ g $ の曲面に関連付けることで、位相的分類を可能にする。
• オイラー標跡と頂点同定関係を用いて、genus $ g $ の $ n $-弦図の数 $ \mathbf{c}_g(n) $ の再帰的関係を導出する。
• $ \mathbf{C}_g(z) = z^{2g} R_g(z) (1 - 4z)^{1/2 - 3g} $ であることを証明する。ここで $ R_g(z) $ は整数係数の多項式であり、$ R_g(1/4) \neq 0 $ である。
• $ D $-有限および $ \Delta $-解析的関数の理論を用いて、母関数の漸近的挙動を分析する。
• $ \mathbf{C}_g(z) $ からの代入を用いて、$ \sigma $-fold 対称性と $ g $-genus を持つ高分子図の母関数 $ \mathbf{D}_{g,\sigma}(z) $ を構成する。
• 解析的組合せ論における超臨界パラダイムとプリングシュタインの定理を用いて、漸近的成長率を確立する。

実験結果

リサーチクエスチョン

• RQ1 genus $ g \geq 1 $ の線形弦図の母関数 $ \mathbf{C}_g(z) $ の正確な形は何か？
• RQ2 母関数 $ \mathbf{C}_g(z) $ は $ \mathbb{C}(z) $ 上で代数的か？ もしそうなら、カタランの母関数をどのように一般化するか？
• RQ3 弦図のgenusに基づく列挙は、ねじれたRNA二次構造をモデル化するためにどのように応用できるか？
• RQ4 弦の数とgenusの関数として、このような図の数の漸近的成長率は何か？

主な発見

• genus-$ g $ の線形弦図の母関数は、$ \mathbf{C}_g(z) = z^{2g} R_g(z) (1 - 4z)^{1/2 - 3g} $ であり、ここで $ R_g(z) $ は整数係数で次数が $ g-1 $ 以下の多項式であり、$ R_g(1/4) \neq 0 $ である。
• 母関数 $ \mathbf{C}_g(z) $ は $ \mathbb{C}(z) $ 上で代数的であり、カタラン母関数 $ \mathbf{C}_0(z) $ の代数的性質を一般化する。
• $ \sigma $-fold 対称性を有する高分子図の関連母関数 $ \mathbf{D}_{g,\sigma}(z) $ は代数的であり、$ \mathbf{C}_g(z) $ からの代入により明示的に構成される。
• $ \sigma = 2 $ の場合、genus $ g $ の $ n $-弦図の数は漸近的に $ [z^n]\mathbf{D}_{g,2}(z) \sim k_g \, n^{3(g - 1/2)} \, \gamma_2^n $ と表され、ここで $ \gamma_2 \approx 1.9685 $ である。
• 本稿では、対称群の特徴の理論を用いてハラーザイエルの公式の新しい証明を提示し、多角形の辺ペアリングによって得られるgenus-$ g $ の曲面の列挙と関連付ける。
• この結果は、ねじれたRNA二次構造の母関数が代数的であることを確認し、RNAの組合せ論における既存の結果を拡張する。