[论文解读] Enumeration of linear chord diagrams

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

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

一句话总结

本文推导出固定亏格 $ g \geq 1 $ 的线性 chord 图的闭式生成函数，表明生成函数 $ \mathbf{C}_g(z) $ 是代数的，且具有形式 $ z^{2g} R_g(z) (1 - 4z)^{1/2 - 3g} $，其中 $ R_g(z) $ 是一个整系数多项式，次数不超过 $ g-1 $。该结果推广了经典的 Catalan 生成函数，并为计算结状 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.

研究动机与目标

• 推导固定亏格 $ g \geq 1 $ 的线性 chord 图数量的闭式生成函数。
• 证明生成函数 $ \mathbf{C}_g(z) $ 在 $ \mathbb{C}(z) $ 上是代数的，推广 Catalan 情况。
• 利用对称群特征理论，为 Harer-Zagier 公式提供一种新证明。
• 将基于亏格的计数方法应用于大分子结构，特别是具有结状结构的 RNA 二级结构。

提出的方法

• 将线性 chord 图映射到肥图（fatgraphs），并为每个图关联一个亏格为 $ g $ 的曲面，实现拓扑分类。
• 利用欧拉示性数和顶点合并关系，推导出 $ \mathbf{c}_g(n) $（即亏格为 $ g $ 的 $ n $-chord 图数量）的递推关系。
• 证明 $ \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 $-重对称性和 $ g $-亏格的巨分子图的生成函数 $ \mathbf{D}_{g,\sigma}(z) $。
• 利用 Pringsheim 定理和解析组合学中的超临界范式，建立渐近增长速率。

实验结果

研究问题

• RQ1 对于亏格 $ g \geq 1 $ 的线性 chord 图，其生成函数 $ \mathbf{C}_g(z) $ 的精确形式是什么？
• RQ2 生成函数 $ \mathbf{C}_g(z) $ 是否在 $ \mathbb{C}(z) $ 上是代数的？若是，它如何推广 Catalan 生成函数？
• RQ3 如何将基于亏格的 chord 图计数方法应用于建模结状 RNA 二级结构？
• RQ4 随着 chord 数和亏格的变化，此类图的数量的渐近增长速率如何？

主要发现

• 亏格为 $ g $ 的线性 chord 图的生成函数为 $ \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) $ 上是代数的，推广了 Catalan 生成函数 $ \mathbf{C}_0(z) $ 的代数性质。
• 对于具有 $ \sigma $-重对称性的大分子图，相关的生成函数 $ \mathbf{D}_{g,\sigma}(z) $ 是代数的，并通过从 $ \mathbf{C}_g(z) $ 代入显式构造。
• 当 $ \sigma = 2 $ 时，亏格为 $ g $ 的 $ n $-chord 图数量的渐近增长为 $ [z^n]\mathbf{D}_{g,2}(z) \sim k_g \, n^{3(g - 1/2)} \, \gamma_2^n $，其中 $ \gamma_2 \approx 1.9685 $。
• 本文利用对称群特征理论，为 Harer-Zagier 公式提供了新证明，将其与通过多边形边对合生成亏格 $ g $ 曲面的计数联系起来。
• 结果确认了结状 RNA 二级结构的生成函数是代数的，扩展了 RNA 组合数学中的先前结果。