Flattening antichains (Q2495695)

The Flat Antichain Conjecture, stated in \textit{P. Lieby} [Electron. J. Comb. 11, No. 1, Research paper R50, 32 pp. (2004; Zbl 1055.05148)] is proven in this paper. In particular, it is shown that for any antichain (a collection of incomparable subsets of a finite ground set) there exists a flat antichain (an antichain where the cardinality of all elements differs at most by 1) with the same cardinality and the same average set size. The proof is based on results of P. Lieby and uses particular weight functions on the elements of antichains.