[论文解读] Counting Bipartite, k-Colored and Directed Acyclic Multi Graphs Through F-nomial coefficients

Maciej Dziemiańczuk|ArXiv.org|Jan 11, 2009

Advanced Combinatorial Mathematics参考文献 12被引用 5

一句话总结

本文建立了 $N(\alpha)$-多项式系数——二项式系数与高斯系数的推广——的新型组合解释，即计数带标签的二分 $\alpha$-多重图及 $k$-色 $\alpha$-多重图。此外，本文证明了这些系数的逆矩阵的第一行绝对值等于带标签的有向无环 $\alpha$-多重图的数量，通过 $N(\alpha)$-多项式系数的带符号和给出了闭式计数公式。

ABSTRACT

F-nomial coefficients encompass among others well-known binomial coefficients or Gaussian coefficients that count subsets of finite set and subspaces of finite vector space respectively. Here, the so called F-cobweb tiling sequences N(a) are considered. For such specific sequences a new interpretation with respect to Kwasniewski general combinatorial interpretation of F-nomial coefficients is unearhed. Namely, for tiling sequences F = N(a)$ the F-nomial coefficients are equal to the number of labeled special bipartite multigraphs denoted here as a-multigraphs G(a,n,k). An explicit relation between the number of k-colored a-multigraphs and multi N(a)-nomial coefficients is established. We also prove that the unsigned values of the first row of inversion matrix for N(a) -nomial coefficients considered here are equal to the numbers of directed acyclic a-multigraphs with n nodes.

研究动机与目标

• 将 $F$-多项式系数的组合解释从一般可叠的序列扩展到特定的 $N(\alpha)$-铺砌序列。
• 建立 $N(\alpha)$-多项式系数与带标签的二分 $\alpha$-多重图数量之间的直接对应关系，其中一部分有 $k$ 个顶点。
• 利用 $N(\alpha)$-多项式系数推导 $k$-色 $\alpha$-多重图数量的公式。
• 证明 $N(\alpha)$-多项式系数的逆矩阵第一行的绝对值项等于带标签的有向无环 $\alpha$-多重图的数量（顶点数为 $n$）。
• 通过从 $N(\alpha)$ 序列导出的参数化 $F$-多项式系数族，统一并推广现有的多重图计数结果。

提出的方法

• 定义 $N(\alpha)$ 为满足 $n_{F} = n \cdot \alpha^{n-1}$ 的可叠铺砌序列，作为 $N(\alpha)$-多项式系数的基础。
• 使用标准的 $F$-多项式系数公式 $\binom{n}{k}_F = \frac{n_F^{– k}}{k_F!}$，其中 $n_F^{– k}$ 表示序列 $F$ 上的下降阶乘。
• 证明带标签的二分 $\alpha$-多重图 $G(\alpha,n,k)$ 的数量为 $\binom{n}{k}_F \cdot \alpha^{k(n-k)}$，并将其与 $N(\alpha)$-多项式系数关联。
• 应用容斥原理，通过考虑入度为零的顶点（出点）来计数有向无环 $\alpha$-多重图，从而导出递归公式。
• 推导 $N(\alpha)$-多项式系数的逆公式，表明 $\binom{n}{0}_F^{-1} = \sum_{s=1}^n (-1)^s \sum_{k_1+\cdots+k_s=n \atop k_i \geq 1} \binom{n}{k_1,\dots,k_s}_F$。
• 通过递归展开和对组合的重索引，证明带标签的无环 $\alpha$-多重图数量 $A_\alpha(n)$ 等于 $|\binom{n}{0}_F^{-1}| = (-1)^n \binom{n}{0}_F^{-1}$。

实验结果

研究问题

• RQ1 如何将 $N(\alpha)$-多项式系数组合解释为多重图结构？
• RQ2 如何显式表达 $k$-色 $\alpha$-多重图的数量？其与 $N(\alpha)$-多项式系数的关系是什么？
• RQ3 能否通过 $N(\alpha)$-多项式系数的逆矩阵表达带标签的有向无环 $\alpha$-多重图的数量？
• RQ4 容斥原理在计数具有 $\alpha$-重边的无环多重图中起什么作用？
• RQ5 如何通过 $N(\alpha)$ 序列的结构将二项式与高斯系数的解释推广至多重图？

主要发现

• 带 $n$ 个顶点且一部分有 $k$ 个顶点的带标签二分 $\alpha$-多重图数量为 $\beta_{\alpha,n,k} = \binom{n}{k}_{N(\alpha)} \cdot \alpha^{k(n-k)}$，直接关联至 $N(\alpha)$-多项式系数。
• $k$-色 $\alpha$-多重图的数量由 $\binom{n}{k}_{N(\alpha)} \cdot \alpha^{k(n-k)}$ 显式给出，将解释扩展至带色版本。
• $N(\alpha)$-多项式系数的逆矩阵第一行的绝对值项等于带标签的有向无环 $\alpha$-多重图的数量（顶点数为 $n$）。
• 此类无环多重图的数量为 $A_\alpha(n) = (-1)^n \binom{n}{0}_{N(\alpha)}^{-1}$，且 $A_\alpha(0) = 1$，提供了闭式表达。
• 推导过程基于对无环多重图中出点的递归容斥，导出对 $n$ 的组合的带符号 $N(\alpha)$-多项式系数之和。
• 该结果推广了已知情形，例如 $\alpha=2$ 时，公式退化为先前研究的使用 $F$-多项式系数对二分图与无环图的计数。