Frankl’s conjecture asserts that a for every finite family of of finite sets that is closed under union, there is an element that belongs to at least half the sets in the family. We mentioned the problem in our very first post, and Tim Gowers ran polymath 11 in attempt to solve it (first post, wikipage). See also this post over GLL and this post.
Here, I want to show Ilan Karpas’ proof (that we mentioned in this post) that the conjecture is correct for “large” families, namely, for families of at least subsets of . Karpas’ proof is taken from his paper Two results on union closed families.
Can Fourier methods solve Frankl’s conjecture? I hope we could have a small discussion about it and related matters, and, in any case, I myself have some comments that I will leave to the comment section.
The theorem
Theorem (Karpas): If is a union closed family of subsets of , and then there exists an element such that .
Theorem 2 (Karpas): If is a family of subsets of , with the property
(*) If and , then either or .
Then there exists an element such that .
The implication from Theorem 2 to Theorem 1 is very easy. If is a union-closed family and is the complement of , then satisfies (*). (Otherwise, and and their union must be in . If has at least elements then has at most elements. If , then . We note that Condition (*) is weaker than the assertion that is union closed and indeed the assertion of Theorem 2 is sharp do not hold when is large. (See remark below.)
Background (a little more than needed)
Edge boundary/influence terminology
For a family of subsets of its edge-boundary is defined by
The total influence of is defined by
Up and down edge boundaries:
Directional boundaries and individual influences
We now define:
,
,
The influence of on A is defined by:
Note that the assertion for Frankl’s conjecture is equivalent to: For every union-closed family there is such that . Equivalently for every family whose complement is union-closed (such families are called “simply rooted”) there is such that .
Sensitivity/Pivotality
Now, fix a family of subsets of , for , , if and otherwise. if and . (In other words, and .) if and . (In other words, , and .) Define also
Note that , and similarly for other types of influences.
Fourier
Let be a Boolean function defined as follows: if represents a set in , and , otherwise.
We write .
It is well known and easy to see that .
Parseval’s formula gives . It follows easily from Parseval’s formula that and hence
The proof:
We write .
Our assumption (*) on is that if and , then either or . In other words for every . This implies that
(1) .
We assume that Frankl’s conjecture is false namely that , for every , or equivalently that
(2) , .
Summing over all s it follows that hence
(3) .
From it follows that
(4) .
Note that
(5)
But
(6)
Combining (4,5,6) we get
, or
(7) .
(1) and (7) gives , a contradiction.
Thanks!
Very clear explanation.
Best,
Ilan
On Thu, Mar 8, 2018 at 11:33 PM, Combinatorics and more wrote:
> Gil Kalai posted: “Frankl’s conjecture asserts that a for every finite > family of of finite sets that is closed under union, there is an element > that belongs to at least half the sets in the family. We mentioned the > problem in our very first post, and Tim Gowers ran polymath” >
Remark (1): 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 . For , this follows easily from the isoperimetric inequality. If satisfies (*) and . Than the Harper bound asserts that . But (*) gives that and if we get that . A contradiction.
Remark (2): Tom Eccles improved the result of Balla, Bòllobas and Eccles further and showed that the assertion of Frankl’s conjecture holds when .
Ilan Karpas proved in his paper that for some , the assertion of Frankl’s conjecture holds when .
Remark (3): Here is Ilan’s example showing that Theorem 2 does not hold for every . To see this consider the family {{2},{3},{1,2},{1,3},{1,2,3}} of five subsets of {1,2,3}. Every element is included in more than half the sets and consition (*) is satisfied. The complement {{},{1},{23}} is not union-closed.
Is this reasoning valid:
1. Frankl’s Conjecture asserts that in any family of sets (1,2,3…) that is union closed, there is a least one element (a,b,c…) found in at least half of all the subsets of the set containing all elements in the family.
2. Arrange the sets in ascending order of cardinality, from smallest set to the set containing all elements. Sets of equal cardinality can be put in any order within the overall arrangement.
3. The smallest set is “irreducible.” The union of any two sets is either a subset of the larger one, or has cardinality greater than the larger one, or is, in the case of two sets of equal cardinality, a set of greater cardinality.
4. Number the sets from 1 to N in ascending order, N being the set of greatest cardinality.
5. Create the power set of all sets, 1 to N – 1.
6. Because set union is associative and commutative, and because union-closed families include every union, every set represented in the power set is a member of the union closed family, one of the numbered sets used as generators.
7. Some of these sets are entirely contained in their set of greatest cardinality. Some include all the sets enumerated, but belong to a set of greater cardinality that is not part of the bracketed sets.
8. Because the number of subsets of the power set is strictly larger that the set containing the original elements (and grows exponentially), each element will be represented by multiple subsets of the power set.
9. Therefore multiple subsets will be equivalent, representing the same unique generating set.
10. Equivalence of these subsets of the original set implies intersections, i.e., element(s) (a,b,c…) appear in more than one generating set.
11. Using the ‘irreducibility” of the least set (1), you should be able to establish a chain of subsets in which one is included in more than half the original sets (1,2,3…). Obviously, the power set grows must faster than the number of original sets, so a kind of induction might be possible.
12. For example, establish that 1 is a proper subset of 3, establish that 3 is a proper subset of 6, etc.
13. Perhaps it’s needless to add, that you could create something similar to Von Neumann’s ordinals, with nested sets, on which to create an algebra of equivalences.
Can you give a reference to the “well-known result” ? From your definition of and I can only derive , the opposite of what is claimed. Besides, if assume Frankl’s conjecture is false, what I can derive is , which is also the negate of what is claimed in the paper.
Thanks.
I think in the definition of $I_k^+$, it should be $S \cup {k} \in A$ instead of $\not\in A$
To refer back to my comment above. If we create the power set of the sets of any union-closed family, and agree that each of the new sets exist, does it not imply that every set (rather than element) appears in exactly half the sets, tightly. And that therefore any elements in each set appear in at least half the sets? The fact that they appear more frequently in actual examples of union-closed families, and the reason union closed families of N sets can have less than 2 to the N power is because there are intersections between all of the sets–i.e., they share elements? In other words, the conjecture is true, and more apparent if one considers the sets and their frequency, rather than the elements?
Correction–that should be the power set of 1 to the N-1 sets, as stated in my first comment.
Which means half of 2 to the N-1 sets. Mea culpa.
Hope I’m not belaboring an errant line of thought, but obviously, every set in the power set has its complement, which would appear to preclude an element of one of the sets composing the power set appearing in less than half the original sets, even if some of them are in fact representations of the set containing all elements.
Pingback: Amazing: Justin Gilmer gave a constant lower bound for the union-closed sets conjecture | Combinatorics and more