arXiv++ Combinatorics

In this paper, we define and compare four new measures of graph irregularity. We use these measures to prove upper bounds for the chromatic number and the Colin de Verdiere parameter. We also strengthen the concise Turan theorem for irregular graphs and investigate to what extent Turan's theorem can be similarly strengthened for generalized r-partite graphs. We conclude by relating these new measures to the Randic index and using the measures to devise new normalised indices of network heterogeneity.

Let $G$ be a graph on $n$ vertices. We call a subset $A$ of the vertex set $V(G)$ \emph{$k$-small} if, for every vertex $v \in A$, $°(v) \le n - |A| + k$. A subset $B \subseteq V(G)$ is called \emph{$k$-large} if, for every vertex $u \in B$, $°(u) \ge |B| - k - 1$. Moreover, we denote by $\varphi_k(G)$ the minimum integer $t$ such that there is a partition of $V(G)$ into $t$ $k$-small sets, and by $Ω_k(G)$ the minimum integer $t$ such that there is a partition of $V(G)$ into $t$ $k$-large sets. In this paper, we will show tight connections between $k$-small sets, respectively $k$-large sets, and the $k$-independence number, the clique number and the chromatic number of a graph. We shall develop greedy algorithms to compute in linear time both $\varphi_k(G)$ and $Ω_k(G)$ and prove various sharp inequalities concerning these parameters, which we will use to obtain refinements of the Caro-Wei Theorem, the Turán Theorem and the Hansen-Zheng Theorem among other things.

We develop a new technique that allows us to show in a unified way that many well-known combinatorial theorems, including Turán's theorem, Szemerédi's theorem and Ramsey's theorem, hold almost surely inside sparse random sets. For instance, we extend Turán's theorem to the random setting by showing that for every $ε> 0$ and every positive integer $t \geq 3$ there exists a constant $C$ such that, if $G$ is a random graph on $n$ vertices where each edge is chosen independently with probability at least $C n^{-2/(t+1)}$, then, with probability tending to $1$ as $n$ tends to infinity, every subgraph of $G$ with at least $(1 - \frac{1}{t-1} + ε) e(G)$ edges contains a copy of $K_t$. This is sharp up to the constant $C$. We also show how to prove sparse analogues of structural results, giving two main applications, a stability version of the random Turán theorem stated above and a sparse hypergraph removal lemma. Many similar results have recently been obtained independently in a different way by Schacht and by Friedgut, Rödl and Schacht.

We prove that if the spectral radius of a graph G of order n is larger than the spectral radius of the r-partite Turan graph of the same order, then G contains various supergraphs of the complete graph of order r+1. In particular G contains a complete r-partite graph of size log n with one edge added to the first part. These results complete a project of Erdos from 1963. We also give corresponding stability results.