Search for: All records

Abstract In this paper we explore determinantal representations of multiaffine polynomials and consequences for the image of various spaces of matrices under the principal minor map. We show that a real multiaffine polynomial has a definite Hermitian determinantal representation if and only if all of its so-called Rayleigh differences factor as Hermitian squares and use this characterization to conclude that the image of the space of Hermitian matrices under the principal minor map is cut out by the orbit of finitely many equations and inequalities under the action of $$(\textrm{SL}_{2}(\mathbb{R}))^{n} \rtimes S_{n}$$. We also study such representations over more general fields with quadratic extensions. Factorizations of Rayleigh differences prove an effective tool for capturing subtle behavior of the principal minor map. In contrast to the Hermitian case, we give examples to show for any field $$\mathbb{F}$$, there is no finite set of equations whose orbit under $$(\textrm{SL}_{2}(\mathbb{F}))^{n} \rtimes S_{n}$$ cuts out the image of $$n\times n$$ matrices over $${\mathbb{F}}$$ under the principal minor map for every $$n$$. 

Abstract We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set . The truncated cones of moments of measures supported on the set are dual to nonnegative polynomials on , while “pseudomoments” are dual to sums of squares approximations to nonnegative polynomials. We provide explicit combinatorial descriptions of tropicalizations of the moment and pseudomoment cones, and demonstrate their usefulness in distinguishing between nonnegative polynomials and sums of squares. We give examples that show new limitations of sums of squares approximations of nonnegative polynomials. When the semialgebraic set is defined by binomial inequalites, its moment and pseudomoment cones are closed under Hadamard product. In this case, their tropicalizations are polyhedral cones that encode all binomial inequalities on the moment and pseudomoment cones.