arXiv++ Combinatorics

A graph is normal if it admits a clique cover $\mathcal C$ and a stable set cover $\mathcal S$ such that each clique in $\mathcal C$ and each stable set in $\mathcal S$ have a vertex in common. The pair $(\mathcal{C,S})$ is a normal cover of the graph. We present the following extremal property of normal covers. For positive integers $c,s$, if a graph with $n$ vertices admits a normal cover with cliques of sizes at most $c$ and stable sets of sizes at most $s$, then $c+s\geq\log_2(n)$. For infinitely many $n$, we also give a construction of a graph with $n$ vertices that admits a normal cover with cliques and stable sets of sizes less than $0.87\log_2(n)$. Furthermore, we show that for all $n$, there exists a normal graph with $n$ vertices, clique number $Θ(\log_2(n))$ and independence number $Θ(\log_2(n))$. When $c$ or $s$ are very small, we can describe all normal graphs with the largest possible number of vertices that allow a normal cover with cliques of sizes at most $c$ and stable sets of sizes at most $s$. However, such extremal graphs remain elusive even for moderately small values of $c$ and $s$.

The paper is devoted to the study of graph sequence G_n = (V_n, E_n) where V_n is the set of all vectors v in R^n with coordinates from {-1, 0, 1} such that |v| = sqrt(3), and E_n consists of all pairs of vertices with the scalar product 1. We find exactly the independence number of G_n. As a corollary we get some new lower bounds of chi(\R^n) and chi(\Q^n) for small values of n.

In this paper, we obtain two spectral upper bounds for the $k$-independence number of a graph which is is the maximum size of a set of vertices at pairwise distance greater than $k$. We construct graphs that attain equality for our first bound and show that our second bound compares favorably to previous bounds on the $k$-independence number.

Let $G=A_n$, a finite alternating group. We study the commuting graph of $G$ and establish, for all possible values of $n$ barring $13, 14, 17$ and $19$, whether or not the independence number is equal to the clique-covering number.

For an $r$-uniform hypergraph $H$, let $f(H)$ be the minimum number of complete $r$-partite $r$-uniform subhypergraphs of $H$ whose edge sets partition the edge set of $H$. For a graph $G$, $f(G)$ is the bipartition number of $G$ which was introduced by Graham and Pollak in 1971. In 1988, Erdős conjectured that if $G \in G(n,1/2)$, then with high probability $f(G)=n-α(G)$, where $α(G)$ is the independence number of $G$. This conjecture and related problems have received a lot of attention recently. In this paper, we study the value of $f(H)$ for a typical $r$-uniform hypergraph $H$. More precisely, we prove that if $(\log n)^{2.001}/n \leq p \leq 1/2$ and $H \in H^{(r)}(n,p)$, then with high probability $f(H)=(1-π(K^{(r-1)}_r)+o(1))\binom{n}{r-1}$, where $π(K^{(r-1)}_r)$ is the Turán density of $K^{(r-1)}_r$.

Let $s$ be an integer, $f=f(n)$ a function, and $H$ a graph. Define the Ramsey-Turán number $RT_s(n,H, f)$ as the maximum number of edges in an $H$-free graph $G$ of order $n$ with $α_s(G) < f$, where $α_s(G)$ is the maximum number of vertices in a $K_s$-free induced subgraph of $G$. The Ramsey-Turán number attracted a considerable amount of attention and has been mainly studied for $f$ not too much smaller than $n$. In this paper we consider $RT_s(n,K_t, n^δ)$ for fixed $δ<1$. We show that for an arbitrarily small $\varepsilon>0$ and $1/2<δ< 1$, $RT_s(n,K_{s+1}, n^δ) = Ω(n^{1+δ-\varepsilon})$ for all sufficiently large $s$. This is nearly optimal, since a trivial upper bound yields $RT_s(n,K_{s+1}, n^δ) = O(n^{1+δ})$. Furthermore, the range of $δ$ is as large as possible. We also consider more general cases and find bounds on $RT_s(n,K_{s+r},n^δ)$ for fixed $r\ge2$. Finally, we discuss a phase transition of $RT_s(n, K_{2s+1}, f)$ extending some recent result of Balogh, Hu and Simonovits.

Consider classical Kneser's graph $K(n,r)$: for two natural numbers $ r, n $ such that $r \le n / 2$, its vertices are all the subsets of $[n]=\{1,2,\ldots,n\}$ of size $r$, and two such vertices are adjacent if the corresponding subsets are disjoint. The Erdős--Ko--Rado theorem states that the size of the largest independent set in this graph is $\binom{n-1}{r-1}$. Now let us delete each edge of the graph $K(n,r)$ with some fixed probability $p$ independently of each other. Quite surprisingly, the independence number of such random subgraph $K_p(n,r)$ of the graph $ K(n,r) $ is, with high probability, the same as the independence number of the initial graph. This phenomenon is called the stability of the independence number. This paper concerns the independence number of random subgraphs of the graph $G(n,r,1)$, which vertices are the same as in the Kneser graph and there is an edge between two vertices if they intersect in exactly one element. We prove the stability result for constant $r$ and $p=\frac{1}{2}$. To do that, we show that any sufficiently large independent set in $G(n,r,1)$ has some predefined structure, and this is a result of independent interest.

We present results on partitioning the vertices of $2$-edge-colored graphs into monochromatic paths and cycles. We prove asymptotically the two-color case of a conjecture of Sárközy: the vertex set of every $2$-edge-colored graph can be partitioned into at most $2α(G)$ monochromatic cycles, where $α(G)$ denotes the independence number of $G$. Another direction, emerged recently from a conjecture of Schelp, is to consider colorings of graphs with given minimum degree. We prove that apart from $o(|V(G)|)$ vertices, the vertex set of any $2$-edge-colored graph $G$ with minimum degree at least $(1+\eps){3|V(G)|\over 4}$ can be covered by the vertices of two vertex disjoint monochromatic cycles of distinct colors. Finally, under the assumption that $\overline{G}$ does not contain a fixed bipartite graph $H$, we show that in every $2$-edge-coloring of $G$, $|V(G)|-c(H)$ vertices can be covered by two vertex disjoint paths of different colors, where $c(H)$ is a constant depending only on $H$. In particular, we prove that $c(C_4)=1$, which is best possible.

Let $G$ be a simple graph with vertex set $V(G)$. A set $S\subseteq V(G)$ is independent if no two vertices from $S$ are adjacent. For $X\subseteq V(G)$, the difference of $X$ is $d(X) = |X|-|N(X)|$ and an independent set $A$ is critical if $d(A) = \max \{d(X): X\subseteq V(G) \text{ is an independent set}\}$ (possibly $A=\emptyset$). Let $\text{nucleus}(G)$ and $\text{diadem}(G)$ be the intersection and union, respectively, of all maximum size critical independent sets in $G$. In this paper, we will give two new characterizations of König-Egerváry graphs involving $\text{nucleus}(G)$ and $\text{diadem}(G)$. We also prove a related lower bound for the independence number of a graph. This work answers several conjectures posed by Jarden, Levit, and Mandrescu.

A tree containing exactly two non-pendant vertices is called a double-star. Let $k_1$ and $k_2$ be two positive integers. The double-star with degree sequence $(k_1+1, k_2+1, 1, \ldots, 1)$ is denoted by $S_{k_1, k_2}$. If $G$ is a cubic graph and has an $S$-decomposition, for a double-star $S$, then $S$ is isomorphic to $S_{1,1}$, $S_{1,2}$ or $S_{2,2}$. It is known that a cubic graph has an $S_{1,1}$-decomposition if and only if it contains a perfect matching. In this paper we study the $S_{1,2}$-decomposition of cubic graphs. First, we present some necessary conditions for the existence of an $S_{1,2}$-decomposition in cubic graphs. Then we prove that every $\{C_3, C_5, C_7\}$-free cubic graph of order $n$ with $α(G)= \frac{3n}{8}$ has an $S_{1,2}$-decomposition, where $α(G)$ denotes the independence number of $G$. Finally, we obtain some results on the $S_{1,r-1}$-decomposition of $r$-regular graphs.

Let $G$ be a graph and $v$ any vertex of $G$. We define the degenerate degree of $v$, denoted by $ζ(v)$ as $ζ(v)={\max}_{H: v\in H}~δ(H)$, where the maximum is taken over all subgraphs of $G$ containing the vertex $v$. We show that the degenerate degree sequence of any graph can be determined by an efficient algorithm. A $k$-independent set in $G$ is any set $S$ of vertices such that $Δ(G[S])\leq k$. The largest cardinality of any $k$-independent set is denoted by $α_k(G)$. For $k\in \{1, 2, 3\}$, we prove that $α_{k-1}(G)\geq {\sum}_{v\in G} \min \{1, 1/(ζ(v)+(1/k))\}$. Using the concept of cheap vertices we strengthen our bound for the independence number. The resulting lower bounds improve greatly the famous Caro-Wei bound and also the best known bounds for $α_1(G)$ and $α_2(G)$ for some families of graphs. We show that the equality in our bound for independence number happens for a large class of graphs. Our bounds are achieved by Cheap-Greedy algorithms for $α_k(G)$ which are designed by the concept of cheap sets. At the end, a bound for $α_k(G)$ is presented, where $G$ is a forest and $k$ an arbitrary non-negative integer.

The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the uncolored vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter and Lister want to minimize and maximize the total score, respectively. The best score that each player can guarantee is the sum-color cost of $G$, written $\mathring{\mathrm{s}}(G)$. The game is an online variant of online sum list coloring. We proe $\frac{|V(G)|}{2α(G)} + \frac{1}{2} \leq \frac{\mathring{\mathrm{s}}(G)}{|V(G)|} \leq \max\left\{ \frac{|V(H)|}{α(H)} : H \subset G\right\}$, where $α(G)$ is the independence number, and we study when equality holds in the bounds. We compute $\mathring{\mathrm{s}}(G)$ for graphs with $α(G) = 2$. Among $n$-vertex graphs, we prove that $\mathring{\mathrm{s}}$ is minimized by the star and maximized by the path. We also obtain good bounds on $\mathring{\mathrm{s}}(K_{r,s})$.

Let $G$ be a distance-regular graph of order $v$ and size $e$. In this paper, we show that the max-cut in $G$ is at most $e(1-1/g)$, where $g$ is the odd girth of $G$. This result implies that the independence number of $G$ is at most $\frac{v}{2}(1-1/g)$. We use this fact to also study the extendability of matchings in distance-regular graphs. A graph $G$ of even order $v$ is called $t$-extendable if it contains a perfect matching, $t<v/2$ and any matching of $t$ edges is contained in some perfect matching. The extendability of $G$ is the maximum $t$ such that $G$ is $t$-extendable. We generalize previous results on strongly regular graphs and show that all distance-regular graphs with diameter $D\geq 3$ are $2$-extendable. We also obtain various lower bounds for the extendability of distance-regular graphs of valency $k$ that depend on $k$, $λ$ and $μ$, where $λ$ is the number of common neighbors of any two adjacent vertices and $μ$ is the number of common neighbors of any two vertices in distance two.

In this thesis, which is supervised by Dr. David Penman, we examine random interval graphs. Recall that such a graph is defined by letting $X_{1},\ldots X_{n},Y_{1},\ldots Y_{n}$ be $2n$ independent random variables, with uniform distribution on $[0,1]$. We then say that the $i$th of the $n$ vertices is the interval $[X_{i},Y_{i}]$ if $X_{i}<Y_{i}$ and the interval $[Y_{i},X_{i}]$ if $Y_{i}<X_{i}$. We then say that two vertices are adjacent if and only if the corresponding intervals intersect. We recall from our MA902 essay that fact that in such a graph, each edge arises with probability $2/3$, and use this fact to obtain estimates of the number of edges. Next, we turn to how these edges are spread out, seeing that (for example) the range of degrees for the vertices is much larger than classically, by use of an interesting geometrical lemma. We further investigate the maximum degree, showing it is always very close to the maximum possible value $(n-1)$, and the striking result that it is equal to $(n-1)$ with probability exactly $2/3$. We also recall a result on the minimum degree, and contrast all these results with the much narrower range of values obtained in the alternative \lq comparable\rq\, model $G(n,2/3)$ (defined later). We then study clique numbers, chromatic numbers and independence numbers in the Random Interval Graphs, presenting (for example) a result on independence numbers which is proved by considering the largest chain in the associated interval order. Last, we make some brief remarks about other ways to define random interval graphs, and extensions of random interval graphs, including random dot product graphs and other ways to define random interval graphs. We also discuss some areas these ideas should be usable in. We close with a summary and some comments.

For a sequence $d$ of non-negative integers, let ${\cal G}(d)$ and ${\cal F}(d)$ be the sets of all graphs and forests with degree sequence $d$, respectively. Let $γ_{\min}(d)=\min\{ γ(G):G\in {\cal G}(d)\}$, $α_{\max}(d)=\max\{ α(G):G\in {\cal G}(d)\}$, $γ_{\min}^{\cal F}(d)=\min\{ γ(F):F\in {\cal F}(d)\}$, and $α_{\max}^{\cal F}(d)=\max\{ α(F):F\in {\cal F}(d)\}$ where $γ(G)$ is the domination number and $α(G)$ is the independence number of a graph $G$. Adapting results of Havel and Hakimi, Rao showed in 1979 that $α_{\max}(d)$ can be determined in polynomial time. We establish the existence of realizations $G\in {\cal G}(d)$ with $γ_{\min}(d)=γ(G)$, and $F_γ,F_α\in {\cal F}(d)$ with $γ_{\min}^{\cal F}(d)=γ(F_γ)$ and $α_{\max}^{\cal F}(d)=α(F_α)$ that have strong structural properties. This leads to an efficient algorithm to determine $γ_{\min}(d)$ for every given degree sequence $d$ with bounded entries as well as closed formulas for $γ_{\min}^{\cal F}(d)$ and $α_{\max}^{\cal F}(d)$.

For a sequence $d$ of non-negative integers, let ${\cal F}(d)$ be the set of all forests whose degree sequence is $d$. We present closed formulas for $γ_{\max}^{\cal F}(d)=\max\{ γ(F):F\in {\cal F}(d)\}$ and $α_{\min}^{\cal F}(d)=\min\{ α(F):F\in {\cal F}(d)\}$ where $γ(F)$ and $α(F)$ are the domination number and the independence number of a forest $F$, respectively.

The independence number $α(H)$ of a hypergraph $H$ is the maximum cardinality of a set of vertices of $H$ that does not contain an edge of $H$. Generalizing Shearer's classical lower bound on the independence number of triangle-free graphs (J. Comb. Theory, Ser. B 53 (1991) 300-307), and considerably improving recent results of Li and Zang (SIAM J. Discrete Math. 20 (2006) 96-104) and Chishti et al. (Acta Univ. Sapientiae, Informatica 6 (2014) 132-158), we show that $$α(H)\geq \sum_{u\in V(H)}f_r(d_H(u))$$ for an $r$-uniform linear triangle-free hypergraph $H$ with $r\geq 2$, where \begin{eqnarray*} f_r(0)&=&1\mbox{, and }\\ f_r(d)&=&\frac{1+\Big((r-1)d^2-d\Big)f_r(d-1)}{1+(r-1)d^2}\mbox{ for $d\geq 1$.} \end{eqnarray*}

First, we consider the problem of deciding whether a nonlocal game admits a perfect entangled strategy that uses projective measurements on a maximally entangled shared state. Via a polynomial-time Karp reduction, we show that independent set games are the hardest instances of this problem. Secondly, we show that if every independent set game whose entangled value is equal to one admits a perfect entangled strategy, then the same holds for all symmetric synchronous games. Finally, we identify combinatorial lower bounds on the classical and entangled values of synchronous games in terms of variants of the independence number of appropriate graphs. Our results suggest that independent set games might be representative of all nonlocal games when dealing with questions concerning perfect entangled strategies.

The bounds on the sum and product of chromatic numbers of a graph and its complement are known as Nordhaus-Gaddum inequalities. In this paper, we study the operations on the Independence numbers of graphs with their complement. We also provide a new characterization of certain graph classes.

The \emph{regular independence number}, introduced by Albertson and Boutin in 1990, is the maximum cardinality of an independent set of $G$ in which all vertices have equal degree in $G$. Recently, Caro, Hansberg and Pepper introduced the concept of regular $k$-independence number, which is a natural generalization of the regular independence number. A \emph{$k$-independent set} is a set of vertices whose induced subgraph has maximum degree at most $k$. The \emph{regular $k$-independence number} of $G$, denoted by $α_{k-reg}(G)$, is defined as the maximum cardinality of a $k$-independent set of $G$ in which all vertices have equal degree in $G$. In this paper, the exact values of the regular $k$-independence numbers of some special graphs are obtained. We also get some lower and upper bounds for the regular $k$-independence number of trees with given diameter, and the lower bounds for the regular $k$-independence number of line graphs. For a simple graph $G$ of order $n$, we show that $1\leqα_{k-reg}(G)\leq n$ and characterize the extremal graphs. The Nordhaus-Gaddum-type results for the regular $k$-independence number of graphs are also obtained.