Related papers: A Positivstellensatz for Conditional SAGE Signomia…

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…

In 1995, Reznick showed an important variant of the obvious fact that any positive semidefinite (real) quadratic form is a sum of squares of linear forms: If a form (of arbitrary even degree) is positive definite then it becomes a sum of…

Positivstellens{\"a}tze are a group of theorems on the positivity of involution algebras over $\mathbb{R}$ or $\mathbb{C}$. One of the most well-known Positivstellensatz is the solution to Hilbert's 17th problem given by E. Artin, which…

In this paper we study the positive definiteness of meet and join matrices using a novel approach. When the set $S_n$ is meet closed, we give a sufficient and necessary condition for the positive definiteness of the matrix $(S_n)_f$. From…

The question of how to certify the non-negativity of a polynomial function lies at the heart of Real Algebra and it also has important applications to Optimization. In the setting of symmetric polynomials Timofte provided a useful way of…

We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain $\Omega$ of a rectangular domain $I\times I$ to a covariance kernel on the entire domain $I\times I$. For a…

Let $E$ be a Banach space and $\X$ be the closed unit ball of the dual space $E^*$. For a compact set $K$ in $E$, we prove that $K$ is polynomially convex in $E$ if and only if there exist a unital commutative Banach algebra $A$ and a…

A set $X \subseteq 2^\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of…

In the paper, we describe all total orders $\succ$ compatible with addition on additive subsemigroup $S$ of finite dimensional spaces over rational numbers. We provide a necessary and sufficient condition under which a finitely generated…

Let $1\leq q\leq (n-1)$. We first show that a necessary condition for a Hankel operator on $(0,q-1)$-forms on a convex domain to be compact is that its symbol is holomorphic along $q$-dimensional analytic varieties in the boundary. Because…

Let $Q$ denote the space of signed measures on the Borel $\sigma$-algebra of a separable complete space $X$. We endow $Q$ with the norm $\|q\|=\sup|\int\phi dq|$, where the supremum is taken over all Lipschitz with constant 1 functions…

We give partial generalizations of the classical Descartes' rule of signs to multivariate polynomials (with real exponents), in the sense that we provide upper bounds on the number of connected components of the complement of a hypersurface…

Given an analytic equivalence relation, we tend to wonder whether it is Borel. When it is non Borel, there is always the hope it will be Borel on a "large" set -- nonmeager or of positive measure. That has led Kanovei, Sabok and Zapletal to…

In this paper, we build the unfolding approach from acyclic sign-skew-symmetric matrices of finite rank to skew-symmetric matrices of infinite rank, which can be regard as an improvement of that in the skew-symmetrizable case. Using this…

Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by…

In this paper we give a first study of perfect copositive $n \times n$ matrices. They can be used to find rational certificates for completely positive matrices. We describe similarities and differences to classical perfect, positive…

For a compact convex subset $K $ of a locally convex Hausdorff space, a measurement on $A(K)$ is a finite family of positive elements in $A(K)$ normalized to the unit constant $1_K$, where $A(K)$ denotes the set of continuous real affine…

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…

Let A be a positive operator in an infinite sigma-finite von Neumann factor M and let B_j be a sequence of positive elements in M. We give sufficient conditions for decomposing A into a sum of elements C_j equivalent to B_j for all j ( C…

We give sufficient conditions to guarantee that if two self-conformal sets E and F have Lipschitz equivalent subsets of positive measure, then there is a bilipschitz map of E into, or onto, F.