Sparse Sperner conjecture for three central layers

Let BnB_n be the Boolean lattice on [n][n], let NN denote the size of a largest layer of BnB_n, and call the layers closest to the middle the central layers. For a function β=β(n)\beta=\beta(n), consider antichains of size βN\beta N in BnB_n.

Sparse Sperner conjecture. There exists a function β(n)=Θ~(1/n)\beta^*(n)=\tilde\Theta(1/n) such that if ββ(n)\beta\geq\beta^*(n), then almost all antichains of size βN\beta N in BnB_n are contained in three central layers.

This strengthens the proved result that the same conclusion holds for β>Clog2n/n\beta>C\log^2 n/\sqrt n for an absolute constant CC. The conjectured threshold is motivated by the expected appearance of vertices two layers outside the middle, and the claim would follow from a suitable extension of the relevant container result to λ=Ω~(1/n)\lambda=\tilde\Omega(1/n).

Sources & referencesView supporting material

Primary source

Matthew Jenssen, Alexandru Malekshahian and Jinyoung Park, “On Dedekind's problem, a sparse version of Sperner's theorem, and antichains of a given size in the Boolean lattice”, arXiv:2411.03400 (2024).

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.