Upper-half dominance conjecture for chain decompositions of the Boolean lattice

Let [n]={1,,n}[n]=\{1,\dots,n\}, let B=[n](n/2)B=[n]^{(\geq n/2)} be the family of subsets of [n][n] of size at least n/2n/2, and set

M=(nn/2).M=\binom{n}{\lfloor n/2\rfloor}.

Let σ1σM\sigma_1\geq\dots\geq\sigma_M be the sizes of the chains in a symmetric chain decomposition of 2[n]2^{[n]}, and define

σi=σi2.\sigma_i'=\left\lceil\frac{\sigma_i}{2}\right\rceil.

Upper-half dominance conjecture. If s1sMs_1\geq\dots\geq s_M is a sequence of positive integers dominated by σ1,,σM\sigma_1',\dots,\sigma_M' and

i=1Msi=B,\sum_{i=1}^M s_i=|B|,

then there exists a chain decomposition D1,,DMD_1,\dots,D_M of BB such that Di=si|D_i|=s_i for every ii. This is the analogous realization problem for the upper half of the Boolean lattice. The source presents it as a related conjecture to Griggs's conjecture; no resolution is supplied in the provided text.

Sources & referencesView supporting material

Primary source

Benny Sudakov, Istvan Tomon and Adam Zsolt Wagner, “Uniform chain decompositions and applications”, arXiv:1911.09533 (2019).

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.