Supersaturation in the Boolean lattice

From MaRDI portal
Publication:5262057




Abstract: We prove a "supersaturation-type" extension of both Sperner's Theorem (1928) and its generalization by Erdos (1945) to k-chains. Our result implies that a largest family whose size is x more than the size of a largest k-chain free family and that contains the minimum number of k-chains is the family formed by taking the middle (k-1) rows of the Boolean lattice and x elements from the k-th middle row. We prove our result using the symmetric chain decomposition method of de Bruijn, van Ebbenhorst Tengbergen, and Kruyswijk (1951).









This page was built for publication: Supersaturation in the Boolean lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262057)