Hyperbolic Polynomials and Generalized Clifford Algebras

We consider the problem of realizing hyperbolicity cones as spectrahedra, i.e. as linear slices of cones of positive semidefinite matrices. The generalized Lax conjecture states that this is always possible. We use generalized Clifford algebras for a new approach to the problem. Our main result is that if $$-1$$-1 is not a sum of hermitian squares in the Clifford algebra of a hyperbolic polynomial, then its hyperbolicity cone is spectrahedral. Our result also has computational applications, since this sufficient condition can be checked with a single semidefinite program.

[1]  J. Helton,et al.  Linear matrix inequality representation of sets , 2003, math/0306180.

[2]  Pablo A. Parrilo,et al.  Minimizing Polynomial Functions , 2001, Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science.

[3]  A. Lewis,et al.  The lax conjecture is true , 2003, math/0304104.

[4]  W. Arveson.  An Invitation To C*-Algebras , 1976 .

[5]  L. Gårding.  An Inequality for Hyperbolic Polynomials , 1959 .

[6]  James Renegar,et al.  Hyperbolic Programs, and Their Derivative Relaxations , 2006, Found. Comput. Math..

[7]  S. Verblunsky,et al.  On Positive Polynomials , 1945 .

[8]  Henry Wolkowicz,et al.  Handbook of Semidefinite Programming , 2000 .

[9]  Osman Güler,et al.  Hyperbolic Polynomials and Interior Point Methods for Convex Programming , 1997, Math. Oper. Res..

[10]  Tim Netzer,et al.  Polynomials with and without determinantal representations , 2010, 1008.1931.

[11]  M. Marshall.  Positive polynomials and sums of squares , 2008 .

[12]  Petter Brändén,et al.  Hyperbolicity cones of elementary symmetric polynomials are spectrahedral , 2012, Optim. Lett..

[13]  David G. Wagner,et al.  Homogeneous multivariate polynomials with the half-plane property , 2004, Adv. Appl. Math..

[14]  Petter Brand'en,et al.  Obstructions to determinantal representability , 2010, 1004.1382.

[15]  J. Cimprič.  A Representation Theorem for Archimedean Quadratic Modules on ∗-Rings , 2008, Canadian Mathematical Bulletin.

[16]  Victor Vinnikov,et al.  LMI Representations of Convex Semialgebraic Sets and Determinantal Representations of Algebraic Hypersurfaces: Past, Present, and Future , 2012, 1205.2286.

[17]  Raman Sanyal,et al.  On the derivative cones of polyhedral cones , 2011, 1105.2924.

[18]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[19]  P. Lax,et al.  Differential Equations, Difference Equations and Matrix Theory , 2015 .

[20]  Daniel Plaumann,et al.  Determinantal Representations and the Hermite Matrix , 2011, ArXiv.

[21]  Charles N. Delzell,et al.  Positive Polynomials: From Hilbert’s 17th Problem to Real Algebra , 2001 .

[22]  J. Herzog,et al.  Matrix factorizations of homogeneous polynomials , 1988 .