arXiv++ Combinatorics

A {\it tiered graph} $G=(V,E)$ with $m $ tiers is a simple graph with $V\subseteq \brk{n}$, where $\brk{n}=\{1,2,\cdots,n\}$, and with a surjective map $t$ from $V$ to $\brk{m}$ such that if $v$ is a vertex adjacent to $v'$ in $G$ with $v>v'$, then $t(v) >t(v')$. For any ordered partition $p=(p_1,p_2,\cdots,p_m)$ of $n$, let $\sett_p$ denote the set of tiered trees with vertex set $\brk{n}$ and with a map $t: \brk{n}\rightarrow \brk{m}$ such that $|t^{-1}(i)|=p_i$ for all $i=1,2,\ldots,m$. For any $T\in \sett_p$, let $K_T$ denote the complete tiered graph whose vertex set and tiering map are the same as those of $T$. If the edges of $K_T$ are ordered lexicographically by their endpoints, then the weight $w(T)$ of $T$ is the external activity of $T$ in $K_T$, i.e., the number of edges $e\in E(K_{T})\setminus E(T)$ such that $e$ is the least element in the unique cycle determined by $T\cup e$. Let $P_p(q)=\sum_{T\in \sett_{p}}q^{w(T)}$. Dugan, Glennon, Gunnells and Steingrímsson [J. Combin. Theory, Ser. A 164 (2019) pp. 24-49] asked for an elementary proof of the identity $P_p(q)=P_{π(p)}(q)$ for any permutation $π$ of $1,2,\cdots,m$, where $π(p)=p_{π(1)},p_{π(2)},\cdots,p_{π(m)})$. In this article, we will prove an extension of this identity by applying Tutte polynomials. Furthermore, we also provide a proof of the identity $P_{(1,p_1,p_2)}(q)=P_{(p_1+1,p_2+1)}(q)$ via Tutte polynomials.

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 complex unit gain graph (or ${\mathbb T}$-gain graph) is a triple $Φ=(G, {\mathbb T}, \varphi)$ (or $(G, \varphi)$ for short) consisting of a simple graph $G$, as the underlying graph of $(G, \varphi)$, the set of unit complex numbers $\mathbb{T}= \{ z \in C:|z|=1 \}$ and a gain function $\varphi: \overrightarrow{E} \rightarrow \mathbb{T}$ with the property that $\varphi(e_{i,j})=\varphi(e_{j,i})^{-1}$. In this paper, we prove that $2m(G)-2c(G) \leq r(G, \varphi) \leq 2m(G)+c(G)$, where $r(G, \varphi)$, $m(G)$ and $c(G)$ are the rank of the Hermitian adjacency matrix $H(G, \varphi)$, the matching number and the cyclomatic number of $G$, respectively. Furthermore, the complex unit gain graphs $(G, \mathbb{T}, \varphi)$ with $r(G, \varphi)=2m(G)-2c(G)$ and $r(G, \varphi)=2m(G)+c(G)$ are characterized. These results generalize the corresponding known results about undirected graphs, mixed graphs and signed graphs. Moreover, we show that $2m(G-V_{0}) \leq r(G, \varphi) \leq 2m(G)+b(G)$ holds for any subset $V_0$ of $V(G)$ such that $G-V_0$ is acyclic and $b(G)$ is the minimum integer $|S|$ such that $G-S$ is bipartite for $S \subset V(G)$.

Let $G=(V,E)$ be a simple graph with $V=\{1,2,\cdots,n\}$ and $χ(G,x)$ be its chromatic polynomial. For an ordering $π=(v_1,v_2,\cdots,v_n)$ of elements of $V$, let $δ_G(π)$ be the number of $i$'s, where $1\le i\le n-1$, with either $v_i<v_{i+1}$ or $v_iv_{i+1}\in E$. Let ${\cal W}(G)$ be the set of subsets $\{a,b,c\}$ of $V$, where $a<b<c$, which induces a subgraph with $ac$ as its only edge. We show that ${\cal W}(G)=\emptyset$ if and only if $(-1)^nχ(G,-x)=\sum_π {x+δ_G(π)\choose n}$, where the sum runs over all $n!$ orderings $π$ of $V$. To prove this result, we establish an analogous result on order polynomials of posets and apply Stanley's work on the relation between chromatic polynomials and order polynomials.

For any connected multigraph $G=(V,E)$ and any $M\subseteq E$, if $M$ induces an acyclic subgraph of $G$ and removing all edges in $M$ yields a subgraph of $G$ whose components are complete graphs, a formula for $τ_G(M)$ is obtained, where $τ_G(M)$ is the number of spanning trees in $G$ which contain all edges in $M$. Applying this result, we can easily obtain a formula for the number of spanning trees in the line graph or the middle graph of an arbitrary graph. Applying this result, we also show that for any connected graph $G$ with a clique $U$ which is a cut-set of $G$, the number of spanning trees in $G$ has a factorization which is analogous to a property of the chromatic polynomial of $G$.

Using the theory of electrical network, we first obtain a simple formula for the number of spanning trees of a complete bipartite graph containing a certain matching or a certain tree. Then we apply the effective resistance (i.e., resistance distance in graphs) to find a formula for the number of spanning trees in the nearly complete bipartite graph $G(m,n,p)=K_{m,n}-pK_2$ $(p\leq \min\{m,n\})$, which extends a recent result by Ye and Yan who obtained the effective resistances and the number of spanning trees in $G(n,n,p)$. As a corollary, we obtain the Kirchhoff index of $G(m,n,p)$ which extends a previous result by Shi and Chen.

Let $G=(V,E)$ be a matching-covered graph and $X$ be an edge set of $G$. $X$ is said to be feasible if there exist two perfect matchings $M_1$ and $M_2$ in $G$ such that $|M_1\cap X|\not \equiv|M_2\cap X|\ (\mbox{mod } 2)$. For any $V_0\subseteq V$, $X$ is said to be switching-equivalent to $X\oplus \nabla_G(V_0)$, where $\nabla_G(V_0)$ is the set of edges in $G$ each of which has exactly one end in $V_0$ and $A \oplus B$ is the symmetric difference of two sets $A$ and $B$. Lukot'ka and Rollová showed that when $G$ is regular and bipartite, $X$ is non-feasible if and only if $X$ is switching-equivalent to $\emptyset$. This article extends Lukot'ka and Rollová's result by showing that this conclusion holds as long as $G$ is matching-covered and bipartite. This article also studies matching-covered graphs $G$ whose non-feasible edge sets are switching-equivalent to $\emptyset$ or $E$ and partially characterizes these matching-covered graphs in terms of their ear decompositions. Another aim of this article is to construct infinite many $r$-connected and $r$-regular graphs of class 1 containing non-feasible edge sets not switching-equivalent to either $\emptyset$ or $E$ for an arbitrary integer $r$ with $r\ge 3$, which provides negative answers to problems asked by Lukot'ka and Rollová and He, et al respectively.

In this paper, we prove that $(-\infty, 0)$ is a zero-free interval for chromatic polynomials of a family ${\cal L}_0$ of hypergraphs and $(0, 1)$ is a zero-free interval for chromatic polynomials of a subfamily ${\cal L}_0'$ of ${\cal L}_0$ of hypergraphs. These results extend known results on zero-free intervals of chromatic polynomials of graphs and hypergraphs.

Let $G$ be a bridgeless graph. In 2011 Kung and Royle showed that all roots of the flow polynomial $F(G,λ)$ of $G$ are integers if and only if $G$ is the dual of a chordal and plane graph. In this article, we study whether a bridgeless graph $G$ for which $F(G,λ)$ has real roots only must be the dual of some chordal and plane graph. We conclude that the answer of this problem for $G$ is positive if and only if $F(G,λ)$ does not have any real root in the interval $(1,2)$. We also prove that for any non-separable and $3$-edge connected $G$, if $G-e$ is also non-separable for each edge $e$ in $G$ and every $3$-edge-cut of $G$ consists of edges incident with some vertex of $G$, then all roots of $P(G,λ)$ are real if and only if either $G\in \{L,Z_3,K_4\}$ or $F(G,λ)$ contains at least $9$ real roots in the interval $(1,2)$, where $L$ is the graph with one vertex and one loop and $Z_3$ is the graph with two vertices and three parallel edges joining these two vertices.

The chromatic polynomial $P(G,x)$ of a graph $G$ of order $n$ can be expressed as $\sum\limits_{i=1}^n(-1)^{n-i}a_{i}x^i$, where $a_i$ is interpreted as the number of broken-cycle free spanning subgraphs of $G$ with exactly $i$ components. The parameter $ε(G)=\sum\limits_{i=1}^n (n-i)a_i/\sum\limits_{i=1}^n a_i$ is the mean size of a broken-cycle-free spanning subgraph of $G$. In this article, we confirm and strengthen a conjecture proposed by Lundow and Markström in 2006 that $ε(T_n)< ε(G)<ε(K_n)$ holds for any connected graph $G$ of order $n$ which is neither the complete graph $K_n$ nor a tree $T_n$ of order $n$. The most crucial step of our proof is to obtain the interpretation of all $a_i$'s by the number of acyclic orientations of $G$.

In this paper, we present some properties on chromatic polynomials of hypergraphs which do not hold for chromatic polynomials of graphs. We first show that chromatic polynomials of hypergraphs have all integers as their zeros and contain dense real zeros in the set of real numbers. We then prove that for any multigraph $G=(V,E)$, the number of totally cyclic orientations of $G$ is equal to the value of $|P(H,-1)|$, where $P(H,λ)$ is the chromatic polynomial of a hypergraph $H$ which is constructed from $G$. Finally we show that the multiplicity of root "$0$" of $P(H,λ)$ may be at least $2$ for some connected hypergraphs $H$, and the multiplicity of root "$1$" of $P(H,λ)$ may be $1$ for some connected and separable hypergraphs $H$ and may be $2$ for some connected and non-separable hypergraphs $H$.

For any graph $G$, let $t(G)$ be the number of spanning trees of $G$, $L(G)$ be the line graph of $G$ and for any non-negative integer $r$, $S_r(G)$ be the graph obtained from $G$ by replacing each edge $e$ by a path of length $r+1$ connecting the two ends of $e$. In this paper we obtain an expression for $t(L(S_r(G)))$ in terms of spanning trees of $G$ by a combinatorial approach. This result generalizes some known results on the relation between $t(L(S_r(G)))$ and $t(G)$ and gives an explicit expression $t(L(S_r(G)))=k^{m+s-n-1}(rk+2)^{m-n+1}t(G)$ if $G$ is of order $n+s$ and size $m+s$ in which $s$ vertices are of degree $1$ and the others are of degree $k$. Thus we prove a conjecture on $t(L(S_1(G)))$ for such a graph $G$.

A matching $M$ in a multigraph $G=(V,E)$ is said to be uniquely restricted if $M$ is the only perfect matching in the subgraph of $G$ induced by $V(M)$ (i.e., the set of vertices saturated by $M$). For any fixed vertex $x_0$ in $G$, there is a bijection from the set of spanning trees of $G$ to the set of uniquely restricted matchings of size $|V|-1$ in $S(G)-x_0$, where $S(G)$ is the bipartite graph obtained from $G$ by subdividing each edge in $G$. Thus the notion "uniquely restricted matchings of a bipartite graph $H$ saturating all vertices in a partite set $X$" can be viewed as an extension of "spanning trees in a connected graph". Motivated by this observation, we extend the notion "G-parking functions" of a connected multigraph to "B-parking functions" $f:X\rightarrow \{-1,0,1,2,\cdots \}$ of a bipartite graph $H$ with a bipartition $(X,Y)$ and find a bijection $ψ$ from the set of uniquely restricted matchings of $H$ to the set of B-parking functions of $H$. We also show that for any uniquely restricted matching $M$ in $H$ with $|M|=|X|$, if $f=ψ(M)$, then $\sum_{x\in X}f(x)$ is exactly the number of elements $y\in Y-V(M)$ which are not externally B-active with respect to $M$ in $H$, where the new notion "externally B-active members with respect to $M$ in $H$" is an extension of "externally active edges with respect to a spanning tree in a connected multigraph".

This article studies real roots of the flow polynomial $F(G,λ)$ of a bridgeless graph $G$. For any integer $k\ge 0$, let $ξ_k$ be the supremum in $(1,2]$ such that $F(G,λ)$ has no real roots in $(1,ξ_k)$ for all graphs $G$ with $|W(G)|\le k$, where $W(G)$ is the set of vertices in $G$ of degrees larger than $3$. We prove that $ξ_k$ can be determined by considering a finite set of graphs and show that $ξ_k=2$ for $k\le 2$, $ξ_3=1.430\cdots$, $ξ_4=1.361\cdots$ and $ξ_5=1.317\cdots$. We also prove that for any bridgeless graph $G=(V,E)$, if all roots of $F(G,λ)$ are real but some of these roots are not in the set $\{1,2,3\}$, then $|E|\ge |V|+17$ and $F(G,λ)$ has at least 9 real roots in $(1,2)$.