Gurvits's derivative-determinantal representation conjecture

Let pR[x1,,xd]p \in {\mathbb R}[x_1,\ldots,x_d] be an RZx0RZ_{x^0} polynomial of degree mm with p(x0)=1p(x^0)=1. Here, RZx0RZ_{x^0} means real-zero with respect to x0x^0, and qx0(k)q^{(k)}_{x^0} denotes the kkth Renegar derivative of qq with respect to x0x^0. Gurvits's conjecture. There exist kZ+k \in {\mathbb Z}_+, an RZx0RZ_{x^0} polynomial qR[x1,,xd]q \in {\mathbb R}[x_1,\ldots,x_d] of degree m+km+k such that p=qx0(k)p=q^{(k)}_{x^0}, and matrices A0,A1,,AdS(m+k)×(m+k)A_0,A_1,\ldots,A_d \in {\mathbb S}^{(m+k)\times(m+k)} with

A0+x10A1++xd0Ad=I,A_0+x^0_1A_1+\cdots+x^0_dA_d=I,

such that

det(A0+x1A1++xdAd)=q(x).\det(A_0+x_1A_1+\cdots+x_dA_d)=q(x).

The conjecture offers an alternative way to generate real-zero polynomials by combining the two systematic constructions discussed in the source: positive real symmetric determinantal representations and Renegar derivatives. Its resolution would also clarify whether every such pp can be obtained as a derivative of a polynomial with a positive real symmetric determinantal representation.

Sources & referencesView supporting material

Primary source

Victor Vinnikov, “LMI Representations of Convex Semialgebraic Sets and Determinantal Representations of Algebraic Hypersurfaces: Past, Present, and Future”, arXiv:1205.2286 (2012).

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.