Graphs with many r-cliques have large complete r-partite subgraphs

Fix integers $n \ge r \ge 2$. A clique partition of ${[n] \choose r}$ is a collection of proper subsets $A_1, A_2, ..., A_t \subset [n]$ such that $\bigcup_i{A_i \choose r}$ is a partition of ${[n] \choose r}$. Clique partitions are related to design theory, coding theory, projective geometry, and extremal combinatorics. Let $\cp(n,r)$ denote the minimum size of a clique partition of ${[n] \choose r}$. A classical theorem of de Bruijn and Erd\H os states that $\cp(n, 2)...

We consider the following problem posed by Erdos in 1962. Suppose that $G$ is an $n$-vertex graph where the number of $s$-cliques in $G$ is $t$. How small can the independence number of $G$ be? Our main result suggests that for fixed $s$, the smallest possible independence number undergoes a transition at $t=n^{s/2+o(1)}$. In the case of triangles ($s=3$) we obtain the following result which is sharp apart from constant factors and generalizes basic results in Ramsey theory...

The famous Erd\H{o}s-Rademacher problem asks for the smallest number of $r$-cliques in a graph with the given number of vertices and edges. Despite decades of active attempts, the asymptotic value of this extremal function for all $r$ was determined only recently, by Reiher [Annals of Mathematics, 184 (2016) 683--707]. Here we describe the asymptotic structure of all almost extremal graphs. This task for $r=3$ was previously accomplished by Pikhurko and Razborov [Combinatoric...

In 1975 Bollob\'as, Erd\H os, and Szemer\'edi asked the following question: given positive integers $n, t, r$ with $2\le t\le r-1$, what is the largest minimum degree $\delta(G)$ among all $r$-partite graphs $G$ with parts of size $n$ and which do not contain a copy of $K_{t+1}$? The $r=t+1$ case has attracted a lot of attention and was fully resolved by Haxell and Szab\'{o}, and Szab\'{o} and Tardos in 2006. In this paper we investigate the $r>t+1$ case of the problem, which...

We prove a local limit theorem the number of $r$-cliques in $G(n,p)$ for $p\in(0,1)$ and $r\ge 3$ fixed constants. Our bounds hold in both the $\ell^\infty$ and $\ell^1$ metric. The main work of the paper is an estimate for the characteristic function of this random variable. This is accomplished by introducing a new technique for bounding the characteristic function of constant degree polynomials in independent Bernoulli random variables, combined with a decoupling argument.

We study graphs whose chromatic number is close to the order of the graph (the number of vertices). Both when the chromatic number is a constant multiple of the order and when the difference of the chromatic number and the order is a small fixed number, large cliques are forced. We study the latter situation, and we give quantitative results how large the clique number of these graphs have to be. Some related questions are discussed and conjectures are posed. Please note th...

Let $\hom(G)$ denote the size of the largest clique or independent set of a graph $G$. In 2007, Bukh and Sudakov proved that every $n$-vertex graph $G$ with $\hom(G) = O(\log n)$ contains an induced subgraph with $\Omega(n^{1/2})$ distinct degrees, and raised the question of deciding whether an analogous result holds for every $n$-vertex graph $G$ with $\hom(G) = O(n^\epsilon)$, where $\epsilon > 0$ is a fixed constant. Here, we answer their question in the affirmative and sh...

For integers $r,t\geq2$ and $n\geq1$ let $f_r(t,n)$ be the minimum, over all factorizations of the complete $r$-uniform hypergraph of order $n$ into $t$ factors $H_1,\dots,H_t$, of $\sum_{i=1}^tc(H_i)$ where $c(H_i)$ is the number of maximal cliques in $H_i$. It is known that $f_2(2,n)=n+1$; in fact, if $G$ is a graph of order $n$, then $c(G)+c(\overline G)\geq n+1$ with equality iff $\omega(G)+\alpha(G)=n+1$ where $\omega$ is the clique number and $\alpha$ the independence n...

In this note, we fix a graph $H$ and ask into how many vertices can each vertex of a clique of size $n$ can be "split" such that the resulting graph is $H$-free. Formally: A graph is an $(n,k)$-graph if its vertex sets is a pairwise disjoint union of $n$ parts of size at most $k$ each such that there is an edge between any two distinct parts. Let $$ f(n,H) = \min \{k \in \mathbb N : \mbox{there is an $(n,k)$-graph $G$ such that $H\not\subseteq G$}\} . $$ Barbanera and Uec...

A classical problem, due to Gerencs\'er and Gy\'arf\'as from 1967, asks how large a monochromatic connected component can we guarantee in any $r$-edge colouring of $K_n$? We consider how big a connected component can we guarantee in any $r$-edge colouring of $K_n$ if we allow ourselves to use up to $s$ colours. This is actually an instance of a more general question of Bollob\'as from about 20 years ago which asks for a $k$-connected subgraph in the same setting. We complete ...