English

Unavoidable order-size pairs in hypergraphs -- positive forcing density

Combinatorics 2022-08-16 v1

Abstract

Erd\H{o}s, F\"uredi, Rothschild and S\'os initiated a study of classes of graphs that forbid every induced subgraph on a given number mm of vertices and number ff of edges. Extending their notation to rr-graphs, we write (n,e)r(m,f)(n,e) \to_r (m,f) if every rr-graph GG on nn vertices with ee edges has an induced subgraph on mm vertices and ff edges. The \emph{forcing density} of a pair (m,f)(m,f) is σr(m,f)=lim supn{e:(n,e)r(m,f)}(nr). \sigma_r(m,f) =\left. \limsup\limits_{n \to \infty} \frac{|\{e : (n,e) \to_r (m,f)\}|}{\binom{n}{r}} \right. . In the graph setting it is known that there are infinitely many pairs (m,f)(m, f) with positive forcing density. Weber asked if there is a pair of positive forcing density for r3r\geq 3 apart from the trivial ones (m,0)(m, 0) and (m,(mr))(m, \binom{m}{r}). Answering her question, we show that (6,10)(6,10) is such a pair for r=3r=3 and conjecture that it is the unique such pair. Further, we find necessary conditions for a pair to have positive forcing density, supporting this conjecture.

Keywords

Cite

@article{arxiv.2208.06626,
  title  = {Unavoidable order-size pairs in hypergraphs -- positive forcing density},
  author = {Maria Axenovich and József Balogh and Felix Christian Clemen and Lea Weber},
  journal= {arXiv preprint arXiv:2208.06626},
  year   = {2022}
}
R2 v1 2026-06-25T01:41:03.725Z