Union-closed families of sets (Q5906403)
From MaRDI portal
scientific article; zbMATH DE number 1321800
Language | Label | Description | Also known as |
---|---|---|---|
English | Union-closed families of sets |
scientific article; zbMATH DE number 1321800 |
Statements
Union-closed families of sets (English)
0 references
13 December 1999
0 references
A finite family \(F\) of sets is called union-closed if \(A\cup B \in F\) whenever \(A,B\in F\). Let \(u(n)\) be the maximum number such that for each union-closed family \(F\) with \(n\) sets there exists an element \(x\) which is contained in at least \(u(n)\) members of \(F\). Frankl conjectured that \(u(n)\geq n/2\) for \(n\geq 2\). Improving a result of E. Knill the author of this paper proves that \[ u(n)>{1+o(1) \over \log_2(4/3)} {n\over \log_2n}. \] For the proof he determines the minimum number of sets of size \(\leq k\) in an ideal of \(n\) sets. This result follows easily from a general theorem on the maximum weight of ideals of given size in rank-greedy Macaulay posets; cf. \textit{K. Engel} [Sperner theory, Cambridge University Press (1997; Zbl 0868.05001)]. One has to use the weight function \(w\) given by \[ w(A)=\begin{cases} 1\quad &\text{if }| A|>k,\\ 0\quad &\text{if }| A|\leq k.\end{cases} \] {}.
0 references
Frankl's conjecture
0 references
colexicographic order
0 references
union-closed family
0 references
ideal
0 references