Related papers: Hermitian Sums of Squares Modulo Hermitian Ideals
A classical problem in real geometry concerns the representation of positive semidefinite elements of a ring $A$ as sums of squares of elements of $A$. If $A$ is an excellent ring of dimension $\geq3$, it is already known that it contains…
Real algebraic geometry provides certificates for the positivity of polynomials on semi-algebraic sets by expressing them as a suitable combination of sums of squares and the defining inequalitites. We show how Putinar's theorem for…
We study conditions on polynomials such that the ideal generated by their orbits under the symmetric group action becomes a monomial ideal or has a monomial radical. If the polynomials are homogeneous, we expect that such an ideal has a…
Positive definite forms $f$ which are sums of squares are constructed to have the additional property that the members of any collection of forms whose squares sum to $f$ must share a nontrivial complex root.
It is shown using Schur complement techniques that on finite dimensional Hilbert spaces, a non-negative operator valued trigonometric polynomial in two variables with degree $(d_1,d_2)$ can be written as a finite sum of hermitian squares of…
A unified theory of orthogonal polynomials of a discrete variable is presented through the eigenvalue problem of hermitian matrices of finite or infinite dimensions. It can be considered as a matrix version of exactly solvable Schr\"odinger…
In this paper we explicitly compute the derivation module of quotients of polynomial rings by ideals formed by the sum or by some other gluing technique. We discuss cases of monomial ideals and binomial ideals separately.
We study the number of real zeros of finite combinations of $K+1$ consecutive normalized Hermite polynomials of the form $$ q_n(x)=\sum_{j=0}^K\gamma_j\tilde H_{n-j}(x),\quad n\ge K, $$ where $\gamma_j$, $j=0,\dots ,K$, are real numbers…
Positive polynomials arising from Muirhead's inequality, from classical power mean and elementary symmetric mean inequalities and from Minkowski's inequality can be rewritten as sums of squares.
We initiate a study of Hilbert modules over the polynomial algebra A=C[z_1,...,z_d] that are obtained by completing A with respect to an inner product having certain natural properties. A standard Hilbert module is a finite multiplicity…
In this paper, we study Hermitian quaternion Toeplitz matrices generated by quaternion-valued functions. We show that such generating function must be the sum of a real-valued function and an odd function with imaginary component. This…
We give some necessary and sufficient conditions for the possibility to represent a Hermitian operator on an infinite-dimensional Hilbert space (real or complex) in the form $\sum_{i=1}^nQ_iP_i$, where $P_1,\dots,P_n$, $Q_1,\dots,Q_n$ are…
We give a formula for the inner product of forms on a Hermitian vector space in terms of linear combinations of iterates of the adjoint of the Lefschetz operator. As an application, we reprove the Kobayashi-Lubke inequality for…
A global real analytic regularity theorem for a quasilinear sum of squares of vector fields of Hormander rank 2 is given. A related local result for a special case was proved recently by the second author and L. Zanghirati in a paper titled…
Artin solved Hilbert's 17th problem, proving that a real polynomial in $n$ variables that is positive semidefinite is a sum of squares of rational functions, and Pfister showed that only $2^n$ squares are needed. In this paper, we…
We focus on computing certified upper bounds for the positive maximal singular value (PMSV) of a given matrix. The PMSV problem boils down to maximizing a quadratic polynomial on the intersection of the unit sphere and the nonnegative…
In this talk I present a simple and unified approach to both exact and quasi-exact solvabilities of the one-dimensional Schr\"odinger equation. It is based on the prepotential together with Bethe ansatz equations. This approach gives the…
We consider positivity conditions both for real-valued functions of several complex variables and for Hermitian forms. We prove a stabilization theorem relating these two notions, and give some applications to proper mappings between balls…
It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior,…
Let S be a finitely generated standard multi-graded algebra over a Noetherian local ring A. This paper first expresses mixed multiplicities of S in term of Hilbert-Samuel multiplicity that explained the mixed multiplicities S as the…