Füredi's equi-sized chain partition conjecture for the Boolean lattice

Let 2[n]2^{[n]} denote the Boolean lattice of subsets of [n]={1,,n}[n]=\{1,\ldots,n\}, and let a chain be a subset whose elements are pairwise comparable by inclusion. For a positive integer nn, set

l=2n(nn/2).l=\left\lfloor\frac{2^n}{\binom{n}{\lfloor n/2\rfloor}}\right\rfloor.

Füredi's conjecture. For every positive integer nn, the Boolean lattice 2[n]2^{[n]} can be partitioned into (nn/2)\binom{n}{\lfloor n/2\rfloor} chains such that the size of each chain is ll or l+1l+1.

If true, this would give a partition into chains of size (π/2+o(1))n(\sqrt{\pi/2}+o(1))\sqrt n. The conjecture remains open; a weaker result gives a partition into the same number of chains whose sizes lie between 0.8n0.8\sqrt n and 25n25\sqrt n.

Sources & referencesView supporting material

Primary source

István Tomon, “Forbidden induced subposets in the grid”, arXiv:1705.09551 (2017).

Additional references

2 papers in this index state this conjecture (2015–2017). The statement above is taken from the most recent of them; the others are arXiv:1509.07346.

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.