Definite symmetric determinantal representation from Rayleigh differences

Let fR[x1,,xm]f\in\mathbb{R}[x_1,\ldots,x_m] be multiaffine in x1,,xnx_1,\ldots,x_n, with nonzero coefficient of x1xnx_1\cdots x_n. For indices i,ji,j, let Δij(f)\Delta_{ij}(f) denote the corresponding Rayleigh difference. Definite symmetric determinantal representation conjecture. Some power of ff has a definite real symmetric determinantal representation if and only if, for all i,ji,j, Δij(f)\Delta_{ij}(f) is a sum of squares in R[x1,,xm]\mathbb{R}[x_1,\ldots,x_m]. This is presented as a hoped-for partial converse to a known result relating definite determinantal representations to sums of squares; its resolution is not given in the source.

Sources & referencesView supporting material

Primary source

Abeer Al Ahmadieh and Cynthia Vinzant, “Determinantal representations and the image of the principal minor map”, arXiv:2205.05267 (2022).

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.