Conjecture on uniform cutset sizes in the truncated Boolean lattice

About 11 years old · traced to

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 n≫mn\gg m, the following assertions are conjectured.

Uniform cutset conjecture.

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

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

gn(m,n−m)=(n−1m)−(n−1m−1).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=n−ml=n-m. The condition n≫mn\gg m is informal in the source, and the conjectural formulas are not established there.

References

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.