arXiv++ Combinatorics

The genus polynomial of a graph is the generating polynomial for the number of nonequivalent embeddings of the graph on each orientable surface. In this paper, we address three questions on genus polynomials for wheel graphs: the computation of genus polynomials, the unimodality and the asymptotic normality of their coefficients. We derive an explicit formula for the genus polynomial of wheel graphs by combining methods of the joint tree model and characters theory, and then prove its real-rootedness. This stronger result implies the log-concavity, unimodality, and asymptotic normality of its coefficients. Thus, we confirm the unimodality conjecture for the genus distribution of wheel graphs and provide a positive answer to the asymptotic normality question posed by Zhang, Peng, and Chen (\emph{Adv. in Appl. Math.} \textbf{127} (2021), 102175).

Let \( G \) be a graph of order \( n \) with maximum degree $Δ$, and let $P(G,x)$ denote its chromatic polynomial. We investigate several properties of $P(G,x)$ related to its derivatives and higher-order derivatives. First, we study the monotonicity of $P(G,x)/x^n$. Dong proved that $(x-1)^nP(G,x)\geq x^nP(G,x-1)$ for all real $x\geq n$. In particular, taking $x=n$ establishes the Bartels-Welsh ``shameful conjecture" that $P(G,n)/P(G,n-1)>e$. Fadnavis later showed that the same inequality holds for all real $x\geq 36Δ^{\frac{3}{2}}$. We improve this bound by proving that it already holds for all real $x\geq 10Δ^{\frac{3}{2}}$. We then consider a conjecture of Dong, Ge, Gong, Ning, Ouyang, and Tay asserting that \( \frac{d^k}{dx^k} \bigl( \ln[(-1)^n P(G, x)] \bigr) < 0 \) for all \( k \geq 2 \) and \( x \in (-\infty, 0) \). We establish this conjecture for all \( k \geq 2 \) and \( x\leq -2.99Δk \).

Let $G$ be a graph of order $n$ and $P(G,x)$ be the chromatic polynomial of $G$. Dong, Ge, Gong, Ning, Ouyang, and Tay (J. Graph Theory 96(2021) 343) conjectured that $\frac{d^k}{dx^k} \bigl( \ln[(-1)^n P(G, x)] \bigr) < 0$ holds for all $k \geq 2$ and $x \in (-\infty, 0)$. We prove this conjecture for all $k \geq 2 $ and $ x\leq -10Δk $, in which $Δ$ is the maximum degree of $G$.

The mean color number of an $n$-vertex graph $G$, denoted by $μ(G)$, is the average number of colors used in all proper $n$-colorings of $G$. For any graph $G$ and a vertex $w$ in $G$, Dong (2003) conjectured that if $H$ is a graph obtained from a graph $G$ by deleting all but one of the edges which are incident to $w$, then $μ(G)\geq μ(H)$; and also conjectured that $μ(G)\geq μ((G-w)\cup K_1)$. We prove that there is an infinite family of counterexamples to these two conjectures.

In 2015, Brown and Erey conjectured that every $2$-connected graph $G$ on $n$ vertices with chromatic number $k\geq 4$ has at most $(x-1)_{k-1}\big((x-1)^{n-k+1}+(-1)^{n-k}\big)$ proper $x$-colorings for all $x\geq k$. Engbers, Erey, Fox, and He proved this conjecture for $x=k$. In this paper, we prove Brown and Erey's conjecture under the condition that either the clique number of $G$ is $k$, or the independent number of $G$ is $2$.

The DP-coloring is a generalization of the list coloring, introduced by Dvořák and Postle. Let $\mathcal{H}=(L,H)$ be a cover of a graph $G$ and $P_{DP}(G,\mathcal{H})$ be the number of $\mathcal{H}$-colorings of $G$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock, is the minimum value of $P_{DP}(G,\mathcal{H})$ where the minimum is taken over all possible $m$-fold covers $\mathcal{H}$ of $G$. For the family of $n$-vertex connected graphs, one can deduce that trees maximize the DP color function, from two results of Kaul and Mudrock. In this paper we obtain tight upper bounds for the DP color function of $n$-vertex $2$-connected graphs. Another concern in this paper is the canonical labeling in a cover. It is well known that if an $m$-fold cover $\mathcal{H}$ of a graph $G$ has a canonical labeling, then $P_{DP}(G,\mathcal{H})=P(G,m)$ in which $P(G,m)$ is the chromatic polynomial of $G$. However the converse statement of this conclusion is not always true. We give examples that for some $m$ and $G$, there exists an $m$-fold cover $\mathcal{H}$ of $G$ such that $P_{DP}(G,\mathcal{H})=P(G,m)$, but $\mathcal{H}$ has no canonical labelings. We also prove that when $G$ is a unicyclic graph or a theta graph, for each $m\geq 3$, if $P_{DP}(G,\mathcal{H})=P(G,m)$, then $\mathcal{H}$ has a canonical labeling.

Visibility representation of digraphs was introduced by Axenovich, Beveridge, Hutch\-inson, and West (\emph{SIAM J. Discrete Math.} {\bf 27}(3) (2013) 1429--1449) as a natural generalization of $t$-bar visibility representation of undirected graphs. A {\it $t$-bar visibility representation} of a digraph $G$ assigns each vertex at most $t$ horizontal bars in the plane so that there is an arc $xy$ in the digraph if and only if some bar for $x$ "sees" some bar for $y$ above it along an unblocked vertical strip with positive width. The {\it visibility number} $b(G)$ is the least $t$ such that $G$ has a $t$-bar visibility representation. In this paper, we solve several problems about $b(G)$ posed by Axenovich et al.\ and prove that determining whether the bar visibility number of a digraph is $2$ is NP-complete.

For any graph $G$, the chromatic polynomial of $G$ is the function $P(G,m)$ which counts the number of proper $m$-colorings of $G$ for each positive integer $m$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock in 2019, is a generalization of $P(G,m)$ with $P_{DP}(G,m)\le P(G,m)$ for each positive integer $m$. Let $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G)< P(G)$) denote the property that $P_{DP}(G,m)=P(G,m)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds for sufficiently large integers $m$.It is an interesting problem of finding graphs $G$ for which $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds. Kaul and Mudrock showed that if $G$ has an even girth, then $P_{DP}(G)<P(G)$ and Mudrock and Thomason recently proved that $P_{DP}(G)\approx P(G)$ holds for each graph $G$ which has a dominating vertex. We shall generalize their results in this article. For each edge $e$ in $G$, let $\ell(e)=\infty$ if $e$ is a bridge of $G$, and let $\ell(e)$ be the length of a shortest cycle in $G$ containing $e$ otherwise. We first show that if $\ell(e)$ is even for some edge $e$ in $G$, then $P_{DP}(G)<P(G)$ holds. However, the converse statement of this conclusion fails with infinitely many counterexamples. We then prove that $P_{DP}(G)\approx P(G)$ holds for every graph $G$ that contains a spanning tree $T$ such that for each $e\in E(G)\setminus E(T)$, $\ell(e)$ is odd and $e$ contained in a cycle $C$ of length $\ell (e)$ with the property that $\ell(e')<\ell(e)$ for each $e'\in E(C)\setminus (E(T)\cup \{e\})$. Some open problems are proposed in this article.

A signed edge domination function (or SEDF) of a simple graph $G=(V,E)$ is a function $f: E\rightarrow \{1,-1\}$ such that $\sum_{e'\in N[e]}f(e')\ge 1$ holds for each edge $e\in E$, where $N[e]$ is the set of edges in $G$ that share at least one endpoint with $e$. Let $γ_s'(G)$ denote the minimum value of $f(G)$ among all SEDFs $f$, where $f(G)=\sum_{e\in E}f(e)$.In 2005, Xu conjectured that $γ_s'(G)\le n-1$, where $n$ is the order of $G$. This conjecture has been proved for the two cases $v_{odd}(G)=0$ and $v_{even}(G)=0$, where $v_{odd}(G)$ (resp. $v_{even}(G)$) is the number of odd (resp. even) vertices in $G$. This article proves Xu's conjecture for $v_{even}(G)\in \{1, 2\}$. We also show that for any simple graph $G$ of order $n$, $γ_s'(G)\le n+v_{odd}(G)/2$ and $γ_s'(G)\le n-2+v_{even}(G)$ when $v_{even}(G)>0$, and thus $γ_s'(G)\le (4n-2)/3$. Our result improves the best current upper bound of $γ_s'(G)\le \lceil 3n/2\rceil$.

A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. For the complete bipartite graph $K_{m,n}$, the lower bound $b(K_{m,n})\ge\lceil{\frac{mn+4}{2m+2n}}\rceil$ from Euler's Formula is well known. We prove that equality holds.

A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. We show that if $H$ is a spanning subgraph of $G$, then $b(H)\le b(G)+1$. It follows that $b(G)\le \lceil n/6\rceil+1$ when $G$ is an $n$-vertex graph. This improves the upper bound obtained by Chang et al. (SIAM J. Discrete Math. 18 (2004) 462).

The thickness of a graph $G$ is the minimum number of planar subgraphs whose union is $G$. In this paper, we present sharp lower and upper bounds for the thickness of the Kronecker product $G\times H$ of two graphs $G$ and $H$. We also give the exact thickness numbers for the Kronecker product graphs $K_n\times K_2$, $K_{m,n}\times K_2$ and $K_{n,n,n}\times K_2$.

The thickness of a graph G is the minimum number of planar subgraphs whose union is G. In this paper, we obtain the thickness of complete 3-partite graph K_1,n,n, K_2,n,n and complete 4-partite graph K_1,1,n,n.

The $4$-girth-thickness $θ(4,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least four whose union is $G$. In this paper, we obtain that the 4-girth-thickness of complete tripartite graph $K_{n,n,n}$ is $\big\lceil\frac{n+1}{2}\big\rceil$ except for $θ(4,K_{1,1,1})=2$. And we also show that the $4$-girth-thickness of the complete graph $K_{10}$ is three which disprove the conjecture $θ(4,K_{10})=4$ posed by Rubio-Montiel (Ars Math Contemp 14(2) (2018) 319).

The thickness $θ(G)$ of a graph $G$ is the minimum number of planar spanning subgraphs into which the graph $G$ can be decomposed. It is a topological invariant of a graph, which was defined by W.T. Tutte in 1963 and also has important applications to VLSI design. But comparing with other topological invariants, e.g. genus and crossing number, results about thickness of graphs are few. The only types of graphs whose thicknesses have been obtained are complete graphs, complete bipartite graphs and hypercubes. In this paper, by operations on graphs, the thickness of the cartesian product $K_n \Box P_m$, $n,m \geq 2$ are obtained.

The thickness $θ(G)$ of a graph $G$ is the minimum number of planar spanning subgraphs into which the graph $G$ can be decomposed. As a topological invariant of a graph, it is a measurement of the closeness to planarity of a graph, and it also has important applications to VLSI design. In this paper, the thickness of graphs that are obtained by vertex-amalgamation and bar-amalgamation of any two graphs whose thicknesses are known are obtained, respectively. And the lower and upper bounds for the thickness of graphs that are obtained by edge-amalgamation and 2-vertex-amalgamation of any two graphs whose thicknesses are known are also derived, respectively.