Schweighofer–Sawall weak real zero amalgamation conjecture

About 2 years old · traced to

A real zero polynomial is a polynomial P∈R[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 F∈R[x1,x2,y1,…,ym]F\in\mathbb{R}[x_1,x_2,y_1,\ldots,y_m] and G∈R[x1,x2,z1,…,zn]G\in\mathbb{R}[x_1,x_2,z_1,\ldots,z_n] be real zero polynomials. If

F∣y1=⋯=ym=0=G∣z1=⋯=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 H∈R[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=H∣z1=⋯=zn=0andG=H∣y1=⋯=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.

References

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.