Projections of antichains

Abstract: A subset $A$ of $\mathbb{Z}^n$ is called a weak antichain if it does not contain two elements $x$ and $y$ satisfying $x_i<y_i$ for all $i$. Engel, Mitsis, Pelekis and Reiher showed that for any weak antichain $A$, the sum of the sizes of its $(n-1)$-dimensional projections must be at least as large as its size $|A|$. They asked what the smallest possible value of the gap between these two quantities is in terms of $|A|$. We answer this question by giving an explicit weak antichain attaining this minimum for each possible value of $|A|$. In particular, we show that sets of the form $A_N={x\in\mathbb{Z}^n: 0\leq x_j\leq N-1$ for all $j$ and $x_i=0$ for some $i}$ minimise the gap among weak antichains of size $|A_N|$.