arXiv++ Combinatorics

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.

We show that for any graph $G$, by considering "activation" through the strong product with another graph $H$, the relation $α(G) \leq \vartheta(G)$ between the independence number and the Lovász number of $G$ can be made arbitrarily tight: Precisely, the inequality \[ α(G \times H) \leq \vartheta(G \times H) = \vartheta(G)\,\vartheta(H) \] becomes asymptotically an equality for a suitable sequence of ancillary graphs $H$. This motivates us to look for other products of graph parameters of $G$ and $H$ on the right hand side of the above relation. For instance, a result of Rosenfeld and Hales states that \[ α(G \times H) \leq α^*(G)\,α(H), \] with the fractional packing number $α^*(G)$, and for every $G$ there exists $H$ that makes the above an equality; conversely, for every graph $H$ there is a $G$ that attains equality. These findings constitute some sort of duality of graph parameters, mediated through the independence number, under which $α$ and $α^*$ are dual to each other, and the Lovász number $\vartheta$ is self-dual. We also show duality of Schrijver's and Szegedy's variants $\vartheta^-$ and $\vartheta^+$ of the Lovász number, and explore analogous notions for the chromatic number under strong and disjunctive graph products.

The Havel-Hakimi algorithm iteratively reduces the degree sequence of a graph to a list of zeroes. As shown by Favaron, Mahéo, and Saclé, the number of zeroes produced, known as the residue, is a lower bound on the independence number of the graph. We say that a graph has the strong Havel-Hakimi property if in each of its induced subgraphs, deleting any vertex of maximum degree reduces the degree sequence in the same way that the Havel-Hakimi algorithm does. We characterize graphs having this property (which include all threshold and matrogenic graphs) in terms of minimal forbidden induced subgraphs. We further show that for these graphs the residue equals the independence number, and a natural greedy algorithm always produces a maximum independent set.

The Shannon capacity of a graph $G$ is defined as $c(G)=\sup_{d\geq 1}(α(G^d))^{\frac{1}{d}},$ where $α(G)$ is the independence number of $G$. The Shannon capacity of the cycle $C_5$ on $5$ vertices was determined by Lovász in 1979, but the Shannon capacity of a cycle $C_p$ for general odd $p$ remains one of the most notorious open problems in information theory. By prescribing stabilizers for the independent sets in $C_p^d$ and using stochastic search methods, we show that $α(C_7^5)\geq 350$, $α(C_{11}^4)\geq 748$, $α(C_{13}^4)\geq 1534$ and $α(C_{15}^3)\geq 381$. This leads to improved lower bounds on the Shannon capacity of $C_7$ and $C_{15}$: $c(C_7)\geq 350^{\frac{1}{5}}> 3.2271$ and $c(C_{15})\geq 381^{\frac{1}{3}}> 7.2495$.

In this paper, we study the structure of the permutability graphs of subgroups, and the permutability graphs of non-normal subgroups of the following groups: the dihedral groups $D_n$, the generalized quaternion groups $Q_n$, the quasi-dihedral groups $QD_{2^n}$ and the modular groups $M_{p^n}$. Further, we investigate the number of edges, degrees of the vertices, independence number, dominating number, clique number, chromatic number, weakly perfectness, Eulerianness, Hamiltonicity of these graphs.

We present a semidefinite programming approach to bound the measures of cross-independent pairs in a bipartite graph. This can be viewed as a far-reaching extension of Hoffman's ratio bound on the independence number of a graph. As an application, we solve a problem on the maximum measures of cross-intersecting families of subsets with two different product measures, which is a generalized measure version of the Erdős-Ko-Rado theorem for cross-intersecting families with different uniformities.

For a graph $G$ the expression $G \overset{v}{\rightarrow} (a_1, ..., a_s)$ means that for any $s$-coloring of the vertices of $G$ there exists $i \in \{1, ..., s\}$ such that there is a monochromatic $a_i$-clique of color $i$. The vertex Folkman numbers $$F_v(a_1, ..., a_s; m - 1) = \min\{\vert V(G) \vert : G \overset{v}{\rightarrow} (a_1, ..., a_s) \mbox{ and } K_{m - 1} \not\subseteq G\}.$$ are considered, where $m = \sum_{i = 1}^{s}(a_i - 1) + 1$. With the help of computer we show that $F_v(2, 2, 5; 6) = 16$ and then we prove $$F_v(a_1, ..., a_s; m - 1) = m + 9,$$ if $\max\{a_1, ..., a_s\} = 5$. We also obtain the bounds $$m + 9 \leq F_v(a_1, ..., a_s; m - 1) \leq m + 10,$$ if $\max\{a_1, ..., a_s\} = 6$. Keywords: Folkman number, Ramsey number, clique number, independence number, chromatic number

A mapping of $k$-bit strings into $n$-bit strings is called an $(α,β)$-map if $k$-bit strings which are more than $αk$ apart are mapped to $n$-bit strings that are more than $βn$ apart. This is a relaxation of the classical problem of constructing error-correcting codes, which corresponds to $α=0$. Existence of an $(α,β)$-map is equivalent to existence of a graph homomorphism $\bar H(k,αk)\to \bar H(n,βn)$, where $H(n,d)$ is a Hamming graph with vertex set $\{0,1\}^n$ and edges connecting vertices differing in $d$ or fewer entries. This paper proves impossibility results on achievable parameters $(α,β)$ in the regime of $n,k\to\infty$ with a fixed ratio ${n\over k}= ρ$. This is done by developing a general criterion for existence of graph-homomorphism based on the semi-definite relaxation of the independence number of a graph (known as the Schrijver's $θ$-function). The criterion is then evaluated using some known and some new results from coding theory concerning the $θ$-function of Hamming graphs. As an example, it is shown that if $β>1/2$ and $n\over k$ -- integer, the ${n\over k}$-fold repetition map achieving $α=β$ is asymptotically optimal. Finally, constraints on configurations of points and hyperplanes in projective spaces over $\mathbb{F}_2$ are derived.

A graph is $H$-free if it has no induced subgraph isomorphic to $H$. Brandstädt, Engelfriet, Le and Lozin proved that the class of chordal graphs with independence number at most 3 has unbounded clique-width. Brandstädt, Le and Mosca erroneously claimed that the gem and the co-gem are the only two 1-vertex $P_4$-extensions $H$ for which the class of $H$-free chordal graphs has bounded clique-width. In fact we prove that bull-free chordal and co-chair-free chordal graphs have clique-width at most 3 and 4, respectively. In particular, we find four new classes of $H$-free chordal graphs of bounded clique-width. Our main result, obtained by combining new and known results, provides a classification of all but two stubborn cases, that is, with two potential exceptions we determine all graphs $H$ for which the class of $H$-free chordal graphs has bounded clique-width. We illustrate the usefulness of this classification for classifying other types of graph classes by proving that the class of $(2P_1+P_3,K_4)$-free graphs has bounded clique-width via a reduction to $K_4$-free chordal graphs. Finally, we give a complete classification of the (un)boundedness of clique-width of $H$-free weakly chordal graphs.

In this article we consider the relationship between vertex coloring and the immersion order. Specifically, a conjecture proposed by Abu-Khzam and Langston in 2003, which says that the complete graph with $t$ vertices can be immersed in any $t$-chromatic graph, is studied. First, we present a general result about immersions and prove that the conjecture holds for graphs whose complement does not contain any induced cycle of length four and also for graphs having the property that every set of five vertices induces a subgraph with at least six edges. Then, we study the class of all graphs with independence number less than three, which are graphs of interest for Hadwiger's Conjecture. We study such graphs for the immersion-analog. If Abu-Khzam and Langston's conjecture is true for this class of graphs, then an easy argument shows that every graph of independence number less than $3$ contains $K_{\left\lceil\frac{n}{2}\right\rceil}$ as an immersion. We show that the converse is also true. That is, if every graph with independence number less than $3$ contains an immersion of $K_{\left\lceil\frac{n}{2}\right\rceil}$, then Abu-Khzam and Langston's conjecture is true for this class of graphs. Furthermore, we show that every graph of independence number less than $3$ has an immersion of $K_{\left\lceil\frac{n}{3}\right\rceil}$.

A graph is equimatchable if each of its matchings is a subset of a maximum matching. It is known that any 2-connected equimatchable graph is either bipartite, or factor-critical, and that these two classes are disjoint. This paper provides a description of k-connected equimatchable factor-critical graphs with respect to their k-cuts for $k\ge 3$. As our main result we prove that if G is a k-connected equimatchable factor-critical graph with at least 2k+3 vertices and a k-cut S, then G-S has exactly two components and both these components are close to being complete or complete bipartite. If both components of G-S additionally have at least 3 vertices and $k\ge 4$, then the graph has independence number 2. On the other hand, since every 2-connected odd graph with independence number 2 is equimatchable, we get the following result. For any $k\ge 4$ let G be a k-connected odd graph with at least 2k+3 vertices and a k-cut S such that G-S has two components with at least 3 vertices. Then G has independence number 2 if and only if it is equimatchable and factor-critical. Furthermore, we show that a 2-connected odd graph G with at least 4 vertices has independence number at most 2 if and only if G is equimatchable and factor-critical and G+e is equimatchable for every edge of the complement of G.

Let the {\it bicoloring cover number $χ^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $χ^c(G)$ bicolorings. We investigate the relationship between $χ^c(G)$, matchings, hitting sets, $α(G)$(independence number) and $χ(G)$ (chromatic number). We design a factor $O(\frac{\log n}{\log \log n-\log \log \log n})$ approximation algorithm for computing a bicoloring cover. We define a new parameter for hypergraphs - "cover independence number $γ(G)$" and prove that $\log \frac{|V|}{γ(G)}$ and $\frac{|V|}{2γ(G)}$ are lower bounds for $χ^c(G)$ and $χ(G)$, respectively. We show that $χ^c(G)$ can be approximated by a polynomial time algorithm achieving approximation ratio $\frac{1}{1-t}$, if $γ(G)=n^t$, where $t<1$. We also construct a particular class of hypergraphs $G(V,E)$ called {\it cover friendly} hypergraphs where the ratio of $α(G)$ to $γ(G)$ can be arbitrarily large.We prove that for any $t\geq 1$, there exists a $k$-uniform hypergraph $G$ such that the {\it clique number} $ω(G)=k$ and $χ^c(G) > t$. Let $m(k,x)$ denote the minimum number of hyperedges %in a $k$-uniform hypergraph $G$ such that some $k$-uniform hypergraph $G$ with $m(k,x)$ hyperedges does not have a bicoloring cover of size $x$. We show that $ 2^{(k-1)x-1} < m(k,x) \leq x \cdot k^2 \cdot 2^{(k+1)x+2}$. Let the {\it dependency $d(G)$} of $G$ be the maximum number of hyperedge neighbors of any hyperedge in $G$. We propose an algorithm for computing a bicoloring cover of size $x$ for $G$ if $d(G) \leq(\frac{2^{x(k-1)}}{e}-1)$ using $nx+kx\frac{m}{d}$ random bits.

A $k$-uniform family of subsets of $[n]$ is intersecting if it does not contain a disjoint pair of sets. The study of intersecting families is central to extremal set theory, dating back to the seminal Erdős-Ko-Rado theorem of 1961 that bounds the size of the largest such families. A recent trend has been to investigate the structure of set families with few disjoint pairs. Friedgut and Regev proved a general removal lemma, showing that when $γn \le k \le (\tfrac12 - γ)n$, a set family with few disjoint pairs can be made intersecting by removing few sets. We provide a simple proof of a removal lemma for large families, showing that families of size close to $\ell \binom{n-1}{k-1}$ with relatively few disjoint pairs must be close to a union of $\ell$ stars. Our lemma holds for a wide range of uniformities; in particular, when $\ell = 1$, the result holds for all $2 \le k < \frac{n}{2}$ and provides sharp quantitative estimates. We use this removal lemma to settle a question of Bollobás, Narayanan and Raigorodskii regarding the independence number of random subgraphs of the Kneser graph $K(n,k)$. The Erdős-Ko-Rado theorem shows $α(K(n,k)) = \binom{n-1}{k-1}$. For some constant $c > 0$ and $k \le cn$, we determine the sharp threshold for when this equality holds for random subgraphs of $K(n,k)$, and provide strong bounds on the critical probability for $k \le \tfrac12 (n-3)$.

A graph $G$ is {\em well-covered} if every maximal independent set has the same cardinality $q$. Let $i_k(G)$ denote the number of independent sets of cardinality $k$ in $G$. Brown, Dilcher, and Nowakowski conjectured that the independence sequence $(i_0(G), i_1(G), \ldots, i_q(G))$ was unimodal for any well-ordered graph $G$ with independence number $q$. Michael and Traves disproved this conjecture. Instead they posited the so-called ``Roller Coaster" Conjecture: that the terms \[ i_{\left\lceil\frac{q}2\right\rceil}(G), i_{\left\lceil\frac{q}2\right\rceil+1}(G), \ldots, i_q(G) \] could be in any specified order for some well-covered graph $G$ with independence number $q$. Michael and Traves proved the conjecture for $q<8$ and Matchett extended this to $q<12$. In this paper, we prove the Roller Coaster Conjecture using a construction of graphs with a property related to that of having a maximal-clique partition. In particular, we show, for all pairs of integers $1\le k<q$ and positive integers $m$, that there is a well-covered graph $G$ with independence number $q$ for which every independent set of size $k+1$ is contained in a unique maximal independent set, but each independent set of size $k$ is contained in at least $m$ distinct independent sets.