[论文解读] Equivalence of the Generalized Zhang-Zhang Polynomial and the Generalized Cube Polynomial

Petra Žigert Pleteršek|arXiv (Cornell University)|Dec 9, 2016

Graph theory and applications参考文献 14被引用 10

一句话总结

本文将张-张多项式与立方多项式推广至包含苯环系统、管状烯和富勒烯共振分析中的六元环（六元环）与十元环，证明了分子图的广义张-张多项式等价于其共振图的广义立方多项式，将已知的等价性扩展至贡献共振能的十元环。

ABSTRACT

In this paper we study the resonance graphs of benzenoid systems, tubulenes, and fullerenes. The resonance graph reflects the interactions between the Kekul e structures of a molecule. The equivalence of the Zhang-Zhang polynomial (which counts Clar covers) of the molecular graph and the cube polynomial (which counts hypercubes) of its resonance graph is known for all three families of molecular graphs. Instead of considering only interactions between 6-cycles (Clar covers), we also consider 10-cycles, which contribute to the resonance energy of a molecule as well. Therefore, we generalize the concepts of the Zhang-Zhang polynomial and the cube polynomial and prove the equality of these two polynomials.

研究动机与目标

• 将张-张多项式推广以包含十元环，这些十元环在共轭体系中亦贡献共振能。
• 为考虑六元环与十元环的共振图定义广义立方多项式。
• 建立分子图的广义张-张多项式与它们的共振图的广义立方多项式之间的等价性。
• 将已知的张-张多项式与立方多项式之间的等价性从六元环推广至包含共轭体系中十元环的情形。

提出的方法

• 定义包含相邻六元环形成的六元环（六元环）与十元环的广义Clar覆盖。
• 引入广义张-张多项式ZG(G,x,y)，其中x表示六元环，y表示十元环。
• 为共振图R(G)定义广义立方多项式GC(R(G),x,y)，用于计数同构于超立方体且具有指定环贡献的诱导凸子图。
• 构建从具有k个六元环与l个十元环的广义Clar覆盖到共振图中同构于Q_k × Q_l的诱导凸子图的双射映射f_{k,l}。
• 证明此类广义Clar覆盖的数量等于共振图中对应诱导凸子图的数量。
• 利用共振图中完美匹配、对称差与凸子图的性质，建立双射性与多项式等价性。

实验结果

研究问题

• RQ1 张-张多项式能否推广以包含十元环，这些十元环在共轭体系中亦贡献共振能？
• RQ2 是否存在一种对应于共振图的立方多项式广义形式，可考虑十元环的影响？
• RQ3 当引入十元环时，张-张多项式与立方多项式之间的等价性是否仍然成立？
• RQ4 广义Clar覆盖（包含十元环）与共振图中诱导凸子图之间的结构关系为何？

主要发现

• 对于苯环系统、管状烯和富勒烯，广义张-张多项式ZG(G,x,y)与广义立方多项式GC(R(G),x,y)是等价的。
• 在示例多项式ZG(G,x,y) = 34 + 53x + 35x² + 12x³ + x⁴ + 48y + 7y² + 37xy + xy² + 3x²y中，x²y的系数3对应于3个具有两个六元环与一个十元环的广义Clar覆盖。
• 该系数也等于共振图中同构于P₂²□P₃的诱导凸子图的数量，确认了双射对应关系。
• 证明建立了双射函数f_{k,l}，将具有k个六元环与l个十元环的广义Clar覆盖映射到共振图中同构于Q_k × Q_l的诱导凸子图。
• 证明了来自十元环的六元环h_i与h_i'彼此不相交且恰好共享一条边，确保了环结构的正确形成。
• 证明了共振图的凸子图Q同构于f_{k,l}(C)，从而证明广义立方多项式与广义张-张多项式计数的是相同的结构。