Unique-largest-antichain conjecture for balls in the Boolean lattice

Let [n]={1,,p}{p+1,,p+q}[n]=\{1,\dots,p\}\cup\{p+1,\dots,p+q\} with q=npq=n-p. For i,j0i,j\geq 0, let Xi,jX_{i,j} be the family of sets obtained from [p][p] by subtracting ii elements and adding jj elements from {p+1,,p+q}\{p+1,\dots,p+q\}. Define the ball of radius rr centered at [p][p] by

Br[p,q]=i+jrXi,j.B_r[p,q]=\bigcup_{i+j\leq r}X_{i,j}.

Unique-largest-antichain conjecture. The largest layer of Br[p,q]B_r[p,q] is its unique largest antichain.

This concerns the width of a structured subposet of the Boolean lattice. The surrounding discussion presents determining or bounding the width of such subposets as a wide-open problem; the supplied text gives no resolution of this claim.

Sources & referencesView supporting material

Primary source

Kada Williams, “The Width of a Ball in a Hypercube”, arXiv:2403.09943 (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.