The Boolean-algebra subfamily extremal conjecture

Let m=2nm=2^n, and consider families of mm sets. A subfamily forms a Boolean algebra of dimension dd if it is isomorphic to the Boolean lattice 2[d]2^{[d]}. Boolean-algebra subfamily extremal conjecture. The family containing the largest number of subfamilies forming a Boolean algebra of dimension dd is 2[n]2^{[n]}. This proposes that the full Boolean lattice is extremal for the number of dd-dimensional Boolean-algebra subfamilies among families of 2n2^n sets; the source gives no resolution status or further conditions.

Sources & referencesView supporting material

Primary source

János Barát, Zoltán Füredi, Ida Kantor, Younjin Kim and Balázs Patkós, “Large B_d-free and union-free subfamilies”, arXiv:1012.3918 (2010).

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.