The generalized Lax conjecture in algebraic form

From papers

Let pp be a polynomial hyperbolic with respect to eRne\in \mathbb{R}^n, and let Λ+(p,e)\Lambda_+(p,e) denote its hyperbolicity cone. A polynomial has a definite determinantal representation if it can be represented by the determinant of a linear matrix pencil that is positive definite at ee. Generalized Lax conjecture. There exists a polynomial qq, hyperbolic with respect to eRne\in \mathbb{R}^n, such that qpqp has a definite determinantal representation and

Λ+(q,e)Λ+(p,e).\Lambda_+(q,e)\supseteq \Lambda_+(p,e).

This is the algebraic formulation of the geometric generalized Lax conjecture, which asks whether every closed hyperbolicity cone is spectrahedral. The original trivariate Lax conjecture is a theorem of Helton and Vinnikov, but the corresponding statement in higher dimensions remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

James Saunderson, “A spectrahedral representation of the first derivative relaxation of the positive semidefinite cone”, arXiv:1707.09150 (2018).

Solutions 0

No solutions have been posted yet.