English

Maximum $\mathcal H$-free subgraphs

Combinatorics 2021-08-23 v1

Abstract

Given a family of hypergraphs H\mathcal H, let f(m,H)f(m,\mathcal H) denote the largest size of an H\mathcal H-free subgraph that one is guaranteed to find in every hypergraph with mm edges. This function was first introduced by Erd\H{o}s and Koml\'{o}s in 1969 in the context of union-free families, and various other special cases have been extensively studied since then. In an attempt to develop a general theory for these questions, we consider the following basic issue: which sequences of hypergraph families {Hm}\{\mathcal H_m\} have bounded f(m,Hm)f(m,\mathcal H_m) as mm\to\infty? A variety of bounds for f(m,Hm)f(m,\mathcal H_m) are obtained which answer this question in some cases. Obtaining a complete description of sequences {Hm}\{\mathcal H_m\} for which f(m,Hm)f(m,\mathcal H_m) is bounded seems hopeless.

Keywords

Cite

@article{arxiv.1905.01709,
  title  = {Maximum $\mathcal H$-free subgraphs},
  author = {Dhruv Mubayi and Sayan Mukherjee},
  journal= {arXiv preprint arXiv:1905.01709},
  year   = {2021}
}
R2 v1 2026-06-23T08:57:27.036Z