Conjecture on uniform cutset sizes in the truncated Boolean lattice

Let gn(m,l)g_n(m,l) denote the minimum size of a cutset in the truncated Boolean lattice with parameters nn, mm, and ll. For nmn\gg m, the following assertions are conjectured.

Uniform cutset conjecture.

gn(m,l)=(nm)(nm1)g_n(m,l)=\binom{n}{m}-\binom{n}{m-1}

for every l=2m,2m+1,,nm1l=2m,2m+1,\dots,n-m-1, and

gn(m,nm)=(n1m)(n1m1).g_n(m,n-m)=\binom{n-1}{m}-\binom{n-1}{m-1}.

These claims describe the observed stabilization of gn(m,l)g_n(m,l) across the middle range of levels and its separate value at the endpoint l=nml=n-m. The condition nmn\gg m is informal in the source, and the conjectural formulas are not established there.

Sources & referencesView supporting material

Primary source

Béla Bajnok and Shahriar Shahriari, “On Uniform f-vectors of Cutsets in the Truncated Boolean Lattice”, arXiv:1512.02973 (2015).

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.