Testing Hyperbolicity of Real Polynomials
- 6 Downloads
Hyperbolic polynomials are real multivariate polynomials with only real roots along a fixed pencil of lines. Testing whether a given polynomial is hyperbolic is a difficult task in general. We examine different ways of translating hyperbolicity into nonnegativity conditions, which can then be tested via sum-of-squares relaxations.
KeywordsHyperbolic polynomials Real zero polynomials Real Nullstellensatz Resultants
Mathematics Subject Classification13P05 13P15 13P25 26C10 34C08 68W30
We would like to thank Amir Ali Ahmadi, Diego Cifuentes and especially Elias Tsigaridas for helpful discussions on the subject of this paper. We also thank the referees for their careful reading and useful comments. Much of the work on this paper has been supported by the National Science Foundation under Grant No. DMS-1439786 while both authors were in residence at the Institute for Computational and Experimental Research in Mathematics in Providence, RI, during the Fall 2018 Nonlinear Algebra program. The first author also gratefully acknowledges support through the Max Planck Institute for Mathematics in the Sciences in Leipzig.
- 3.Dey, P.: Definite Determinantal Representations via Orthostochastic Matrices. (2019). arXiv:1708.09559
- 4.Dey, P.: Definite determinantal representations of multivariate polynomials. J. Algebra Appl. 2050129 (2020)Google Scholar
- 7.Grayson, D.R., Stillman, M.E.: Macaulay2, a Software System for Research in Algebraic Geometry (2002) Google Scholar
- 13.Lombardi, H., Perrucci, D., Roy, M.-F.: An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem. p. 113. (2020)Google Scholar
- 23.Raghavendra, P., Ryder, N., Srivastava, N.: Real stability testing. In: 8th Innovations in Theoretical Computer Science Conference, LIPIcs. Leibniz Int. Proc. Inform., vol. 67, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, Art. No. 5, 15 (2017)Google Scholar