arXiv++ Combinatorics

Boesch, Li, and Suffel were the first to identify the existence of uniformly optimally reliable graphs (UOR graphs), graphs which maximize all-terminal reliability over all graphs with $n$ vertices and $m$ edges. The all-terminal reliability of a graph, and more generally a graph's all-terminal reliability polynomial $R(G;p)$, may both be obtained via the Tutte polynomial $T(G;x,y)$ of the graph $G$. Here we show that the UOR graphs found earlier are in fact maximum graphs for the Tutte polynomial itself, in the sense that they are maximum not just for all-terminal reliability but for a vast array of other parameters and polynomials that may be obtained from $T(G;x,y)$ as well. These parameters include, but are not limited to, enumerations of a wide variety of well-known orientations, partial orientations, and fourientations of $G$; the magnitudes of the coefficients of the chromatic and flow polynomials of $G$; and a wide variety of generating functions, such as generating functions enumerating spanning forests and spanning connected subgraphs of $G$. The maximality of all of these parameters is done in a unified way through the use of $(n,m)$ Tutte polynomial posets.

The independence polynomial of a graph $G$ evaluated at $-1$, denoted here as $I(G;-1)$, has arisen in a variety of different areas of mathematics and theoretical physics as an object of interest. Engström used discrete Morse theory to prove that $\left|I(G;-1)\right|\leq 2^{φ(G)}$ where $φ(G)$ is the decycling number of $G$, i.e., the minimum number of vertices needed to be deleted from $G$ so that the remaining graph is acyclic. Here, we improve Engström's bound by showing $\left|I(G;-1)\right|\leq 2^{φ_3(G)}$ where $φ_3(G)$ is the minimum number of vertices needed to be deleted from $G$ so that the resulting graph contains no induced cycles whose length is divisible by $3$. We also note that this bound is not just sharp but that every value in the range given by the bound is attainable by some connected graph.

The independence polynomial $I(G;x)$ of a graph $G$ is $I(G;x)=\sum_{k=1}^{α(G)} s_k x^k$, where $s_k$ is the number of independent sets in $G$ of size $k$. The decycling number of a graph $G$, denoted $φ(G)$, is the minimum size of a set $S\subseteq V(G)$ such that $G-S$ is acyclic. Engström proved that the independence polynomial satisfies $|I(G;-1)| \leq 2^{φ(G)}$ for any graph $G$, and this bound is best possible. Levit and Mandrescu provided an elementary proof of the bound, and in addition conjectured that for every positive integer $k$ and integer $q$ with $|q|\leq 2^k$, there is a connected graph $G$ with $φ(G)=k$ and $I(G;-1)=q$. In this note, we prove this conjecture.