Counting Flows of $b$-compatible Graphs

Kochol introduced the assigning polynomial $F(G,\alpha ;k)$ to count nowhere-zero $(A,b)$-flows of a graph $G$, where $A$ is a finite Abelian group and $\alpha$ is a $\{0,1\}$-assigning from a family $\mathrm{\Lambda }(G)$ of certain nonempty vertex subsets of $G$ to $\{0,1\}$. We introduce the concepts of $b$-compatible graph and $b$-compatible broken bond to give an explicit formula for the assigning polynomials and to examine their coefficients. More specifically, for a function $b:V(G)\to A$, let ${\alpha }_{G,b}$ be a $\{0,1\}$-assigning of $G$ such that for each $X\in \mathrm{\Lambda }(G)$, ${\alpha }_{G,b}(X)=0$ if and only if ${\sum }_{v\in X}b(v)=0$. We show that for any $\{0,1\}$-assigning $\alpha$ of $G$, if there exists a function $b:V(G)\to A$ such that $G$ is $b$-compatible and $\alpha ={\alpha }_{G,b}$, then the assigning polynomial $F(G,\alpha ;k)$ has the $b$-compatible spanning subgraph expansion F(G,α;k)=\sum_{\substack{S\subseteq E(G),\\G-S is $b$-compatible}}(-1)^{|S|}k^{m(G-S)}, and is the following form $F(G,\alpha ;k)={\sum }_{i=0}^{m(G)}(-1{)}^i{a}_i(G,\alpha )k^{m(G)-i}$, where each $a_i(G,\alpha )$ is the number of subsets $S$ of $E(G)$ having $i$ edges such that $G-S$ is $b$-compatible and $S$ contains no $b$-compatible broken bonds with respect to a total order on $E(G)$. Applying the counting interpretation, we also obtain unified comparison relations for the signless coefficients of assigning polynomials. Namely, for any $\{0,1\}$-assignings $\alpha ,{\alpha }^{\mathrm{\prime }}$ of $G$, if there exist functions $b:V(G)\to A$ and $b^{\mathrm{\prime }}:V(G)\to A^{\mathrm{\prime }}$ such that $G$ is both $b$-compatible and $b^{\mathrm{\prime }}$-compatible, $\alpha ={\alpha }_{G,b}$, ${\alpha }^{\mathrm{\prime }}={\alpha }_{G,b^{\mathrm{\prime }}}$ and $\alpha (X)\le {\alpha }^{\mathrm{\prime }}(X)$ for all $X\in \mathrm{\Lambda }(G)$, then $$a_i(G,\alpha )\le a_i(G,{\alpha }^{\mathrm{\prime }})fori=0,1,\dots ,m(G)\mathrm{.}$$