[論文レビュー] 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カバーと誘導超立方体の間の一対一対応を用いて、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(R(H)) に等しい。すなわち、すべての 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) が成り立つ。
• 中間グラフの超立方体多項式の係数列が単峰的であるという予想を提示し、既知の六角形格子に関する予想を拡張する。