DAN

Abstract

A family of graphs F on a fixed set of n vertices is said to be triangle-intersecting if for any two graphs G,H 2 F, G \ H contains a triangle. Simonovits and S´os conjectured that such a family has size at most 18 2(n2),and that equality holds only if F consists of all graphs containing some fixed triangle. Recently, the author, Yuval Filmus and Ehud Friedgut proved a strengthening of this conjecture, namely that if F is an odd-cycleintersecting family of graphs, then |F| · 18 2(n2). Equality holds only if F consists of all graphs containing some fixed triangle. A stability result also holds: an odd-cycle-intersecting family with size close to the maximum must be close to a family of the above form. We will outline proofs of these results, which use Fourier analysis, together with an analysis of the properties of random cuts in graphs, and some results in the theory of Boolean functions. We will then discuss some related open questions. All will be based on joint work with Yuval Filmus (University of Toronto) and Ehud Friedgut (Hebrew University of Jerusalem).