Frankl’s conjecture is the following: Let be a finite family of finite subsets of which is closed under union, namely, if then also .
Then there exists an element which belongs to at least half the sets in .
Polymath 11 was devoted to this question (Wiki, first post, last post). We mentioned the conjecture in the first blog post over here and several other times, it was also mentioned over Lipton and Regan’s blog (here and here) and various other places.
In this post I want to mention a recent improvement by Ilan Karpas on the problem for large families. Ilan showed that the conjecture is true when the family contains at least sets.
Notation: For a family and an element let . The abundance of an element is . Let’s call an element good, if . Frankl’s conjecture thus asserts that for every union closed family there is a good element.
The earlier record
Balla, Bòllobas and Eccles proved that for every union-closed family of subsets of of size at least there is a good element. In fact, they showed that in this case the average of over all elements is at least . For the average statement this result is best possible. Eccles improved it further and showed that the assertion of Frankl’s conjecture holds when .
The new results by Ilan Karpas.
Here are three main results from Karpas’ paper two results on union closed families
Theorem 1: The assertion of Frankl’s conjecture holds when .
The proof is a surprisingly simple Fourier theoretic proof and it applies for a larger class of families: families with the property that every set not in covers at most one set in . (For this larger class the assertion of Frankl’s conjecture may fail when )
Theorem 2: For some , the assertion of Frankl’s conjecture holds when .
The proof is a more involved Fourier-based proof. It also uses the following result of independent interest.
Theorem 3: for any union-closed family, the number of sets which are not in that cover a set in is at most . (The inequality is tight.)
As far as I know this is the first time Fourier’s method helps for Frankl’s problem. I wonder what is the potential of this method.
Abigail Raz’ result
In a recent very nice paper Abigail Raz’ showed that a nice extension of Frankl’s conjecture proposed in polymayh11 fails.