Schweighofer–Sawall weak real zero amalgamation conjecture

A real zero polynomial is a polynomial PR[x1,,xn]P\in\mathbb{R}[x_1,\ldots,x_n] with P(0)0P(0)\neq 0 whose restriction to every real line through the origin has only real zeros. Let FR[x1,x2,y1,,ym]F\in\mathbb{R}[x_1,x_2,y_1,\ldots,y_m] and GR[x1,x2,z1,,zn]G\in\mathbb{R}[x_1,x_2,z_1,\ldots,z_n] be real zero polynomials. If

Fy1==ym=0=Gz1==zn=0,F|_{y_1=\cdots=y_m=0}=G|_{z_1=\cdots=z_n=0},

Schweighofer–Sawall's weak real zero amalgamation conjecture. There should be a real zero polynomial HR[x1,x2,y1,,ym,z1,,zn]H\in\mathbb{R}[x_1,x_2,y_1,\ldots,y_m,z_1,\ldots,z_n] such that

F=Hz1==zn=0andG=Hy1==ym=0.F=H|_{z_1=\cdots=z_n=0}\quad\text{and}\quad G=H|_{y_1=\cdots=y_m=0}.

The paper provides a counterexample, so the conjecture is false.

Sources & referencesView supporting material

Primary source

Mario Kummer and David Sawall, “Three results related to the half-plane property of matroids”, arXiv:2402.01272 (2024).

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.