de Klerk–Laurent hypercube quadratic-module degree conjecture

About 12 years old · traced to

Let n∈Nn\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 1−x12,…,1−xn21-x_1^2,\ldots,1-x_n^2. de Klerk–Laurent's conjecture.

(1−x12)(1−x22)…(1−xn2)+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.

References

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.