arXiv++ Combinatorics

Let $G$ be a simple graph with maximum degree $Δ\ge 3$, and let $P(G,k)$ denote its chromatic polynomial. For each positive integer $k$, the list-color function $P_{\ell}(G,k)$ is the minimum number of $L$-colorings of $G$ over all $k$-assignments $L$. In this paper, we prove that $P_{\ell}(G,k)=P(G,k)$ for every integer $k\ge 23.41Δ$. This gives a threshold for equality that is linear in the maximum degree and independent of the number of vertices or edges. It improves the known sufficient condition $k\ge |E(G)|-1$ for graphs with sufficiently many edges relative to their maximum degree.

For any graph $G$, let $P(G,k)$ and $P_{\ell}(G,k)$ denote the chromatic polynomial and the list-color function of $G$, respectively. It remains an open problem whether, for every graph $G$ and integer $k$, the equality $P(G,k)=P_{\ell}(G,k)>0$ implies that $P(G,k+1)=P_{\ell}(G,k+1)$ also holds. In this paper, we answer this question in the negative. For every integer $k\ge 3$, we construct an infinite family of graphs $G$ such that $P(G,k)=P_{\ell}(G,k)>0$ while $P(G,k+1)>P_{\ell}(G,k+1)$. Moreover, using this infinite family of graphs as attachment gadgets, we further show that any graph $H$ with $P(H,k)=P_{\ell}(H,k)>0$ can be developed into an infinite family of graphs $H'$ with $P(H',k)=P_{\ell}(H',k)>0$ and $P(H',k+1)>P_{\ell}(H',k+1)$.

In this article, we show that for any bridgeless graph $G$, if its flow polynomial $F(G,x)$ has real zeros only, then $G$ is the dual of a chordal plane graph and each zero of $F(G,x)$ is an integer in the set $\{1,2,3\}$.

A connected set in a graph is a non-empty set of vertices that induces a connected subgraph. In an infinite lattice, a connected set is often referred to as a lattice animal, whose enumeration up to isomorphism is a classical problem in both combinatorics and statistical physics. In this paper, we focus on the enumeration of connected sets in finite lattice graphs, providing a link between combinatorial counting and structural connectivity in the system. For any positive integers $m,n$, let $N(P_m\times P_n)$ and $N(C_m\times P_n)$ denote the number of all connected sets in the $(m\times n)$-lattice graph $P_m\times P_n$ and $(m\times n)$-cylindrical lattice graph $C_m\times P_n $, respectively. In 2020, Vince derived enumeration formulas for $N(P_m\times P_2)$ and $N(C_m\times P_2)$, and highlighted the increasing difficulty of extending these calculation results to larger (cylindrical) lattice graphs. Recently, the authors of this paper have developed a method based on multi-step recurrence formulas to obtain the enumeration formula for $N(P_m\times P_n)$ with $m\le 4$. In this article, we apply a similar approach to derive the enumeration formula for $N(C_m\times P_n)$ with $m\le 7$. Further, for the general case, we establish an explicit and tight lower bound on the number of connected sets in the Cartesian product graph $G\times P_n $ for any connected graph $G$, by employing the transfer matrix method on a subclass of connected sets. Based on this, we perform an asymptotic analysis on several lattice graphs and show that $O(N(P_3\times P_n))=1.6694^{3n}$, $O(N(C_4\times P_n))=1.8014^{4n}$, and $O(N(C_5\times P_n))=1.7877^{5n}$.

Inspired by the spread of information in social networks and graph-theoretic processes such as Firefighting and graph cleaning, Bonato, Janssen and Roshanbin introduced in 2016 the burning number $b(G)$ of any finite graph $G$. They conjectured that $b(G)\le \lceil n^\frac{1}{2}\rceil$ holds for all connected graphs $G$ of order $n$, and observed that it suffices to prove the conjecture for all trees. In 2024, Murakami confirmed the conjecture for trees without degree-2 vertices. In this paper, we prove that for all trees $T$ of order $n$ with $n_2$ degree-2 vertices, $$b(T)\le \left\lceil \left(n+n_2-\left\lceil\sqrt{n+n_2+0.25}-1.5\right\rceil\right)^{\frac{1}{2}}\right\rceil.$$ Hence, the conjecture holds for all trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices.

A connected set in a graph is a subset of vertices whose induced subgraph is connected. Although counting the number of connected sets in a graph is generally a \#P-complete problem, it remains an active area of research. In 2020, Vince posed the problem of finding a formula for the number of connected sets in the $(n\times n)$-grid graph. In this paper, we establish a sharp upper bound for the number of connected sets in any grid graph by using multistep recurrence formulas, which further derives enumeration formulas for the numbers of connected sets in $(3\times n)$- and $(4\times n)$-grid graphs, thus solving a special case of the general problem posed by Vince. In the process, we also determine the number of connected sets of $K_{m}\times P_{n}$ by employing the transfer matrix method, where $K_{m}\times P_{n}$ is the Cartesian product of the complete graph of order $m$ and the path of order $n$.

In his article [J. Comb. Theory Ser. B 16 (1974), 168-174], Tutte called two graphs $T$-equivalent (i.e., codichromatic) if they have the same Tutte polynomial and showed that graphs $G$ and $G'$ are $T$-equivalent if $G'$ is obtained from $G$ by flipping a rotor (i.e., replacing it by its mirror) of order at most $5$, where a rotor of order $k$ in $G$ is an induced subgraph $R$ having an automorphism $ψ$ with a vertex orbit $\{ψ^i(u): i\ge 0\}$ of size $k$ such that every vertex of $R$ is only adjacent to vertices in $R$ unless it is in this vertex orbit. In this article, we first show the above result due to Tutte can be extended to a rotor $R$ of order $k\ge 6$ if the subgraph of $G$ induced by all those edges of $G$ which are not in $R$ satisfies certain conditions. Also, we provide a new method for generating infinitely many non-isomorphic $T$-equivalent pairs of graphs.

A {\it mixed hypergraph} ${\cal H}=({\cal V},{\cal C},{\cal D})$ consists of the vertex set ${\cal V}$ and two families of subsets of $2^{\cal V}$: the family ${\cal C}$ of co-edges and the family ${\cal D}$ of edges. ${\cal H}$ is said to be colorable if there is a mapping $f$ from ${\cal V}$ to the set of positive integers such that $|\{f(v):v\in e\}|<|e|$ for each $e\in {\cal C}$ and $|\{f(v):v\in e\}|>1$ for each $e\in {\cal D}$. There exist mixed hypergraphs which are uncolorable, and quite little about these mixed hypergraphs is known. A mixed hypergraph is called a bi-hypergraph if its co-edge set and edge set are the same. In this article, we first apply Lovász local lemma to show that any $r$-uniform bi-hypergraph with $r\ge 4$ is colorable if every edge is incident to less than $(r-1)^{r-1}e^{-1}-1$ other edges, where $e$ is the base of natural logarithms. Then, we show that among all the uncolorable $3$-uniform bi-hypergraphs, the smallest size of a minimal one is ten, which answers a question raised by Tuza and Voloshin in 2000. As an extension, we provide a minimal uncolorable $3$-uniform bi-hypergraph of order $n$ and size at most $\frac{7n}3-4$ for every $n\ge 6$.

In 2013, Ku and Wong showed that for any partitions $μ$ and $μ'$ of a positive integer $n$ with the same first part $u$ and the lexicographic order $μ\triangleleft μ'$, the eigenvalues $ξ_μ$ and $ξ_{μ'}$ of the derangement graph $Γ_n$ have the property $|ξ_μ|\le |ξ_{μ'}|$, where the equality holds if and only if $u=3$ and all other parts are less than $3$. In this article, we obtain an analogous conclusion on the eigenvalues of the perfect matching derangement graph $\mathcal{M}_{2n}$ of $K_{2n}$ by finding a new recurrence formula for the eigenvalues of $\mathcal{M}_{2n}$.

In [J. Combin. Theory Ser. B 161 (2023), 109--119], the authors showed that the list-color function $P_l(G,k)$ of any simple graph $G$ of size $m$ coincides with its chromatic polynomial $P(G,k)$ for all integers $k\ge m-1$. In this article, we extend this conclusion to any uniform hypergraph. Furthermore, we show that for any $r$-uniform hypergraph ${\cal H}=(V,E)$, where $r\ge 2$, $P({\cal H}, L)-P({\cal H},k)\ge (k-|E|+1)k^{|V|-r-1}\sum\limits_{e\in E}\left (k-\left|\bigcap\limits_{v\in e}L(v)\right|\right )$ holds for all integers $k$ with $k\ge |E|-1\ge 4$ and all $k$-assignments $L$ of ${\cal H}$, where $P({\cal H}, L)$ is the number of $L$-colorings of ${\cal H}$.

For any $r$-uniform hypergraph $\mathcal{H}$ with $m$ ($\geq 2$) edges, let $P(\mathcal{H},k)$ and $P_l(\mathcal{H},k)$ be the chromatic polynomial and the list-color function of $\mathcal{H}$ respectively, and let $ρ(\mathcal{H})$ denote the minimum value of $|e\setminus e'|$ among all pairs of distinct edges $e,e'$ in $\mathcal{H}$. We will show that if $r\ge3$, $ρ(\mathcal{H})\ge 2$ and $m\ge \frac{ρ(\mathcal{H})^3}2+1$, then $P_l(\mathcal{H},k)=P(\mathcal{H},k)$ holds for all integers $k\geq \frac{2.4(m-1)}{ρ(\mathcal{H})\log(m-1)}$.

For a hypergraph ${\cal H}$, let $P({\cal H},k)$ and $P_l({\cal H},k)$ be its chromatic polynomial and list-color function respectively, and let $τ'({\cal H})$ be the least non-negative integer $q$ such that $P({\cal H},k)=P_l({\cal H},k)$ holds for all integers $k\ge q$. In this article, we show that for any $r$-uniform hypergraph ${\cal H}$ of order $n$ and size $m$ and any $k$-assignment $L$ of ${\cal H}$, where $r\ge 3$, $P({\cal H},L)-P({\cal H},k)\ge \min \{0.02k, k-(m-1)\} k^{n-r-1}\sum_{e\in E({\cal H})} \left ( k-\left |\bigcap_{v\in e}L(v)\right | \right )$ holds for $k\ge m-1\ge 4$. It follows that $τ'({\cal H})\le m-1$, improving the current best result on $τ'({\cal H})$.

Let $G=(V,E)$ be a simple graph with $n$ vertices and $m$ edges, $P(G,k)$ be the chromatic polynomial of $G$, and $P(G,L)$ be the number of $L$-colorings of $G$ for any $k$-assignment $L$. In this article, we show that when $k\ge m-1\ge 3$, $P(G,L)-P(G,k)$ is bounded below by $\left ( (k-m+1)k^{n-3}+\frac{(k-m+3)c}{3} k^{n-5}\right )\sum\limits_{uv\in E}|L(u)\setminus L(v)|$, where $c\ge \frac{(m-1)(m-3)}{8}$, and in particular, if $G$ is $K_3$-free, then $c\ge {m-2\choose 2}+2\sqrt m-3$. Consequently, $P(G,L)\ge P(G,k)$ whenever $k\ge m-1$.

For any connected graph $G$, let $P(G,m)$ and $P_{DP}(G,m)$ denote the chromatic polynomial and DP color function of $G$, respectively. It is known that $P_{DP}(G,m)\le P(G,m)$ holds for every positive integer $m$. Let $DP_\approx$ (resp. $DP_<$) be the set of graphs $G$ for which there exists an integer $M$ such that $P_{DP}(G,m)=P(G,m)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds for all integers $m \ge M$. Determining the sets $DP_\approx$ and $DP_<$ is a key problem on the study of the DP color function. For any edge set $E_0$ of $G$, let $\ell_G(E_0)$ be the length of a shortest cycle $C$ in $G$ such that $|E(C)\cap E_0|$ is odd whenever such a cycle exists, and $\ell_G(E_0)=\infty$ otherwise. Write $\ell_G(E_0)$ as $\ell_G(e)$ if $E_0=\{e\}$. In this paper, we prove that if $G$ has a spanning tree $T$ such that $\ell_G(e)$ is odd for each $e\in E(G)\setminus E(T)$, the edges in $E(G)\setminus E(T)$ can be labeled as $e_1,e_2,\cdots, e_q$ with $\ell_G(e_i)\le \ell_G(e_{i+1})$ for all $1\le i\le q-1$ and each edge $e_i$ is contained in a cycle $C_i$ of length $\ell_G(e_i)$ with $E(C_i)\subseteq E(T)\cup \{e_j: 1\le j\le i\}$, then $G$ is a graph in $DP_{\approx}$. As a direct application of this conclusion, all plane near-triangulations and complete multipartite graphs with at least three partite sets belong to $DP_{\approx}$. We also show that if $E^*$ is an edge set of $G$ such that $\ell_{G}(E^*)$ is even and $E^*$ satisfies certain conditions, then $G$ belongs to $DP_<$. In particular, if $\ell_G(E^*)=4$, where $E^*$ is a set of edges between two disjoint vertex subsets of $G$, then $G$ belongs to $DP_<$. Both results extend known ones in [DP color functions versus chromatic polynomials, $Advances\ in\ Applied\ Mathematics$ 134 (2022), article 102301].

Let $G$ be a complete multi-partite graph of order $n$. In this paper, we consider the anti-Ramsey number $ar(G,\mathcal{T}_{q})$ with respect to $G$ and the set $\mathcal{T}_{q}$ of trees with $q$ edges, where $2\le q\le n-1$. For the case $q=n-1$, the result has been obtained by Lu, Meier and Wang. We will extend it to $q<n-1$. We first show that $ar(G,\mathcal{T}_{q})=\ell_{q}(G)+1$, where $\ell_{q}(G)$ is the maximum size of a disconnected spanning subgraph $H$ of $G$ with the property that any two components of $H$ together have at most $q$ vertices. Using this equality, we obtain the exact values of $ar(G,\mathcal{T}_{q})$ for $n-3\le q\le n-1$. We also compute $ar(G,\mathcal{T}_{q})$ by a simple algorithm when $(4n-2)/5\le q\le n-1$.

DP-coloring was introduced by Dvořák and Postle and is a generalization of proper coloring. For any graph $G$, let $χ(G)$ and $χ_{DP}(G)$ denote the chromatic number and the DP-chromatic number of $G$ respectively. In this article, we show that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for $s=\left \lceil \frac{4(k+1)m}{2k+1} \right \rceil \le \lceil 2.4m\rceil$, where $k=χ(G)$, $m=|E(G)|$ and $G \vee K_s$ is the join of $G$ and the complete graph $K_s$. Hence $Z_{DP}(n)\le n^2-(n+3)/2$ holds for every integer $n \ge 2$, where $Z_{DP}(n)$ is the minimum natural number $s$ such that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for every graph $G$ of order $n$. Our result improves the best current upper bound $Z_{DP}(n)\le 1.5n^2$ due to Bernshteyn, Kostochka and Zhu.