The maximal zero-set conjecture for sums of squares

For even nn and even degree mm, let Pn,mP_{n,m} be the cone of non-negative real homogeneous forms in nn variables of degree mm, and let Σn,m\Sigma_{n,m} be the subset consisting of sums of squares of real forms of degree m/2m/2. Let Bn,mB'_{n,m} be the supremum of the number of isolated real zeros of a form in Σn,m\Sigma_{n,m}. Maximal zero-set conjecture for sums of squares. For every pair (n,m)(n,m) with even nn,

Bn,m=(n2)m1.B'_{n,m}=\left(\frac n2\right)^{m-1}.

The proposed value is known when m=3m=3, while the general even-dimensional case remains open.

Sources & referencesView supporting material

Primary source

Ralf Fröberg, Samuel Lundqvist, Alessandro Oneto and Boris Shapiro, “Algebraic stories from one and from the other pockets”, arXiv:1801.01692 (2018).

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.