2 problems

Because the outputs are constrained by $\mathbf{1}^T x=1$, let $x'=x-\frac{1}{d}\mathbf{1}$, so that $\mathbf{1}^T x'=0$, and let $W\in\mathbb{R}^{m\times d}$ act on the input. Def…

Tightness conjecture. The bound from Theorem bound-alternate is tight for all such $p$, $k$, and $r$; equivalently,