[论文解读] Forcing and anti-forcing polynomials of perfect matchings of a pyrene system

Kai Deng, Saihua Liu+1 more|arXiv (Cornell University)|Apr 10, 2020

Graph theory and applications参考文献 36被引用 11

一句话总结

本文推导了芘系（pyrene systems）这一类六边形系统中完美匹配的强迫多项式与反强迫多项式的显式公式。研究证明，含有 $ n $ 个片段的芘系的反强迫谱为 $[n, 3n]$，并给出了所有完美匹配中反强迫数之和的精确生成函数与渐近表达式。

ABSTRACT

The forcing number of a perfect matching of a graph was introduced by Harary et al., which originated from Klein and Randić's ideal of innate degree of freedom of Kekulé structure in molecular graph. On the opposite side in some sense, Vukičević and Trinajstié proposed the anti-forcing number of a graph, afterwards Lei et al. generalized this idea to single perfect matching. Recently the forcing and anti-forcing polynomials of perfect matchings of a graph were proposed as counting polynomials for perfect matchings with the same forcing number and anti-forcing number respectively. In this paper, we obtain the explicit expressions of forcing and anti-forcing polynomials of a pyrene system. As consequences, the forcing and anti-forcing spectra of a pyrene system are determined.

研究动机与目标

• 推导芘系中完美匹配的强迫多项式与反强迫多项式的显式表达式。
• 确定芘系的强迫谱与反强迫谱，以刻画所有完美匹配中强迫数与反强迫数的分布。
• 分析所有完美匹配中反强迫数之和，并推导其渐近行为。
• 建立反强迫多项式及其在 $ x=1 $ 处导数的递推关系与闭式生成函数。

提出的方法

• 基于芘系 $ H_n $ 的结构分解，推导出反强迫多项式 $ Af(H_n, x) $ 的递推关系，得到一个系数可变的线性递推关系。
• 利用生成函数将递推关系转化为包含 $ (3 - 2\bar{2}) $ 与 $ (3 + 2\bar{2}) $ 幂次的闭式表达式，从而实现系数的精确计算。
• 对反强迫多项式求导，以计算所有完美匹配中反强迫数之和，并在 $ x = 1 $ 处求值。
• 通过特征根 $ 3 \pm 2\sqrt{2} $ 求解反强迫数之和的四阶线性递推关系，得到渐近公式。
• 运用组合恒等式与多项式展开，将反强迫多项式的系数表示为二项式与多项式系数的和。
• 通过验证初始条件并确认 $ n \geq 5 $ 时的一致性，验证了渐近公式的正确性，同时对较小的 $ n $ 进行了验证。

实验结果

研究问题

• RQ1 芘系中完美匹配的强迫多项式与反强迫多项式的显式形式是什么？
• RQ2 含有 $ n $ 个片段的芘系中，强迫数与反强迫数的谱是什么？
• RQ3 所有完美匹配中反强迫数之和随 $ n $ 的增长呈现怎样的渐近行为？
• RQ4 芘系中反强迫数的最小值与最大值分别是多少？
• RQ5 芘系的反强迫多项式生成函数能否表示为闭式？

主要发现

• 芘系 $ H_n $ 的反强迫多项式为 $ Af(H_n, x) = x^n \sum_{l=0}^{2n} \sum_{i=\lceil (l+2n)/4 \rceil}^{n} \sum_{j=\lceil l/2 \rceil}^{l} (-1)^{n-i} 2^{2i-n} \binom{i}{2i-n} \binom{2i-n}{j} \binom{j}{l-j} x^l $。
• 芘系 $ H_n $ 的最小反强迫数为 $ af(H_n) = n $，最大反强迫数为 $ Af(H_n) = 3n $，因此其反强迫谱为 $ [n, 3n] $。
• 所有完美匹配中反强迫数之和记为 $ AF_n $，其渐近公式为 $ AF_n \sim \left( \frac{17+12\sqrt{2}}{16} \right) n (3+2\sqrt{2})^n $，当 $ n \to \infty $ 时成立。
• 归一化和 $ \frac{AF_n}{n \Phi_n} $（其中 $ \Phi_n $ 为完美匹配总数）在 $ n \to \infty $ 时收敛于 $ 1 + \frac{3\sqrt{2}}{4} \approx 1.673 $。
• 反强迫数之和的递推关系为 $ AF_n = 12AF_{n-1} - 38AF_{n-2} + 12AF_{n-3} - AF_{n-4} $，初始值为 $ AF_5 = 70956 $，$ AF_6 = 496794 $，$ AF_7 = 3380640 $，$ AF_8 = 22531256 $。
• 反强迫多项式的生成函数为 $ G(t) = \sum_{n=0}^\infty Af(H_n, x) t^n = \frac{1}{1 - ((2x^3 + 2x^2 + 2x)t - x^2 t^2)} $。