de Klerk–Laurent hypercube quadratic-module degree conjecture

Let nNn\in\mathbb{N} be even, and let Bn=[1,1]n\mathrm{B}^{n}=[-1,1]^n. Write Q(Bn)n\mathcal{Q}(\mathrm{B}^{n})_n for the degree-nn truncation of the quadratic module generated by 1x12,,1xn21-x_1^2,\ldots,1-x_n^2. de Klerk–Laurent's conjecture.

(1x12)(1x22)(1xn2)+1n(n+2)Q(Bn)n.(1-x_1^2)(1-x_2^2)\ldots(1-x_n^2)+\frac{1}{n(n+2)}\in\mathcal{Q}(\mathrm{B}^{n})_n.

This conjecture would give a substantially sharper effective form of Putinar's Positivstellensatz on the hypercube than the general bounds currently available. It was proposed by de Klerk and Laurent and remains open.

Sources & referencesView supporting material

Primary source

Lorenzo Baldi and Lucas Slot, “Degree bounds for Putinar's Positivstellensatz on the hypercube”, arXiv:2302.12558 (2025).

Additional references

2 papers in this index state this conjecture (2014–2023). The statement above is taken from the most recent of them; the others are arXiv:1404.6145.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.