Related papers: Schm\"udgen's theorem and results of positivity
In a broad sense, positivstellens\"atze are results about representations of polynomials which are strictly positive on a given set. We give constructive and, to a large extent, elementary proofs of some known positivstellens\"atze for…
In measure theory, Steinhaus theorem is a result that deals with a property of the difference between two sets of positive measure. We give a simple elementary proof of the result.
Positivstellensatz is a fundamental result in real algebraic geometry providing algebraic certificates for positivity of polynomials on semialgebraic sets. In this article Positivstellens\"atze for trace polynomials positive on…
Strassen's Positivstellensatz is a powerful but little known theorem on preordered commutative semirings satisfying a boundedness condition similar to Archimedeanicity. It characterizes the relaxed preorder induced by all monotone…
Schm\"udgen's Theorem says that if a basic closed semialgebraic set K = {g_1 \geq 0, ..., g_s \geq 0} in R^n is compact, then any polynomial f which is strictly positive on K is in the preordering generated by the g_i's. Putinar's Theorem…
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as…
Using the integral representations of the solutions of Schr\"odinger equation, which are the essential ingredients of the Gel'fand-Levitan and Marchenko integral equations of inverse scattering theory, we obtain a general theorem on the…
We extend Krivine's strict positivstellensatz for usual (real multivariate) polynomials to symmetric matrix polynomials with scalar constraints. The proof is an elementary computation with Schur complements. Analogous extensions of Schm\"…
We describe a positive energy theorem for Einstein gravity coupled to scalar fields with first-derivative interactions, so-called P(X,phi) theories. We offer two independent derivations of this result. The first method introduces an…
One standard way to prove existence for deterministic, highly nonlinear PDEs is to use the Schauder-Tychonoff fixed-point theorem. In what follows, we introduce and verify a stochastic variant of the Schauder-Tychonoff theorem. We apply our…
We give examples on the use of the Stone-Weierstrass theorem in inverse problems. We show uniqueness in the linearized Calder\'on problem on holomorphically separable K\"ahler manifolds, and in the Calder\'on problem for nonlinear equations…
We prove a general archimedean positivstellensatz for hermitian operator-valued polynomials and show that it implies the multivariate Fejer-Riesz Theorem of Dritschel-Rovnyak and positivstellens\"atze of Ambrozie-Vasilescu and Scherer-Hol.…
Following the Witten-Nester formalism, we present a useful prescription using Weyl spinors towards the positivity of mass. As a generalization of arXiv:1310.1663, we show that some "positivity conditions" must be imposed upon the gauge…
Let $S \subseteq \mathbb{R}^n$ be a compact semialgebraic set and let $f$ be a polynomial nonnegative on $S$. Schm\"udgen's Positivstellensatz then states that for any $\eta > 0$, the nonnegativity of $f + \eta$ on $S$ can be certified by…
In this expository paper, we present simple proofs of the Classical, Real, Projective and Combinatorial Nullstellens\"atze. Several applications are also presented such as a classical theorem of Stickelberger for solutions of polynomial…
When applying the classical Stone-Weierstrass common version in Probability Theory for example, and in other fields as well, problems may arise if all points of the compact set are not separated. A solution may consist in going back to the…
This paper is meant to give a short exposition of the Stone's Representation Theorems. We provide three equivalent approaches to construct a Stone's space from a given Boolean algebra. Finally, we utilize the Stone's Representation Theorems…
In this paper we give a matrix version of Handelman's Positivstellensatz [1], representing polynomial matrices which are positive definite on convex, compact polyhedra. Moreover, we propose also a procedure to find such a representation. As…
This paper addresses the question of whether Witten's proof of positive ADM energy for classical general relativity can be extended to give a proof of positive energy for a non-perturbative quantization of general relativity. To address…
We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation…