The largest projective cube-free subsets of $\mathbb{Z}_{2^n}$

Abstract: In the Boolean lattice, Sperner's, Erd\H{o}s's, Kleitman's and Samotij's theorems state that families that do not contain many chains must have a very specific layered structure. We show that if instead of $\mathbb{Z}2^n$ we work in $\mathbb{Z}{2^n}$, several analogous statements hold if one replaces the word $k$-chain by projective cube of dimension $2^{k-1}$. We say that $B_d$ is a projective cube of dimension $d$ if there are numbers $a_1, a_2, \ldots, a_d$ such that $$B_d = \left{\sum_{i\in I} a_i \bigg\rvert \emptyset \neq I\subseteq [d]\right}.$$ As an analog of Sperner's and Erd\H{o}s's theorems, we show that whenever $d=2^{\ell}$ is a power of two, the largest $d$-cube free set in $\mathbb{Z}{2^n}$ is the union of the largest $\ell$ layers. As an analog of Kleitman's theorem, Samotij and Sudakov asked whether among subsets of $\mathbb{Z}{2^n}$ of given size $M$, the sets that minimize the number of Schur triples (2-cubes) are those that are obtained by filling up the largest layers consecutively. We prove the first non-trivial case where $M=2^{n-1}+1$, and conjecture that the analog of Samotij's theorem also holds. Several open questions and conjectures are also given.