[論文レビュー] 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é構造とposet上の厳密に順序を保つ写像の間の一対一対応を証明することで、ZZ多項式の計算がposetの線形拡張の列挙およびそれらの降下数と固定ラベル統計の解析に還元されることを示し、ZZ多項式のコンactな閉形式表現の実現を可能にする。

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多項式と関連posetの拡張された厳密順序多項式の間のきめ細やかな数学的同等性を確立すること。
• ベンゼノイドスティルのKekulé構造の集合が、導出されたposet上の厳密に順序を保つ写像の集合に一対一対応することを示すこと。
• ZZ多項式の計算を、関連posetの線形拡張の列挙およびそれらの解析に還元すること。
• m = 1 から 6 までのすべての正則なm段スティルについて、任意の長さnに対して自動的かつアルゴリズム的にZZ多項式を計算する基盤を提供すること。

提案手法

• 正則なm段ベンゼノイドスティル 𝕊 の構造から部分順序集合（poset） 𝒮 を構築する。
• 𝕊 のKekulé構造と、𝒮 の部分posetから整数区間 [n] への厳密に順序を保つ写像との間の一対一対応を定義する。
• ZZ多項式を、𝒮 のすべての線形拡張 w の和として表現し、降下数 des(w) と固定ラベル数 fix𝒮(w) を含める。
• 線形拡張の組合せ的性質に基づき、二項係数と (1+x) の累乗を用いた閉形式の公式を導出する。
• 同等性を活用して、拡張された厳密順序多項式 E𝒮°(n,x+1)（これはZZ多項式に等しい）を計算する4段階の完全に自動化可能なアルゴリズムを開発する。
• シリーズの後続部において、m = 1 から 6 までのすべての正則なm段スティルと任意のnについて、ZZ多項式を計算することでフレームワークを検証する。

実験結果

リサーチクエスチョン

• RQ1 正則なm段ベンゼノイドスティルのZhang-Zhang多項式は、関連posetの拡張された厳密順序多項式として表現可能か？
• RQ2 スティルのKekulé構造と導出されたposet上の厳密に順序を保つ写像の間には一対一対応があるか？
• RQ3 ZZ多項式の計算は、関連posetの線形拡張およびそれらの降下数と固定ラベル統計の解析に還元可能か？
• RQ4 導出された同等性を用いて、m = 1 から 6 までのすべてのm段スティルについて完全に自動化可能なアルゴリズムを構築可能か？
• RQ5 正則なm段ベンゼノイドスティルのZZ多項式の明確な閉形式表現は、posetの線形拡張を用いてどのように表されるか？

主な発見

• 正則なm段ベンゼノイドスティル 𝕊 のZZ多項式は、関連poset 𝒮 の拡張された厳密順序多項式 E𝒮°(n,x+1) と数学的に同等である。
• 同等性は、𝕊 のKekulé構造と 𝒮 の部分posetから [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段スティルと任意のnについて、完全に自動化されたZZ多項式の計算が可能である。詳細はシリーズの第2部および第3部で示される。
• 本アプローチは、化学的グラフ理論と高度な順序理論の間で、前例のない新しい接続を提供し、ZZ多項式の計算に新たな道筋を提示する。