**Lemma G.1**.: _There exists a positive semidefinite \(\mathbf{A}\in\mathbb{R}^{h\times h}\) such that \(x_{i}^{\top}\mathbf{A}x_{i}=1\) for all \(i\)._Because \(\mathbf{A}\) is positive semidefinite, we can write \(\mathbf{A}=\mathbf{M}^{\top}\cdot\mathbf{M}\) for some \(\mathbf{M}\).