Small dense subgraphs of a graph

TL;DR

This paper investigates the maximum edges in large graphs avoiding certain dense small subgraphs, confirming a conjecture for integer degrees and extending known results on the Turán number of the cube graph.

Contribution

It proves the existence of a function controlling Turán numbers for graphs with bounded order and high average degree when the degree is an integer, and extends the cube theorem.

Findings

Confirmed Verstra"ete's conjecture for integer degrees

Established bounds on Turán numbers for specific graph families

Extended the Turán number results for the cube graph Q_3

Abstract

Given a family ${\cal F}$ of graphs, and a positive integer $n$, the Tur\'an number $ex(n,{\cal F})$ of ${\cal F}$ is the maximum number of edges in an $n$-vertex graph that does not contain any member of ${\cal F}$ as a subgraph. The order of a graph is the number of vertices in it. In this paper, we study the Tur\'an number of the family of graphs with bounded order and high average degree. For every real $d\geq 2$ and positive integer $m\geq 2$, let ${\cal F}_{d,m}$ denote the family of graphs on at most $m$ vertices that have average degree at least $d$. It follows from the Erd\H{o}s-R\'enyi bound that $ex(n,{\cal F}_{d,m})=\Omega(n^{2-\frac{2}{d}+\frac{c}{dm}})$, for some positive constant $c$. Verstra\"ete asked if it is true that for each fixed $d$ there exists a function $\epsilon_d(m)$ that tends to $0$ as $m\to \infty$ such that $ex(n,{\cal F}_{d,m})=O(n^{2-\frac{2}{d}+\epsilon_d(m)})$. We answer Verstra\"ete's question in the affirmative whenever $d$ is an integer. We also prove an extension of the cube theorem on the Tur\'an number of the cube $Q_3$, which partially answers a question of Pinchasi and Sharir.