arXiv++ Combinatorics

In Part 1 of the current series of papers, we demonstrate the equivalence between the Zhang-Zhang polynomial $\text{ZZ}(\boldsymbol{S},x)$ of a Kekuléan regular $m$-tier strip $\boldsymbol{S}$ of length $n$ and the extended strict order polynomial $\text{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\right\}$ of Kekulé structures of $\boldsymbol{S}$ and the set $\left\{ μ:\mathcal{S}\supset\mathcal{A}\rightarrow\left[\,n\,\right]\right\}$ of strictly order-preserving maps from the induced subposets of $\mathcal{S}$ to the interval $\left[\thinspace n\thinspace\right]$. 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 $\text{ZZ}(\boldsymbol{S},x)=\sum_{k=0}^{\left|\mathcal{S}\right|}\sum_{w\in\mathcal{L}(\mathcal{S})}\binom{\left|\mathcal{S}\right|-\text{fix}_{\mathcal{S}}(w)}{\,\,k\,\,\hspace{1pt}-\text{fix}_{\mathcal{S}}(w)}\binom{n+\text{des}(w)}{k}\left(1+x\right)^{k}$, where $\text{des}(w)$ and $\text{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})$.

We report a closed-form formula for the Zhang-Zhang polynomial (aka ZZ polynomial or Clar covering polynomial) of an important class of elementary pericondensed benzenoids $Rb\left(n_{1},n_{2},m_{1},m_{2}\right)$ usually referred to as ribbons. A straightforward derivation is based on the recently developed interface theory of benzenoids [Langner and Witek, MATCH Commun. Math. Comput. Chem. 84, 143--176 (2020)]. The discovered formula provides compact expressions for various topological invariants of $Rb\left(n_{1},n_{2},m_{1},m_{2}\right)$: the number of Kekulé structures, the number of Clar covers, its Clar number, and the number of Clar structures. The last two classes of elementary benzenoids, for which closed-form ZZ polynomial formulas remain to be found, are hexagonal flakes $O\left(k,m,n\right)$ and oblate rectangles $Or\left(m,n\right)$.

In this short paper, we extend the concept of the strict order polynomial $Ω_{P}^{\circ}(n)$, which enumerates the number of strict order-preserving maps $φ:P\rightarrow\boldsymbol{n}$ for a poset $P$, to the extended strict order polynomial $\text{E}_{P}^{\circ}(n,z)$, which enumerates analogous maps for the elements of the power set $\mathcal{P}(P)$. The problem at hand immediately reduces to the problem of enumeration of linear extensions for the subposets of $P$. We show that for every $Q\subset P$ a given linear extension $v$ of $Q$ can be associated with a unique linear extension $w$ of $P$. The number of such linear extensions $v$ (of length $k$) associated with a given linear extension $w$ of $P$ can be expressed compactly as $\binom{\text{del}_{P}(w)}{k}$, where $\text{del}_{P}(w)$ is the number of deletable elements of $w$ defined in the text. Consequently the extended strict order polynomial $\text{E}_{P}^{\circ}(n,z)$ can be represented as $ \text{E}_{P}^{\circ}(n,z)=\sum_{w\in\mathcal{L}(P)}\sum_{k=0}^{p}\binom{\text{del}_{P}(w)}{p-k}\binom{n+\text{des}(w)}{k}z^{k}$. The derived equation can be used for example for solving the following combinatorial problem: Consider a community of $p$ shepherds, some of whom are connected by a master-apprentice relation (expressed as a poset $P$). Every morning, $k$ of the shepherds go out and each of them herds a flock of sheep. Community tradition stipulates that each of these $k$ shepherds will herd at least one and at most $n$ sheep, and an apprentice will always herd fewer sheep than his master (or his master's master, etc). In how many ways can the flocks be formed? The strict order polynomial answers this question for the case in which all $p$ shepherds go to work, and the extended strict order polynomial considers also all the situations in which some of the shepherds decide to take a day off.