English

A Note on Large H-Intersecting Families

Combinatorics 2018-10-15 v2 Probability

Abstract

A family FF of graphs on a fixed set of nn vertices is called triangle-intersecting if for any G1,G2FG_1,G_2 \in F, the intersection G1G2G_1 \cap G_2 contains a triangle. More generally, for a fixed graph HH, a family FF is HH-intersecting if the intersection of any two graphs in FF contains a sub-graph isomorphic to HH. In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and S\'{o}s stating that the maximal size of a triangle-intersecting family is (1/8)2n(n1)/2(1/8)2^{n(n-1)/2}. Furthermore, they proved a pp-biased generalization, stating that for any p1/2p \leq 1/2, we have μp(F)p3\mu_{p}(F)\le p^{3}, where μp(F)\mu_{p}(F) is the probability that the random graph G(n,p)G(n,p) belongs to FF. In the same paper, Ellis et al. conjectured that the assertion of their biased theorem holds also for 1/2<p3/41/2 < p \le 3/4, and more generally, that for any non-tt-colorable graph HH and any HH-intersecting family FF, we have μp(F)pt(t+1)/2\mu_{p}(F)\le p^{t(t+1)/2} for all p(2t1)/(2t)p \leq (2t-1)/(2t). In this note we construct, for any fixed HH and any p>1/2p>1/2, an HH-intersecting family FF of graphs such that μp(F)1en2/C\mu_{p}(F)\ge 1-e^{-n^{2}/C}, where CC depends only on HH and pp, thus disproving both conjectures.

Keywords

Cite

@article{arxiv.1609.01884,
  title  = {A Note on Large H-Intersecting Families},
  author = {Nathan Keller and Noam Lifshitz},
  journal= {arXiv preprint arXiv:1609.01884},
  year   = {2018}
}

Comments

Only editorial changes with respect to the previous version. 4 pages

R2 v1 2026-06-22T15:42:21.313Z