The positive average overlap density conjecture

At least 5 years old · documented by

For a finite set {1,2,…,n}\{1,2,\ldots,n\}, let F⊂P({1,2,…,n})\mathcal{F}\subset\mathcal{P}(\{1,2,\ldots,n\}) be a union-closed family with F≠{∅}\mathcal{F}\neq\{\emptyset\}. Define

AOD⁡(F)=EA∈F∖{∅}EB∈F[∣A∩B∣∣A∣].\operatorname{AOD}(\mathcal{F})=\mathbb{E}_{A\in\mathcal{F}\setminus\{\emptyset\}}\mathbb{E}_{B\in\mathcal{F}}\left[\frac{|A\cap B|}{|A|}\right].

Positive average overlap density conjecture. There exists an absolute positive constant c>0c>0 such that, for every n∈Nn\in\mathbb{N} and every such F\mathcal{F}, the average overlap density of F\mathcal{F} is at least cc. The source presents this as the weakening that remained open after the 1/21/2 conjecture was disproved.

References

Primary source

David Ellis, “Union-closed families with small average overlap densities”, arXiv:2012.03235 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.