A Generalisation of Sperner's Theorem Using Weighted Chains
We find the (unique) largest subset of $\{0, 1, 2\}^n$ such that it contains no two elements, one of which is coordinatewise greater than the other, but strictly greater on at most $k$ coordinates. To do so, we decompose the cube into weighted chains. In Appendix B we present a new proof of Sperner's theorem we found while working on this problem.
Publication Details
- Journal
- ArXiv.org
- Published
- 2025-09-30
- Primary Topic
- Protein Structure and Dynamics
- Type
- article
- Field-Weighted Citation Impact
- 0.00