TY - JOUR

T1 - ZZ Polynomial of Regular m-tier Benzenoid Strips as Extended Strict Order Polynomials of Associated Posets Part 1. Proof of Equivalence

AU - Langner, Johanna

AU - Witek, Henryk A.

N1 - Publisher Copyright:
© 2021 University of Kragujevac, Faculty of Science. All rights reserved.

PY - 2021

Y1 - 2021

N2 - In Part 1 of the current series of papers, we demonstrate the equivalence between the Zhang-Zhang polynomial ZZ(S, x) of a Kekuléan regular m-tier strip S of length n and the extended strict order polynomial E◦S(n, x + 1) of a certain partially ordered set (poset) S associated with S. The discovered equivalence is a consequence of the one-to-one correspondence between the set {K} of Kekulé structures of S and the set {µ : S ⊃ A → [ n ]} of strictly order-preserving maps from the induced subposets of S to the interval [ n ]. As a result, the problems of determining the Zhang-Zhang polynomial of S and of generating the complete set of Clar covers of S reduce to the problem of constructing the set L(S) of linear extensions of the corresponding poset S and studying their basic properties. In particular, the Zhang-Zhang polynomial of S can be written in a compact form as where des(w) and fixS(w) denote the number of descents and the number of fixed labels, respectively, in the linear extension w ∈ L(S). A practical guide and a four-step, completely automatable algorithm for computing E◦S(n, x + 1) of an arbitrary strip S, followed by a complete account of ZZ polynomials for all regular m-tier benzenoid strips S with m = 1–6 and arbitrary n computed using the discovered equivalence between ZZ(S, x) and E◦S(n, x + 1), are presented in Parts 2 and 3, respectively, of the current series of papers. We would like to stress that the pursued by us approach is unprecedented in the existing literature on chemical graph theory and therefore it seems to deserve particular attention of the community, despite of its quite difficult exposition and connection to advanced concepts in order theory.

AB - In Part 1 of the current series of papers, we demonstrate the equivalence between the Zhang-Zhang polynomial ZZ(S, x) of a Kekuléan regular m-tier strip S of length n and the extended strict order polynomial E◦S(n, x + 1) of a certain partially ordered set (poset) S associated with S. The discovered equivalence is a consequence of the one-to-one correspondence between the set {K} of Kekulé structures of S and the set {µ : S ⊃ A → [ n ]} of strictly order-preserving maps from the induced subposets of S to the interval [ n ]. As a result, the problems of determining the Zhang-Zhang polynomial of S and of generating the complete set of Clar covers of S reduce to the problem of constructing the set L(S) of linear extensions of the corresponding poset S and studying their basic properties. In particular, the Zhang-Zhang polynomial of S can be written in a compact form as where des(w) and fixS(w) denote the number of descents and the number of fixed labels, respectively, in the linear extension w ∈ L(S). A practical guide and a four-step, completely automatable algorithm for computing E◦S(n, x + 1) of an arbitrary strip S, followed by a complete account of ZZ polynomials for all regular m-tier benzenoid strips S with m = 1–6 and arbitrary n computed using the discovered equivalence between ZZ(S, x) and E◦S(n, x + 1), are presented in Parts 2 and 3, respectively, of the current series of papers. We would like to stress that the pursued by us approach is unprecedented in the existing literature on chemical graph theory and therefore it seems to deserve particular attention of the community, despite of its quite difficult exposition and connection to advanced concepts in order theory.

UR - http://www.scopus.com/inward/record.url?scp=85121792061&partnerID=8YFLogxK

U2 - 10.46793/match.87-3.585L

DO - 10.46793/match.87-3.585L

M3 - Article

AN - SCOPUS:85121792061

SN - 0340-6253

VL - 87

SP - 585

EP - 620

JO - Match

JF - Match

IS - 3

ER -