Nonnegativity conjecture for Riesz kernels

Let ff be a homogeneous hyperbolic polynomial, let KK be its hyperbolicity cone, and let qα(σ)q_\alpha(\sigma) be the Riesz kernel defined by the integral representation

f(θ)α=Kexp(θ,σ)qα(σ)dσ.f(\theta)^{-\alpha}=\int_K \exp(-\langle\theta,\sigma\rangle)q_\alpha(\sigma)\,\mathrm{d}\sigma.

Nonnegativity conjecture for Riesz kernels. For α0\alpha\gg 0, the Riesz kernel qα(σ)q_\alpha(\sigma) takes nonnegative values on KK.

If true, this would make qα(σ)dσq_\alpha(\sigma)\,\mathrm{d}\sigma a measure on KK and allow the construction of hyperbolic exponential families. The supplied text notes that nonnegativity has been suggested by various authors but that no proof was known there; the condition α>d\alpha>d is sufficient for the kernel to be well-defined, but is not asserted to be necessary.

Sources & referencesView supporting material

Primary source

Mateusz Michałek, Bernd Sturmfels, Caroline Uhler and Piotr Zwiernik, “Exponential Varieties”, arXiv:1412.6185 (2015).

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.