Abstract
The Erdős–Hajnal conjecture states that if a graph on n vertices is H-free, that is, it does not contain an induced copy of a given graph H, then it must contain either a clique or an independent set of size nδ(H), where δ(H)>0 depends only on the graph H. Except for a few special cases, this conjecture remains wide open. However, it is known that an H-free graph must contain a complete or empty bipartite graph with parts of polynomial size.We prove an analogue of this result for 3-uniform hypergraphs, showing that if a 3-uniform hypergraph on n vertices is H-free, for any given H, then it must contain a complete or empty tripartite subgraph with parts of order c(logn)12+δ(H), where δ(H)>0 depends only on H. This improves on the bound of c(logn)12, which holds in all 3-uniform hypergraphs, and, up to the value of the constant δ(H), is best possible.We also prove that, for k⩾4, no analogue of the standard Erdős–Hajnal conjecture can hold in k-uniform hypergraphs. That is, there are k-uniform hypergraphs H and sequences of H-free hypergraphs which do not contain cliques or independent sets of size appreciably larger than one would normally expect.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.