[论文解读] ZZ Polynomials of Regular $m$-tier Benzenoid Strips as Extended Strict Order Polynomials of Associated Posets -- Part 1. Proof of Equivalence

Johanna Langner, Henryk A. Witek|arXiv (Cornell University)|Mar 10, 2021

Advanced Differential Equations and Dynamical Systems被引用 4

一句话总结

本文建立了正则 m 层苯环带的 Zhang-Zhang (ZZ) 多项式与相关偏序集（poset）的扩展严格序多边形之间的严格数学等价性。通过证明 Kekulé 结构与该偏序集上严格保序映射之间的一一对应关系，作者表明 ZZ 多项式的计算可简化为对偏序集的线性扩展进行计数，并分析其下降数与固定标签统计量，从而实现 ZZ 多项式的紧凑闭式表达。

ABSTRACT

In Part 1 of the current series of papers, we demonstrate the equivalence between the Zhang-Zhang polynomial $\ ext{ZZ}(\\boldsymbol{S},x)$ of a Kekul\\'ean regular $m$-tier strip $\\boldsymbol{S}$ of length $n$ and the extended strict order polynomial $\ ext{E}_{\\mathcal{S}}^{\\circ}(n,x+1)$ of a certain partially ordered set (poset) $\\mathcal{S}$ associated with $\\boldsymbol{S}$. The discovered equivalence is a consequence of the one-to-one correspondence between the set $\\left\\{ K\ ight\\}$ of Kekul\\'e structures of $\\boldsymbol{S}$ and the set $\\left\\{ \\mu:\\mathcal{S}\\supset\\mathcal{A}\ ightarrow\\left[\\,n\\,\ ight]\ ight\\}$ of strictly order-preserving maps from the induced subposets of $\\mathcal{S}$ to the interval $\\left[\ hinspace n\ hinspace\ ight]$. As a result, the problems of determining the Zhang-Zhang polynomial of $\\boldsymbol{S}$ and of generating the complete set of Clar covers of $\\boldsymbol{S}$ reduce to the problem of constructing the set $\\mathcal{L}(\\mathcal{S})$ of linear extensions of the corresponding poset $\\mathcal{S}$ and studying their basic properties. In particular, the Zhang-Zhang polynomial of $\\boldsymbol{S}$ can be written in a compact form as $\ ext{ZZ}(\\boldsymbol{S},x)=\\sum_{k=0}^{\\left|\\mathcal{S}\ ight|}\\sum_{w\\in\\mathcal{L}(\\mathcal{S})}\\binom{\\left|\\mathcal{S}\ ight|-\ ext{fix}_{\\mathcal{S}}(w)}{\\,\\,k\\,\\,\\hspace{1pt}-\ ext{fix}_{\\mathcal{S}}(w)}\\binom{n+\ ext{des}(w)}{k}\\left(1+x\ ight)^{k}$, where $\ ext{des}(w)$ and $\ ext{fix}_{\\mathcal{S}}(w)$ denote the number of descents and the number of fixed labels, respectively, in the linear extension $w\\in\\mathcal{L}(\\mathcal{S})$.

研究动机与目标

• 建立正则 m 层苯环带的 ZZ 多项式与相关偏序集的扩展严格序多边形之间的严格数学等价性。
• 证明苯环带的 Kekulé 结构集合与导出偏序集上严格保序映射集合之间存在双射关系。
• 将 ZZ 多项式的计算简化为对相关偏序集的线性扩展进行计数与分析。
• 为所有 m = 1 至 6 的正则 m 层带（长度任意）的 ZZ 多项式计算提供自动化算法的基础。

提出的方法

• 从正则 m 层苯环带 𝕊 的结构构造一个偏序集（poset）𝒮。
• 在 𝕊 的子偏序集到整数区间 [n] 的严格保序映射与 𝕊 的 Kekulé 结构之间建立一一对应关系。
• 将 ZZ 多项式表示为 𝒮 的所有线性扩展 w 的求和，其中包含下降数 des(w) 和固定标签数 fix𝒮(w)。
• 基于线性扩展的组合性质，利用二项式系数和 (1+x) 的幂次推导出 ZZ 多项式的闭式公式。
• 利用该等价性，开发一种四步法、完全可自动化的算法，用于计算扩展严格序多项式 E𝒮°(n,x+1)，其值等于 ZZ 多项式。
• 通过在系列后续部分计算所有 m = 1 至 6 的正则 m 层带（长度任意）的 ZZ 多项式，验证了该框架的有效性。

实验结果

研究问题

• RQ1 正则 m 层苯环带的 Zhang-Zhang 多项式能否表示为相关偏序集的扩展严格序多项式？
• RQ2 苯环带的 Kekulé 结构与导出偏序集上的严格保序映射之间是否存在双射关系？
• RQ3 ZZ 多项式的计算是否可简化为对相关偏序集的线性扩展及其下降数与固定标签统计量的分析？
• RQ4 所推导的等价性是否可用于构建适用于所有 m = 1 至 6 的 m 层带的完全可自动化的 ZZ 多项式计算算法？
• RQ5 正则 m 层苯环带的 ZZ 多项式的精确闭式表达式，以偏序集的线性扩展为基准，具体为何？

主要发现

• 正则 m 层苯环带 𝕊 的 ZZ 多项式在数学上等价于其关联偏序集 𝒮 的扩展严格序多项式 E𝒮°(n,x+1)。
• 该等价性源于 𝕊 的 Kekulé 结构与 𝒮 的子偏序集到 [n] 的严格保序映射之间的双射映射。
• ZZ 多项式以闭式表达为 ∑ₖ₌₀^|𝒮| ∑_{w∈ℒ(𝒮)} binom(|𝒮|−fix𝒮(w), k−fix𝒮(w)) × binom(n+des(w), k) × (1+x)^k。
• 每个线性扩展 w 的下降数 des(w) 与固定标签数 fix𝒮(w) 完全决定了多项式系数。
• 该框架实现了对所有 m = 1 至 6 的正则 m 层带（长度任意）的 ZZ 多项式进行完整且自动化的计算，详见本系列的第 2 和第 3 部分。
• 该方法在化学图论与高级序理论之间建立了前所未有的新颖连接，为 ZZ 多项式的计算开辟了新路径。