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

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 S2[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 S2[n]S\subseteq 2^{[n]} with Sc|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.

Sources & referencesView supporting material

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.