Related papers: Positivstellens\"atze for real function algebras

We study sum-of-squares (SOS) certificates for nonnegative polynomials $p$ on $\mathbb{R}^d$ and their implications for polynomial optimization over unbounded domains. Building on Lasserre's perturbation approach, we consider SOS…

In the present paper we continue our investigations of the representation theoretic side of reflection positivity by studying positive definite functions \psi on the additive group (R,+) satisfying a suitably defined KMS condition. These…

Using the theory of signatures of hermitian forms over algebras with involution, developed by us in earlier work, we introduce a notion of positivity for symmetric elements and prove a noncommutative analogue of Artin's solution to…

Hilbert's Nullstellensatz is one of the most fundamental correspondences between algebra and geometry, and has inspired a plethora of noncommutative analogs. In last two decades, there has been an increased interest in understanding…

The hidden-variable question is whether or not various properties --- randomness or correlation, for example --- that are observed in the outcomes of an experiment can be explained via introduction of extra (hidden) variables which are…

We seek simple conditions on a pair of labeled posets that determine when the difference of their $(P,\omega)$-partition enumerators is $F$-positive, i.e., positive in Gessel's fundamental basis. This is a quasisymmetric analogue of the…

Let G be a split semisimple algebraic group with trivial center. Let S be a compact oriented surface, with or without boundary. We define {\it positive} representations of the fundamental group of S to G(R), construct explicitly all…

We give extensions of results on nonnegative matrix semigroups which deduce finiteness or boundedness of such semigroups from the corresponding local properties, e.g., from finiteness or boundedness of values of certain linear functionals…

We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic…

We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic probabilistic programs with polynomial guards and…

Let $X\subset{\mathbb R}^n$ be a (global) real analytic surface. Then every positive semidefinite meromorphic function on $X$ is a sum of $10$ squares of meromorphic functions on $X$. As a consequence, we provide a real Nullstellensatz for…

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…

Let G be a connected and simply connected real Lie group with Lie algebra g. Semialgebraic subsets of the unitary dual of G are defined and a strict Positivstellensatz for positive elements of the universal enveloping algebra of g is…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

The theory of positive kernels and associated reproducing kernel Hilbert spaces, especially in the setting of holomorphic functions, has been an important tool for the last several decades in a number of areas of complex analysis and…

We study the ring of rational functions admitting a continuous extension to the real affine space. We establish several properties of this ring. In particular, we prove a strong Nullstelensatz. We study the scheme theoretic properties and…

We formulate a positivity conjecture relating the Verlinde ring associated with an untwisted affine Lie algebra at a positive integer level and a subcategory of finite-dimensional representations over the corresponding quantum affine…

Nash and Tognoli show that smooth closed manifolds can be the zero sets of some real polynomial maps and non-singular. The canonical projections of spheres naturally embedded in the $1$-dimensional higher Euclidean spaces and some natural…

The paper is a sequel to the paper "Application of localization to the multivariate moment problem" by the same author. A new criterion is presented for a positive semidefinite linear functional on the real polynomial algebra to correspond…

We address the question of finding global solutions of the Helmholtz equation that are positive in a given set. This question arises in inverse scattering for penetrable obstacles. In particular, we show that there are solutions that are…