The K2,kK_{2,k} induced saturation conjecture

Let [n]={1,2,,n}[n]=\{1,2,\ldots,n\}, let K2,kK_{2,k} denote the corresponding poset, and let sat(n,K2,k)\operatorname{sat}^*(n,K_{2,k}) be the smallest size of a K2,kK_{2,k}-saturated family of subsets of [n][n]. The K2,kK_{2,k} induced saturation conjecture.

sat(n,K2,k)=Θ(nk).\operatorname{sat}^*(n,K_{2,k})=\Theta(n^k).

The conjecture is motivated by a construction using the singletons and a saturated chain, with additional sets concentrated in the lower levels of the power set. The source does not provide a proof of the matching asymptotic lower and upper bounds.

Sources & referencesView supporting material

Primary source

Maria-Romina Ivan, “Saturation for the Butterfly Poset”, arXiv:2003.01621 (2020).

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.