Almost-tiling conjecture for the Boolean lattice with copies of a poset

About 10 years old · traced to

Let PP be a poset, and let 2[n]2^{[n]} denote the Boolean lattice of subsets of [n]={1,…,n}[n]=\{1,\ldots,n\} ordered by inclusion. A copy of PP is an induced subposet isomorphic to PP. For a set S⊆2[n]S\subseteq 2^{[n]}, a partition of 2[n]∖S2^{[n]}\setminus S into copies of PP is a collection of pairwise disjoint copies whose union is that complement.

Almost-tiling conjecture. There exists a constant c=c(P)c=c(P) such that for every positive integer nn, there is a set S⊆2[n]S\subseteq 2^{[n]} with ∣S∣≤c|S|\leq c such that 2[n]∖S2^{[n]}\setminus S can be partitioned into copies of PP.

This is a weaker form of Lonc's exact tiling conjecture and asserts that only a bounded number of elements need be left uncovered, independently of nn. The supplied text does not state that this weaker conjecture has been resolved.

References

Primary source

István Tomon, “Almost tiling of the Boolean lattice with copies of a poset”, arXiv:1611.06842 (2016).

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.