{"id":"arxiv/2607.04794","url":"https://arxiv.org/abs/2607.04794","tags":["math.CO"],"score":0,"title":"Engel's Interval Packing Problem in the Boolean Lattice","domain":"math.CO","source":"arxiv","authors":["Yuxian Dong","Jianxi Mao"],"reviews":0,"subject":"math.CO","summary":"Let \\(\\mathcal{B}_n\\) be the Boolean lattice of all subsets of \\([n]\\) and let \\(\\mathcal{P}_{n;\\ell,u}\\) be the subposet of \\(\\mathcal{B}_n\\) induced by the consecutive levels \\(\\ell,\\ell+1,\\ldots,u\\). We determine $ν_{n;\\ell,u}$, the maximum size of a family of pairwise disjoint maximal intervals in $\\mathcal P_{n;\\ell,u}$, whenever \\(u\\le ({n+\\ell^2})/({\\ell+1})\\). This completely settles Engel's problem~[Combin. Probab. Comput., 1996]. The proof is constructive. We also record consequences for weakly cross-intersecting set-pair systems and discuss the three-level case.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-06","reactions":{}}