Related papers: A note on mediated simplices
This paper introduces and develops the algebraic framework of moment polynomials, which are polynomial expressions in commuting variables and their formal mixed moments. Their positivity and optimization over probability measures supported…
The family of lattice simplices in $\mathbb{R}^n$ formed by the convex hull of the standard basis vectors together with a weakly decreasing vector of negative integers include simplices that play a central role in problems in enumerative…
The problem of characterizing a real polynomial $f$ as a sum of squares of polynomials on a real algebraic variety $V$ dates back to the pioneering work of Hilbert in [Mathematische Annalen 32.3 (1888): 342-350]. In this paper, we…
Hilbert showed that for most $(n,m)$ there exist psd forms $p(x_1,...,x_n)$ of degree $m$ which cannot be written as a sum of squares of forms. His 17th problem asked whether, in this case, there exists a form $h$ so that $h^2p$ is a sum of…
We give a short and elementary proof of a theorem of Procesi, Schacher and (independently) Gondard, Ribenboim that generalizes a famous result of Artin. Let $A$ be an $n \times n$ symmetric matrix with entries in the polynomial ring…
Given a pseudoconvex hypersurface in C^n and an arbitrary weight, we show the existence of local coordinates in which the polynomial model contains a particularly simple sum of squares of monomials. Our second main result provides a…
We consider the problem of writing real polynomials as determinants of symmetric linear matrix polynomials. This problem of algebraic geometry, whose roots go back to the nineteenth century, has recently received new attention from the…
The number of lattice points $\left| tP \cap \mathbb{Z}^d \right|$, as a function of the real variable $t>1$ is studied, where $P \subset \mathbb{R}^d$ belongs to a special class of algebraic cross-polytopes and simplices. It is shown that…
Given a set of inequalities determined by homogeneous forms, the following intertwined results are established: (1) the volume of the real semi-algebraic domain determined by these inequalities is explicitly determined; it is shown to be…
Maximal mediated sets (MMS), introduced by Reznick, are distinguished subsets of lattice points in integral polytopes with even vertices. MMS of Newton polytopes of AGI-forms and nonnegative circuit polynomials determine whether these…
Hilbert's 17th problem asks that whether every nonnegative polynomial can be a sum of squares of rational functions. It has been answered affirmatively by Artin. However, the question as to whether a given nonnegative polynomial is a sum of…
We study real bihomogeneous polynomials $r(z,\bar{z})$ in $n$ complex variables for which $r(z,\bar{z}) \|z\|^2$ is the squared norm of a holomorphic polynomial mapping. Such polynomials are the focus of the Sum of Squares Conjecture, which…
We consider min-max optimization problems for polynomial functions, where a multivariate polynomial is maximized with respect to a subset of variables, and the resulting maximal value is minimized with respect to the remaining variables.…
We pose and discuss several Hermitian analogues of Hilbert's $17$-th problem. We survey what is known, offer many explicit examples and some proofs, and give applications to CR geometry. We prove one new algebraic theorem: a non-negative…
A sum-of-squares is a polynomial that can be expressed as a sum of squares of other polynomials. Determining if a sum-of-squares decomposition exists for a given polynomial is equivalent to a linear matrix inequality feasibility problem.…
In this paper we continue our study of a complex variables version of Hilbert's seventeenth problem by generalizing some of the results from [CD]. Given a bihomogeneous polynomial $f$ of several complex variables that is positive away from…
In this paper, we will prove that given a lattice simplex with its $h^*$-polynomial $\sum_{i \geq 0}h_i^*t^i$, if $h_{k+1}^*=\cdots=h_{2k}^*=0$ holds, then there exists a lattice simplex of degree $k$ whose $h^*$-polynomial coincides with…
In this work we study the problem of writing a Hermitian polynomial as a Hermitian sum of squares modulo a Hermitian ideal. We investigate a novel idea of Putinar-Scheiderer to obtain necessary matrix positivity conditions for Hermitian…
Let X be a real nondegenerate projective subvariety such that its set of real points is Zariski dense. We prove that every real quadratic form that is nonnegative on X is a sum of squares of linear forms if and only if X is a variety of…
The local $h^*$-polynomial of a lattice polytope is an important invariant arising in Ehrhart theory. Our focus is on lattice simplices presented in Hermite normal form with a single non-trivial row. We prove that when the off-diagonal…