arXiv++ Combinatorics

We identify the mean growth of the independence number of random binary search trees and random recursive trees and show normal fluctuations around their means. Similarly we also show normal limit laws for the domination number and variations of it for these two cases of random tree models. Our results are an application of a recent general theorem of Holmgren and Janson on fringe trees in these two random tree models.

In 1995 Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$, whose $e$-positivity and Schur-positivity has been of large interest. In this paper we study the relative $e$-positivity and Schur-positivity between connected graphs on $n$ vertices. We define and investigate two families of posets on distinct chromatic symmetric functions. The relations depend on the $e$-positivity or Schur-positivity of a weighed subtraction between $X_G$ and $X_H$. We find a biconditional condition between $e$-positivity or Schur-positivity and the relation to the complete graph. This gives a new paradigm for $e$-positivity and for Schur-positivity. We show many other interesting properties of these posets including that trees form an independent set and are maximal elements. Additionally, we find that stars are independent elements, the independence number increases as we increase in the poset and that the family of lollipop graphs form a chain.

The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that there exists a $k$-vertex coloring of $G$ in which any two vertices receiving color $i$ are at distance at least $i+1$. In this short note we present upper and lower bound for the packing chromatic number of the lexicographic product $G\circ H$ of graphs $G$ and $H$. Both bounds coincide in many cases. In particular this happens if $|V(H)|-α(H)\geq {\rm diam}(G)-1$, where $α(G)$ denotes the independence number of $G$.

Given a digraph $D$ with $m$ arcs and a bijection $τ: A(D)\rightarrow \{1, 2, \ldots, m\}$, we say $(D, τ)$ is an antimagic orientation of a graph $G$ if $D$ is an orientation of $G$ and no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs, biregular bipartite graphs, and graphs with large maximum degree. In this paper, we establish more evidence for the aforementioned conjecture by studying antimagic orientations of graphs $G$ with independence number at least $|V(G)|/2$ or at most four. We obtain several results. The method we develop in this paper may shed some light on attacking the aforementioned conjecture.

A complex unit gain graph (or $\mathbb{T}$-gain graph) is a triple $Φ=(G, \mathbb{T}, \varphi)$ ($(G, \varphi)$ for short) consisting of a graph $G$ as the underlying graph of $(G, \varphi)$, $\mathbb{T}= \{ z \in C:|z|=1 \} $ is a subgroup of the multiplicative group of all nonzero complex numbers $\mathbb{C}^{\times}$ and a gain function $\varphi: \overrightarrow{E} \rightarrow \mathbb{T}$ such that $\varphi(e_{ij})=\varphi(e_{ji})^{-1}=\overline{\varphi(e_{ji})}$. In this paper, we investigate the relation among the rank, the independence number and the cyclomatic number of a complex unit gain graph $(G, \varphi)$ with order $n$, and prove that $2n-2c(G) \leq r(G, \varphi)+2α(G) \leq 2n$. Where $r(G, \varphi)$, $α(G)$ and $c(G)$ are the rank of the Hermitian adjacency matrix $A(G, \varphi)$, the independence number and the cyclomatic number of $G$, respectively. Furthermore, the properties of the complex unit gain graph that reaching the lower bound are characterized.

We give a probabilistic construction of a $3$-uniform hypergraph on $N$ vertices with independence number $O(\log N / \log \log N)$ in which there are at most two edges among any four vertices. This bound is tight and solves a longstanding open problem of Erdős and Hajnal in Ramsey theory. We further extend this result to prove tight bounds on various other hypergraph Ramsey numbers.

We present a refinement of the classical alteration method for constructing $H$-free graphs: for suitable edge-probabilities $p$, we show that removing all edges in $H$-copies of the binomial random graph $G_{n,p}$ does not significantly change the independence number. This differs from earlier alteration approaches of Erdős and Krivelevich, who obtained similar guarantees by removing one edge from each $H$-copy (instead of all of them). We demonstrate the usefulness of our refined alternation method via two applications to online graph Ramsey games, where it enables easier analysis.

A graph $G$ is a fractional $(a,b,k)$-critical covered graph if $G-U$ is a fractional $[a,b]$-covered graph for every $U\subseteq V(G)$ with $|U|=k$, which is first defined by Zhou, Xu and Sun (S. Zhou, Y. Xu, Z. Sun, Degree conditions for fractional $(a,b,k)$-critical covered graphs, Information Processing Letters, DOI: 10.1016/j.ipl.2019.105838). Furthermore, they derived a degree condition for a graph to be a fractional $(a,b,k)$-critical covered graph. In this paper, we gain an independence number and connectivity condition for a graph to be a fractional $(a,b,k)$-critical covered graph and verify that $G$ is a fractional $(a,b,k)$-critical covered graph if $$ κ(G)\geq\max\Big\{\frac{2b(a+1)(b+1)+4bk+5}{4b},\frac{(a+1)^{2}α(G)+4bk+5}{4b}\Big\}. $$

A family $\mathcal{A}$ of sets is said to be intersecting if every two sets in $\mathcal{A}$ intersect. An intersecting family is said to be \emph{trivial} it its sets have a common element. A graph $G$ is said to be $r$-EKR if at least one of the largest intersecting families of independent $r$-element sets of $G$ is trivial. Let $α(G)$ and $ω(G)$ denote the independence number and the clique number of $G$, respectively. Hilton and Spencer recently showed that if $G$ is the vertex-disjoint union of a cycle ${_*C}$ raised to the power $k^*$ and $s$ cycles ${_1C}, \dots, {_sC}$ raised to the powers $k_1, \dots, k_s$, respectively, $1 \leq r \leq α(G)$, and $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq 2k^* + 1,$$ then $G$ is $r$-EKR. They had shown that the same holds if ${_*C}$ is replaced by a path and the condition on the clique numbers is relaxed to $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq k^* + 1.$$ We use the classical Shadow Intersection Theorem of Katona to obtain a short proof of each result for the case where the inequality for the minimum clique number is strict.

For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge n/k$ for all $v \in V(G)$, then G contains a directed cycle of length at most $k$. In [2], N. Lichiardopol proved that this conjecture is true for digraphs with independence number equal to two. In this paper, we generalize that result, proving that the conjecture is true for digraphs with independence number at most $(k+1)/2$.

The celebrated Hadwiger's conjecture states that if a graph contains no $K_{t+1}$ minor then it is $t$-colourable. If true, it would in particular imply that every $n$-vertex $K_{t+1}$-minor-free graph has an independent set of size at least $n/t$. In 1982, Duchet and Meyniel proved that this bound holds within a factor $2$. Their bound has been improved; most notably in an absolute factor by Fox, which was later improved by Balogh and Kostochka. Here we consider the same question for triangle-free graphs. By the results of Shearer and Kostochka and Thomason, it follows that any triangle-free graph with no $K_t$ minor has an independent set of size $Ω(\tfrac{\sqrt{\log{t}}}{t}n)$. We show that a much larger independent set exists; for all sufficiently large $t$ every triangle-free graph on $n$ vertices with no $K_t$-minor has an independent set of size $ \tfrac{n}{t^{1-\varepsilon}}$. This answers a question of Sergey Norin.

We give a short proof of the following theorem due to Jon H. Folkman (1969): The chromatic number of any graph is at most $2$ plus the maximum over all subgraphs of the difference between half the number of vertices and the independence number.

For a simple connected graph $G$, let $D(G)$, $Tr(G)$, $D^{L}(G)$ and $D^{Q}(G)$, respectively be the distance matrix, the diagonal matrix of the vertex transmissions, distance Laplacian matrix and the distance signless Laplacian matrix of a graph $G$. The convex linear combinations $D_α(G)$ of $Tr(G)$ and $D(G)$ is defined as $D_α(G)=αTr(G)+(1-α)D(G)$, $0\leq α\leq 1$. As $D_{0}(G)=D(G), ~~~ 2D_{\frac{1}{2}}(G)=D^{Q}(G), ~~~ D_{1}(G)=Tr(G)$ and $D_α(G)-D_β(G)=(α-β)D^{L}(G)$, this matrix reduces to merging the distance spectral, distance Laplacian spectral and distance signless Laplacian spectral theories. Let $\partial_{1}(G)\geq \partial_{2}(G)\geq \dots \geq \partial_{n}(G)$ be the eigenvalues of $D_α(G)$ and let $D_αS(G)=\partial_{1}(G)-\partial_{n}(G)$ be the generalized distance spectral spread of the graph $G$. In this paper, we obtain some bounds for the generalized distance spectral spread $D_α(G)$. We also obtain relation between the generalized distance spectral spread $D_α(G)$ and the distance spectral spread $S_{D}(G)$. Further, we obtain the lower bounds for $D_αS(G)$ of bipartite graphs involving different graph parameters and we characterize the extremal graphs for some cases. We also obtain lower bounds for $D_αS(G)$ in terms of clique number and independence number of the graph $G$ and characterize the extremal graphs for some cases.

The $k$-independence number of a graph is the maximum size of a set of vertices at pairwise distance greater than $k$. A graph is called $k$-partially walk-regular if the number of closed walks of a given length $l\le k$, rooted at a vertex $v$, only depends on $l$. In particular, a distance-regular graph is also $k$-partially walk-regular for any $k$. In this note, we introduce a new family of polynomials obtained from the spectrum of a graph. These polynomials, together with the interlacing technique, allow us to give tight spectral bounds on the $k$-independence number of a $k$-partially walk-regular graph. Together with some examples where the bounds are tight, we also show that the odd graph $O_{\ell}$ with $\ell$ odd has no $1$-perfect code.

A signed graph $(G, σ)$ is a graph with a sign attached to each of its edges, where $G$ is the underlying graph of $(G, σ)$. Let $c(G)$, $α(G)$ and $r(G, σ)$ be the cyclomatic number, the independence number and the rank of the adjacency matrix of $(G, σ)$, respectively. In this paper, we study the relation among the independence number, the rank and the cyclomatic number of a signed graph $(G, σ)$ with order $n$, and prove that $2n-2c(G) \leq r(G, σ)+2α(G) \leq 2n$. Furthermore, the signed graphs that reaching the lower bound are investigated.

We consider a family of distance graphs in $\mathbb{R}^n$ and find its independent numbers in some cases. Define graph $J_{\pm}(n,k,t)$ in the following way: the vertex set consists of all vectors from $\{-1,0,1\}^n$ with $k$ nonzero coordinates; edges connect the pairs of vertices with scalar product $t$. We find the independence number of $J_{\pm}(n,k,t)$ for $n > n_0 (k,t)$ in the cases $t = 0$ and $t = -1$; these cases for $k = 3$ are solved completely. Also the independence number is found for negative odd $t$ and $n > n_0 (k,t)$.

In any graph $G$, the domination number $γ(G)$ is at most the independence number $α(G)$. The Inverse Domination Conjecture says that, in any isolate-free $G$, there exists pair of vertex-disjoint dominating sets $D, D'$ with $|D|=γ(G)$ and $|D'| \leq α(G)$. Here we prove that this statement is true if the upper bound $α(G)$ is replaced by $\frac{3}{2}α(G) - 1$ (and $G$ is not a clique). We also prove that the conjecture holds whenever $γ(G)\leq 5$ or $|V(G)|\leq 16$.

The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $α$ contains $K_{\lceil \frac nα\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ contains an immersion of a clique on $\bigl\lceil \frac{χ(G)-4}{3.54}\bigr\rceil$ vertices. Their result implies that every $n$-vertex graph with independence number $α$ contains an immersion of a clique on $\bigl\lceil \frac{n}{3.54α}-1.13\bigr\rceil$ vertices. We improve on this result for all $α\ge 3$, by showing that every $n$-vertex graph with independence number $α\ge 3$ contains an immersion of a clique on $\bigl\lfloor \frac {n}{2.25 α- f(α)} \bigr\rfloor - 1$ vertices, where $f$ is a nonnegative function.

A broadcast on a nontrivial connected graph G is a function f from the vertices of G to the non-negative integers such that f(v) does not exceed e(v) (the eccentricity of v) for each vertex v. If G is disconnected, we define a broadcast on G as the union of broadcasts on its components. In a search for the best way to generalise the concept of independent sets in graphs to independent broadcasts, there are several ways to look at an independent set X of a graph G. One way is from the point of view of the vertices in X: no two vertices are adjacent -- the usual definition. Another way is from the point of view of the edges of G: no edge is incident with (or covered by) more than one vertex in X. Using the latter approach we define boundary independent broadcasts as an alternative to independent broadcasts as defined by D. Erwin [Cost domination in graphs, Doctoral dissertation, Western Michigan University, 2001], which we refer to here as hearing or h-independent broadcasts. We compare the boundary independence broadcast number to the independence number and the h-independence broadcast number and show that the differences can be arbitrary, while the ratios are bounded; the bounds we present are asymptotically best possible. We also show that, although the difference between the boundary independence broadcast number and the independence number can be arbitrary for trees, they are equal for any 2-connected bipartite graph. We prove a tight upper bound for the boundary independence number and characterise graphs for which equality holds. Using this bound and the established ratio we obtain a new tight upper bound for Erwin's h-independence broadcast number.

A $k$-$γ_{c}$-edge critical graph is a graph $G$ with the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Further, a $2$-connected graph $G$ is said to be $k$-$γ_{c}$-vertex critical if $γ_{c}(G) = k$ and $γ_{c}(G - v) < k$ for all $v \in V(G)$. A maximal $k$-$γ_{c}$-vertex critical graph is a graph which are both $k$-$γ_{c}$-edge critical and $k$-$γ_{c}$-vertex critical. Let $κ, δ, ω$ and $α$ be respectively connectivity minimum degree, clique number and independence number. In this paper, we prove that every maximal $3$-$γ_{c}$-vertex critical graph $G$ satisfies $α\leq δ$ and this bound is best possible. We prove further that $G$ satisfies $α+ ω\leq n - 1$ and we also characterize all such graphs achieving the upper bounds. We finally show that if $G$ satisfies $κ< δ$, then every two vertices of $G$ are joined by hamiltonian path.