Positivity Certificates via Integral Representations
Khazhgali Kozhasov, Mateusz Michałek, and Bernd Sturmfels
Contact the author: Please use for correspondence this email.
Submission date: 13. Aug. 2019
Download full preprint: PDF (1242 kB)
Link to arXiv: See the arXiv entry of this preprint.
Complete monotonicity is a strong positivity property for real-valued functions on convex cones. It is certified by the kernel of the inverse Laplace transform. We study this for negative powers of hyperbolic polynomials. Here the certificate is the Riesz kernel in Garding's integral representation. The Riesz kernel is a hypergeometric function in the coefficients of the given polynomial. For monomials in linear forms, it is a Gel'fand-Aomoto hypergeometric function, related to volumes of polytopes. We establish complete monotonicity for sufficiently negative powers of elementary symmetric functions. We also show that small negative powers of these polynomials are not completely monotone, proving one direction of a conjecture by Scott and Sokal.