arXiv++ Combinatorics

A directed dominating set in a directed graph $D$ is a set $S$ of vertices of $V$ such that every vertex $u \in V(D) \setminus S$ has an adjacent vertex $v$ in $S$ with $v$ directed to $u$. The directed domination number of $D$, denoted by $γ(D)$, is the minimum cardinality of a directed dominating set in $D$. The directed domination number of a graph $G$, denoted $Γ_d(G)$, which is the maximum directed domination number $γ(D)$ over all orientations $D$ of $G$. The directed domination number of a complete graph was first studied by Erdös [Math. Gaz. 47 (1963), 220--222], albeit in disguised form. In this paper we prove a Greedy Partition Lemma for directed domination in oriented graphs. Applying this lemma, we obtain bounds on the directed domination number. In particular, if $α$ denotes the independence number of a graph $G$, we show that $α\le Γ_d(G) \le α(1+2\ln(n/α))$.

Determining the size of a maximum independent set of a graph $G$, denoted by $α(G)$, is an NP-hard problem. Therefore, many attempts are made to find upper and lower bounds, or exact values of $α(G)$ for special classes of graphs. This paper is aimed toward studying this problem for the class of generalized Petersen graphs. We find new upper and lower bounds and some exact values for $α(P(n,k))$. With a computer program we have obtained exact values for each $n<78$. In \cite{MR2381433} it is conjectured that $β(P(n, k)) \leq n + \lceil\frac{n}{5}\rceil $, for all $n$ and $k$. We prove this conjecture for some cases. In particular, we show that if $ n> 3k$, the conjecture is valid. We checked the conjecture with our table for $n < 78$ and it had no inconsistency. Finally, we show that for every fix $k$, $α(P(n, k))$ can be computed using an algorithm with running time O(n).

An $r$-graph $G$ is a pair $(V,E)$ such that $V$ is a set and $E$ is a family of $r$-element subsets of $V$. The \emph{independence number} $α(G)$ of $G$ is the size of a largest subset $I$ of $V$ such that no member of $E$ is a subset of $I$. The \emph{transversal number} $τ(G)$ of $G$ is the size of a smallest subset $T$ of $V$ that intersects each member of $E$. $G$ is said to be \emph{connected} if for every distinct $v$ and $w$ in $V$ there exists a \emph{path} from $v$ to $w$ (that is, a sequence $e_1, \dots, e_p$ of members of $E$ such that $v \in e_1$, $w \in e_p$, and if $p \geq 2$, then for each $i \in \{1, \dots, p-1\}$, $e_i$ intersects $e_{i+1}$). The \emph{degree} of a member $v$ of $V$ is the number of members of $E$ that contain $v$. The maximum of the degrees of the members of $V$ is denoted by $Δ(G)$. We show that for any $1 \leq k < n$, if $G = (V,E)$ is a connected $r$-graph, $|V| = n$, and $Δ(G) = k$, then \[α(G) \leq n - \left \lceil \frac{n-1}{k(r-1)} \right \rceil, \quad τ(G) \geq \left \lceil \frac{n-1}{k(r-1)} \right \rceil,\] and these bounds are sharp. The two bounds are equivalent.

The K_4-free process starts with the empty graph on n vertices and at each step adds a new edge chosen uniformly at random from all remaining edges that do not complete a copy of K_4. Let G be the random maximal K_4-free graph obtained at the end of the process. We show that for some positive constant C, with high probability as $n \to \infty$, the maximum degree in G is at most $C n^{3/5}\sqrt[5]{\log n}$. This resolves a conjecture of Bohman and Keevash for the K_4-free process and improves on previous bounds obtained by Bollobás and Riordan and by Osthus and Taraz. Combined with results of Bohman and Keevash this shows that with high probability G has $Θ(n^{8/5}\sqrt[5]{\log n})$ edges and is `nearly regular', i.e., every vertex has degree $Θ(n^{3/5}\sqrt[5]{\log n})$. This answers a question of Erdős, Suen and Winkler for the K_4-free process. We furthermore deduce an additional structural property: we show that whp the independence number of G is at least $Ω(n^{2/5}(\log n)^{4/5}/\log \log n)$, which matches an upper bound obtained by Bohman up to a factor of $Θ(\log \log n)$. Our analysis of the K_4-free process also yields a new result in Ramsey theory: for a special case of a well-studied function introduced by Erdős and Rogers we slightly improve the best known upper bound.

An independent set $I_c$ is a \textit{critical independent set} if $|I_c| - |N(I_c)| \geq |J| - |N(J)|$, for any independent set $J$. The \textit{critical independence number} of a graph is the cardinality of a maximum critical independent set. This number is a lower bound for the independence number and can be computed in polynomial-time. Any graph can be decomposed into two subgraphs where the independence number of one subgraph equals its critical independence number, where the critical independence number of the other subgraph is zero, and where the sum of the independence numbers of the subgraphs is the independence number of the graph. A proof of a conjecture of Graffiti.pc yields a new characterization of König-Egervary graphs: these are exactly the graphs whose independence and critical independence numbers are equal.

The independence number of a graph G, denoted by alpha(G), is the cardinality of an independent set of maximum size in G, while mu(G) is the size of a maximum matching in G, i.e., its matching number. G is a Konig-Egervary graph if its order equals alpha(G)+mu(G). In this paper we give a new characterization of Konig-Egervary graphs. We also deduce some properties of vertices belonging to all maximum independent sets of a Konig-Egervary graph.

A 2-hued coloring of a graph $G$ (also known as conditional $(k, 2)$-coloring and dynamic coloring) is a coloring such that for every vertex $v\in V(G)$ of degree at least $2$, the neighbors of $v$ receive at least $2$ colors. The smallest integer $k$ such that $G$ has a 2-hued coloring with $ k $ colors, is called the {\it 2-hued chromatic number} of $G$ and denoted by $χ_2(G)$. In this paper, we will show that if $G$ is a regular graph, then $ χ_{2}(G)- χ(G) \leq 2 \log _{2}(α(G)) +\mathcal{O}(1) $ and if $G$ is a graph and $δ(G)\geq 2$, then $ χ_{2}(G)- χ(G) \leq 1+\lceil \sqrt[δ-1]{4Δ^{2}} \rceil ( 1+ \log _{\frac{2Δ(G)}{2Δ(G)-δ(G)}} (α(G)) ) $ and in general case if $G$ is a graph, then $ χ_{2}(G)- χ(G) \leq 2+ \min \lbrace α^{\prime}(G),\frac{α(G)+ω(G)}{2}\rbrace $.

We prove that in every bipartite Cayley graph of every non-amenable group, there is a perfect matching that is obtained as a factor of independent uniform random variables. We also discuss expansion properties of factors and improve the Hoffman spectral bound on independence number of finite graphs.

The H-free process, for some fixed graph H, is the random graph process defined by starting with an empty graph on n vertices and then adding edges one at a time, chosen uniformly at random subject to the constraint that no H subgraph is formed. Let G be the random maximal H-free graph obtained at the end of the process. When H is strictly 2-balanced, we show that for some c>0, with high probability as $n \to \infty$, the minimum degree in G is at least $cn^{1-(v_H-2)/(e_H-1)}(\log n)^{1/(e_H-1)}$. This gives new lower bounds for the Turán numbers of certain bipartite graphs, such as the complete bipartite graphs $K_{r,r}$ with $r \ge 5$. When H is a complete graph $K_s$ with $s \ge 5$ we show that for some C>0, with high probability the independence number of G is at most $Cn^{2/(s+1)}(\log n)^{1-1/(e_H-1)}$. This gives new lower bounds for Ramsey numbers R(s,t) for fixed $s \ge 5$ and t large. We also obtain new bounds for the independence number of G for other graphs H, including the case when H is a cycle. Our proofs use the differential equations method for random graph processes to analyse the evolution of the process, and give further information about the structure of the graphs obtained, including asymptotic formulae for a broad class of subgraph extension variables.

A graph G on n vertices is Hamiltonian if it contains a cycle of length n and pancyclic if it contains cycles of length $\ell$ for all $3 \le \ell \le n$. Write $α(G)$ for the independence number of $G$, i.e. the size of the largest subset of the vertex set that does not contain an edge, and $κ(G)$ for the (vertex) connectivity, i.e. the size of the smallest subset of the vertex set that can be deleted to obtain a disconnected graph. A celebrated theorem of Chvátal and Erdős says that $G$ is Hamiltonian if $κ(G) \ge α(G)$. Moreover, Bondy suggested that almost any non-trivial conditions for Hamiltonicity of a graph should also imply pancyclicity. Motivated by this, we prove that if $κ(G) \ge 600α(G)$ then G is pancyclic. This establishes a conjecture of Jackson and Ordaz up to a constant factor. Moreover, we obtain the more general result that if G is Hamiltonian with minimum degree $δ(G) \ge 600α(G)$ then G is pancyclic. Improving an old result of Erdős, we also show that G is pancyclic if it is Hamiltonian and $n \ge 150α(G)^3$. Our arguments use the following theorem of independent interest on cycle lengths in graphs: if $δ(G) \ge 300α(G)$ then G contains a cycle of length $\ell$ for all $3 \le \ell \le δ(G)/81$.

Let $G(V,E)$ be a simple, undirected graph where $V$ is the set of vertices and $E$ is the set of edges. A $b$-dimensional cube is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval of unit length on the real line. The \emph{cubicity} of $G$, denoted by $\cub(G)$ is the minimum positive integer $b$ such that the vertices in $G$ can be mapped to axis parallel $b$-dimensional cubes in such a way that two vertices are adjacent in $G$ if and only if their assigned cubes intersect. Suppose $S(m)$ denotes a star graph on $m+1$ nodes. We define \emph{claw number} $ψ(G)$ of the graph to be the largest positive integer $m$ such that $S(m)$ is an induced subgraph of $G$. It can be easily shown that the cubicity of any graph is at least $\ceil{\log_2ψ(G)}$. In this paper, we show that, for an interval graph $G$ $\ceil{\log_2ψ(G)}\le\cub(G)\le\ceil{\log_2ψ(G)}+2$. Till now we are unable to find any interval graph with $\cub(G)>\ceil{\log_2ψ(G)}$. We also show that, for an interval graph $G$, $\cub(G)\le\ceil{\log_2α}$, where $α$ is the independence number of $G$. Therefore, in the special case of $ψ(G)=α$, $\cub(G)$ is exactly $\ceil{\log_2α}$. The concept of cubicity can be generalized by considering boxes instead of cubes. A $b$-dimensional box is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval on the real line. The \emph{boxicity} of a graph, denoted $ box(G)$, is the minimum $k$ such that $G$ is the intersection graph of $k$-dimensional boxes. It is clear that $ box(G)\le\cub(G)$. From the above result, it follows that for any graph $G$, $\cub(G)\le box(G)\ceil{\log_2α}$.

The Conjecture of Hadwiger implies that the Hadwiger number $h$ times the independence number $α$ of a graph is at least the number of vertices $n$ of the graph. In 1982 Duchet and Meyniel proved a weak version of the inequality, replacing the independence number $α$ by $2α-1$, that is, $$(2α-1)\cdot h \geq n.$$ In 2005 Kawarabayashi, Plummer and the second author published an improvement of the theorem, replacing $2α- 1$ by $2α- 3/2$ when $α$ is at least 3. Since then a further improvement by Kawarabayashi and Song has been obtained, replacing $2α- 1$ by $2α- 2$ when $α$ is at least 3. In this paper a basic elementary extension of the Theorem of Duchet and Meyniel is presented. This may be of help to avoid dealing with basic cases when looking for more substantial improvements. The main unsolved problem (due to Seymour) is to improve, even just slightly, the theorem of Duchet and Meyniel in the case when the independence number $α$ is equal to 2. The case $α= 2$ of Hadwiger's Conjecture was first pointed out by Mader as an interesting special case.

Four basic Dirac-type sufficient conditions for a graph $G$ to be hamiltonian are known involving order $n$, minimum degree $δ$, connectivity $κ$ and independence number $α$ of $G$: (1) $δ\geq n/2$ (Dirac); (2) $κ\geq 2$ and $δ\geq (n+κ)/3$ (by the author); (3) $κ\geq 2$ and $δ\geq \max\lbrace (n+2)/3,α\rbrace$ (Nash-Williams); (4) $κ\geq 3$ and $δ\geq \max\lbrace (n+2κ)/4,α\rbrace$ (by the author). In this paper we prove the reverse version of (4) concerning the circumference $c$ of $G$ and completing the list of reverse versions of (1)-(4): (R1) if $κ\geq 2$, then $c\geq\min\lbrace n,2δ\rbrace$ (Dirac); (R2) if $κ\geq 3$, then $c\geq\min\lbrace n,3δ-κ\rbrace$ (by the author); (R3) if $κ\geq 3$ and $δ\geq α$, then $c\geq\min\lbrace n,3δ-3\rbrace$ (Voss and Zuluaga); (R4) if $κ\geq 4$ and $δ\geq α$, then $c\geq\min\lbrace n,4δ-2κ\rbrace$. To prove (R4), we present four more general results centered around a lower bound $c\geq 4δ-2κ$ under four alternative conditions in terms of fragments. A subset $X$ of $V(G)$ is called a fragment of $G$ if $N(X)$ is a minimum cut-set and $V(G)-(X\cup N(X))\neq\emptyset$.

Let G be a graph on n vertices in which every induced subgraph on s=\log^3 n vertices has an independent set of size at least t=\log n. What is the largest q=q(n) so that every such G must contain an independent set of size at least q ? This is one of several related questions raised by Erdos and Hajnal. We show that q(n)=Θ(\log^2 n/\log \log n), investigate the more general problem obtained by changing the parameters s and t, and discuss the connection to a related Ramsey-type problem.

Families of boxes in $\mathbb R^d$ are considered. In the paper an upper bound on the size of a minimum transversal in terms of the space dimension and the independence number of the given family was improved.

We give some new bounds for the clique and independence numbers of a graph in terms of its eigenvalues.

The $k$-th power of a graph $G$ is the graph whose vertex set is $V(G)^k$, where two distinct $k$-tuples are adjacent iff they are equal or adjacent in $G$ in each coordinate. The Shannon capacity of $G$, $c(G)$, is $\lim_{k\to\infty}α(G^k)^{1/k}$, where $α(G)$ denotes the independence number of $G$. When $G$ is the characteristic graph of a channel $\mathcal{C}$, $c(G)$ measures the effective alphabet size of $\mathcal{C}$ in a zero-error protocol. A sum of channels, $\mathcal{C}=\sum_i \mathcal{C}_i$, describes a setting when there are $t\geq 2$ senders, each with his own channel $\mathcal{C}_i$, and each letter in a word can be selected from either of the channels. This corresponds to a disjoint union of the characteristic graphs, $G=\sum_i G_i$. We show that for any fixed $t$ and any family $F$ of subsets of $T={1,2,...,t}$, there are $t$ graphs $G_1,G_2, ...,G_t$, so that for every subset $I$ of $T$, the Shannon capacity of the disjoint union $\sum_{i \in I} G_i$ is "large" if $I$ contains a member of $F$, and is "small" otherwise.

The $k$-th $p$-power of a graph $G$ is the graph on the vertex set $V(G)^k$, where two $k$-tuples are adjacent iff the number of their coordinates which are adjacent in $G$ is not congruent to 0 modulo $p$. The clique number of powers of $G$ is poly-logarithmic in the number of vertices, thus graphs with small independence numbers in their $p$-powers do not contain large homogenous subsets. We provide algebraic upper bounds for the asymptotic behavior of independence numbers of such powers, settling a conjecture of Alon and Lubetzky up to a factor of 2. For precise bounds on some graphs, we apply Delsarte's linear programming bound and Hoffman's eigenvalue bound. Finally, we show that for any nontrivial graph $G$, one can point out specific induced subgraphs of large $p$-powers of $G$ with neither a large clique nor a large independent set. We prove that the larger the Shannon capacity of $\bar{G}$ is, the larger these subgraphs are, and if $G$ is the complete graph, then some $p$-power of $G$ matches the bounds of the Frankl-Wilson Ramsey construction, and is in fact a subgraph of a variant of that construction.

Let $G$ be a graph with $n$ vertices, with independence number $α$, and with with no $K_{t+1}$-minor for some $t\geq5$. It is proved that $(2α-1)(2t-5)\geq2n-5$.

We derive bounds on the size of an independent set based on eigenvalues. This generalizes a result due to Delsarte and Hoffman. We use this to obtain new bounds on the independence number of the Erdős-Rényi graphs. We investigate further properties of our bounds, and show how our results on the Erdős-Rényi graphs can be extended to other polarity graphs.