[论文解读] A relation between Clar covering polynomial and cube polynomial

Heping Zhang, Wai Chee Shiu+1 more|arXiv (Cornell University)|Oct 19, 2012

Graph theory and applications参考文献 25被引用 15

一句话总结

本文建立了六边形系统 H 的 Clar 覆盖与其中性图 R(H) 的诱导超立方体之间的一一对应关系，证明了 H 的 Clar 覆盖多项式等于 R(H) 的超立方体多项式。该等价关系为拓扑指标提供了新见解，包括系数序列的单峰性以及中位图的新型 (x+1) 幂级数表达式。

ABSTRACT

The Clar covering polynomial (also called Zhang-Zhang polynomial in some chemical literature) of a hexagonal system is a counting polynomial for some types of resonant structures called Clar covers, which can be used to determine Kekulé count, the first Herndon number and Clar number, and so on. In this paper we find that the Clar covering polynomial of a hexagonal system H coincides with the cube polynomial of its resonance graph R(H) by establishing a one-to-one correspondence between the Clar covers of H and the hypercubes in R(H). Accordingly, some applications are presented.

研究动机与目标

• 建立六边形系统 Clar 覆盖多项式与其共振图超立方体多项式之间的基本联系。
• 通过双射对应关系证明 Clar 覆盖多项式的系数与超立方体多项式的系数完全一致。
• 利用该对应关系，推导中位图超立方体多项式的新型代数与组合性质。
• 提出并支持一个关于中位图超立方体多项式系数单峰性的猜想。
• 提供超立方体多项式在 (x+1) 幂次下的新颖表达式，并通过高阶导图给出其组合解释。

提出的方法

• 在六边形系统 H 的 Clar 覆盖与其中性图 R(H) 的诱导超立方体之间建立一一对应关系。
• 使用 Clar 覆盖多项式的定义：ζ(H,x) = Σ z(H,k)x^k，其中 z(H,k) 表示包含 k 个六边形的 Clar 覆盖的数量。
• 定义超立方体多项式 C(G,x) = Σ α_i(G)x^i，其中 α_i(G) 表示图 G 中诱导 i-维超立方体的数量。
• 通过证明对所有 k ≥ 0 都有 z(H,k) = α_k(R(H))，从而证明 ζ(H,x) = C(R(H),x)。
• 对中位图应用外围凸展开，并使用数学归纳法推导超立方体多项式的 (x+1) 展开式。
• 利用反演公式与高阶导图 ∂^kG，将系数 b_i(G) 表示为 b_i(G) = θ_i / i!，其中 θ_i 是 ∂^iG 中连通分支的数量。

实验结果

研究问题

• RQ1 六边形系统 H 的 Clar 覆盖多项式是否与其中性图 R(H) 的超立方体多项式一致？
• RQ2 能否在 H 的 Clar 覆盖与 R(H) 的诱导超立方体之间建立双射对应？
• RQ3 中位图超立方体多项式的代数结构，特别是其 (x+1) 展开式，其本质是什么？
• RQ4 如所猜想的那样，中位图的超立方体多项式系数是否为单峰序列？
• RQ5 Clar 覆盖多项式的系数如何与 R(H) 的高阶导图结构相关联？

主要发现

• 六边形系统 H 的 Clar 覆盖多项式与其中性图 R(H) 的超立方体多项式完全相等，即 ζ(H,x) = C(R(H),x)。
• 包含 k 个六边形的 Clar 覆盖数量 z(H,k) 等于 R(H) 中诱导 k-维超立方体的数量，即对所有 k ≥ 0 都有 z(H,k) = α_k(R(H))。
• 任意中位图 G 的超立方体多项式均存在唯一的 (x+1) 幂次展开式：C(G,x) = Σ b_i(G)(x+1)^i，其中 b_0(G) = 1 且 b_i(G) > 0。
• 该 (x+1) 展开式中的系数 b_i(G) 满足 b_i(G) = θ_i / i!，其中 θ_i 是第 i 阶高阶导图 ∂^iG 的连通分支数。
• 中位图超立方体多项式的系数序列 α_i(G) 在中间项之前严格递增，即 α_m(G) < α_{m-1}(G) < ... < α_⌈(m-1)/2⌉(G)。
• 提出一个猜想：任意中位图的超立方体多项式系数序列均为单峰序列，该猜想扩展了对六边形系统已知的单峰性猜想。