de Klerk–Laurent hypercube quadratic-module degree conjecture
Let n∈Nn\in\mathbb{N}n∈N be even, and let Bn=[−1,1]n\mathrm{B}^{n}=[-1,1]^nBn=[−1,1]n. Write Q(Bn)n\mathcal{Q}(\mathrm{B}^{n})_nQ(Bn)n for the degree-nnn truncation of the quadratic module generated by…
MathDB