Ten-round-zero conjecture for singular extremal ternary sextics

Let P3,6P_{3,6} be the cone of nonnegative ternary sextic forms, let Δ3,6\Delta_{3,6} be its relevant cone of forms under consideration, and let E(P3,6)E(P_{3,6}) denote the set of extremal forms in P3,6P_{3,6}. For a zero π\pi of PP, let δ(P,π)\delta(P,\pi) measure the singularity of that zero, and put

δ(P)=πZ(P)δ(P,π).\delta(P)=\sum_{\pi\in\mathcal Z(P)}\delta(P,\pi).

A zero is round when δ(P,π)=1\delta(P,\pi)=1. Ten-round-zero conjecture. If

PE(P3,6)Δ3,6,P\in E(P_{3,6})\cap\Delta_{3,6},

then δ(P)=10\delta(P)=10, and either PP has ten round zeros or PP is the limit of psd extremal ternary sextics with ten round zeros. This conjecture refines the paper’s heuristic that coalescing zeros account for higher-order singularities; its general validity is left open.

Sources & referencesView supporting material

Primary source

Bruce Reznick, “On Hilbert's construction of positive polynomials”, arXiv:0707.2156 (2007).

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.