English
Related papers

Related papers: Universal and unavoidable graphs

200 papers

The classical K\H{o}v\'ari-S\'os-Tur\'an theorem states that if $G$ is an $n$-vertex graph with no copy of $K_{s,t}$ as a subgraph, then the number of edges in $G$ is at most $O(n^{2-1/s})$. We prove that if one forbids $K_{s,t}$ as an…

Combinatorics · Mathematics 2017-10-19 Po-Shen Loh , Michael Tait , Craig Timmons , Rodrigo Zhou

For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem…

Combinatorics · Mathematics 2020-12-18 Christian Reiher

Let $\mathcal{F}$ be a set of graphs. The planar Tur\'an number, $ex_{\mathcal{P}}(n,\mathcal{F})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{F}$ as a subgraph. In this…

Combinatorics · Mathematics 2024-04-09 Tao Fang

The $r$-expansion $G^+$ of a graph $G$ is the $r$-uniform hypergraph obtained from $G$ by enlarging each edge of $G$ with a vertex subset of size $r-2$ disjoint from $V(G)$ such that distinct edges are enlarged by disjoint subsets. Let…

Combinatorics · Mathematics 2015-06-01 Dhruv Mubayi , Jacques Verstraete

Bukh and Conlon used random polynomial graphs to give effective lower bounds on $\mathrm{ex}(n,\mathcal{T}^\ell)$, where $\mathcal{T}^\ell$ is the $\ell$th power of a balanced rooted tree $T$. We extend their result to give effective lower…

Combinatorics · Mathematics 2025-03-11 Sam Spiro

Let $\mathcal{H}$ be a hypergraph and $F$ be a graph. If there exists a bijection between the hyperedges of $\mathcal{H}$ and the edges of $F$ such that each hyperedge contains its image, then we say that $\mathcal{H}$ is a \textit{Berge…

Combinatorics · Mathematics 2026-04-21 Xiamiao Zhao , Xin Cheng , Dániel Gerbner

A central problem in extremal graph theory is to estimate, for a given graph $H$, the number of $H$-free graphs on a given set of $n$ vertices. In the case when $H$ is not bipartite, fairly precise estimates on this number are known. In…

Combinatorics · Mathematics 2017-10-13 Asaf Ferber , Gweneth Anne McKinley , Wojciech Samotij

Given a set of graphs $\mathcal{H}$, we say that a graph $G$ is \textit{$\mathcal{H}$-free} if it does not contain any member of $\mathcal{H}$ as a subgraph. Let $\text{ex}(n,\mathcal{H})$ (resp. $\text{ex}_{sp}(n,\mathcal{H})$) denote the…

Combinatorics · Mathematics 2024-11-26 Yifang Hao , Shuchao Li

Given graphs $H$ and $F$, the generalized Tur\'an number $\mathrm{ex}(n,H,F)$ is the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs. The friendship graph $F_k$ consists of $k$ triangles sharing a common vertex. In this…

Combinatorics · Mathematics 2026-05-08 Wanfang Chen , Jia-Bao Yang , Leilei Zhang

Ore in 1961 determined the maximum number of edges in graphs not containing a Hamiltonian cycle, and Tur\'{a}n in 1941 found the maximum number of edges in graphs not containing a $K_{r+1}$. Motivated by the work of Adamus in 2009 and…

Combinatorics · Mathematics 2025-07-08 Aleyah Dawkins , Rachel Kirsch

We say a hypergraph $\mathcal{H}$ contains a graph $G$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = V(G)$ and $\{e \cap S \mid e \in E(\mathcal{H})\}$ contains $G$ as a subgraph. We use…

Combinatorics · Mathematics 2026-03-03 Yichen Wang , Xin Cheng , Ervin Győri , Yuanpei Wang , Xiamiao Zhao , Junpeng Zhou

A circular arc graph is the intersection graph of a collection of connected arcs on the circle. We solve a Tur'an-type problem for circular arc graphs: for n arcs, if m and M are the minimum and maximum number of arcs that contain a common…

Combinatorics · Mathematics 2011-10-20 Rosalie Carlson , Stephen Flood , Kevin O'Neill , Francis Edward Su

The Ruzsa-Szemer\'{e}di $(6,3)$-problem can be equivalently stated as determining the maximum number of edge-disjoint triangles on $n$ vertices such that no triangle is formed by edges from three distinct triangle-copies. Gowers and Janzer…

Combinatorics · Mathematics 2026-03-25 Ping Li

The oriented Tur\'{a}n number of a given oriented graph $\overrightarrow{F}$, denoted by $\exo(n,\overrightarrow{F})$, is the largest number of arcs in $n$-vertex $\overrightarrow{F}$-free oriented graphs. This concept could be seen as an…

Combinatorics · Mathematics 2026-02-05 Dániel Gerbner , Xuanrui Hu , Yuefang Sun

The classic extremal problem is that of computing the maximum number of edges in an $F$-free graph. In the case where $F=K_{r+1}$, the extremal number was determined by Tur\'an. Later results, known as supersaturation theorems, proved that…

Combinatorics · Mathematics 2024-09-24 Jonathan Cutler , JD Nir , A. J. Radcliffe

Classical questions in extremal graph theory concern the asymptotics of $\operatorname{ex}(G, \mathcal{H})$ where $\mathcal{H}$ is a fixed family of graphs and $G=G_n$ is taken from a `standard' increasing sequence of host graphs $(G_1,…

Combinatorics · Mathematics 2019-03-07 Joseph Briggs , Christopher Cox

Given a family of graphs $\mathcal{H}$, the extremal number $\textrm{ex}(n, \mathcal{H})$ is the largest $m$ for which there exists a graph with $n$ vertices and $m$ edges containing no graph from the family $\mathcal{H}$ as a subgraph. We…

Combinatorics · Mathematics 2019-08-19 Boris Bukh , David Conlon

Given a family of graphs $\mathcal{F}$, the Tur\'{a}n number $ex(n, \mathcal{F})$ denotes the maximum number of edges in any $\mathcal{F}$-free graph on $n$ vertices. Recently, Alon and Frankl studied of maximum number of edges in an…

Combinatorics · Mathematics 2024-04-10 Yongchun Lu , Yongchun Lu , Liying Kang

Alon and Shikhelman initiated the systematic study of the following generalized Tur\'an problem: for fixed graphs $H$ and $F$ and an integer $n$, what is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph? An edge-colored…

Combinatorics · Mathematics 2019-11-18 Dániel Gerbner , Tamás Mészáros , Abhishek Methuku , Cory Palmer

Given a hypergraph $\mathcal{H}$ and a graph $G$, we say that $\mathcal{H}$ is a \textit{Berge}-$G$ if there is a bijection between the hyperedges of $\mathcal{H}$ and the edges of $G$ such that each hyperedge contains its image. We denote…

Combinatorics · Mathematics 2023-01-04 Dániel Gerbner