The generalized Lax conjecture in algebraic form

At least 8 years old · documented by

Let pp be a polynomial hyperbolic with respect to e∈Rne\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 e∈Rne\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.

References

Primary source

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

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.