Related papers: Positivstellens\"atze for real function algebras
We compare algorithms for global optimization of polynomial functions in many variables. It is demonstrated that existing algebraic methods (Gr\"obner bases, resultants, homotopy methods) are dramatically outperformed by a relaxation…
We show that algebraic formulas and constant-depth circuits are closed under taking factors. In other words, we show that if a multivariate polynomial over a field of characteristic zero has a small constant-depth circuit or formula, then…
We study functions f : (a,b) ---> R on open intervals in R with respect to various kinds of positive and negative definiteness conditions. We say that f is positive definite if the kernel f((x + y)/2) is positive definite. We call f…
This paper deals with positivity properties for a pseudodifferential calculus, generalizing Weyl's classical quantization, and set on an infinite dimensional phase space, the Wiener space. In this frame, we show that a positive symbol does…
The probability content of a convex polyhedron with a multivariate normal distribution can be regarded as a real analytic function. We give a system of linear partial differential equations with polynomial coefficients for the function and…
This is a short review of some recent results obtained by the author. These results are related the problem of obtaining polynomial identities (computational formulas) for some matrix functions by means of the known polarization theorem,…
In this note we continue our investigations of the representation theoretic aspects of reflection positivity, also called Osterwalder--Schrader positivity. We explain how this concept relates to affine isometric actions on real Hilbert…
The present paper is devoted to the projective positivity in the category of function systems, which plays a key role in the quantization problems of the operator systems. The main result of the paper asserts that every unital star-normed…
In this paper, we consider linear functionals defined on an unital commutative real algebra A and establish characterizations for moment functionals on compact sets of characters that depend only on the given functional. For example, we…
We consider polynomials on the intersection of the closed positive orthant with the height-$1$ level hypersurface of certain polynomials with positive coefficients. We show that any polynomial strictly positive on such a semi-algebraic set…
Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellens\"atze. However, there is a nascent subfield of real algebra which…
We show that any symmetric positive definite homogeneous matrix polynomial $M\in\R[x_1,...,x_n]^{m\times m}$ admits a piecewise semi-certificate, i.e. a collection of identites $M(x)=\sum_jf_{i,j}(x)U_{i,j}(x)^TU_{i,j}(x)$ where…
We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not…
The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized…
The complete positivity, i.e., positivity of the resolvent kernels, for convolutional kernels is an important property for the positivity property and asymptotic behaviors of Volterra equations. We inverstigate the discrete analogue of the…
Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…
We prove that, under some additional assumption, Putinar's Positivstellensatz holds on cylinders of type $S \times {\mathbb R}$ with $S = \{x \in {\mathbb R}^n | g_1(x) \ge 0, ..., g_s(x) \ge 0\}$ such that the quadratic module generated by…
A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the…
A new symbolic algorithm to compute sums of squares multipliers (certificates) to witness the membership of non-negative univariate polynomials in a saturated univariate quadratic module is presented. Certificates are first computed in…
The reflection positivity property has played a central role in both mathematics and physics, as well as providing a crucial link between the two subjects. In a previous paper we gave a new geometric approach to understanding reflection…