On existentially complete triangle-free graphs

From MaRDI portal



Abstract: For a positive integer k, we say that a graph is k-existentially complete if for every 0leqaleqk, and every tuple of distinct vertices x1,ldots,xa, y1,ldots,yk−a, there exists a vertex z that is joined to all of the vertices x1,ldots,xa and none of the vertices y1,ldots,yk−a. While it is easy to show that the binomial random graph Gn,1/2 satisfies this property with high probability for ksimclogn, little is known about the "triangle-free" version of this problem; does there exist a finite triangle-free graph G with a similar "extension property". This question was first raised by Cherlin in 1993 and remains open even in the case k=4. We show that there are no k-existentially complete triangle-free graphs with k>frac8lognloglogn, thus giving the first non-trivial, non-existence result on this "old chestnut" of Cherlin. We believe that this result breaks through a natural barrier in our understanding of the problem.












This page was built for publication: On existentially complete triangle-free graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2182038)